Measuring the entanglement-breaking index of a qubit collision channel on a quantum processor: protocol and worked example

ملخص تقني: قياس مؤشر كسر التشابك لقناة تصادم الكيوبت

بيان المشكلة
يُعرَّف مؤشر كسر التشابك (EB)، ويرمز له بـ $n_{EB}(\Phi)$، بأنه أصغر عدد من التكوينات الذاتية ($n$) المطلوبة لقناة كمومية $\Phi$ لتدمير كافة أنواع التشابك مع أي نظام مرجعي. وبينما تمت دراسة الخصائص النظرية للقنوات التي تصبح في النهاية كاسرة للتشابك (EB) بشكل جيد، إلا أن التحقق التجريبي ظل محدوداً. وقد حددت أعمال سابقة (Cuevas et al.) مؤشراً قدره 2 لقناة فوتونية محددة، لكنها لم تقم بمسح المؤشرات الأكبر، ولم تقارن بين القياسات المباشرة لعدة جولات مقابل تركيب الخرائط أحادية الجولة. علاوة على ذلك، تفتقر السجلات التجريبية الحالية إلى بروتوكول لتحديد المواقع التي تزيد فيها المؤشرات عن 2 عبر مسح قناة الـ $n$ من الجولات بشكل مباشر.

المنهجية
يقترح البحث بروتوكولاً لقياس $n_{EB}$ مباشرة على معالج كمومي قابل للبرمجة لقنوات الكيوبت التي يتم تحقيقها كنماذج تصادم (collision models). يتفاعل الكيوبت في النظام مع سلسلة من الأنظمة المساعدة (ancillas) التي تمثل "الحمام" (bath)، والمعدة في حالات قطرية في قاعدة معرفة. تعتمد المنهجية على أربعة مكونات تقنية رئيسية:

1. برمجة الحمام الدقيقة عبر التوزين: بدلاً من إعداد حالات مختلطة فيزيائياً، يقوم البروتوكول بإعداد حالات قاعدة نقية للأنظمة المساعدة ويقوم بإعادة بناء حالة الحمام المختلطة المرغوبة $\tau(p)$ في مرحلة التحليل. ومن خلال توزين نتائج القياس لتكوينات الأنظمة المساعدة المختلفة ($b$) وفقاً لاحتمالاتها الدقيقة $w_p(b)$، يتم ضبط استقطاب الحمام $p$ دون خطأ في أخذ العينات (التمهيدية 1).
2. التصوير المقطعي المباشر لعدة جولات: يقوم البروتوكول بإجراء تصوير عمليات أحادي الكيوبت لقناة الـ $n$ من الجولات لمختلف قيم $n$. ولا يتطلب ذلك كيوبتاً مرجعياً؛ بل يعيد بناء الزوج الأفيني $(A_n, c_n)$ للقناة ويحسب القيمة الذاتية الدنيا، $\lambda_{\min}$، لمصفوفة تشوي (Choi matrix) ذات النقل الجزئي.
3. قواعد القرار الإحصائي: تُسجل القراءات مسبقاً عند عتبة خمس انحرافات معيارية ($5\sigma$). ويُصنف القناة كالتالي:
   • NPT (نقل جزئي غير موجب): $\lambda_{\min} \le -5\sigma$ (التشابك محفوظ).
   • PPT (نقل جزئي موجب): $\lambda_{\min} \ge 5\sigma$ (التشابك مكسور).
   • غير محدد: بين العتبتين.
     ونظراً لخاصية قنوات EB المثالية، يجب أن يكون تسلسل القراءات رتيباً (NPT حتى $n_{EB}-1$، ثم PPT). ويشير التسلسل غير الرتيب إلى وجود تأثيرات ذاكرة أو عدم اتساق في الدوائر.
4. فحص الاتساق (المركب مقابل المباشر): يقارن البروتوكول بين القياس المباشر لقناة الـ $n$ من الجولات وبين تركيب خريطة الجولة الواحدة المقاسة (مع تعديل أخطاء إعادة الضبط). يختبر هذا مدى صحة افتراض "ماركوف" المتأصل في نماذج التصادم.

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

