Optimality of Gaussian Entanglement of Formation

तकनीकी सारांश: गॉसियन एंटैंगमेंट ऑफ फॉर्मेशन की इष्टतमता (Optimality)

समस्या विवरण
यह शोध पत्र निरंतर-चर (continuous-variable - CV) क्वांटम सूचना सिद्धांत में एक लंबे समय से चले आ रहे खुले प्रश्न, विशेष रूप से 2005 में प्रस्तुत 'ओपन क्वांटम प्रॉब्लम 29' को संबोधित करता है। केंद्रीय प्रश्न यह है कि क्या एक दो-मोड गॉसियन अवस्था (two-mode Gaussian state) का एंटैंगमेंट ऑफ फॉर्मेशन ($E_F$), उसके गॉसियन प्रतिबंध ($E_F^G$) के साथ मेल खाता है।

एक द्विपक्षीय अवस्था $\rho$ के लिए, एंटैंगमेंट ऑफ फॉर्मेशन को सभी संभावित शुद्ध-अवस्था एन्सेम्बल अपघटन (pure-state ensemble decompositions) पर औसत एंटैगमेंट के इन्फिमम (infimum) के रूप में परिभाषित किया गया है:
$$E_F(\rho) = \inf_{\{p_j, |\psi_j\rangle\}} \sum_j p_j E(|\psi_j\rangle)$$
जहाँ $E(|\psi_j\rangle)$ अपचयित अवस्था (reduced state) की एंट्रॉपी है। एक गॉसियन अवस्था $\rho_V$ के लिए, गॉसियन एंटैंगमेंट ऑफ फॉर्मेशन $E_F^G(V)$ इस अनुकूलन (optimization) को केवल गॉसियन शुद्ध-अवस्था एन्सेम्बल्स तक ही सीमित रखता है। चूंकि गॉसियन एन्सेम्बल्स का सेट सभी संभावित एन्सेम्बल्स का एक उपसमुच्चय (subset) है, इसलिए यह असमिका $E_F(\rho_V) \leq E_F^G(V)$ हमेशा सत्य रहती है। खुला प्रश्न यह है कि क्या सामान्य दो-मोड गॉसियन अवस्थाओं के लिए यह असमिका स्ट्रिक्ट (strict) है, या क्या इष्टतम अपघटन हमेशा गॉसियन ही होता है। पिछले कार्यों ने सममित (symmetric) अवस्थाओं के लिए इसे हल कर दिया था, लेकिन सामान्य असममित मामले को अनसुलझा छोड़ दिया, जहाँ विभिन्न दृष्टिकोण कठोरता से गैर-गॉसियन एन्सेम्बल्स को बाहर करने में विफल रहे।

कार्यप्रणाली (Methodology)
लेखक एक प्रमाण विकसित करते हैं जो एक तीक्ष्ण (sharp) एफाइन संबंध (affine relation) पर आधारित है जो किसी भी शुद्ध दो-मोड अवस्थाओं (गॉसियन और गैर-गॉसियन दोनों) के लिए एक सामान्यीकृत आइंस्टीन-पोडॉल्स्की-रोजेन (EPR) प्रेक्षणीय (observable) के साथ मान्य है।

1. सामान्यीकृत EPR प्रेक्षणीय: लेखक एक पैरामीट्रिक प्रेक्षणीय $\hat{D}_t$ को परिभाषित करते हैं जिसमें एक सापेक्ष लाभ पैरामीटर $t$ ($0 < t \leq 1$) शामिल है:
   $$\hat{D}_t = (ta - b^\dagger)^\dagger (ta - b^\dagger) = \frac{1}{2} \left[ (tx_A - x_B)^2 + (tp_A + p_B)^2 + 1 - t^2 \right]$$
   जहाँ $t=1$ मानक संतुलित EPR प्रेक्षणीय के अनुरूप है, जबकि $t < 1$ असममित अवस्थाओं को समायोजित करता है।

