Clear Sky Science
הסברים מבוססי ראיות, עם מעט ז'רגון

Clear Sky Science · he

סימולציה של מודל SYK דליל באמצעות אלגוריתם אקראי על מחשב קוונ텀 עם יונים מלכודים

· חזרה לאינדקס

התבוננות בכאוס קוונטי עם מכונות אמיתיות

חלק מהרעיונות המוזרים ביותר בפיזיקה מודרנית מציעים שההתנהגות של חומרי אקזוטיים מסוימים קשורה עמוקות לפיזיקה של חורים שחורים. מודל סאצ'דב–יי–קיטאייב (SYK) הוא מגרש מתמטי שבו ניתן לחקור את הקשר הזה. אבל מכיוון שהמודל הזה כאוטי בצורה קיצונית, אפילו מחשבים-על רבי־עוצמה מאבדים מהר את המעקב אחרי הדינמיקה שלו. המחקר מראה כיצד מחשב קוונטי ממשי עם יונים מלכודים, בשילוב אלגוריתם אקראי מתוחכם, יכול להתחיל לעקוב אחרי הכאוס ומרמז מה יידרש כדי להתמודד עם בעיות גדולות בהרבה בעתיד.

יקום צעצוע עם התנהגות פרועה

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

לעשות את המודל דליל וחכם יותר

כדי להביא את הבעיה לתחום ההשגה, המחברים עובדים עם גרסה "דלילה" של מודל ה‑SYK שבה נשמר רק חלק מאיברי ההתממשקות האפשריים. ההדלה הזו נעשית בזהירות כך שהמודל עדיין מפגין את סימני הכאוס הקוונטי הקושרים אותו לפיזיקה בהשראת כבידה. הם מתרגמים את המודל לפעולות על קיוביטים באמצעות מיפוי סטנדרטי ובוחרים פרמטרים התואמים ל‑24 חלקיקים מקוריים, שדורשים 12 קיוביטים. במקום להשתמש בגישת חיתוך זמן הרגילה (טרוטר), שמכנסת שגיאות בדיסקרטיזציה ורבים שערים, הם משתמשים בשיטה אקראית שנקראת TETRIS (Time Evolution Through Random Independent Sampling). TETRIS בונה כל מעגל על ידי בחירה אקראית של אילו איברי אינטראקציה ליישם וכמה פעמים, באופן שבו הממוצע על ריצות רבות משחזר את ההתפתחות הזמן‑רציפה האמיתית ללא שגיאת דיסקרטיזציה זו.

Figure 1
Figure 1.

מצפים להדהוד קוונטי שמתעמעם

הכמות המרכזית שהם מודדים היא אמפליטודת לושמייט (Loschmidt), שמעקבת עד כמה סביר שהמערכת תחזור למצב ההתחלתי שלה אחרי התפתחות במשך פרק זמן. במערכות כאוטיות ה"הד" הזה נוטה להדהם ועוד, בניגוד למודלים סדרתיים יותר, לא מתחדש בזמנים מאוחרים. באמצעות מכשיר היונים המלכודים של Quantinuum, שמציע פעולות באיכות גבוהה וקישוריות מאה‑אל‑מאה בין 20 קיוביטים, הצוות מכין מצב התחלתי של אפסים פלוס קיוביט עזר נוסף ומריץ מעגלי TETRIS שנוצרו באקראי פעמים רבות. הם מפתחים אסטרטגיית הפחתת שגיאות שנקראת אימות הד (echo verification) שבודקת את תוצאות המדידה של קיוביטי המערכת ומדחיקה יריות שנראות פגומות בגלל שגיאות החלפת ביט, וכן שיטה שנייה (Large Gate Angle Extrapolation) שמשווה גרסאות רדודות ועמוקות יותר של אותם מעגלים אקראיים כדי לאמוד מה הייתה התוצאה בהיעדר רעש.

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

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

Figure 2
Figure 2.

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

בהסתכלות קדימה, המחברים מעריכים את המשאבים הנדרשים כדי לטפל בכמויות שאפתניות יותר, כגון מתאמים ממוספרים מחוץ-לזמן (out‑of‑time‑ordered correlators) האבחנים כמה מהר מידע מתפשט וכיצד הכאוס גדל. החישובים שלהם מראים שחקירה מלאה של שאלות אלה במערכות גדולות מספיק כדי לחקור התנהגויות דמויות‑כבידה קוונטית תדרוש מיליוני שערי שני‑קיוביטים וזמני פעולה קוהרנטיים שאורכם שעות לכל מעגל, גם עם קידודים ואופטימיזציות מקבילות. עם זאת, העבודה מדגים שאלגוריתמים אקראיים שעוצבו בקפידה, מיתון שגיאות מותאם והערכות משאבים ריאליסטיות יכולים להפוך תיאוריות אבסטרקטיות של כאוס קוונטי ו"כבידה במעבדה" לתוכניות ניסיוניות ממשיות — ולמפות דרך ברורה לשיפורים שצריכות למסור חומרת הקוונטום והאלגוריתמים העתידיים.

ציטוט: Granet, E., Kikuchi, Y., Dreyer, H. et al. Simulating sparse SYK model with a randomized algorithm on a trapped-ion quantum computer. npj Quantum Inf 12, 43 (2026). https://doi.org/10.1038/s41534-026-01206-1

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