Robust self-test of the maximally entangled state of two-qubits without assuming unitary observables

तकनीकी सारांश: यूनिटरी प्रेक्षकों (Unitary Observables) को धारणा में लिए बिना अधिकतम रूप से उलझी हुई अवस्था (Maximally Entangled State) का सुदृढ़ स्व-परीक्षण (Robust Self-Test)

समस्या विवरण
मानक डिवाइस-इंडिपेंडेंट (DI) स्व-परीक्षण ढांचे अत्यधिक रूप से इस धारणा पर निर्भर करते हैं कि स्थानीय माप (local measurements) सख्ती से प्रोजेक्टिव (प्रोजेक्टिव) हैं (अर्थात यूनिटरी ऑब्जर्वेबल्स जो आइडेंटिटी के वर्ग के बराबर होते हैं)। जबकि नैमार्क डिलेशन प्रमेय (Naimark dilation theorem) गणितीय रूप से किसी भी पॉजिटिव ऑपरेटर-वैल्यूड मेजरमेंट (POVM) को एक विस्तारित हिल्बर्ट स्पेस में प्रोजेक्टिव मेजरमेंट के रूप में मानने की अनुमति देता है, एक DI परिदृश्य में अनिश्चित स्थानीय मापों को लागू करना परिचालन संबंधी रूप से समस्याग्रस्त है। जैसा कि हालिया आलोचनाओं में रेखांकित किया गया है, नैमार्क डिलेशन मूल गैर-प्रोजेक्टिव ऑपरेटरों का स्व-परीक्षण नहीं करता है; बल्कि यह विश्लेषण को एक विवर्तित (dilated) स्थान की ओर स्थानांतरित कर देता है जो भौतिक रूप से पर्यावरण में स्थित हो सकता है या किसी विरोधी (adversary) द्वारा नियंत्रित किया जा सकता है। फलस्वरूप, मानक सुदृढ़ स्व-परीक्षण सीमाएं, जो यूनिटैरिटी की धारणा रखती हैं, वास्तविक, गैर-यूनिटरी ऑब्जर्वेबल्स (जैसे कि उप-इष्टतम डिटेक्शन दक्षता वाले फोटोनिक प्रयोगों में पाए जाते हैं) की परिचालन सीमाओं और वास्तविक त्रुटि लागतों को छिपा देती हैं। एक पूर्णतः DI द्विपक्षीय बेल परिदृश्य (bipartite Bell scenario) के भीतर सिंगलेट अवस्था और पाउली ऑब्जर्वेबल्स के लिए स्पष्ट, सुदृढ़ स्व-परीक्षण सीमाएं प्राप्त करना एक महत्वपूर्ण सैद्धांतिक अंतराल बना हुआ है।

कार्यप्रणाली
लेखक दो-क्यूबिट सिंगलेट अवस्था और पाउली ऑब्जर्वेबल्स के लिए एक "शुद्ध" (pure) स्व-परीक्षण स्थापित करते हैं, जिसमें वे माप उपकरण के डिलेशन (dilation) को करने से स्पष्ट रूप से इनकार करते हैं। कार्यप्रणाली इस प्रकार है:

1. फ्रेमवर्क सेटअप: साझा अवस्था को एक शुद्ध अवस्था $|\psi_{AB}\rangle$ के रूप में मॉडल किया गया है (एक अनट्रस्टेड स्रोत को ध्यान में रखने के लिए मानक शुद्धिकरण के माध्यम से), लेकिन स्थानीय ऑब्जर्वेबल्स $A_x$ और $B_y$ को बाइनरी POVM से व्युत्पन्न सामान्य हर्मिटीयन ऑपरेटरों के रूप में माना गया है, जो $A_x^2 \leq \mathbb{1}$ और $B_y^2 \leq \mathbb{1}$ को संतुष्ट करते हैं, न कि सख्त यूनिटरीज के रूप में।
2. नियमितीकरण (Regularization): गैर-यूनिटैरिटी की समस्या से बचने के लिए, लेखक एक संशोधित साइन फंक्शन $\text{sgn}^*$ का उपयोग करके नियमितकृत यूनिटरी ऑब्जर्वेबल्स का परिचय देते हैं। यह फलन गैर-ऋणात्मक आइगेनवैल्यू को $+1$ और ऋणात्मक आइगेनवैल्यू को $-1$के रूप में पुन: निर्दिष्ट करता है, जिससे$\tilde{A}_x$और$\tilde{B}_y$जैसे ऑपरेटर प्राप्त होते हैं जो सख्ती से यूनिटरी ($\tilde{A}_x^2 = \mathbb{1}$) हैं।
3. त्रुटि अपघटन (Error Decomposition): भौतिक कार्यान्वयन और आदर्श संदर्भ के बीच कुल विचलन को दो घटकों में विभाजित किया गया है:
   • यूनिटरी सुदृढ़ता पद (Unitary Robustness Term): नियमितकृत ऑपरेटरों और आदर्श संदर्भ के बीच की दूरी, जिसे सिंगलेट के सुदृढ़ स्व-परीक्षण के संबंध में McKague et al. के मौलिक प्रमेय का उपयोग करके सीमित किया गया है।
   • विचलन पद ($\Delta$): एक अतिरिक्त पद जो स्पष्ट रूप से भौतिक गैर-प्रोजेक्टिव ऑपरेटरों और उनके नियमितकृत यूनिटरी समकक्षों के बीच के विचलन को मात्रात्मक रूप से दर्शाता है।
