⚛️ quantum physics

A log-depth in-place quantum Fourier transform that rarely needs ancillas

यह शोध पत्र "ऑप्टिमिस्टिक क्वांटम सर्किट" (optimistic quantum circuits) प्रस्तुत करता है जो अधिकांश इनपुट पर यूनिटरीज (unitaries) का सटीक अनुमान लगाने के लिए न्यूनतम एंसिल (ancilla) आवश्यकताओं के साथ एक लॉग-डेप्थ (log-depth), इन-प्लेस क्वांटम फूरियर ट्रांसफॉर्म प्राप्त करने हेतु, और ऐसे सर्किट्स को सामान्य सर्किट्स में बदलने के लिए एक रिडक्शन विधि प्रदान करने के साथ-साथ लगभग लीनियर-डेप्थ (linear-depth) गुणनखंड एल्गोरिदम को सक्षम करने के लिए विकसित किए गए हैं।

मूल लेखक: Gregory D. Kahanamoku-Meyer, John Blue, Thiago Bergamaschi, Craig Gidney, Isaac L. Chuang

प्रकाशित 2026-09-16

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

CC BY 4.0

मूल लेखक: Gregory D. Kahanamoku-Meyer, John Blue, Thiago Bergamaschi, Craig Gidney, Isaac L. Chuang

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

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

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

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

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

तकनीकी सारांश: एक लॉग-डेप्थ इन-प्लेस क्वांटम फूरियर ट्रांसफॉर्म जो शायद ही कभी एंसिला (ancillas) की आवश्यकता में है

समस्या विवरण
विशिष्ट यूनिटरी (unitaries) के लिए क्वांटम सर्किट डिजाइन करने के लिए अक्सर संसाधन बाधाओं (डेप्थ, क्वबिट संख्या, लोकैलिटी) और सन्निकटन त्रुटि (approximation error) के बीच संतुलन बनाने की आवश्यकता होती है। पारंपरिक दृष्टिकोणों के लिए एक ऐसे सर्किट की आवश्यकता होती है जो सभी संभावित इनपुट अवस्थाओं पर कम त्रुटि के साथ एक यूनिटरी का सन्निकटन करे। हालाँकि, इस "वर्स्ट-केस" (worst-case) गारंटी को प्राप्त करने के लिए अक्सर महत्वपूर्ण संसाधनों की आवश्यकता होती है, जैसे कि बड़ी संख्या में एंसिला क्वबिट्स, लंबी दूरी के गेट्स, या गहरे (deep) सर्किट। उदाहरण के लिए, पूर्ववर्ती लॉगरिदमिक-डेप्थ क्वांटम फूरियर ट्रांसफॉर्म (QFT) निर्माणों को $O(n)$ एंसिला क्वबिट्स, लंबी दूरी की कनेक्टिविटी, या मेजरमेंट-आधारित फीडफॉरवर्ड की आवश्यकता थी। लेखक यह तर्क देते हैं कि बड़े क्वांटम एल्गोरिदम के भीतर कई अनुप्रयोगों के लिए, यह पर्याप्त है कि एक "अच्छे" इनपुट पर अच्छा सन्निकटन प्राप्त किया जाए, बजाय इसके कि सभी इनपुट पर, बशर्ते कि "बुरे" इनपुट (जहाँ त्रुटि अधिक हो) दुर्लभ हों या उन्हें रिडक्शन (reduction) के माध्यम से संभाला जा सके।

कार्यप्रणाली
यह शोध पत्र "ऑप्टिमिस्टिक क्वांटम सर्किट्स" (optimistic quantum circuits) का एक ढांचा पेश करता है और इसे QFT पर लागू करता है, जिसके बाद 'वर्स्ट-केस' इनपुट को संभालने के लिए एक रिडक्शन तकनीक का उपयोग किया जाता है।

