Witness expansion: A unified framework for analytical and measurable mixed-state resource detection

शीर्षक: विटनेस एक्सपेंशन (Witness Expansion): विश्लेषणात्मक और मापने योग्य मिश्रित-अवस्था संसाधन पहचान के लिए एक एकीकृत ढांचा

समस्या विवरण
क्वांटम सूचना विज्ञान सुरक्षित संचार से लेकर क्वांटम सिमुलेशन तक के कार्यों को करने के लिए विशिष्ट क्वांटम संसाधनों (जैसे, सुसंगति (coherence), एंटैंगमेंट (entanglement), मैजिक (magic), नॉन-गॉसियनिटी (non-Gaussianity)) की पहचान करने और उनका लाभ उठाने पर निर्भर करता है। जबकि संसाधन पहचान उपकरणों के बेंचमार्किंग और मौलिक भौतिकी को समझने के लिए महत्वपूर्ण है, यह कई चुनौतियों का सामना करती है, विशेष रूपकर मिश्रित अवस्थाओं (mixed states) के लिए। कई संसाधन "मुक्त" अवस्थाओं (जैसे, सेपरेबल अवस्थाएं, स्टेबिलाइज़र अवस्थाएं, गॉसियन अवस्थाएं) के अपवर्जन द्वारा परिभाषित होते हैं, जो जटिल उत्तल समुच्चय (convex sets) बनाते हैं। मौजूदा पहचान विधियों को कई सीमाओं का सामना करना पड़ता है:

1. मिश्रित-अवस्था की कठिनाई: ज्यामितीय उत्तलता (geometric convexity) शुद्ध-अवस्था मानदंडों को मिश्रित अवस्थाओं तक विस्तारित करना कठिन बनाती है, जिसके लिए अक्सर कठिन कम्प्यूटेशनल संख्यात्मक अनुकूलन (numerical optimizations) की आवश्यकता होती है।
2. सार्वभौमिकता का अभाव: विभिन्न संसाधनों के पास विशिष्ट गणितीय संरचनाएं होती हैं (जैसे, एंटैंगलेमेंट के लिए टेंसर-प्रोडक्ट संरचना बनाम मैजिक के लिए फेज-स्पेस संरचना), जो एक एकीकृत पहचान पद्धति को रोकती हैं।
3. विश्लेषणात्मक अनिर्धारणता (Analytical Intractability): सामान्य संसाधन परिमांकों (जैसे, मजबूती/robustness) के लिए बंद-रूप अभिव्यक्ति (closed-form expressions) का अभाव होता है या वे सीधे गणना योग्य नहीं होते हैं।
4. प्रायोगिक बाधाएं: कई सैद्धांतिक मानदंड, व्यापक संख्यात्मक अनुकूलन या केस-दर-केस विश्लेषण के बिना आसानी से मापने योग्य नहीं होते हैं।

कार्यप्रणाली: विटनेस एक्सपेंशन (WE)
लेखक "विटनेस एक्सपेंशन" (WE) का प्रस्ताव करते हैं, जो रैखिक बीज विटनेस (linear seed witnesses) से गैर-रैखिक, मल्टी-कॉपी संसाधन पहचान मानदंडों का निर्माण करता है। मुख्य कार्यप्रणाली में शामिल है:

1. इनपुट:

   • एक रैखिक बीज विटनेस ($\tilde{W}$): एक मानकीकृत धनात्मक अर्ध-निश्चित ऑपरेटर (एक मानक विटनेस $W$ से व्युत्पन्न) जो मुक्त अवस्थाओं पर गैर-ऋणात्मक है।
   • मुक्त यूनिटरीज़ का एक समूह ($\mathcal{G}$): संसाधन सिद्धांत से जुड़े मुक्त यूनिटरी समूह का एक कॉम्पैक्ट उपसमूह (जैसे, कोहेरेंस के लिए विकर्ण यूनिटरी, एंटैंगलेमेंट के लिए लोकल यूनिटरी, मैजिक के लिए क्लिफोर्ड समूह)।

2. निर्माण:
   ढांचा बीज विटनेस पर मुक्त यूनिटरी ऑर्बिट लागू करके विटनेस का एक परिवार उत्पन्न करता है: $\{U^\dagger \tilde{W} U \mid U \in \mathcal{G}\}$। इसके बाद यह $\mathcal{G}$ के हेयर मेजर (Haar measure) पर $L_\alpha$-नॉर्म का उपयोग करके इस परिवार के अपेक्षित मानों को एकत्रित करता है।
   परिणामी WE $\alpha$-नॉर्म अवस्था $\rho$ के लिए इस प्रकार परिभाषित है:
   $$\|\rho\|_{\tilde{W},\mathcal{G},\alpha} = \left( \int_{\mathcal{G}} \text{Tr}(U^\dagger \tilde{W} U \rho)^\alpha d\mu_{\mathcal{G}}(U) \right)^{1/\alpha}$$
   पूर्णांक $\alpha$ के लिए, यह अवस्था की $\alpha$ प्रतियों पर यूनिटरी ट्विरलिंग (unitary twirling) के अनुरूप होता है।

