Pattern Based Stabilizer Tripware

ملخص تقني: نظام استشعار الاختراق القائم على الأنماط (Pattern Based Stabilizer Tripwire)

بيان المشكلة

تعتمد بروتوكولات توزيع المفاتح الكمومية (QKD) التقليدية على حالات فيزيائية غير متعامدة للكشف عن المتنصتين. وبينما يضمن هذا الخصوصية، فإنه يستلزم التخلص من جزء كبير من البتات الخام خلال مرحلة "الغربلة" (sifting)، مما يقلل من الكفاءة. علاوة على ذلك، في القنوات البيئية عالية الضجيج، تظل معدلات الخطأ في البت الكمومي (QBER) الناتجة منخفضة بما يكفي بحيث يمكن لمتنصت متطور أن يندمج مع ضجيج القناة الطبيعي، مما يجعل عملية الكشف غامضة. تعالج هذه الورقة الحاجة إلى آلية لا تكتفي فقط بتحسين كفاءة الغربلة، بل تعمل أيضاً كـ "سلك استشعار" (tripwire) حسي وحتمي، يجبر أي اعتراض نشط على إنتاج بصمة خطأ كارثية ولا يمكن الخلط بينها وبين غيرها.

المنهجية

تقترح الورقة خوارزمية كمومية عالمية قابلة للتطبيق على أي كود لتصحيح الأخطاء الكمومية قائم على المثبت (stabilizer-based) ضمن أنظمة توزيع المفاتح الكمومية. وتتمثل المنهجية الجوهرية في دمج البيانات ضمن علاقات التبادل (commutation relationships) لمؤثرات "باولي" الفيزيائية، مع إخفاء تخطيط الكيوبت عبر تباديل فيزيائية عشوائية.

الخطوات التشغيلية الرئيسية:

1. تحضير الحالة: تقوم "أليس" بتحضير حالة منطقية $|\psi\rangle$ تقابل بتّاً $b_A$. وتختار نمط مؤثر باولي $E_A$ قد يكون متوافقاً أو غير متوافق مع مؤثر القياس $M$.
2. اختيار القيود: يتم تقييد اختيار $E_A$ في تكوينات غير متماثلة، مع الاستبعاد الصارم للمؤثرات المتماثلة تماماً مثل $\bar{X}$ أو $\bar{Z}$ لضمان أن تؤدي التباديل المكانية إلى تحولات إطارية غير بديهية. ويتم اختيار مجموعة الأخطاء غير القابلة للتصحيح من توزيع متوازن بين المؤثرات المتوافقة وغير المتوافقة لضمان احتمالية بنسبة 50/50.
3. التبديل والإرسال: تطبق "أليس" تبديلاً فيزيائياً سرياً للكيوبتات $P_A$ (مستمد من مجموعة التماثل الذاتي، مثل التباديل الدورية) وتقوم بإرسال الحالة.
4. الاستقبال وفك التشفير: تطبق "بوب" تبديلاً خاصاً بها $P_B$ ومؤثر خطأ $E_B$. يحدد التبديل الصافي تحول مولدات المثبت في الإطار المختبري الخاص بـ "بوب".
5. مطابقة المتلازمة (Syndrome Matching): يبث "بوب" $P_B$ علناً عبر قناة كلاسيكية موثقة. تحسب "أليس" متلازمة الخطأ المتوقعة $s'_B$. يقوم "بوب" بطرح متلازمة الخطأ الناتجة عن $E_B$ من المتلازمة المقاسة للحصول على $s_B$.
6. التحقق: تقارن "أليس" و"بوب" بين $s'_B$ و $s_B$. إذا تطابقا، يتم تأكيد سلامة القناة.

