TIMES-ADAPT: A Quantum algorithm for real-time evolution in low-energy subspaces using fixed-depth circuits

यहाँ शोध पत्र "TIMES-ADAPT: A Quantum algorithm for real-time evolution in low-energy subspaces using fixed-depth circuits" का विस्तृत तकनीकी सारांश दिया गया है।

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

क्वांटम अनेक-निकाय प्रणालियों (quantum many-body systems) के वास्तविक-समय गतिकी (real-time dynamics) का अनुकरण करना क्वांटम रसायन विज्ञान, उच्च-ऊर्जा भौतिकी और संघनित द्रव्य भौतिकी (condensed matter physics) में एक मौलिक चुनौती है।

• शास्त्रीय सीमाएँ (Classical Limitations): शास्त्रीय विधियाँ (जैसे, टेंसर नेटवर्क) लंबे समय के विकास (long-time evolution) के लिए संघर्ष करती हैं क्योंकि एंटैंगलमेंट (entanglement) का घातीय विकास होता है, जो अवस्था की ट्रैकिंग को अव्यवहार्य बना देता है।
• क्वांटम सीमाएँ (Quantum Limitations): मौजूदा क्वांटम एल्गोरिदम महत्वपूर्ण बाधाओं का सामना करते हैं:
  • प्रोडक्ट फॉर्मुला (Trotterization): हालांकि यह सरल है, लेकिन यह समय के साथ त्रुटि संचय (error accumulation) से ग्रस्त होता है। महत्वपूर्ण रूप से, यह अक्सर हैमिल्टनियन समरूपताओं (Hamiltonian symmetries) को तोड़ देता है, जिससे प्रणाली अवास्तविक उप-स्थानों (unphysical subspaces) में लीक हो जाती है।
  • वैरिएशनल विधियाँ (Variational Methods): मानक वेरिएशनल दृष्टिकोण अक्सर गहरे सर्किट (deep circuits) की मांग करते हैं, 'बैरन प्लेटो' (barren plateaus) से ग्रस्त होते हैं, या समय के विविक्तकरण (time discretization) पर निर्भर करते हैं, जिससे समय के साथ बढ़ने वाली त्रुटियाँ उत्पन्न होती हैं।
  • ली अल्जेब्रा अपघटन (Lie Algebra Decompositions): ये निश्चित-गहराई वाले सर्किट प्रदान कर सकते हैं, लेकिन परस्पर क्रिया करने वाले फर्मिऑन सिस्टम के लिए इनकी संसाधन आवश्यकताएँ प्रतिकूल रूप से बढ़ सकती हैं।

मूल समस्या एक निश्चित-गहराई वाले क्वांटम सर्किट (fixed-depth quantum circuit) की आवश्यकता है जो एक विशिष्ट निम्न-ऊर्जा या समरूपता उप-स्थान (low-energy or symmetry subspace) के भीतर, बिना समय-निर्भर त्रुटियों के संचय या सिस्टम की समरूपताओं को तोड़े, अनिश्चित काल तक लंबे समय के लिए वास्तविक-समय विकास का अनुकरण कर सके।

2. कार्यप्रणाली: TIMES-ADAPT

लेखक एक वेरिएशनल क्वांटम एल्गोरिदम फ्रेमवर्क TIMES-ADAPT (Thermal Inspired Methods for Evolution in a Subspace) प्रस्तावित करते हैं। यह विधि दो चरणों वाली प्रक्रिया पर निर्भर करती है:

चरण 1: बेसिस-चेंज यूनिटरी का प्रशिक्षण (TEPID-ADAPT के माध्यम से)

विकास का अनुकरण करने से पहले, एल्गोरिदम एक यूनिटरी सर्किट ($V_A$) को प्रशिक्षित करता है जो एक लक्षित उप-स्थान $\mathcal{S}$ के भीतर हैमिल्टनियन ($H$) को विकीर्ण (diagonalize) करता है।

• सबरूटीन (Subroutine): यह एक मॉड्यूलर एंसेट (ansatz) का उपयोग करके एक निम्न-तापमान गिब्स अवस्था ($\rho_G = e^{-\beta H}/Z$) तैयार करता है।
• तंत्र (Mechanism): एक स्थिर भाग एक सहायक रजिस्टर (ancillary register) पर पैरामीटराइज्ड डायगोनल डेंसिटी मैट्रिक्स तैयार करता है। एक एडेप्टिव रूप से जनरेट किया गया यूनिटरी ($V_A$), कम्प्यूटेशनल बेसिस अवस्थाओं को $H$ के निम्न-ऊर्जा आइजनस्टेट्स (eigenstates) में मैप करता है।
• आउटपुट (Outputs):
  1. वह यूनिटरी $V_A$ जो कम्प्यूटेशनल बेसिस को उप-स्थान के आइजनबेसिस (eigenbasis) में मैप करती है।
  2. ऊर्जा आइगेनवैल्यू (और अंतर) जो गिब्स अवस्था की तैयारी के अभिसरित (converged) मापदंडों से सीधे निकाले जाते हैं, जिससे अलग से ऊर्जा मापन की आवश्यकता नहीं होती।
