Recursive algorithm for constructing antisymmetric fermionic states in first quantization mapping

यहाँ शोध पत्र "Recursive algorithm for constructing antisymmetric fermionic states in first quantization mapping" का विस्तृत तकनीकी सारांश दिया गया है।

1. समस्या विवरण (Problem Statement)

क्वांटम मल्टी-बॉडी सिस्टम का अनुकरण करना, विशेष रूप से जिनमें समान फर्मीऑन्स (identical fermions) शामिल हैं, यह आवश्यक है कि वे कण विनिमय (particle exchange) के तहत प्रति-सममित (antisymmetric) हों।

• संदर्भ: प्रथम क्वांटाइजेशन (First Quantization) में, क्वबिट्स की संख्या एकल-कण अवस्थाओं ($N$) के साथ लघुगणकीय (logarithmically) और कणों की संख्या ($\eta$) के साथ रैखिक (linearly) रूप से बढ़ती है, जो उन प्रणालियों के लिए सेकंड क्वांटाइजेशन की तुलना में अधिक कुशल है जहाँ अल्प-दूरी की अंतःक्रियाएं या उच्च-संवेग प्रकीर्णन (high-momentum scattering) होता है जहाँ $N \gg \eta$ हो।
• चुनौती: सेकंड क्वांटाइजेशन के विपरीत, जहाँ प्रति-समरूपता (antisymmetry) अंतर्निहित होती है, फर्स्ट क्वांटाइजेशन में कणों को क्वबिट्स पर मैप किया जाता है जिसमें स्वाभाविक प्रति-समरूपता नहीं होती है। प्रारंभिक अवस्था आमतौर पर ऑर्थोगोनल ऑर्बिटल्स (orthogonal orbitals) का एक उत्पाद (product) होती है। भौतिक फर्मीऑनिक गतिकी को सही ढंग से सिम्युलेट करने के लिए, इस उत्पाद अवस्था को एक पूर्णतः प्रति-सममित अवस्था (स्लेटर डिटर्मिनेंट) में परिवर्तित किया जाना चाहिए।
• मौजूदा विधियों की सीमाएँ:
  • सॉर्टिंग-आधारित एल्गोरिदम (जैसे Abrams & Lloyd, Berry et al.) के लिए इनपुट अवस्था को पूर्णांक आधार अवस्थाओं (integer basis states) के एक क्रमबद्ध सुपरपोजिशन के रूप में होना आवश्यक है। वे रिवर्सिबल सॉर्टिंग नेटवर्क पर निर्भर करते हैं, जो क्लिफोर्ड गेट्स (Clifford gates) और T-गेट्स के मामले में उच्च ओवरहेड्स उत्पन्न करते हैं, विशेष रूप से अनकंप्यूटिंग (uncomputing) के दौरान।
  • प्रोजेक्शन विधियाँ (जैसे परम्यूटेशन हैमिल्टोनियन जोड़ना) अक्सर संभाव्य (probabilistic) होती हैं या उनके लिए अनंत विभव (infinite potentials) की आवश्यकता होती है, जिससे वे शोर वाले इंटरमीडिएट-स्केल क्वांटम (NISQ) या शुरुआती फॉल्ट-टोलरेंट उपकरणों के लिए कम उपयुक्त हो जाती हैं।

2. कार्यप्रणाली (Methodology)

लेखक एक निश्चित (deterministic), पुनरावर्ती (recursive) एल्गोरिदम प्रस्तावित करते हैं जो $\eta-1$ कणों की मौजूदा प्रति-सममित अवस्था में एक समय में एक कण जोड़कर $\eta$ कणों की प्रति-सममित अवस्था का निर्माण करता है।

मुख्य एल्गोरिदम (Algorithm 1)

एल्गोरिदम चरणों $i = 2$ से $\eta$ तक आगे बढ़ता है:

