An Initialization-free Quantum Algorithm for General Abelian Hidden Subgroup Problem

तकनीकी सारांश: सामान्य एबेलियन हिडन सबग्रुप समस्या के लिए इनिशियलाइजेशन-मुक्त क्वांटम एल्गोरिदम

समस्या विवरण
हिडन सबग्रुप प्रॉब्लम (HSP) क्वांटम कंप्यूटिंग का एक मौलिक ढांचा है जो एक अज्ञात सबग्रुप $H$ की पहचान करने का प्रयास करता है, जहाँ एक फलन $f$ दिया गया है जो $H$ के कोसेट्स (cosets) पर स्थिर रहता है और विभिन्न कोसेट्स पर भिन्न होता है। जबकि परिमित एबेलियन समूह (finite abelian group) $G$ के लिए एबेलियन हिडन सबग्रुप प्रॉब्लम (AHSP) के लिए कुशल बहुपद-समय (polynomial-time) क्वांटम एल्गोरिदम मौजूद हैं, मानक कार्यान्वयन व्यावहारिक ओवरहेड्स का सामना करते हैं। विशेष रूप से, पारंपरिक एल्गोरिदम में प्रत्येक पुनरावृत्ति (iteration) के प्रारंभ में सहायक रजिस्टर (auxiliary register) को एक निर्धारित शुद्ध अवस्था (typically $|0\rangle$) में इनिशियलाइज करने की आवश्यकता होती है। उन परिदृश्यों में जहाँ क्वांटम सबरूटीन को बार-बार निष्पादित किया जाता है या मध्यवर्ती अवस्थाओं (intermediate states) का पुन: उपयोग किया जाना चाहिए, यह इनिशियलाइजेशन की आवश्यकता एक गैर-नगण्य प्रयोगात्मक बाधा उत्पन्न करती है और स्थान दक्षता (space efficiency) को सीमित करती है।

कार्यप्रणाली
लेखक AHSP के लिए एक इनिशियलाइजेशन-मुक्त क्वांटम एल्गोरिदम प्रस्तावित करते हैं जो बिना यह आवश्यकता के कार्य करता है कि सहायक रजिस्टर को एक विशिष्ट शुद्ध अवस्था में तैयार किया जाए। मुख्य कार्यप्रणाली में निम्नलिखित चरण शामिल हैं:

1. मनमाना मिश्रित अवस्था इनपुट (Arbitrary Mixed State Input): एल्गोरिदम सहायक रजिस्टर के रूप में एक निश्चित $|0\rangle_B$ के बजाय एक मनमाने अज्ञात मिश्रित अवस्था $\rho_B = \sum_{y \in Y} \lambda_y |y\rangle_B\langle y|$ को स्वीकार करता है।
2. मानक ऑरेकल क्वेरीज़ (Standard Oracle Queries): एल्गोरिदम फलन मानों को एनकोड करने के लिए मानक क्वांटम ऑरेकल $U_f$ का उपयोग करता है।
3. यूनिटरी ऑपरेटर $S_z$: एक प्रमुख नवाचार यूनिटरी ऑपरेटर $S_z = F_M T_z^\dagger F_M$ का परिचय है, जहाँ $F_M$ क्रम $M$ के साइक्लिक समूह पर क्वांटम फूरियर ट्रांसफॉर्म (QFT) है और $T_z$ एक ट्रांसलेशन ऑपरेटर है। इस ऑपरेटर को प्रत्येक पुनरावृत्ति के भीतर दो बार लागू किया जाता है:
   • प्रथम, मुख्य रजिस्टर के फेज (phase) में फलन मानों $f(x)$ को एनकोड करने और सहायक अवस्था को रूपांतरित करने के लिए।
   • द्वितीय, सहायक रजिस्टर को "अनकंप्यूट" (uncompute) करने के लिए, जो प्रभावी रूप से उस रूपांतरण को उलट देता है जो उस पर लागू किया गया था।
4. अवस्था बहाली (State Restoration): $S_z$ को लागू करके और ऑरेकल को दूसरी बार क्वेरी करके, एल्गोरिदम यह सुनिश्चित करता है कि मुख्य रजिस्टर पर मापन परिणाम (measurement outcome) की परवाह किए बिना, सहायक रजिस्टर अपनी मूल अवस्था $|y\rangle_B$ (और फलस्वरूप मिश्रित अवस्था $\rho_B$) में वापस आ जाता है।
5. यादृच्छिकीकरण (Randomization): यह सुनिश्चित करने के लिए कि मापन परिणामों का संभाव्यता वितरण (probability distribution) मानक एल्गोरिदम के समान हो, ऑपरेटर $S_z$ को एक यादृच्छिक रूप से चुने गए पैरामीटर $z \in Y$ के साथ लागू किया जाता है।

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

