⚛️ quantum physics

Genuine certifiable randomness from a black-box

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

المؤلفون الأصليون: Liam P. McGuinness

نُشر 2026-03-04

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

CC BY 4.0

المؤلفون الأصليون: Liam P. McGuinness

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

إليك شرح لورقة بحثية بعنوان "العشوائية الحقيقية القابلة للتحقق من صندوق أسود" باستخدام لغة بسيطة، وتشبيهات، واستعارات.

المشكلة الكبرى: معضلة "الصندوق السحري"

تخيل أنك قاضٍ (المُحقّق - Verifier) ولديك مشتبه به (المُدّعي - Prover) يزعم أن لديه "صندوقاً سحرياً" يولد أرقاماً عشوائية حقاً.

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

التحدي: كيف تثبت أن صندوق المشتبه به عشوائي حقاً دون فتحه لرؤية كيفية عمله؟

إذا لم تنظر بداخله، فقد يكون المشتبه به مجرد يقوم بتشغيل خدعة رياضية معقدة على حاسوب عادي.
إذا نظرت بداخله، فأنت لم تعد تعامله كـ "صندوق أسود"؛ بل أصبحت تفحص آلياته.

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

حل الورقة البحثية: "الظرف الكمومي"

تقدم هذه الورقة طريقة جديدة لحل هذا اللغز باستخدام ميكانيكا الكم. يقترح المؤلف، ليام ماكغينيس، بروتوكولاً يسمى العشوائية المعتمدة على التقدير (ECR).

إليك التشبيه:

1. الإعداد: الظرف المختوم

بدلاً من أن تطلب من المشتبه به توليد رقم، يأخذ القاضي (المُحقّق) ورقة، ويكتب عليها رقماً سرياً (لنسمه $\theta$ )، ثم يضعها داخل ظرف كمومي خاص.

هذا الظرف عبارة عن حالة كمومية "للاستخدام مرة واحدة".
يرسل القاضي هذا الظرف إلى المشتبه به (المُدّعي).
لا يخبر القاضي المشتبه به بالرقم الموجود داخل الظرف.

2. المهمة: تخمين الرقم

يطلب القاضي من المشتبه به: "انظر إلى هذا الظرف وخمن الرقم الموجود بداخله".

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

3. الفخ: حد "عدم القياس"

هذا هو الجزء العبقري في الورقة. يثبت المؤلف حداً رياضياً:

إذا لم يفتح المشتبه به الظرف (أي لم يجرِ أي عملية قياس)، فإن أفضل ما يمكنه فعله هو تخمين رقم يكون خاطئاً بنسبة 50% في المتوسط (بمعنى رياضي محدد يسمى "متوسط مربع الخطأ - Mean Squared Error").
الأمر يشبه تخمين حالة الطقس دون النظر للخارج. إذا كنت تخمن دائماً "مشمس" في مكان تمطر فيه السماء نصف الوقت، فستكون محقاً بنسبة 50% فقط. لا يمكنك التفوق على ذلك بدون بيانات.

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

4. الحكم

يجمع القاضي تخمينات المشتبه به عبر جولات عديدة.

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

لماذا يعد هذا أمراً مهماً؟

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

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

2. لا حاجة للتشابك (Entanglement)
تتطلب معظم اختبارات العشوائية الكمومية وجود "تشابك" (تأثير عن بعد بين جسيمين)، وهو أمر يصعب الحفاظ عليه.

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

3. لا تتطلب "بذرة" (Seed)
عادةً، لاختبار العشوائية، تحتاج إلى بذرة عشوائية لبدء الاختبار.

هذه الطريقة: يمكن للقاضي اختيار الرقم السري $\theta$ باستخدام طريقة حتمية مملة ومتوقعة (مثل العد 1، 2، 3). ولأن المشتبه به لا يعرف الرقم، فإن العشوائية تأتي من القياس الكمومي نفسه، وليس من البذرة.

التجربة: دوران الماس

لم يكتفِ المؤلف بالنظرية فحسب، بل اختبرها في المختبر.

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

التشبيه النهائي (الخلاصة)

تخيل أنك تلعب لعبة "20 سؤالاً" مع روبوت.

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

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

إليك ملخص تقني مفصل لورقة "العشوائية القابلة للتحقق الحقيقية من صندوق أسود" (Genuine Certifiable Randomness from a Black-Box) للباحث ليام ب. ماكغينيس.

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

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

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

٢. المنهجية: تقدير العشوائية المعتمد (ECR)

يقترح المؤلف نموذجاً جديداً يسمى تقدير العشوائية المعتمد (Estimation Certified Randomness - ECR)، والذي يعيد صياغة التحقق من العشوائية كـ مسألة تقدير بارامتر إحصائي بدلاً من كونها مسألة تعقيد حسابي.

المكونات الرئيسية:

