⚛️ quantum physics

Deterministic randomness extraction for quantum random number generation with partial trust

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

المؤلفون الأصليون: Pablo Tikas Pueyo, Tomás Fernández Martos, Gabriel Senno

نُشر 2026-02-27

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

CC BY 4.0

المؤلفون الأصليون: Pablo Tikas Pueyo, Tomás Fernández Martos, Gabriel Senno

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

تخيل أنك تحاول خبز رغيف خبز مثالي (عشوائية مثالية) لوصفة مهمة جداً (تشفير). لديك كيس من الدقيق (مصدر بياناتك)، ولكن هناك مشكلة؛ فالدقيق ليس نقياً بنسبة 100%. قد يحتوي على بعض الحصى الصغيرة أو قطع التراب.

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

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

إليك تفصيل هذا الاختراق باستخدام تشبيهات بسيطة:

1. المشكلة: المطبخ "المريب قليلاً"

في توليد الأرقام العشوائية الكمومية (QRNG)، نستخدم غرابة الفيزياء الكمومية (مثل عملة معدنية تدور وتكون في حالة "ملك وكتابة" في آن واحد) لتوليد بيانات خام.

السيناريو المثالي: أنت تثق في فرنك وفي دقيقك تماماً.
العالم الواقعي: أحياناً، لا تثق تماماً في الآلة التي تصنع الدقيق (تحضير الحالة)، أو لا تثق تماماً في المنخل الذي تستخدمه (القياس). ربما يتلصص هكر (إيف) داخل مطبخك أو يعبث بالآلة.

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

2. الحل: فلتر "التحقق المزدوج"

استخدم المؤلفون تقنية كانت تُستخدم سابقاً فقط في سيناريوهات "الاستقلال عن الجهاز" (حيث لا تثق في أي شيء وتكتفي بالبحث عن "انتهاك بيل" محدد مثل المصافحة السحرية بين الجسيمات) وقاموا بتكييفها لسيناريوهات "الثقة الجزئية".

فكر في الأمر كالتนี้:

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

3. بروتوكول "الفحص العشوائي"

كيف تستخدم هذا في الممارسة العملية؟ لا يمكنك فحص كل حبة دقيق، وإلا ستنفد منك كمية الخبز.

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

4. النتائج: سريعة وفعالة

قام المؤلفون بمحاكاة هذه العملية على جهاز كمبيوتر باستخدام نموذج واقعي لكيفية عمل الليزر الكمومي.

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

الملخص

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

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

إليك ملخص تقني مفصل للورقة البحثية بعنوان "استخراج العشوائية الحتمية لتوليد الأرقام العشوائية الكمومية مع الثقة الجزئية" (Deterministic randomness extraction for quantum random number generation with partial trust).

1. بيان المشكلة

تتناول الورقة البحثية قيدًا جوهريًا في توليد الأرقام العشوائية الكمومية (QRNG): الاستخراج الحتمي للعشوائية (deterministic randomness extraction).

الاستحالة: في نظرية المعلومات الكلاسيكية، ثبت أنه لا يمكن لأي إجراء حتمي استخراج عشوائية مثالية تقريبًا من مصدر عشوائية ذي حد أدنى معروف لـ "الإنتروبي الأدنى" (min-entropy) (نتيجة سانثا-فازيرا).
السياق الكمومي: بينما تستغل مولدات الأرقام العشوائية الكمومية (QRNGs) عدم اليقين الكمومي المتأصل، فإن البروتوكولات القياسية تعتمد غالبًا على الاستخراج المعتمد على بذرة (seeded extraction) (والذي يتطلب بذرة عشوائية قصيرة ومثالية) أو الاستخراج متعدد المصادر.
الفجوة: أظهر عمل حديث لـ فوريمان وماسانيس (2025) أن الاستخراج الحتمي ممكن في إطار مستقل عن الجهاز (Device-Independent - DI) بالكامل (حيث تحل انتهاكات متباينة بيل محل حدود الإنتروبي) للأجهزة عديمة الذاكرة. ومع ذلك، فإن بروتوكولات الـ DI تتطلب قدرات تجريبية عالية.
التحدي: هل يمكن بناء مستخرجات حتمية لسيناريوهات "التحضير والقياس" (Prepare-and-Measure - PM) ذات الثقة الجزئية؟ هذه السيناريوهات أكثر جدوى من الناحية التجريبية ولكنها تنطوي على افتراضات ثقة مختلفة (مثل الوثوق في تحضير الحالة وعدم الوثوق في القياس، أو العكس).

2. المنهجية

قام المؤلفون بتكييف التقنيات المستخدمة في إطار الـ DI لتطبيقها على ثلاثة سيناريوهات محددة لـ التحضير والقياس (PM) ذات الثقة الجزئية:

الإعداد (S1) - التحضير غير الموثوق: يكون تحضير الحالة غير موثوق به (قد يكون مرتبطًا بمتسلل، إيف/Eve)، ولكن القياس موثوق به ومحدد الخصائص.
الإعداد (S2) - القياس غير الموثوق: يكون تحضير الحالة موثوقًا به ومحدد الخصائص، ولكن القياس غير موثوق به (رغم كونه محدد الخصائص).
الإعداد (S3) - شبه المستقل عن الجهاز (Semi-DI): يتم استخدام تحضيرين موثوقين مع حد أدنى معروف للتداخل (fidelity/overlap $\delta$ ) بينهما، بينما يكون القياس غير موثوق به.

الخطوات التقنية الرئيسية:

