בדוכס סימלו שבירת מיתר קוונטית בעזרת 13 יונים לכודים

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

מהי שבירת מיתר?

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

המנגנון קשור לאינטואיציה שמאחורי כליאת קוורקים — הסיבה שקוורקים אינם נצפים כחלקיקים מבודדים. עם זאת, ניסוי דיוק לא דימה את כרומודינמיקת הקוונטים המלאה, אלא תורת כיול סריגית חד־ממדית מסוג (\mathbb{Z}_2), מודל פשוט בהרבה ששומר על הדינמיקה הרלוונטית של כליאה ויצירת זוגות. 18

איך 13 יונים קידדו תורת כיול

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

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

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

מה נצפה לאחר השינוי הפתאומי

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

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

מדוע נדרש גם חישוב קלאסי

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

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

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

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

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

העבודה של דיוק מדגישה דינמיקה מתוכנתת שנמדדת בזמן ובמרחב במודל חד־ממדי. גודל המערכת — 13 יונים — גם מאפשר אימות ישיר מול חישוב קלאסי. 18

קיוביטים מוליכי־על: סריג דו־ממדי

עבודה קשורה על מערך דו־ממדי של קיוביטים מוליכי־על הדגימה את הדינמיקה של מטענים ומיתרים בתורת כיול סריגית ((2+1))-ממדית מסוג (\mathbb{Z}_2). במחקר זה הוכנו מצבים נמוכי־אנרגיה בעזרת מעגל וריאציוני, נוצרו עירורי מטען בשערים מקומיים ונעקבה אבולוציית זמן בדידה. הגאומטריה הדו־ממדית מאפשרת תנועה ותנודות של מיתרים שאינן קיימות בשרשרת חד־ממדית.

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

שיתוף פעולה של אינסברוק, הרווארד ו־QuEra מימש תורת כיול אנלוגית מסוג U(1) עם חומר סקלרי במערך אטומי רידברג, ודיווח על תצפית ישירה בשבירת מיתר בשני ממדים. 13 בשני ממדים קיימות אפשרויות נוספות לצורת המיתר, לתנודותיו ולמסלולי ההתפרקות שלו — פיזיקה עשירה איכותית יותר מהדגמות חד־ממדיות.

סריגים אופטיים: סימולטורים גדולים של אטומים קרים

גם סריגים אופטיים מציעים מסלול אחר. עבודות קודמות הדגימו סימולציית תורת כיול U(1) בת 71 אתרים באמצעות אטומים אולטרה־קרים, ובהמשך נחקר מנגנון שבירת המיתר בסימולטור חד־ממדי של מודל שווינגר. מערכות אלו משתמשות בקידודים ובגדלים נמדדים שונים מאלה של יונים לכודים, ולכן אין לקרוא את התוצאות כהשוואת ביצועים ישירה.

למה ההתרחבות חשובה

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

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