तकनीकी सारांश: स्थिर नमूना जटिलता के साथ स्थानीयकरण योग्य क्वांटम गुणों का प्रमाणन

समस्या विवरण

बढ़ती जटिल क्वांटम प्रणालियों का लक्षण वर्णन करना क्वांटम सूचना विज्ञान में एक केंद्रीय चुनौती है। जबकि पूर्ण स्टेट टोमोग्राफी (full state tomography) पूर्ण जानकारी प्रदान करती है, इसकी प्रयोगात्मक लागत सिस्टम के आकार के साथ तेजी से (exponentially) बढ़ती है, जिससे यह बड़े पैमाने के उपकरणों के लिए निषेध योग्य हो जाती है। मौजूदा प्रमाणन प्रोटोकॉल जो सरल स्थानीय मापों पर निर्भर करते हैं, महत्वपूर्ण सीमाओं का सामना करते हैं: वे अक्सर विशिष्ट अवस्थाओं या गुणों के लिए अनुकूलित होते हैं, उनके लिए कठिन अनुकूली (adaptive) मापन योजनाओं की आवश्यकता होती है, वे केवल शुद्ध अवस्थाओं (pure states) के लिए ही साउंडनेस (soundness) की गारंटी देते हैं, या उनकी नमूना जटिलता (sample complexity) सिस्टम के आकार के साथ बढ़ती है और शोर के प्रति घटती मजबूती प्रदर्शित करती है। एक सामान्य, स्केलेबल और प्रयोगात्मक रूप से व्यवहार्य ढांचे की तत्काल आवश्यकता है जो केवल स्थानीय मापों के साथ स्थिर नमूना जटिलता और मजबूती के साथ वैश्विक क्वांटम गुणों—जैसे कि एंटैंगलमेंट (entanglement), सर्किट जटिलता (circuit complexity), और क्वांटम मैजिक (quantum magic)—को प्रमाणित कर सके, यहाँ तक कि मिश्रित अवस्थाओं (mixed states) के लिए भी।

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

लेखक एक एकीकृत प्रमाणन ढांचे को पेश करते हैं जो एक भौतिक घटना पर आधारित है जिसे वे लोकलाइज़ेबल क्वांटमनेस (localizable quantumness) कहते हैं। मुख्य अंतर्दृष्टि यह है कि सामान्य मेनी-बॉडी अवस्थाओं (many-body states) के लिए, आवश्यक वैश्विक क्वांटम गुण, शेष सिस्टम पर स्थानीय प्रक्षेपत्मक मापन (local projective measurements) करने के बाद छोटे उप-प्रणालियों (subsystems) पर प्रक्षिप्त समूहों (projected ensembles) में मजबूती से संरक्षित रहते हैं।

कार्यप्रणाली तीन मुख्य चरणों में आगे बढ़ती है:

