Algebraic Reduction to Improve an Optimally Bounded Quantum State Preparation Algorithm

तकनीकी सारांश: एक इष्टतम रूप से सीमित क्वांटम स्टेट प्रिपरेशन एल्गोरिदम को सुधारने के लिए बीजगणितीय न्यूनीकरण (Algebraic Reduction)

समस्या विवरण
क्वांटम स्टेट प्रिपरेशन (QSP) एक मौलिक सबरूटीन है जो कई क्वांटम एल्गोरिदम के लिए आवश्यक है, जिनमें लीनियर सिस्टम सॉल्वर, हैमिल्टोनियन सिमुलेशन, क्वांटम केमिस्ट्री और मशीन लर्निंग शामिल हैं। प्राथमिक चुनौती यूनिटरी ऑपरेटर $U$ की सर्किट जटिलता (डेप्थ, गेट काउंट और CNOT काउंट) को कम करने में निहित है, जो प्रारंभिक अवस्था $|0\rangle^{\otimes n}$ को वांछित लक्ष्य अवस्था $|\psi\rangle = \sum c_i |i\rangle$ में मैप करता है। हालांकि सन एट अल. (SUN) का एल्गोरिदम आसत निकाल (asymptotic) स्पेस-टाइम ट्रेड-ऑफ (डेप्थ कम करने के लिए एंसिलरी क्वबिट्स का उपयोग करते हुए) के संबंध में इष्टतम रूप से सीमित है, लेकिन इसके कार्यान्वयन में एक ऐसा अपघटन (decomposition) शामिल है जिसमें प्रत्येक यूनिफॉर्मली कंट्रोल्ड गेट (UCG) के लिए तीन $\Lambda$-प्रकार के ऑपरेटरों का उपयोग किया जाता है। यह शोध पत्र SUN एल्गोरिदम के सर्किट डेप्थ और गेट काउंट को एक अधिक कुशल बीजगणितीय अपघटन के माध्यम से कम करने के अवसर को संबोधित करता है, विशेष रूप से उस पैरामेट्रिक रेंज में जहाँ एंसिलरी क्वबिट्स की संख्या $m$ इस प्रकार है कि $2^n \leq m \leq 2^n/n$।

कार्यप्रणाली
लेखक एक नया QSP एल्गोरिदम प्रस्तावित करते हैं, जिसे OSUN नाम दिया गया है, जो यूनिटरी ऑपरेटर के एक सरल बीजगणितीय अपघटन को पेश करता है। मुख्य कार्यप्रणालीगत बदलाव वांछित अवस्था की तैयारी को दो अलग-अलग यूनिटरी ब्लॉक्स में विभाजित करने में निहित है:

1. वास्तविक भाग ($U_{mod}$): एक यूनिटरी जो लक्ष्य अवस्था के गुणांकों के वास्तविक मापांकों (amplitudes) को तैयार करने के लिए जिम्मेदार है।
2. जटिल भाग ($D_{ph}$): एक डायगोनल यूनिटरी जो आवश्यक कॉम्प्लेक्स फेजेस (complex phases) को लागू करने के लिए जिम्मेदार है।

पारंपरिक SUN फ्रेमवर्क में, सीढ़ीदार संरचना (ladder structure) में प्रत्येक UCG को तीन $\Lambda$-प्रकार के ऑपरेटरों में विघटित किया जाता है (जो वास्तविक और जटिल घटकों के लिए अलग-अलग डायगोनल फेज शिफ्ट संभालते हैं)। प्रस्तावित OSUN एल्गोरिदम इस तथ्य का लाभ उठाता है कि $U_{mod}$ को केवल वास्तविक एम्प्लीट्यूड की तैयारी की आवश्यकता होती है। इस ब्लॉक में UCGs को $R_y$-ब्लॉक डायगोनल मैट्रिसेस तक सीमित करके और एक विशिष्ट गेट सेट परिवर्तन ($R_y(\gamma) \equiv SH \cdot R_z(\gamma) \cdot HS^\dagger$) का उपयोग करके, लेखक प्रदर्शित करते हैं कि प्रत्येक UCG को वास्तविक-भाग की तैयारी में तीन के बजाय केवल एक $\Lambda$-प्रकार के ऑपरेटर का उपयोग करके लागू किया जा सकता है। जटिल फेज की जानकारी को फिर एक एकल, अधिकतम-आयामी $\Lambda$ ऑपरेटर के माध्यम से सर्किट के अंत में लागू किया जाता है।