• تصميم البروتوكول: طريقة عملية لقياس $n_{EB}$ لأي قناة تصادم كيوبت ذات أنظمة مساعدة قطرية، باستخدام إعادة الضبط في منتصف الدائرة لإعادة استخدام الكيوبتات.
• تحليل الضجيج: توصيف دقيق لكيفية تأثير ضجيج إزالة الاستقطاب (depolarizing noise) وأخطاء إعادة ضبط الأنظمة المساعدة على هوامش القرار. يوضح المؤلف أن الضجيج عادة ما "يأكل" جانب الـ NPT (مما يجعل اكتشاف التشابك أصعب) بينما "يزيد من سماكة" جانب الـ PPT، مما يستلزم ميزانية دقيقة لعدد الطلقات (shots).
• قاعدة التجربة الاستطلاعية (Pilot Rule): استراتيجية ديناميكية لتخصيص الطلقات حيث تقوم جولة استطلاعية بقياس خرائط الجولة الواحدة وأخطاء إعادة الضبط للتنبؤ بعدد الطلقات المطلوبة للجولات اللاحقة، مما يضمن ملاءمة التجربة لميزانية وقت المعالج مع ضمان الأهمية الإحصائية.
• تصحيح العمل السابق: يصحح البحث ادعاءات محددة من نسخة سابقة (arXiv:2609.09350v2)، بما في ذلك عدد البوابات لترجمة (compilation) هيكل الـ heavy-hex (8 بوابات CZ لكل جولة، وليس 10) وتوضيح أنه تم قياس مؤشر قدره 2 سابقاً، رغم أنه لم يتم تحديد مؤشرات أكبر.

مثال عملي ونتائج
تم تطبيق البروتوكول على حلقة تغذية راجعة ثلاثية الكيوبت تم تجميعها لمعالج فائق موصل من نوع heavy-hex (IBM Kingston).

• الأهداف: تم استهداف ثلاثة مؤشرات مثالية معتمدة: $n_{EB}=3$ لحمام X (عند $p=1$)، و $n_{EB}=2$ لحمام Z (عند $p=1$) وحمام غير مستقطب (عند $p=0$).
• المحاكاة: أُجريت عمليات المحاكاة باستخدام نموذج الضجيج FakeKingston (في سيناريوهين: الاسمي والمجهد).
  • في السيناريو الاسمي، حددت الجولة الاستطلاعية قراءة PPT ضعيفة لحمام X عند $n=3$، مما أدى إلى "رفع" عدد الطلقات إلى 16,384. نجحت النتيجة النهائية في استعادة المؤشر 3.
  • في السيناريو المجهد (ضجيج إزالة استقطاب أعلى وأخطاء إعادة ضبط أكبر)، استعاد البروتوكول أيضاً جميع المؤشرات الثلاثة ($3, 2, 2$) دون الحاجة لرفع عدد الطلقات، حيث أدى الضجيج إلى زيادة سماكة هوامش الـ PPT.
• الاتساق: أظهر اختبار "المركب مقابل المباشر" عدم وجود انحراف كبير ($|D_n| < 2.1\sigma$)، مما يؤكد الطبيعة اللاماركوفية (memoryless) للجولات المحاكات.
• التكلفة: الوقت المقدر للمعالج للتشغيل الكامل هو بضع مئات من الثواني (حوالي 397 ثانية بما في ذلك عمليات رفع الطلقات الاستطلاعية).

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

يشير المؤلف بتواضع إلى أنه بينما البروتال جاهز للتنفيذ على الأجهزة الحالية، فإن "المؤشرات المثالية المعتمدة" تعمل كقيم للمقارنة بدلاً من كونها معايير نجاح أو فشل للأجهزة نفسها، حيث يمكن للأخطاء المتماسكة (coherent errors) أن تُزيح المؤشر في أي من الاتجاهين. ويخلص البحث إلى أنه بينما يمكن لهذه الآلية نظرياً اعتماد المؤشرات تحت ظروف الحمامات المعتمدة على الزمن أو في "وديان حرارية" (حيث ينكسر التشابك بشكل أسرع عند استقطابات متوسطة)، فإن متطلبات عدد الطلقات (التي قد تتجاوز $10^5$ لكل إعداد) تضع هذه السيناريوهات حالياً خارج نطاق القياس في المدى القريب، مما يجعلها بمثابة خارطة طريق لقدرات الأجهزة المستقبلية.