חישוב קוונטי משופר באמצעות החזרת אופרטורים

מדוע חשוב לקצר תוכניות קוונטיות

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

חלוקת העבודה בין שני סוגי מכונות

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

להפוך שאלה אחת להרבה שאלות פשוטות יותר

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

להפוך את הצד הקלאסי למהיר מספיק

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

בדיקת השיטה על דגמי מגנטים

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

תוצאות חדות יותר ותמונות זמניות מפורטות יותר

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

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

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

ציטוט: Fuller, B., Tran, M.C., Lykov, D. et al. Improved quantum computation using operator backpropagation. npj Quantum Inf 12, 51 (2026). https://doi.org/10.1038/s41534-026-01196-0

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