ביטול חרוט האור עבור משחזת הערכים הווריאציונית בפתרון Max-Cut רועש

לחצור דרך רעש קוונטי

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

מדוע חשובה פריסת הרשתות

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

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

המחקר מתבסס על משפחה פופולרית של שיטות היברידיות שנקראות אלגוריתמים קוונטיים ווריאציוניים. בתכניות אלה, מעגל קוונטי מפיק תשובה ניסיונית, בעוד שמחשב רגיל מתאים את פרמטרי המעגל כדי לשפר את התשובה שלב אחרי שלב. השיטה הספציפית כאן, משחזת הערכים הווריאציונית (variational quantum eigensolver), מקושרת בדרך כלל עם כימיה אך ניתנת גם להתאמה לבעיות אופטימיזציה כמו Max-Cut. בהשוואה לגישה קוונטית ידועה אחרת, ה-quantum approximate optimization algorithm, סגנון זה של מעגל יכול להגיע לפתרונות טובים עם פחות שכבות שערים, וזה קריטי כאשר כל פעולה נוספת מכניסה רעש נוסף.

להשאיר רק את מה שבאמת משנה

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

לעשות יותר עם פחות קיוביטים

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

איך זה מתמודד מול קיצורי דרך קלאסיים

החוקרים גם משווים את השיטה שלהם החפה מרעש מול סכמת קירוב קלאסית מפורסמת ל-Max-Cut הידועה כאלגוריתם גימנס–ויליאמסון (Goemans–Williamson). בגרפים גדולים עם 100 קודקודים, הם מגלים שהגישה המבוססת על קוונטום עם ביטול חרוט האור מתפקדת במיוחד טוב ברשתות צפופות יותר, ולעתים גוברת על הבנצ'מרק הקלאסי במונחי מידת הקרבה לפתרון האופטימלי. הם חוקרים גם מה קורה כאשר מוסיפים שכבות נוספות של שערים קוונטיים. אמנם שכבות נוספות הופכות את המעגלים לבעלי הבעה רחבה יותר מבחינה עקרונית, בפועל הן מציגות משטחים אופטימיזציה קשים יותר ותת-מעגלים קטנים יותר בפועל, כך שהסיכויים למצוא פתרונות באיכות גבוהה מאוד למעשה פוחתים.

לחסוך במעגלים קוונטיים לקראת העתיד

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

ציטוט: Lee, X., Yan, X., Xie, N. et al. Light cone cancellation for variational quantum eigensolver in solving noisy Max-Cut. Sci Rep 16, 9597 (2026). https://doi.org/10.1038/s41598-025-31798-1

מילות מפתח: אופטימיזציה קוונטית, Max-Cut, אלגוריתמים קוונטיים ווריאציוניים, הפחתת רעש, ביטול חרוט האור