Ancilla-free optimal quantum adder

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

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

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

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

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

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

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

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

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