Quantum theory based on real numbers cannot be experimentally falsified

إليك ملخص تقني مفصل لورقة "النظرية الكمومية القائمة على الأعداد الحقيقية لا يمكن دحضها تجريبياً" من تأليف هوفرومون وودز.

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

السؤال المركزي الذي تتناوله الورقة هو ما إذا كانت النظرية الكمومية المعقدة (Complex QT) يمكن تمييزها تجريبياً عن النظرية الكمومية الحقيقية (RQT).

• السياق: تُعد RQT "نظرية بديلة" (foil theory) حيث تُستبدل السعات المعقدة بأعداد حقيقية، مع الاحتفاظ بقاعدة بورن (Born rule) القياسية، وتحديث لودرز (Lüders update)، وحاصل الضرب كرونيكر ($\otimes_K$) لتكوين الأنظمة.
• السياق التاريخي: من المعروف منذ فترة طويلة أن RQT يمكنها إعادة إنتاج جميع ارتباطات بيل (Bell correlations) أحادية الطرف وثنائية الطرف الخاصة بـ QT. ومع ذلك، تفتقر RQT إلى التوجمية المحلية (local tomography) (أي أن حالة النظام المركب لا يمكن إعادة بنائها بالكامل من الإحصاءات المحلية وحدها).
• الصراع: في عام 2021، زعم رينو وآخرون أن RQT يمكن دحضها تجريبياً باستخدام سيناريو شبكة ثنائية الموقع (تبادل التشابك - entanglement swapping). وقد اشتقوا متباينة تشبه متباينة بيل حيث تكون القيمة القصوى التي يمكن تحقيقها في RQT (بافتراض أن المصادر المستقلة متمثلة كـ حالات ضرب - product states) أقل صراحة مما هي عليه في QT. وقد انتهكت التجارب منذ ذلك الحين هذا الحد، مما أكد ظاهرياً دحض RQT.
• الخلل المحدد: يجادل المؤلفان بأن استنتاج رينو وآخرين يعتمد على افتراض غير قابل للاختبار، وهو أن "المصادر المستقلة" في RQT يجب أن تُمثل رياضياً كـ حالات ضرب ($\rho_X \otimes_K \rho_Y$). وتفترض الورقة أن هذا يخلط بين استقلال حالات الضرب (قيد رياضي) والاستقلال العملياتي (غياب الارتباطات الملحوظة).

2. المنهجية والإطار النظري

يستخدم المؤلفان إطاراً رياضياً صارماً يتضمن ثلاث نظريات:

1. QT: نظرية فضاء هيلبرت المعقد القياسية.
2. RQT: نظرية فضاء هيلبرت الحقيقي مع تكوين حاصل الضرب كرونيكر.
3. RNQT (نظرية الأعداد الحقيقية الكمومية): نظرية فرعية من RQT تم تقديمها في عمل المؤلفين السابق، وهي متماثلة مع QT ولكنها تستخدم قاعدة تكوين مختلفة ($\otimes_R$) للتعامل مع البنية المعقدة داخل المصفوفات الحقيقية.

التمييز المفاهيمي الرئيسي

• استقلال حالات الضرب: الحالة المشتركة للمصادر المستقلة هي حاصل ضرب تينسوري $\rho_{XY} = \rho_X \otimes_K \rho_Y$. وهذا افتراض رياضي يعتمد على النموذج.
• الاستقلال العملياتي: توزيع الاحتمالات المشترك للنتائج للقياسات المحلية يتوزع (factorizes): $p(a,b) = p(a)p(b)$. وهذا شرط يمكن التحقق منه تجريبياً.
• البصيرة الحاسمة: في QT، يتطابق هذان المفهومان. أما في RQT، فهما لا يتطابقان. توجد حالات في RQT هي ليست حالات ضرب (هي متشابكة في الصياغة الحقيقية) ولكنها مستقلة عملياتياً (لا تنتج ارتباطات ملحوظة). هذه الحالات "غير قابلة للتمييز محلياً" عن حالات الضرب.

الأدوات التقنية

