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

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

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

מדוע קיוביטים זקוקים להגנה

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

מדידה בלי לשבור את הקוד

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

להפוך שאלה גלובלית לבדיקות מקומיות

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

עיצוב רשתות עזר יעילות

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

חסינות לשגיאות במרחב ובזמן

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

מה זה אומר למכונות קוונטיות עתידיות

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

ציטוט: Williamson, D.J., Yoder, T.J. Low-overhead fault-tolerant quantum computation by gauging logical operators. Nat. Phys. 22, 598–603 (2026). https://doi.org/10.1038/s41567-026-03220-8

מילות מפתח: חישוב קוונטי חסין שגיאות, תיקון שגיאות קוונטיות, קודי qLDPC, מדידות לוגיות, ניתוח קוד (code surgery)