Minimality of the Pure Qubit ZX Calculus

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

लगभग एक दशक तक, इन नियमों के बारे में एक विशिष्ट प्रश्न अनुत्तरित रहा। वैज्ञानिकों ने क्वांटम यांत्रिकी के एक सरलीकृत संस्करण के लिए काम करने वाला एक सेट स्थापित किया था, लेकिन वे अनिश्चित थे कि क्या यह सूची जितनी छोटी हो सकती थी, उससे कम है। गणितीय तर्क की दुनिया में, नियमों का एक "न्यूनतम" (minimal) सेट वह है जहाँ प्रत्येक नियम बिल्कुल आवश्यक है; यदि आप एक भी हटा देते हैं, तो सिस्टम टूट जाता है और कुछ सत्यों को सिद्ध करने में असमर्थ हो जाता है। इस अध्ययन के शोधकर्ता, हैरी के. स्टॉल्ट्ज़ और रेनॉड विल्मार्ट ने भाषा के पूर्ण संस्करण के लिए इस पहेली को हल करने का प्रयास किया, जो क्वांटम सूचना के सबसे सामान्य प्रकार को संभालता है। वे जानना चाहते थे कि क्या मौजूदा संग्रह में कोई अनावश्यकता है या क्या प्रत्येक नियम अनिवार्य है। उनका कार्य पुष्टि करता है कि सिस्टम को वास्तव में न्यूनतम बनाया जा सकता है, लेकिन केवल यह सिद्ध करने के बाद कि दो विशिष्ट नियम अपरिहार्य हैं और यह दिखाकर कि एक अन्य नियम को शेष नियमों से प्राप्त किया जा सकता है।

टीम ने उन नियमों के संग्रह की जांच करके शुरुआत की जिन्हें कई वर्षों में परिष्कृत किया गया था। इस संग्रह में एक ही रंग के बिंदुओं को मिलाने का नियम, संचालन के क्रम को बदलने का नियम और एक नियम शामिल था जो यह बताता है कि दो अलग-अलग प्रकार के क्वांटम डॉट्स एक-दूसरे के साथ कैसे परस्पर क्रिया करते हैं। यह परस्पर क्रिया, जिसे 'बाइएलजल लॉ' (bialgebra law) के रूप में जाना जाता है, इस भाषा का एक आधार स्तंभ है, जो एक मौलिक गुण को कूटबद्ध करती है जहाँ एक प्रणाली को मापने के दो अलग-अलग तरीके एक-दूसरे के पूरक होते हैं। लंबे समय तक, यह स्पष्ट नहीं था कि क्या यह इंटरेक्शन नियम वास्तव में आवश्यक था या इसे अन्य नियमों से बनाया जा सकता था। शोधकर्ताओं ने दो विशिष्ट नियमों की स्थिति पर भी सवाल उठाया जो यह वर्णन करते हैं कि एक एकल डॉट (बिंदु) कैसे व्यवहार करता है जब उसके कोई संबंध नहीं होते, जो मूल रूप से एक साधारण पहचान या "कुछ न करने" की क्रिया के रूप में कार्य करता है।

इन प्रश्नों का उत्तर देने के लिए, लेखकों ने केवल नियमों को देखकर यह सिद्ध करने का प्रयास नहीं किया कि वे आवश्यक हैं; इसके बजाय, उन्होंने एक नया, कृत्रिम गणितीय संसार निर्मित किया जहाँ मानक नियम जेडएक्स कैलकुलस के अधिकांश भाग में लागू होते हैं, लेकिन एक विशिष्ट नियम विफल हो जाता है। यह गणित में एक शक्तिशाली तकनीक है: यदि आप एक ऐसी दुनिया बना सकते हैं जहाँ सब कुछ काम करता है सिवाय एक नियम के, तो आपने सिद्ध कर दिया है कि वह नियम दूसरों से प्राप्त नहीं किया जा सकता। इंटरेक्शन नियम के लिए, उन्होंने संख्याओं के एक 'रिंग' पर आधारित एक दुनिया बनाई जिसमें एक विशेष तत्व शामिल था, जो स्वयं से गुणा करने पर शून्य हो जाता था। इस विचित्र वातावरण में, क्वांटम डॉट्स का सामान्य व्यवहार थोड़ा मुड़ा हुआ था। यह घुमाव इतना सूक्ष्म था कि सिस्टम के अन्य सभी नियम पूरी तरह से काम करते रहे, लेकिन यह दो प्रकार के डॉट्स के बीच की परस्पर क्रिया को तोड़ने के लिए पर्याप्त था। इसने सिद्ध किया कि इंटरेक्शन नियम वास्तव में आवश्यक है; इसके बिना, सिस्टम इस विशिष्ट प्रकार के क्वांटम व्यवहार का वर्णन नहीं कर सकता।

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

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