סימולציה קוונטית באמצעות קומבינציה הסתברותית של יוניטריים

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

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

דרך חדשה לערבב צעדים קוונטיים פשוטים

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

מעגלים רדודים במקום רשתות עזר גדולות

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

בדיקת קישורים קוונטיים רועשים עם מצבים מסוכמים

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

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

מעבר לערוצים רועשים סטטיים, המאמר מתמודד עם אחד האתגרים המרכזיים של חישוב קוונטי: סימולציה של התפתחות מערכות קוונטיות בזמן תחת המילטוניאן. בהתבסס על SCU, המחברים מפתחים שני אלגוריתמים חדשים. האחד, הקרוי דגימת טיילור קמורה (convex Taylor sampling), מארגן מחדש את הסדרה המתמטית הסטנדרטית להתפתחות בזמן למכלול משוקלל של בלוקים יוניטריים שניתן לדגום באופן הסתברותי. השני משפר את נוסחאות המוצר של סוזוקי–טרוטר המוכרות על ידי התייחסות לטעויות שלהן כלתיקונים נוספים שיש לדגום במקום לקבלן כמגבלות קבועות. באופן בולט, בשני האלגוריתמים מספר השערים הקוונטיים הנדרש לא מתנפח כשנדרשת רזולוציית אנרגיה מחמירה יותר; במקום זאת, העלויות נשלטות בעיקר כמה עומס דגימה נוסף מוכן הסימולטור לשאת.

צמצום מספר השערים במגנטים קוונטיים מודליים

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

ממה שעולה מכך להבא

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

ציטוט: Peetz, J., Smart, S.E. & Narang, P. Quantum simulation via stochastic combination of unitaries. npj Quantum Inf 12, 52 (2026). https://doi.org/10.1038/s41534-025-01168-w

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