תוצאת הפרדה תיאורטית חדשה מוכיחה שפרוטוקולי תקשורת קוונטיים עוצמתיים בהרבה מאימות קלאסית עם הוכחות, מה שמקדם את ההבנה היסודית של תורת הסיבוכיות הקוונטית.

תוצאת הפרדה תיאורטית חדשה מוכיחה שפרוטוקולי תקשורת קוונטיים עוצמתיים בהרבה מאימות קלאסית עם הוכחות, מה שמקדם את ההבנה היסודית של תורת הסיבוכיות הקוונטית.
חסמים תחתונים קוונטיים לא טריוויאליים ראשונים למניית משולשים (Ω(n^3/2)) ובניית k-ספנר כפלי דרך הרחבות מסגרת הקלטה חדשות עם ארכיטקטורת אורקל דו-כיוונית.
קובע את הסיבוכיות הקוונטית של זיהוי סימטריות סמויות במצבים קוונטיים, ומוכיח סיבוכיות שאילתה O(log|G/H|/√ε) עם גישת הכנת מצב לעומת O(log|G/H|/ε) עם עותקים—כשמקים הפרדה ריבועית ותואמים חסמים תחתונים.
מרחיבה את השערת בראון-סוסקינד המוכחת בנוגע לסיבוכיות מעגלים קוונטיים, תוך הדגמה שסיבוכיות גדלה בחוקיות כאשר מוסיפים זוגות שערים קוונטיים חדשים של 2-קיוביט למעגלים קוונטיים, וקידום ההבנה התיאורטית של קנה מידה חישובי קוונטי.
אפיון מלא של קבוצות איזומטריה עבור מטריקות רימניות בלתי-משתנות לימין על SU(2N), המאפשר גישות גיאומטריות קפדניות לניתוח סיבוכיות קוונטית עם יישומים לדואליות הולוגרפית וגבולות סיבוכיות של מעגלים
מוכיח RE-שלמות של בעיות הומומורפיזם גרפים קוונטיות למשפחות גרפים מרובות דרך תנאי קשיחות ספקטרליות חדשניות המשלבות חסם תטא של שרייבר עם תורת סכימות ההשיוך, ומבסס תוצאות עיקריות בסיווג סיבוכיות קוונטי.
מסגרת תיאורטית חדשה משיגה הפרדות אקספוננציאליות חזקות יותר בין סיבוכיות התקשורת הקוונטית והקלאסית של פונקציות כוללות, עם שיפור מ-n^(1/6) ל-n^(1/2) בחזקה עם הודעות קוונטיות פולילוגריתמיות.
גזירה חדשה של היריב הכפלי מחזירה חסמים עדינים על סיבוכיות שאילתה קוונטית לספירה משוערת, מספקת ניתוח ישיר של התפתחות שכבת משקל האמינג ומעקב התקדמות מפורש ברמת השאילתה.
מחקר קובע הפרדה אקספוננציאלית בתקשורת מולטיפרטית: אקראיות ציבורית קלאסית פותרת תיאום עם O(log n) ביטים, בעוד שפרוטוקולים קוונטיים ללא שזירה דורשים Ω(n^((k-1)/(k+1))) קיוביטים. הדגמה שסופרפוזיציה קוונטית לא יכולה לסמלץ בדרך כלל...
חסמים תחתונים כמותיים קבועים על סיבוכיות התכניות חצי מוגדרות להערכת קרוב של תכונות מצבים קוונטיים ניתנים להפרדה, משפרים חסמים כמעט פולינומיאליים קודמים ומספקים הבנות לגבי קושי הסמכת הסתבכות.
קובע גבולות עליונים ותחתונים לסיבוכיות המדגם של בעיית ההסטה החבויה המוכללת על קבוצות סופיות שרירותיות באמצעות תורת המידע הקוונטי וטכניקות תיאורטיות של ייצוג.