האצה של מכונת איסינג קוהרנטית על ידי מעבר ספין XY‑Ising

מדוע מייצבי בעיות מהירים חשובים

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

מכונות מבוססות אור המדמות מגנטים

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

להעניק לספינים תנועה חלקה יותר

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

מיזוג התנהגות חלקה ובינארית לאורך זמן

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

כוונון התזמון עבור הבעיות הקשות ביותר

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

החזרת גמישות בצורה חכמה

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

מה משמעות הדבר למחשוב עתידי

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

ציטוט: Kim, K., Yamamoto, Y. Accelerating a coherent Ising machine by XY-Ising spin transition. Sci Rep 16, 10396 (2026). https://doi.org/10.1038/s41598-026-41315-7

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