Granthi: Higher-Order Quantum Programming via Unitary Wiring
यह शोधपत्र ग्रंथी (Granthi) को प्रस्तुत करता है, जो एक पूर्णतः यूनिटरी उच्च-क्रम क्वांटम प्रोग्रामिंग भाषा है जो क्वांटम प्रोग्रामों को प्रथम-श्रेणी के मानों (first-class values) के रूप में मानती है और टैग-संरक्षण रूटिंग (tag-preserving routing) के माध्यम से सुसंगत नियंत्रण प्रवाह (coherent control flow) का समर्थन करती है, जिससे क्वांटम स्विच जैसे जटिल कंस्ट्रक्ट्स का सीधे निष्पादन योग्य क्वांटम सर्किटों में संकलन संभव हो पाता है।
मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें
क्वांटम कंप्यूटिंग उन समस्याओं को हल करने का वादा करती है जिन्हें सुलझाने में साधारण कंप्यूटरों को सहस्राब्दियों लग सकते हैं, जैसे कि नई दवाओं को डिजाइन करना या जटिल कोड को तोड़ना। लेकिन इस शक्ति का उपयोग करने के लिए, हमें मशीन को यह बताने के तरीके की आवश्यकता है कि उसे क्या करना है। वर्तमान में, इन मशीनों को नियंत्रित करने वाला सॉफ़्टवेयर एक विभाजित आर्किटेक्चर पर काम करता है। संचालन का "मस्तिष्क" एक क्लासिकल कंप्यूटर पर चलता है, जो यह तय करने के लिए मानक प्रोग्रामिंग लॉजिक का उपयोग करता है कि कौन से क्वांटम चरण लेने हैं। क्वांटम हिस्सा स्वयं एक सरल, प्रथम-क्रम (first-order) उपकरण के रूप में माना जाता है: यह डेटा रख सकता है, लेकिन इसमें अन्य प्रोग्राम नहीं रखे जा सकते। इस मौजूदा मॉडल में, आप एक क्वांटम फंक्शन को एक संख्या पास कर सकते हैं, लेकिन आप स्वयं एक फंक्शन को पास नहीं कर सकते। क्वांटम परत सूचना के व्यक्तिगत बिट्स के हेरफेर तक सीमित है, जबकि उन बिट्स के बीच परस्पर क्रिया कैसे होती है, इसका जटिल तर्क पूरी तरह से क्लासिकल होस्ट द्वारा प्रबंधित किया जाता है। यह अलगाव काम तो करता है, लेकिन यह हमारी निर्माण क्षमता को सीमित करता है, जिससे क्वांटम सिस्टम को विभिन्न ऑपरेशनों को कैसे संयोजित किया जाए, इसे नियंत्रित करने के लिए अपनी अनूठी क्षमता (एक साथ कई अवस्थाओं में अस्तित्व में रहने की) का उपयोग करने से रोका जाता है।
शोधकर्ताओं सैमसन अब्राम्स्की और राधा जगदीसन ने 'ग्रंथी' (Granthi) नामक एक नया प्रोग्रामिंग भाषा पेश की है जो इस सीमा को चुनौती देती है। उन्होंने एक ऐसा सिस्टम बनाया है जहाँ क्वांटम प्रोग्रामों को 'फर्स्ट-क्लास सिटीजन' माना जाता है, जिसका अर्थ है कि उन्हें डेटा की तरह इधर-उधर भेजा जा सकता है, परिणाम के रूप में वापस प्राप्त किया जा सकता है, और अन्य प्रोग्रामों के साथ जोड़ा जा सकता है। मुख्य नवाचार यह है कि ग्रंथी ऑपरेशनों के क्रम को सुपरपोजिशन (superposition) की स्थिति में रखने की अनुमति देता है। भौतिक दुनिया में, इसका अर्थ है कि एक क्वांटम कंप्यूटर ऑपरेशन A के बाद ऑपरेशन B, और ऑपरेशन B के बाद ऑपरेशन A, दोनों को एक साथ कर सकता है, और मशीन दोनों प्रकार के 'कॉज़ल ऑर्डर्स' (causal orders) के मिश्रण में मौजूद हो सकती है। यह केवल एक सैद्धांतिक जिज्ञासा नहीं है; यह एक वास्तविक भौतिक घटना है जिसे 'क्वांटम स्विच' के रूप में जाना जाता है, जिसे कम्प्यूटेशनल लाभ प्रदान करने के लिए दिखाया गया है। ग्रंथी को इस तरह के नियंत्रण को प्रोग्राम करने योग्य और संकलित (compilable) बनाने के लिए डिज़ाइन किया गया है, जो इन उच्च-स्तरीय अवधारणाओं को वास्तविक सर्किट में बदल देता है जिन्हें हार्डवेयर पर चलाया जा सकता है।
यह भाषा "यूनिटैरिटी" (unitarity) के सख्त आधार पर बनी है, जो एक भौतिक नियम है कि एक बंद क्वांटम सिस्टम में सूचना खोई या नष्ट नहीं की जा सकती। मानक प्रोग्रामिंग में, आप अक्सर डेटा को फेंक सकते हैं या इसे स्वतंत्र रूप से कॉपी कर सकते हैं, लेकिन क्वांटम क्षेत्र में, ऐसा करने से भौतिकी के नियम टूट जाते हैं। ग्रंथी एक ऐसा अनुशासन लागू करता है जहाँ प्रत्येक चरण प्रतिवर्ती (reversible) होता है। इसे प्राप्त करने के लिए, शोधकर्ताओं ने इस बात की पुनर्कल्पना की कि प्रोग्राम कैसे जुड़ते हैं। एक फंक्शन को एक 'ब्लैक बॉक्स' के रूप में देखने के बजाय जो इनपुट लेता है और आउटपुट देता है, वे इसे विशिष्ट पोर्ट्स वाले एक घटक के रूप में देखते हैं। दो प्रोग्रामों को जोड़ना दो इलेक्ट्रॉनिक मॉड्यूल को आपस में तार (wire) से जोड़ने जैसा है; सूचना बिना मिटे कनेक्शनों के माध्यम से प्रवाहित होती है। यह "वायरिंग" परिप्रेक्ष्य भाषा को जटिल, उच्च-क्रम संरचनाओं को संभालने की अनुमति देता है जहाँ प्रोग्राम अन्य प्रोग्रामों पर कार्य करते हैं, और यह सब क्वांटम मैकेनिक्स के लिए आवश्यक सख्त प्रतिवर्तीता को बनाए रखते हुए किया जाता है।
ग्रंथी की एक प्रमुख विशेषता निर्णय लेने के प्रति उसका दृष्टिकोण है। क्लासिकल कंप्यूटिंग में, एक प्रोग्राम एक शर्त की जांच करता है और फिर एक पथ चुनता है, दूसरे को छोड़ देता है। ग्रंथी में, इस "ब्रांचिंग" (branching) को "रूटिंग" (routing) से बदल दिया गया है। जब एक प्रोग्राम किसी विकल्प का सामना करता है, तो वह एक पथ नहीं चुनता और दूसरे को भूल नहीं जाता; इसके बजाय, वह सूचना को एक साथ दोनों पथों पर भेज देता है, और इस बात का रिकॉर्ड रखता है कि कौन सा मार्ग लिया गया था। यह सुपरपोजिशन को संरक्षित करता है, जिससे अलग-अलग पथों को गणना के बाद में एक-दूसरे के साथ हस्तक्षेप (interfere) करने की अनुमति मिलती है। यह क्षमता भाषा को "कोहेरेंट कंट्रोल" (coherent control) का समर्थन करने में सक्षम बनाती है, जहाँ गणना का इतिहास स्वयं एक क्वांटम चर बन जाता है जो परिणाम को प्रभावित कर सकता है। उदाहरण के लिए, भाषा ऐसी स्थिति बना सकती है जहाँ घटनाओं का क्रम निश्चित नहीं है, बल्कि एक क्वांटम बिट पर निर्भर करता है जो अवस्थाओं के सुपरपोजिशन में है।
शोधकर्ताओं ने ग्रंथी को एक पूर्ण प्रणाली के रूप में लागू किया है, जो प्रोग्रामरों द्वारा लिखे गए उच्च-स्तरीय कोड को क्वांटम हार्डवेयर के लिए निष्पादन योग्य (executable) सर्किट में अनुवादित करता है। उन्होंने अपने सिस्टम का परीक्षण 'क्वांटम स्विच' के साथ किया, जो एक जटिल परिदृश्य है जहाँ दो ऑपरेशनों का क्रम एक क्वांटम बिट द्वारा नियंत्रित होता है। सिस्टम ने इस अमूर्त अवधारणा को एक स्टेटिक सर्किट (static circuit) में सफलतापूर्वक संकलित किया, जो गेट्स की एक निश्चित व्यवस्था है जिसे भौतिक डिवाइस पर चलाया जा सकता है। संकलन प्रक्रिया कठोर है; शोधकर्ताओं ने गणितीय रूप से सिद्ध किया है कि ग्रंथी में लिखा गया प्रत्येक सुव्यवस्थित प्रोग्राम एक वैध, प्रतिवर्ती क्वांटम सर्किट के अनुरूप है। उन्होंने यह भी प्रदर्शित किया कि भाषा परिमित नियंत्रण संरचनाओं (finite control structures), जैसे कि चक्रीय समूहों (cyclic groups) को संभाल सकती है, जिससे प्रोग्रामर टैग और डेटा के निम्न-स्तरीय विवरणों को प्रबंधित किए बिना नामित, प्रतिवर्ती ऑपरेशनों के साथ काम कर सकते हैं।
हालाँकि ग्रंथी एक महत्वपूर्ण कदम है, शोधकर्ता इस बात को लेकर स्पष्ट हैं कि यह क्या नहीं करता है। यह एक शुद्ध रूप से 'यूनिटरी' भाषा है, जिसका अर्थ है कि इसमें 'मेज़रमेंट' (measurement) शामिल नहीं है, जो एक क्वांटम सिस्टम को देखने और उसकी अवस्था को कोलैप्स (collapse) करने की प्रक्रिया है। यह रिकर्सिव टाइप्स (recursive types) या मिश्रित अवस्थाओं (mixed states) को भी हैंडल नहीं करता है, जो एक पूर्ण-स्तरीय, सामान्य-उद्देश्य वाले क्वांटम कंप्यूटर के लिए आवश्यक हैं। ये कमियाँ जानबूझकर रखी गई हैं। मेज़रमेंट और फीडबैक की जटिलता को हटाकर, शोधकर्ताओं ने एक स्वच्छ, अनुशासित कोर बनाया है जहाँ उच्च-क्रम क्वांटम नियंत्रण के अद्वितीय गुणों का अलगाव में अध्ययन और समझा जा सकता है। लक्ष्य मौजूदा क्वांटम प्रोग्रामिंग टूल्स को तुरंत बदलना नहीं है, बल्कि एक ऐसा आधारभूत स्तर प्रदान करना है जहाँ क्वांटम प्रोग्रामों की संरचना को क्लासिकल कंट्रोल के शोर के बिना खोजा जा सके।
यह कार्य इस बारे में हमारे सोचने के तरीके में एक बदलाव का प्रतिनिधित्व करता है कि सॉफ्टवेयर कैसा होना चाहिए। क्वांटम हिस्से को एक साधारण डेटा प्रोसेसर के रूप में मानने के बजाय जिसे क्लासिकल मस्तिष्क द्वारा नियंत्रित किया जाता है, ग्रंथी क्वांटम परत को एक समृद्ध, संरचित वातावरण के रूप में मानता है जो अपने स्वयं के जटिल तर्क में सक्षम है। शोधकर्ताओं ने दिखाया है कि उच्च-क्रम क्वांटम नियंत्रण न केवल भौतिक रूप से संभव है, बल्कि इसे सीधे हार्डवेयर पर संकलित होने वाली भाषा में व्यक्त भी किया जा सकता है। इन प्रोग्रामों को गणितीय रूप से सुदृढ़ सिद्ध करके और यह प्रमाणित करके कि उन्हें सर्किट के रूप में साकार किया जा सकता है, उन्होंने क्वांटम मशीनों को प्रोग्राम करने के एक नए तरीके का द्वार खोल दिया है, जहाँ नियंत्रण के प्रवाह को ही सुपरपोजिशन में रखा जा सकता है, जिससे वे कम्प्यूटेशनल संभावनाएँ खुल जाती हैं जो पहले पहुंच से बाहर थीं।
अपने क्षेत्र के पेपरों की भीड़ में उलझे हुए हैं?
आपके रिसर्च कीवर्ड से मेल खाने वाले सबसे नए और अलग सोच वाले पेपरों का रोज़ाना Digest पाएँ—तकनीकी सारांश के साथ, आपकी भाषा में।