המשימה כללה סימולציה של דינמיקה במערכות מגנטיות לא-מסודרות – ספציפית מודלי איזינג מזכוכית ספין (Ising spin-glass models) המסודרים במבני סריג. לטענת החברה ומשתפי הפעולה שלה, טכניקות קלאסיות קיימות התקשו להתמודד עם קנה המידה של מערכות קוונטיות גדולות אלו, מה שהוביל אותם לתאר את התוצאה כהדגמה של חישוב 'מעבר לקלאסי' (beyond-classical).

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

הפריצה הקלאסית

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

השיטה שלהם שילבה כמה רעיונות:

• רשתות טנזור דו-ותלת-ממדיות שסודרו כך שישקפו את גאומטריית הסריג של מערכת הספין
• הפצת אמונות (belief propagation), אלגוריתם להעברת מסרים המסייע לעדכן את הרשת ביעילות
• טכניקות דחיסת רשתות טנזור השומרות על הייצוג בר-ניהול ככל שהשזירות (entanglement) גדלה

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

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

מדוע חלק מהסימולציות רצו על מחשב נייד

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

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

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

מה זה אומר לגבי 'עליונות קוונטית'

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

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

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

מרוץ החימוש המתמשך

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

• אלגוריתמים קלאסיים צפויים להשתפר רק במעט
• לחומרה קוונטית יש יתרון קנה-מידה ברור
• ניתן לאמת תוצאות באופן בלתי-תלוי

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

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

המשימה כללה סימולציה של דינמיקה במערכות מגנטיות לא-מסודרות – ספציפית מודלי איזינג מזכוכית ספין (Ising spin-glass models) המסודרים במבני סריג. לטענת החברה ומשתפי הפעולה שלה, טכניקות קלאסיות קיימות התקשו להתמודד עם קנה המידה של מערכות קוונטיות גדולות אלו, מה שהוביל אותם לתאר את התוצאה כהדגמה של חישוב 'מעבר לקלאסי' (beyond-classical).

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

הפריצה הקלאסית

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

השיטה שלהם שילבה כמה רעיונות:

• רשתות טנזור דו-ותלת-ממדיות שסודרו כך שישקפו את גאומטריית הסריג של מערכת הספין
• הפצת אמונות (belief propagation), אלגוריתם להעברת מסרים המסייע לעדכן את הרשת ביעילות
• טכניקות דחיסת רשתות טנזור השומרות על הייצוג בר-ניהול ככל שהשזירות (entanglement) גדלה

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

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

מדוע חלק מהסימולציות רצו על מחשב נייד

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

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

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

מה זה אומר לגבי 'עליונות קוונטית'

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

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

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

מרוץ החימוש המתמשך

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

• אלגוריתמים קלאסיים צפויים להשתפר רק במעט
• לחומרה קוונטית יש יתרון קנה-מידה ברור
• ניתן לאמת תוצאות באופן בלתי-תלוי

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

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