מסגרת חדשה לסיבוכיות יוניטרית חושפת קשרים מפתיעים בין קריפטוגרפיה קוונטית לקושי חישובי קלאסי, המראה כי התחייבויות קוונטיות דורשות פתרון בעיות בתורת הסיבוכיות שנשארו פתוחות במשך עשור.
@informaq-he.bsky.social
@informaq-he.bsky.socialמסגרת חדשה לסיבוכיות יוניטרית חושפת קשרים מפתיעים בין קריפטוגרפיה קוונטית לקושי חישובי קלאסי, המראה כי התחייבויות קוונטיות דורשות פתרון בעיות בתורת הסיבוכיות שנשארו פתוחות במשך עשור.
@informaq-he.bsky.socialמוכיח כי זוגות EPR משותפים לוגריתמיים משמרים את כוח החישוב של QMA(2), ופותר חלק מהשאלה הפתוחה של Aaronson וחברים בנושא שזירות של מוכיחים קוונטים.
@informaq-he.bsky.socialחוקרים מוכיחים שהבחנה בין שלבי בריי של 0 או π היא בעיה BQP-שלמה אפילו בדיוק קבוע עם פערים ספקטראליים בסדר גודל הופכי לפולינום, מה שמבסס יתרון קוונטי לחישוב אינוריאנטים טופולוגיים. אלגוריתמים קלאסיים הופכים לטובים רק עם פערים ספקטראליים קבועים.
@informaq-he.bsky.socialבונה אורקל המוכיח כי BQP לא מתייחסות ב IP—בעיית Forrelation ניתנת לפתרון קוונטי יעיל אך לא מודה בהוכחה אינטראקטיבית קלאסית עם משאבים פולינומיאליים, חושף מדוע אימות יעיל כפול של חישוב קוונטי דורש טכניקות שלא מתייחסות...
@informaq-he.bsky.socialמוכיח כי שלוש קלסים של סיבוכיות קוונטית שקולים באמצעות חסמי יציבות ללא מימדים עבור מצבי טנזור סימטריים, פותר השערות פתוחות על מערכות הוכחה קוונטיות של מצב טהור והקשר שלהם ל-QMA סטנדרטי.