Diagrammatic Reasoning with Control as a Constructor, Applications to Quantum Circuits

क्वांटम कंप्यूटिंग की दुनिया में, वैज्ञानिक ऐसी मशीनें बनाने की कोशिश कर रहे हैं जो आज के कंप्यूटरों की पहुंच से बहुत आगे की समस्याओं को हल कर सकें। ऐसा करने के लिए, उन्हें सूक्ष्म कणों की नाजुक अवस्थाओं को नियंत्रित करना होता है, जिन्हें अक्सर क्यूबिट्स (qubits) कहा जाता है, और इसके लिए क्वांटेंट सर्किट के रूप में ज्ञात निर्देशों के एक सेट का उपयोग किया जाता है। ये सर्किट केवल चरणों की सूचियाँ नहीं हैं; ये जटिल नेटवर्क हैं जहाँ सूचना स्थान और समय के माध्यम से प्रवाहित होती है, और इस तरह परस्पर क्रिया करती है जिसे विज़ुअलाइज़ करना कठिन हो सकता है। वर्षों से, शोधकर्ता इन अंतःक्रियाओं को मैप करने के लिए डायग्रामैटिक रीजनिंग (diagrammatic reasoning) नामक एक शक्तिशाली पद्धति पर भरोसा करते आए हैं। यह दृष्टिकोण सूचना के प्रवाह को एक ड्राइंग की तरह मानता है, जहाँ तार कणों का प्रतिनिधित्व करते हैं और बॉक्स ऑपरेशन्स (operations) का। इन चित्रों को सख्त नियमों के अनुसार हेरफेर करके, वैज्ञानिक यह सिद्ध कर सकते हैं कि दो अलग-अलग सर्किट बिल्कुल समान परिणाम देंगे, या उन्हें अधिक कुशलता से बनाने के नए तरीके खोज सकते हैं। हालाँकि, नियंत्रण (control) के रूप में जानी जाने वाली एक विशिष्ट प्रकार की प्रक्रिया, हमेशा से एक बाधा रही है। नियंत्रण वह क्षमता है जिससे कोई क्रिया तभी की जाती है जब एक विशिष्ट शर्त पूरी होती है, ठीक वैसे ही जैसे एक सेंसर गति का पता चलने पर लैंप को चालू करता है। क्वांटेंट सर्किट में, इसी तरह हम प्रसिद्ध CNOT गेट बनाते हैं, जहाँ एक क्यूबिट दूसरे को तभी बदलता है जब वह एक निश्चित अवस्था में होता है। आवश्यक होने के बावजूद, इन आरेखों के मानक नियमों के भीतर नियंत्रण का वर्णन करना बेहद कठिन रहा है, जिसके लिए जटिल नियमों की एक अंतहीन सूची की आवश्यकता होती है जो सर्किट बड़े होने के साथ बढ़ती जाती है।

फ्रांस के यूनिवर्सिटी ऑफ लोरेन के शोधकर्ताओं ने अब इस समस्या को हल करने का एक नया तरीका पेश किया है, जिसमें नियंत्रण को केवल एक विशेषता के रूप में नहीं, बल्कि एक मौलिक निर्माण खंड (fundamental building block) के रूप में माना गया है। मौजूदा, बोझिल नियमों का उपयोग करके नियंत्रण का वर्णन करने के बजाय, उन्होंने एक नया ढांचा बनाया है जहाँ नियंत्रण एक कंस्ट्रक्टर (constructor) है, एक ऐसा उपकरण जिसे किसी भी आरेख (diagram) पर लागू करके उसका एक नया, नियंत्रित संस्करण बनाया जा सकता है। कल्पना कीजिए कि आप एक मशीन के साधारण चित्र को ले रहे हैं और उसमें एक स्विच जोड़ रहे हैं; उनके नए सिस्टम में, यह स्विच एक जटिल जुड़ाव नहीं बल्कि एक मानक, अंतर्नि phép (built-in) ऑपरेशन है। इस विचार को औपचारिक रूप देकर, शोधकर्ताओं ने दिखाया कि नियंत्रण अपने स्वयं के सरल, सुसंगत नियमों का पालन करता है। उन्होंने सिद्ध किया कि जब आप इस नियंत्रण उपकरण को एक आरेख पर लागू करते हैं, तो यह अनुमानित रूप से व्यवहार करता है, जिससे सिस्टम जटिल सशर्त तर्क (conditional logic) को बिना उलझे संभाल सकता है। इस दृष्टिकोण में बदलाव ने उन्हें क्वांटेंट सर्किट को वर्णित करने के तरीके को फिर से परिभाषित करने की अनुमति दी, जिससे एक ऐसे सिस्टम से हटकर जहाँ अनंत नियमों की आवश्यकता थी, एक ऐसे सिस्टम तक पहुँचा जहाँ नियमों का एक छोटा, प्रबंधनीय सेट है।

