Unobservables and Decoherence from Complexity

तकनीकी सारांश: अनऑब्जर्वेबल्स (अदृश्य गुण) और जटिलता से उत्पन्न डिकोहेरेंस (Decoherence)

समस्या विवरण
क्वांटम यांत्रिकी और शास्त्रीय वास्तविकता के बीच का इंटरफेस गहन अनुसंधान का विषय बना हुआ है। जबकि क्वांटम शासन (regime) हस्तक्षेप (interference) और सुपरपोजिशन द्वारा परिभाषित होता है, मैक्रोस्कोपिक सिस्टम शास्त्रीय प्रतीत होते हैं, जिनमें इन घटनाओं का अभाव होता है। मानक स्पष्टीकरण अक्सर पर्यावरणीय डिकोहेरेंस (environmental decoherence) पर निर्भर करते हैं। यह शोध पत्र एक वैकल्पिक परिकल्पना की जांच करता है: कि मैक्रोस्कोपिक सिस्टम में कुछ क्वांटम विशेषताओं की "अनऑब्जर्वेबिलिटी" (अवलोकन न किया जा सकना) पर्यावरणीय संपर्क से नहीं, बल्कि मौलिक रूप से कम्प्यूटेशनल जटिलता (computational complexity) द्वारा लगाए गए प्रतिबंधों से उत्पन्न होती है। विशेष रूप से, लेखक यह पता लगाते हैं कि क्या यह धारणा कि क्वांटम सिस्टम कुशलतापूर्वक NP-कम्प्लीट समस्याओं को हल नहीं कर सकते, यह निहित करती है कि कुछ औपचारिक रूप से वैध क्वांटम माप (measurements) भौतिक रूप से निष्पादित करने योग्य नहीं हैं।

कार्यप्रणाली (Methodology)
लेखक एक काल्पनिक क्वांटम एल्गोरिदम का निर्माण करते हैं जिसे 3SAT समस्या (एक NP-complete समस्या) को बहुपद समय (polynomial time) में हल करने के लिए डिज़ाइन किया गया है, जो क्वांटम मापों को "उल्टा करने" (undoing) की क्षमता का लाभ उठाता है।

1. माप को उलटना (Measurement Undoing): एल्गोरिदम एक "सैंडविच-POVM" (Positive Operator-Valued Measure) का उपयोग करता है, जिसे एक प्रपोजीशनल लॉजिक फॉर्मूला $F$ के लिए $\mathcal{N}(F)$ के रूप में दर्शाया गया है। इस माप में फॉर्मूला के क्लॉज़ (clauses) पर अनुक्रमिक प्रोजेक्टिव मापों का एक क्रम शामिल है, जिसके बाद एक "रीसेट" माप होता है जो अवांछित परिणामों (विशेष रूप से, उस सबस्पेस के प्रोजेक्शन को जो एक क्लॉज़ का उल्लंघन करता है) को उलट देता है।
2. तनुकरण तकनीक (Dilution Technique): अनुक्रमिक मापों में घातांकीय रूप से कम सफलता की संभावनाओं को संबोधित करने के लिए, लेखक मूल फॉर्मूला $F$ को एक तनु फॉर्मूला $D(F)$ में बदलने के लिए एक "डिल्यूशन" रणनीति का उपयोग करते हैं। यह संशोधन नए वेरिएबल्स और रैंडम XOR क्लॉज़ पेश करके मूल फॉर्मूला को रूपांतरित करता है। यह सुनिश्चित करता है कि एक संतुष्ट क्लॉज़ परिणाम को मापने की संभावना पूरे एल्गोरिदम के दौरान उच्च (औसत में $1/2$ से अधिक) बनी रहे।
3. जटिलता धारणा (Complexity Assumption): मुख्य तर्क दो धारणाओं पर आधारित है:
   • (INC): NP $\not\subseteq$ BQP (क्वांटम सिस्टम NP-हार्ड समस्याओं को कुशलतापूर्वक हल नहीं कर सकते)।
   • (OBS): प्रत्येक औपचारिक रूप से वैध क्वांटम माप को प्रयोगात्मक रूप से साकार किया जा सकता है।
     लेखक प्रदर्शित करते हैं कि यदि (OBS) सत्य है, तो प्रस्तावित एल्गोरिदम कुशलतापूर्वक 3SAT को हल करेगा, जो (INC) का खंडन करता है।

प्रमुख योगदान और परिणाम
यह शोध पत्र स्थापित करता है कि यदि NP-कम्प्लीट समस्याएं क्वांटम सिस्टम के लिए कठिन हैं, तो विशिष्ट रूप से औपचारिक रूप से वैध क्वांटम मापों को भौतिक रूप से निष्पादित करना असंभव होना चाहिए। इन मात्राओं को अनऑब्जर्वेबल्स (unobservables) कहा जाता है।

