תיקון שגיאות קוונטי וקיוביטים לוגיים, הסבר

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

עמוד זה תורגם מאנגלית. שמות החברות והמוצרים וקישורי המקור נותרו ללא שינוי. לקריאת המקור באנגלית

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

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

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

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

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

קיוביטים פיזיים, קיוביטים לוגיים ומרחק קוד

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

שלושת הפרמטרים האלה לוכדים את רוב הפשרות:

n: כמה קיוביטים פיזיים הקוד משתמש
k: כמה קיוביטים לוגיים מוגנים
d: מרחק הקוד, מדד שקשור למידת הקושי של שגיאות לפעול כמו פעולה לוגית

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

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

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

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

אילו סוגי שגיאות קודים מנסים לתקן?

השגיאות הדומיננטיות תלויות מאוד בפלטפורמת החומרה. דוגמאות חשובות כוללות:

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

למרות זאת, קודים קוונטיים רבים עובדים עם מודל מפושט שבו שגיאות מטופלות כצירופים של פעולות פאולי:

X עבור שגיאות דמויות היפוך ביט
Z עבור שגיאות דמויות היפוך פאזה
Y עבור שגיאות משולבות של ביט ופאזה

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

לפישוט הזה יש הסתייגות: פענוח עדיין יכול להיות קשה. לקוד עם פרמטרים [[n,k,d]] יש 2^(n-k) סינדרומים אפשריים, מה שהופך במהירות לגדול מדי עבור טבלאות חיפוש פשוטות. בפועל, בדרך כלל נדרשים אלגוריתמי פענוח קלאסיים יעילים.

סבילות לתקלות: לתקן שגיאות בלי להחמיר את המצב

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

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

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

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

משפחות הקודים המרכזיות ומה הן מייעלות

משפחות קודים שונות מציגות פשרות שונות בין תקורה, מרחק, מבנה וקלות מימוש.

משפחת קוד	רעיון מרכזי	פשרה או מאפיין בולט
Shor code	מוכלל ל-`[[d^2,1,d]]`; משתמש בקודי חזרה פנימיים וחיצוניים כדי לטפל בנפרד בשגיאות היפוך ביט והיפוך פאזה	מגדיל את המרחק, אך עם קצב קוד נמוך יותר
Steane / quantum Hamming codes	מחליף את מבנה החזרה בקוד Hamming הקלאסי `[7,4]` ומתייחס באופן סימטרי לשגיאות `X` ו-`Z`	קצב קוד טוב יותר מחזרה בסגנון Shor
CSS codes	מסגרת כללית הנגזרת ממבנים קשורים של Calderbank, Shor, and Steane	מפריד בין מייצבי `X` ו-`Z`, מה שמסייע למדידת סינדרום סבילה לתקלות
Five-qubit code	משתמש בארבעה מייצבים המשלבים `X` ו-`Z`; אינו קוד CSS	הקוד הקטן ביותר האפשרי שמגן על קיוביט לוגי אחד מפני שגיאות שרירותיות בקיוביט יחיד
Surface code	קוד מייצבים טופולוגי על סריג דו-ממדי	בדיקות מקומיות ופריסה מישורית אטרקטיביות ניסויית

ה-five-qubit code חשוב במיוחד מבחינה מושגית. זהו הקוד הקטן ביותר האפשרי שיכול להגן על קיוביט לוגי אחד מפני שגיאות שרירותיות בקיוביט יחיד, עובדה שקשורה לחסם Hamming הקוונטי.

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

למה קודי משטח הפכו לחשובים כל כך

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

ה-Surface code הוא קוד מייצבים טופולוגי. בגרסה הטורית שהציג Alexei Kitaev in 1997, קיוביטים ממוקמים על שפותיו של סריג דו-ממדי, והמייצבים משויכים לקודקודים ולפלקטים. שגיאות מופיעות כהפרות של מייצבים אלה.

תמונה שימושית היא ששגיאה יוצרת או מזיזה פגמים מקומיים, המתוארים כאניונים:

שגיאת Z הופכת את מצבם של מייצבי הקודקודים השכנים
שגיאת X הופכת את מצבם של מייצבי הפלקטים השכנים

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

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

קודי משטח טוריים, מישוריים ומישוריים מסובבים

כמה גאומטריות קרובות חשובות במיוחד.

ה-toric code משתמש בתנאי שפה מחזוריים, השקולים טופולוגית לטורוס. עבור סריג d × d יש לו 2d^2 קיוביטים, ומרחב הקוד שלו הוא ארבע-ממדי, ולכן הוא מאחסן שני קיוביטים לוגיים.

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

ה-rotated planar code הוא שיפור יעילות. Surface code מציין שקוד מישורי מסובב במרחק d משתמש ב-d^2 קיוביטים פיזיים, לעומת d^2 + (d − 1)^2 בגרסה המישורית הלא-מסובבת, תוך שמירה על אותו מרחק קוד.

ספים, פענוח ומה פירוש "מתחת לסף"

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

הסתברות קריטית של כ-11% ממיפוי לפיזיקה סטטיסטית
כ-10.5% בעת שימוש במפענח minimum weight perfect matching הנפוץ

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

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

מעבר לקודי בלוק של קיוביטים

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

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

היכן התחום עומד ב-2025

קודי משטח משמעותיים במיוחד ב-2025. תיקון שגיאות קוונטי מציין שהם מאפשרים קיוביטים לוגיים מתחת לסף עם נאמנות משופרת במערכות מוליכות-על, ובנפרד מציין כי Google Quantum AI מימשה distance-7 planar code על המעבד המוליך-על Willow שלה, והדגימה שיעור שגיאה פיזי מתחת לסף.

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

עיקרי הדברים

תיקון שגיאות קוונטי מגן על מידע קוונטי שברירי באמצעות קידוד קיוביטים לוגיים לתוך מערכות פיזיות גדולות יותר וחילוץ חוזר של סינדרומי שגיאה.
הסימון הסטנדרטי [[n,k,d]] לוכד את הפשרה המרכזית: תקורה פיזית לעומת קיבולת לוגית מוגנת ומרחק קוד.
רוב הקודים הנפוצים מפשטים את רעש החומרה לשגיאות פאולי מסוג X, Y ו-Z, אף שמכשירים אמיתיים מציגים גם תופעות כמו דעיכת אמפליטודה ודה-פאזינג.
סבילות לתקלות חשובה משום שתהליך התיקון עצמו רועש; משפט הסף אומר שחישוב בר-סקיילינג אפשרי רק מתחת לשיעור שגיאה פיזי מסוים.
ה-five-qubit code הוא הקוד הקטן ביותר שיכול להגן על קיוביט לוגי אחד מפני שגיאות שרירותיות בקיוביט יחיד.
קודי CSS מוערכים משום שהם מפרידים בין מייצבי X ו-Z, מה שמסייע למדידת סינדרום סבילה לתקלות.
קודי משטח בולטים משום שהמייצבים שלהם מקומיים על סריג דו-ממדי, מה שהופך אותם לאטרקטיביים ניסויית.
בקודי משטח, כשל לוגי מתאים למסלולי שגיאה טופולוגיים לא-טריוויאליים; מרחק הקוד הוא הגודל המינימלי של מסלול כזה.
קודי משטח מישוריים מסובבים מפחיתים את מספר הקיוביטים ביחס לקודים מישוריים לא-מסובבים תוך שימור המרחק.
ערכי הסף המדווחים וההדגמות האחרונות מעודדים, אך הביצועים המעשיים עדיין תלויים ברעש החומרה, באיכות המפענח ובתקורות גדולות של קיוביטים פיזיים.