Quantum Kravchuk Transform using $\mathfrak{su}(2)$ fast-forwarding

तकनीकी सारांश: su(2) फ़ास्ट-फॉरवर्डिंग का उपयोग करके क्वांटम क्रावक ट्रांसफॉर्म (Quantum Kravchuk Transform)

समस्या विवरण
क्रावक ट्रांसफॉर्म (Kravchuk transform), जो विविक्त क्रावक बहुपदों (discrete Kravchuk polynomials) से निर्मित है, डिजिटल सिग्नल प्रोसेसिंग, कोडिंग थ्योरी, प्रायिकता और हाल ही में डिकोडेड क्वांटम इंटरफेरोमेट्री (DQI) अवस्था तैयारी में एक मौलिक उपकरण है। यह ट्रांसफॉर्म एक फलन (function) को, जो एक विविक्त ग्रिड $X_N = \{0, 1, \dots, N\}$ पर परिभाषित है, क्रावक फलनों के आधार (basis) पर मैप करता है। जबकि विविक्त क्रावक ट्रांसफॉर्म का शास्त्रीय मूल्यांकन $N$ में बहुपद रूप से स्केल करता है (विशेष रूप से एक त्रिडायगोनल मैट्रिक्स के पाडे सन्निकटन (Padé approximations) का उपयोग करके प्रति मैट्रिक्स-वेक्टर गुणन में $O(N)$), लेखक एक ऐसा क्वांटम एल्गोरिदम प्राप्त करने का लक्ष्य रखते हैं जिसका आयाम $N$ और व्युत्क्रम त्रुटि पैरामीटर $1/\epsilon$ दोनों में लॉगरिदमिक स्केलिंग हो। चुनौती यह है कि ट्रांसफॉर्म जनरेट करने वाला ऑपरेटर, जब इसे एक हैमिल्टोनियन विकास (Hamiltonian evolution) के रूप में देखा जाता है, तो इसका स्पेक्ट्रल नॉर्म $N$ के रैखिक रूप से स्केल करता है ($\|H\| = \Theta(N)$)। मानक हैमिल्टोनियन सिमुलेशन तकनीकें इसलिए $N$ के रैखिक सर्किट गहराई की आवश्यकता रखेंगी, जो संभावित क्वांटम लाभ को समाप्त कर देगी।

कार्यप्रणाली (Methodology)
प्रस्तावित समाधान ऑसिलेटर प्रतिनिधित्व के भीतर $\mathfrak{su}(2)$ ली बीजगणक (Lie algebra) के साथ क्रावक ट्रांसफॉर्म के बीच एक संरचनात्मक संबंध का लाभ उठाता है। कार्यप्रणाली निम्नलिखित चरणों के माध्यम से आगे बढ़ती है:

1. बीजगणिक मैपिंग (Algebraic Mapping): लेखक स्थापित करते हैं कि क्रावक ट्रांसफॉर्म ऑपरेटर $K$ को $\mathfrak{su}(2)$ बीजगणक के एक विशिष्ट अपरिरमेय प्रतिनिधित्व (irreducible representation) द्वारा जनरेट किए गए यूनिटरी विकास के रूप में व्यक्त किया जा सकता है। विशेष रूप से, वे दिखाते हैं कि $K$ (एक ग्लोबल फेज तक) विकास $e^{-i \frac{\pi}{4} A}$ के समकक्ष है, जहाँ $A$ एक सममित त्रिडायगोनल मैट्रिक्स है। यह मैट्रिक्स $A$ सीधे $\mathfrak{su}(2)$ जनरेटर $\bar{S}$ (कंप्यूटेशनल बेसिस में स्पिन ऑपरेटर) के साथ संबंध $A = (N+1)I - 2\bar{S}$ के माध्यम से संबंधित है।
2. जॉर्डन-श्विंगर प्रतिनिधित्व (Jordan-Schwinger Representation): कुशल सिमुलेशन की सुविधा के लिए, लेखक समस्या को दो हार्मोनिक ऑसिलेटर्स के फोक बेसिस (Fock basis) में जॉर्डन-श्विंगर मैप का उपयोग करके कंप्यूटेशनल बेसिस से मैप करते हैं। इस प्रतिनिधित्व में, $\mathfrak{su}(2)$ जनरेटर $\bar{S}$, ऑपरेटर $\hat{S} = \frac{1}{2}(\hat{a}^\dagger_1 \hat{a}_2 + \hat{a}^\dagger_2 \hat{a}_1)$ के अनुरूप होता है।
3. ऑसिलेटर बेसिस के माध्यम से फ़ास्ट-फॉरवर्डिंग (Fast-Forwarding via Oscillator Basis): फोक बेसिस में $\hat{S}$ का सीधा सिमुलेशन, इसके नॉर्म के रैखिक स्केलिंग के कारण अक्षम है। हालाँकि, $\hat{x}$ (स्थिति) और $\hat{p}$ (संवेग) ऑपरेटरों के निरंतर हार्मोनिक ऑसिलेटर्स के संदर्भ में $\hat{S}$ को व्यक्त करके, लेखक एक "फ़ास्ट-फॉरवर्डिंग" तकनीक का उपयोग करते हैं। यह तकनीक इस तथ्य पर निर्भर करती है कि स्थिति और संवेग में द्विघाती (quadratic) ऑपरेटरों को कुशलतापूर्वक सिम्युलेट किया जा सकता है यदि सिस्टम ऐसे बेसिस में हो जहाँ ये ऑपरेटर विकर्ण (diagonal) हों या आसानी से परिवर्तनीय हों।
4. क्वांटम हर्मिट ट्रांसफॉर्म (QHT): एल्गोरिदम फोक अवस्थाओं को स्थिति बेसिस (विविक्त हर्मिट अवस्थाओं) में मैप करने के लिए क्वांटम हर्मिट ट्रांसफॉर्म का उपयोग करता है। स्थिति बेसिस में, ऑपरेटर $\hat{x}_1 \hat{x}_2$ विकर्ण है, और $\hat{p}_1 \hat{p}_2$ को फूरियर ट्रांसफॉर्म के माध्यम से संभाला जा सकता है। $\hat{S}$ का विकास $e^{i t \hat{S}}$ को विकर्ण यूनिटरीज और फूरियर ट्रांसफॉर्म के अनुक्रमों (एक गुणनखंड/factorization - Trotter-like या विशिष्ट ली बीजगणक अपघटन का उपयोग करके) में विभाजित किया जाता है।
5. सर्किट निर्माण (Circuit Construction): पूर्ण एल्गोरिदम में शामिल है:
   • कंप्यूटेशनल बेसिस को फोक बेसिस में मैप करना (एक आइसोमेट्री $V_1$ के माध्यम से)।
   • स्थिति बेसिस में जाने के लिए क्वांटम हर्मिट ट्रांसफॉर्म लागू करना।
   • विकर्ण यूनिटरीज और फूरियर ट्रांसफॉर्म का उपयोग करके विभाजित $\mathfrak{su}(2)$ विकास का सिमुलेशन करना।
   • कंप्यूटेशनल बेसिस में वापस लौटने के लिए हर्मिट ट्रांसफॉर्म और फोक मैपिंग को उलटना (invert करना)।

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

• संरचनात्मक संबंध: शोध पत्र कठोरता से सिद्ध करता है कि क्रावक ट्रांसफॉर्म ऑसिलेटर प्रतिनिधित्व में एक विशिष्ट $\mathfrak{su}(2)$ सिस्टम के समय-विकास के समकक्ष है, जो विविक्त ऑर्थोगोनल बहुपदों और ली बीजगणिक संरचनाओं के बीच के अंतर को पाटता है।
• कुशल क्वांटम सर्किट: लेखक एक क्वांटम सर्किट (एल्गोरिदम 1) प्रस्तुत करते हैं जो क्वांटम क्रावक ट्रांसफॉर्म (QKT) को लागू करता है।
• जटिलता विश्लेषण (Complexity Analysis): सर्किट $\text{poly}(\log N, \log(1/\epsilon))$ की गेट जटिलता प्राप्त करता है। विशेष रूप से, जटिलता $O((\log N + \log(1/\epsilon))^3 \times \log(1/\epsilon))$ है। यह उन शास्त्रीय विधियों की तुलना में घातीय सुधार (exponential improvement) है जो $N$ में बहुपद रूप से स्केल करती हैं।
• फ़ास्ट-फॉरवर्डिंग अनुप्रयोग: यह कार्य $\mathfrak{su}(2)$ ऑपरेटरों (विशेष रूप से [IJJS26] में वर्णित) के लिए हालिया फ़ास्ट-फॉरवर्डिंग सिमुलेशन विधियों के व्यावहारिक अनुप्रयोग को प्रदर्शित करता है।

परिणाम
मुख्य परिणाम प्रमेय 13 (Theorem 13) में औपचारिक रूप दिया गया है, जो बताता है कि एक ऐसा क्वांटम सर्किट मौजूद है जिसकी जटिलता $N$ और $1/\epsilon$ में पोलीलॉग (polylogarithmic) है, जो $(N+1)$-आयामी क्वांटम क्रावक ट्रांसफॉर्म का $\epsilon$-सन्निकटन लागू करता है। एल्गोरिदम सफलतापूर्वक कंप्यूटेशनल बेसिस अवस्थाओं $|k\rangle$ को क्रावक फलनों के आयामों के आनुपातिक क्रावक फंक्शन अवस्थाओं $|\phi_k\rangle$ में मैप करता है। त्रुटि विश्लेषण पुष्टि करता है कि निरंतर ऑसिलेटर गतिकी के विविक्तकरण (discretization) से उत्पन्न त्रुटि $\epsilon$ द्वारा सीमित है जब विविक्तकरण पैरामीटर $L$ को उपयुक्त रूप से चुना जाता है ($L = O(N^{2.25}/\epsilon^{3.25})$)।

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