ऑप्टिमिस्टिक क्वांटम सर्किट:
लेखक एक ऑप्टिमिस्टिक क्वांटम सर्किट $C$ (जो यूनिटरी $\tilde{U}$ को प्रेरित करता है) को एक लक्षित यूनिटरी $U$ के लिए इस प्रकार परिभाषित करते हैं कि किसी भी ऑर्थोनॉर्मल बेस (orthonormal basis) पर औसत वर्ग त्रुटि (average squared error) $\epsilon$ से कम हो। औपचारिक रूप से, $\frac{1}{\dim \mathcal{H}} \sum_i \|\tilde{U}|\phi_i\rangle - U|\phi_i\rangle\|^2 < \epsilon$ । यह परिभाषा बेस-स्वतंत्र है और त्रुटि ऑपरेटर के फ्रोबेनियस नॉर्म (Frobenius norm) को बांधने के समकक्ष है। महत्वपूर्ण रूप से, यह "बुरे" इनपुट के एक छोटे सबस्पेस (subspace) की अनुमति देता है जहाँ त्रुटि $O(1)$ हो सकती है, बशर्ते कि यह सबस्पेस हिल्बर्ट स्पेस (Hilbert space) के केवल $O(\epsilon)$ हिस्से को घेरे हुए हो।
ऑप्टिमिस्टिक QFT निर्माण:
लेखक $n$ क्वबिट्स के लिए एक ऑप्टिमिस्टिक QFT ( $\widetilde{\text{QFT}}$ ) का निर्माण करते हैं जिसका त्रुटि पैरामीटर $\epsilon$ है।

ब्लॉकवाइज दृष्टिकोण: इनपुट रजिस्टर को आकार $m = O(\log(n/\epsilon))$ के ब्लॉक्स में विभाजित किया गया है।
फेज एस्टीमेशन ट्रिक: सर्किट इस तथ्य का लाभ उठाता है कि एक ब्लॉक पर इनवर्स QFT लागू करना फेज फैक्टर के फेज एस्टीमेशन का सन्निकटन करता है। एक ब्लॉक पर $\text{QFT}^\dagger$ लागू करके, सर्किट पड़ोसी ब्लॉक्स के फेज योगदान का अनुमान लगाता है।
कम्यूटेशन (Commutation): निर्माण $\text{QFT}^\dagger \text{QFT}$ के रूप में आइडेंटिटीज़ को सम्मिलित करता है और कम्यूटिंग ब्लॉक्स को एक-दूसरे के पार ले जाता है। यह मानक अनुमानित QFTs की लीनियर डिपेंडेंसी चेन को तोड़ देता है।
विफलता मोड (Failure Mode): फेज एस्टीमेशन तब विफल होता है (modulo $2^m$ के चारों ओर घूम जाता है) जब इनपुट स्टेट एक ब्लॉक पर $0 $या$ 2^m$ के करीब होती है (अर्थात, 0s या 1s की एक लंबी स्ट्रिंग)। ये "बुरे" सबस्पेस का निर्माण करते हैं।
संसाधन: परिणामी सर्किट की डेप्थ $O(\log(n/\epsilon))$ है, यह ठीक $n$ क्वबिट्स का उपयोग करता है (कोई एंसिला नहीं), 1D क्वबिट व्यवस्थाओं के लिए $O(\log(n/\epsilon))$ रेंज के साथ स्थानीय (local) है, और मेजरमेंट-फ्री है।

वर्स्ट-टू-एवरेज केस रिडक्शन:
उन परिदृश्यों को संबोधित करने के लिए जहाँ इनपुट "बुरे" सबस्पेस में केंद्रित हो सकते हैं, लेखक ऑप्टिमिस्टिक सर्किट्स को सामान्य अनुमानित सर्किट्स में बदलने के लिए एक रिडक्शन प्रस्तावित करते हैं।

रैंडमाइज्ड रिडक्शन: ऑप्टिमिस्टिक सर्किट लागू करने से पहले, एक यूनिटरी 1-डिजाइन से एक रैंडम यूनिटरी $V$ लागू किया जाता है। इसके बाद, $\hat{V}^\dagger = U V^\dagger U^\dagger$ लागू किया जाता है। यह इनपुट स्टेट को रैंडमाइज करता है, यह सुनिश्चित करता है कि उच्च-त्रुटि वाले सबस्पेस में लैंड करने की संभावना कम हो।
डिरांडमाइज्ड (Derandomized) रिडक्शन: रैंडमाइज्ड प्रक्रिया को $V$ के चुनाव को एक कंट्रोल रजिस्टर में एनकोड करके एक यूनिटरी ऑपरेशन में शुद्ध (purify) किया जा सकता है।
विशिष्ट 1-डिजाइन: QFT के लिए, लेखक वेइल-हाइजनबर्ग ग्रुप (Weyl-Heisenberg group) का उपयोग करते हैं (पाउली-जैसे शिफ्ट और फेज ग्रेडिएंट्स का यूनिफॉर्म सैंपलिंग) एक 1-डिजाइन के रूप में। यह चुनाव सुनिश्चित करता है कि आवश्यक रैंडमाइजेशन और अन-रैंडमाइजेशन ऑपरेशन कुशल हैं।

मुख्य योगदान और परिणाम

