חישוב קוונטי חסין תקלות בקטגוריית משתנים רציפים תחת רעש כללי

מדוע חשוב לרסן אור רועש

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

מגלים גל חלק לקיוביטים דיגיטליים

במערכות אופטיות «במשתנים רציפים», המידע מאוחסן בעוצמה ובפאזה של שדה אור, שיכולה להשתנות בצורה חלקה. זה מקל על יצירה וניתוב של רשתות גדולות של קרני אור מסובכות, מה שהופך זאת למסלול אטרקטיבי לחומרה קוונטית מדרגית. אך רוב התיאוריה של חישוב קוונטי מהימן פותחה עבור מערכות בדידות של שתי רמות—קיוביטים—ולמשטרי שגיאה יחסית פשוטים. כלי מרכזי לגישור על הפער הזה הוא קוד Gottesman–Kitaev–Preskill (GKP), שמטמיע חכם קיוביט יחיד בתוך המנעדים הרציפים של מתנודד. הקוד מסדר מצבים קוונטיים כך שזעזועים קטנים בעוצמה או בפאזה של האור יתנהגו כמו שגיאות קיוביט מוכרות שניתן, בעקרון, לתקן. ניתוחים קודמים, עם זאת, עבדו רק עבור רעש מיוחד מאוד, כמו הזחות אקראיות גאוסיות טהורות, ולעתים הסתמכו על מצבים אידיאליים בלתי-פיזיקליים.

הגדרה מחדש של מה נחשב לשגיאה שניתנת לתיקון

הצעד הראשון של המחברים הוא לתת תיאור מציאותי יותר של מצבי GKP המקודדים ושל השגיאות שאינו נשען על הנחות לא-פיזיקליות. הם משתמשים במסגרת מתמטית שנקראת פירוק תת-מערכת יציבות (stabilizer subsystem decomposition), שמפרקת את מרחב המצבים המלא של האור לשני חלקים: אחד שנושא את הקיוביט הלוגי ואחד שמקליט מידע «סינדרום» על השגיאות. בתוך תמונה זו הם מגדירים «מסנן r», שבאופן מעשי שואל עד כמה המצב סטה מאזור אפס-הטעות במרחב הסינדרום. מצב GKP מקורב מאופיין אז לא על ידי גריד מושלם של פיות דלתא, אלא על פי כמה הדחיסה שלו בתוך מרובע קטן סביב המקור. כל עוד המצב נשאר בתוך המרובע הזה, ניתן עדיין לפרש את הקיוביט המקודד כנקי, גם אם פונקציית הגל הבסיסית שלו עשויה להיות מבולגנת.

שמירה על רעש ואנרגיה תחת בקרה

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

מרעש ניסיוני מבולגן לשגיאות לוגיות מסודרות

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

סף אמיתי לחישוב קוונטי מבוסס אור

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

ציטוט: Matsuura, T., Menicucci, N.C. & Yamasaki, H. Continuous-variable fault-tolerant quantum computation under general noise. Nat Commun 17, 1709 (2026). https://doi.org/10.1038/s41467-026-69036-5

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