Sheaf-Theoretic Preparation Contextuality

1. समस्या विवरण (Problem Statement)

यह शोध पत्र क्वांटम कॉन्टेक्स्टुअलिटी (quantum contextuality) के गणितीय निरूपण में मौजूद एक अंतराल को संबोधित करता है। जबकि 'मापन' (measurements) के संदर्भ में कॉन्टेक्स्टुअलिटी अच्छी तरह से समझी गई है (जहाँ स्थानीय सांख्यिकी को वैश्विक संयुक्त वितरण तक विस्तारित नहीं किया जा सकता है), 'तैयारी' (preparations) के लिए शेफ-थ्योरेटिक ढांचे (sheaf-theoretic framework) में इसका निरूपण कम कठोर रहा है।

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

लेखकों द्वारा पहचाना गया मुख्य संघर्ष तैयारी और मापन के बीच मौलिक विषमता है:

• मापन (Measurement): स्थानीय डेटा वैश्विक डेटा से कैनोनिकल मार्जिनलाइजेशन (canonical marginalization) (प्रतिबंध मानचित्रों/restriction maps) के माध्यम से प्राप्त होता है। यह प्रतिबंध अद्वितीय और भौतिकी द्वारा निर्धारित होता है।
• तैयारी (Preparation): स्थानीय डेटा अनपेक्षित डिग्री ऑफ फ्रीडम पर स्टोकेस्टिक एवरेजिंग (stochastic averaging) के माध्यम से वैश्विक डेटा से उत्पन्न होता है। यहाँ कोई कैनोनिकल "पूर्णता" (completion) मानचित्र नहीं है; एक आंशिक तैयारी विनिर्देश (partial preparation specification) को वैश्विक एक में विस्तारित करने के कई असमान तरीके मौजूद हैं।

यह शोध पत्र पूछता है: क्या हम तैयारी की कॉन्टेक्स्टुअलिटी को एक वैश्विक रिस्पॉन्स मैट्रिक्स के अस्तित्व के लिए एक बाधा के रूप में सूत्रबद्ध कर सकते हैं, यह देखते हुए कि विस्तार (extension) तंत्र स्वयं गैर-अद्वितीय और स्टोकेस्टिक है?

2. कार्यप्रणाली (Methodology)

लेखक स्पष्ट रैखिक बीजगणित (linear algebra) और मैट्रिक्स सिद्धांत का उपयोग करते हुए, शेफ-थ्योरेटिक ढांचे के भीतर एक तैयारी-द्वैत (preparation-dual) ढांचा विकसित करते हैं।

A. गणितीय ढांचा (Mathematical Framework)

• सेटअप: वे स्रोतों का एक सेट $Y$ (तैयारी उपकरण) और प्रत्येक स्रोत के लिए तैयारी उदाहरणों का एक सेट $I$ परिभाषित करते हैं। एक "स्रोत संदर्भ" (source context) $\Gamma$ स्रोतों का एक उपसमुच्चय है जिन्हें संयुक्त रूप से लागू किया जा सकता है।
• अनुभवजन्य मॉडल (Empirical Model): एक अनुभवजन्य मॉडल प्रत्येक संदर्भ $\Gamma$ के लिए सशर्त परिणाम वितरणों (conditional outcome distributions) का एक परिवार $E_{m|\Gamma}$ है, जो विशिष्ट तैयारी विकल्पों के दिए गए होने पर एक निश्चित मापन $m$ की सांख्यिकी का वर्णन करता है।
• विस्तार की समस्या (The Extension Problem): लक्ष्य यह निर्धारित करना है कि क्या एक वैश्विक रिस्पॉन्स मैट्रिक्स $D_{m|Y}$ (वैश्विक तैयारी उदाहरणों को परिणामों में मैप करने वाला) और स्टोकेस्टिक एक्सटेंशन मैट्रिसेस $S_{Y|\Gamma}$ का एक परिवार (स्थानीय उदाहरणों को वैश्विक उदाहरणों में मैप करने वाला) मौजूद है, ताकि:
  $$E_{m|\Gamma} = D_{m|Y} S_{Y|\Gamma}$$
  यह समीकरण स्थानीय सांख्यिकी को वैश्विक मॉडल में उठाने (lifting) का प्रतिनिधित्व करता है।

B. "सक्षम" विस्तारों को परिभाषित करना (Defining "Admissible" Extensions)

चूंकि विस्तार मैट्रिक्स कैनोनिकल नहीं हैं, इसलिए लेखक एक सक्षम विस्तार परिवार (admissible extension family) को परिभाषित करने के लिए दो न्यूनतम संरचनात्मक बाधाएं लागू करते हैं:

1. इनपुट स्वतंत्रता (Input Independence): एक संदर्भ $\Gamma$ के बाहर के वितरण को $\Gamma$ के भीतर चुने गए विशिष्ट उदाहरणों से स्वतंत्र होना चाहिए। यह सुनिश्चित करता है कि विस्तार नियम में कृत्रिम सहसंबंध (artificial correlations) शामिल न किए जाएं।
2. संयोजकता (Compositionality): चरणों में विस्तार करना (जैसे $\Gamma \to \Gamma' \to Y$) एक एकल-चरणीय विस्तार के समान परिणाम देना चाहिए। यह सुनिश्चित करता है कि परिशोधन प्रक्रिया सुसंगत और पथ-स्वतंत्र है।

C. मुख्य सैद्धांतिक व्युत्पत्ति (Key Theoretical Derivation)

इनपुट स्वतंत्रता और संयोजकता की बाधाओं का उपयोग करते हुए, लेखक प्रमेय 1 (प्रोडक्ट-फॉर्म एक्सटेंशन थ्योरम) सिद्ध करते हैं।

• परिणाम: कोई भी सक्षम विस्तार मैट्रिक्स $S_{Y|\Gamma}$ एकल-साइट वितरणों के उत्पाद में विभाजित होना चाहिए।
  $$S_{Y|\Gamma}(\sigma_Y | \sigma_\Gamma) = \mathbb{1}[(\sigma_Y)|_\Gamma = \sigma_\Gamma] \prod_{p \in Y \setminus \Gamma} \mu_p(\sigma_p)$$
• निहितार्थ: यह कठोर उत्पाद रूप संभावित विस्तारों के स्थान को नाटकीय रूप से कम कर देता है, जिससे वैश्विक मॉडल खोजने की समस्या को विशिष्ट संरचनात्मक बाधाओं वाले स्टोकेस्टिक मैट्रिसेस की व्यवहार्यता (feasibility) समस्या में बदल दिया जाता है।

3. मुख्य योगदान (Key Contributions)

1. तैयारी की कॉन्टेक्स्टुअलिटी का औपचारिकीकरण: यह शोध पत्र पहली बार तैयारी की कॉन्टेस्टिकुलिटी को एक शुद्ध शेफ-थ्योरेटिक ढांचे के रूप में प्रदान करता है, जो मापन के मामले के समान है लेकिन विस्तार मानचित्रों की गैर-विशिष्टता को भी ध्यान में रखता है।
2. प्रोडक्ट-फॉर्म प्रमेय: यह व्युत्पत्ति कि सक्षम विस्तारों को स्रोतों के बीच विभाजित होना चाहिए, एक महत्वपूर्ण संरचनात्मक परिणाम है। यह दर्शाता है कि "गैर-कॉन्टेक्स्टुअल" तैयारी मॉडल के लिए स्रोतों के बीच एक विशिष्ट प्रकार की स्वतंत्रता आवश्यक है।
3. तैयारी अनुकूलता की परिभाषा: लेखक एक स्थिति (Eq. 25) पेश करते हैं जो यह सुनिश्चित करती है कि ओवरलैपिंग स्रोत संदर्भों पर प्रेरित सांख्यिकी सुसंगत रहे, चाहे उन्हें प्राप्त करने के लिए किसी भी बड़े संदर्भ का उपयोग किया जाए। यह 'तुच्छ असंगति' (trivial incompatibility - जहाँ कोई विस्तार मौजूद नहीं है) और 'वास्तविक कॉन्टेक्सचुअलिटी' (जहाँ एक सुसंगत विस्तार मौजूद है, लेकिन कोई वैश्विक रिस्पॉन्स मैट्रिक्स डेटा को पुनरुत्पादित नहीं कर सकता) के बीच अंतर करता है।
4. संभावनावादी न्यूनीकरण (Possibilistic Reduction): वे स्थापित करते हैं कि यदि कोई मॉडल संभावनावादी रूप से कॉन्टेक्स्टुअल (सपोर्ट/जीरो-पैटर्न पर आधारित) है, तो वह संभाव्यतात्मक रूप से भी कॉन्टेक्स्टुअल है। यह बुलियन मैट्रिसेस का उपयोग करके कॉम्बिनेटरियल प्रमाणों की अनुमति देता है।

4. परिणाम (Results)

लेखक एक प्यूसी-बैरेट-रुडोल्फ (PBR)-प्रकार के परिदृश्य का उपयोग करके अपने ढांचे का प्रदर्शन करते हैं:

• सेटअप: दो पक्ष (एलिस और बॉब) प्रत्येक के पास दो स्रोत ($Z$ और $X$ आधार) हैं जिनमें प्रत्येक के दो तैयारी उदाहरण हैं। संदर्भ स्रोतों के जोड़े (जैसे, $\{a, b\}$) हैं।
• क्वांटम वास्तविकता: तैयारी उदाहरण शुद्ध अवस्थाओं $|0\rangle, |1\rangle, |+\rangle, |-\rangle$ के अनुरूप हैं। मापन एक विशिष्ट 4-आउटकम POVM है।
• विश्लेषण:
  1. अनुकूलता (Compatibility): वे दिखाते हैं कि अनुभवजन्य मॉडल तैयारी अनुकूल (preparation compatible) है। एक सक्षम विस्तार परिवार (विशेष रूप से, यूनिफॉर्म सिंगल-साइट वितरण) मौजूद है जो ओवरलैप पर संगति की शर्तों को पूरा करता है।
     मापन के लिए किसी भी सक्षम विस्तार परिवार के लिए कोई वैश्विक रिस्पॉन्स मैट्रिक्स $D_{m|Y}$ मौजूद नहीं है जो अनुभवजन्य सांख्यिकी को पुनरुत्पादित कर सके।
  • प्रमाण तंत्र: प्रमाण एक पैरिटी-आधारित कॉम्बिनेटरियल तर्क पर निर्भर करता है।
  • अनुभवजन्य डेटा में प्रत्येक स्थानीय तैयारी के लिए विशिष्ट "वर्जित" परिणाम (शून्य) होते हैं।
  • प्रोडक्ट-फॉर्म के कारण, ये शून्य वैश्विक स्तर तक प्रसारित होते हैं।
  • सम पैरिटी (Even parity) वाले वैश्विक उदाहरणों के लिए, प्रसारित बाधाएं एक साथ चारों संभावित मापन परिणामों को वर्जित कर देती हैं, जो एक वैध संभाव्यता वितरण के लिए असंभव है।
  • विषम पैरिटी (Odd parity) के लिए, बाधाएं पर्याप्त सपोर्ट नहीं छोड़ती हैं जिससे अनुभवजन्य डेटा को संतुष्ट किया जा सके।
  • निष्कर्ष: अनुभवजन्य मॉडल तैयारी कॉन्टेक्स्टुअल (preparation contextual) है।

5. महत्व (Significance)

• सैद्धांतिक एकीकरण: यह कार्य सफलतापूर्वक शक्तिशाली शेफ-थ्योरेटिक मशीनरी को (जो पहले मापन तक सीमित थी) तैयारी पक्ष तक विस्तारित करता है, जिससे प्रतिबंध (मापन) और स्टोकेस्टिक विस्तार (तैयारी) के बीच एक सममित द्वैत (symmetric duality) बनता है।
• गैर-कॉन्टेक्सचुअलिटी का स्पष्टीकरण: यह स्पष्ट करता है कि तैयारी की गैर-कॉन्टेक्सचुअलिटी केवल एक ऑन्टोलॉजिकल मॉडल के अस्तित्व के बारे में नहीं है, बल्कि विशेष रूप से स्थानीय डेटा के सुसंगत, स्वतंत्र विस्तारों के साथ संगत एक वैश्विक रिस्पंस मैट्रिक्स के अस्तित्व के बारे में है।
• परिचालन निहितार्थ: समस्या को एक रैखिक-बीजगणितीय व्यवहार्यता समस्या (स्टोकेस्टिक मैट्रिक्स विस्तार) के रूप में फ्रेम करके, लेखक कॉन्टेक्सचुअलिटी के लिए एल्गोरिद्मिक चेक और संभावित कोहोमोलॉजिकल लक्षण वर्णन (मापन कॉन्टेक्सचुअलिटी के समान) के द्वार खोलते हैं।
• मौलिक अंतर्दृष्टि: परिणाम इस विचार को पुष्ट करते हैं कि क्वांटम अवस्थाओं को केवल उन अंतर्निहित शास्त्रीय चरों की 'तैयारी' के रूप में नहीं देखा जा सकता जो संदर्भों के स्वतंत्र हैं, भले ही तैयारी उपकरणों को स्वयं शास्त्रीय नियंत्रण इंटरफेस के रूप में माना जाए। PBR-प्रकार का उदाहरण दिखाता है कि क्वांटम अवस्था की "वास्तविकता" (तैयारी स्वतंत्रता के अर्थ में) एक गैर-कॉन्टेक्स्टुअल वैश्विक विवरण के साथ असंगत है।

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