Qudit Clauser-Horne-Shimony-Holt Inequality and Nonlocality from Wigner Negativity

तकनीकी सारांश: क्वडिट (Qudit) CHSH असमानता और विग्नर नेगेटिविटी (Wigner Negativity) से गैर-स्थानीयता (Nonlocality)

समस्या विवरण
जबकि क्यूबिट प्रणालियों (दो-स्तरीय प्रणालियों) के लिए बेल गैर-स्थानीयता (Bell nonlocality) अच्छी तरह से समझी जा चुकी है, उच्च-आयामी प्रणालियों (क्वाडिट्स) के लिए इन परिणामों का सामान्यीकरण करना महत्वपूर्ण चुनौतियाँ प्रस्तुत करता है। मौजूदा क्वडिट बेल असमानताएँ अक्सर तकनीकी रूप से जटिल होती हैं, जिनका विश्लेषण करना कठिन होता है, और यह स्पष्ट नहीं हो पाता कि वे वास्तविक $d$-आयामी प्रभावों को दर्शाती हैं या केवल निचले-आयामी उपप्रणालियों से विरासत में मिले गुणों को। यह शोध पत्र CHSH असमानता का एक पारदर्शी क्वडिट सामान्यीकरण स्थापित करने का प्रयास करता है जो गैर-स्थानीयता के अंतर्निहित तंत्र को स्पष्ट करता है और इसे विग्नर नेगेटिविटी के संसाधन से जोड़ता है।

कार्यप्रणाली (Methodology)
लेखक अपने अध्ययन को विषम अभाज्य आयामों (odd prime dimensions) $d$ तक सीमित रखते हैं, जहाँ $\mathbb{Z}_d$ की अंकगणित एक परिमित क्षेत्र (finite field) बनाती है, जो सुपरिभाषित व्युत्क्रम (inverses) सुनिश्चित करती है और मिश्रित आयामों की जटिलताओं से बचाती है। कार्यप्रणाली डिस्क्रीट विग्नर फंक्शन (ग्रॉस का औपचारिक ढांचा) और हाइजनबर्ग-वेइल (HW) विस्थापन ऑपरेटरों पर आधारित है।

1. फेज-स्पेस बेल ऑपरेटर: मनमाने मापन सेटिंग्स पर आधारित असमानताओं के निर्माण के बजाय, लेखक बेल ऑपरेटरों के एक परिवार को परिभाषित करते हैं जहाँ गुणांक सीधे एक चयनित द्विपक्षीय अवस्था $\sigma$ के अभिलक्षण फलन (characteristic function) से प्राप्त होते हैं। विशेष रूप से, वे एक ऑपरेटर $B[\sigma]$ प्रस्तावित करते हैं जिसे पाउली ऑपरेटरों के टेंसर उत्पादों के भारित योग के रूप में बनाया गया है, जहाँ भार $\chi_{u,v}[\sigma]$ द्वारा दिए गए हैं।
2. अवस्था-निर्भर निर्माण: शोध पत्र एक विशिष्ट कार्यान्वयन पर ध्यान केंद्रित करता है जहाँ साझा अवस्था एक मानक अधिकतम उलझी हुई बेल अवस्था $|\Phi\rangle$ है, लेकिन मापन को एक स्थानीय नॉन-क्लिफ़ोर्ड यूनिटरी (non-Clifford unitary) $U$ (विशेष रूप से, एक स्थानीय उपप्रणाली पर कार्य करने वाली विकर्ण यूनिटरी) द्वारा "रोटेट" किया जाता है। यह क्यूबिट CHSH निर्माण की नकल करता है जहाँ एक $\pi/8$-गेट लागू किया जाता है।
3. सीमा विश्लेषण (Bounds Analysis): लेखक दो प्रकार के शास्त्रीय मॉडलों के लिए सीमाएँ व्युत्पन्न करते हैं:
   • गैर-संदर्भिक (Non-Contextual - NC) सीमाएँ: विषम अभाज्य आयामों में प्रोजेक्टिव पाउली मापन के लिए विग्नर नेगेटिविटी और संदर्भिकता (contextuality) के बीच समानता का उपयोग करते हुए, वे स्थापित करते हैं कि NC सीमा रोटेटेड अवस्था के विग्नर फंक्शन के अधिकतम पूर्ण मान द्वारा निर्धारित होती है।
   • लोकल हिडन वेरिएबल (LHV) सीमाएँ: वे कम्यूटिंग पाउली उपसमूहों के लिए नियतार्थ रणनीतियों (deterministic strategies) पर अनुकूलन करके LHV सीमा व्युत्पन्न करते हैं।