تشبيه "الصندوق العشوائي": يرسل المُحقِّق للمُزوِّد "صندوقاً" يُستخدم لمرة واحدة يحتوي على حالة كمومية $|\theta\rangle$ . يجب على المُزوِّد أن يعيد تقديراً $\hat{\theta}$ لبارامتر $\theta$ مشفر في تلك الحالة.
الافتراض ١ (لا معلومات مخفية): يعتمد البروتوكول على افتراض صارم: ليس لدى المُزوِّد أي معلومات عن $\theta$ باستثناء الحالة الكمومية $|\theta\rangle$ التي قدمها المُحقِّق. لا يمكن للمُزوِّد امتلاك دالة محسوبة مسبقاً تعتمد على $\theta$ أو بذرة عشوائية.
المقياس المتضاد (Antipodal Metric): للتغلب على قيود مقاييس إقليدس القياسية وحد "كرامر-راو" (Cramér-Rao bound) (التي تتطلب غالباً حدوداً تقاربية أو مُقدِّرات غير منحازة)، يقدم البحث مقياساً متضاداً ( $d^\circ$ $d^{\circ}$ ) على فضاء طور دائري $\theta \in [0, 2)$ $θ \in [0, 2)$ .
- يتم تعريف المسافة كالتالي: $d^\circ[\theta, \hat{\theta}] = |\sin(\pi(\theta - \hat{\theta})/2)|$ .
- التوزيع القبلي $\pi^\circ[\theta]$ هو توزيع متضاد (متماثل بحيث أن $\pi^\circ[\theta] = \pi^\circ[(\theta+1) \mod 2]$ ).

الحدود النظرية:

النظرية ١ (حد عدم القياس): إذا لم يقم المُزوِّد بإجراء قياس كمومي على $|\theta\rangle$ $∣ θ ⟩$ (أي اعتمد على دالة حتمية أو دالة احتمالية مستقلة عن $\theta$ $θ$ )، فإن متوسط مربع الخطأ (MSE) المتوقع لديه يكون محدوداً عند 1/2.
- الأهمية: هذا الحد يظل قائماً بغض النظر عن القدرة الحسابية للمُزوِّد. حتى الآلة ذات القدرة الحسابية اللانهائية لا يمكنها كسر هذا الحد دون التفاعل مع الحالة الكمومية.
النظرية ٢ (حد القياس الكمومي): إذا قام المُزوِّد بإجراء قياس كمومي أمثل على $|\theta\rangle$ $∣ θ ⟩$ ، فيمكنه تحقيق حد أدنى لمتوسط مربع الخطأ (MSE) قدره 1/4.
- وهذا يخلق فجوة إحصائية واضحة (1/2 مقابل 1/4) تسمح للمُحقِّق بالتمييز بين البيانات الحتمية والعشوائية الكمومية الحقيقية.

٣. الإثبات التجريبي

قام المؤلف بالتحقق من صحة بروتوكول ECR تجريبياً باستخدام مركز نيتروجين-فجوة (NV) منفرد في الماس.

الإعداد:
- المُحقِّق: يقوم بتشفير طور $\theta$ في حالة الغزل (spin state) لمركز الـ NV: $|\theta\rangle = \frac{1}{\sqrt{2}}(|\uparrow\rangle + e^{i\pi\theta}|\downarrow\rangle)$ باستخدام نبضات ميكروويف.
- المُزوِّد: يقيس حالة الغزل في محور X (قراءة إسقاطية) ويعيد تقديراً ثنائياً ( $\hat{\theta} \in \{0, 1\}$ ).
النتائج:
- أجريت التجربة آلاف المرات.
- الاستراتيجية الحتمية: أنتج المُزوِّد الذي يستخدم دالة حتمية (بدون قياس) متوسط مربع خطأ (MSE) يتقارب نحو 0.5 (ضمن نطاق الضجيج الإحصائي).
- الاستراتيجية الكمومية: أنتج المُزوِّد الذي أجرى القياس متوسط خطأ (MSE) يتقارب نحو 0.25 (الحد الأدنى النظري للقياس الأمثل).
- الثقة: باستخدام قراءة عالية الدقة، تمكن المُحقِّق من التحقق من العشوائية بثقة 5-سيجما بعد 120 جولة فقط. ومع قراءة منخفضة الدقة، تطلب الأمر جولات أكثر، لكن الفصل الإحصائي ظل واضحاً.

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

التحقق الحقيقي من الصندوق الأسود: لا يتطلب البروتوكول أي افتراضات حول موقع المُزوِّد، أو قنوات الاتصال، أو حدوده الحسابية. المتطلب الوحيد هو ألا يمتلك المُزوِّد معرفة مسبقة بـ $\theta$ (الافتراض ١).
لا حاجة للتشابك: على عكس البروتوكولات القائمة على متباينة بيل (BCR) التي تتطلب جسيمات متشابكة متباعدة مكانياً، يعمل ECR مع حالة كمومية واحدة غير قابلة للفصل (جسيم واحد).
لا حاجة لبذرة عشوائية أولية: لا يتطلب البروتوكول بذرة عشوائية موجودة مسبقاً لتوليد العشوائية (على عكس بروتوكولات توسيع أو تضخيم العشوائية). يمكن للمُحقِّق اختيار $\theta$ بشكل حتمي.
حدود نظرية جديدة: اشتق البحث حداً أدق وغير تقاربي لتقدير البارامتر لقياس واحد، متجاوزاً حد "كرامر-راو" القياسي في هذا السياق المحدد.
تحدي أطروحة تورينج-تشيرش: يجادل المؤلف بأن المسألة التي تم حلها هنا (التمييز بين نتيجة قياس كمومي ودالة حتمية بحد خطأ معين) لا يمكن حلها بواسطة آلة تورينج حتمية بنفس الدقة التي يمكن لآلة تورينج عشوائية كمومية تحقيقها، مما يشير إلى قصور في أطروحة "تشيرش-تورينج" الكلاسيكية في سياق العشوائية الفيزيائية.

٥. الأهمية والآثار المترتبة

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

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