בדיקה עצמית ראשונה של מפעיל קומוטטיבי לגניבת שזירה מדויקת ללא מימוש מכפלה טנזורית. משלב את משחק פייג' עם CHSH משופע במסגרת חדשה הדורשת מרחב משאבים משותף אינסופי-ממדי.

בדיקה עצמית ראשונה של מפעיל קומוטטיבי לגניבת שזירה מדויקת ללא מימוש מכפלה טנזורית. משלב את משחק פייג' עם CHSH משופע במסגרת חדשה הדורשת מרחב משאבים משותף אינסופי-ממדי.
תוצאת הפרדה: בדיקה עצמית מדויקת של קורלציות קוונטיות אינה מבטיחה חסינות. בנייה אופרטור-אלגברית מייצרת קורלציה סנכרונית המתאימה לבדיקה עצמית אך עמידה להפרעות—מקדמת פרוטוקולים של הסמכה קוונטית בלתי תלויה בהתקן.
משחק מצומצם מ-6 מימדים ל-5 מימדים המוכיח בדיקה עצמית חזקה של מצבי שזירות לא מקסימליים. מראה כי אף מצב שזירות מקסימלי לא יכול להשיג ביצוע מושלם, ומקדם הסמכה קוונטית בלתי-תלויה במכשיר.