אלגברת Lie של טופולוגיות מערבל XY ואתחול חם של QAOA לאופטימיזציה עם אילוצים

נקודות התחלה חכמות יותר לפתרון בעיות בקוונטים

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

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

אלגוריתמים וריאציונליים קוונטיים פועלים קצת כמו כיוון כפתורים בכלי נגינה: אתה מתאים שוב ושוב פרמטרים במעגל קוונטי כדי למזער פונקציית עלות שמוצפנת את הבעיה שלך. המחברים מתמקדים ב־Quantum Approximate Optimization Algorithm (QAOA), הנחקר נרחב לפתרון משימות משולבות קשות. מרכיב מפתח ב־QAOA הוא חלק ה"מערבל" של המעגל, שמעביר מצבים קוונטיים במרחב התשובות האפשריות. מערבלי XY אטרקטיביים במיוחד כאשר רק תשובות מסוימות מותרות, כמו פתרונות שבוחרים בדיוק k פריטים מתוך n. הם שומרים באופן אוטומטי על אילוצי "קרדינליות" כאלה על‑ידי החלפת עירור בין קיוביטים במקום לייצר או להשמיד אותם.

מתי מעגלים ביטויים הופכים לבלתי ניתנים לאימון

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

שימוש במעגלים פשוטים כדי לאתחל מורכבים

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

בדיקת אתחולים חמים

המחברים בוחנים רעיון זה על שלוש משפחות חשובות של בעיות אופטימיזציה עם אילוצים. באופטימיזציה של תיק נכסים, המשימה היא לבחור מספר קבוע של נכסים כדי לאזן תשואה צפויה וסיכון, תוך שימוש בנתוני שוק אמיתיים ממדד S&P 500. בפרטוצת גרפים, יש לפצל את צמתי הרשת לשני חצאים שווים תוך חיתוך כמה שפחות קישורים. בבעיית k‑subgraph ביותר דלילות, המטרה היא לבחור תת‑קבוצה בגודל קבוע של צמתים שיש לה כמה שפחות קישורים פנימיים. עבור כל משימה, הם מצפינים את פונקציית העלות להמילטוניאן קוונטי ומשתמשים ב‑QAOA עם מערבלי XY ששומרים על האילוצים הנדרשים. לאורך מקרים רבים ועומקי מעגל שונים, הגישה של אתחול חם מגיעה בעקביות ליחסי קירוב גבוהים יותר (אנרגיות קרובות יותר לטוב ביותר האפשרי) והסתברויות הצלחה גבוהות יותר (משקל גבוה יותר על פתרונות אופטימליים אמיתיים) בהשוואה למעגלים שהתחילו מפרמטרים אקראיים, כאשר היתרון גדל ככל שמידת הבעיה עולה.

פתרונות קוונטיים טובים יותר מתחילות טוב יותר

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

ציטוט: Kordonowy, S., Leipold, H. The Lie algebra of XY-mixer topologies and warm starting QAOA for constrained optimization. npj Quantum Inf 12, 61 (2026). https://doi.org/10.1038/s41534-026-01192-4

מילות מפתח: אלגוריתמים מקווננים וריאציונליים, QAOA, מערבל XY, אופטימיזציה עם אילוצים, אתחול חם