Decoupling local classicality from classical explainability: A noncontextual model for bilocal classical theory and a locally-classical but contextual theory

तकनीकी सारांश: स्थानीय शास्त्रीयता (Local Classicality) को शास्त्रीय व्याख्यात्मकता (Classical Explainability) से अलग करना

समस्या विवरण
यह शोध पत्र 'ऑपरेशनल प्रोबेबिलिस्टिक थ्योरीज' (OPTs) के ढांचे के भीतर "शास्त्रीयता" (classicality) की दो अलग-अलग धारणाओं के बीच संबंध को संबोधित करता है: स्थानीय शास्त्रीयता (Local Classicality) और शास्त्रीय व्याख्यात्मकता (Classical Explainability)।

• स्थानीय शास्त्रीयता (Local Classicality): एक सिद्धांत स्थानीय रूप से शास्त्रीय है यदि उसके भीतर प्रत्येक व्यक्तिगत प्रणाली शास्त्रीय है (अर्थात, उसका स्टेट स्पेस एक सिम्प्लेक्स है और वह 'नो-रेस्ट्रिक्शन हाइपोथेसिस' का पालन करती है), भले ही इन प्रणालियों को संयोजित करने का नियम मानक शास्त्रीय सिद्धांत से भिन्न हो।
• शास्त्रीय व्याख्यात्मकता (Classical Explainability): एक सिद्धांत शास्त्रीय रूप से व्याख्या योग्य है यदि वह एक ऑन्टोलॉजिकल मॉडल (ontological model) को स्वीकार करता है। इसे मानक शास्त्रीय सिद्धांत (CT) से एक रैखिक (linear), आरेख-संरक्षण (diagram-preserving), और नियतता-संरक्षण (determinacy-preserving) मानचित्र के रूप में परिभाषित किया गया है। यह अवधारणा इस बात के समकक्ष है कि सिद्धांत सामान्यीकृत गैर-संदर्भहीन (generalized noncontextual) है।

एक केंद्रीय प्रश्न उठता है: क्या प्रत्येक स्थानीय रूप से शास्त्रीय सिद्धांत एक ऑन्टोलॉजिकल मॉडल को स्वीकार करता है? बाइलोकल क्लासिकल थ्योरी (BCT) [1] पर पिछले कार्य ने सुझाव दिया था कि चूंकि BCT 'लोकल टोमोग्राफी' (वह सिद्धांत कि संयुक्त अवस्थाएं स्थानीय मापन द्वारा पूरी तरह से निर्धारित होती हैं) का उल्लंघन करता है, इसलिए यह एक स्थानीय-यथार्थवादी (local-realist) ऑन्टोलॉजिकल मॉडल को स्वीकार नहीं कर सकता है। इसके विपरीत, स्थानीय रूप से शास्त्रीय सिद्धांतों के अन्य निर्माण स्वाभाविक रूप से शास्त्रीय रूप से व्याख्या योग्य होने में विफल हो सकते हैं। यह पत्र स्पष्ट मॉडलों और प्रति-उदाहरणों (counterexamples) का निर्माण करके इन अवधारणाओं को अलग करने का लक्ष्य रखता है।

कार्यप्रणाली (Methodology)
लेखक OPTs के औपचारिक ढांचे और [2, 6] में परिभाषित ऑन्टोलॉजिकल मॉडल के ढांचे का उपयोग करते हैं। कार्यप्रणाली में दो प्राथमिक निर्माण शामिल हैं:

1. BCT के लिए एक ऑन्टोलॉजिकल मॉडल का निर्माण:

   • लेखक BCT से मानक शास्त्रीय सिद्धांत ($\Delta$) तक एक रैखिक मानचित्र $\tilde{\xi}$ को परिभाषित करते हैं।
   • सिस्टम मैपिंग: BCT में एक गैर-तुच्छ प्रणाली $n$ को $2n$ आयाम के एक शास्त्रीय सिस्टम (विशेष रूप से, एक $n$-आयामी स्थान और एक बाइनरी स्पेस के टेंसर उत्पाद) में मैप किया जाता है।
   • स्टेट/इफेक्ट मैपिंग: BCT में शुद्ध अवस्थाएं (pure states) और प्रभाव (effects), जिनमें बाइनरी वेरिएबल्स ($s \in \{0,1\}$) के साथ मानक इंडेक्स शामिल हैं, उन्हें बाइनरी सबस्पेस पर "कॉपी" और "कंट्रोल्ड-नॉट" (CNOT) गेट्स का उपयोग करके शास्त्रीय अवस्थाओं/प्रभावों में मैप किया जाता है।
   • ट्रांसफॉर्मेशन मैपिंग: BCT में परमाणु रूपांतरणों (atomic transformations) को शास्त्रीय सिद्धांत में सबस्टोकेस्टिक मैट्रिसेस (substochastic matrices) में मैप किया जाता है, जो BCT संयोजन नियम (जिसमें बाइनरी वेरिएबल के माध्यम से इंडेक्स का "ट्विस्टिंग" शामिल है) की विशिष्ट संरचना को संरक्षित करता है।
   • संगति जाँच (Consistency Checks): लेखक कड़ाई से सत्यापित करते हैं कि यह मानचित्र आवश्यक गुणों को संतुष्ट करता है: रैखिकता, आरेख संरक्षण (क्रमिक और समानांतर संयोजन, पहचान और स्वैप को संरक्षित करना), और नियतता संरक्षण (नियत रूपांतरणों को नियत रूपांतरणों में मैप करना)।

2. एक प्रति-उदाहरण का निर्माण (लेटेंट क्लासिकल थ्योरीज - LCTs):

   • लेखक शास्त्रीय सिस्टमों के लिए अनुकूलित, [76] से "लेटेंट थ्योरी" निर्माण का उपयोग करते हैं।
   • परिभाषा: LCTs को एक संयोजन नियम द्वारा परिभाषित किया जाता है जहाँ दो प्रणालियों $C_1$ और $C_2$ का संयोजन एक अतिरिक्त "लेटेंट" कारक स्थान $L_{12}$ को शामिल करता है (अर्थात, $C_1 \otimes C_2 = L_{12} \otimes C_1 \otimes C_2$)।
   • शर्त: लेटेंट अवस्था $|\kappa\rangle_{L_{12}}$ को नॉन-फुल-रैंक (पूर्ण रैंक नहीं) चुना गया है।
   • अस्तित्व का अभाव सिद्ध करना: लेखक सिद्ध करते हैं कि यदि लेटेंट अवस्था फुल-रैक नहीं है, तो एक ऐसा बाइपार्टाइट प्रभाव (bipartite effect) मौजूद होता है जो प्रत्येक प्रोडक्ट स्टेट को शून्य (annihilate) कर देता है। वे प्रदर्शित करते हैं कि ऐसा कोई ऑन्टोलॉजिकल मॉडल मौजूद नहीं हो सकता क्योंकि मानचित्र का आरेख-संरक्षण गुण इस प्रभाव को शास्त्रीय सिद्धांत में एक शून्य प्रभाव के रूप में मैप करने की आवश्यकता रखेगा, जो एक विशिष्ट संयुक्त अवस्था पर नॉन-नल प्रभाव के संभाव्यता संरक्षण (probability preservation) के विरुद्ध है।

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

1. BCT के लिए एक ऑन्टोलॉजिकल मॉडल का अस्तित्व (प्रमेय 2.3):
   यह पत्र एक संपूर्ण सिद्धांत के लिए पहला ऑन्टोलॉजिकल मॉडल निर्मित करता है जो लोकल टोमोग्राफी को विफल करता है। यह परिणाम [1] के उस अनुमान को खंडित करता है कि BCT में स्थानीय-यथार्थवादी ऑन्टोलॉजिकल मॉडल की कमी हो सकती है।

   • निहितार्थ: लोकल टोमोग्राफी की विफलता अनिवार्य रूप से शास्त्रीय व्याख्यात्मकता को बाधित नहीं करती है। BCT में गैर-लोकल टोमोग्राफिक डिग्री ऑफ फ्रीडम को स्थानीय रूप से अतिरिक्त ऑन्टिक अवस्थाओं को जोड़कर समझाया जा सकता है।

