Programming with Quantum-Controlled Quantum Channels

कल्पना कीजिए एक ऐसी दुनिया की जहाँ तर्क के नियम किसी सपने की तरह लचीले हों। हमारी रोज़मर्रा की वास्तविकता में, एक लाइट स्विच या तो चालू होता है या बंद, और एक कंप्यूटर प्रोग्राम एक ही सीधे पथ का अनुसरण करता है: यदि स्थिति सत्य है, तो यह करें; यदि असत्य है, तो वह करें। लेकिन क्वांटम मैकेनिक्स के विचित्र और अद्भुत क्षेत्र में, चीज़ों को केवल एक पक्ष चुनने की आवश्यकता नहीं होती। एक क्वांटम बिट, या "क्यूबिट" (qubit), सुपरपोजिशन में हो सकता है, जिसका अर्थ है कि वह प्रभावी रूप से एक ही समय में 0 और 1 दोनों है। यह केवल "शायद" कहने का कोई फैंसी तरीका नहीं है; यह एक मौलिक गुण है जहाँ डेटा एक साथ दो अवस्थाओं में हो सकता है, जैसे हवा में घूमता हुआ एक सिक्का जो ज़मीन पर गिरने तक चित (heads) और पट (tails) दोनों है।

वैज्ञानिक लंबे समय से यह सोचते आए हैं: यदि डेटा सुपरपोजिशन में हो सकता है, तो क्या निर्देश स्वयं भी सुपरपोजिशन में हो सकते हैं? क्या एक कंप्यूटर एक साथ दो अलग-अलग प्रोग्राम चला सकता है, या उन्हें दो अलग-अलग क्रमों में भी एक साथ चला सकता है? यह विचार, जिसे "क्वांटम SWITCH" कहा जाता है, भौतिकी में एक चर्चित विषय रहा है। यह उन समस्याओं को हल करने का वादा करता है जो क्लासिकल कंप्यूटरों के लिए असंभव हैं, एक ऐसी स्थिति बनाकर जहाँ घटनाओं का कारण-और-प्रभाव का क्रम धुंधला हो जाता है। हालाँकि, इन क्वांटम प्रक्रियाओं को नियंत्रित करने के लिए कंप्यूटर प्रोग्राम लिखने की कोशिश करना वैसा ही था जैसे एक ऐसे ब्लूप्रिंट के साथ घर बनाने की कोशिश करना जो अपना आकार बदलता रहता है। गणित जटिल हो जाता है, और निर्देश अक्सर विरोधाभासों या अनिर्धारित परिणामों की ओर ले जाते हैं।

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

क्वांटम SWITCH और "कॉर्डस्पोंडेंस समस्या" की कहानी

यह समझने के लिए कि यह नई भाषा इतनी बड़ी बात क्यों है, हमें उस समस्या को देखना होगा जिसे यह हल करती है। कल्पना कीजिए कि आप एक शेफ हैं जिनके पास दो विशेष सामग्रियां हैं, मान लीजिए कि वे फ्लेवर A और फ्लेवर B हैं। एक सामान्य रसोई में, आपको निर्णय लेना होता है: क्या आप पहले फ्लेवर A जोड़ते हैं, फिर B? या पहले B, फिर A? क्रम स्वाद को बदल देता है।

अब, एक जादुई क्वांटम रसोई की कल्पना करें जहाँ आपके पास एक "क्वांटम स्विच" (the quantum SWITCH) है। यदि आपका कंट्रोल नॉब "0" पर सेट है, तो आप A फिर B जोड़ते हैं। यदि यह "1" पर सेट है, तो आप B फिर A जोड़ते हैं। लेकिन यहाँ जादू है: यदि आप नॉब को सुपरपोजिशन (एक साथ 0 और 1 दोनों) में रखते हैं, तो व्यंजन दोनों क्रमों का सुपरपोजिशन बन जाता है। आपको एक ऐसा स्वाद मिलता है जो एक ही समय में "A-फिर-B" और "B-फिर-A" दोनों है। यह एक शक्तिशाली उपकरण है जो सामान्य कंप्यूटर की तुलना में कुछ गणितीय समस्याओं को तेज़ी से हल कर सकता है।