آلية سلك الاستشعار (The Tripwire Mechanism):
إذا قام متصنت (إيف) بهجوم "الاعتراض وإعادة الإرسال"، فإن انهيار الدالة الموجية يمحو بصمة "باولي" الأصلية $E_A$. وبسبب افتقارها إلى المعرفة بالتبديل $P_A$ الخاص بـ "أليس"، لا تستطيع "إيف" محاذاة قياسات المثبت الخاصة بها بشكل صحيح. ولإخفاء وجودها، تحاول "إيف" إسقاط الحالة مرة أخرى في فضاء الكود عبر تطبيق مؤثر باولي $E_E$. ومع ذلك، ولأن إطارها غير متوافق بالنسبة لتبديل "بوب" $P_B$، فإن معاملات المتلازمة غير الملغاة تولد عدم تطابق هيكلي ($s_B \neq s'_B$).

في النظام الخالي من الضجيج، يعد عدم التطابق هذا إنذاراً حتمياً. أما في القناة الواقعية ذات الضجيج، فإن فك تشفير "بوب" المقاوم للأخطاء يسيء تفسير بصمة المؤثر المتحولة وغير المتوافقة لـ "إيف" على أنها تقلبات محلية في القناة. يؤدي هذا إلى "تتابع تصحيح خاطئ متدهور" (degenerate miscorrection cascade)، حيث يطبق "بوب" متجه تصحيح باولي خاطئ بناءً على متلازمة زائفة. هذا التفاعل يدفع معدل الخطأ في البت الكمومي (QBER) إلى حده النظري الأقصى وهو 50% للكيوبتات التي تم اعتراضها.

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

• كفاءة غربلة بنسبة 100%: على عكس البروتوكولات التقليدية التي تتخلص من البتات بسبب عدم تطابق الأساس، يسمح هذا الإطار بنقل البيانات بكفاءة غربلة تبلغ 100% أثناء التشغيل العادي لأن المنطق يتبع علاقات متماثلة جبرياً لعملية XOR الكلاسيكية.
• كشف حتمي للمتسللين: يقوم البروتوكول بنشاط بدفع الـ QBER إلى 50% عند حدوث اعتراض نشط. وهذا يحول الشذوذات الطفيفة إلى توقيع خطأ كارثي فوري لا يمكن حجبه بواسطة الضجيج البيئي.
• قابلية التطبيق الشاملة: تم تصميم الخوارزمية لتكون قابلة للتطبيق على أي كود لتصحيح الأخطاء الكمومية قائم على المثبت، والمحدد بالمعاملات $[[n, k, d]]$، بشرط استبعاد المؤثرات المتماثلة تماماً من مجموعة الاختيار.
• عدم المحاذاة الهيكلية: تعتمد الحماية على حقيقة أن المهاجم لا يمكنه مطابقة تحول الإطار المكاني. وتتلاشى احتمالية مطابقة "إيف" لإطارات التبديل مع إطارات "بوب" بشكل تقاربي مع توسع فضاء التبديل عاملياً ($n!$).

النتائج

توضح الورقة البنية من خلال سيناريوهين:

1. التنفيذ الخالي من المتسللين: تتطابق متلازمة "بوب" المقاسة مع متلازمة "أليس" المتوقعة ($s_B = s'_B$)، مما يثبت سلامة القناة.
2. هجوم الاعتراض وإعادة الإرسال: يؤدي نقص معرفة "إيف" بالتبديل السري $P_A$ إلى عدم تطابق هيكلي. وحتى لو حاولت "إيف" تصحيح المتلازمة إلى الصفر، فإن التبديل اللاحق بواسطة "بوب" يحول الحالة إلى متلازمة جديدة وخاطئة. وعند تغذية هذه المتلازمة في فك التشفير الخاص بـ "بوب"، فإنها تفرض متجه تصحيح خاطئ، مما يؤدي إلى إفساد الحالة المنطقية.

تشير التحليلات النظرية إلى أنه بينما قد تتمكن "إيف" نظرياً من الإفلات من الكشف في قياس واحد إذا تطابق إطارها تماماً مع إطار "بوب"، فإن عدم التطابق الهيكلي الأساسي بين مؤثر "أليس" الأولي ومؤثر "إيف" المحقون يضمن حدوث انكشاف إحصائي عبر خطوط أساس قياس المثبت المتعددة.

الأهمية والادعاءات

تدعي الورقة تقديم "سلك استشعار عالي الحساسية لكشف المتسللين" يلغي غموض المتنصت. ومن خلال وضع هذه الخوارزمية فوق بروتوكولات توزيع المفاتيح الكمومية القياسية، فإنها تضمن أن أي عدم محاذاة في الإحداثيات يسببه مهاجم نشط سيدفع الـ QBER الموضعي إلى 50%، مما يخلق توقيعاً يتجاوز مستويات الضجيج الطبيعية.

وتشير الورقة إلى قيد محدد فيما يتعلق بالمراقبة السلبية: نظرًا لأن منطق التبادل يحاكي عمليات XOR الكلاسيكية، فقد يتمكن مراقب سلبي يستمع إلى القناة الكلاسيكية من استنتاج المعلومات بأثر رجعي من حالات التبادل المعلنة. ومع ذلك، تؤكد الورقة أنه على عكس الشبكات الكلاسيكية، لا يمكن للمتسلل اعتراض التدفق الكمومي دون اكتشافه؛ فأي تفاعل فيزيائي يؤدي بطبيعته إلى حقن أخطاء منطقية غير قابلة للاسترداد، مما يكشف المتسلل فوراً. تكمن الأهمية الرئيسية في تحويل كشف التجسس من استنتاج احتمالي يعتمد على QBER منخفض إلى فشل حتمي وكارثي للحالة المنطقية.