Multi-Path Quantum Key Distribution Transport: A Four-Order Mathematical Framework with Provable Zero-Interruption Under Stated Provisioning Conditions

ملخص تقني: نقل توزيع المفاتيح الكمومية متعدد المسارات

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

1. عدم التماثل في معدل المسار الواحد: تولد روابط QKD الفردية مفاتيح بمعدلات تقل بعدة مراتب عن متطلبات الإنتاجية الكلاسيكية. إن تجميع المفاتيح الخام من مسارات متعددة دون معالجة أمنية صارمة لكل مسار يؤدي إلى تسرب معلوماتي نظري.
2. ضعف مجمع المفاتيح الاحتياطي: تعتمد الشبكات الحالية على مجمعات مفاتيح احتياطية لاستيعاب التقلبات، مما يؤدي إلى احتمالية غير صفرية لسرقة المفاتيح الثابتة وكسر السرية الأمامية.
3. عد عدم التوافق مع المرحلات الموثوقة: البروتوكولات النقلية القياسية (مثل TCP/IP و MPTCP) غير متوافقة هيكلياً مع إدارة المفاتيح عبر القفزات (hop-by-hop) المطلوبة في طبولوجيا QKD ذات المرحلات الموثوقة، والتي تمد النطاق إلى ما وراء حد الـ 100 كم للألياف الضوئية.

المنهجية: إطار رياضي رباعي المستويات
تقترح الورقة طبقة نقل كاملة لشبكات QKD متعددة المسارات مبنية على إطار رياضي تصاعدي رباعي المستويات. يدمج هذا الإطار آليات الطبقة الفيزيائية، وبروتوكولات طبقة النقل، والبراهين النظرية الصارمة.

• المستوى 0 (الفيزيائي): يستخدم بروتوكول BB84 مع حالات التمويه (decoy states) عبر $K$ من مسارات الألياف الضوئية المستقلة. تشمل الابتكارات التحكم في WDM ثلاثي الأنماط (الطاقة/العادي/التقنين) بناءً على مستويات المجمع الساخن، وتدوير العناوين المتعددة (16 عنواناً) للتخفيف من هجمات حجب الخدمة (DoS)، وكشف التلاعب في خط الأساس للتأخير لتحديد هجمات الاعتراض وإعادة الإرسال.
• المستوى 1 (النقل): يدير مخزون المفاتيح عبر "مجمع ساخن" (في الوقت الفعلي) و"مجمع بارد" (OPES). يستخدم تشفيراً هجيناً ديناميكياً بمعامل $\alpha$ (يمزج بين OTP الكمي وKyber-768 لما بعد الكم)، وإعادة إرسال انتقائية قائمة على مجموع القطع (SegmentGroup) لتوفير مادة المفاتيح، ونقلاً مصفوفياً للبيانات ثنائية الأبعاد.
• المستوى 2 (الإطار الرياضي): المحرك النظري الجوهري المكون من أربع مبرهنات:
  1. المبرهنة 1 (الفصل): تثبت عبر متباينة جينسن أن المعالجة الأمنية المستقلة لكل مسار تنتج مفتاحاً أكثر أماناً ($K_{indep} \ge K_{concat}$) من الربط الفيزيائي للمفاتيح الخام.
  2. المبرهنة 2 (التخصيص): تشتق حلاً مغلق الصيغة لـ "سعر الظل" (shadow-price) للتخصيص الأمثل لحركة المرور ($w^*_i \propto 1/\lambda_i$)، حيث يتم توجيه حركة المرور ديناميكياً بناءً على تكاليف استهلاك المفاتيح الهامشية.
  3. المبرهنة 3 و 3' (تحديد أبعاد المخزن المؤقت): تستخدم مبادئ الانحراف الكبير (LDP) لحساب الحد الأدنى لسعة المخزن المؤقت الساخن للطلب ذي الذيول الرفيعة. وتوسع المبرهنة 3' ذلك ليشمل الطلب ذي الذيول الثقيلة (Pareto) شبه الأسية، مما يوفر حدوداً تقاربية حيث تفشل مبادئ LDP القياسية.
  4. المبرهنة 4 (انعدام الانقطاع): تُعرف التخزين القابل للمحو بمرور واحد (OPES) عبر بديهيات فيزيائية (الكتابة لمرة واحدة، القراءة لمرة واحدة، التدفق أحادي الاتجاه). وتثبت أنه تحت ظروف توفير محددة، فإن احتمال انقطاع الخدمة هو صفر تماماً ($P_{interruption} = 0$).
