Is the matrix completion of reduced density matrices unique?

प्रदान किए गए शोध पत्र के आधार पर, मासैसेसी (Massaccesi) और अन्य के कार्य का विस्तृत तकनीकी सारांश यहाँ दिया गया है, जो रिड्यूस्ड डेंसिटी मैट्रिक्स (RDM) पूर्णता की विशिष्टता (uniqueness) से संबंधित है।

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

इलेक्ट्रॉनिक संरचना सिद्धांत (electronic structure theory) में, दो-कण रिड्यूस्ड डेंसिटी मैट्रिक्स (2-RDM), $N$-कण क्वांटम सिस्टम की ऊर्जा और अन्य प्रमुख गुणों को निर्धारित करने के लिए पर्याप्त होता है, जो पूर्ण $N$-कण तरंग फलन (wave function) की तुलना में एक अधिक संक्षिप्त प्रतिनिधित्व प्रदान करता है। हालाँकि, पूर्ण 2-RDM प्राप्त करना गणनात्मक रूप से महंगा है। हाल के दृष्टिकोण RDMs की लो-रैंक संरचना का लाभ उठाते हुए, आंशिक डेटा से पूर्ण 2-RDM को पुनर्गठित करने के लिए मैट्रिक्स पूर्णता (matrix completion) तकनीकों का उपयोग करते हैं।

इस शोध पत्र में संबोधित मुख्य चुनौती इस पुनर्गठन की विशिष्टता (uniqueness) है। मैट्रिक्स पूर्णता आम तौर पर एक अनिश्चित (under-determined) समस्या है; विशिष्ट बाधाओं के बिना, डेटा के एक दिए गए उपसमुच्चय (subset) के लिए कई वैध 2-RDMs संभव हो सकते हैं। लेखक उन शर्तों को कठोर रूप से स्थापित करने का लक्ष्य रखते हैं जिनके तहत 2-RDM तत्वों का एक आंशिक सेट पूर्ण, भौतिक रूप से वैध 2-RDM और उसके संगत प्री-इमेज वेव फंक्शन ($\Psi$) को विशिष्ट रूप से निर्धारित करता है।

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

लेखक इस समस्या को हल करने के लिए सैद्धांतिक प्रमाणों को एक संख्यात्मक एल्गोरिदम के साथ जोड़ते हैं:

• सैद्धांतिक ढांचा (रोसिना के प्रमेय का विस्तार - Rosina's Theorem Extension):
  लेखक रोसिना के प्रमेय (1968) को पुनरावलोकन और विस्तारित करते हैं, जो यह बताता है कि एक गैर-अपभ्रंश (non-degenerate) ग्राउंड स्टेट का 2-RDM, $N$-कण वेव फंक्शन को विशिष्ट रूप से निर्धारित करता है। लेखक सिद्ध करते हैं कि अधिकतम दो-कण अंतःक्रियाओं वाले हैमिल्टनियन (Hamiltonian) वाले सिस्टम के लिए, 2-RDM तत्वों का वह उपसमुच्चय जो अद्वितीय पुनर्गठन के लिए आवश्यक है, वह दो-कण रिड्यूस्ड हैमिल्टनियन ($\{^2H_{ij;kl}\}$) के गैर-शून्य तत्वों के उपसमुच्चय के बिल्कुल अनुरूप होता है।

  • मुख्य अंतर्दृष्टि: यदि ग्राउंड स्टेट गैर-अपभ्रंश है, तो गैर-शून्य हैमिल्टनियन पदों से जुड़े 2-RDM तत्वों को जानना संपूर्ण 2-RDM को विशिष्ट रूप से निर्धारित करने के लिए पर्याप्त है।

• एल्गोरिदम दृष्टिकोण (हाइब्रिड क्वांटम-स्टोकेस्टिक एल्गोरिदम):
  इस विशिष्टता को संख्यात्मक रूप से प्रदर्शित करने के लिए, लेखकों ने एक हाइब्रिड क्वांटम-स्टोकेस्टिक एल्गोरिदम (एल्गोरिदम 1) विकसित किया है।

  • इनपुट: लक्षित 2-RDM तत्वों का एक आंशिक उपसमुच्चय (क्रिटिकल सबसेट), एक प्रारंभिक अवस्था $|\Psi_0\rangle$, और एक ऑपरेटर पूल।
  • प्रक्रिया: एल्गोरिदम एक प्रारंभिक $N$-कण डेंसिटी मैट्रिक्स पर एक स्टोकेस्टिक प्रक्रिया द्वारा उत्पन्न यूनिटरी इवोल्यूशन ऑपरेटर्स को पुनरावर्ती रूप से लागू करता है।
  • अनुकूलन (Optimization): यह विकसित 2-RDM और लक्षित 2-RDM के बीच हिल्बर्ट-श्मिट दूरी (Hilbert–Schmidt distance) को कम करता है। एल्गोरिदम स्थानीय मिनिमा (local minima) से बचने और सटीक ग्राउंड स्टेट की ओर अभिसरण (converge) करने के लिए सिम्युलेटेड एनीलिंग जैसे दृष्टिकोण (तापमान ह्रास, यादृच्छिक रोटेशन कोण) का उपयोग करता है।
  • लक्ष्य: यह दिखाना कि अपूर्ण जानकारी (केवल क्रिटिकल सबसेट) से शुरू होकर, एल्गोरिदम सटीक पूर्ण 2-RDM की ओर अभिसरित होता है।

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

1. विशिष्टता का प्रमाण: यह शोध पत्र एक कठोर प्रमाण (प्रमेय 1) प्रदान करता है कि 2-RDM की मैट्रिक्स पूर्णता तब अद्वितीय होती है जब सिस्टम में गैर-अपभ्रंश ग्राउंड स्टेट हो और ज्ञात तत्व दो-कण रिड्यूस्ड हैमिल्टनियन के गैर-शून्य प्रविष्टियों के अनुरूप हों।
2. क्रिटिकल सबसेट्स की पहचान: यह कार्य 2-RDM तत्वों के उस विशिष्ट न्यूनतम उपसमुच्चय की पहचान करता जो सटीक पुनर्गठन के लिए आवश्यक है, जो उन्हें मनमाने डेटा चयन के बजाय सीधे हैमिल्टनियन की संरचना से जोड़ता है।
3. एल्गोरिदम प्रदर्शन: लेखक एक नवीन हाइब्रिड क्वांटम-स्टोकस्टिक एल्गोरिदम पेश करते हैं जो सफलतापूर्वक सटीक मैट्रिक्स पूर्णता करता है, जो सैद्धांतिक स्थितियों को व्यावहारिक संख्यात्मक कार्यान्वयन के साथ जोड़ता है।
4. शोर के प्रति मजबूती (Noise Robustness): अध्ययन शोर वाले वातावरण में एल्गोरिदम के प्रदर्शन का मूल्यांकन करता है, जो यह प्रदर्शित करता है कि जब लक्षित डेटा में सांख्यिकीय शोर होता है, तब भी यह "निकटतम" वैध 2-RDM को पुनर्गठित करने में सक्षम है।

4. परिणाम (Results)

कार्यप्रणाली का परीक्षण विषम फर्मी-हबर्ड मॉडल (inhomogeneous Fermi–Hubbard model) (ओपन बाउंड्री कंडीशंस के साथ हाफ-फिलिंग पर एक 3-साइट 1D लैटिस) पर किया गया।

• सटीक पूर्णता (Exact Completion): शोर रहित मामले में, एल्गोरिदम ने केवल क्रिटिकल सबसेट (लैटिस बेसिस में 184 तत्व) से शुरू होकर पूर्ण 2-RDM (900 तत्व) को सफलतापूर्वक पुनर्गठित किया।
  • अभिसरण (Convergence): विकसित 2-RDM और लक्षित 2-RDM के बीच हिल्बर्ट-श्मिट दूरी शून्य तक अभिसरित हुई।
  • भौतिक वैधता: पुनर्गठित अवस्था ने सटीक ग्राउंड स्टेट के सापेक्ष शून्य ऊर्जा विचलन और इन्फिडेलिटी (infidelity) प्रदर्शित की, जो सही भौतिक अवस्था की प्राप्ति की पुष्टि करती है।
• आधार स्वतंत्रता (Basis Independence): परिणाम लैटिस-साइट बेसिस और दो-कण रिड्यूस्ड हैमिल्टनियन के आइगनबेसिस (eigenbasis) दोनों में सत्य रहे, जो इस दृष्टिकोण की व्यापकता को प्रदर्शित करते हैं।
• शोर प्रतिरोध (Noise Resilience): जब लक्षित 2-RDM में सांख्यिकीय शोर ($\epsilon$) पेश किया गया, तो एल्गोरिदम एक ऐसे समाधान की ओर अभिसरित हुआ जहाँ शोर की शक्ति के सापेक्ष दूरी रैखिक रूप से स्केल हुई। यह पुष्टि करता है कि यह विधि उन NISQ उपकरणों के लिए त्रुटि शमन (error mitigation) में उपयोगी है जहाँ डेटा अपूर्ण होता है।

5. महत्व (Significance)

• सैद्धांतिक आधार: यह कार्य इलेक्ट्रॉनिक संरचना सिद्धांत में मैट्रिक्स पूर्णता के सैद्धांतिक आधार को मजबूत करता है, इसे एक अनुमानित (heuristic) सन्निकटन से एक कठोर रूप से परिभाषित प्रक्रिया में बदल देता है जिसके ज्ञात विशिष्टता की शर्तें हैं।
• क्वांटम टोमोग्राफी: भौतिक रूप से वैध दो-कण सहसंबंधों (correlations) को पुनर्गठित करने के लिए आवश्यक न्यूनतम जानकारी की पहचान करके, यह ढांचा क्वांटम स्टेट और प्रोसेस टोमोग्राफी को आगे बढ़ाता है, जिससे क्वांटम उपकरणों के लक्षण वर्णन के लिए आवश्यक माप ओवरहेड को कम किया जा सकता है।
• त्रुटि शमन (Error Mitigation): शोर के विरुद्ध प्रदर्शित मजबूती यह सुझाव देती है कि दोषपूर्ण या शोर युक्त रिड्यूस्ड डेंसिटी मैट्रिसेस को ठीक करने के लिए NISQ उपकरणों पर इसके व्यावहारिक अनुप्रयोग हो सकते हैं।
• गणना दक्षता: आंशिक डेटा से पूर्ण 2-RDMs को पुनर्गठित करने की क्षमता कई-कण क्वांटम सिमुलेशन में गणना लागत को कम करने का मार्ग प्रशस्त करती है, विशेष रूप से उन प्रणालियों के लिए जहाँ समरूपता (symmetry) का आसानी से लाभ नहीं उठाया जा सकता है।