Strong Kochen-Specker contextuality to rule out discrete nondeterministic alternatives to quantum theory

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

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

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

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

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

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

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

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