IBM מציגה שלוש הוכחות ליתרון קוונטי אמין

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

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

לא רק מהיר יותר, אלא גם בר-אימות

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

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

המעקב החדש של IBM אחר יתרון קוונטי

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

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

האמירה של גמבטה והמשמעות הרחבה

ג'יי גמבטה מ-IBM ניסח את ההבחנה הזו באופן חד. "Trusted computing when you can do classical simulations is irrelevant," אמר בראיון, והוסיף: "Trusted computing when you can't do classical simulations is a big deal." במילים אחרות, אם אפשר עדיין לדמות את הבעיה במחשב רגיל, ההישג הקוונטי מוגבל בחשיבותו. הערך האמיתי מתחיל כשמגיעים לנקודה שבה הסימולציה הקלאסית כבר אינה מעשית — ובכל זאת יש סיבה טובה להאמין שהתוצאה הקוונטית תקפה.

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

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