1. विभाजन और प्रक्षेप (Partitioning and Projection): $n$-qubit सिस्टम को एक छोटे, सुलभ उप-प्रणाली $A$ और एक बड़े पूरक $B$ में विभाजित किया जाता है। $B$ पर स्थानीय प्रक्षेपत्मक मापन (आमतौर पर कम्प्यूटेशनल बेसिस में, हालांकि एक रैंडम-बेसिस वेरिएंट भी प्रस्तावित है) किए जाते हैं। यह उप-प्रणाली $A$ पर एक प्रक्षिप्त समूह (projected ensemble) $\mathcal{E}_\rho = \{p_\rho(z), \rho_z\}$ उत्पन्न करता है, जहाँ $z$ मापन परिणाम है और $\rho_z$ $A$ पर परिणामी अवस्था है।
2. सशर्त फिडेलिटी विटनेस (Conditional Fidelity Witness): ढांचा एक सशर्त फिडेलिटी (conditional fidelity) अवलोकन $\eta_\psi(\rho)$ को परिभाषित करता है, जो एक लक्षित गुण $P$ के लिए एक विटनेस के रूप में कार्य करता है। यह अवलोकन एक ज्ञात लक्षित अवस्था $\psi$ के विरुद्ध प्रायोगिक अवस्था $\rho$ के प्रक्षिप्त समूह का मूल्यांकन करता है। विशेष रूप से, यह $\psi_z$ और $\rho_z$ के बीच एन्सेम्बल-औसत स्थानीय फिडेलिटी का मूल्यांकन करता है, जिसे किसी भी "मुक्त" अवस्था (ऐसी अवस्था जिसमें गुण $P$ का अभाव है) के प्रति $\psi_z$ की अधिकतम फिडेलिटी द्वारा शिफ्ट किया गया है।
   • यदि लक्षित अवस्था $\psi$ में लोकलाइज़ेबल क्वांटमनेस प्रदर्शित होती है, तो इसकी प्रक्षिप्त अवस्थाएँ $\psi_z$, $B$ पर मापन के बाद भी, मुक्त प्रक्षिप्त अवस्थाओं ($F_{PP}$) के सेट से दूर रहती हैं।
   • फलस्वरूप, $\eta_\psi(\rho)$ $\psi$ के लिए एक धनात्मक मान देता है लेकिन किसी भी मुक्त अवस्था $\rho \in F_P$ के लिए गैर-धनात्मक रहता है।
3. लोकल शैडो के माध्यम से अनुमान (Estimation via Local Shadows): प्रोटोकॉल छोटे उप-प्रणाली $A$ पर केवल गैर-अनुकूली स्थानीय पाउली मापन (non-adaptive local Pauli measurements) का उपयोग करके $\eta_\psi(\rho)$ का अनुमान लगाता है। लोकल क्लासिकल शैडो (local classical shadows) और मीडियन-ऑफ-मीन्स (median-of-means) एस्टीमेटर का उपयोग करके, प्रोटोकॉल आवश्यक एन्सेम्बल औसत को कुशलतापूर्वक अनुमानित करता है। यह पूर्ण प्रक्षिप्त समूह पर गैर-रैखिक मात्राओं का सीधे मूल्यांकन करने के कठिन कार्य से बचता है।

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

यह शोध पत्र सैद्धांतिक और व्यावहारिक योगदान देता है:

• लोकलाइज़ेबल क्वांटमनेस का औपचारिकीकरण: लेखक इस अवधारणा को औपचारिक रूप देते हैं कि वैश्विक क्वांटम संसाधनों (एंटैंगलमेंट, जटिलता, मैजिक) को पूरक पर स्थानीय मापन के माध्यम से छोटे उप-प्रणालियों में केंद्रित किया जा सकता है। वे सिद्ध करते हैं कि यह घटना Haar-रैंडम अवस्थाओं, रैंडम ब्रिकवर्क-सर्किट अवस्थाओं, और उथले अराजक (shallow chaotic) सर्किट्स द्वारा उत्पन्न सामान्य अवस्थाओं के लिए उच्च प्रायिकता के साथ बनी रहती है।
• स्थिर नमूना जटिलता (Constant Sample Complexity): यदि उप-प्रणाली का आकार $|A|$ स्थिर है, तो प्रोटोकॉल बाइपार्टाइट एंटैंगलमेंट, क्वांटम मैजिक, और सर्किट जटिलता (स्थिर गहराई के लिए) जैसे गुणों को प्रमाणित करने के लिए $O(1)$ नमूना जटिलता प्राप्त करता है। यह पिछले तरीकों की तुलना में एक घातीय सुधार है जहाँ नमूना जटिलता आमतौर पर सिस्टम के आकार के साथ बढ़ती है।
• मिश्रित अवस्थाओं के लिए साउंडनेस: कई पूर्व दृष्टिकोणों के विपरीत, जो शुद्ध अवस्थाओं तक सीमित हैं, यह ढांचा मिश्रित अवस्थाओं के लिए साउंडनेस की गारंटी देता है। यह किसी भी ऐसी मिश्रित अवस्था को मजबूती से खारिज करता है जिसमें लक्षित गुण का अभाव होता है।
• स्थिर मजबूती (Constant Robustness): प्रोटोकॉल लक्षित अवस्था से विचलन के विरुद्ध स्थिर-स्तर की मजबूती ($\epsilon = \Omega(1)$) बनाए रखता है। यह उन विधियों की तुलना में एक महत्वपूर्ण सुधार है जहाँ मजबूती $O(1/\text{poly}(n))$ के रूप में घटती है, जिससे प्रोटोकॉल वास्तविक, शोर वाले NISQ उपकरणों के लिए व्यवहार्य हो जाता है।
• विविध गुणों के लिए एकीकृत ढांचा: ढांचे का उपयोग निम्नलिखित को प्रमाणित करने के लिए किया जाता है:
  • क्वांटम सर्किट जटिलता: एक अवस्था जो एक स्थिर थ्रेशोल्ड से अधिक सर्किट गहराई की आवश्यकता रखती है, इसे प्रमाणित करना, जिसमें मेजरमेंट-असिस्टेड सर्किट भी शामिल हैं।
  • एंटैंगलमेंट: घातीय रूप से कई विभाजनों में बाइपार्टाइट एंटैंगलमेंट और पूर्णतः अविभाज्य एंटैंगलमेंट (fully inseparable entanglement) (सभी बाइपार्टिशन में एंटैंगलमेंट) को प्रमाणित करना, जिसमें $O(\log n)$ की लॉगरिदमिक नमूना जटिलता लगती है।
  • क्वांटम मैजिक: केवल सिंगल-कॉपी स्थानीय मापों का उपयोग करके नॉन-स्टेबिलाइज़रनेस (non-stabilizerness) को प्रमाणित करना, जो मिश्रित-अवस्था साउंडनेस के लिए पहली बार है।
  • स्टेट फिडेलिटी: एक रैंडम-बेसिस एन्हांस्ड वेरिएंट प्रस्तावित किया गया है जो वैश्विक स्टेट फिडेलिटी को प्रमाणित करता है। लेखक रैंडम ग्राफ अवस्थाओं के लिए स्थिर नमूना जटिलता और मजबूती सिद्ध करते हैं और सामान्य अवस्थाओं के लिए मजबूत संख्यात्मक साक्ष्य प्रदान करते हैं।

परिणाम

शोध पत्र निम्नलिखित परिणामों का समर्थन करने के लिए कठोर प्रमाण और संख्यात्मक सिमुलेशन प्रस्तुत करता है:

• सैद्धांतिक गारंटी: प्रमेय 1 स्थापित करता है कि किसी भी ऐसे गुण के लिए जिसका लोकलाइज़ेबल क्वांटमनेस मेट्रिक $LQP(\psi) = \Omega(1)$ है, प्रोटोकॉल स्थिर नमूना जटिलता, स्थिर मजबूती और मिश्रित अवस्थाओं के लिए साउंडनेस प्राप्त करता है।
• जटिलता प्रमाणन: प्रोटोकॉल रैंडम ब्रिकवर्क सर्किट्स और गहरे थर्मलकृत (deep-thermalized) अवस्थाओं द्वारा उत्पन्न अवस्थाओं के लिए उच्च सर्किट जटिलता (दोनों यूनिटरी और मेजरमेंट-असिस्टेड) को सफलतापूर्वक प्रमाणित करता है।
• एंटैंगलमेंट प्रमाणन: पूर्णतः अविभाज्य एंटैंगलमेंट के लिए, प्रोटोकॉल सभी निकटतम पड़ोसी जोड़ों (nearest-neighbor pairs) में एक ही डेटासेट का पुन: उपयोग करके नमूना जटिलता को सिस्टम आकार के रैखिक से लॉगरिदमिक में कम कर देता है। हैमिल्टोनियन ग्राउंड स्टेट्स (XXZ और $J_1-J_2$ चेन्स) पर संख्यात्मक अध्ययन पुष्टि करते हैं कि लोकलाइज़ेबल एंटैंगलमेंट क्रिटिकल रिजीम्स में गैर-शून्य बना रहता है।
• मैजिक प्रमाणन: 512 क्वबिट तक के मैजिक-इंजेक्शन सर्किट्स पर संख्यात्मक सिमुलेशन प्रदर्शित करते हैं कि लोकलाइज़ेबल मैजिक प्रभावी ढंग से केंद्रित होता है, जिससे डेपोलराइजिंग शोर के विरुद्ध उच्च मजबूती और स्थिर नमूना जटिलता के साथ कुशल प्रमाणन संभव होता है।
• फिडेलिटी प्रमाणन: रैंडम ग्राफ अवस्थाओं के लिए, सशर्त फिडेलिटी अवलोकन का स्पेक्ट्रल गैप स्थिर ($\Omega(1)$) सिद्ध किया गया है, जो कुशल प्रमाणन सुनिश्चित करता है। संख्यात्मक साक्ष्य बताते हैं कि यह स्केलिंग सामान्य अवस्थाओं तक विस्तृत है जो पॉलीनोमियल-डेप्थ सर्किट्स द्वारा उत्पन्न होती हैं।

