Minimum Hilbert-Schmidt distance for Schmidt rank 2 states

तकनीकी सारांश: श्मिट रैंक 2 अवस्थाओं के लिए न्यूनतम हिल्बर्ट-श्मिट दूरी

लेखक: पलश पांड्या
संस्थान: सेंटर फॉर थ्योरेटिकल फिजिक्स, पोलिश एकेडमी ऑफ साइंसेज

1. समस्या विवरण

दो क्वांटम अवस्थाओं के बीच हिल्बर्ट-श्मिट (HS) दूरी को पूर्णतः सकारात्मक ट्रेस-संरक्षण (CPTP) मानचित्रों के तहत गैर-संकुचनशील (non-contractive) माना जाता है। चूंकि एक वैध एंटैंगलमेंट माप (entanglement measure) को स्थानीय संचालन और क्लासिकल कम्युनिकेशन (LOCC) के तहत बढ़ना नहीं चाहिए, इसलिए HS दूरी को सामान्यतः एंटैंगलमेंट माप के रूप में अयोग्य घोषित कर दिया जाता है।

हालाँकि, दो अनिश्चित अवस्थाओं के बीच की दूरी और सेपरेबल अवस्थाओं के सेट ($S$) से न्यूनतम दूरी के बीच एक अंतर मौजूद है। लेखक यह जांचते हैं कि क्या यह न्यूनतम दूरी—जिसे $D^2_{HS\text{min}}(\rho) = \min_{\sigma \in S} D^2_{HS}(\rho, \sigma)$ के रूप में परिभाषित किया गया है—एक विशिष्ट वर्ग की अवस्थाओं के लिए, विशेष रूप से श्मिट रैंक 2 वाली शुद्ध द्विपक्षीय (bipartite) अवस्थाओं के लिए, LOCC के तहत मोनोटोनिक (गैर-बढ़ने वाली) है या नहीं।

2. कार्यप्रणाली

लेखक विश्लेवनात्मक व्युत्पत्ति (analytical derivation), एल्गोरिद्मिक अनुप्रयोग और गणितीय प्रमाण के संयोजन का उपयोग करते हैं:

• विश्लेवनात्मक व्युत्पत्ति: लेखक निकटतम PPT (पॉजिटिव पार्शियल ट्रांसपोज़) अवस्था को खोजने के लिए वेरस्ट्राएटे एट अल (Verstraete et al.) एल्गोरिदम का उपयोग करते हैं। चूंकि HS नॉर्म पार्शियल ट्रांसपोज़िशन के तहत अपरिवर्तित रहता है, इसलिए समस्या को आंशिक रूप से ट्रांसपोज़ किए गए हिल्बर्ट स्पेस में मैप किया जाता है। श्मिट रैंक 2 अवस्थाओं के लिए, लेखक पहचानते हैं कि संदर्भ अवस्था और निकटतम सेपरेबल अवस्था समान आइजनवेक्टर्स (eigenvectors) साझा करती हैं।
• प्रतिबंधों के तहत अनुकूलन (Optimization under Constraints): दो-क्यूबिट शुद्ध अवस्थाओं के लिए, लेखक आंशिक रूप से ट्रांसपोज़ किए गए डेंसिटी मैट्रिक्स के आइजनवैल्यूज़ पर विचार करके मिनिमाइजेशन समस्या को हल करते हैं। एक महत्वपूर्ण चुनौती जिसे संबोधित किया गया है, वह यह है कि आइजनवैल्यूज़ का मानक पुनर्वितरण (जो PPT मानदंड को संतुष्ट करता है) कभी-कभी मूल स्पेस में गैर-धनात्मक अर्ध-निश्चित (non-positive semi-definite) मैट्रिक्स का परिणाम दे सकता है। लेखक उस विशिष्ट श्मिट गुणांक अंतराल की पहचान करते हैं जहाँ यह होता है और धनात्मकता को लागू करने के लिए लैग्रेंज मल्टीप्लायर्स (Lagrange multipliers) का उपयोग करते हैं।
• मोनोटोनिसिटी प्रमाण: दूरी को एंटैंगलमेंट मोनोटोन सिद्ध करने के लिए, लेखक नील्सन के प्रमेय (Nielsen’s Theorem) का आह्वान करते हैं, जो कहता है कि एक शुद्ध अवस्था $|\psi\rangle$ को LOCC के माध्यम से $|\phi\rangle$ में रूपांतरित किया जा सकता है यदि और केवल यदि $|\psi\rangle$ के श्मिट गुणांकों के वर्ग, $|\phi\rangle$ द्वारा मेजराइज (majorized) किए जाते हैं ($\lambda_\psi \prec \lambda_\phi$)। प्रमाण यह प्रदर्शित करने पर निर्भर करता है कि प्राप्त विश्लेवनात्मक अभिव्यक्ति श्मिट गुणांकों का एक शूर-कन्केव (Schur-concave) फलन है।

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