2. LCTs के लिए ऑन्टोलॉजिकल मॉडल का अस्तित्व न होना (प्रमेय 3.2):
   यह पत्र सिद्ध करता है कि लेटेंट क्लासिकल थ्योरीज (LCTs), जिनमें नॉन-फुल-रैंक लेटेंट अवस्थाएं हैं, किसी भी ऑन्टोलॉजिकल मॉडल को स्वीकार नहीं करती हैं।

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

3. अवधारणाओं का पृथक्करण (Decoupling of Concepts):
   परिणाम दर्शाते हैं कि स्थानीय शास्त्रीयता और शास्त्रीय व्याख्यात्मकता स्वतंत्र गुण हैं। एक सिद्धांत स्थानीय रूप से शास्त्रीय हो सकता है लेकिन शास्त्रीय रूप से व्याख्या योग्य नहीं (LCTs), या स्थानीय रूप से शास्त्रीय और शास्त्रीय रूप से व्याख्या योग्य हो सकता है बावजूद इसके कि वह लोकल टोमोग्राफी को विफल करता है (BCT)।

महत्व और दावे
पत्र का दावा है कि इन निष्कर्षों के शास्त्रीयता की मूलभूत समझ के लिए महत्वपूर्ण निहितार्थ हैं:

• संरचनात्मक प्रमेयों की सीमा (Limitation of Structure Theorems): यह परिणाम दिखाता है कि 'जनरलाइज्ड नॉन-कॉन्टेक्स्टुअल मॉडल्स' के लिए संरचना प्रमेय [2] का आधार बनाने वाली 'लोकल टोमोग्राफी' की धारणा एक वास्तविक सीमा है। यह प्रमेय उन सिद्धांतों के लिए लागू नहीं होता है जो लोकल टोमोग्राफी का उल्लंघन करते हैं, भले ही वे स्थानीय रूप से शास्त्रीय हों।
• संयोजन गुण केंद्रीय हैं (Compositional Properties are Central): लेखक तर्क देते हैं कि प्रणालियाँ कैसे संयोजित होती हैं (संयोजन नियम), यह केवल एक तकनीकी मुद्दा नहीं है बल्कि शास्त्रीयता को समझने के लिए एक केंद्रीय, अपरिहार्य प्रश्न है। वे सिद्धांत जो स्थानीय रूप से शास्त्रीय हैं लेकिन वैश्विक रूप से गैर-शास्त्रीय (व्याख्यात्मकता के संदर्भ में) हैं, उनके बीच का अंतर संरचनात्मक संयोजन के महत्व को रेखांकित करता है।
• शास्त्रीयता का स्पष्टीकरण: यह पत्र BCT का एक ठोस उदाहरण प्रदान करता है जहाँ एक सिद्धांत को उसके मूल ऑपरेशनल फॉर्मूलेशन के बजाय उसके अंतर्निहित ऑन्टोलॉजिकल मॉडल के माध्यम से अधिक सरलता से समझा जा सकता है, ठीक वैसे ही जैसे स्पेकेंस (Speckens) की टॉय थ्योरी विषम-आयामी स्टेबलाइजर उप-सिद्धांतों को स्पष्ट करती है।
• कोई सीधा संबंध नहीं: निष्कर्ष स्थापित करते हैं कि किसी सिद्धांत के स्थानीय रूप से शास्त्रीय होने और उसके शास्त्रीय रूप से व्याख्या योग्य होने के बीच कोई सीधा संबंध नहीं है। भविष्य के कार्यों के लिए यह खोजने का सुझाव दिया गया है कि कौन से भौतिक सिद्धांत यह भेद करते हैं कि कौन से स्थानीय रूप से शास्त्रीय सिद्धांत ऑन्टोलॉजिकल मॉडल को स्वीकार करते हैं।

पत्र निष्कर्ष निकालता है कि संयोजन गुणों की स्थिति शास्त्रीयता की सुसंगत समझ के लिए मौलिक है, जो लोकल टोमोग्राफी को शास्त्रीय व्याख्यात्मकता के लिए एक आवश्यक शर्त मानने वाले पारंपरिक दृष्टिकोण से आगे बढ़ती है।