⚛️ quantum physics

Quantum CORDIC -- Arcsine on a Budget

यह शोध पत्र गैर-प्रतिवर्ती (non-reversible) ऑपरेशन्स से बचने के लिए शास्त्रीय CORDIC विधि को अनुकूलित करके, n बिट्स की सटीकता के लिए O(n) क्यूबिट्स की स्पेस कॉम्प्लेक्सिटी और O(n²) की CNOT गणना के साथ, आर्क्सिन (arcsine) फलन की गणना करने के लिए एक प्रतिवर्ती क्वांटम एल्गोरिदम प्रस्तुत करता है।

मूल लेखक: Iain Burge, Michel Barbeau, Joaquin Garcia-Alfaro

प्रकाशित 2026-04-29

📖 5 मिनट में पढ़ें🧠 गहराई से पढ़ें

CC BY 4.0

मूल लेखक: Iain Burge, Michel Barbeau, Joaquin Garcia-Alfaro

मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। ✨ नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें

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

यह शोध पत्र एक बहुत ही चतुर तरीके से एक बहुत कठिन गणितीय समस्या को हल करने का परिचय देता है—आर्क्सिन (arcsine) फंक्शन की गणना करना (जो अनिवार्य रूप से यह पता लगाने जैसा है कि एक त्रिभुज की ऊंचाई ज्ञात होने पर उसका कोण क्या होगा)—और वह भी केवल उन बुनियादी, कम लागत वाले उपकरणों का उपयोग करके।

यहाँ उनके समाधान का रोजमर्रा के उपमाओं (analogies) का उपयोग करके विवरण दिया गया है:

1. समस्या: "महंगा" गणित

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

आमतौर पर, क्वांटम कंप्यूटर पर यह गणित करना ऐसा है जैसे केवल एक हथौड़े और एक चम्मच वाले किचन में केक बनाने की कोशिश करना। इसके लिए जटिल, महंगे ऑपरेशन्स की आवश्यकता होती है जिन्हें वर्तमान क्वांटम कंप्यूटर आसानी से संभाल नहीं सकते।

2. पुराना समाधान: "CORDIC" कंपास

लेखक 1950 के दशक की एक ट्रिक से उधार लेते हैं जिसे CORDIC (COordinate Rotation DIgital Computer) कहा जाता है।

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

3. बाधा: क्वांटम का "डेटा डिलीट न करने" का नियम

एक पेच है। क्वांटम कंप्यूटर एक सख्त नियम का पालन करते हैं: आप जानकारी को डिलीट नहीं कर सकते। 1950 के दशक के पुराने CORDIC संस्करण में, कंप्यूटर एक स्टेप की गणना करता था, परिणाम का उपयोग करता था, और फिर जगह बचाने के लिए पुराने नंबरों को फेंक देता था।

क्वांटम दुनिया में, नंबरों को फेंकना कागज के टुकड़े को जलाकर वापस वैसा ही करने की कोशिश करने जैसा है; यह क्वांटम मशीनों के भौतिकी के नियमों को तोड़ देता है। एल्गोरिदम को रिवर्सिबल (reversible) होना चाहिए, जिसका अर्थ है कि आपको अपने मूल नंबरों को वापस पाने के लिए चरणों को उल्टा (backward) चलाने में सक्षम होना चाहिए।

4. नवाचार: "रिवर्सिबल" CORDIC

लेखकों ने यह पता लगाया कि "नो-डिलीटिंग" नियम को तोड़े बिना CORDIC "कंपास" को कैसे काम कराया जाए।