4. संसाधन पहचान: अध्ययन 'रेशनल-फेज डायगोनल यूनिटरीज' (विशेष रूप से "यूनिटरी क्यूब ऑपरेटर्स" या सामान्यीकृत $\pi/8$-गेट्स) को पहचानता है जो विग्नर नेगेटिविटी और उसके बाद होने वाले उल्लंघन उत्पन्न करने के लिए आवश्यक नॉन-क्लिफ़ोर्ड संसाधन हैं।

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

1. एक नया क्वडिट CHSH सामान्यीकरण: यह शोध पत्र एक बेल ऑपरेटर परिवार पेश करता है जो एक अवस्था के अभिलक्षण फलन द्वारा पैरामीटराइज्ड है। यह निर्माण ऐसे ऑपरेटर प्रदान करता है जिनका विश्लेषण करना आसान है और जो बेल उल्लंघन को सीधे अवस्था की विग्नर नेगेटिविटी से जोड़ते हैं।
2. विग्नर नेगेटिविटी एक आवश्यक संसाधन के रूप में: लेखक प्रदर्शित करते हैं कि एक क्वडिट प्रणाली द्वारा व्युत्पन्न असमानता का उल्लंघन करने के लिए, रोटेटेड बेल अवस्था में गैर-शून्य विग्नर नेगेटिविटी ($N[\rho] > 0$) होनी चाहिए। वे सिद्ध करते हैं कि बेल ऑपरेटर का प्रत्याशा मान (expectation value) नेगेटिविटी वॉल्यूम द्वारा स्केल की गई नॉन-कॉन्टेक्स्टुअल सीमा द्वारा सीमित है।
3. सिंगलेट अंश व्याख्या (Singlet Fraction Interpretation): एक रोटेटेड बेल अवस्था $|\Phi_U\rangle$ के लिए निर्मित बेल ऑपरेटर सिंगलेट अंश के माप के रूप में कार्य करता है। किसी भी द्विपक्षीय अवस्था $\rho$ के लिए, $\langle B_U \rangle_\rho$ का प्रत्याशा मान ओवरलैप $\langle \Phi | \rho | \Phi \rangle$ के बराबर होता है, जो एक सीधा भौतिक अर्थ प्रदान करता है।
4. मापन सेटिंग्स का न्यूनीकरण: स्टेबलाइजर अवस्थाओं की समरूपता और रोटेशन यूनिटरीज की विकर्ण संरचना का लाभ उठाते हुए, लेखक दिखाते हैं कि कैसे पूर्ण $(d+1)^2$ सेट से कम, प्रबंधनीय उपसमुच्चय तक आवश्यक मापन सेटिंग्स की संख्या को कम किया जा सकता है, बिना गैर-स्थानीयता को प्रमाणित करने की क्षमता खोए।
5. मौजूदा असमानताओं के साथ एकीकरण: शोध पत्र प्रस्तावित रोटेटेड-HW ढांचे को स्थापित उच्च-आयामी असमानताओं, जैसे CGLMP और SATWAP के साथ जोड़ता है। वे दिखाते हैं कि इन असमानताओं को लेखकों द्वारा परिभाषित रोटेटेड कोरिलेटर्स के व्यापक परिवार के विशिष्ट "रिलेटिव-ऑफसेट स्लाइस" के रूप में देखा जा सकता है, जो समान डायगोनल नॉन-क्लिफ़ोर्ड संसाधनों द्वारा उत्पन्न होते हैं।
6. ठोस उदाहरण और संख्यात्मक विश्लेषण: लेखक "यूनिटरी क्यूब ऑपरेटर्स" (सामान्यीकृत $\pi/8$-गेट्स) के लिए विश्लेषणात्मक नियंत्रण प्रदान करते हैं और LHV सीमाओं की गणना संख्यात्मक रूप से करते हैं। वे विशिष्ट अवस्थाओं की पहचान करते हैं, जैसे कि पूर्णतः प्रति-सममित (anti-symmetric) अहारोनोव अवस्था और रोटेटेड ADD-अवस्थाएं, जो बेल उल्लंघन की ओर ले जाती हैं।