• التحويل القياسي ($\Gamma$): رسم خرائط من المصفوفات المعقدة إلى مصفوفات حقيقية ذات أبعاد مضاعفة ($d \to 2d$) تحافظ على البنية الجبرية.
• التحويل القياسي المتعدد ($n$-fold $\Gamma^{(n)}$): امتداد للتحويل القياسي إلى الأنظمة متعددة الأطراف يوزع النظام المرجعي الحامل للطور عبر جميع الأطراف، مما يضمن الحفاظ على المحلية.
• الضرب الحقيقي ($\otimes_R$): قاعدة تكوين للمصفوفات الحقيقية مُعرفة بحيث أن $\Gamma^{(n)}(A \otimes_K B) \cong \Gamma^{(n)}(A) \otimes_R \Gamma^{(n)}(B)$. تسمح هذه القاعدة بدمج نماذج QT داخل RQT.
• خاصية التلوث (Contamination Property): تمهيدية تقنية تظهر أنه إذا كانت الحالة تقع ضمن "صورة QT" (أي حالة $\otimes_R$ منتجة)، فيمكنها "تلوث" نواتج الضرب كرونيكر، مما يحولها فعلياً إلى $\otimes_R$ ضمن حساب الأثر (trace)، وبالتالي الحفاظ على الإحصاءات.

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

المبرهنة 1: تكافؤ الشبكة

البيان: لأي شبكة محدودة من المصادر المستقلة والأطراف التي تقوم بالقياس المحلي، إذا طُولبت المصادر بأن تكون مستقلة عملياتياً فقط (وليس بالضرورة حالات ضرب)، فإن كل توزيع نتائج تتنبأ به نموذج QT يمكن أيضاً التنبؤ به بواسطة نموذج RQT مكافئ.

• الآلية: يثبت المؤلفان أن مجموعة حالات RQT المستقلة عملياتياً تتضمن صورة حالات الضرب في QT تحت التحويل $\Gamma$. هذه الحالات في RDT هي غير منتجة (متشابكة في الصياغة الحقيقية) ولكنها تعطي إحصاءات محلية مطابقة لحالات الضرب في QT.
• الاستنتاج: اعتمد "الدحض" لـ RQT من قبل رينو وآخرين على تقييد حالات المصادر بمجموعة جزئية من حالات الضرب. وبمجرد تخفيف هذا القيد إلى الاستقلال العملياتي المبرر تجريبياً، تصبح RQT قادرة على إعادة إنتاج جميع ارتباطات الشبكة (بما في ذلك الشبكات ثنائية الموقع، والمثلث، والنجمة) التي تحققها QT.

المبرهنة 2: تكافؤ البروتوكول المتسلسل

البيان: يمتد التكافؤ ليشمل أي بروتوكولات متعددة الأطراف متسلسلة محدودة تتضمن قنوات وقياسات ذات هياكل محلية محددة.

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

تفسير "الدحض"

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

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

1. استعادة عدم التمييز التجريبي: تعيد هذه الورقة الوضع لـ RQT كبديل تجريبي قابل لـ QT. الادعاء السابق بالدحض كان ناتجاً عن فرض قيد رياضي (حالات الضرب) ليس قابلاً للتحقق منه تجريبياً في بيئة الشبكة.
2. التمييز الوجودي (Ontological Distinction): بينما النظريتان غير قابلتين للتمييز تجريبياً، إلا أنهما تقدمان صورتين مختلفتين تماماً للواقع:
   • QT: الأنظمة المستقلة هي حقاً غير مترابطة ما لم تتفاعل.
   • RQT: الأنظمة المستقلة قد تمتلك ارتباطات "خفية" (تشابك التمثيل) لا يمكن الوصول إليها عبر التوجمية المحلية. الكون الذي تصفه RQT لديه بنية ارتباط أكثر كثافة ولكنها غير مرئية إلى حد كبير للمراقبين المحليين.
3. الآثار الأمنية: يشير المؤلفون إلى مخاوف أمنية محتملة. البروتوكولات التشفيرية التي ثبتت أمنها في QT قد تكون عرضة للخطر في كون RQT إذا أمكن استغلال الارتباطات الخفية عبر العمليات العالمية، حتى لو بدت الإحصاءات المحلية آمنة.
4. درس منهجي: تسلط الورقة الضوء على خطر اختبار "النظريات البديلة" دون ضمان أن التعريفات العملياتية للمفاهيم (مثل "الاستقلال") متطابقة عبر النظريات. لا يمكن دحض نظرية إذا كانت القيود التجريبية المفروضة عليها أقوى مما يختبره التجربة فعلياً.

الخاتمة

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