ट्रिक: केवल कोण की गणना करने और मध्यवर्ती चरणों को भूल जाने के बजाय, उन्होंने एक ऐसी प्रणाली बनाई जो "ब्रेडक्रम्ब्स (रोटी के टुकड़ों) का निशान" रखती है। वे संख्याओं को बिट्स शिफ्ट करके गुणा करने का एक विशेष तरीका उपयोग करते हैं (जो सस्ता और आसान है) और हर हरकत को सावधानीपूर्वक ट्रैक करते हैं ताकि, एक बार कोण मिल जाने के बाद, वे अपने कदमों को पीछे की ओर ट्रेस कर सकें ताकि गंदगी साफ की जा सके और कंप्यूटर को एक स्वच्छ अवस्था में वापस लाया जा सके।
परिणाम: उन्होंने एक क्वांटम सर्किट बनाया जो केवल जोड़ (additions) और बिट-शिफ्ट का उपयोग करके आर्क्सिन की गणना करता है। यह क्वांटम बिट्स (qubits) की संख्या का उपयोग करता है जो उस सटीकता के समान बढ़ती है जिसे आप चाहते हैं (यदि आप 10 बिट की सटीकता चाहते हैं, तो आपको लगभग 10 क्यूबिट्स की आवश्यकता होगी, लाखों की नहीं)।

5. यह क्यों महत्वपूर्ण है (द "डिजिटल-टू-एम्प्लीट्यूड" मैजिक)

शोध पत्र दिखाता है कि इस नए टूल का उपयोग "क्वांटम डिजिटल-टू-एनालॉग" रूपांतरण करने के लिए कैसे किया जा सकता है।

उपमा: कल्पना कीजिए कि आपके पास एक डिजिटल स्विच है जो या तो ON है या OFF। आप इसे एक डिमर स्विच में बदलना चाहते हैं जहाँ चमक एक प्रायिकता (probability) का प्रतिनिधित्व करती है।
अनुप्रयोग: अपने नए CORDIC मेथड का उपयोग करके, वे एक डिजिटल संख्या (जैसे बाइनरी कोड) को बिना महंगे हार्डवेयर के एक "डिमर" सेटिंग (प्रायिकता एम्प्लीट्यूड) में सुचारू रूप से बदल सकते हैं।

दावों का सारांश

शोध पत्र का दावा है कि उन्होंने:

एक पुराने, कुशल एल्गोरिदम (CORDIC) को क्वांटम कंप्यूटिंग के सख्त नियमों के लिए अनुकूलित (adapted) किया है।
यह हल (solved) किया है कि इसे "रिवर्सिबल" कैसे बनाया जाए ताकि यह क्वांटम नियमों को न तोड़े।
सिद्ध (demonstrated) किया है कि यह विधि कुशल है, जिसमें आवश्यकता होती है:
- स्पेस (Space): सटीकता के समान क्यूबिट्स की संख्या (लीनियर)।
- समय (Time): सटीकता के गुणनफल और लॉग के समान चरणों की संख्या।
- ऑपरेशन्स (Operations): सटीकता के वर्ग के समान कनेक्शनों (CNOTs) की संख्या।
सिमुलेशन के माध्यम से सिद्ध (proven) किया है कि यह विधि काम करती है और इसे HHL (रैखिक समीकरणों को हल करना), मोंटे कार्लो मेथड्स (यादृच्छिकता का अनुकरण करना), और शाप्ले वैल्यू एस्टिमेशन (एक समूह में श्रेय का निष्पक्ष रूप से विभाजन) जैसे प्रसिद्ध क्वांटम एल्गोरिदम के लिए एक बिल्डिंग ब्लॉक के रूप में उपयोग किया जा सकता है।

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

यहाँ इयान बर्गे, मिशेल बारबो और जोकिन गार्सिया-अल्फारो के शोध पत्र "क्वांटम CORDIC — Arcsine on a Budget" का विस्तृत तकनीकी सारांश दिया गया है।

1. समस्या विवरण (Problem Statement)

यह शोध पत्र क्वांटम कंप्यूटिंग के संदर्भ में मनचाही सटीकता के साथ आर्क्सिन फलन ( $\arcsin$ ) की कुशलतापूर्वक गणना करने की कम्प्यूटेशनल चुनौती को संबोधित करता है। यह फलन कई मौलिक क्वांटम एल्गोरिदम के लिए एक महत्वपूर्ण पूर्व शर्त है, जिनमें शामिल हैं:

