Non-Abelian Mixer for QAOA on Hybrid Oscillator-Qubit Quantum Processors

ملخص تقني: الخلاط غير الأبلي (Non-Abelian Mixer) لخوارزمية QAOA على المعالجات الهجينة من المذبذب والكيوبت

بيان المشكلة
بينما تم إثبات التحكم الشامل في المعالجات الكمومية الهجينة ذات المتغيرات المستمرة (CV) والمتغيرات المنفصلة (DV) — وتحديداً تلك التي تربط الكيوبتات فائقة التوصيل بالرنانات الميكروية — لا يزال تطوير الخوارزميات الكمومية المصممة خصيصاً لهذه المنصات في مراحله الأولى. ورغم أن خوارزمية التحسين التقريبي الكمومي (QAOA) مدروسة جيداً في سياقات المتغيرات المنفصلة (DV) البحتة والمتغيرات المستمرة (CV) البحتة، إلا أن صياغتها للأنظمة الهجينة (CV-DV) تفتقر إلى الوضوح. ثمة فجوة حرجة تتمثل في تحديد "الخلاط" (mixer) المناسب لـ QAOA على المعالجات الهجينة. تعتمد QAOA القياسية على خلاط مجال عرضي (مجموع مؤثرات Pauli-X)، وهو أمر أصيل في الأنظمة ذات المتغيرات المنفصلة (DV)، ولكنه قد لا يستغل بشكل كامل فضاء الحالة اللانهائي البدئي وعناصر التحكم غير التبادلية (non-commutative) المتاحة في البنى الهجينة للمذبذب والكيوبت.

المنهجية
يقترح المؤلفون إطار عمل QAOA أصيلاً في العتاد (hardware-native) مصمماً خصصاً للمعالجات الهجينة (CV-DV)، باستخدام بنية مجموعة التعليمات (ISA) لـ فضاء الطور. وتتكون منهجيتهم الأساسية من ثلاثة مكونات رئيسية:

1. الترميز والقراءة: تقوم الخوارزمية بترميز الكيوبتات المنطقية في حالات "غوتسمان-كيتا-بريسكيل" (GKP) ذات الطاقة المحدودة داخل أنماط المذبذب. تُستخدم الكيوبتات المساعدة (ancilla qubits) كوسيط للتحكم والقراءة. يتم نقل المعلومات المنطقية بين فضاء طور المذبذب وسجل الكيوبت باستخدام تسلسل معالجة إشارات كمومية غير أبلي (NA-QSP) محدد، يُرمز له بـ $E_x(\sqrt{\pi}/2, \Delta)$، والذي يصحح عدم اليقين في الموضع المتأصل في حالات GKP ذات الطاقة المحدودة.
2. وحدة التكلفة (Cost Unitary): بالنسبة لمسألة "القطع الأقصى" (Max-Cut) على رسومات "إيردوس-ريني" غير الموزونة، يتم تنفيذ هاميلتوني التكلفة كسلسلة من دورات $R_{ZZ}$ المنطقية على سجل الكيوبت المساعد. تقوم هذه الوحدة بترميز بنية الرسم البياني في الأطوار النسبية لسعات الكيوبت.
3. الخلاط غير الأبلي (Non-Abelian Mixer): الابتكار الرئيسي هو استبدال الخلاط التقليدي ذي المجال العرضي بخلاط غير أبلي مبني من عناصر فضاء الطور الأصلية. يعمل هذا الخلاط على كل زوج (مذبذب-كيوبت) ويتكون من:
   • دوران أولي أحادي الكيوبت قابل للتدريب.
     يدخل في تسلسل من بوابات الإزاحة الشرطية (CD) على طول كل من محوري الموضع ($\hat{x}$) والزخم ($\hat{p}$).
   • دورات أحادية الكيوبت متداخلة تغير القاعدة (basis) بين عمليات الإزاحة.
   • عمق هذا الخلاط، $d$، هو معامل قابل للضبط. عندما تكون $d=0$، يتقلص الخلاط إلى الخلاط التقليدي ذي المجال العرضي. وعندما تكون $d \geq 1$، فإنه يستغل عدم التبادلية بين $\hat{x}$ و $\hat{p}$ لاستكشاف فضاء الحلول بشكل أكثر فعالية.