• मनमानी मिश्रित अवस्थाओं के लिए सामान्यीकरण: पिछले इनिशियलाइजेशन-मुक्त कार्यों के विपरीत जो विशिष्ट समस्याओं (जैसे डौच-जोस, साइमन की समस्या) तक सीमित थे, यह एल्गोरिदम सभी परिमित एबेलियन समूहों के लिए ढांचे का विस्तार करता है।
• अवस्था रिकवरी (State Recovery): एल्गोरिदम गारंटी देता है कि गणना के बाद सहायक रजिस्टर अपनी मूल रूप में बहाल हो जाता है। यह एक ही भौतिक रजिस्टर को पुन: इनिशियलाइजेशन के बिना आगामी पुनरावृत्तियों के लिए पुन: उपयोग करने की अनुमति देता है।
• जटिलता का संरक्षण: लेखक प्रदर्शित करते हैं कि अवस्था बहाली के लिए आवश्यक अतिरिक्त संचालन (दो $S_z$ अनुप्रयोग और प्रति पुनरावृत्ति एक अतिरिक्त ऑरेकल क्वेरी) के लिए आवश्यक एसिम्प्टोटिक (asymptotic) कम्प्यूटेशनल लागत नहीं बढ़ती है।

परिणाम
यह शोध पत्र निम्नलिखित सैद्धांतिक परिणाम स्थापित करता है:

• क्वेरी और समय जटिलता: इनिशियलाइजेशन-मुक्त एल्गोरिदम के लिए $O(\log |G|)$ ऑरेकल क्वेरीज़ और $O(\log^3 |G|)$ प्रारंभिक संचालन (elementary operations) की आवश्यकता होती है। यह AHSP के लिए मानक बहुपद-समय क्वांटम एल्गोरिदम की जटिलता से मेल खाता है।
• संभाव्यता वितरण: एननिहिलेटर $H^\perp$ से एक नमूना $g$ प्राप्त करने की अपेक्षित संभावना मानक एल्गोरिदम ($|H|/|G|$) के समान है। फलस्वरूप, $H$ के जेनरेटिंग सेट को उत्पन्न करने के लिए आवश्यक पुनरावृत्तियों की संख्या $O(\log |G|)$ रहती है।
• रैखिकता (Linearity): यूनिटरी ऑपरेशन्स की रैखिकता के कारण, बहाली (restoration) एक मनमानी अज्ञात मिश्रित अवस्था के लिए भी मान्य है, न कि केवल शुद्ध अवस्थाओं के लिए।

महत्व और दावे
लेखक दावा करते हैं कि यह कार्य अवस्था इनिशियलाइजेशन से जुड़े परिचालन समय को कम करके क्वांटम एल्गोरिदम की दक्षता में सुधार करने के लिए एक आशाजनक दिशा प्रदान करता है। सहायक रजिस्टर को शुद्ध अवस्था में रीसेट करने की आवश्यकता को समाप्त करके, यह एल्गोरिदम:

1. ओवरहेड को कम करता है: अवस्था तैयारी (state preparation) से जुड़ी प्रयोगात्मक बाधा को कम करता है, जो शोर वाले इंटरमीडिएट-स्केल क्वांटम (NISQ) उपकरणों के लिए विशेष रूप से प्रासंगिक है।
2. स्थान दक्षता बढ़ाता है: मध्यवर्ती क्वांटम अवस्थाओं को सहायक रजिस्टरों के रूप में पुन: उपयोग करने में सक्षम बनाता है, जिससे संभावित रूप से कुल आवश्यक क्यूबिट्स की संख्या कम हो जाती है।
3. व्यापक प्रयोज्यता: चूंकि कई एक्सपोनेंशियल-स्पीडअप एल्गोरिदम (साइमन और शोर के एल्गोरिदम सहित) को AHSP ढांचे के भीतर तैयार किया जा सकता है, इसलिए यह इनिशियलाइजेशन-मुक्त तकनीक गणना संबंधी समस्याओं के एक विस्तृत वर्ग पर लागू होती है।

यह शोध पत्र निष्कर्ष निकालता है कि हालांकि यह एल्गोरिदम अतिरिक्त यूनिटरी ऑपरेशन्स पेश करता है, फिर भी यह अवस्था तैयारी और संसाधन पुन: प्रयोज्यता के संदर्भ में महत्वपूर्ण व्यावहारिक लाभ प्रदान करते हुए मानक विधियों के समान क्वेरी और समय जटिलता प्राप्त करता है।