שיטות חדשות להסמכת תכונות קוונטיות דרך עקבות חזקות: זיהוי מצבים מסתבכים, אופרטורים לא-הרמיטיים, ומטריצות לא-חיוביות. האלגוריתמים משיגים הצלחה של 99.8% עם עלות חישובית מינימלית, וניתנים להטמעה על התקני NISQ.

שיטות חדשות להסמכת תכונות קוונטיות דרך עקבות חזקות: זיהוי מצבים מסתבכים, אופרטורים לא-הרמיטיים, ומטריצות לא-חיוביות. האלגוריתמים משיגים הצלחה של 99.8% עם עלות חישובית מינימלית, וניתנים להטמעה על התקני NISQ.
הגבלת איברי סכום-של-ריבועים לשאלות Alice בודדות יוצרת עלות הסמכה בלתי מוגבלת לחסמי Bell. בעוד שתעודות מדרגה-שתיים סטנדרטיות מספיקות, ההיררכיה המותנית ב-Alice דורשת מידה הגדלה כמו (2−α)^−1/2 ליד טיות קריטיות, עם סגירה מדויקת רק על sp...