4. विश्लेषणात्मक व्युत्पत्ति: CHSH बेल ऑपरेटर के सम-ऑफ-स्क्वायर्स (SOS) अपघटन का उपयोग करते हुए, लेखक प्रयोगात्मक त्रुटि $\epsilon$ (जहाँ देखा गया उल्लंघन $2\sqrt{2} - \epsilon$ है) के फलन के रूप में विचलन पद $\Delta$ के लिए एक विश्लेषणात्मक सीमा प्राप्त करते हैं।

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

• प्रमेय 1: यह शोध पत्र सिंगलेट अवस्था और पाउली ऑब्जर्वेबल्स के लिए एक कठोर सुदृढ़ स्व-परीक्षण प्रमेय प्रस्तुत करता है जो प्रोजेक्टिव मापों को धारणा में नहीं लेता है। यह सिद्ध करता है कि यदि देखा गया CHSH उल्लंघन $2\sqrt{2} - \epsilon$ है, तो एक स्थानीय आइसोमेट्री $U$ मौजूद है जिससे भौतिक अवस्था/मापों और आदर्श संदर्भ के बीच की दूरी $O(\sqrt{\epsilon})$ के रूप में स्केल करती है।
• स्पष्ट सीमा: लेखक एक विशिष्ट विश्लेषणात्मक सुदृढ़ता गुणांक $C = (179 + 53\sqrt{2})/2^{3/4}$ प्राप्त करते हैं, जिससे दूरी को $C\sqrt{\epsilon}$ द्वारा सीमित किया जा सकता है।
• गैर-यूनिटरी लागत का परिमाणीकरण: वास्तविक प्रयोगात्मक त्रुटियों (विशेष रूप से $\epsilon \approx 0.138$, जो फोटॉन-संख्या योजनाओं में $\approx 2.69$ के CHSH उल्लंघन के अनुरूप है) के लिए सीमा का मूल्यांकन करके, लेखक प्रदर्शित करते हैं कि विचलन पद $\Delta$ गंभीर हो जाता है। यह प्रकट करता है कि वास्तविक गैर-प्रोजेक्टिव POVMs का उपयोग करने की "वास्तविक लागत" उस तुलना में काफी अधिक है जो मानक प्रोजेक्टिव मॉडल (जो नैमार्क डिलेशन पर निर्भर करते हैं) द्वारा सूचित की जाती है।
• वैकल्पिक दृष्टिकोणों के साथ तुलना: यह शोध पत्र Baptista et al. के "लिफ्टिंग" (lifting) प्रमेयों के साथ अपने तरीके की तुलना करता है, जो स्व-परीक्षण को मनमाने POVMs तक विस्तारित करते हैं। लेखक नोट करते हैं कि हालांकि Baptista का दृष्टिकोण गणितीय रूप से सुसंगत है, यह संचयी त्रुटि पदों को पेश करता जिसके परिणामस्वरूप ढीली $O(\epsilon^{1/4})$ स्केलिंग प्राप्त होती है। इसके विपरीत, प्रस्तावित विधि सीधे विशिष्ट CHSH असमानता को संबोधित करके तंग $O(\sqrt{\epsilon})$ स्केलिंग को बनाए रखती है।

महत्व और दावे
यह शोध पत्र दावा करता है कि यह DI क्वांटम प्रमाणन (certification) में एक मौलिक वैचारिक और व्यावहारिक अंतराल को संबोधित करता है। नैमार्क डिलेशन के लिए मापों को शामिल किए बिना, प्रस्तावित ढांचा भौतिक स्थानीय उपकरणों की "वास्तविक व्यावहारिक लागत" को पकड़ता है। लेखक तर्क देते हैं कि उनके परिणाम सुझाव देते हैं कि वास्तविक दुनिया के कार्यान्वयनों (विशेष रूप से गैर-प्रोजेक्टिव मापों जैसे कि थ्रेशोल्ड डिटेक्टर्स वाले) के लिए डिवाइस-इंडिपेंडेंट प्रमाणन, जैसा कि मानक प्रोजेक्टिव मॉडल (जो नैमार्क डिलेशन पर निर्भर करते हैं) द्वारा निहित है, "काफी अधिक मांग वाला" है।

यह कार्य निष्कर्ष निकालता है कि नैमार्क डिलेशन पर भरोसा किए बिना ऐसे यथार्थवादी सेटअपों के लिए सार्थक DI प्रमाणन प्राप्त करने के लिए या तो:

1. प्रयोगात्मक सेटअपों को मौलिक रूप से संशोधित करने की आवश्यकता है ताकि उल्लंघनों को आदर्श $2\sqrt{2}$ सीमा के करीब लाया जा सके।
2. स्व-परीक्षण की एक नई पीढ़ी के संख्यात्मक तकनीकों को विकसित करने की आवश्यकता है जो डिलेशन को आमंत्रित किए बिना सीधे POVMs पर कार्य करती हैं।

लेखक इस कार्य को अधिक निष्ठापूर्ण प्रमाणन की ओर एक कदम के रूप में देखते हैं, यह उल्लेख करते हुए कि भविष्य के अनुसंधान इन तकनीकों को मल्टीपार्टाइट परिदृश्यों तक विस्तारित कर सकते हैं या इन सीमाओं को क्वांटम की डिस्ट्रीब्यूशन जैसे व्यावहारिक DI क्रिप्टोग्राफी प्रोटोकॉल में एकीकृत कर सकते हैं।