हैरो-हैसेमिड-लॉयड (HHL) एल्गोरिदम: समीकरणों के रैखिक सिस्टम को हल करने के लिए।
क्वांटम डिजिटल-टू-एनालॉग कन्वर्जन (QDAC): बाइनरी स्ट्रिंग्स को प्रायिकता आयामों (probability amplitudes) में बदलना (जैसे, $|x\rangle \to \sqrt{1-\Phi(x)}|0\rangle + \sqrt{\Phi(x)}|1\rangle$ )।
क्वांटम मोंटे कार्लो विधियाँ: स्टोकेस्टिक सिमुलेशन को गति देने के लिए।
शापली वैल्यू एस्टीमेशन (Shapely value estimation): सहयोगात्मक गेम थ्योरी में निष्पक्ष आवंटन के लिए।

इनवर्स ट्रिगोनोमेट्रिक फलनों के मौजूदा क्वांटम दृष्टिकोण अक्सर पीसवाइज पॉलिनोमियल एप्रोक्सिमेशन या इटरेटिव बाइनरी सर्च पर निर्भर करते हैं। ये विधियाँ आमतौर पर महत्वपूर्ण संसाधनों की आवश्यकता होती हैं, जैसे कि मेमोरी एक्सेस (qRAM), जटिल गुणन (complex multiplication), या वर्ग-मूल (square-root) संचालन, जो उन्हें निकट-अवधि (near-term), संसाधन-सीमित ("बजट") क्वांटम हार्डवेयर पर लागू करना कठिन बनाता है।

2. कार्यप्रणाली (Methodology)

लेखक COordinate Rotation DIgital Computer (CORDIC) एल्गोरिदम को क्वांटम डोमेन में अनुकूलित करने का प्रस्ताव देते हैं, जो कि 1950 के दशक की एक क्लासिकल इटरेटिव तकनीक है जिसे कमजोर हार्डवेयर के लिए डिज़ाइन किया गया था।

मुख्य चुनौतियाँ और समाधान

क्वांटम CORDIC के लिए प्राथमिक चुनौती प्रतिवर्तीता (reversibility) है। क्लासिकल CORDIC गैर-प्रतिवर्ती ऑपरेशन्स (जैसे कंडीशनल स्वैप और वेरिएबल्स को ओवरराइट करना) का उपयोग करता है जो क्वांटम सूचना को नष्ट कर देते हैं। लेखक प्रत्येक चरण को प्रतिवर्ती बनाने के लिए एक विधि का विवरण देते हैं:

फिक्स्ड-पॉइंट रिप्रेजेंटेशन: सभी वेरिएबल्स ( $\theta, x, y, t$ ) को फिक्स्ड-पॉइंट टूज़ कॉम्प्लीमेंट नंबरों के रूप में दर्शाया गया है। यह ओवरफ्लो समस्याओं से बचाता है और 2 की घातों द्वारा गुणा करने के लिए सरल बिट-शिफ्ट्स के उपयोग की अनुमति देता है।
रिवर्सिबल लॉजिक गेट्स:
- साइन डिटेक्शन (Sign Detection): एल्गोरिदम साइन बिट्स के आधार पर रोटेशन दिशा निर्धारित करता है। इसे इनपुट स्टेट को नष्ट किए बिना कंट्रोल बिट $d_i$ को कंप्यूट करने के लिए टोफोली (Toffoli) और CNOT गेट्स का उपयोग करके लागू किया गया है।
- स्यूडो-रोटेशन (Pseudo-Rotation): मुख्य रोटेशन स्टेप में $x' = x - 2^{-i}y$ और $y' = y + 2^{-i}x$ शामिल है। चूंकि क्वांटम कंप्यूटर कुशलतापूर्वक मनचाहा गुणा नहीं कर सकते, इसलिए लेखक केवल जोड़ (additions) और बिट-शिफ्ट्स का उपयोग करके $(1 + 2^{-k})$ द्वारा गुणा करने का अनुमान लगाने के लिए एक विशेष रिवर्सिबल मल्टीप्लिकेशन एल्गोरिदम (एल्गोरिदम 2) का उपयोग करते हैं जो फाइबोनैकी अनुक्रमों पर आधारित है।
- अनकंप्यूटेशन (Uncomputation): प्रतिवर्तीता बनाए रखने के लिए, एल्गोरिदम परिणाम की गणना करता है, आवश्यक रूपांतरण लागू करता है, और फिर वांछित परिणाम को छोड़कर सहायक रजिस्टरों को $|0\rangle$ अवस्था में वापस लाने के लिए सहायक गणनाओं को उल्टा (uncompute) करता है।

