פיענוח מחיקה קוונטית בניונן

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

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

הפיכת אובדן קיוביטים לצורת רעש נקייה יותר

ניסויים מודרניים יכולים לעתים לזהות מתי קיוביט דלף ולהסמן את מיקומו. זה נקרא המרה למחיקה: הדליפה הפיזית המבולגנת מומרת ל"מחיקה" מוגדרת היטב במקום ידוע. בערוץ מחיקה כזה קיים גבול תיאורטי חד ליעילות שבה ניתן להגן על מידע קוונטי: לכל היותר חלק של 1 − 2p מהקיוביטים החומרניים יכול לאחסן מידע שימושי אם כל קיוביט נמחק בהסתברות p. עד כה היה ידוע שרק מחלקה מיוחדת של קודים טופולוגיים דו־ממדיים מגיעה להגבלה זו תחת מחיקה, והם עושים זאת במחיר של שיעור מידע הנעלם כאשר המערכת גדלה. עובדה זו הופכת אותם ליקרים בחומרה ומניעה חיפוש אחר קודים טובים יותר ופענוחים מהירים המותאמים למחיקות.

בניית קודים בקצב מידע גבוה המתקרבים לגבול האולטימטיבי

המחברים מראים כי מספר משפחות של קודי בדיקות סדירות דלילות קוונטיות (QLDPC) — ובפרט קודי אופניים וקודי מוצר מורמים — יכולות למעשה להגיע או להתקרב לקיבולת המחיקה על טווח רחב של שיעורי קוד. באמצעות פיענוח הסתברותי אופטימלי מבחינה מתמטית (maximum-likelihood), שמיושם באמצעות אלימינציה גאוסיאנית, קודים אלה מתקןים מחיקות כפי שהתיאוריה מאפשרת: שיעור ההישג תואם במידה רבה את 1 − 2p עבור הסתברויות שגיאה מעשיות. המסגרת הזו מכסה גם קודים טופולוגיים דו־ממדיים מוכרים, ומאשרת שהביצוע הטוב ביותר שלהם תחת מחיקה מתקבל כאשר מפענחים אותם באופן אופטימלי.

מפיענוח אופטימלי איטי לתכניות מהירות כמעט־אופטימליות

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

דיוק העברת הודעות כדי להתמודד עם דפוסי שגיאה קשים

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

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

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

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

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

ציטוט: Kuo, KY., Ouyang, Y. Degenerate quantum erasure decoding. npj Quantum Inf 12, 75 (2026). https://doi.org/10.1038/s41534-026-01212-3

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