1. अनऑब्जर्वेबल्स का अस्तित्व: दिखाया गया है कि सैंडविच-POVM $\mathcal{N}(F)$ क्वांटम यांत्रिकी में एक वैध गणितीय वस्तु है, लेकिन पर्याप्त बड़े समस्या आकार (जैसे, सैकड़ों वेरिएबल्स) के लिए भौतिक रूप से निष्पादित करने योग्य नहीं है क्योंकि इसका निष्पादन इस धारणा का उल्लंघन करेगा कि NP-हार्ड समस्याएं कठिन हैं।
2. अनऑब्जर्वेबल पाउली मैट्रिसेस (Unobservable Pauli Matrices): नैमार्क के डायलेशन प्रमेय (Naimark's dilation theorem) के माध्यम से, अनऑब्जर्वेबल POVM $\mathcal{N}(F)$ को अनऑब्जर्वेबल PVMs से जोड़ा गया है। लेखक दिखाते हैं कि एक पर्याप्त बड़े हिल्बर्ट स्पेस (विशेष रूप से, $2^{M+N}$-आयामी क्वडिट) में, ऐसे बेसिस मौजूद हैं जहाँ पाउली ऑपरेटर्स ($\tilde{X}, \tilde{Y}, \tilde{Z}$) अनऑब्जर्वेबल्स हैं। जबकि कैनोनिकल पाउली ऑपरेटर्स ऑब्जर्वेबल हैं, विशिष्ट अवस्थाओं के बीच मानचित्रण करने के लिए आवश्यक रूपांतरित संस्करण नहीं हैं।
3. विच्छेदित समय-विकास ऑर्बिट्स (Disconnected Time-Evolution Orbits): लेखक सीमित संसाधनों का उपयोग करने वाले भौतिक रूप से साकार योग्य समय विकास के सेट $\mathcal{T}$ को परिभाषित करते हैं। वे सिद्ध करते हैं कि कुछ यूनिटरी ऑपरेटर्स (जैसे, एक अनऑब्जर्वेबल को ऑब्जर्वेबल में मैप करने वाला) मौजूद हैं जो $\mathcal{T}$ में नहीं हैं। फलस्वरूप, शुद्ध अवस्थाओं $|\psi_1\rangle$ और $|\psi_2\rangle$ के ऐसे जोड़े हैं जिन्हें किसी भी भौतिक रूप से साकार योग्य समय विकास द्वारा नहीं जोड़ा जा सकता है। इनके बीच संक्रमण की संभावना सिस्टम के आकार के साथ घातांकीय रूप से घटती है ($\exp(-\Omega(N))$)।
4. जटिलता-प्रेरित डिकोहेरेंस (Complexity-Induced Decoherence): चूंकि कोई भी भौतिक रूप से साकार योग्य यूनिटरी $|\psi_1\rangle$ और $|\psi_2\rangle$ को नहीं जोड़ सकता है, इसलिए कोहेरेंट सुपरपोजिशन $\rho_{coh} = \frac{1}{2}(|\psi_1\rangle + |\psi_2\rangle)(\langle\psi_1| + \langle\psi_2|)$ के लिए किसी भी एडमिसिबल (admissible) ऑब्जर्वेबल $A$ के एक्सपेक्टेशन वैल्यूज, इनकोहेरेंट मिश्रण $\rho_{incoh} = \frac{1}{2}(|\psi_1\rangle\langle\psi_1| + |\psi_2\rangle\langle\psi_2|)$ के समान होते हैं। इन एक्सपेक्टेशन वैल्यूज के बीच का अंतर $\exp(-\Omega(N))$ के रूप में स्केल करता है।
5. प्रभावी सुपरसेलेक्शन रूल्स (Effective Superselection Rules - SSR): यह अविभेद्यता (indistinguishability) एक प्रभावी सुपरसेलेक्शन नियम के उद्भव को दर्शाती है। ऐसी अवस्थाओं के बीच की कोहेरेंस को देखा नहीं जा सकता है, जो प्रभावी रूप से एक शुद्ध सुपरपोजिशन को एक शास्त्रीय मिश्रण (classical mixture) में बदल देता है। यह शास्त्रीयता के लिए एक तंत्र प्रदान करता है जो पर्यावरणीय संपर्क के बजाय कम्प्यूटेशनल जटिलता पर आधारित है।

महत्व और दावे
यह शोध पत्र दावा करता है कि यह क्वांटम कोहेरेंस की दृश्यता (observability) को सीधे एक कम्प्यूटेशनल रूप से कठिन समस्या से जोड़ने वाला पहला कार्य है। लेखक प्रस्तावित करते हैं कि मैक्रोस्कोपिक सिस्टम की स्पष्ट शास्त्रीयता आंशिक रूप से इस तथ्य के कारण हो सकती है कि कुछ क्वांटम घटनाओं (जैसे, विशिष्ट सुपरपोजिशन या विशिष्ट माप करना) को देखना ऐसे संसाधनों की मांग करता है जो सुपरपोलिनोमियल (superpolynomial) रूप से स्केल करते हैं, जिससे वे किसी भी सीमित संसाधनों वाले पर्यवेक्षक के लिए असंभव हो जाते हैं।

लेखक अपने दायरे को सीमित रखते हुए कहते हैं कि उन्होंने केवल इस तंत्र के अस्तित्व को प्रदर्शित किया है। वे यह दावा नहीं करते हैं कि यह शास्त्रीयता या डिकोहेरेंस का एकमात्र स्रोत है, न ही वे पर्यावरणीय डिकोहेरेंस के सापेक्ष इसके योगदान का मात्रात्मक अनुमान प्रदान करते हैं। वे सुझाव देते हैं कि भविष्य के कार्य यह मात्रा निर्धारित कर सकते हैं कि "शास्त्रीय दुनिया" का कितना हिस्सा कम्प्यूटेशनल जटिलता संबंधी सीमाओं का परिणाम है। परिणाम यह संकेत देते हैं कि भौतिक रूप से साकार होने वाले ऑपरेशन्स का सेट क्वांटम मैकेनिक्स में गणितीय रूप से वैध ऑपरेशन्स का एक सख्त उपसमुच्चय (strict subset) है, जो NP-कम्प्लीट समस्याओं की कठिनाई द्वारा बाधित है।