Secure One-Sided Device-Independent Quantum Key Distribution Under Collective Attacks with Enhanced Robustness

ملخص تقني: توزيع المفاتيح الكمومية الآمن أحادي الجانب المستقل عن الأجهزة تحت الهجمات الجماعية مع تعزيز المتانة

بيان المشكلة
تعتمد أمن توزيع المفاتيح الكمومية (QKD) تقليديًا إما على افتراضات تعتمد على الجهاز (DD)، حيث تكون جميع الأجهزة موثوقة، أو على افتراضات مستقلة عن الجهاز (DI)، حيث يتم ضمان الأمن فقط من خلال انتهاك متباينات بيل. وبينما يوفر DI-QKD أعلى مستويات الأمان، إلا أن تنفيذه التجريبي يعوقه متطلبات صارمة، لا سيما كفاءات الكشف العالية (غالبًا >92%) والحاجة إلى اختبارات بيل خالية من الثغرات. وفي المقابل، يعد DD-QKD قابلًا للتنفيذ تجريبيًا ولكنه عرضة لهجمات القنوات الجانبية إذا كانت الأجهزة غير مشخصة. يوفر توزيع المفاتيح الكمومية أحادي الجانب المستقل عن الأجهزة (1sDI-QKD) حلاً وسطًا، حيث يفترض الثقة في جهاز قياس طرف واحد فقط (عادةً بوب)، مستفيدًا من التوجيه الكمي (quantum steering) لتوثيق الأمن. ومع ذلك، تفتقر بروتوكولات 1sDI الحالية غالبًا إلى تعبير تحليلي مغلق الشكل لمعدل المفتاح التقاربي يربط مباشرة بين انتهاك التوجيه والمعلومات التي يحصل عليها المتصنت، أو تعتمد على حدود تعتمد فقط على معدلات الخطأ في البتات الكمومية (QBER) بدلاً من متباينات التوجيه الصريحة. تعالج هذه الورقة الفجوة في اشتقاق معدل مفتاح تحليلي مغلق الشكل لـ 1sDI-QKD تحت الهجمات الجماعية، وتحديدًا باستخدام متباينة التوجيه الثلاثية (CJWR).

المنهجية
يقترح المؤلفون بروتوكول 1sDI-QKD قائم على التشابك حيث يتشارك كل من أليس (غير موثوقة) وبوب (موثوق) حالة بيل ذات التشابك الأقصى. يستخدم البروتوكول ثلاثة قياسات باولي ثنائية لكل طرف. يتم استخراج بتات المفتاح من الجولات التي يقيس فيها كلا الطرفين في قاعدة $\sigma_z$، بينما تُستخدم الجولات الأخرى لتقدير معامل التوجيه CJWR المسمى $F_3$.

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

1. اختزال الأبعاد: باستخدام تناظرات متباينة CJWR، يثبت المؤلفون أنه يمكن قصر الهجوم الأمثل من قبل إيف على فضاء جزئي ثنائي الكيوبت، حتى لو كان فضاء هيلبرت الأساسي عالي الأبعاد.
2. اختزال الحالة: يتم اختزال التحليل أكثر إلى حالات بيل-ديجونال (Bell-diagonal). يوضح المؤلفون أن أي حالة ثنائية الكيوبت يمكن تناظرها إلى شكل بيل-ديجونال دون تغيير قيمة دالة CJWR، مما يبسط حساب المعلومات التي يمكن لإيف الوصول إليها.
3. حساب حد هوليفو (Holevo Bound): يشتق المؤلفون حدًا علويًا على المعلومات التي يمكن لإيف الوصول إليها (المقاسة بكمية هوليفو $\chi$) للحالات بيل-ديجونال. ومن خلال استخدام المتباينات الإنتروبية، يربطون هذا الحد مباشرة بانتهاك CJWR الملاحظ $F_3$.
4. اشتقاق معدل المفتاح: من خلال الجمع بين المعلومات المتبادلة بين أليس وبوب (المشتقة من QBER) والحد العلوي لمعلومات إيف، يطبق المؤلفون صيغة ديفيتاك-وينتر للحصول على حد أدنى تحليلي لمعدل المفتاح السري التقاربي.

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