• समरूपता प्रबंधन (Symmetry Handling): ADAPT-VQE सबरूटीन में ऑपरेटर पूल को प्रतिबंधित करके, एल्गोरिदम विशिष्ट समरूपता उप-स्थानों (जैसे, सिंगल-मैग्नॉन सेक्टर्स) को लक्षित कर सकता है।

चरण 2: वास्तविक-समय विकास (दो संस्करण)

एक बार $V_A$ और ऊर्जा स्पेक्ट्रम ज्ञात होने के बाद, एल्गोरिदम एक निश्चित-गहराई वाले सर्किट का उपयोग करके प्रारंभिक अवस्था $|\psi(0)\rangle$ को विकसित करता है, जहाँ समय $t$ एक पैरामीटर है, न कि गेट्स का एक अनुक्रम।

• TIMES-ADAPT-I (आइजनबेसिस इनपुट):

  • इनपुट: प्रारंभिक अवस्था को उप-स्थान के आइजनबेसिस में निर्दिष्ट किया जाता है: $|\psi(0)\rangle = \sum \alpha_k |\psi_k\rangle$।
  • प्रक्रिया:
    1. कम्प्यूटेशनल बेसिस में एक सुपरपोजिशन तैयार करें: $|\chi(t)\rangle = \sum \alpha_k e^{-i E_k t} |c_k\rangle$। यह संशोधित गिवेंस रोटेशन (Givens rotations) का उपयोग करके किया जाता है जहाँ फेज़ (phases) $t$ पर निर्भर करते हैं।
    2. भौतिक आइजनबेसिस में वापस मैप करने के लिए प्रशिक्षित यूनिटरी $V_A$ लागू करें: $|\psi(t)\rangle = V_A |\chi(t)\rangle$।
  • उपयोग का मामला (Use Case): आदर्श जब प्रारंभिक अवस्था यह ज्ञात हो कि वह एक समरूपता उप-स्थान में है (जैसे, वेव-पैकेट स्कैटरिंग)।

• TIMES-ADAPT-II (कम्प्यूटेशनल बेसिस इनपुट):

  • इनपुट: प्रारंभिक अवस्था को कम्प्यूटेशनल बेसिस में निर्दिष्ट किया जाता है (जैसे, एक स्थानीय विक्षोभ/local perturbation)।
  • प्रक्रिया:
    1. एक प्रभावी विकास यूनिटरी $\tilde{U}(t) = V_A D(t) V_A^\dagger$ का निर्माण करें, जहाँ $D(t)$ एक डायगोनल यूनिटरी है जो कम्प्यूटेशनल बेसिस अवस्थाओं पर फेज़ $e^{-i E_k t}$ लागू करती है।
    2. $|\psi(0)\rangle$ पर सीधे $\tilde{U}(t)$ लागू करें।
  • उपयोग का मामला (Use Case): "ब्लैक-बॉक्स" प्रारंभिक अवस्थाओं या स्थानीय विक्षोभों के लिए आदर्श जहाँ आइजनबेसिस गुणांक अज्ञात होते हैं।

3. मुख्य योगदान

1. निश्चित-गहराई, समय-स्वतंत्र सर्किट: Trotterization के विपरीत, इसमें सिम्युलेशन समय $t$ के साथ सर्किट की गहराई नहीं बढ़ती है। समय केवल फेज़ गेट्स में एक पैरामीटर के रूप में प्रवेश करता है, जो देर से होने वाले समय के लिए त्रुटि संचय को रोकता है।
2. समरूपता संरक्षण: प्रशिक्षण चरण के दौरान ऑपरेटर पूल को इंजीनियर करके, एल्गोरिदम सख्ती से वांछित समरूपता उप-स्थान के भीतर विकास को सीमित करता है, जिससे Trotterization में सामान्य समरूपता-भंग त्रुटियों से बचा जा सकता है।
3. दोहरी-मोड संचालन (Dual-Mode Operation): यह फ्रेमवर्क दो अलग-अलग प्रोटोकॉल (I और II) प्रदान करता है जो आइजनबेसिस या कम्प्यूटेशनल बेसिस में परिभाषित प्रारंभिक अवस्थाओं को संभालने के लिए लचीलापन प्रदान करते हैं।
4. कुशल ऊर्जा निष्कर्षण: विधि गिब्स अवस्था की तैयारी के वेरिएशनल मापदंडों से ऊर्जा अंतराल (energy gaps) को सीधे निकालती है, जिससे महंगे अलग ऊर्जा अनुमान चरणों की आवश्यकता समाप्त हो जाती है।