महत्व

लेखक दावा करते हैं कि यह कार्य लोकलाइज़ेबल क्वांटमनेस को मेनी-बॉडी क्वांटम सिस्टम को समझने के लिए एक एकीकृत सिद्धांत के रूप में स्थापित करता है और बड़े पैमाने के क्वांटम प्रोसेसर को प्रमाणित करने के लिए एक व्यावहारिक, स्केलेबल टूलकिट प्रदान करता है।

• स्केलेबिलिटी: केवल स्थानीय पाउली मापन पर निर्भर रहकर और स्थिर नमूना जटिलता प्राप्त करके, यह विधि पारंपरिक टोमोग्राफी और कई मौजूदा प्रमाणन प्रोटोकॉल की घातीय स्केलिंग बाधा को दूर करती है।
• प्रयोगात्मक व्यवहार्यता: मापन की गैर-अनुकूली प्रकृति और मिश्रित अवस्थाओं को प्रमाणित करने की क्षमता इस प्रोटोकॉल को वर्तमान और निकट-अवधि के क्वांटम हार्डवेयर के साथ अत्यधिक संगत बनाती है, जिसमें अक्सर लंबे समय तक चलने वाली क्वांटम मेमोरी या अनुकूली फीडबैक क्षमताओं का अभाव होता है।
• नया परिप्रेक्ष्य: यह कार्य वैश्विक प्रमाणन को एक स्थानीय समस्या के रूप में पुनर्गठित करता है, जो मेजरमेंट-इंड्यूस्ड फेज ट्रांजिशन, टोपोलॉजिकल ऑर्डर और क्वांटम संसाधनों के संकेंद्रण जैसे जटिल घटनाओं की जांच करने के लिए एक नया दृष्टिकोण प्रदान करता है।
• व्यापक प्रयोज्यता: यह ढांचा हैमिल्टोनियन डायनेमिक्स और रैंडम सर्किट्स द्वारा उत्पन्न सहित भौतिक रूप से प्रासंगिक अवस्थाओं की एक विस्तृत श्रृंखला पर लागू होता है, जो सैद्धांतिक प्रमाणन और प्रयोगात्मक बेंचमार्किंग के बीच के अंतर को पाटता है।

शोध पत्र यह नोट करते हुए समाप्त होता है कि जबकि वर्तमान जटिलता विटनेस अपेक्षाकृत उथले सर्किट्स को लक्षित करते हैं, जटिलता संकेंद्रण (complexity concentration) की घटना उच्च जटिलताओं तक इन विधियों के विस्तार की संभावना सुझाती है। भविष्य की दिशाओं में लोकलाइज़ेबल मैजिक का सिद्धांत विकसित करना और मिश्रित अवस्थाओं के लिए ढांचे को अधिक व्यापक रूप से विस्तारित करना शामिल है।