• معدل مفتاح مغلق الشكل: تشتق الورقة تعبيرًا تحليليًا صريحًا لمعدل المفتاح التقاربي في 1sDI-QK:
  $$r_{1sDI} \geq 1 - h(Q) - h\left(\frac{1 + \sqrt{(F_3^2 - 1)/2}}{2}\right)$$
  حيث $Q$ هو QBER، و $F_3$ هو معامل التوجيه CJWR الملاحظ، و $h(x)$ هي دالة الإنتروبيا الثنائية. وهذا يربط معدل المفتاح مباشرة بانتهاك التوجيه، على غرار كيفية ربط DI-QKD للمعدلات بانتهاكات بيل.
• تحليل تحمل الضوضاء: تمت مقارنة البروتوكول تحت ضوضاء إزالة الاستقطاب (depolarizing noise). يظهر المؤلفون أن البروتوكول يتحمل معدل خطأ حرج ($Q_c$) قدره 8.62%. وهذا أعلى بشكل ملحوظ من بروتوكولات DI-QK القياسية (عادةً 7.1% للنماذج القائمة على CHSH) ويقترب من متانة مخططات DD الموثوقة بالكامل (11)، مع الحفاظ على افتراضات ثقة أضعف من DD.
• عتبات كفاءة الكشف: تدرس الدراسة عدم كفاءة الكشف على الجانب غير الموثوق (أليس) عبر النتائج الفارغة (null outcomes).
  • بدون اختيار لاحق (post-selection)، يمكن توليد مفاتيح آمنة بكفاءات كشف منخفضة تصل إلى 82.7% (في ظل رؤية مثالية).
  • مع الاختيار اللاحق، تنخفض العتبة إلى 74.5%.
    هذه العتبات أقل بشكل ملحوظ من تلك المطلوبة لـ DI-QKD (غالبًا >92%)، مما يبرز الميزة العملية لإعداد 1sDI في البيئات ذات الفقد العالي.

النتائج

• المتانة: يظهر البروتوكول قدرة فائقة على تحمل الضوضاء مقارنة ببروتوكولات DI-QKD الحالية. بينما يتحمل DI-QKD القائم على متباينات بيل ثلاثية الإعدادات ما يصل إلى 7.5% QBER، والمتباينات غير المتماثلة حتى 8.34%، يحقق بروتوكول 1sDI المقترح القائم على CJWR نسبة 8.62%.
• الكفاءة: يكشف التحليل أن توليد المفاتيح الآمنة ممكن بكفاءات كشف منخفضة تصل إلى 74.5% (مع الاختيار اللاحق)، وهو أقل بكثير من متطلبات الـ 92%+ المعتادة لـ DI-QKD.
• المقارنة: تقارن الورقة نتائجها مع بروتوكولات 1sDI أخرى (مثل Branciard et al.، و Tomamichel et al.، و Pramanik et al.). على عكس الأعمال السابقة التي تحد من معلومات إيف عبر QBER أو علاقات عدم اليقين الإنتروبية دون اعتماد صريح على التوجيه، أو تلك التي توفر فقط حدودًا عددية عبر البرمجة الخطية شبه المحددة، يوفر هذا العمل حدًا تحليليًا مغلق الشكل ومستقلاً عن النموذج يعتمد على الزوج $(Q, F_3)$.

الأهمية والادعاءات
يدعي المؤلفون أن هذا العمل يمثل خطوة مهمة نحو الجدوى التجريبية لـ 1sDI-QKD. من خلال إنشاء معدل مفتاح مغلق الشكل يعتمد صراحة على انتهاك متباينة التوجيه، يبسط البروتوكول عملية توثيق الأمن ويعزز الأهمية العملية. تسلط النتائج الضوء على 1sDI-QKD كبديل قوي قائم على التوجيه لتوزيع المفاتيح الكمومية الآمن، مما يوفر توازنًا بين الجدوى التجريبية لـ DD-QKD والحد الأدنى من افتراضات الثقة لـ DI-QKD. يشير المؤلفون إلى أنه بينما يقتصر التحليل الحالي على الأمان التقاربي ضد الهجمات الجماعية، فإن حدود الجولة الواحدة المشتقة تعمل كحجر أساس لتوسيعات مستقبلية نحو الأمان القابل للتركيب (composable security) ضد الهجمات المتماسكة العامة. وتخلص الورقة إلى أن هذه النتائج تقدم رؤى ذات صلة بالتطبيقات التجريبية القريبة، لا سيما في السيناريوهات ذات الكشف غير المثالي والقنوات الصاخبة.