• क्लोज्ड-फॉर्म अभिव्यक्ति: यह शोध पत्र किसी भी श्मिट रैंक 2 वाली शुद्ध अवस्था के लिए न्यूनतम वर्ग हिल्बर्ट-श्मिट दूरी के लिए एक खंडवार (piecewise) विश्लेवनात्मक अभिव्यक्ति प्रदान करता है, जो इसके श्मिट गुणांकों ($\alpha, \beta$) के पदों में व्यक्त है।
• मोनोटोनिसिटी का प्रमाण: लेखक विश्लेवनात्मक और संख्यात्मक दोनों प्रमाण प्रदान करते हैं कि श्मिट रैंक 2 शुद्ध अवस्थाओं के लिए, न्यूनतम HS दूरी LOCC के तहत गैर-बढ़ने वाली है।
• निकटतम सेपरेबल अवस्था (CSS) का लक्षण वर्णन: शोध पत्र CSS को निर्मित करने के लिए एक विश्लेवनात्मक विधि प्रदान करता है, जिसका उपयोग बाद में विशिष्ट अवस्था के लिए अनुकूलित इष्टतम एंटैंगलमेंट विटनेस (optimal entanglement witnesses) प्राप्त करने के लिए किया जा सकता है।
• सामान्यीकरण: लेखक प्रदर्शित करते हैं कि हालांकि व्युत्पत्ति दो-क्यूबिट सिस्टम के लिए की गई है, परिणाम किसी भी द्विपक्षीय प्रणाली (जैसे उच्च-आयामी क्वाडिट सिस्टम) के लिए मान्य है जहाँ श्मिट रैंक 2 है।

4. परिणाम

• दूरी फलन (The Distance Function): एक अवस्था $|\psi\rangle = \alpha|00\rangle + \beta|11\rangle$ (जहाँ $\alpha \leq \beta$) के लिए, न्यूनतम दूरी $D^2_{HS\text{min}}$ $\alpha$ के मान के आधार पर अलग-अलग व्यवहार करती है:
  • $\alpha$ के एक विशिष्ट रेंज में (मैक्सिमली एंटैंगल्ड स्टेट के पास), दूरी एक सरल द्विघात रूप (quadratic form) का पालन करती है: $\frac{4}{3}\alpha^2\beta^2$।
  • उस रेंज में जहाँ "धनात्मकता प्रतिबंध" (positivity constraint) सक्रिय है (सेपरेबल सीमा के पास), दूरी धनात्मक अर्ध-निश्चित शंकु (positive semi-definite cone) के सीमा से प्राप्त अधिक जटिल अभिव्यक्ति $D(\alpha, \beta)$ का पालन करती है।
• संख्यात्मक सत्यापन: गिल्बर्ट के एल्गोरिदम (Gilbert’s algorithm) और प्रत्यक्ष प्रतिबंधित अनुकूलन का उपयोग करके किए गए संख्यात्मक तुलनाएँ दर्शाती हैं कि विश्लेवनात्मक अभिव्यक्ति अत्यधिक सटीक है और परिशुद्धता सीमाओं के भीतर संख्यात्मक परिणामों से मेल खाती है।
• मोनोटोनिसिटी: छोटे श्मिट गुणांक $\alpha$ के सापेक्ष दूरी फलन का व्युत्पन्न (derivative) धनात्मक ($\frac{dD}{d\alpha} \geq 0$) सिद्ध किया गया था, जो पुष्टि करता है कि जैसे-जैसे LOCC के माध्यम से एंटैंगलमेंट कम होता है, सेपरेबल सेट से दूरी भी कम होती जाती है।

5. महत्व

यह कार्य अवस्थाओं के एक महत्वपूर्ण वर्ग के लिए हिल्बर्ट-श्मिट दूरी को एक व्यवहार्य एंटैंगलमेंट क्वांटिफायर के रूप में पुनर्जीवित करता है। जबकि HS दूरी CPTP मानचित्रों के तहत गैर-संकुचनशीलता के कारण एक सामान्य एंटैंगलमेंट माप नहीं है, यह शोध पत्र सिद्ध करता है कि इसका डिस्टेंस-टू-सेपरेबिलिटी (distance-to-separability) संस्करण श्मिट रैंक 2 अवस्थाओं के लिए LOCC के तहत एक वैध मोनोटोन है। यह शोधकर्ताओं को द्विपक्षीय प्रणालियों में एंटैंगलमेंट को मापने और इष्टतम विटनेस बनाने के लिए एक गणनात्मक रूप से कुशल, ज्यामितीय रूप से सहज और विश्लेवनात्मक रूप से सटीक उपकरण प्रदान करता है।