1. आरंभीकरण (Initialization): एक प्रति-सममित अवस्था $A(\phi_1 \dots \phi_{i-1})$ से शुरू करें और $i$-वें कण को $U_i$ का उपयोग करके अवस्था $\phi_i$ में तैयार करें।
2. अनसिला तैयारी (Ancilla Preparation): $\eta-1$ अनसिला क्वबिट्स को एक विशिष्ट एंटैंगल्ड अवस्था $|Y_{\eta-1}\rangle$ में तैयार करें, जो शून्य अवस्था और सभी सिंगल-बिट-फ्लिप अवस्थाओं के सापेक्ष माइनस संकेतों के साथ एक समान सुपरपोजिशन है। यह अवस्था यह एनकोड करती है कि कौन सा (यदि कोई हो) पिछला कण नए कण के साथ स्वैप किया जाना चाहिए।
3. नियंत्रित स्वैप (Controlled Swaps): नए कण ($p_i$) और प्रत्येक पिछले कण ($p_j$) के बीच नियंत्रित-स्वैप (CSWAP) संचालन करें, जो संबंधित अनसिला क्वबिट द्वारा नियंत्रित हो।
4. अनकंप्यूटिंग (Uncomputation):
   • पिछले कणों पर $U_i^\dagger$ लागू करें। चूंकि अवस्थाएँ ऑर्थोगोनल हैं, यदि कोई स्वैप हुआ है, तो कण अब अवस्था $\phi_i$ धारण करेगा, जिसे $U_i^\dagger$ वापस $|0\rangle$ में मैप कर देता है।
   • अनसिला क्वबिट्स को यह पता लगाने के आधार पर वापस $|0\rangle$ में बदलने के लिए मल्टी-कंट्रोल्ड X-गेट्स (CkX) का उपयोग करें कि क्या कण रजिस्टर $|0\rangle$ में है।
   • मूल ऑर्बिटल अवस्थाओं को बहाल करने के लिए $U_i$ लागू करें।
5. परिणाम: अनसिला क्वबिट्स डी-एंटैंगल (disentangled) हो जाते हैं, जिससे एक पूर्णतः प्रति-सममित अवस्था $A(\phi_1 \dots \phi_i)$ प्राप्त होती है।

माप-आधारित संस्करण (Measurement-Based Variant - Algorithm 2)

गेट डेप्थ और T-काउंट को कम करने के लिए, लेखक मिड-सर्किट मेजरमेंट का उपयोग करने वाला एक संस्करण पेश करते हैं:

• जटिल मल्टी-कंट्रोल्ड गेट्स के माध्यम से अनसिला को अनकंप्यूट करने के बजाय, अनसिला पर हैडामार्ड (Hadamard) गेट्स लागू किए जाते हैं, जिसके बाद माप (measurement) किया जाता है।
• माप परिणामों के आधार पर, कण रजिस्टरों पर सशर्त फेज सुधार ($P(U)$) लागू किए जाते हैं।
• यह दृष्टिकोण अवस्था-तैयारी इकाइयों ($U_n$ और $U_n^\dagger$) के अनुप्रयोगों की संख्या को औसतन लगभग दो गुना कम कर देता है।

3. मुख्य योगदान (Key Contributions)

• इनपुट लचीलापन (Input Flexibility): पूर्ववर्ती सॉर्टिंग-आधारित विधियों के विपरीत, यह एल्गोरिदम के लिए इनपुट अवस्थाओं का पूर्णांक आधार में क्रमबद्ध होना आवश्यक नहीं है। यह सीधे मनमाने ऑर्थोगोनल ऑर्बिटल्स (जैसे हार्ट्री-फॉक या कोहन-शाम ऑर्बिटल्स) के साथ काम करता है, जो अक्सर आधार अवस्थाओं के जटिल सुपरपोजिशन होते हैं।
• पुनरावर्ती निर्माण (Recursive Construction): यह विधि $N$-कण अवस्था को $N-1$ से बनाती है, जो मॉड्यूलर अवस्था तैयारी और संभावित हाइब्रिड रणनीतियों (जैसे कुछ कणों के लिए सॉर्टिंग और शेष के लिए पुनरावृत्ति) की अनुमति देती है।
• अनुकूलित जटिलता (Optimized Complexity):
  • T-गेट स्केलिंग: गैर-तुच्छ ऑर्बिटल्स के लिए, यह एल्गोरिदम $O(\eta^2 \sqrt{N})$ की T-गेट जटिलता प्राप्त करता है ( $O(\sqrt{N})$ 'डर्टी' अनसिला का उपयोग करके)। यह उन स्थितियों में मौजूदा विकल्पों से बेहतर प्रदर्शन करता है जब $\eta \lesssim \sqrt{N}$ हो।
  • पूर्णांक आधार स्केलिंग: सरल पूर्णांक लेबल के लिए, जटिलता $O(\eta^2 \log N)$ है, जो $\eta \lesssim 40$ के लिए सॉर्टिंग-आधारित विधियों के बराबर या उससे बेहतर है।
• शोर प्रतिरोध विश्लेषण (Noise Resilience Analysis): पेपर एक 3-कण प्रणाली पर विस्तृत शोर अध्ययन प्रदान करता है, जो दर्शाता है कि निकट-अवधि (near-term) उपकरणों के लिए, कोर्स-ग्रेन्ड रोटेशन सिंथेसिस (कम सटीकता, कम गेट्स) अक्सर उच्च-परिशुद्धता सिंथेसिस की तुलना में उच्च अंतिम अवस्था फिडेलिटी (fidelity) प्रदान करता है क्योंकि यह गेट त्रुटियों के संचय के कारण होता है।

4. परिणाम और प्रदर्शन विश्लेषण (Results and Performance Analysis)

