⚛️ quantum physics

Device-independent secure correlations in sequential quantum scenarios

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

المؤلفون الأصليون: Matteo Padovan, Alessandro Rezzi, Lorenzo Coccia

نُشر 2026-05-29

📖 4 دقيقة قراءة🧠 قراءة متعمّقة

CC BY 4.0

المؤلفون الأصليون: Matteo Padovan, Alessandro Rezzi, Lorenzo Coccia

البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل

تخيل أن لديك صندوقاً سحرياً يولد أرقاماً عشوائية. في عالم التشفير، تُعد هذه الأرقام العشوائية هي المفاتيح التي تحافظ على أمان الأسرار. عادةً، لكي تثق بهذا الصندوق، يتعين عليك فتحه وفحص كل ترس وسلك بداخله للتأكد من أنه لا يغش. يُسمى هذا "الأمن المعتمد على الجهاز".

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

ومع ذلك، هناك عقبة. في معظم التجارب الكمومية، بمجرد قياس "السحر" داخل الصندوق، يختفي السحر. الأمر يشبه فرقعة بالون للتحقق من الهواء بداخله؛ بمجرد فرقعته، يزول البالون. هذا يعني أنه يمكنك الحصول على مجموعة واحدة فقط من الأرقام العشوائية من حالة كمومية واحدة قبل أن تتعرض للتلف.

الفكرة الجديدة: قياس "اللمسة الناعمة"

يقترح هذا البحث طريقة ذكية للحصول على المزيد من العشوائية من نفس الحالة الكمومية دون "فرقعة البالون".

التشبيه: القرصة القوية مقابل اللمسة الناعمة
تخيل أن لديك قنديل بحر متوهجاً ورقيقاً (الحالة الكمومية) يحمل سراً.

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

كيف يعمل البروتوكول

يضع البحث قواعد لعبة بثلاثة لاعبين: أليس، بوب 1، وبوب 2.

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

لماذا هذا آمن؟

يثبت البحث أنه عندما يستخدمون طريقة "اللمسة الناعمة" هذه، فإن النتائج التي يحصلون عليها تكون "متطرفة" (Extremal).

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

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

النتائج

اختبر المؤلفون نسختين محددتين من هذه اللعبة (مثل وصفتين مختلفتين):

CHSH المتتالي المتتابع: وهو تنويع لاختبار كمومي شهير.
تنويع جديد: يعتمد على إعداد رياضي مختلف.

ووجدوا ما يلي:

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

ما لا يدعيه البحث

من المهم ملاحظة ما لا يدعيه هذا البحث:

هم لا يدعون أنهم صنعوا جهازاً فيزيائياً بعد؛ فهذا إثبات نظري ووصفة رياضية.
هم لا يدعون أن هذا يعمل بشكل مثالي مع تكنولوجيا الفوتونات الحالية (جسيمات الضوء) لأن من الصعب قياس الضوء دون تدميره. هم يقترحون النظر في الأنظمة القائمة على المادة (مثل الذرات) بدلاً من ذلك.
هم لا يدعون أن هذا يحل جميع المشكلات الأمنية للأبد؛ فقد ذكروا تحديداً أن العمل المستقبلي يحتاج للنظر في كيفية تأثير الضوضاء والعيوب الواقعية على النظام.

باختصار

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

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

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

المنهجية
يقترح المؤلفون نهجاً منهجياً لتصميم بروتوكولات كمومية متسلسلة لضمان الأمان المستقل عن الأجهزة، بناءً على بروتوكول اختبار ذاتي ثنائي الأطراف للكيوبت. تتضمن المنهجية الخطوات التالية:

