Sample-efficient benchmarking of shallow all-to-all random quantum circuits

العنوان: تقييم كفاءة العينات للدوائر الكمومية العشوائية ضحلة العمق ذات الاتصال الشامل (all-to-all)

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

المنهجية
يستخدم المؤلفون إطارًا نظريًا يعتمد على مجموعات الدوائر العشوائية لبروان (Brownian) ذات الاتصال الشامل. وخلافًا للدوائر العشوائية المنفصلة (Haar-random)، فإن دوائر بروان هي نظائر مستمرة زمنيًا تتكون من تفاعلات عشوائية ثنائية الكيوبت شاملة (all-to-all) محكومة بتفاعلات ضوضاء بيضاء غاوسية. يعمل هذا النموذج كـ "مختبر" قابل للتحليل لعملية أخذ عينات الدوائر العشوائية (RCS).

يتضمن النهج التقني الجوهري ما يلي:

1. رسم خرائط الميكانيكا الإحصائية: يقوم المؤلفون برسم خرائط لمتوسط المجموعة لعزوم المصفوفات الوحدوية (تحديدًا $2k$ من النسخ أو المكررات) إلى مشكلة ميكانيكا إحصائية كمومية عند درجة حرارة عكسية $\beta$ تتناسب مع عمق الدائرة. ينتج عن ذلك هاميلتونياني فعال متعدد الأجسام، $H^{(k)}_{\text{eff}}$.
2. طرق النطاق الكبير (المجال المتوسط): باستخدام الاتصال الشامل (all-to-all)، يطبق المؤلفون تقنيات المجال المتوسط للنطاقات الكبيرة لحل طيف $H^{(k)}_{\text{eff}}$. يتيح ذلك الحساب الدقيق لعزوم عالية جدًا لتوزيع احتمالية المخرجات، وهي مهمة صعبة للغاية للدوائر الوحدوية المنفصلة.
3. خدع النسخ (Replica Tricks): لحساب الكميات غير الخطية مثل متوسط لوغاريتم الاحتمالات (المطلوب للتقاطع الخطي)، يستخدم المؤلفون خدع النسخ. يتضمن ذلك حساب العزوم $\langle q^k \rangle$ للأعداد الصحيحة $k$، ثم الاستمرار التحليلي إلى المستوى المركب، والاشتقاق بالنسبة لـ $k$، ثم أخذ النهاية عندما $k \to 0$.
4. نمذجة الضجيج: يتم دمج ضجيج إزالة الاستقطاب أحادي الكيوبت في النموذج عبر نظرية الاضطراب، حيث يتم التعامل مع معدل الضجيج $\gamma$ كمعامل صغير بالنسبة لقوة الاقتران $J$.
5. التحقق العددي: يتم تأكيد النتائج التحليلية المستمدة من نموذج بروان من خلال عمليات محاكاة عددية لدوائر عشوائية منفصلة شاملة (all-to-all) مكونة من بوابات ثنائية الكيوبت عشوائية (Haar-random) (حتى 40 كيوبت).

المساهمات والنتائج الرئيسية

1. التقاطع الخطي غير الخطي (log XEB) كمعيار فعال من حيث كينة العينات:
   يستنتج البحث تعبيرات تحليلية دقيقة للتقاطع الخطي غير الخطي لمتوسط المجموعة ($\log \text{XEB}$) وتباينها كدالة لعمق الدائرة، وحجم النظام $n$، ومعدل الضجيج $\gamma$.

• النتيجة: في نظام العمق الضحل ($\log n \gtrsim \beta J \gg 1$)، تتقاصر نسبة الإشارة إلى الضجيج لتقدير $\log \text{XEB}$ كدالة عكسية متعددة الحدود في حجم النظام.
• الدلالة: على عكس الدوائر العميقة حيث يتطلب تقدير $\log \text{XEB}$ عينات أسية، فإن التقاطع الخطي غير الخطي هو فعال من حيث كفاءة العينات للدوائر ضحلة العمق. إنه يضع تسلسلاً هرميًا صارمًا بين أخذ العينات النظيفة تمامًا ($\gamma=0$)، وأخذ العينات الكمومية الصاخبة ($\gamma > 0$)، وخوارزمية "هارفارد" للخداع (التي تم نمذجتها كحالة $\gamma \to \infty$)، مما يسمح بالتمييز بينها بشكل موثوق.

2. مصنف ثنائي لتوليد المخرجات الثقيلة (HOG):
   يطور المؤلفون بروتوكول تصنيف ثنائي جديد يعتمد على مفهوم "توليد المخرجات الثقيلة" (HOG)، والذي يستغل ميل الدوائر الكمومية العشوائية لإنتاج سلاسل بت (bitstrings) "ثقيلة" محددة باحتمالية أعلى.

• النتيجة: يتميز هذا المصنف بتعقيد عينات لوغاريتمي ($m \sim \log n$) عند الأعماق القصيرة. فهو يتطلب عينة واحدة فقط من سلسلة بت واحدة للتمييز بين أخذ العينات الكمومي الصاخب والخداع الكلاسيكي باحتمالية عالية.
• الآلية: يستخدم المصنف حدود قرار (عتبة الدرجة $z^*$) تفصل بين توزيعات الدرجات لأخذ العينات الكمومي النظيف (الذي يفضل الدرجات العالية) وبين الخداع الكلاسيكي (الذي يفضل الدرجات المنخفضة). يتلاشى احتمال التصنيف الخاطئ أسياً مع عدد العينات.

3. التعبيرات التحليلية:
   يوفر البحث تعبيرات مغلقة لكل من:

• متوسط التقاطع الخطي غير الخطي: $\log \text{XEB} = nH\left(\frac{1+a}{2}\right) + \gamma_e - e^{-n\beta\gamma}$ (حيث $a = e^{-12\beta J}$ و $H$ هي الإنتروبيا الثنائية).
• تباين التقاطع الخيدي غير الخطي، الذي يظهر سلوكيات قياس متميزة اعتمادًا على ما إذا كان عمق الدائرة تحت أو فوق نقطة العبور ($c=1/2$).

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

علاوة على ذلك، يقدم المصنف الثنائي القائم على HOG ميزة عملية كبيرة من خلال تقليل تعقيد العينات من المستوى متعدد الحدود (المطلوب لتقدير المتوسط) إلى المستوى اللوغاريتمي، مما يسمح بالتحقق السريع من التفوق الكمومي بأقل قدر من البيانات.

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