यह अपघटन पिछले SUN कार्यान्वयनों में स्थापित समान 5-स्टेज फूरियर स्पेस समेशन पद्धति का उपयोग करके एंसिलरी रजिस्टर पर ऑपरेशंस के समानांतरकरण (parallelization) की अनुमति देता है, लेकिन इसमें प्रति स्तर कम $\Lambda$ कंस्ट्रक्टर्स का उपयोग होता है।

मुख्य योगदान
शोध पत्र छह विशिष्ट योगदानों को रेखांकित करता है:

1. SUN का अनुकूलन: एक नया QSP एल्गोरिदम जो सन एट अल. [40, प्रमेय 1] द्वारा परिभाषित इष्टतम स्पेस-टाइम ट्रेड-ऑफ की संपूर्ण पहली रेंज में डेप्थ और गेट काउंट के मामले में SUN एल्गोरिदम में सुधार करता है।
2. बीजगणितीय अपघटन: एक व्युत्पत्ति जो यह दिखाती है कि वास्तविक और जटिल भागों को अलग करने से प्रत्येक UCG को एक एकल $\Lambda$-प्रकार के कंस्ट्रक्टर के साथ लागू किया जा सकता है, जिससे प्रति गेट स्तर पर गणना तीन से घटकर एक हो जाती है।
3. सटीक आसत सीमाएँ (Tighter Asymptotic Bounds): निर्दिष्ट पैरामेट्रिक रेंज में स्पेस-टाइम ट्रेड-ऑफ के लिए सटीक आसत इष्टतम सीमाओं के लिए एक औपचारिक विश्लेषण प्रदान करना।
4. कार्यान्वयन: PennyLane लाइब्रेरी का उपयोग करके OSUN एल्गोरिदम का पूर्ण कार्यान्वयन, जो GitHub पर उपलब्ध है।
5. व्यापक सत्यापन: यूनिवर्सिटी ऑफ पारमा के HPC सिस्टम पर निष्पादित एक व्यापक परीक्षण, जिसमें डेंस और स्पार्स अवस्थाएं, रैंडम गुणांक (रियल पॉजिटिव, रियल नेगेटिव, कॉम्प्लेक्स), और भौतिक रूप से प्रासंगिक अवस्थाएं (Bell, GHZ, W, Dicke) शामिल हैं, जो 10 क्वबिट्स तक की संख्या को कवर करती हैं।
6. तुलनात्मक विश्लेषण: मॉटोनन (Möttönen) एट अल. के एल्गोरिदम (बिना एंसिलरी के QSP के लिए मानक) और मूल SUN कार्यान्वयन के साथ एक सीधा प्रदर्शन तुलना, जिसमें डेप्थ, कुल गेट्स, CNOT काउंट और गेट प्रकार जैसे मेट्रिक्स का मूल्यांकन किया गया है।

परिणाम
सिमुलेशन परिणाम संकेत देते हैं कि OSUN एल्गोरिदम मूल SUN कार्यान्वयन की तुलना में सर्किट डेप्थ में व्यवस्थित कमी प्राप्त करता है।

