יתרון קוונטי, עליונות קוונטית ותועלת קוונטית: מה המילים האלה אומרות

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

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

עליונות קוונטית

John Preskill הציג את המונח «עליונות קוונטית» (quantum supremacy) בהרצאת סיכום (rapporteur) ב-2012, שפורסמה מאוחר יותר בשם «Quantum computing and the entanglement frontier». הוא השתמש בו לרגע המיוחל שבו מערכת קוונטית מבוקרת היטב תוכל לבצע משימה שחורגת ממה שמחשבים דיגיטליים רגילים יכולים להשיג. באותה הרצאה, הדגמה משכנעת של עליונות לא נדרשה לפתור בעיה תעשייתית מועילה. היא יכלה להיות משימה מלאכותית שנבחרה משום שקשה לדמות אותה באופן קלאסי ואפשר להריץ אותה על חומרה של הטווח הקרוב.

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

הטענה הידועה ביותר הגיעה באוקטובר 2019, כש-Google ושותפיה פרסמו ב-Nature את «Quantum supremacy using a programmable superconducting processor». הם דיווחו על ניסוי דגימת מעגלים אקראיים על מעבד Sycamore בן 53 הקיוביטים, והעריכו שמשימה שלוקחת להתקן הקוונטי שלהם כ-200 שניות תיקח למחשב-על מתקדם כ-10,000 שנה. מספרים אלה הם הערכות של המחברים, לא קבוע טבע אוניברסלי: הם תלויים באופן שבו ממדלים את הסימולציה הקלאסית.

חוקרי IBM הגיבו בפומבי, בין היתר בפוסט בבלוג בשם «On ‘quantum supremacy’», וטענו שסימולציה קלאסית זהירה יותר — ובמיוחד כזו שמנצלת טוב יותר אחסון משני — יכולה לסיים את אותה משימת דגימה בתוך ימים ולא אלפי שנים. המחלוקת לא הייתה על השאלה אם Sycamore הריץ מעגל קשה. היא הייתה על המשמעות של «מעבר להישג ידם של מחשבים קלאסיים» כשהאלגוריתם הקלאסי ומודל המכונה מוגדרים בנדיבות רבה יותר.

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

יתרון קוונטי

«יתרון קוונטי» (quantum advantage) משמש בשתי דרכים חופפות, ולכן הוא גורם לבעיות.

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

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

אי אפשר לדעת לאיזו משמעות מתכוונת הודעה אלא אם היא אומרת מה הושווה למה. כותרת שאומרת רק «הושג יתרון קוונטי» אינה שלמה.

תועלת קוונטית

המונח «תועלת» (utility) נכנס לתפוצה רחבה בעקבות מאמר ב-Nature משנת 2023 מאת Youngseok Kim, Andrew Eddins, Abhinav Kandala ועמיתיהם ב-IBM ובשותפים אקדמיים, «Evidence for the utility of quantum computing before fault tolerance». הניסוי הריץ מעגלים על מעבד מוליך-על רועש בן 127 קיוביטים, כולל מעגלים עם עד 60 שכבות של שערים דו-קיוביטיים (2,880 שערי CNOT במקרים הגדולים ביותר שהם מדגישים). המחברים טענו שהצליחו למדוד ערכי תוחלת מדויקים בקנה מידה שמעבר לחישוב קלאסי בכוח גס (brute force), ושבמשטר שזור מאוד התוצאות שלהם נותרו אמינות במקומות שבהם כמה משיטות הקירוב הקלאסיות המובילות, ובהן גישות מסוימות של רשתות טנזורים, קרסו.

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

בשפה שיווקית רופפת יותר, «תועלת» נמתחת לפעמים למשמעות של «לקוחות מפיקים ערך מהמערכת הקוונטית שלנו». זו יכולה להיות אמירה עסקית סבירה. היא אינה אותה אמירה כמו המאמר של 2023.

איפה המילים האלה עומדות לצד NISQ ועמידות לתקלות

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

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

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

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

לא משנה באיזו מילה בוחרת ההודעה, אותן שאלות חלות:

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

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

איך DesignQuantum^™ משתמש במונחים

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

אוצר המילים ימשיך להשתנות. מה שלא אמור להשתנות הוא הדרישה שטענה חישובית תנקוב במשימה שלה ובקו הבסיס שלה.