2. एफाइन एक्सट्रेमलिटी थ्योरम (Theorem 1): प्रमाण का मूल भाग किसी भी परिमित माध्य ऊर्जा वाले शुद्ध दो-मोड अवस्था $|\psi\rangle$ की एंटैंगमेंट $E(\psi)$ और उसके $\hat{D}_t$ के अपेक्षित मान (expectation value) के बीच एक असमिका है। किसी भी $0 < q < t \leq 1$ के लिए:
   $$E(\psi) + \lambda_{q,t} \left[ \langle \hat{D}_t \rangle_\psi - d_t(q) \right] \geq E(q)$$
   यहाँ $E(q)$ स्क्वीजिंग पैरामीटर $q$ वाले टू-मोड स्क्वीज्ड वैक्यूम (TMSV) की एंटैंगमेंट है, और $d_t(q)$ उस TMSV के लिए $\hat{D}_t$ का अपेक्षित मान है। यह असमिका दर्शाती है कि एक निश्चित एंटैंगमेंट पर, TMSV सामान्यीकृत EPR अपेक्षा को न्यूनतम करता है।

3. प्रमाण रणनीति: थ्योरम 1 का प्रमाण तीन चरणों में आगे बढ़ता है:

   • सिंगुलर-वैल्यू असमिका: एक नई असमिका EPR फंक्शनल को अवस्था के क्रमबद्ध श्मिट गुणांकों (Schmidt coefficients) पर निर्भर एक अभिव्यक्ति पर कम करती है, जो पुनर्गठित अनुक्रम (rescaled sequence) में ऊपर की ओर बढ़ने वाले कदमों के लिए कृत्रिम दंड से बचने के लिए एक "पॉजिटिव पार्ट" ऑपरेशन का उपयोग करती है।
   • जियोमेट्रिक ब्लॉक-एवरेजिंग: एक प्रक्रिया पेश की जाती है जो ज्यामितीय कारकों ($t^{2n}$ द्वारा भारित) के साथ आसन्न ब्लॉकों के श्मिट गुणांकों को औसत करने के लिए है, ताकि एक नया अनुक्रम बनाया जा सके जो एंट्रॉपी या EPR फंक्शनल को बढ़ाए बिना एक ज्यामितीय अनुपात स्थिति ($c_{n+1} \leq t c_n$) को संतुष्ट करता है। यह चरण पिछले पुनर्व्यवस्था तर्कों द्वारा आवश्यक प्रतिबंधात्मक ज्यामितीय-अनुपात शर्त को हटा देता है।
   • लॉगारिदमिक-सोबोलेव असमिका: यह दिखाने के लिए कि शेष एंट्रॉपी-EPR ट्रेड-ऑफ एक ज्यामितीय अनुक्रम (जो TMSV के अनुरूप है) द्वारा न्यूनतम किया जाता है, फेज-कोवेरिएंट गॉसियन चैनलों के लिए एक मेटा लॉग-सोबोलेव असमिका लागू की जाती है।

4. मिश्रित अवस्थाओं (Mixed States) तक विस्तार: क्योंकि थ्योरम 1 में असमिका प्रेक्षणीय के अपेक्षित मान के प्रति एफाइन (affine) है, इसलिए इसे किसी भी एन्सेम्बल पर औसत निकाला जा सकता है। यह लेखक को किसी भी मिश्रित अवस्था (गॉसियन या नहीं) के लिए एंटैंगमेंट ऑफ फॉर्मेशन के लिए एक निचली सीमा (lower bound) बनाने की अनुमति देता है जो $\hat{D}_t$ के मापे गए अपेक्षा मान पर आधारित है।

मुख्य परिणाम

• दो-मोड गॉसियन अवस्थाओं के लिए समानता: एक दो-मोड गॉसियन अवस्था के कैनोनिकल अपघटन (जिसे स्थानीय सिम्प्लेक्टिक रूपांतरणों के माध्यम से TMSV और ऑर्थोगोनल नॉइज़ वाले रूप में लाया जा सकता है) पर एफाइन बाउंड लागू करके, लेखक सिद्ध करते हैं कि निचली सीमा ज्ञात गॉसियन ऊपरी सीमा से मेल खाती है। फलस्वरूप, वे स्थापित करते हैं:
  $$E_F(\rho_V) = E_F^G(V)$$
  प्रत्येक दो-मोड गॉसियन अवस्था $\rho_V$ के लिए। यह पुष्टि करता है कि किसी भी दो-मोड गॉसियन अवस्था के लिए इष्टतम अपघटन वास्तव में गॉसियन ही है।

