Quantumly controlled measurement, Hermitian conjugation and normalization in matrix-manipulation algorithms

तकनीकी सारांश: मैट्रिक्स-हेरफेर एल्गोरिदम में क्वांटमली कंट्रोल्ड मेजरमेंट, हर्मिटीन कंजुगेशन और नॉर्मलाइजेशन

समस्या विवरण
यह शोध पत्र मैट्रिक्स हेरफेर के मौजूदा क्वांटम एल्गोरिदम (विशेष रूप से वे जो शुद्ध सुपरपोजिशन अवस्था में मैट्रिक्स तत्वों को संभाव्यता आयामों (probability amplitudes) में एनकोड करने पर आधारित हैं, जैसा कि संदर्भ [33–35] में प्रस्तावित किया गया है) की तीन महत्वपूर्ण सीमाओं को संबोधित करता है:

1. पोस्ट-सिलेक्शन अक्षमता (Post-Selection Inefficiency): वर्तमान एल्गोरिदम "गारबेज" अवस्थाओं को फ़िल्टर करने और वांछित परिणाम चुनने के लिए एक सिंगल-क्यूबिट अनसाइला (ancilla) को मापने पर निर्भर करते हैं। यह प्रक्रिया एक कम सफलता की संभावना से ग्रस्त है जो मैट्रिक्स आयाम के साथ बहुपद (polynomially) या चरघातांकी (exponentially) रूप से घटती है। फलस्वरूप, एल्गोरिदम को वांछित परिणाम प्राप्त करने के लिए कई बार चलाने की आवश्यकता होती है, जिससे इसकी दक्षता गंभीर रूप से कम हो जाती है।
2. हर्मिटीन कंजुगेशन को संभालने में असमर्थता: हालांकि ये एल्गोरिदम जटिल मैट्रिसेस (complex matrices) को संभाल सकते हैं, लेकिन हर्मिटीन कंजुगेशन जैसे विशिष्ट ऑपरेशंस को मानक एनकोडिंग ढांचे के भीतर साकार नहीं किया जा सकता है, जो बीजगणितीय हेरफेर की विविधता को सीमित करता है।
3. सख्त नॉर्मलाइजेशन बाधाएं (Strict Normalization Constraints): एक शुद्ध क्वांटम अवस्था में मैट्रिक्स तत्वों का एनकोडिंग एक सख्त नॉर्मलाइजेशन स्थिति ($\sum |a_{jk}|^2 = 1$) लागू करता है। यह मैट्रिक्स तत्वों के मापांक (modulus) को सीमित करता है, जिसके लिए विशिष्ट स्केलिंग की आवश्यकता होती है जो सभी अनुप्रयोगों के लिए इष्टतम नहीं हो सकती है।

कार्यप्रणाली (Methodology)
लेखक मैट्रिक्स-हेरफेर ढांचे के तीन अलग-अलग विस्तार प्रस्तावित करते हैं:

1. क्वांटमली कंट्रोल्ड मेजरमेंट (QCM):

   • एक सिंगल-क्यूबिट अनसाइला ($B_1$) पर मानक प्रोजेक्टिव मेजरमेंट के बजाय, लेखक एक टू-क्यूबिट अनसाइला सिस्टम ($B_1$ और $B_2$) पेश करते हैं।
   • पहले क्यूबिट ($B_1$) की स्थिति दूसरे क्यूबिट ($B_2$) पर लागू किए जाने वाले मेजरमेंट ऑपरेटर के लिए एक कंट्रोल के रूप में कार्य करती है।
   • विशेष रूप से, यदि सिस्टम एक ऐसी सुपरपोजिशन में है जहाँ "उपयोगी" पद $B_1$ के $|1\rangle$ के साथ एंटैंगल्ड है और "गारबेज" $B_1$ के $|0\rangle$ के साथ, तो एक C-NOT गेट $B_1$ को $B_2$ के साथ एंटैंगल करता है। इसके बाद एक कंट्रोल्ड मेजरमेंट ऑपरेटर $W^{(3)}_{B_1B_2} = |1\rangle_{B_1}\langle 1| \otimes M_{B_2} + |0\rangle_{B_1}\langle 0| \otimes I_{B_2}$ लागू किया जाता है।
   • यह तंत्र सुनिश्चित करता है कि यदि उपयोगी घटक मौजूद है ($\alpha \neq 0$), तो $B_2$ पर मेजरमेंट ट्रिगर होगा, जिससे सिस्टम वांछित अवस्था में कोलैप्स हो जाएगा, और इस प्रकार मानक पोस्ट-सिलेक्शन से जुड़ी संभावabilistic विफलता को समाप्त कर देगा।

