Unbounded degree overhead for Alice-conditioned quantum Bell certificates

ملخص تقني: تجاوز غير محدود في درجة التكلفة لشهادات بيل الكمومية المشروطة بآليس

بيان المشكلة
يتقصى هذا البحث التكلفة الحسابية لشهادات حدود بيل (Bell bounds) ضمن تسلسل نافاسكويس-بيرونيو-آسين (NPA) عندما يكون هيكل الشهادة مقيداً. وتحديداً، يدرس الشهادات "المشروطة بآليس" (Alice-conditioned)، حيث يجب أن يتضمن كل حد من حدود مجموع المربعات (SOS) في الشهادة المزدوجة سؤالاً واحداً فقط من أسئلة آليس. هذا الهيكل ذو صلة بالألعاب غير المحلية المُجمّعة (compiled nonlocal games) وإثباتات السلامة التشفيرية المحددة (مثل مسار "nice-SOS"). السؤال المركزي هو ما إذا كان تقييد الشهادة إلى هذا الهيكل "أحادي السؤال" يفرض تجاوزاً محدوداً في درجة تفكيك الـ SOS مقارنة بالشهادات القياسية غير المقيدة. يركز المؤلف على عائلة دالات بيل الوظيفية لـ CHSH المائلة (tilted-CHSH)، حيث تُعرف الشهادات القياسية بأنها دقيقة عند المستوى الثاني.

المنهجية
يستخدم المؤلف مزيجاً من البناء التحليلي، والتحقق الجبري، والتحسين العددي ضمن إطار البرمجة شبه المحددة (SDP) والجبر العملياتي.

1. التسلسلات والمخاريط: تقارن الدراسة بين مخروطين من شهادات SOS في فضاء الفجوة بيل الحقيقي:

   • $D_k$: شهادات الدرجة-$k$ القياسية (كلمات بطول إجمالي مختزل $\le k$).
   • $O_k$: شهادات الدرجة-$k$ المشروطة بآليس (كلمات بوب بطول $\le k$ في كتل مفهرسة بسؤال/جواب آليس).
     يتم تعريف درجات التحويل $d_{std}$ و $d_{os}$ بأنها الحد الأدنى من المستوى المطلوب لشهادة حد معين $\beta$.

2. الأمثلة المضادة التحليلية (تجاوز غير محدود): لإثبات أن أي مستوى مشروط نهائي لا يحتوي على جميع شهادات المستوى الثاني القياسية، يقوم المؤلف ببناء عائلة من الشهود القابلة للتطبيق باستخدام دوال موجبة على الزمرة ثنائية القطب اللانهائية ($\mathbb{Z}_2 * \mathbb{Z}_2$).

   • يستخدم أثر وزن فيير (Fejér-weighted trace) لبناء دالة موجبة تركز الكتلة على كلمات بوب المحددة.
   • من خلال طرح حد من الرتبة الأولى يقابل استجابة بوب الحتمية الموزونة بـ $r_k \sim k^{-2}$، ينشئ شاهداً ينتهك قيود الإيجابية لأي مستوى مشروط $k$ لـ ميل محدد $\alpha_k$ يقترب من النهاية المحلية ($\alpha \to 2$).
   • يعتمد هذا البناء على مصفوفة جرام لمتوسط متحرك، حيث يظل الطرح من الرتبة الأولى موجباً شبه محدد فقط إذا كان المستوى المشروط مرتفعاً بما يكفي.

3. الشهادات الدقيقة على الفترات: على العكس من ذلك، لتحديد النطاقات التي يكون فيها التجاوز محدوداً، يبني المؤلف شهادات دقيقة لفترات محددة من معامل الميل $\alpha$.

   • اختزال الوجه الأمثل (Optimal-Face Reduction): يستخدم الاستراتيجية المثلى للعبة CHSH المائلة لتحديد نواة مصفوفات اللحظة (moment matrices). يقلل هذا من البحث عن الشهادة المزدوجة إلى إيجاد مصفوفات موجبة شبه محددة على المتمم المتعامد للنواة.
   • عائلات الدوال الكسرية: للفترة $\alpha \in [13/10, 3/2]$، يقوم بترميز الحد الكمومي ونوى الاستراتيجية باستخدام دوال كسرية. يبني عائلة مستمرة من الشهادات حيث تكون مصفوفات جرام عبارة عن كثيرات حدود مصفوفية من الدرجة-20.
   • إيجابية برنشتاين (Bernstein Positivity): يتحقق من إيجابية هذه كثيرات الحدود عبر الفترات من خلال توسيعها في قواعد أساس برنشتاين والتحقق من أن جميع مصفوفات المعاملات موجبة شبه محددة تماماً.

4. شهادة العشوائية: يترجم البحث هذه الفوارق في حدود بيل إلى شهادة عشوائية مستقلة عن الجهاز. باستخدام معيار اتصال يتضمن تقعر دالة احتمال التخمين، يوضح أن الفارق في حدود بيل يؤدي مباشرة إلى فارق في الإنتروبي الأدنى (min-entropy) المعتمد.

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