المساهمات الرئيسية
يقدم البحث ثلاث مساهمات محددة:

• اقتراح خلاط غير أبلي: قدم المؤلفون خلاطاً يتكون من مجموعات تعليمات هجينة (CV-DV) أصلية (إزاحات شرطية ودورات كيوبت) يستفيد من الطبيعة غير الأبلية لمتغيرات فضاء الطور.
• تطوير نموذج (Ansatz) هجين: طوروا نموذج QAOA كاملاً لمسألة Max-Cut يدمج ترميز GKP، وقراءة/تصحيح NA-QSP، والخلاط غير الأبلي المقترح.
• التقييم المرجعي (Benchmarking): قدموا تقييماً منهجياً للنموذج المقترح مقابل الخلاط التقليدي ذي المجال العرضي باستخدام نسب التقريب واحتمالات الحل الأمثل.

نتائج المحاكاة
قام المؤلفون بتقييم النموذج المقترح على رسومات "إيردوس-ريني" غير الموزونة بأحجام $N=4$ و $N=5$، باستخدام حدود فوك (Fock cutoffs) مختلفة ($N_{max} \in \{6, 8, 10, 12\}$) ومعامل غلاف GKP ($\Delta$). تشير النتائج إلى:

• تحسن مستمر: عبر جميع أحجام الرسومات والحدود المختبرة، تفوق الخلاط غير الأبلي باستمرار على الخلاط التقليدي ذي المجال العرضي.
• مكاسب في المقاييس: بلغ متوسط التحسن في نسبة التقريب حوالي 0.13 لكلا حجمي الرسم البياني. وبلغ متوسط التحسن في احتمال أخذ عينة للحل الأمثل حوالي 0.15.
• الاعتماد على العمق: أدى زيادة عمق الخلاط من $d=0$ (خط الأساس للمجال العرضي) إلى $d=1$ إلى تحقيق أكبر قفزة في الأداء. بينما وفرت الزيادات الإضافية في العمق مكاسب طفيفة ولكنها إيجابية.
• المتانة: ظل الأداء مستقراً مع زيادة حد فوك، مما يشير إلى أن الخوارزمية متينة تجاه بتر فضاء هيلبرت اللانهائي. كما أثر معامل غلاف GKP ($\Delta$) على الأداء، حيث أظهرت القيم الأكبر (التي تمثل حالات ذات طاقة أقل وأوسع) تحسينات طفيفة في الفضاء المبتور.

الأهمية والادعاءات
يزعم البحث أن الخلاط غير الأبلي المقترح يعد لبنة بناء واعدة لـ QAOA على منصات المذبذب-الكيوبت الهجينة. وتشير النتائج إلى أن تصميم الخوارزميات للأنظمة الهجينة يجب أن يتبع بنية العتاد الأصلية وعناصر التحكم (تحديداً عمليات فضاء الطور غير التبادلية) بدلاً من الاعتماد على النقل الساذج لخوارزميات المتغيرات المنفصلة. ويفترض المؤلفون أن الخلاط الخاص بهم يمكّن من استكشاف فضاء حلول Max-Cut بشكل أكثر كفاءة، مما يحسن كلاً من جودة الحل المتوقع واحتمالية العثور على الحل الأمثل. ويخلصون إلى أن هذا العمل يمثل خطوة نحو التصميم المنهجي للخوارزميات للمعالجات الكمومية الهجينة، مع تسليط الضوء على مبدأ تصميم أوسع: الاستفادة من الخصائص الجبرية الفريدة للأنظمة الهجينة (التحكم غير الأبلي) لتعزيز أداء الخوارزمية.