An Explicit Counterexample to Tsirelson's Problem via a Linear System Game

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

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

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

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

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

ولضمان أن تكون هذه النتيجة فوق مستوى الشك، لم يعتمد الفريق على الحجج الفضفاضة أو التقديرات التقريبية. لقد ترجموا البناء بأكمله، بما في ذلك الشبكة الضخمة من المعادلات والمنطق المعقد لاستراتيجيات الفوز، إلى لغة رسمية يمكن للحاسوب قراءتها والتحقق منها. وباستخدام مساعد إثبات يسمى "لين" (Lean)، تحققوا من كل خطوة منطقية، بدءاً من تعريف اللعبة وصولاً إلى حساب احتمالات الفوز الدقيقة. وقد أكد الحاسوب أن اللعبة تحتوي بالضبط على 1,417,152 معادلة و1,889,684 متغيراً، وأن الحد الكلاسيكي — وهو أفضل نتيجة يمكن تحقيقها بدون أي مساعدة كمومية — هو بالضبط واحد ناقص واحد على 4,251,456. هذا المستوى من الصرامة يعني أن النتيجة ليست مجرد حجة رياضية قوية، بل هي حقيقة مثبتة رسمياً.

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