Sparse positive maps on qutrits with exact nondecomposability thresholds and PPT-entanglement transitions

तकनीकी सारांश: सटीक गैर-अपघटनीयता सीमाओं और PPT-एंटैंगलमेंट संक्रमणों के साथ क्यूट्रिट्स पर स्पार्स पॉजिटिव मैप्स

समस्या विवरण
यह निर्धारित करना कि एक द्विपक्षीय मिश्रित अवस्था (bipartite mixed state) विभाज्य (separable) है या एंटैंगल्ड (entangled), एक गणनात्मक रूप से कठिन समस्या है। जबकि पेरेस-होरोडेकी मानदंड (पॉजिटिव पार्शियल ट्रांसपोज़ - PPT) $2 \times 2$ और $2 \times 3$ प्रणालियों में विभाज्यता के लिए आवश्यक और पर्याप्त है, यह उच्च आयामों में विफल हो जाता है जहाँ "बाउंड एंटैंगल्ड" (bound entangled) अवस्थाएँ मौजूद होती हैं (ऐसी एंटैंगल्ड अवस्थाएँ जो PPT रहती हैं)। पॉजिटिव मैप्स का सिद्धांत संबोधित करने के लिए एक शक्तिशाली ढांचा प्रदान करता है: एक अवस्था विभाज्य है यदि और केवल यदि वह $id \otimes \Phi$ की क्रिया के तहत धनात्मक बनी रहती है, प्रत्येक पॉजिटिव मैप $\Phi$ के लिए। महत्वपूर्ण रूप से, PPT-एंटैंगल्ड अवस्थाओं का पता लगाने के लिए गैर-अपघटनीय (non-decomposable) पॉजिटिव मैप्स की आवश्यकता होती है, क्योंकि अपघटनीय मैप्स उन्हें प्रमाणित नहीं कर सकते। प्रगति के बावजूद, स्पष्ट सीमाओं और संबंधित PPT-एंटैंगल्ड अवस्थाओं वाले विश्लेषणात्मक रूप से सुलभ गैर-अपघटनीय पॉजिटिव मैप्स के परिवार दुर्लभ हैं।

कार्यप्रणाली
लेखक क्यूट्रिट्स ($d=3$) पर कार्य करने वाले एक विशिष्ट स्पार्स पॉजिटिव मैप परिवार की जांच करते हैं, जिसे मूल रूप से अनुकूलन-आधारित खोज (optimization-based search) के माध्यम से पहचाना गया था। मैप $\Phi: B(\mathbb{C}^3) \to B(\mathbb{C}^3)$ को पैरामीटर्स $a, b, c \geq 0$ और सम्मिश्र संख्याओं $w, z$ द्वारा परिभाषित किया गया है। संबद्ध चॉई मैट्रिक्स (Choi matrix) $C_\Phi$ की स्पर्सिटी (sparsity) केंद्रीय संरचनात्मक विशेषता है जो एक सटीक विश्लेषणात्मक उपचार को सक्षम बनाती है।

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

