פענוח שגיאות מתואמות בקודי LDPC קוונטיים

מדוע זה חשוב למחשבים קוונטיים עתידיים

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

האתגר של לפענח שגיאות קוונטיות

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

לשנות את מפת השגיאות במקום את האלגוריתם

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

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

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

רבים מפענחים פועלים במקביל, אבל במהירות

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

הפתעת המפענחים המובילים תוך שמירה על זמן-אמת

באמצעות קודי אופניים ביבראטיביים (bivariate bicycle) קוונטיים בעלי מרחקים 6, 10 ו-12 כקבוצות מבחן, השיטה החדשה משווה או עולה על כמה מפענחים מתקדמים שנחשבו בעבר לסטנדרט זהב בהתמודדות עם שגיאות מתואמות. עבור הקוד הגדול ביותר שנבדק, שיעור השגיאות הלוגיות לכל סיבוב יורד לכמעט שבע חלקים במיליארד בקצב שגיאה פיזי טיפוסי של אחד לאלפית—בעל ביצועים דומים לשיטות חיפוש כבדות ולמפענחים מתקדמים מבוססי אנסמבל. מהותי לכך, המחברים גם מסנתזים את העיצוב שלהם על FPGA ברמה גבוהה ומראים שהפענוח ניתן להשלמה בזמן אמת: עבור קוד מרחק-12, ההשהיה הממוצעת לכל סיבוב היא כ-273 ננושניות, ויותר מ-99.99% מכל ניסיונות הפענוח מסתיימים בתוך מיקרושנייה, בסולם זמנים התואם מחזורי תיקון שגיאות ריאליסטיים.

מה המשמעות של זה להרחבת היקף המכונות הקוונטיות

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

ציטוט: Maan, A.S., Garcia Herrero, F.M., Paler, A. et al. Decoding correlated errors in quantum LDPC codes. Nat Commun 17, 3965 (2026). https://doi.org/10.1038/s41467-026-70556-3

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