• تجاوز غير محدود في الدرجة: النتيجة الأساسية (النظرية 1) تثبت أنه بالنسبة لعائلة tilted-CHSH، لا يحتوي أي مستوى نهائي من التسلسل المشروط بآليس على جميع شهادات المستوى الثاني القياسية. وتحديداً، عندما يقترب الميل $\alpha$ من النهاية المحلية ($\alpha \to 2$)، فإن المستوى المشروط المطلوب $d_{os}$ ينمو على الأقل بمعدل $\Omega((2-\alpha)^{-1/2})$.

  • لأي عدد صحيح $k$، يوجد ميل $\alpha_k$ بحيث تكون الشهادة القياسية دقيقة عند المستوى 2 ($d_{std}=2$)، بينما تتطلب الشهادة المشروطة مستوى أكبر من $k$ ($d_{os} > k$).
  • يثبت هذا أن تقييد "السؤال الواحد" يمكن أن يفرض زيادة غير محدودة في الموارد الجبرية، حتى عندما توجد شهادة قياسية من درجة منخفضة.

• التحويل النهائي الدقيق على الفترات: رغم التجاوز غير المحدود بالقرب من النهاية، يثبت المؤلف (النظرية 2) أنه في الفترة المستمرة $\alpha \in [13/10, 3/2]$، يكون التجاوز هو مستوى واحد بالضبط.

  • لجميع قيم $\alpha$ في هذا النطاق، $d_{std} = 2$ و $d_{os} = 3$.
  • يتم إثبات ذلك عبر عائلة شهادات دالية كسرية صريحة تم التحقق منها باستخدام إيجابية برنشتاين، مما يثبت أن التسلسل المشروط يمكن أن يغلق تماماً عند المستوى 3 لهذه العائلة الفرعية.

• فصل قيم المستوى الواحد: يصحح البحث ادعاءً سابقاً بشأن تكافؤ المستوى الأول. يثبت (النظرية 3.7) أنه بالنسبة لـ tilted-CHSH عندما $\alpha > 0$، فإن قيمة المستوى الأول القياسية أكبر تماماً من قيمة المستوى الأول المشروط بآليس ($\omega_{std}^1 > \omega_{os}^1$). ويرجع ذلك إلى أن الكتل المشروطة عند المستوى الأول تتضمن ضمناً لحظات الدرجة-ثلاثة الإجمالية (عبر تسمية الكتلة) والتي تغيب عن تقليم المستوى الأول القياسي.

• العشوائية المستقلة عن الجهاز: يوضح المؤلف (النظرية 3) أن التجاوز غير المحدود في الدرجة له عواقب تشغيلية. لا يمكن لأي مستوى مشروط نهائي أن يشهد كامل مقايضة عشوائية CHSH ضد المعلومات الجانبية الكمومية، بينما يمكن للمستوى الثاني القياسي فعل ذلك. وتحديداً، لسلسلة من قيم CHSH حيث $s_k \to 2$، تكون الإنتروبي الأدنى المعتمدة باستخدام المستوى المشروط $k$ أقل تماماً من الحد الكمي الأمثل، مع عجز يتجاوز $10^{-3}$ بت لنقاط محددة.

• الآثار على السلامة المُجمّعة: توفر النتائج عائقاً كمياً لمدخلات "nice-SOS" في إثباتات سلامة الألعاب غير المحلية المُجمّعة. يجب أن تنمو درجة عوامل كلمات بوب في شهادة nice-SOS دقيقة لـ tilted bound بالقرب من النهاية بمعدل $\Omega(\epsilon^{-1/2})$، مما يحد من كفاءة هذه الإثباتات للتحيزات (tilts) التعسفية.

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

• تواضع الادعاءات: يصرح المؤلف صراحة بأنه لا يدعي فشل أمن البروتوكولات المُجمّعة أو فشل معدل المفتاح النهائي. تتعلق النتائج بدقة طرق الشهادة أحادية الجولة والدرجة الجبرية للشهادات الدقيقة.
• المسائل المفتوحة: يقر البحث بأن هناك حداً أدنى تقاربياً قدره $\Omega(\epsilon^{-1/2})$ قد تم إثباته، لكن الحد الأعلى الدقيق أو إثبات الإغلاق النهائي لكل ميل دون حرج يظل مسألة مفتوحة. يشير التشبع العددي إلى نمو بمعدل الجذر التربيعي، ولكن لم يتم إثبات حد أعلى صارم يطابق هذا الأس.
• تصحيح الأدبيات: يعمل هذا العمل على تنقيح فهم العلاقة بين التسلسلات القياسية والمشروطة، مصححاً تأكيداً سابقاً حول تساوي قيم المستوى الأول لـ tilted CHSH، وموضحاً التمييز بين ترشيحات (filtrations) الـ POVM/الـ localizer وبين الـ PVM quotient المستخدم هنا.

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