2. वास्तविक और काल्पनिक भागों का पृथक एनकोडिंग:

   • हर्मिटीन कंजुगेशन को सक्षम करने के लिए, लेखक एक अतिरिक्त एक-क्यूबिट सबसिस्टम ($M$) का उपयोग करके एक अतिरिक्त दोलमित (orthogonal) सबस्पेस में वास्तविक और काल्पनिक भागों को एनकोड करने का प्रस्ताव करते हैं।
   • अवस्था $|0\rangle_M$ वास्तविक भाग को लेबल करती है और $|1\rangle_M$ काल्पनिक भाग को लेबल करती है।
   • हर्मिटीन कंजुगेशन को फिर रो/कॉलम रजिस्टरों पर एक SWAP ऑपरेशन और $M$ रजिस्टर पर $\sigma_z$ ऑपरेशन के माध्यम से साकार किया जाता है, जो प्रभावी रूप से ट्रांसपोज़िशन और कॉम्प्लेक्स कंजुगेशन करता है।

3. कमजोर नॉर्मलाइजेशन बाधा (Weakened Normalization Constraint):

   • लेखक एनकोडिंग योजना में एक अतिरिक्त सहायक क्यूबिट ($K$) पेश करते हैं।
   • प्रारंभिक अवस्था को $|0\rangle_K$ से जुड़े आयाम $b$ के साथ एक अतिरिक्त पद शामिल करके संशोधित किया जाता है, जबकि मैट्रिक्स तत्व $|1\rangle_K$ से जुड़े होते हैं।
   • यह नॉर्मलाइजेशन स्थिति को समानता ($\sum |a_{jk}|^2 = 1$) से बदलकर असमानता ($\sum |a_{jk}|^2 \leq 1$) में बदल देता है, जिससे मैट्रिक्स तत्वों के परिमाण के लिए अधिक लचीलापन मिलता है।

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

• मैट्रिक्स गुणन में कार्यान्वयन: लेखक QCM और दो एनकोडिंग विस्तारों को एक मैट्रिक्स गुणन एल्गोरिदम में एकीकृत करते हैं। वे प्रदर्शित करते हैं कि एल्गोरिदम मानक गुणन के साथ-साथ हर्मिटीन कंजुगेट वाले ऑपरेशंस (जैसे, $A^\dagger B$, $A B^\dagger$) को भी निष्पादित कर सकता है।
• सर्किट निर्माण: निम्नलिखित के लिए विस्तृत क्वांटम सर्किट प्रस्तुत किए गए हैं:
  • QCM सबरूटीन।
  • हर्मिटीन कंजुगेशन ऑपरेटर।
  • सभी तीन विस्तारों को शामिल करने वाला संशोधित मैट्रिक्स गुणन एल्गोरिदम।
