Partial independence suffices to rule out Real Quantum Theory experimentally
Weilenmann, Gisin, Sekatski
The role of complex quantities in quantum theory has been puzzling physicists since the beginnings. It is thus natural to ask whether, in order to describe our experiments, the mathematical structure of complex Hilbert spaces it is built on is really necessary. Recently, it was shown that this structure is inevitable in network scenarios with independent sources. More precisely, Real Quantum Theory cannot explain the predictions of (Complex) Quantum Theory [Renou et al., Nature 600, 2021]. Here, we revisit the independence assumption underlying this work. We show that assuming partial independence is sufficient for showing the inadequacy of Real Quantum Theory. We derive a tradeoff between source independence and the Bell value achievable in Real Quantum Theory, which also lower bounds the source correlations required to explain previous experiments by means of real quantum systems. We further show that 1 bit of entanglement is necessary and sufficient for recovering the complex quantum correlations by means of Real Quantum Theory in the scenario from [Renou et al., Nature 600, 2021]. Finally, building on [McKague et al., PRL 102, 2009], we provide a construction to simulate any complex quantum setup with m independent sources by means of Real Quantum Theory, by allowing the sources to share a m real-qubit entangled state in the first round of the experiment.
academic
الاستقلالية الجزئية كافية لاستبعاد نظرية الكم الحقيقية تجريبياً
تبحث هذه الورقة ضرورة الأعداد المركبة في نظرية الكم. بناءً على عمل Renou وآخرين في Nature 2021 الذي أظهر أن نظرية الكم الحقيقية (Real Quantum Theory) لا يمكنها تفسير النتائج المتنبأ بها من نظرية الكم المركبة، تعيد هذه الورقة النظر في افتراض استقلالية المصدر. يثبت المؤلفون أن الاستقلالية الجزئية كافية لإثبات عدم كفاية نظرية الكم الحقيقية، ويشتقون علاقات المقايضة بين استقلالية المصدر وقيم Bell القابلة للتحقق في نظرية الكم الحقيقية، ويثبتون أن التشابك أحادي البت ضروري وكافٍ كمورد لاستعادة الارتباطات الكمية المركبة باستخدام نظرية الكم الحقيقية. أخيراً، بناءً على عمل McKague وآخرين، يبنون مخطط لمحاكاة تجارب كمية مركبة ذات m مصدر مستقل باستخدام حالات تشابك m rebit حقيقية.
هل نظرية الكم تحتاج فعلاً إلى بنية الأعداد المركبة؟ هذا سؤال محير طويل الأمد في أساسيات ميكانيكا الكم. على الرغم من أن الفيزياء الكلاسيكية (الميكانيكا والديناميكا الحرارية والكهرومغناطيسية) تعتمد على الأعداد الحقيقية، فإن المسلمة الأولى لنظرية الكم تقدم فضاء Hilbert المركب Cd.
McKague وآخرون (2009): أثبتوا أنه يمكن محاكاة أي تجربة كمية مركبة باستخدام نظرية الكم الحقيقية، بطريقة إرفاق rebit مساعد حقيقي لكل نظام فرعي، لكن يتطلب أن تشارك هذه الأجزاء المساعدة في حالة تشابك
صعوبة التفسير الفيزيائي: عندما تكون الأنظمة الفرعية مفصولة مكانياً، كيف يمكن تفسير أنها جميعاً تستطيع الوصول إلى نفس rebit المساعد؟ من أين يأتي هذا التشابك؟
Renou وآخرون (2021): في السيناريو الشبكي، بافتراض استقلالية المصدر الكامل، أثبتوا أن نظرية الكم الحقيقية لا يمكنها الوصول إلى حد قيمة Bell للنظرية المركبة (BCsup=62≈8.49 مقابل BRub≤7.66)
تخفيف افتراض الاستقلالية: ماذا لو كانت المصادر مستقلة جزئياً فقط (partially independent)؟ هل يمكننا تحديد كمياً كم من الارتباط الكمي مطلوب لتفسير النتائج التجريبية باستخدام نظرية الكم الحقيقية؟
تخفيف افتراض الاستقلالية: إثبات أن الاستقلالية الجزئية للمصدر كافية لاستبعاد نظرية الكم الحقيقية، دون الحاجة إلى افتراض الاستقلالية الكاملة
علاقات المقايضة الكمية: اشتقاق علاقات المقايضة الدقيقة بين درجة استقلالية المصدر وقيم Bell القابلة للتحقق في نظرية الكم الحقيقية (من خلال تسلسل البرمجة شبه المحددة)
الموارد الضرورية والكافية: إثبات أنه في سيناريو Renou، 1 ebit من التشابك (المقابل للتشابك الأقصى لـ rebit اثنين) ضروري وكافٍ:
الضرورة: من خلال الاختبار الذاتي (self-testing) إثبات أن الوصول إلى قيمة Bell القصوى 62 يتطلب الحالة ϱˉS1S2=21(Φ−+Ψ+)، مع درجة تشابك EF=1 والمسافة من الحالات القابلة للفصل DSep=21
الكفاية: هذا التشابك كافٍ لمحاكاة أي تجربة كمية في هذه الشبكة
نظرية محاكاة عامة: توسيع بناء McKague، إثبات أن حالة تشابك m rebitϱˉS(m) كافية لمحاكاة تجارب كمية مركبة ذات m مصدر مستقل
تحديد كمي للمعنى التجريبي: إسناد معنى كمي لنتائج التجارب الموجودة (مثل قيمة Bell 8.09 تتطلب DSep≥0.2)
استخدام دالة Bell من Renou وآخرين:
B(P)=∑b∈{0,1}2Bb(P)
حيث كل Bb(P) هو مزيج من ثلاثة اختبارات CHSH بين Alice و Charlie (المعادلة 2). القيم الرئيسية:
القيمة القصوى لنظرية الكم المركبة: BCsup=62≈8.49
الحد الأعلى لنظرية الكم الحقيقية ذات المصادر المستقلة: BRub≤7.66
كل نظام مركب بحجم d يقابل Ci نظام حقيقي بحجم 2d يقابل Rˉi=RiLi
L=L1...Ln بمثابة "إطار مرجعي للمركبية"، مشفر في الفضاء المنطقي:
∣R⟩L=21(⨂i∣y+⟩Li+⨂i∣y−⟩Li)∣I⟩L=2i(⨂i∣y+⟩Li−⨂i∣y−⟩Li)
حيث ∣y±⟩=(∣0⟩±i∣1⟩)/2
الخصائص الرئيسية: المؤثر الوحدوي الحقيقي J=iσY يعمل على أي Lj لمحاكاة وحدة الأعداد التخيلية:
JLj∣R⟩L=∣I⟩L,JLj∣I⟩L=−∣R⟩L
تمثيل الحالة (ثابت الطور):
ϱC∼ϱRL=ϱRRe⊗2∣R⟩⟨R∣+∣I⟩⟨I∣+ϱRIm⊗2∣I⟩⟨R∣−∣R⟩⟨I∣
القابلية للبث المحلي (Local Broadcastability):
حالة الإطار المرجعي ϱˉL(n) يمكن توسيعها من خلال العمليات المحلية: ϱˉL(n)LOϱˉLL′(2n)
الحالات الهامشية تبقى دون تغيير: trL′ϱˉLL′(2n)=ϱˉL(n)
هذا مستحيل في نظرية الكم المركبة (نظرية عدم البث المحلي)، مما يوضح الفروقات التشغيلية بين النظريتين
النظرية: أي تجربة كمية ذات m مصدر مستقل يمكن محاكاتها باستخدام نظرية الكم الحقيقية، إذا كان المصدر الأولي يشارك:
ϱˉS(m)=21(⨂i=1m∣y+⟩⟨y+∣Si+⨂i=1m∣y−⟩⟨y−∣Si)
نقاط الإثبات الرئيسية:
هذه الحالة تحتوي على 1 ebit من تشكيل التشابك (عبر أي تقسيم ثنائي)
في نفس الوقت يمكن بثها محلياً: ϱˉS(m)LOϱˉSL(m+n)
Barrios et al., arXiv:2503.17307 (2025): نظرية كم حقيقية معدلة بتعريف حالة مختلف
Hoffreumon & Woods, arXiv:2504.02808 (2025): نظرية كم حقيقية معدلة بقاعدة ضرب موتري مختلفة
التقييم الإجمالي: هذه ورقة عالية الجودة ذات أهمية نظرية وتجريبية مهمة في مجال أساسيات الكم. من خلال التحليل الرياضي الصارم والتقنيات المبتكرة في البرمجة شبه المحددة، تدفع هذه الورقة العمل الرائد لـ Renou وآخرين إلى مستوى كمي، مما يوفر صورة أكثر دقة لفهم عدم الاستغناء عن الأعداد المركبة في نظرية الكم. على الرغم من وجود تحديات في التعقيد الحسابي والتحديات التجريبية، فإن الإطار النظري والمنهجية المؤسسة لها قيمة دائمة لأبحاث أساسيات الكم والتجارب الشبكية الكمية. تشكل المقارنة المثيرة للاهتمام مع أعمال إعادة الصياغة النظرية الحديثة (Barrios و Hoffreumon) تسليط الضوء على الدقة في مسألة "ما هي نظرية الكم الحقيقية" وأهمية التمييز بين مسائل التعريف ومسائل التجربة.