صياغة البرمجة الخطية شبه المحددة المزدوجة (Dual SDP Formulation): صاغ المؤلفون احتمالية التخمين الخاصة بالمتسللة (إيف) كبرنامج خطي شبه محدد (SDP)، ثم اشتقوا المزدوج (dual) لهذا البرنامج.
متباينات المؤثرات (Operator Inequalities): بدلاً من استخدام دالات بيل (كما في DI)، استخدم المؤلفون حلولًا للمزدوج (dual SDP) لبناء متباينات مؤثرات. هذه المتباينات تحد من إمكانية التنبؤ بالنتائج بناءً على الإحصائيات المرصودة.
- من الضروري ملاحظة أنه باستخدام صورة توسيع نايمارك (Naimark dilation)، تعمل هذه المؤثرات على فضاء هيلبرت للنظام المساعد لجهاز القياس (حيث ترتبط معلومات إيف الجانبية).
المستخرجات الحتمية: أثبت المؤلفون أن دوالًا محددة، والتي أُثبت سابقًا أنها مستخرجات في إطار DI، تظل مستخرجات صالحة في سيناريوهات PM هذه.
- للبت الواحد: دالة XOR ( $\bigoplus a_i$ ).
- لعدة بتات: عائلة من الدوال التي تستوفي حدود معاملات فوريه محددة (على غرار عمل فوريمان وماسانيس).
تصميم البروتوكول: صمم المؤلفون بروتوكول فحص عينات (spot-checking protocol) حيث تُستخدم حصة من الجولات ( $p_e$ ) لتقدير قيم التوقع ذات الصلة (للتحقق من صحة متباينة المؤثرات)، بينما تُستخدم الجولات المتبقية لتوليد المفتاح الخام.

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

أ. التوسع النظري

تثبت الورقة أن المستخرجات الحتمية من إطار DI يمكن نقلها إلى سيناريوهات التحضير والقياس (PM) ذات الثقة الجزئية. تنص النظرية المركزية (Theorem 1) على أنه لأي سلوك $p$ في الإعدادات المذكورة، إذا وجد حل مزدوج، فإن متباينة المؤثرات التالية تتحقق:
$\pm \text{Tr}_S [(\rho_S \otimes \mathbb{I}_M)(\Pi^0_{SM} - \Pi^1_{SM})] \preceq G_M$
حيث يتم بناء $G_M$ من المتغيرات المزدوجة. تحد هذه المتباينة من القدرة على التنبؤ بالمخرجات، مما يسمح بالاستخراج الحتمي دون الحاجة إلى بذرة.

ب. البراهين الأمنية

النظرية 2 و3: تثبت أن دالة XOR وعائلة الدوال متعددة البتات هي مستخرجات عشوائية حتمية $(m, \epsilon)$ صالحة للحالات الكلاسيكية-الكمومية (cq) الناتجة في الإعدادات (S1)-(S3).
النظرية 4: تؤكد أمن بروتوكول فحص العينات، وتوضح أن مسافة التتبع (trace distance) بين المفتاح الناتج والمفتاح الموحد المثالي محدودة بمعامل الأمان $\epsilon$ .

ج. المحاكاة العددية

قام المؤلفون بمحاكاة البروتوكول باستخدام عائلة جديدة من السلوكيات القائمة على ليزر الفجوة الرأسية (VCSELs) مع تبديل الاستقطاب.

نظام الحجم المحدود (Finite-Size Regime): أظهروا أنه يمكن تحقيق معدلات مفتاح إيجابية باستخدام $7 \times 10^3$ جولة فقط.
النظام التقاربي (Asymptotic Regime): أظهروا أن الاستخراج الناجح ممكن حتى عندما تتلاشى حصة جولات التقدير ( $p_e$ )، بشرية أن السلوك ليس حتميًا تمامًا.
تحمل الضوضاء: يتميز البروتوكول بقدرة قوية على تحمل الضوضاء. وبينما تنخفض المعدلات مع زيادة الضوضاء، إلا أن التدهور أقل حدة مقارنة بغيرها من المبادئ التشفيرية الكمومية (مثل B92 QKD).

4. النتائج

الجدوى: الاستخراج الحتمي ممكن في سيناريوهات شبه المستقلة عن الجهاز (Semi-DI) وسيناريوهات التحضير والقياس (PM) ذات الثقة الجزئية دون الحاجة إلى بذرة عشوائية.
الكفاءة:
- في الحد التقاربي: تكون أفضل المعدلات أعلى برتبة مقدار عن تلك المسجلة لبروتوكولات الـ DI بالكامل (بسبب الافتراضات الأضعف).
- ومع ذلك، لا تزال هذه المعدلات أقل بكثير مما يمكن أن يقدمه الاستخراج المعتمد على بذرة (seeded extraction) لنفس الإعداد (بما أن الاستخراج المعتمد على بذرة يستفيد من كامل الإنتروبي الأدنى).
العملية: يتطلب البروتوكول عددًا قليلًا نسبيًا من الجولات ($7,000$) لتوليد مفتاح إيجابي، مما يجعله مناسبًا للتطبيق التجريبي في المدى القريب.
XOR مقابل تعدد البتات: بالنسبة لمستخرج XOR، وعلى عكس حالة DI حيث كان مطلوبًا $p_e > 0.5$ للاستخراج بالقرب من الحد المحلي، وجد المؤلفون أنه لأي $p_e > 0$ ، يمكن الاستخراج طالما أن التداخل $\delta \notin \{0, 1\}$ (أي أن الحالة ليست قابلة للتنبؤ تمامًا).

5. الأهمية والتأثير

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

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