• बिसिमेट्रिक मल्टीमोड अवस्थाओं तक विस्तार: यह परिणाम $(m+n)$-मोड गॉसियन अवस्थाओं तक विस्तृत है जो $A:B$ विभाजन केAcross बिसिमेट्रिक (bisymmetric) हैं। ऐसी अवस्थाएं स्थानीय रूप से एक सह-संबंधित दो-मोड कोर और असंबद्ध स्थानीय थर्मल मोड्स के टेंसर उत्पाद के रूप में स्थानीय रूप से यूनिटरी समकक्ष होती हैं। चूंकि थर्मल मोड्स $E_F$ या $E_F^G$ को प्रभावित नहीं करते हैं, इसलिए समानता पूरे बिसिमेट्रिक अवस्था के लिए सत्य है।

• गैर-गॉसियन अवस्थाओं के लिए निचली सीमा: व्युत्पन्न असमिका किसी भी गैर-गॉसियन दो-मोड अवस्थाओं के लिए एंटैंगमेंट ऑफ फॉर्मेशन पर एक मापने योग्य, मात्रात्मक निचली सीमा प्रदान करती है। यह बाउंड केवल दो सामान्यीकृत EPR क्वाड्रचरों के वेरिएंस पर निर्भर करता है और इसके लिए पूर्ण स्टेट टोमोग्राफी या फोटॉन-संख्या-विभेदन (photon-number-resolving) डिटेक्शन की आवश्यकता नहीं होती है।

महत्व और दावे
शोध पत्र दावा करता है कि यह 'ओपन क्वांटम प्रॉब्लम 29' के पूर्ण दो-मोड उदाहरण को हल करता है, यह स्थापित करते हुए कि गॉसियन प्रतिबंध केवल एक सन्निकटन (approximation) नहीं है, बल्कि सभी दो-मोड गॉसियन अवस्थाओं के लिए एंटैंगमेंट ऑफ फॉर्मेशन का सटीक मान है।

• सैद्धांतिक प्रभाव: परिणाम स्थापित विश्लेषणात्मक सूत्रों और कुशल संख्यात्मक एल्गोरिदम (जो पहले केवल गॉसियन एन्सेम्बल्स तक सीमित थे) को अनियंत्रित कन्वेक्स रूफ (unrestricted convex roof) $E_F$ के लिए सटीक कथनों के रूप में बढ़ावा देते हैं।
• प्रायोगिक उपयोगिता: लेखक प्रदर्शित करते हैं कि मानक EPR परीक्षणों (फेज-रिज़ॉलव्ड होमोडीन या माइक्रोवेव माप) के लिए उपयोग किए जाने वाले समान प्रायोगिक डेटा को गैर-गॉसियन अवस्थाओं के लिए $E_F$ के कठोर निचली बाउंड प्रदान करने के लिए पुन: संसाधित किया जा सकता है। एक विशिष्ट उदाहरण में, जिसमें एक लॉसयुक्त (lossy) गैर-गॉसियन "वैक्यूम-पेयर" अवस्था शामिल थी, अनुकूलित बाउंड ने सटीक एंटैंगमेंट ऑफ फॉर्मेशन के 98.0% को कैप्चर किया।
• पद्धतिगत योगदान: प्रमाण एक अनंत-आयामी अनुकूलन को श्मिट बेस के ऊपर से एक आयामी अनुकूलन (स्क्वीजिंग पैरामीटर पर) में बदल देता है। पेश की गई तकनीकें, विशेष रूप से सिंगुलर-वैल्यू डिफेक्ट असमिका और ज्यामितीय ब्लॉक-एवरेजिंग विधि, अन्य बोसोनिक कन्वेक्स रूफ समस्याओं के लिए उपयोगी हो सकती हैं।

लेख निष्कर्ष निकालता है कि जबकि सामान्य गैर-सममित मल्टीमोड समस्या अभी भी खुली है, दो-मोड और बिसिमेट्रिक मामले अब पूरी तरह से हल हो गए हैं, जो गॉसियन अनुकूलन और एंटैंगमेंट ऑफ फॉर्मेशन के मौलिक संसाधन माप के बीच एक निश्चित लिंक प्रदान करते हैं।