• जटिलता विश्लेषण (Complexity Analysis):
  • स्थान (Space): संशोधन के लिए केवल कुछ अतिरिक्त क्यूबिट्स की आवश्यकता होती है (विशेष रूप से, एनकोडिंग विस्तारों के लिए चार अतिरिक्त क्यूबिट और गुणन संदर्भ में QCM के लिए एक अनसाइला)। स्पेस कॉम्प्लेक्सिटी $O(n)$ बनी रहती है, जहाँ $N=2^n$ मैट्रिक्स आयाम है।
  • डेप्थ (Depth): सर्किट डेप्थ $O(n)$ बनी रहती है। लेखक नोट करते हैं कि जबकि पिछले एल्गोरिदम का कुल रनटाइम कम सफलता की संभावनाओं को दूर करने के लिए बार-बार चलाने के कारण प्रभावी रूप से $O(2^n n)$ था, QCM-आधारित एल्गोरिदम एकल रन में परिणाम प्राप्त करता है, जो सर्किट की $O(n)$ डेप्थ विशेषता को बनाए रखता है।
• नॉर्मलाइजेशन रिट्रीवल: लेखक स्वीकार करते हैं कि QCM नॉर्मलाइजेशन स्थिरांक $G$ के बारे में संभावabilistic जानकारी को हटा देता है (जो पहले मेजरमेंट की सफलता की संभावना से प्राप्त की जाती थी)। वे $G$ को मापने के लिए एल्गोरिदम को कई बार चलाकर सहायक अवस्था $|0\rangle_K$ की संभाव्यता को मापने का एक तरीका प्रस्तावित करते हैं, हालांकि इसके लिए सिंगल-शॉट परिणाम जनरेशन से अलग रन की आवश्यकता होती है।

महत्व और दावे
लेखक का दावा है कि क्वांटमली कंट्रोल्ड मेजरमेंट (QCM) का परिचय मेजरमेंट-आधारित क्वांटम मैट्रिक्स एल्गोरिदम में निहित "पोस्ट-सिलेक्शन समस्या" को मौलिक रूप से हल करता है। गारबेज अवस्थाओं के संभावabilistic फ़िल्टरिंग को एक डिटरमिनिस्टिक, क्वांटम-कंट्रोल्ड प्रक्रिया से बदलकर, यह एल्गोरिदम बार-बार चलाने से होने वाले घातीय ओवरहेड को समाप्त करता है।

लेखक इस बात पर जोर देते हैं कि QCM केवल एक एम्पलीट्यूड एम्प्लीफिकेशन तकनीक (जैसे ग्रोवर का एल्गोरिदम) नहीं है, बल्कि क्वांटम कंट्रोल के साथ क्लासिकल मेजरमेंट को संयोजित करने वाला एक विशिष्ट ऑपरेटर है, जो संभावित रूप से एक नए प्रकार के "क्वांटम-क्लासिकल कंट्रोल" की पेशकश करता है।

इसके अलावा, हर्मिटीन कंजुगेशन और शिथिल (relaxed) नॉर्मलाइजेशन बाधाओं से संबंधित विस्तार जटिल मैट्रिसेस और डेटा एनकोडिंग परिदृश्यों की एक विस्तृत श्रेणी के लिए मैट्रिक्स-हेरफेर एल्गोरिदम की प्रयोज्यता को बढ़ाते हैं। लेखक कहते हैं कि हालांकि QCM की व्यावहारिक भौतिक प्राप्ति (physical realization) अभी तक मानक क्वांटम/क्लासिकल ऑपरेटरों के संदर्भ में पूरी तरह से विस्तृत नहीं है, इसका सैद्धांतिक प्रारूप क्वांटम सुपरपोजिशन अवस्थाओं की वास्तविकता के लिए एक औचित्य प्रदान करता है और अधिक कुशल क्वांटम लीनियर अल्जेब्रा के लिए एक मार्ग प्रदान करता है।

लेखक निष्कर्ष निकालते हैं कि इन संशोधनों को मैट्रिक्स गुणन के अलावा अन्य एल्गोरिदम (संदर्भ [34, 35] में चर्चा किए गए) में भी लागू किया जा सकता है, जिसमें मैट्रिक्स जोड़, डिटर्मिनेंट गणना, इनवर्जन और लीनियर सिस्टम सॉल्वर शामिल हैं, साथ ही अन्य मेजरमेंट-आधारित क्वांटम एल्गोरिदम भी।