• स्केलिंग तुलना:
  • सॉर्टिंग-आधारित (Berry et al.): $O(\eta \log^2 \eta \log N)$ क्रमबद्ध इनपुट के लिए।
  • वर्तमान कार्य (ऑर्बिटल्स): $O(\eta^2 \sqrt{N})$।
  • ब्रेक-ईवन पॉइंट: प्रस्तावित विधि सॉर्टिंग-आधारित दृष्टिकोणों की तुलना में अधिक कुशल है जब कणों की संख्या अवस्थाओं की संख्या के सापेक्ष कम होती है ($\eta < \sqrt{N}$), जो वह क्षेत्र है जहाँ फर्स्ट क्वांटाइजेशन सबसे अधिक फायदेमंद होता है।
• गेट काउंट:
  • गैर-मापन संस्करण के लिए $O(\eta^2 \log N)$ T-गेट्स की आवश्यकता होती है।
  • माप-आधारित संस्करण अवस्था-तैयारी इकाइयों की लागत को काफी कम कर देता है, औसतन अवस्था-तैयारी इकाइयों के अनुप्रयोगों को लगभग आधा कर देता है।
• शोर सिमुलेशन (3-कण प्रणाली):
  • ट्रैप्ड-आयन और न्यूट्रल-एटम लॉजिकल क्वबिट डेटा पर आधारित डिपोलराइजिंग नॉइज़ मॉडल का उपयोग करके किए गए सिमुलेशन ने दिखाया कि प्रति-सममित अवस्था की प्रायिकता (antisymmetric state probability), अवस्था फिडेलिटी (state fidelity) को ट्रैक करती है।
  • महत्वपूर्ण रूप से, वास्तविक शोर स्तरों के लिए, एक अपेक्षाकृत बड़े त्रुटि ($\epsilon = 10^{-1}$) के साथ रोस-सेलिंजर सन्निकटन (Ross-Selinger approximation) का उपयोग करने से उच्च-परिशुद्धता सन्निकटन ($\epsilon = 10^{-13}$) की तुलना में उच्च फिडेलिटी प्राप्त हुई। ऐसा इसलिए है क्योंकि उच्च-परिशुद्धता सिंथेसिस के लिए आवश्यक अतिरिक्त गेट्स रोटेशन की अशुद्धि की तुलना में अधिक शोर पेश करते हैं।

5. महत्व (Significance)

• परमाणु और रासायनिक सिमुलेशन को सक्षम बनाना: यह एल्गोरिदम विशेष रूप से फर्स्ट क्वांटाइजेशन के लिए तैयार किया गया है, जो परमाणु भौतिकी (न्यूक्लियॉन-न्यूक्लियॉन इंटरैक्शन) और रासायनिक प्रतिक्रियाओं के अनुकरण के लिए आवश्यक है जहाँ उच्च-रिज़ॉल्यूशन स्थानिक ग्रिड की आवश्यकता होती है लेकिन कणों की संख्या मध्यम होती है।
• हार्डवेयर अनुकूलता: बिना क्रमबद्ध इनपुट की आवश्यकता के और माप-आधारित संस्करण प्रदान करके, यह एल्गोरिदम निकट-अवधि क्वांटम हार्डवेयर के लिए बेहतर है जहाँ गेट डेप्थ और त्रुटि दर सीमित कारक होते हैं।
• हाइब्रिड रणनीतियाँ: लेखक एक हाइब्रिड दृष्टिकोण का सुझाव देते हैं जहाँ सॉर्टिंग-आधारित विधियाँ दो की घात (power-of-two) संख्या में कणों के लिए अवस्था तैयार करती हैं, और पुनरावर्ती एल्गोरिदम शेष को जोड़ता है, जिससे बहुत बड़ी प्रणालियों के लिए $O(\eta^2)$ ओवरहेड कम हो जाता है।
• व्यावहारिक अनुकूलन: यह निष्कर्ष कि शोर वाले वातावरण में "पर्याप्त अच्छा" रोटेशन सिंथेसिस "पूर्ण" सिंथेसिस से बेहतर होता है, फॉल्ट-टोलेंट और NISQ उपकरणों के लिए क्वांटम सर्किट को कंपाइल करने के लिए एक महत्वपूर्ण दिशा-निर्देश प्रदान करता है।

संक्षेप में, यह शोध पत्र फर्स्ट क्वांटाइजेशन में फर्मीऑनिक अवस्थाओं को तैयार करने के लिए एक मजबूत, पुनरावर्ती ढांचा प्रस्तुत करता है जो गैर-तुच्छ ऑर्बिटल्स के लिए बेहतर स्केलिंग और वर्तमान एवं भविष्य के क्वांटम हार्डवेयर के लिए व्यावहारिक लाभ प्रदान करता है।