ניסוי הדגימה המשלימה של Quantinuum מציג פער קוונטי־קלאסי מעריכי

מה בדיוק הודגם כאן?

Quantinuum הציגה עדות ניסויית לסוג מוגדר היטב של יתרון קוונטי: התקן קוונטי הפיק סטטיסטיקה שעברה גבול קלאסי שנגזר מתמטית, במשחק שנועד לבחון את היכולת לשמר ולעבד סופרפוזיציה. במשפחת מקרים המבוססת על בעיית ברנשטיין–וזיראני, יחס ההפרה הקוונטי־לקלאסי האידאלי גדל כ־2^(n−1); עבור מחרוזות של 37 ביטים התיאור המדווח הוא פער של יותר מ־137 מיליארד לאחד. 4

הכותרת מרשימה, אבל חשוב לדייק: זו אינה טענה שמעבד H2 מהיר פי 137 מיליארד ממחשב רגיל, ואינה הוכחה ליתרון מיידי בכימיה, באופטימיזציה, בבינה מלאכותית או בהצפנה. זו הדגמה מגובה־מקורות של הפרדה מעריכית במשימת דגימה שתוכננה במיוחד לכך.

המשחק: דגימה מהמשלים

שופט בוחר קבוצה סודית S שמכילה מחצית מכל מחרוזות הביטים האפשריות באורך n, ומכין מצב קוונטי שהוא סופרפוזיציה אחידה של המחרוזות בקבוצה. על השחקן להחזיר מחרוזת מתוך הקבוצה המשלימה, S̄ — כלומר מחרוזת שאינה ב־S. 34

שחקן קלאסי שמקבל דגימה רגילה אחת מ־S יודע לכל היותר שהמחרוזת שקיבל אינה תשובה תקפה. אין לו תיאור שימושי של האופן שבו שאר המספר העצום של המחרוזות מתחלק בין S ל־S̄, ולכן הוא כפוף לחסם הצלחה קלאסי פורמלי. 47

שחקן קוונטי, לעומת זאת, מקבל את המצב הקוהרנטי — לא דגימה שכבר נמדדה. במקרים המובְנים שנבחרו לניסוי, טרנספורמציה קוונטית ממפה את המצב הקשור ל־S למצב שנתמך כולו על המשלימה שלה. במקרה אידאלי וללא רעש, מדידה מחזירה מחרוזת תקפה מתוך S̄ בוודאות. 34

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

מאין מגיע הגידול המעריכי?

ההשוואה אינה רק הסתברות ההצלחה הגולמית. המאמר מגדיר מדד הפרה ייעודי מעל קו הבסיס הקלאסי. עבור משפחת ברנשטיין–וזיראני, היחס האידאלי בין המדד הקוונטי למדד הקלאסי הוא 2^(n−1). 4

ב־n = 37 מתקבל:

2^36 = 68,719,476,736

התיאור של יותר מ־137 מיליארד לאחד נובע ממוסכמת ההפרה שמוגדרת בניסוי. בשני הניסוחים, העיקר הוא קצב הגידול: האות הקוונטי האידאלי נשאר מושלם, בעוד היתרון המותר לאסטרטגיה הקלאסית מצטמצם מעריכית ככל שאורך המחרוזת גדל. 4

מה בוצע על חומרת H2?

הצוות הריץ אלפי מעגלים קוונטיים במעבדי היונים הלכודים H2 של Quantinuum, עם עד 55 קיוביטים פיזיים ומחרוזות באורך של עד 37 ביטים. 48

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

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

למה זה שונה מהדגמות קודמות של יתרון קוונטי?

הדגמות דגימה קוונטיות רבות נשענות על הנחות מתורת הסיבוכיות שלפיהן סימולציה קלאסית אמורה להיות קשה. משחק הדגימה המשלימה נבנה כדי להימנע מתלות זו: המגבלה הקלאסית נגזרת עבור המשחק עצמו, ולא מהשערת קושי לא מוכחת. 34

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

הגבולות של התוצאה

משימה ייעודית, לא יישום כללי

המשחק תוכנן כדי לחשוף יתרון קוונטי בעיבוד מידע מבוסס־דגימות. הוא אינו מוכיח האצה שימושית למשימות מסחריות או לחישוב כללי. 4

„בלתי מותנה” אינו „בלתי תלוי בהתקן”

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

לא היו שני מחשבים קוונטיים נפרדים

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

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

מעריכי אינו בהכרח הגבול העליון

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

השורה התחתונה

זו אבן דרך ניסויית מדויקת: חומרת יונים לכודים עכשווית חצתה גבול קלאסי מחמיר במשחק דגימה משלימה שניתן לבדוק ביעילות, וההפרדה האידאלית בו גדלה מעריכית עם גודל הבעיה. 34

זהו טיעון חד יותר מסיסמה כללית על „עליונות קוונטית”, מפני שאפשר לפרט את המשימה, המדד, שיטת האימות והנחות האמון. אותם פרטים גם מבהירים את המגבלות: מדובר בראיה משכנעת לכך שסופרפוזיציה יכולה להקנות יתרון מעריכי בהקשר מותאם זה — לא בהוכחה שמחשבים קוונטיים כבר עקפו מחשבים קלאסיים במגוון רחב של עומסי עבודה מעשיים.