تقدم هذه الورقة إثباتاً أمنياً صارماً لبروتوكول BB84 هجين باستخدام الكشف المتغاير عبر استغلال التماثل لإدارة الأبعاد غير المحدودة، مما يؤدي إلى اشتقاق تعبير شبه تحليلي محكم لمعدل المفتاح التقاربي تحت الهجمات الجماعية.
المؤلفون الأصليون:Jasminder S. Sidhu, Rocco Maggi, Saverio Pascazio, Cosmo Lupo
في السعي للحفاظ على سلامة الأسرار، اعتمد العلماء لفترة طويلة على قوانق الفيزياء بدلاً من تعقيد الرياضيات. وبينما يمكن في النهاية كسر الأقفال الرقمية التقليدية بواسطة حواسيب قوية، توفر طريقة تسمى "توزيع المفاتيح الكمومية" نوعاً مختلفاً من الحماية. فهي تستخدم جسيمات الضوء الفردية لإنشاء رمز سري بين شخصين. وإذا حاول طرف ثالث التنصت، فإن مجرد عملية مراقبة الضوء تغيره، مما ينبه المستخدمين إلى أن الخط قد تم اختراقه. لقد انقسمت هذه التكنولوجيا تقليدياً إلى معسكرين؛ أحد النهجين يستخدم الضوء بطريقة تتسم بمتانة عالية عبر مسافات طويلة، مثل إرسال الإشارات عبر الفضاء، ولكنه يتطلب معدات باهظة الثمن وضخمة يجب إبقاؤها باردة للغاية. أما النهج الآخر فيستخدم الموجات الضوئية السلسة والمستمرة، والتي تتناسب بسهولة مع كابلات الهاتف والإنترنت الموجودة حالياً، ولكنه يعاني في قطع مسافات طويلة دون أن تصبح الإشارة مشوشة جداً بحيث لا يمكن الوثوق بها.
لقد حاول الباحثون مؤخراً بناء جسر بين هذين العالمين، من خلال إنشاء نظام هجين يأمل في الحصول على أفضل ما في كليهما. الفكرة هي إرسال المعلومات باستخدام الطبيعة الجسيمية المنفصلة للضوء، المعروفة بأمانها، ولكن قراءة تلك المعلومات باستخدام الكواشف الموجية السلسة الشائعة بالفعل في الاتصالات. وقد قدم فريق من علماء الفيزياء الآن برهاناً رياضياً صارماً يثبت أمان هذا النهج الهجين. فقد ركزوا على طريقة محددة يتم فيها تشفير المعلومات في استقطاب الفوتون الواحد — وهو باختصار الاتجاه الذي تهتز فيه الموجة الضوئية — ولكن يتم فك تشفير تلك المعلومات باستخدام تقنية تسمى "الكشف المتغاير" (heterodyne detection)، والتي تقيس سعة الموجة وطورها في آن واحد.
يعالج عمل الفريق عقبة رئيسية في إثبات سلامة مثل هذه الأنظمة. فبسبب قدرة الكواشف القائمة على الموجات، نظرياً، على قياس عدد لا نهائي من القيم، تصبح الرياضيات المطلوبة لإثبات الأمان معقدة للغاية وصعبة الحل. وقد وجد الباحثون طريقة ذكية لتبسيط هذه المشكلة من خلال استغلال تناظر خفي في النظام؛ حيث أظهروا أن حالة الضوء تظل دون تغيير تحت دورات معينة، مما سمح لهم باختزال الاحتمالات اللانهائية إلى مجموعة قابلة للإدارة من الأرقام. وقد أتاح هذا الاختراق لهم حساب مقدار المعلومات السرية التي يمكن توليدها بالضبط، حتى عندما تمر الإشارة عبر قناة مشوشة أو مليئة بالفقد.
وكشفت حساباتهم عن مقايضة محددة متأصلة في هذا التصميم الهجين. فبينما يتوافق النظام مع شبكات الألياف الضوئية القياسية ولا يتطلب التبريد الشديد اللازم للطرق الأخرى، فإن قدرته على توليد المفاتيح السرية تنخفض بسرعة أكبر مع زيادة المسافة. ففي سيناريو مثالي خالٍ من الفقد، تنخفض معدل المفاتيح مع مربع المسافة، بينما تنخفض الطرق الأخرى خطياً فقط. وهذا يعني أنه بالنسبة للمسافات الطويلة جداً، يكون هذا النهج الهجين أقل كفاءة من أسلافه. ومع ذلك، بالنسبة للمسافات القصيرة على مستوى المدن، يعمل النظام بشكل جيد للغاية. وقد وجد الفريق أنه حتى مع وجود قدر ضئيل من الضوضاء الإلكترونية، الشائعة في الكواشف الواقعية، يمكن للنظام نقل المفاتيح بشكل آمن عبر مسافات تصل إلى حوالي 85 كيلومتراً. وهذا يشير إلى أنه بينما قد لا يحل النهج الهجين محل روابط الأقمار الصناعية بعيدة المدى، فإنه يقدم حلاً عملياً وعالي السرعة لتأمين الاتصالات داخل منطقة حضرية.
كما قارنت الدراسة بين برهان الأمان الجديد والأكثر دقة لنفس البروتوكول مقابل التقديرات السابقة له. وأظهرت النتائج أن النظام الهجين يمكنه تحمل المزيد من فقد الإشارة والضوضاء مما كان يُعتقد سابقاً، مما يوفر معدلاً أعلى لتوليد المفاتوات السرية. ويأتي هذا التحسن من فهم أكثر دقة لكيفية سلوك الضوء عند تفاعله مع الكاشف. وقد أوضح الباحثون أنه من خلال اختيار العتبة التي يقرر عندها الكاشف وجود إشارة بعناية، يمكن للنظام تعظيم أدائه. كما أشاروا أيضاً إلى أن هذا النهج يلغي الحاجة إلى خطوة "الغربلة" (sifting)، وهي عملية في البروتوكولات الأخرى يتم فيها التخلص من نصف البيانات لأن المرسل والمستقبل استخدما إعدادات مختلفة. وفي هذا النظام الهجين، يعمل قياس واحد لجميع الإعدادات، مما يجعل العملية أسرع وأكثر كفاءة.
وعلى الرغم من هذه المزايا، تسلط الورقة الضوء على ثغرة كبيرة: فالنظام حساس للغاية للضوضاء الزائدة. فإذا ارتفعت الضوضاء الإلكترونية في الكاشف فوق مستوى منخفض جداً، ينهار معدل المفاتيح. وهذه الحساسية هي نتاج مباشر لطريقة الكشف القائمة على الموجات، والتي تكون عموماً أكثر هشاشة تجاه الضوضاء من الطرق القائمة على الجسيمات المستخدمة في الروابط بعيدة المدى. ويخلص المؤلفون إلى أنه بينما لا يعد هذا البروتوكول الهجين حلاً عالمياً لجميع احتياجات الشبكات الكمومية، إلا أنه يمثل خطوة كبيرة للأمام نحو التنفيذ العملي قريب المدى. فهو يوفر مساراً قابلاً للتطبيق للاتصالات الآمنة عالية السرعة عبر الشبكات على مستوى المدن، باستخدام معدات أبسط وأرخص مما هو مطلوب حالياً للروابط الكمومية بعيدة المدى. إن هذا العمل يوفر أساساً نظرياً متيناً، يثبت أن أمان هذه الأنظمة يمكن ضمانه حتى عندما يتم اختزال التعقيد اللانهائي للعالم الفيزيائي إلى مقياس محدود وقابل للحساب.
بيان المشكلة تُصنف بروتوكولات توزيع المفاتيح الكمومية (QKD) عموماً إلى مخططات المتغيرات المنفصلة (DV) والمتغيرات المستمرة (CV). توفر بروتوكولات المتغيرات المنفصلة (مثل BB84) متانة ضد فقدان القناة وقدرات للمسافات الطويلة، لكنها تتطلب كواشف فوتونية باهظة الثمن وتعمل في درجات حرارة تبريد عميقة (cryogenic). أما بروتوكولات المتغيرات المستمرة فتستخدم الكشف المتماسك وهي متوافقة مع البنية التحتية الحالية للاتصالات، لكنها تعاني من تحديات أمنية بسبب فضاءات هيلبرت غير المحدودة والحساسية للضوضاء. تهدف البروتوكولات الهجينة، التي تشفر المعلومات في متغيرات منفصلة (مثل الاستقطاب) ولكن يتم فك تشفيرها عبر الكشف المتماسك (مثل الكشف المتغاير)، إلى دمج هذه المزايا. ومع ذلك، فإن إثباتات الأمن الصارمة لهذه المخططات الهجينة تعوقها التحديات التقنية لبروتوكولات المتغيرات المستمرة، وتحديداً الأبعاد غير المحدودة لفضاء هيلبرت وصعوبة التحكم في أخطاء التقريب أثناء التحسين العددي. يتناول هذا العمل تحليل الأمن لبروتوكول هجين محدد قدمه "تشي" (Qi, 2021)، حيث يتم تشفير حالات الفوتون الواحد في الاستقطاب وفك تشفيرها عبر الكشف المتغاير.
المنهجية يطور المؤلفون إثباتاً أمنياً صارماً ضمن إطار الهجمات الجماعية (collective attacks)، حيث يطبق المترصد (eavesdropper) ضوضاء مستقلة ومتماثلة التوزيع (i.i.d.) على كل إشارة. يسير التحليل عبر الخطوات التالية:
تمثيل قائم على التشابك (EB Representation): يتم إسقاط بروتوكول "التحضير والقياس" على تمثيل مكافئ قائم على التشابك، حيث تقوم "أليس" بتحضير زوج متشابك من الفوتونات؛ حيث يُرسل أحد الفوتونات إلى "بوب" عبر قناة صاخبة، بينما تحتفظ هي بالفوتون الآخر.
استغلال التماثل: للتعامل مع فضاء هيلبرت غير المحدود، يستغل المؤلفون تماثل U⊗U∗، حيث ينتمي U إلى زمرة لي SU(2) التي تمثل الوحدات البصرية السلبية (passive unitaries) في البصريات الخطية المؤثرة على أنماط الاستقطاب. ويقدمون بروتوكولاً معدلاً يتضمن خطوة تماثل نشطة (تغيير إطار المرجع المشترك عشوائياً) لضمان أن الحالة المشتركة ثابتة تحت هذه التحويلات.
تفكيك الحالة الثابتة: يسمح التماثل بتفكيك الحالة المشتركة ρAB إلى شكل قطري كتلوي بناءً على العدد الإجمالي للفوتونات. تُعبر الحالة عن خليط من الحالات الثابتة ρ1:j(inv)، والتي تمثل فوتوناً واحداً في جانب "أليس" و j من الفوتونات في جانب "بوب". يؤدي هذا إلى تقليص معاملة (parameterization) الحالة من التوسع التربيعي (في أبعاد فضاء هيلبرت) إلى التوسع الخطي مع حد قطع عدد الفوتونات k.
التحسين المقيد: يتم حساب معدل المفتاح التقاربي عن طريق تقليل الإنتروبيا النسبية D[ρAB∥Z(ρAB)] مع مراعاة القيود التجريبية. تشمل هذه القيود الكسب Q، ومعدل خطأ البت الكمومي (QBER) E، وتوزيع عدد الفوتونات Pj المُقدر من بيانات الكشف المتغاير.
التحكم في القطع (Truncation Control): يوضح المؤلفون أن التماثل يسمح بالتحكم الدقيق في الخطأ الناتج عن قطع فضاء هيلبرت غير المحدود إلى بُعد محدد k، مما يتيح تحسيناً عددياً دقيقاً.
المساهمات الرئيسية
إثبات أمني صارم: يقدم البحث أول إثبات أمني صارم يعطي حداً أدنى وثيقاً لمعدل المفتاح التقاربي لبروتوكول BB84 الهجين مع الكشف المتغاير.
تعبير شبه تحليلي: تم اشتقاق تعبير شبه تحليلي لمعدل المفتاح تحت الهجمات الجماعية، باستخدام المعاملة المختزلة للحالات الثابتة.
التحسين العددي الفعال: من خلال استغلال التماثل، تم تقليل تعقيد تحسين معدل المفتاح من التربيعي إلى الخطي بالنسبة لحد قطع عدد الفوتونات، مما يسمح بحسابات عددية فعالة مع أخطاء قطع محكومة.
المواءمة التجريبية: يتم تقييد التحسين بمعلمات (Q,c,Pj) يمكن قياسها مباشرة في الإعداد التجريبي، مما يسد الفجوة بين إثباتات الأمن النظرية والتنفيذ الفيزيائي.
النتائج يطبق المؤلفون نظريتهم على ثلاثة نماذج قنوات محددة:
قناة الفقد النقي (Pure-Loss Channel): بالنسبة لقناة فقد نقي ذات نفاذية η، يتناسب معدل المفتاح التقاربي مع O(η2). وهذا أقل مثالية مقارنة بالتناسب O(η) في بروتوكولات المتغيرات المنفصلة والمتغيرة المستمرة القياسية. ويعزو المؤلفون ذلك إلى تناقص الكسب وزيادة معدل خطأ البت الكمومي (QBER) مع المسافة، مما يمثل مقايضة لتحسين التوافق مع الشبكات الأرضية.
الهجمات السلبية (Passive Attacks): توفر النظرية معدلات مفاتيح أعلى وتتحمل خسائر قناة أكبر مقارنة بالتحليلات الأمنية السابقة (تحديداً تلك الخاصة بـ "تشي"). وتظهر النتائج أن البروتوكول الهجين يمكن أن يتفوق على الحدود السابقة عند تحسين عتبة الكاشف.
الضوضاء الغاوسية (Gaussian Noise): عند إدخال الضوضاء الإلكترونية (التي تُنمذج كضوضاء غاوسية بتباين N)، ينخفض معدل المفتاح بسرعة، مما يسلط الضوء على حساسية البروتوكول العالية للضوضاء الزائدة، وهي سمة موروثة من بروتوكولات المتغيرات المستمرة. بالنسبة لتباين الضوضاء الزائدة N=10−4 (بوحدات ضوضاء الطلقة/shot-noise units)، يمكن للبروتوكول تحمل خسائر تصل إلى حوالي 17 ديسيبل (حوالي 85 كم من الألياف الضوئية)، مما يجعله مناسباً للشبكات على نطاق المدن الكبرى. ومع ذلك، تظل معدلات المفاتيح أقل من تلك التي تحققها بروتوكولات المتغيرات المستمرة البحتة في ظل ظروف ضوضاء مماثلة.
الأهمية والادعاءات يزعم البحث أن هذا العمل يوفر مساراً قابلاً للتنفيذ نحو التطبيق العملي لبروتوكولات QKD الهجينة. تكمن الأهمية في:
سهولة التنفيذ: يلغي البروتوكول الحاجة إلى عملية "الغربلة" (sifting) (حيث ينطبق قياس فك تشفير واحد على كلا الأساسين) ولا يتطلب مذبذباً محلياً مشتركاً أو نبضة تجريبية (pilot tone)، مما يقلل بشكل كبير من تعقيد المرسل والمستقبل مقارنة بـ CV QKD. ومع ذلك، يتطلب البروتوكول إطار مرجع مشترك للاتفاق على اتجاه حالات الاستقطاب، وإن كان قد اقتُرح إصدار مستقل عن إطار المرجع كإمتداد مستقبلي محتمل.
المتانة مقابل الضوضاء: بينما يوفر البروتوكول توافقاً محسناً مع البنية التحتية الحالية للاتصالات، يشير المؤلفون بتواضع إلى أنه ليس دائماً متفوقاً من حيث المتانة تجاه الضوضاء مقارنة ببروتوكولات المتغيرات المستمرة.
الاتجاهات المستقبلية: يؤسس الإطار فائدة عامة لبناء الحالات الثابتة، والتي يمكن توسيعها لتشمل حالات التمويه (decoy states)، والاختيار اللاحق (post-selection)، وQKD المستقل عن إطار المرجع، مما قد يفتح آفاقاً لتطبيقات تعتمد على الأقمار الصناعية.
يخلص العمل إلى أنه بينما يواجه النهج الهجين تحديات في المتانة تجاه الضوضاء وتدرج المسافة، فإن إطار الأمن المطور وتعديلات البروتوكول المحددة تقدم مساراً واعداً لتعزيز الاتصالات الكمومية الشبكية على نطاقات عالمية.