ऑप्टिमिस्टिक QFT: यह पेपर पहला QFT निर्माण प्रस्तुत करता है जो एक साथ निम्नलिखित प्राप्त करता है:
- डेप्थ: $O(\log(n/\epsilon))$ ।
- क्वबिट काउंट: $n$ (कोई एंसिला नहीं)।
- लोकैलिटी: $O(\log(n/\epsilon))$ रेंज (1D के लिए लोकल)।
- मेजरमेंट-फ्री।
- त्रुटि: हिल्बर्ट स्पेस के $O(\epsilon)$ हिस्से को छोड़कर सभी अवस्थाओं पर $\epsilon$ द्वारा सीमित।
ऑप्टिमिस्टिक मल्टीप्लिकेशन और फैक्टरिंग: लेखक यह प्रदर्शित करते हैं कि ऑप्टिमिस्टिक QFT का उपयोग सीधे शोर के एल्गोरिदम (Shor's algorithm) में पूर्णांक गुणनखंडन (integer factorization) के लिए किया जा सकता है। हालिया QFT-आधारित फास्ट अरिथमेटिक कंस्ट्रक्शन (विशेष रूप से एक ऑप्टिमिस्टिक मल्टीप्लायर) में ऑप्टिमिस्टिक QFT को एकीकृत करके, वे कुल $2n + O(n/\log n)$ क्वबिट्स का उपयोग करके $O(n^{1+\delta})$ डेप्थ (ट्यून करने योग्य $\delta > 0$ के लिए) के साथ फैक्टरिंग सर्किट्स प्राप्त करते हैं। यह उन पिछले तरीकों की तुलना में डेप्थ और क्वबिट दक्षता में एक महत्वपूर्ण सुधार है जिन्हें $O(n)$ एंसिला की आवश्यकता थी या गहरे सर्किट की आवश्यकता थी।
सामान्य अनुमानित QFT: ऑप्टिमिस्टिक सर्किट्स का उपयोग करके, लेखक एक अनुमानित QFT प्राप्त करते हैं जो मनमाने इनपुट पर कम त्रुटि के साथ काम करता है।
- रैंडमाइज्ड वर्जन: $n + O(n/\log(n/\epsilon))$ कुल क्वबिट्स का उपयोग करके $O(\log(n/\epsilon))$ डेप्थ प्राप्त करता है।
- डिरांडमाइज्ड (यूनिटरी) वर्जन: $3n + O(n/\log(n/\epsilon))$ कुल क्वबिट्स का उपयोग करके $O(\log(n/\epsilon))$ डेप्थ प्राप्त करता है।
- दावा किया गया है कि ये सबलीनियर एंसिला काउंट (रैंडमाइज्ड) या बिना मेजरमेंट/फीडफॉरवर्ड (डिरांडमाइज्ड) के, एसिम्प्टोटिक रूप से इष्टतम लॉगरिदमिक डेप्थ प्राप्त करने वाले पहले निर्माण हैं।

महत्व
यह पेपर दावा करता है कि "ऑप्टिमिस्टिक क्वांटम सर्किट्स" क्वांटम एल्गोरिदम डिजाइन के लिए एक व्यावहारिक प्रतिमान परिवर्तन (paradigm shift) प्रदान करते हैं। विशिष्ट एल्गोरिदम (जैसे शोर का एल्गोरिदम) के विशिष्ट संदर्भों में सांख्यिकीय रूप से कम होने वाली विफलता मोड को स्वीकार करके, एक रिसोर्स ओवरहेड (डेप्थ और एंसिला काउंट) को काफी कम किया जा सकता है। ऑप्टिमिस्टिक QFT का विशिष्ट निर्माण फैक्टरिंग सर्किट्स में QFT की बाधा को दूर करता है, जिससे न्यूनतम क्वबिट ओवरहेड के साथ लगभग लीनियर-डेप्थ फैक्टरिंग संभव होती है। इसके अलावा, प्रदान की गई रिडक्शन तकनीक एक सामान्य तरीका प्रदान करती है जिससे आवश्यकतानुसार ऑप्टिमिस्टिक सर्किट्स को मजबूत, वर्स्ट-केस गारंटी में बदला जा सकता है, जो ह्यूरिस्टिक दक्षता और कठोर शुद्धता के बीच के अंतर को पाटती है। यह कार्य सुझाव देता है कि जैसे-जैसे क्वांटम हार्डवेयर परिपक्व होगा, स्पेस-टाइम वॉल्यूम और डेप्थ के बीच का ट्रेड-ऑफ महत्वपूर्ण हो जाएगा, और ये निर्माण दोनों को अनुकूलित करने का एक मार्ग प्रदान करते हैं।

इसी तरह के और पेपर