इस कार्य की सबसे महत्वपूर्ण खोज यह है कि इस नए दृष्टिकोण ने क्वांटेंट सर्किटों का वर्णन करने के लिए आवश्यक नियमों को नाटकीय रूप से सरल बना दिया है। पुराने सिस्टम में, यह सिद्ध करने के लिए कि नियमों का एक सेट पूर्ण (complete) था—अर्थात, यह प्रत्येक संभावित क्वांटेंट सर्किट का वर्णन कर सकता था—शोधकर्ताओं को ऐसे नियम शामिल करने पड़ते थे जो किसी भी आकार के सर्किटों के लिए काम करते थे, चाहे वे कितने भी बड़े क्यों न हों। इसका अर्थ यह था कि सर्किट में कणों की प्रत्येक नई संख्या के लिए, एक नया, अधिक जटिल नियम आवश्यक था, जिससे यह प्रणाली सैद्धांतिक रूप से अनबाउंडेड (unbounded) और व्यावहारिक रूप से उपयोग करने में कठिन बन गई थी। शोधकर्ताओं ने प्रदर्शित किया कि नियंत्रण को कंस्ट्रक्टर के रूप में उपयोग करके, वे तीन क्यूबिट या उससे कम पर कार्य करने वाले सर्किटों के involving संबंधों के एक सेट का उपयोग करके वही पूर्ण समझ प्राप्त कर सकते हैं। यह एक गहरा परिवर्तन है क्योंकि इसका अर्थ है कि नियमों की जटिलता सर्किट के आकार के साथ नहीं बढ़ती है। उन्होंने दिखाया कि ग्लोबल फेजेस (global phases), हैडामार्ड गेट (Hadamard gate) और नए नियंत्रण उपकरण वाले कुछ बुनियादी समीकरणों के साथ, क्वांटेंट कंप्यूटिंग के प्रत्येक संभावित संबंध को निकाला जा सकता है। इसके अलावा, उन्होंने सिद्ध किया कि यह सिस्टम न्यूनतम (minimal) है, जिसका अर्थ है कि इन कुछ नियमों में से किसी को भी पूर्ण क्वांटेंट व्यवहारों की पूरी श्रृंखला का वर्णन करने की क्षमता खोए बिना हटाया नहीं जा सकता है।

शोधकर्ताओं ने इस कार्य को सहायक कणों (auxiliary particles), जिन्हें एंसिले (ancillae) कहा जाता है, को शामिल करने के लिए विस्तारित किया, जो क्वांटेंट गणनाओं में उपयोग किए जाने वाले अस्थायी सहायक होते हैं। उन्होंने दिखाया कि जब इन अतिरिक्त कणों को मिश्रण में जोड़ा जाता है, तब भी नया ढांचा सरल और पूर्ण रहता है। यह महत्वपूर्ण है क्योंकि वास्तविक दुनिया के क्वांटेंट कंप्यूटर अक्सर जटिल कार्यों को करने के लिए इन अस्थायी सहायकों पर निर्भर करते हैं। टीम ने प्रदर्शित किया कि उनका तरीका इन परिदृश्यों को उसी भव्यता के साथ संभाल सकता है, जो इन अतिरिक्त संसाधनों का उपयोग करने वाले सर्किटों के लिए स्पष्ट नियमों का एक सेट प्रदान करता है। उन्होंने यह भी पता लगाया कि क्या होता है जब कई प्रकार के नियंत्रण एक साथ मौजूद होते हैं, यह दिखाते हुए कि कैसे विभिन्न नियंत्रण तंत्र बिना किसी संघर्ष के एक साथ काम कर सकते हैं। यह बहुमुखी प्रतिभा बताती है कि ढांचा मजबूत है और विभिन्न प्रकार के क्वांटेंट सिस्टम के अनुकूल हो सकता है, न कि केवल मानक प्रणालियों के।

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