البناء المتسلسل: بدءاً من بروتوكول اختبار ذاتي ثنائي الأطراف قياسي يتضمن حالة كيوبت متشابكة كلياً ( $|\phi^+\rangle$ ) وملاحظات حقيقية، يقدم المؤلفون امتداداً متسلسلاً يتضمن ثلاثة أطراف: أليس، وبوب $_1$ ، وبوب $_2$ .
القياس غير الإسقاطي: يتم استبدال أحد القياسات الإسقطية الأصلية (تحديداً $B'_0$ ) بقياس POVM غير إسقاطي محدد بواسطة مؤثرات كراوس (Kraus operators) مُعلمة بمعلمة قوة $\theta \in [0, \pi/4]$ . هذا التعديل يسمح ببقاء الحالة بعد القياس متشابكة ليتم نقلها إلى بوب $_2$ .
مخطط القياس المتسلسل: يقوم بوب $_1$ بإجراء القياس غير الإسقاطي (المدخل $y_1=0$ ) أو قياس إسقاطي (المدخل $y_1=1$ ). إذا كان $y_1=0$ ، يتم إرسال الحالة بعد القياس إلى بوب $_2$ ، الذي يقوم بدوره بإجراء قياس إسقاطي.
إطار إثبات الأمان: يستخدم المؤلفون إطاراً إسقاطياً (عبر تمدد ستينسبرينج - Stinespring dilation) لوصف الارتباطات المتسلسلة. ويثبتون أن الارتباطات المثالية الناتجة عن هذا البناء هي متطرفة (extremal) ضمن مجموعة الارتباطات الكمومية المتسلسلة ( $Q_{SEQ}$ ). ويتحقق ذلك من خلال إثبات أن الارتباطات تشبع حداً معيناً من حدود تسيرلسون (Tsirelson bound) المستمدة من خصائص الاختبار الذاتي للحالة والملاحظات الأساسية.
تحليل الإنتروبيا: يُظهر أن تطرف الارتباطات يعني أن أسوأ حالة لإنتروبيا فون نيومان الشرطية وإنتروبيا مين (min-entropy) الكمومية تتقلص إلى إنتروبيا شانون الكلاسيكية وإنتروبيا مين الكلاسيكية للتوزيع الاحتمالي المرصود، على التوالي. وهذا يضمن عدم قدرة أي متصنت (إيف) على اكتساب ميزة تتجاوز تخمين النتيجة الأكثر احتمالاً.

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

تصميم بروتوكول منهجي: توفر الورقة وصفة عامة لتحويل بروتوكول اختبار ذاتي ثنائي الأطراف إلى بروتوكول متسلسل عبر استبدال قياس إسقاطي بـ POVM غير إسقاطي وإضافة مراقب لاحق.
إثبات أمان تحليلي: يثبت المؤلفون تحليلياً أن الارتباطات المثالية الناتجة عن هذا البناء هي حالات متطرفة. وهذا يضمن الأمان المستقل عن الأجهزة، حيث يعني التطرف أن الارتباطات لا يمكن تفكيكها إلى خليط إحصائي من استراتيجيات أخرى قد تفيد المتصنت.
توثيق العشوائية: توضح الورقة أنه تحت هذه الظروف، يمكن توثيق جميع العشوائية الموجودة في النتائج المرصودة. حيث تُظهر إنتروبيا مين الكمومية أنها تساوي إنتروبيا مين الكلاسيكية للنتائج.
تحليل المتانة ضد الضوضاء: من خلال المحاكاة العددية باستخدام البرمجة الخطية شبه المحددة (SDP) وهرم نافاسكويس-بيرونيو-آسين (NPA)، يحلل المؤلفون أداء البروتوكول تحت تأثير ضوضاء إزالة الاستقطاب (depolarizing noise). ويجدون أنه بينما تكون النقاط المتطرفة ( $\theta = 0, \pi/4$ ) حساسة للضوضاء، فإن قيم $\theta$ المتوسطة توفر ميزة قوية على البروتوكولات غير المتسلسلة حتى في الظروف الصاخبة.

النتائج
تقدم الورقة مثالين محددين للبروتوكولات المتسلسلة المقترحة:

CHSH المتسلسل: امتداد متسلسل لبروتوكول CHSH القياسي. في الحالة المثالية، تبلغ إنتروبيا مين حوالي 1.2 بت وإنتروبيا فون نيومان حوالي 1.6 بت للقيم المتوسطة لـ $\theta$ .
الامتداد المتسلسل لـ [26]: بروتوكول يعتمد على تعبير بيل يشبع حداً معيناً. ينتج هذا التكوين عشوائية أعلى، حيث تتجاوز كل من إنتروبيا مين و فون نيومان 2 بت لـ $\theta \in (0, \pi/4)$ في الظروف المثالية.

تشير النتائج العددية إلى أنه في وجود ضوضاء إزالة الاستقطاب، تنزاح معلمة القوة المثلى $\theta$ بعيداً عن القيم المتطرفة ($0 $و$ \pi/4$) إلى نطاقات متوسطة، حيث يحافظ المخطط المتسلسل على ميزة طفيفة مقارنة بالبروتوكول الأصनी غير المتسلسل.

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

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