क्वांटम CORDIC प्रक्रिया

एल्गोरिदम एक वेक्टर $(x, y)$ को लक्ष्य वेक्टर $t$ द्वारा परिभाषित वेक्टर की ओर इटरेटिव रूप से रोटेट करता है।

इनिशियलाइजेशन (Initialization): इनपुट $t$ को एक वेक्टर में मैप किया जाता है।
इटरेशन (Iteration): $n$ $n$ इटरेशन के लिए (जहाँ $n$ $n$ प्रिसिजन बिट्स है):
1. $t - y$ के साइन के आधार पर रोटेशन दिशा ( $d_i$ ) निर्धारित करें।
2. $x$ और $y$ को कंडीशनली स्वैप करें।
3. स्यूडो-रोटेशन (बिट-शिफ्ट के साथ एडिशन/सबट्रैक्शन) करें।
4. यदि आवश्यक हो तो अनस्वैप (unswap) करें।
5. स्यूडो-रोटेशन के कारण होने वाले वेक्टर स्ट्रेच को कंपन करने के लिए लक्ष्य $t$ को स्केल करें।
6. $\theta$ को संचित करने के लिए प्री-कंप्यूटेड $\arctan(2^{-i})$ टर्म्स को जोड़ें।
आउटपुट: संचित कोण $\theta$ , $\arcsin(t)$ का अनुमान लगाता है।

3. मुख्य योगदान (Key Contributions)

प्रथम रिवर्सिबल क्वांटम CORDIC फॉर आर्क्सिन: यह शोध पत्र CORDIC आर्किटेक्चर का उपयोग करके $\arcsin$ की गणना के लिए एक पूर्णतः रिवर्सिबल क्वांटम सर्किट का पहला विस्तृत निर्माण प्रदान करता है।
संसाधन-कुशल डिज़ाइन: यह विधि महंगे ऑपरेशन्स जैसे पूर्ण गुणा या वर्ग-मूल से बचती है, और इसके बजाय बिट-शिफ्ट्स और एडिशन्स पर निर्भर करती है, जो क्वांटम हार्डवेयर के लिए नेटिव हैं।
एल्गोरिद्मिक अनुकूलन: लेखकों ने सफलतापूर्वक क्लासिकल CORDIC लॉजिक (विशेष रूप से Mazenc et al. वेरिएंट) को क्वांटम सर्किट में अनुवादित किया है, जिससे कंडीशनल स्वैप और इटरेटिव अपडेट की गैर-प्रतिवर्तीता की समस्या हल हुई है।
QDAC के लिए अनुप्रयोग: वे एक पूर्ण वर्कफ़्लो प्रदर्शित करते हैं कि कैसे एक बाइनरी वैल्यू $h_k$ को एक क्यूबिट के प्रायिकता आयाम $\sqrt{h_k}$ में क्वांटम CORDIC प्रिमिटिव का उपयोग करके एनकोड किया जाए।

4. परिणाम और जटिलता विश्लेषण (Results and Complexity Analysis)

लेखक सैद्धांतिक जटिलता सीमाएं और सिमुलेशन परिणाम (Qiskit और क्लासिकल सिम्युलेटर्स का उपयोग करके) प्रदान करते हैं।