हालाँकि, इस जादुई रसोई के लिए कोड लिखने की कोशिश करने वाले प्रोग्रामर वर्षों तक एक दीवार से टकराते रहे। उन्होंने एक मानक "इफ-देन-एल्स" (if-then-else) कमांड का उपयोग करने की कोशिश की (जैसे यदि नॉब 1 है तो A करें अन्यथा B करें)। समस्या यह थी कि जब नॉब सुपरपोजिशन में होता था, तो कोड को यह नहीं पता चलता था कि "एल्स" (else) वाले हिस्से को सही ढंग से कैसे संभालना है। यह दो अलग-अलग रेसिपी को मिलाने की कोशिश करने जैसा था जहाँ उनके चरण आपस में मेल नहीं खाते थे।

लेखक इसे "कॉर्डस्पोंडेंस समस्या" (Correspondence Problem) कहते हैं। कल्पना कीजिए कि आप दो अलग-अलग ढेरों से मोज़े मिला रहे हैं। यदि आपके पास "देन" (then) शाखा में लाल मोज़ों का ढेर है और "एल्स" (else) शाखा में नीले मोज़ों का ढेर है, तो आप कैसे जानेंगे कि कौन सा लाल मोजा किस नीले मोज़े से मेल खाता है? पुराने प्रोग्रामिंग भाषाओं में, कंप्यूटर बस अनुमान लगा लेता था या एक रैंडम मिलान चुन लेता था। कभी-कभी वे पूरी तरह से मेल खाते थे, और कभी-कभी वे गलत मेल खाते थे। जब मिलान गलत होता था, तो क्वांटम जादू टूट जाता था, और परिणाम वास्तविक क्वांटम SWITCH नहीं रह जाता था। यह बस एक अस्त-व्यस्त, अनिर्धारित गड़बड़ी बन जाता था।

समाधान: "एक-उपयोग" का नियम

हिराटा और सुकाडा ने महसूस किया कि पुराने तरीके इसलिए विफल रहे क्योंकि वे कंप्यूटर को "इफ" (if) स्टेटमेंट की दो शाखाओं को स्वतंत्र, असंबद्ध दुनियाओं के रूप में मानने की अनुमति देते थे। इसे ठीक करने के लिए, उन्होंने तर्क के एक सिद्धांत पर आधारित एक सख्त नियम पेश किया जिसे रैखिकता (linearity) कहा जाता है।

उनकी नई भाषा में, वे एक नियम लागू करते हैं: प्रत्येक क्वांटम ऑपरेशन का उपयोग ठीक एक बार किया जाना चाहिए।

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

इस नियम के कारण, "देन" शाखा और "एल्स" शाखा के "मोज़े" खुद को पूरी तरह से मिलाने के लिए मजबूर होते हैं। कंप्यूटर अब अनुमान नहीं लगा सकता या रैंडम मिलान नहीं चुन सकता। "कॉर्डस्पोंडेंस समस्या" समाप्त हो जाती है क्योंकि भाषा की संरचना स्वयं यह गारंटी देती है कि ऑपरेशन्स सही ढंग से संरेखित (line up) होते हैं।

इसका भविष्य के लिए क्या अर्थ है

लेखकों ने केवल इस विचार का सुझाव नहीं दिया; उन्होंने यह साबित करने के लिए Qif नामक एक पूर्ण प्रोग्रामिंग भाषा बनाई। उन्होंने दिखाया कि:

1. यह गणितीय रूप से सुदृढ़ है: उन्होंने सिद्ध किया कि उनकी भाषा हमेशा एक एकल, सही उत्तर देती है, चाहे क्वांटम ऑपरेशन्स कितने भी जटिल क्यों न हों।
2. यह भौतिक रूप से संभव है: उन्होंने दिखाया कि उनकी भाषा में लिखा गया कोई भी प्रोग्राम एक वास्तविक क्वांटम सर्किट (एक भौतिक मशीन) में बदला जा सकता है जिसे वास्तव में बनाया जा सकता है।
3. यह अपने प्रकार का पहला है: जबकि अन्य भाषाओं ने ऐसा करने की कोशिश की, या तो उन्होंने लिखे जाने वाले प्रोग्रामों के प्रकारों को सीमित कर दिया या "क्रमों के सुपरपोजिशन" को सही ढंग से संभालने में विफल रहीं। यह पहली भाषा है जो किसी भी सामान्य क्वांटम ऑपरेशन के लिए क्वांटम SWITCH का वर्णन कर सकती है, जिसमें वे भी शामिल हैं जिनमें माप (measurements) शामिल हैं (जैसे सिक्के के उछाल के परिणाम की जाँच करना)।

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

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