1. धनात्मकता विश्लेषण (Positivity Analysis): मैप की धनात्मकता (positive) की स्थिति (जो अनिवार्य रूप से पूर्णतः धनात्मक नहीं है) को एक हर्मिटीयन बाइक्वाड्रेटिक फॉर्म $Q(x, y)$ की गैर-ऋणात्मकता, या समकक्ष रूप से, $C_\Phi$ की ब्लॉक-पॉजिटिविटी में परिवर्तित कर दी जाती है। इसका विश्लेषण सिम्पलेक्स वेरिएबल्स पर निर्भर एक $3 \times 3$ मैट्रिक्स $M(x)$ के प्रिंसिपल माइनर्स पर सिल्वेस्टर के मानदंड (Sylvester's criterion) का उपयोग करके किया जाता है।
2. अपघटनीयता सीमाएँ (Decomposability Thresholds): मैप को अपघटनीय और गैर-अपघटनीय के बीच अंतर करने के लिए, लेखक विशिष्ट PPT अवस्थाओं के विरुद्ध चॉई मैट्रिक्स का परीक्षण करते हैं। यदि किसी PPT अवस्था $\rho$ के लिए $\text{Tr}[C_\Phi \rho] < 0$ है, तो मैप को गैर-अपघटनीय सिद्ध किया जाता है। इसके विपरीत, अपघटनीयता को पूर्णतः धनात्मक (completely positive) और पूर्णतः को-पॉजिटिव (completely co-positive) मैप्स के स्पष्ट उत्तरोत्तर संयोजनों (convex combinations) का निर्माण करके स्थापित किया जाता है।
3. अवस्था निर्माण (State Construction): लेखक द्विपक्षीय अवस्थाओं (PPT अवस्थाओं) के परिवारों का निर्माण करते हैं जो इन मैप्स द्वारा पता लगाए जाते हैं। वे दो प्रकार के वर्गों का विश्लेषण करते हैं: "विटनेस-अनुकूलित" (witness-adapted) विरूपण जो सीधे अपघटनीयता विश्लेषण से जुड़े हैं, और "शार्पन्ड" (sharpened) परिवार जहाँ संपूर्ण PPT-एंटैंगल्ड शाखा को निश्चित पॉजिटिव मैप्स द्वारा पता लगाया जाता है।

मुख्य योगदान और परिणाम
यह शोध क्यूट्रिट मैप क्लास के भीतर तीन प्रतिनिधि पैरामेट्रिक परिवारों के लिए सटीक विश्लेषणात्मक सीमाओं को व्युत्पन्न करता है:

• मामला 1 ($b=c, w=z=1$): लेखक एक सटीक धनात्मकता सीमा $b_{\min}(a)$ और एक सटीक अपघटनीयता सीमा $b_{\text{dec}}(a) = 1 - a/\sqrt{2}$ व्युत्पन्न करते हैं। वे दिखाते हैं कि मैप गैर-अपघटनीय है यदि और केवल यदि $b < b_{\text{dec}}(a)$।
• मामला 2 ($b=c=(1-a)/2, w=z \geq 0$): यह परिवार ट्रेस-प्रिजर्विंग मैप्स के अनुरूप है। लेखक $w_{\max}(a)$ द्वारा सीमित सटीक धनात्मकता क्षेत्र और अपघटनीयता सीमा $w_{\text{dec}}(a) = \frac{\sqrt{2}-1}{2}a + \frac{1}{2}$ को निर्धारित करते हैं। इसके अलावा, वे अपने परिणामों की तुलना 2-पॉजिटिव मैप्स के हालिया स्पेक्ट्रल बाउंड (संदर्भ [26]) से करते हैं, जिससे एक विशिष्ट क्षेत्र (पैरामीटर स्पेस में एक "लाल त्रिकोण") की पहचान होती है, जहाँ मैप्स धनात्मक हैं लेकिन 2-पॉजिटिविटी बाउंड का उल्लंघन करते हैं, जो 1-पॉजिटिविटी और 2-पॉजिटिविटी के बीच के अंतराल को स्पष्ट रूप से चित्रित करता है।
• मामला 3 ($a=c, b=1-2a, w=z \geq 0$): लेखक एक जटिल धनात्मकता सीमा व्युत्पन्न करते हैं जिसमें एक बाहरी शाखा और एक आंतरिक शाखा शामिल है। वे सटीक अपघटनीयता सीमा $w_{\text{dec}}(a) = a\sqrt{2} + \sqrt{a - 2a^2}$ स्थापित करते हैं।

PPT-एंटैंगल्ड अवस्थाओं का निर्माण
अध्ययन दो-क्यूट्रिट अवस्थाओं के स्पष्ट परिवारों का निर्माण करता है:

1. विटनेस-अनुकूलित परिवार: गैर-अपघटनीयता को सिद्ध करने के लिए उपयोग की जाने वाली PPT अवस्थाओं के विरूपण। ये अवस्थाएँ विभाज्य से PPT-एंटैंगल्ड में संक्रमण करती हैं, हालांकि संक्रमण बिंदु हमेशा सरल निश्चित विटनेस द्वारा इष्टतम रूप से पता नहीं लगाया जाता है (कुछ पैरामीटर श्रेणियों के लिए CCNR या DPS पदानुक्रम जैसे मजबूत मानदंडों की आवश्यकता होती है)।
2. शार्पन्ड परिवार: वैकल्पिक एक-पैरामीटर परिवार जहाँ संपूर्ण PPT-एंटैंगल्ड शाखा (विभाज्यता सीमा से लेकर PPT सीमा तक) को एक एकल निश्चित पॉजिटिव मैप द्वारा पता लगाया जाता है। यह इन विशिष्ट अवस्था परिवारों के लिए विभाज्यता और बाउंड एंटैंगलमेंट के बीच सटीक सीमाएँ प्रदान करता है।

महत्व
यह शोध दावा करता है कि यह क्यूट्रिट परिवार एक ऐसा "विश्लेषणात्मक रूप से नियंत्रित परिवेश" प्रदान करता है जहाँ धनात्मकता, अपघटनीयता और PPT एंटैंगलमेंट का अध्ययन समान स्तर पर किया जा सकता है। चॉई मैट्रिक्स की स्पर्सिटी का लाभ उठाकर, लेखक उस स्तर की स्पष्टता प्राप्त करते हैं जो साहित्य में दुर्लभ है:

• वे धनात्मकता क्षेत्रों और अपघटनीयता सीमाओं के लिए सटीक क्लोज्ड-फॉर्म एक्सप्रेशन प्रदान करते हैं।
• वे स्पष्ट PPT-एंटैंगल्ड अवस्थाओं का निर्माण करते हैं जिनके विभाज्य और एंटैंगल्ड शासन (regimes) विश्लेषणात्मक रूप से हल किए गए हैं।
• वे (एक ट्रेस-प्रिजर्विंग उपवर्ग के भीतर) धनात्मकता और उच्च-क्रम की धनात्मकता (विशेष रूप से 2-पॉजिटिविटी) के बीच के अंतराल को पूरी तरह से स्पष्ट करते हैं।

यह कार्य क्वांटम अवस्थाओं की ज्यामिति और एंटैंगलमेंट विटनेस की संरचना को समझने के लिए एक "लो-डायमेंशनल प्रयोगशाला" के रूप में कार्य करता है, यह प्रदर्शित करता है कि कैसे अनुकूलन-आधारित खोजों को संरचनात्मक विश्लेषण के साथ जोड़कर नए, सटीक रूप से हल करने योग्य गैर-अपघटनीय मैप्स के परिवार प्राप्त किए जा सकते हैं।