Sampling (noisy) quantum circuits through randomized rounding

إليك ملخص تقني مفصل للورقة البحثية بعنوان "أخذ عينات من الدوائر الكمومية (المشوبة بالضجيج) عبر التدوير العشوائي".

1. بيان المشكلة

تتناول الورقة فجوة حرجة في العصر الحالي للأجهزة الكمومية ذات المقياس المتوسط المشوبة بالضجيج (NISQ). فبينما توجد طرق كلاسيكية لمحاكاة الدوائر الكمومية المشوبة بالضجيج وتقدير القيم المتوقعة (على سبيل المثال، عبر تخفيف الخطأ أو محاكاة المخروط الضوئي الكلاسيكي)، إلا أن هناك نقصاً في الطرق الكلاسبية الفعالة لـ أخذ عينات من السلاسل الثنائية (bitstrings) التي تحاكي بأمانة توزيع المخرجات لدائرة كمومية مشوبة بالضجيج.

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

2. المنهجية

يقترح المؤلفون خوارزمية التدوير العشوائي الغاوسي (Gaussian Randomized Rounding) المطبقة على الهوامش ثنائية الكيو بت (two-qubit marginals) للدائرة. هذا النهج مستوحى من خوارزمية "جويمانز-ويليامسون" (Goemans-Williamson) لمسألة Max-Cut، ولكن تم تكييفه لاستخدام بيانات الارتباط الخاصة بالدائرة الكمومية بدلاً من البرمجة شبه المحددة (SDP).

الخوارزمية الأساسية (الخوارزمية 4.1)

1. المدخلات: دائرة كمومية $C$ (سواء كانت خالية من الضجيج أو مشوبة به) ومتجه المتوسط $\mu$ ومصفوفة التباين والتباين المشترك $\Sigma$ المرتبطة بها، حيث $\Sigma_{ij} = \text{tr}(\rho Z_i Z_j)$.
2. أخذ العينات: أخذ عينة لمتجه $y \in \mathbb{R}^n$ من توزيع غاوسي متعدد المتغيرات $\mathcal{N}(\mu, \Sigma)$.
3. التدوير: تحويل المتجه المستمر $y$ إلى سلسلة ثنائية $z \in \{-1, +1\}^n$ عن طريق أخذ إشارة كل مكون: $z_i = \text{sign}(y_i)$.
4. المخرجات: تعمل السلسلة الثنائية $z$ كحل مرشح لمسألة التحسين.

الإطار النظري

• نسبة الاستعادة ($\alpha$): يتم قياس جودة أخذ العينات من خلال نسبة التكلفة المتوقعة للعينات الكلاسيكية إلى التكلفة المتوقعة للعينات الكمومية المشوبة بالضجيج:
  $$\alpha = \frac{\mathbb{E}_{z \sim A(C)}[C(z)]}{\mathbb{E}_{z \sim M([C]_N)}[C(z)]}$$
  الهدف هو إثبات أن $\alpha \approx 1$.
• نماذج الضجيج: يركز التحليل بشكل أساسي على ضجيج إزالة الاستقطاب المحلي ($N_{DP}$) وضجيج تخميد السعة ($N_{AD}$).
• حساب المدخلات: تستفيد الورقة من التطورات الأخيرة (مثل الانتشار الخلفي لـ Pauli) التي تُظهر أن حساب القيم المتوقعة المشوبة بالضجيج ($\mu$ و $\Sigma$) يمكن القيام به بكفاءة في وقت حدودي للعديد من فئات الدوائر، على الرغم من أن أخذ عينات من التوزيع الكامل هو أمر صعب.

3. المساهمات الرئيسية

أ. الضمانات النظرية لـ Max-Cut

• الحالة الخالية من الضجيج: تستعيد الخوارزمية حد "جويمانز-ويليامسون" حيث $\alpha \geq 0.87856$.
• الحالة المشوبة بالضجيج: يثبت المؤلفون أنه تحت ضجيج إزالة الاستقطاب المحلي بقوة $p$ وعمق الدائرة $D$، تتحسن نسبة الاستعادة مع زيادة الضجيج. وتحديداً، للرسوم البيانية المنتظمة:
  $$\alpha_{MC} \geq 1 - O((1-p)^D)$$
  وهذا يعني أنه كلما أصبحت الدائرة أكثر ضجيجاً (أو أعمق)، أصبح المخرج الكمومي أكثر عشوائية، ويمكن لخوارزمية التدوير الكلاسيكية (التي تلتقط الارتباطات المتبقية) إعادة إنتاج التوزيع المشوب بالضجيج بدقة عالية.