3. पहचान मानदंड:
   यदि किसी अवस्था $\rho$ का WE नॉर्म थ्रेसहोल्ड $C_{\tilde{W},\mathcal{G},\alpha}$ से अधिक है, तो उसे संसाधन के रूप में पहचाना जाता है, जो मुक्त अवस्थाओं द्वारा प्राप्त किया जा सकने वाला अधिकतम मान है:
   $$\|\rho\|_{\tilde{W},\mathcal{G},\alpha} > C_{\tilde{W},\mathcal{G},\alpha} \implies \rho \notin \mathcal{F}$$
   महत्वपूर्ण रूप से, यदि मुक्त अवस्थाएं एक एकल शुद्ध मुक्त अवस्था के ऑर्बिट के तहत गठित एक एकल शुद्ध अवस्था के उत्तल हल (convex hull) बनाती हैं, तो थ्रेसहोल्ड $C$ को एक प्रतिनिधि शुद्ध मुक्त अवस्था का मूल्यांकन करके विश्लेषणात्मक रूप से निर्धारित किया जा सकता है।

4. अनुकूलन रणनीतियाँ:

   • बीज अनुकूलन (Seed Optimization): एक ऐसे बीज विटनेस का चयन करना जिसमें संसाधन के प्रति उच्च संवेदनशीलता हो (जैसे, अत्यधिक संसाधनपूर्ण अवस्था पर प्रोजेक्टर), पहचान को बढ़ा सकता है।
   • उपसमूह प्रतिबंध (Subgroup Restriction): $\mathcal{G}$ को एक छोटे उपसमूह तक सीमित करने से अत्यधिक औसत (averaging) से बचा जा सकता है जो मिश्रित अवस्थाओं में संसाधन संकेतों को कम कर सकता है, जिससे विशिष्ट अवस्था वर्गों के लिए मजबूत मानदंड प्राप्त हो सकते हैं।

प्रमुख योगदान और परिणाम
लेखक चार प्रमुख संसाधन सिद्धांतों में WE की सार्वभौमिकता और शक्ति का प्रदर्शन करते हैं:

1. क्वांटम कोहेरेंस (Quantum Coherence):

   • विकर्ण यूनिटरी और एक मानक कोहेरेंस विटनेस का उपयोग करके, ढांचा कोहेरेंस के $l_2$ नॉर्म को पुनः प्राप्त करता है।
   • $\alpha=2$ मानदंड को सभी कोहेरेंट अवस्थाओं का पता लगाने के लिए पर्याप्त दिखाया गया है, जो एकीकृत औपचारिकता के भीतर ज्ञात परिणामों को पुनः प्राप्त करता है।

2. एंटैंगलेमेंट (Entanglement):

   • SWAP ऑपरेटर को बीज के रूप में और लोकल यूनिटरी को समूह के रूप में उपयोग करके, ढांचा स्वाभाविक रूप से रेनी एंटैंगलेमेंट एंट्रॉपी ( $\alpha=2$ के लिए) और पार्शियल-ट्रांसपोज़ मोमेंट्स ($\alpha=3$ के लिए) उत्पन्न करता है।
   • $\alpha \to \infty$ सीमा एक PPT-समान स्थिति प्रदान करती है जो मैक्सिमली एंटैंगल्ड अवस्थाओं के विरुद्ध पार्शियल ट्रांसपोज़ का परीक्षण करती है।
   • लेखक नोट करते हैं कि जबकि WE ज्ञात संरचनाओं को पुनः प्राप्त करता है, पूर्ण यूनिटरी समूह का औसत प्रभाव कभी-कभी शुद्धता मानदंडों की तुलना में अत्यधिक मिश्रित अवस्थाओं के लिए पहचान को कमजोर कर सकता है, जो सार्वभौमिकता और विशिष्ट इष्टतमता के बीच एक ट्रेड-ऑफ को उजागर करता है।

3. क्वांटम मैजिक (Quantum Magic - Non-stabilizerness):

   • क्विडिट मैजिक (विषम अभाज्य आयाम): विग्नर ऑपरेटरों और क्लिफोर्ड समूह का उपयोग करके, ढांचा स्टेबिलाइज़र रेनी एंट्रॉपी को पुनः प्राप्त करता है। लेखक दिखाते हैं कि पूर्ण-क्लिफोर्ड ट्विरलिंग $\alpha < 3$ के लिए एक ट्रिवियल (trivial) मानदंड की ओर ले जाती है क्योंकि क्लिफोर्ड समूह का 2-डिज़ाइन गुण मौजूद है। फेज-स्पेस ट्रांसलेशन तक सीमित करके, वे एक गैर-ट्रिवियल द्वितीय-क्रम ($\alpha=2$) मानदंड प्राप्त करते हैं जो उन मिश्रित अवस्थाओं का पता लगाता है जिन्हें तीसरे-क्रम के पूर्ण-क्लिफोर्ड मानदंड द्वारा छोड़ा गया था।
   • क्यूबिट मैजिक: "ट्रायंगल विटनेस" (मैजिक ट्रायंगल मानदंड पर आधारित) का उपयोग करके और चौथे-क्रम के क्लिफोर्ड ट्विरलिंग के माध्यम से, ढांचा शुद्ध अवस्थाओं के लिए स्टेबिलाइज़र रेनी एंट्रॉपी को पुनः प्राप्त करता है। हालांकि, लेखक पाते हैं कि यह विशिष्ट निर्माण सिस्टम साइज $n > 2$ के लिए ट्रिवियल हो जाता है क्योंकि गुणांक शून्य हो जाते हैं।
   • सुधार: एक अत्यधिक मैजिक अवस्था पर रैंक-1 प्रोजेक्टर को बीज के रूप में बदलकर, लेखक एक नया WE 4-मानदंड प्राप्त करते हैं जो किसी भी सिस्टम साइज के लिए सभी शुद्ध क्यूबिट मैजिक अवस्थाओं का पता लगाता है, जो ट्रायंगल विटनेस की सीमाओं को पार करता है।