स्पेस कॉम्प्लेक्सिटी (Space Complexity): $O(n)$ $O (n)$ क्यूबिट्स।
- $n$ बिट्स की प्रिसिजन के लिए लगभग $5n - 1$ क्यूबिट्स की आवश्यकता होती है ( $x, y, t, d$ के लिए रजिस्टर्स, और मल्टीप्लिकेशन के लिए एक सहायक रजिस्टर)।
टाइम/डेप्थ कॉम्प्लेक्सिटी (Time/Depth Complexity): $O(n \log n)$ $O (n lo g n)$ लेयर्स।
- सर्किट डेप्थ रिवर्सिबल मल्टीप्लिकेशन स्टेप्स के लिए आवश्यक एडिशन ऑपरेशन्स द्वारा डोमिनेटेड है।
गेट काउंट (CNOT): $O(n^2)$ $O (n^{2})$ ।
- CNOT गेट्स की संख्या प्रिसिजन बिट्स के साथ द्विघात (quadratically) रूप से स्केल करती है।
सटीकता (Accuracy):
- $n=4, 5, 6$ (क्वांटम) और $n=16$ (क्लासिकल) के लिए सिमुलेशन दिखाते हैं कि जैसे-जैसे $n$ बढ़ता है, त्रुटि (error) कम होती जाती है।
- त्रुटि $O(2^{-n})$ के क्रम की है, जो $n$ बढ़ाकर मनचाही सटीकता प्राप्त करने की अनुमति देती है।
प्रदर्शन (Performance): विधि को लो-टू-मीडियम प्रिसिजन अनुप्रयोगों के लिए अत्यधिक प्रभावी दिखाया गया है, जो शुरुआती फॉल्ट-टोलरेंट क्वांटम हार्डवेयर के लिए सबसे अधिक प्रासंगिक हैं।

5. महत्व (Significance)

यह कार्य कई कारणों से महत्वपूर्ण है:

मौलिक एल्गोरिदम को सक्षम बनाना: $\arcsin$ की गणना के लिए एक कुशल, कम-संसाधन विधि प्रदान करके, यह शोध पत्र HHL एल्गोरिदम, क्वांटम मोंटे कार्लो सिमुलेशन और शापली वैल्यू एस्टीमेशन के लिए एक प्रमुख बाधा को दूर करता है।
हार्डवेयर अनुकूलता: "बजट" दृष्टिकोण (केवल शिफ्ट और ऐड का उपयोग करना) शुरुआती फॉल्ट-टोलरेंट क्वांटम कंप्यूटरों के लिए आदर्श है जहाँ गेट काउंट और क्यूबिट कोहेरेंस टाइम सीमित होते हैं। यह qRAM या जटिल अर्थमैटिक यूनिट्स के भारी ओवरहेड से बचता है।
मॉड्यूलरिटी: प्रस्तावित CORDIC मॉड्यूल को उसी सर्किट आर्किटेक्चर के भीतर अन्य मौलिक फलनों (हाइपरबोलिक, लॉगरिदमिक, एक्सपोनेंशियल) की गणना करने के लिए विस्तारित किया जा सकता है, जिससे यह एक मानक बिल्डिंग ब्लॉक बन सकता है।
व्यावहारिकता: यह शोध पत्र क्लासिकल एम्बेडेड कंप्यूटिंग तकनीकों (CORDIC) और आधुनिक क्वांटम एल्गोरिदम डिज़ाइन के बीच के अंतर को पाटता है, यह सिद्ध करता है कि "पुराने" कुशल एल्गोरिदम को क्वांटम युग के लिए पुनर्जीवित किया जा सकता है।

निष्कर्षतः, यह शोध पत्र आवश्यक ट्रिगोनोमेट्रिक फलनों को क्वांटम हार्डवेयर पर लागू करने के लिए एक व्यवहार्य, संसाधन-सचेत मार्ग प्रस्तुत करता है, जो सीधे कई उच्च-प्रभाव वाले क्वांटम एल्गोरिदम के व्यावहारिक परिनियोजन को सुगम बनाता है।