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

क्वांटम भौतिकी की विचित्र और विरोधाभासी दुनिया में, कण इस तरह से एक-दूसरे से जुड़ सकते हैं जो हमारे रोजमर्रा के अनुभवों को चुनौती देते हैं। जब ऐसे दो कणों को मापा जाता है, तो एक का परिणाम दूसरे के परिणाम को तुरंत प्रभावित कर सकता है, चाहे वे एक-दूसरे से कितनी भी दूर क्यों न हों। वैज्ञानिक लंबे समय से इन "एंटैंगल्ड" (उलझे हुए) कणों का उपयोग दो खिलाड़ियों के साथ एक विशिष्ट प्रकार का खेल खेलने के लिए करते हैं, जो आपस में बात नहीं कर सकते। उनका लक्ष्य रेफरी के सवालों के जवाबों में इस तरह समन्वय स्थापित करना है जो सामान्य, शास्त्रीय तर्क (क्लासिकल लॉजिक) का उपयोग करने पर असंभव प्रतीत होता है। दशकों तक, एक मौलिक प्रश्न इस क्षेत्र पर छाया बना रहा था: यदि खिलाड़ियों को उपलब्ध सबसे शक्तिशाली, अनंत-आयामी क्वांटम संसाधनों का उपयोग करने की अनुमति दी जाए, तो क्या वे हमेशा एक पूर्ण स्कोर प्राप्त कर सकते हैं? या क्या एक सूक्ष्म सीमा है जिसे सबसे उन्नत क्वांटम यांत्रिकी भी पार नहीं कर सकती? यह प्रश्न, जिसे 'त्सेरलसन की समस्या' (Tsirelson's problem) के रूप में जाना जाता है, केवल एक तकनीकी पहेली नहीं थी; यह वास्तविकता की संरचना और इस बात को समझने का एक द्वार था कि क्या हमारे द्वारा ब्रह्मांड का वर्णन करने के लिए उपयोग किए जाने वाले गणितीय मॉडल पूर्ण हैं।

शोधकर्ताओं की एक टीम ने अब इस प्रश्न को एक निश्चित "नहीं" के साथ हल कर दिया है। उन्होंने एक विशिष्ट, ठोस गेम का निर्माण किया है जो यह सिद्ध करता है कि परिमित (फाइनाइट) क्वांटम प्रणालियों और अनंत प्रणालियों के बीच एक अंतर मौजूद है। इस खेल में, खिलाड़ी एक पूर्ण स्कोर प्राप्त कर सकते हैं यदि उन्हें 'कम्यूटिंग ऑपरेटर' नामक एक अनंत, सैद्धांतिक संसाधन का उपयोग करने की अनुमति दी जाती है। हालांकि, यदि खिलाड़ी किसी भी परिमित क्वांटम स्थान तक सीमित हैं, चाहे वह कितना भी बड़ा क्यों न हो, तो वे हमेशा पूर्ण स्कोर तक पहुँचने में विफल रहेंगे। शोधकर्ताओं ने केवल यह सुझाव नहीं दिया कि यह अंतर मौजूद हो सकता है; उन्होंने उस खेल का सटीक ब्लूप्रिंट बनाया, उसकी सीमाओं की गणना पूर्ण सटीकता के साथ की, और कंप्यूटर प्रमाण प्रणाली का उपयोग करके अपने तर्क के हर चरण को सत्यापित किया।

यह खेल समीकरणों के ग्रिड से जुड़े एक तर्क संबंधी पहेली का एक रूपांतर है। कल्पना कीजिए कि कागज की एक विशाल शीट है जो हजारों पंक्तियों से भरी हुई है। प्रत्येक पंक्ति में तीन विशिष्ट चर (variables) होते हैं जिन्हें बाइनरी अंकगणित के नियमों का पालन करते हुए एक निश्चित संख्या, या तो शून्य या एक, के बराबर होना चाहिए। खिलाड़ियों को एक पंक्ति और उस पंक्ति से एक विशिष्ट चर दिया जाता है। एक खिलाड़ी को तीन नंबरों का एक सेट प्रदान करना होगा जो उस पंक्ति के समीकरण को संतुष्ट करते हों, जबकि दूसरे खिलाड़ी को उस विशिष्ट चर का मान प्रदान करना होगा जिसके बारे में उससे पूछा गया है। जीतने के लिए, उनके उत्तर एक-दूसरे के अनुरूप होने चाहिए और ग्रिड के छिपे हुए नियमों का पालन करने चाहिए। शोधकर्ताओं ने एक ऐसा ग्रिड डिजाइन किया है जो इतना जटिल है कि इसमें 1.4 मिलियन से अधिक पंक्तियाँ और लगभग 1.9 मिलियन चर शामिल हैं। इस विशाल प्रणाली की प्रत्येक पंक्ति में ठीक तीन गैर-शून्य प्रविष्टियाँ हैं, जो बाधाओं का एक कसकर बुना हुआ जाल बनाती हैं।

इस निर्माण की प्रतिभा इस बात में निहित है कि यह खिलाड़ियों को कैसे फँसाता है। शोधकर्ताओं ने सिद्ध किया कि यदि खिलाड़ी किसी भी परिमित क्वांटम प्रणाली का उपयोग करके जीतना चाहते हैं, तो वे गणितीय रूप से गलती करने के लिए मजबूर हैं। चाहे वे अपने क्वांटम उपकरणों को कैसे भी ट्यून करें, उनकी सफलता दर पर एक कठोर सीमा है। उन्होंने गणना की कि एक परिमित क्वांटम रणनीति के लिए सर्वोत्तम संभव स्कोर सौ प्रतिशत से कम है। वास्तव में, पूर्ण स्कोर और सर्वोत्तम परिमित स्कोर के बीच का अंतर बहुत छोटा लेकिन मापने योग्य है, जो लगभग 4.25 मिलियन में से एक के अंश द्वारा सीमित है। इसका अर्थ यह है कि यदि खिलाड़ियों के पास ब्रह्मांड में परमाणुओं की संख्या से अधिक मेमोरी वाला क्वांटम कंप्यूटर भी हो, तो भी वे हर बार जीतने में सक्षम नहीं होंगे।

हालांकि, कहानी पूरी तरह से बदल जाती है जब खिलाड़ियों को अनंत संसाधन का उपयोग करने की अनुमति दी जाती है। शोधकर्ताओं ने दिखाया कि यदि खिलाड़ी कम्यूटिंग ऑपरेटरों पर आधारित रणनीति का उपयोग करते हैं—जो एक गणितीय ढांचा है जो अनंत आयामों की अनुमति देता है—तो वे हर बार पूर्ण स्कोर प्राप्त कर सकते हैं। उन्होंने एक विशिष्ट रणनीति का निर्माण किया जो सौ प्रतिशत निश्चितता के साथ जीतती है। यह एक स्पष्ट अलगाव पैदा करता है: परिमित क्वांटम प्रणालियों द्वारा प्राप्त किए जा सकने वाले सहसंबंध (correlations), अनंत प्रणालियों द्वारा प्राप्त किए जा सकने वाले सहसंबंधों से मौलिक रूप से भिन्न हैं। यह खेल एक लिटमस टेस्ट की तरह कार्य करता है, जो यह सिद्ध करता है कि क्वांटम यांत्रिकी की अनंत दुनिया में ऐसी संभावनाएँ हैं जिन्हें किसी भी परिमित संग्रह द्वारा कभी भी अनुमानित नहीं किया जा सकता है।

इस परिणाम को संदेह से परे रखने के लिए, टीम ने केवल हाथ हिलाकर तर्क देने या अनुमान लगाने पर भरोसा नहीं किया। उन्होंने पूरे निर्माण को, जिसमें समीकरणों का विशाल ग्रिड और जीतने वाली रणनीतियों का जटिल तर्क शामिल है, एक औपचारिक भाषा में अनुवादित किया जिसे एक कंप्यूटर पढ़ और सत्यापित कर सके। 'लीन' (Lean) नामक एक प्रूफ़ असिस्टेंट का उपयोग करके, उन्होंने परिभाषा से लेकर सटीक जीतने की संभावनाओं की गणना तक, प्रत्येक तार्किक चरण की जाँच की। कंप्यूटर ने पुष्टि की कि इस खेल में ठीक 1,417,152 समीकरण और 1,889,684 चर हैं, और शास्त्रीय सीमा (classical limit)—बिना किसी क्वांटम सहायता के प्राप्त किया जाने वाला सर्वोत्तम स्कोर—ठीक से एक घटा एक बटे 4,251,456 है। कठोरता का यह स्तर सुनिश्चित करता है कि परिणाम केवल एक मजबूत गणितीय तर्क नहीं है, बल्कि एक औपचारिक रूप से सत्यापित तथ्य है।

इस खोज के निहितार्थ इस विशिष्ट खेल से कहीं अधिक व्यापक हैं। यह क्वांटम सहसंबंधों की प्रकृति के बारे में दशकों पुराने विवाद को सुलझाता है। वर्षों से, भौतिक विज्ञानी आश्चर्य करते थे कि क्या अनंत क्वांटम प्रणालियों के विचित्र व्यवहार केवल एक सैद्धांतिक जिज्ञासा थे जिन्हें पर्याप्त बड़े परिमित सिस्टम द्वारा दोहराया जा सकता था। यह शोध पत्र सिद्ध करता है कि वे ऐसा नहीं कर सकते। ऐसे क्वांटम घटनाएँ हैं जो स्वाभाविक रूप से अनंत हैं और जिन्हें किसी भी परिमित सन्निकटन (approximation) द्वारा पकड़ा नहीं जा सकता है। शोधकर्ताओं ने एक ठोस उदाहरण प्रदान किया है, नियमों का एक विशिष्ट सेट जो परिमित और अनंत को अलग करता है, यह दर्शाता है कि क्वांटम यांत्रिकी का ब्रह्मांड पहले की तुलना में अधिक समृद्ध और जटिल है। इस स्पष्ट प्रति-उदाहरण (counterexample) का निर्माण करके, उन्होंने रेत पर एक स्पष्ट रेखा खींच दी है, यह प्रदर्शित करते हुए कि क्वांटम दुनिया के कुछ दरवाजे केवल अनंत चाबियों से ही खोले जा सकते हैं।