4. फर्मिओनिक नॉन-गॉसियनिटी (Fermionic Non-Gaussianity):

   • प्रोजेक्टर दृष्टिकोण: एक विशिष्ट गैर-गॉसियन अवस्था (GHZ अवस्थाओं से निर्मित) पर प्रोजेक्टर को बीज के रूप में उपयोग करके, लेखक $\alpha=2,3$ के लिए मिश्रित-अवस्था मानदंड प्राप्त करते हैं। ये मानदंड उन अवस्थाओं का पता लगाते हैं जो शुद्ध गॉसियन अवस्थाओं के उत्तल हल से बाहर हैं।
   • पाउली स्ट्रिंग दृष्टिकोण: एक सम-डिग्री मेजरना उत्पाद (पाउली स्ट्रिंग) को बीज के रूप में उपयोग करके (चूंकि $\alpha=2$ सम है), वे मेजरना सेक्टर प्योरिटीज पर आधारित एक WE 2-मानदंड प्राप्त करते हैं।
   • महत्व: यह विशिष्ट मानदंड सभी शुद्ध फर्मिओनिक अवस्थाओं के लिए निष्ठावान (faithful) है और किसी भी क्यूबिट संख्या के लिए गैर-ट्रिवियल रहता है। लेखक दावा करते हैं कि यह पहला विश्लेषणात्मक मानदंड है जो शुद्ध गॉसियन अवस्थाओं के उत्तल हल के सापेक्ष मिश्रित-अवस्था फर्मिओनिक नॉन-गॉसियनिटी का पता लगाता है और जो किसी भी क्यूबिट संख्या के लिए मान्य है।

महत्व और दावे
लेखक दावा करते हैं कि विटनेस एक्सपेंशन संसाधन पहचान के लिए एक एकीकृत, विश्लेषणात्मक और मापने योग्य ढांचा प्रदान करता है। उनके प्राथमिक योगदान हैं:

• एकीकरण: यह प्रदर्शित करता है कि विविध, सुस्थापित संसाधन परिमांक (कोहेरेंस नॉर्म्स, एंटैंगलेमेंट मोमेंट्स, स्टेबिलाइज़र एंट्रॉपी, फर्मिओनिक एंटिफ्लैटनेस) एक ही गणितीय निर्माण से स्वाभाविक रूप से उभरते हैं।
• मिश्रित-अवस्था क्षमता: कई मौजूदा विधियों के विपरीत जो मिश्रित अवस्थाओं के साथ संघर्ष करती हैं या संख्यात्मक अनुकूलन की आवश्यकता रखती हैं, WE मिश्रित अवस्थाओं के लिए विश्लेषणात्मक मानदंड प्रदान करता है।
• नए पहचान स्कीम्स: WE नए पहचान मानदंड प्रदान करता है, विशेष रूप से क्यूबिट मैजिक और फर्मिओनिक नॉन-गॉसियनिटी के लिए, जहाँ यह कुछ संदर्भों में मिश्रित अवस्थाओं के लिए पहले ज्ञात विश्लेषणात्मक और स्केलेबल मानदंड प्रदान करता है।
• प्रायोगिक प्रासंगिकता: मानदंड अवस्था के बहुपद कार्यों (polynomial functions) पर आधारित हैं जिन्हें अवस्था की कई प्रतियों (जैसे, स्वैप टेस्ट या समान प्रोटोकॉल के माध्यम से) का उपयोग करके प्रयोगात्मक रूप से अनुमानित किया जा सकता है।

लेखक प्रायोगिक कार्यान्वयन के संबंध में एक मध्यम स्वर बनाए रखते हैं, यह नोट करते हुए कि हालांकि मानदंड विश्लेषणात्मक रूप से सुलभ हैं, वास्तविक मापन जटिलता विशिष्ट संसाधन और परिणामी बहुपदों की संरचना पर निर्भर करती है। वे मापन जटिलता के विश्लेषण और निरंतर-चर (continuous-variable) प्रणालियों और कम्प्यूटेशनल संसाधन सिद्धांतों तक ढांचे के विस्तार के लिए भविष्य के कार्य की पहचान करते हैं।