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

ב-15 ביולי 2026, חוקרים ממיקרוסופט ומקוונטיניום פרסמו ניסוי היסטורי בכתב העת Nature, הממחיש שערים אוניברסליים טופולוגיים (Universal Topological Quantum Gates) על ידי קליעה והיתוך (Braiding and Fusion) של חלקיקים לא-אבליים על מעבד קוונטי בעל 54 קיוביטים . זוהי הפעם הראשונה בהיתוך של חלקיקים מסוג אניון (Anyon Fusion) משמש כ'אבני בניין' חישוביות להשגת סט שערים אוניברסלי על חומרה קוונטית אמיתית, ובכך נסגר פער תיאורטי משמעותי בתחום המחשוב הטופולוגי .

איזה פער המחקר סוגר?

עבודות קודמות, כולל הדגמות קודמות של קוונטיניום על מעבד H2 בשנים 2023–2024, הראו שניתן ליצור ולקלוע את החלקיקים הלא-אבליים הללו. אבל קליעה לבדה אינה מספקת סט שערים אוניברסלי מבחינה חישובית עבור הסדרים לא-אבליים פשוטים . הסדר הטופולוגי S₃ שבו השתמשו בניסוי זה הוא הרחבה 'מינימלית לא-אבלית' של מודל ה'קוד הטורואידי' (Toric Code). קליעה לבדה משאירה אותו לא-אוניברסלי, אבל הצוות הוכיח שהתייחסות להיתוך של האניונים כאל פעולת חישוב בסיסית מספקת את השערים החסרים . בכך נסגר פער תיאורטי שנודע מזה עשרות שנים: מודלים לא-אבליים פשוטים יכולים לתמוך במחשוב קוונטי חסין שגיאות בעקרון, אך עד עכשיו איש לא הדגים כיצד לממש סט שערים אוניברסלי שלם על מעבד אמיתי .

עבודה תיאורטית קודמת על שערים אוניברסליים דרך היתוך ומדידות על חלקיקי SU(2)₄ הראתה שניתן להשלים את פעולות הקליעה כדי להגיע לאוניברסליות – אך ניסוי זה על הכפול הקוונטי (Quantum Double) של S₃ הוא היישום החומרה המלא הראשון מסוגו.

כיצד בוצע הניסוי על מעבד היונים הכלואים של קוונטיניום H2?

הניסוי נערך על System Model H2 של קוונטיניום, מעבד יונים כלואים בעל 54 קיוביטים מחוברים לחלוטין, שערים באיכות גבוהה, ויכולת מדידה באמצע המעגל (Mid-Circuit Measurement) ומשוב . הצוות הכין את פונקציית הגל של מצב היסוד של הסדר הטופולוגי S₃ על סריג קגומה (Kagome Lattice), ובכך יצר חלקיקים לא-אבליים כעירורים . לאחר מכן הם ביצעו מעגלים שקלעו את האניונים זה סביב זה (פעולות החלפה טופולוגיות) והיתיכו אותם יחד – כלומר, הביאו אותם לאותה נקודה כדי למדוד את המטען המשותף שלהם . תוצאות ההיתוך שימשו כחלק מפעולת השער הלוגי, ואיפשרו סט שערים אוניברסלי שהקליעה לבדה לא יכלה לייצר . התוצאות אומתו על ידי השוואת ההסתברויות להיתוך מול חיזויים תיאורטיים של מודל האניונים S₃ .

ארכיטקטורת מעבד ה-H2 הייתה קריטית להצלחה: מלכודת היונים המעוצבת בצורת מסלול מרוץ (Racetrack) מספקת קישוריות מלאה (All-to-All Connectivity), שאפשרה לצוות ליצור את המצב הטופולוגי במורכבות הנדרשת תוך שמירה על דיוק גבוה . הדגמות קודמות על H2 עם 27 קיוביטים כבר הראו סדר טופולוגי לא-אבלי וקליעת אניונים עם דיוק של מעל 98.4% לאתר , אבל קנה המידה של 54 קיוביטים היה הכרחי כדי לתמוך בסט השערים האוניברסלי המבוסס על היתוך .

מגבלות עיקריות ואתגרים המשך

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

• עדיין לא חסין שגיאות בפועל: פעולות האניונים בוצעו על קיוביטים פיזיקליים תוך שימוש בטכניקות של הפחתת שגיאות (Error Mitigation); הניסוי עדיין לא משיג את ההגנה הטופולוגית הפנימית שהופכת שערים לחסיני שגיאות בהיקף גדול .
• סקלביליות: ההדגמה דרשה 54 קיוביטים ומעגלים אדפטיביים עמוקים. כדי להגיע לגדלים שימושיים יידרשו הרבה יותר קיוביטים, שיעורי שגיאה נמוכים יותר, ותיקון שגיאות מותאם לקודים הטופולוגיים .
• היתוך מול חסינות שגיאות: היתוך משמיד את האניונים, ולכן יש להשתמש בו בזהירות כדי לשמר את הקידוד הטופולוגי. המאמר מכיר בכך ששערים מבוססי היתוך פוגעים בחסינות השגיאות, אלא אם כן משלבים אותם עם תיקון שגיאות אקטיבי . עבודה תיאורטית מאוחרת יותר על הכפול הקוונטי של S₃ מציעה 'אינטרפרומטר אניונים' ייעודי למדידת מטען מרחוק ולהימנע מהיתוך לחלוטין, מה שיכול לסייע בפתרון מגבלה זו .
• מוגבל לאניונים מסוג S₃: S₃ היא הקבוצה הלא-אבלית הקטנה ביותר התומכת בחישוב אוניברסלי דרך קליעה והיתוך. עבודה עתידית שואפת לממש מודלים עשירים יותר של אניונים (למשל, אניוני פיבונאצ'י) שהם תיאורטית חזקים יותר אך קשים יותר להנדסה . מחקר עדכני אחר הדגים קליעת אניוני פיבונאצ'י עם דיוק של 94% במדידת מטען ו-98% דיוק ביחס חיתוך הזהב , מה שמראה שגישות חלופיות מתקדמות במקביל.
• המשך הדרך: המחברים מציעים לשלב את השערים הטופולוגיים האלו עם קודי תיקון שגיאות קוונטיים אקטיביים, להרחיב לסדרים טופולוגיים גדולים יותר, ובסופו של דבר להדגים קיוביט לוגי עם שיעור שגיאה הנמוך מהרצפה הפיזיקלית .

רחב יותר – ההקשר והמשמעות

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