• जटिलता विश्लेषण: सैद्धांतिक विश्लेषण पुष्टि करता है कि जबकि आसत जटिलता वर्ग $O(n^2 + 2^n/m)$ ही रहता है, प्रभावी (dominant) पदों के प्रीफैक्टर्स (prefactors) काफी कम हो जाते हैं। विशेष रूप से, रैखिक-लॉगारिदमिक पद ($n \log m$) में 3 गुना सुधार दिखता है, और घातीय पद ($2^n/m$) में 2 गुना सुधार दिखता है।
• सिमुलेशन मेट्रिक्स: कॉम्प्लेक्स गुणांकों वाले रैंडम स्टेट्स के लिए, OS-UN दोनों मूल SUN और मॉटोनन के एल्गोरिदम की तुलना में 6 क्वबिट से शुरू होकर कम डेप्थ प्रदर्शित करता है। डेप्थ का ग्रोथ कर्व मूल संस्करण की तुलना में अधिक सुचारू (smoother) है।
• गेट काउंट: जबकि OSUN डेप्थ को कम करता है, मॉटोनन के एल्गोरिदम की तुलना में कुल गेट्स और CNOTs में कमी नहीं दिखती है। हालांकि, लेखक गेट सेट संरचना में बदलाव का उल्लेख करते हैं: मॉटोनन का दृष्टिकोण CNOTs और रोटेशन्स का उपयोग करता है, जबकि OSUN CNOTs और फेज शिफ्ट्स (डायगोनल ऑपरेटर्स) का उपयोग करता है।
• फिडेलिटी (Fidelity): एल्गोरिदम सभी परीक्षण किए गए स्टेट प्रकारों और क्वबिट काउंट्स (2 से 10) के लिए उच्च फिडेलिटी (1 के करीब) और कम ट्रेस डिस्टेंस बनाए रखता है।

महत्व और दावे
शोध पत्र का दावा है कि प्रस्तावित बीजगणितीय न्यूनीकरण (algebraic reduction) मूल आसत जटिलता वर्ग को बदले बिना SUN एल्गोरिदम के लिए एक व्यावहारिक सुधार प्रदान करता है। डेप्थ और गेट काउंट में स्थिरांक (constant factors) को कम करके, OSUN उस क्षेत्र में स्टेट प्रिपरेशन के लिए एक अधिक कुशल सर्किट प्रदान करता है जहाँ एंसिलरी क्वबिट्स उपलब्ध हैं ($m \geq 2^n$)। लेखक इस कार्य को इष्टतम स्पेस-टाइम ट्रेड-ऑफ के एक परिशोधन (refinement) के रूप में देखते हैं, और इस बात पर जोर देते हैं कि $\Lambda$ ऑपरेटर्स की संख्या में कमी (प्रति UCG 3 से 1) प्रदर्शन में सुधार का प्राथमिक चालक है।

लेखक स्पष्ट रूप से कहते हैं कि यह अनुकूलन इष्टतम ट्रेड-ऑफ की संपूर्ण पहली पैरामेट्रिक रेंज पर लागू होता है। वे सुझाव देते हैं कि भविष्य के कार्य इस डोमेन के अन्य बिंदुओं तक इन लाभों को बढ़ा सकते हैं जहाँ एंसिलरी रजिस्टरों का विकास घातीय (exponentially) होता है। शोध पत्र यह निष्कर्ष निकालता है कि जबकि OSUN डेप्थ में सुधार करता है, भविष्य के शोध को वास्तविक हार्डवेयर पर क्वबिट कनेक्टिविटी और दोष-सहिष्णु (fault-tolerant) संदर्भों में इसकी जटिलता का पूर्ण मूल्यांकन करने के लिए इन सर्किट्स को क्लिफोर्ड+टी (Clifford+T) गेट सेट में अनुवादित करने पर ध्यान केंद्रित करना चाहिए। यह कार्य सभी हार्डवेयर बाधाओं के लिए सामान्य QSP समस्या को हल करने का दावा नहीं करता है, बल्कि मौजूदा एंसिलरी रणनीतियों का उपयोग करके SUN फ्रेमवर्क में एक विशिष्ट, सत्यापित सुधार प्रदान करता है।