4. संख्यात्मक परिणाम (Numerical Results)

लेखकों ने 6-7 क्वबिट्स पर Heisenberg XXZ मॉडल (फेरोमैग्नेटिक और एंटीफेरोमैग्नेटिक फेज) का उपयोग करके TIMES-ADAPT का बेंचमार्किंग किया।

• फिडेलिटी प्रदर्शन (Fidelity Performance):
  • TIMES-ADм-ADAPT-I: यदि प्रारंभिक अवस्था पूरी तरह से प्रशिक्षित उप-स्थान के भीतर है, तो फिडेलिटी अनिश्चित काल तक उच्च रहती है। यदि अवस्था के बाहर के घटक मौजूद हैं, तो फिडेलिटी एक स्थिर मान (समय-स्वतंत्र) तक गिर जाती है जो प्रोजेक्शन नॉर्म द्वारा निर्धारित होता है।
  • TIMES-ADAPT-II: यदि प्रारंभिक अवस्था के बाहर घटक हैं, तो यह दोलनी (oscillatory) फिडेलिटी व्यवहार दिखाता है, जिसकी आवृत्तियाँ बाहर रखे गए अवस्थाओं के ऊर्जा अंतर द्वारा निर्धारित होती हैं।
• Trotterization के साथ तुलना:
  • वेव-पैकेट विकास और ऊर्जा परिवहन जैसे अनुप्रयोगों में, TIMES-ADAPT ने लंबे समय ($T=10.0$) तक उच्च सटीकता बनाए रखी।
  • प्रथम-क्रम Trotterization, जिसे समान गेट डेप्थ के लिए प्रतिबंधित किया गया था, ने महत्वपूर्ण विचलन और बढ़ते हुए इन्फिडेलिटी (infidelity) को दिखाया।
• संसाधन दक्षता: जबकि TIMES-ADAPT-II को $V_A$ और $V_A^\dagger$ के साथ डायगोनल यूनिटरी को कॉन्जुगेट करने की आवश्यकता होती है (जिससे गेट काउंट थोड़ा बढ़ जाता है), यह प्रारंभिक अवस्था के विस्तार गुणांकों को जानने की आवश्यकता को समाप्त करता है, जो एक व्यावहारिक समझौता है।

5. महत्व और अनुप्रयोग

यह शोध पत्र निकट-अवधि क्वांटम कंप्यूटरों (near-term quantum computers) के लिए विशिष्ट भौतिक क्षेत्रों में लंबे समय के विकास का अनुकरण करने का एक व्यवहार्य मार्ग प्रदर्शित करता है:

• वेव-पैकेट स्कैटरिंग (Wave Packet Scattering): TIMES-ADAPT-I लैटिस मॉडल (जैसे, सिंगल-मैग्नॉन वेव पैकेट) में स्कैटरिंग के अध्ययन के लिए अत्यधिक प्रभावी है जहाँ अवस्था स्वाभाविक रूप से एक समरूपता उप-स्थान में रहती है।
• ऊष्मीय और ऊर्जा परिवहन (Thermal and Energy Transport): TIMES-ADAPT-II स्पिन सिस्टम में स्थानीय विक्षोभों (ऊर्जा परिवहन) के विश्रांति (relaxation) के अध्ययन के लिए उपयुक्त है, जो गैर-संतुलन सांख्यिकीय भौतिकी के लिए प्रासंगिक है।
• भावी दिशाएँ: इस फ्रेमवर्क को सावधानीपूर्वक प्रारंभिक कम्प्यूटेशनल उप-स्थान और ऑपरेटर पूल का चयन करके अधिक जटिल समरूपता उप-स्थानों (जैसे, उच्च-ऊर्जा भौतिकी में चार्ज सेक्टर्स या आणविक समस्याओं में निश्चित कण संख्या) के लिए विस्तारित किया जा सकता है।

संक्षेप में, TIMES-ADALLY सर्किट की गहराई को सिम्युलेशन समय से अलग करके, भौतिक रूप से प्रासंगिक उप-स्थानों के भीतर सटीक, दीर्घकालिक वास्तविक-समय विकास को सक्षम करके वेरिएशनल क्वांटम एल्गोरिदम में एक महत्वपूर्ण प्रगति का प्रतिनिधित्व करता है।