@informaq-he.bsky.socialמחקר מוכיח כי תקשורת קלאסית אינה מספקת לאימות של למידה וביקורת קוונטית. תקשורת קוונטית מאפשרת למערכות עם זיכרון מוגבל לאמת בעילות משימות מוטלות מספקים לא מהימנים—קריטי לארכיטקטורות מחשוב קוונטי מרוכזות בעתיד.
@informaq-he.bsky.socialתכנית חדשנית ליתרון קוונטי ניתן לאימות תוך שימוש במעגלי IQP עם מרחבים עצמאיים מעובדים בפולינומים קוביים, המשיגה פער פולינומי בין אימות וסימולציה. ניתנת ליישום עם ~100 קיוביטים לוגיים בקצבי שגיאה של ~10^-6, עם יישומים פוטנציאליים לאקראיות מאומתת...
@informaq-he.bsky.socialחוקרים מפתחים בדיקות אימות בלתי מותנות ליתרון דגימה קוונטית באמצעות קורלציות סיביות ודו-סיביות, עם הוכחות מוודאות אוטומטית ב-Lean 4 ונתיבים מזוהים לכיוון קושרות מלאה.
@informaq-he.bsky.socialמוכיח שלא ניתן להסיר בדיקת קווים אלכסוניים מניתוח הקוהרנטיות הקוונטית ללא פגיעה בתאימות גלובלית. בונה דוגמה נגדית מפורשת המראה שעקביות מקבילה לציר בלבד אינה יכולה לכפות קומוטטיביות מדידה נדרשת.
@informaq-he.bsky.socialהמילטוניאן Trigemini במעגלים על-מוליכים מייצר שזירה מרובה-חלקית ושליליות Wigner. קווי-מדיניות אימות חדשים, חסכוניים במדידות, המשתמשים במדידות parity תזוזה, מאפשרים הסמכה ניסיונית מעשית של משאבי קוונטום לא-גאוסיים.