ب. الضمانات النظرية لـ QUBO

• الحالة الخالية من الضوج: تحقق الخوارزمية نسبة استعادة قدرها $\alpha \geq 2/\pi \approx 0.6366$.
• الحالة المشوبة بالضجيج: تماماً مثل Max-Cut، يستنتج المؤلفون حدوداً تُظهر أن نسبة الاستعادة تقترب من 1 مع زيادة قوة الضجيج أو النمو في العمق، بشرماً أن يكون العمق كافياً (لوغاريتمي في $n$ للحدود الصارمة، رغم أن الأداء العملي أفضل).

ج. أخذ عينات كلاسيكي متكامل (End-to-End)

تبني الورقة خط إنتاج كاملاً:

1. استخدام الانتشار الخلفي لـ Pauli لحساب القيم المتوقعة المشوبة بالضجيج ($\Sigma$) في وقت حدودي.
2. إسقاط المصفوفة المقدرة على مخروط البرمجة شبه المحددة (PSD) لضمان صحة أخذ العينات الغاوسي.
3. تطبيق التدوير العشوائي الغاوسي لتوليد العينات.
   هذا يخلق بديلًا كلاسيكيًا يعمل في وقت حدودي ويحاكي الدائرة الكمومية المشوبة بالضجيج.

4. النتائج

المحاكاة العددية والتجارب على الأجهزة

تحقق المؤلفون من صحتهم لطريقتهم على أجهزة IBM Quantum (IBMQ) (رقائق بـ 127 كيو بت) وعلى عمليات محاكاة واسعة النطاق.

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

5. الأهمية والآثار المترتبة

• تقييم التفوق الكمومي: توفر الورقة معياراً كمياً صارماً. إذا لم يتمكن من التفوق على هذا المنهج البسيط لأخذ العينات الكلاسيكية، فهذا يعني أن الجهاز الكمومي لا يقدم ميزة حوسبية للمهمة المحددة تلك.
• توضيح قدرات NISQ: توضح الورقة أنه بالنسبة للتحسين التوافقي، قد لا تقدم الأجهزة القريبة المدى "تفوقاً كمومياً" من حيث إيجاد حلول أفضل من الاستدلالات الكلاسيكية، ولكنها تقدم توزيعاً محدداً للحلول يمكن محاكاته كلاسيكياً بكفاءة.
• الفائدة العملية: توفر الطريقة بديلاً موثوقاً ومنخفض التكلفة لتشغيل الأجهزة الكمومية لمهام أخذ العينات. إذا كان الهدف هو الحصول على عينات مشابهة لدائرة كمومية مشوبة بالضجيج (على سبيل المثال، لاختبار استراتيجيات تخفيف الخطأ)، فيمكن استخدام هذا البديل الكلاسيكي بدلاً من عمليات كمومية مكلفة.
• سياق تخفيف الخطأ: تسلط الورقة الضوء على أنه بينما يمكن لتخفيف الخطأ استعادة القيم المتوقعة، فإنه لا يمكنه بسهولة استعادة العينات. هذه الطريقة تسد هذه الفجوة من خلال توليد عينات تطابق سلوك الجهاز المشوب بالضجيج.

الخاتمة

تُظهر الورقة أنه بالنسبة لفئة واسعة من الدوائر الكمومية المتغيرة المستخدمة في التحسين، فإن التدوير العشوائي الغاوسي على الهوامش ثنائية الجسم هو بديل كلاسيكي قوي وفعال ومثبت. إنها تنجح في إعادة إنتاج توزيع أخذ العينات للأجهزة الكمومية المشوبة بالضجيج، مما يوفر أداة جديدة لتحديد الحدود التي يجب أن يكمن عندها التفوق الكمومي الحقيقي، وتوفر معياراً لتقييم المعالجات الكمومية المستقبلية سواء كانت مقاومة للخطأ أو خاضعة لتخفيف الخطأ.