תצורת מכונות איסינג מבוססות תנודות כמנועי P-bit

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

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

מפגש בין שני מחשבים יוצאי דופן

העבודה מאגדת שתי רעיונות מתפתחים בחישוב לא־קונבנציונלי. מכונות איסינג תנודתיות משתמשות ברשתות של תנודות מסונכרנות כדי לפתור בעיות אופטימיזציה קשות על ידי חיקוי האופן שבו ספינים במגנט מתיישבים בתבניות בעלות אנרגיה נמוכה. מנועים המבוססים על ביטים הסתברותיים, או p-bit, נוקטים בדרך אחרת: הם נשענים על אלמנטים בינאריים רועשים במכוון, שהפלט שלהם משתנה באקראי בין 0 ל־1, אך עם הסתברויות שתלויות בקלט שלהם. רשתות p-bit מצטיינות בדגימה של תצורות סבירות רבות ממפת ה"אנרגיה" של בעיה — מרכיב מרכזי להסקות הסתברותיות ולמידת מכונה. עד כה שני מושגי החומרה הללו גדלו במידה רבה במקביל, ללא הבנה מעמיקה של איך אחד יכול לחקות את השני.

למַהֵר תנודה למקבל החלטות רועש

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

בניית רשת הסתברותית ממספר תנודות

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

בדיקת הרעיון במבחן

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

מעבר מסוג מכונה אחת

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

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

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

ציטוט: Ekanayake, E.M.H., Khan, N. & Shukla, N. Configuring oscillator Ising machines as P-bit engines. Commun Phys 9, 128 (2026). https://doi.org/10.1038/s42005-026-02492-z

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