परिणाम

• उल्लंघन की स्थितियाँ: शोध पत्र यह स्थापित करता है कि नॉन-कॉन्टेक्स्टुअल असमानता का उल्लंघन (और फलस्वरूप बेल असमानता का उल्लंघन) तभी होता है जब रोटेटेड अवस्था में गैर-शून्य विग्नर नेगेटिविटी वॉल्यूम हो।
• अधिकतम उल्लंघन: एक उपयुक्त नॉन-क्लिफ़ोर्ड यूनिटरी द्वारा रोटेट की गई एक विशिष्ट स्टेबलाइजर अवस्था, अपनी विग्नर नेगेटिविटी के आधार पर सभी क्वडिट अवस्थाओं में से असमानता का सर्वाधिक उल्लंघन करती है।
• आयामी बाधाएँ: आयाम $d=3$ (क्वाट्रिट्स) के लिए, मानक पूर्णांक-मान वाले क्यूबिक पॉलीनोमल्स नॉन-क्लिफ़ोर्ड ऑपरेशंस उत्पन्न करने में विफल रहते हैं (जो कि क्वाड्रेटिक/क्लिफ़ोर्ड में बदल जाते हैं)। लेखक नोट करते हैं कि $d=3$ के लिए आवश्यक संसाधनों तक पहुँचने के लिए फ्रैक्शनल फेजेस (जैसा कि हॉवर्ड और वाला द्वारा उपयोग किया गया है) की आवश्यकता होती है, जबकि $d > 3$ के लिए पूर्णांक-मान वाले क्यूबिक फेजेस पर्याप्त हैं।
• मल्टीपार्टाइट विस्तार: इस ढांचे को मल्टीपार्टाइट स्टेबलाइजर अवस्थाओं तक विस्तारित किया गया है, यह दिखाते हुए कि एक एकल बेल ऑपरेटर एक कट (cut) के माध्यम से उलझी हुई अवस्थाओं के लिए गैर-स्थानीयता को प्रमाणित कर सकता है, हालांकि एक एकल ऑपरेटर तीन पार्टियों से परे वास्तविक मल्टीपार्टाइट एंटैंगलमेंट का पता नहीं लगा सकता।

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

यह कार्य यह भी प्रतिपादित करता है कि बेल ऑपरेटर न केवल गैर-स्थानीयता के लिए एक साक्षी (witness) के रूप में कार्य करता है, बल्कि विग्नर नेगेटिविटी के "वॉल्यूम" को भी मापता है। इसके अतिरिक्त, यह रेशनल-फेज डायगोनल यूनिटरीज को सटीक संसाधन के रूप में पहचानता है जिसकी आवश्यकता CGLMP और SATWAP असमानताओं में देखे गए उल्लंघनों को दोहराने के लिए होती है, जिससे इन अलग-अलग दृष्टिकोणों को एक एकल फेज-स्पेस ढांचे के तहत एकीकृत किया जा सके। लेखक इस बात पर जोर देते हैं कि उनका निर्माण विश्लेषणात्मक रूप से सुलभ बेल ऑपरेटर प्रदान करता है और सिंगलेट-फ्रैक्शन व्याख्या प्रदान करता है, जो अमूर्त गैर-स्थानीयता प्रमाणों और अवस्था-निर्भर संसाधन मात्रा निर्धारण के बीच के अंतर को पाटता है।