• المستوى 3 (التطبيق): يسمح للتطبيقات باختيار قوة التشفير عبر معامل $\alpha$، مما يوازن بين الأمن الكمي الخالص وكفاءة الحوسبة لما بعد الكم.

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

1. أول طبقة نقل كاملة: تقدم الورقة أول طبقة نقل مصممة خصيصاً لشبكات QKD متعددة المسارات، معالجةً الفجوة بين توليد المفاتيح الفيزيائية وخدمة طبقة التطبيقات.
2. انعدام انقطاع مثبت: من خلال مجمع OPES البارد والمبرهنة 4، يقدم الإطار ضماناً حتمياً لانعدام انقطاع الخدمة، محولاً المرونة من مقياس احتمالي (مثل 99.999%) إلى يقين فيزيائي.
3. سلسلة أمنية مركبة: وضع المؤلفون مبرهنة أمنية رسمية (المبرهنة 5) تربط اختزال شور-بريسكيل، وتكوين المسارات المتعددة، والتشفير الهجين لتحقيق حد أمني نهائي قدره $\epsilon_{total} \le 10^{-8}$.
4. السرية الأمامية المعلوماتية النظرية: توفر بديهية "القراءة لمرة واحدة" في OPES سرية أمامية فيزيائية ($I(K_{pre}; O_{post}) = 0$)، وهي أقوى من السرية الأمامية الحسابية لأنها تعتمد على المحو الفيزيائي بدلاً من فرضيات الصعوبة الحسابية.
5. بنية الدفاع المتعمق: تم صياغة سلسلة دفاع رباعية الطبقات (تدوير العناوين، استعادة المصفوفة، كشف التأخير، OPES)، مما يظهر أن احتمالات التجاوز المجتمعة أقل بعدة مراتب من الدفاعات أحادية الطبقة.

النتائج
تم التحقق من صحة الإطار عبر محاكاة الأحداث المنفصلة على طوبولوجيا مكونة من 4 مسارات و3 قفزات على مدار 14,400 ثانية محاكاة (أربعة سيناريوهات مدة كل منها 3,600 ثانية: خط الأساس، حجب الخدمة، اعتراض-إعادة إرسال التأخير، والهجمات المشتركة).

• معدل الانقطاع: لوحظ انعدام تام لانقطاعات الخدمة عبر جميع السيناريوهات.
• ديناميكيات المخزن المؤقت: حافظ المجمع الساخن على حد أدنى قدره $\ge 10.2\%$ من السعة. وظل استخدام مجمع OPES البارد منخفضاً (0.65% خلال 3,600 ثانية)، مما يؤكد كفاءة نموذج التوفير.
• المرونة ضد الهجمات:
  • طابقت معدلات إصابة حجب الخدمة (DoS) الحد النظري $1/N$ (6.25% لـ $N=16$).
  • حقق كشف التلاعب القائم على التأخير حساسية بنسبة 100% مع صفر نتائج إيجابية كاذبة.
  • نجح مخطط التشفير الهجين في التكيف مع تقلبات إمداد المفاتيح دون تدهور في الخدمة.
• القابلية للتوسع: توسعت الإنتاجية بشكل خطي تقريباً مع عدد المسارات ($K=1 \to 16$)، لتصل إلى ~150 كيلوبت في الثانية عند $K=16$، وهو ما يكفي لتحديث مفاتيح AES-256 في الوقت الفعلي.

الأهمية
تدعي الورقة أنها تقدم أول طبقة نقل صارمة رياضياً لـ QKD متعدد المسارات، مما ينقل المجال من "روابط QKD موجودة" إلى "QKD كخدمة شبكية قابلة للاستخدام". ومن خلال إرساء رابط مثبت بين البديهيات الفيزيائية (OPES) وأداء الشبكة (انعدام الانقطاع)، يقدم هذا العمل مخططاً لنشر شبكات QKD قوية متعددة القفزات على البنية التحتية الحالية للألياف الضوئية في المدن. ويُقدم الإطار كنهج متوافق مع أي بروتوكول QKD يستوفي افتراضات محددة (A1–A4)، ويعمل كمكمل لتشفير ما بعد الكم (PQC)، حيث يوفر أمنًا معلوماتيًا نظريًا لقطاعات البيانات الحرجة مع استخدام PQC لحركة المرور الضخمة.