Qiskit SPSA Optimizer

כלי זה מאפשר אופטימיזציה מבוססת SPSA עבור מעגלים קוואנטיים מפרמטרים במסגרת Qiskit. הוא מקבל הגדרת בעיה, פונקציית עלות והיפר-פרמטרים SPSA לביצוע עדכוני גרדיאנט סטוכסטיים באמצעות שתי הערכות פונקציה לכל איטרציה. הזרימה מיועדת לחוקרים ולמפתחים שזקוקים לאופטימיזציה חזקה תחת רעש ללא חישובי גרדיאנט מפורשים. עיקרון הליבה הוא לפגע בפרמטרים בכיוונים אקראיים ±1, להעריך את הגרדיאנט מההפרש בערכי העלות ולעדכן את הפרמטרים עם צעד מוצפן. באמצעות מספר איטרציות מקבלים מסלול עלות ופרמטרים המשמש לניתוח התכנסות ועמידות לרעש. הכלי תומך בהצבת גבולות, כללי עדכון אדפטיביים ולוגים אופציונליים להשוואת ביצועים across גדלי בעיה. המעדים כוללים מפתחי אלגוריתמים קוואנטיים, מורים שמדגים אופטימיזציה וקטורים שמשווים SPSA לאופטימייזרים אחרים. הערך המוסף נמצא באינטגרציה הדוקה עם זרימות עבודה בסגנון Qiskit, בהגדרות היפר-פרמטרים שניתן לשחזור ובחלוקה ברורה בין לוגיקת SPSA להגדרות מטרות ספציפיות לבעיה. תכונות עיקריות כוללות ממימדי בעיה ניתנים להגדרה, פרמטרים התחלתיים, הערכת גרדיאנט בת שתי הערכות לכל איטרציה, והיסטוריה לניתוח לאחר-כך. מקרי שימוש כוללים סקאנרים של היפר-פרמטרים, מחקרי השוואה בין אופטימייזרים סטוכסטיים והדגמות חינוכיות של SPSA על סימולטורים רועשים או מכשירים אמיתיים. הכלי מדגיש שליטה domain-specific על הדינמיקה של האופטימיזציה, עם טיפול מפורש בהערכות לא תקינות, צמתים של התכנסות ובקרת גבולות פרמטרים לשמירה על ניסויים מסודרים. דוגמאות: כוונון מעגל ואריאציונלי עבור המטריצה הטויה, השוואה SPSA ל-Adam במאמץ רעש, או הדמיית השפעת היפר-פרמטרים על מהירות וזמן התכנסות.