Against probability: A quantum state is more than a list of probability distributions

तकनीकी सारांश: "संभाव्यता के विरुद्ध: एक क्वांटम अवस्था प्रायिकता वितरणों की एक सूची से अधिक है"

समस्या विवरण
क्वांटम अवस्थाओं को अक्सर घनत्व ऑपरेटरों ($\rho$) द्वारा नहीं, बल्कि एक टोमोग्राफिक रूप से पूर्ण मापन सेट ($M$) से प्राप्त परिणाम प्रायिकताओं की सूचियों द्वारा दर्शाया जाता है। ऐसे प्रतिनिधित्व भौतिकी में सर्वव्यापी हैं, जो क्वांटत फील्ड थ्योरी (सहसंबंध फलनों के माध्यम से) और क्वांटम फाउंडेशन (सामान्यीकृत प्रायोबलिस्टिक फ्रेमवर्क के भीतर) में दिखाई देते हैं। यद्यपि ऐसा प्रायिकता प्रतिनिधित्व $P_M(\rho)$ एकतः (uniquely) विशिष्ट है, लेखक इस बात पर सवाल उठाते हैं कि क्या यह भौतिक अर्थ में विश्वसनीय (faithful) है। विशेष रूप से, वे जांचते हैं कि क्या प्रायिकता प्रतिनिधित्वों से प्राप्त अनुमानित कथन (जैसे, "आउटपुट लगभग यादृच्छिक है") वैध रहते हैं जब उन्हें घनत्व ऑपरेटरों के स्तर पर "पुल बैक" (pull back) किया जाता है। मुख्य समस्या यह है कि प्रायिकता प्रतिनिधित्वों में टोपोलॉजिकल मजबूती (topological robustness) की कमी हो सकती है: अवस्थाओं का एक अनुक्रम जो प्रायिकता प्रतिनिधित्व स्थान में आदर्श व्यवहार की ओर अभिसरण (converge) करता प्रतीत होता है, वह भौतिक अवस्था स्थान (trace distance द्वारा परिभाषित) में अभिसरण नहीं कर सकता है।

कार्यप्रणाली
लेखक घनत्व ऑपरेटरों के स्थान पर प्रेरित मीट्रिक और मानक ट्रेस दूरी (trace distance) मीट्रिक के बीच संबंध का विश्लेषण करने के लिए एक टोपोलॉजिकल और सूचना-सैद्धांतिक दृष्टिकोण अपनाते हैं।

1. मजबूती की परिभाषा: वे एक प्रतिनिधित्व $P_M$ को तब टोपोलॉजिकल रूप से मजबूत कहते हैं यदि प्रेरित मीट्रिक $d_M$ में अभिसरण, ट्रेस दूरी $\delta$ में अभिसरण को दर्शाता हो। औपचारिक रूप से, किसी अवस्थाओं के अनुक्रम $(\rho^{(n)})$ और अवस्थाओं के एक सेट $\Sigma$ के लिए:
   $$\lim_{n\to\infty} d_M(\rho^{(n)}, \Sigma) = 0 \implies \lim_{n\to\infty} \delta(\rho^{(n)}, \Sigma) = 0$$
   जहाँ $d_M(\rho, \sigma) = \frac{1}{2} \sup_{M \in \mathcal{M}} \|P_M(\rho) - P_M(\sigma)\|_1$ है।

2. प्रति-उदाहरण निर्माण: वे $n$ अस्थिर परमाणुओं का उपयोग करते हुए एक विशिष्ट रैंडमनेस जनरेशन प्रोटोकॉल का निर्माण करते हैं। वे एक उलझी हुई अवस्थाओं (entangled states) का अनुक्रम $\rho^{(n)}_{RE}$ परिभाषित करते हैं जो ट्रेस दूरी ($\delta \geq 1/4$) के संदर्भ में पूर्णतः यादृच्छिक अवस्थाओं $\Sigma_{rand}$ से दूर है। हालांकि, स्थानीय मापों ($M_\otimes$) तक सीमित होने पर, इन अवस्थाओं के प्रायिकता वितरण $n \to \infty$ होने पर $\Sigma_{rand}$ की ओर अभिसरित होते हैं। यह दर्शाता है कि स्थानीय मापों पर आधारित प्रतिनिधित्व मजबूत नहीं है।

3. टोपोलॉजिकल लक्षण वर्णन: लेखक घनत्व ऑपरेटरों द्वारा स्पैन किए गए वेक्टर स्पेस, $\text{span}(D(H))$ का विश्लेषण करते हैं। वे सिद्ध करते हैं कि जबकि $d_M$ और $\delta$ द्वारा प्रेरित टोपोलॉजी घनत्व मैट्रिसेस $D(H)$ के सेट पर समान है (पथोलॉजिकल "नाजुक" मामलों को छोड़कर), मजबूती के लिए पूरे वेक्टर स्पेस $\text{span}(D(H))$ पर इन टोपोलॉजी का समतुल्य होना आवश्यक है। यह $\|\cdot\|_M$ के सापेक्ष $\text{span}(D(H))$ की पूर्णता (completeness) के समतुल्य है।

4. एन्ट्रॉपी के माध्यम से संरचना का परिमाणीकरण: विशिष्ट उदाहरणों से परे सामान्यीकरण करने के लिए, वे "संरचना" के एक सूचना-सैद्धांतिक माप को पेश करते हैं। वे एसिम्प्टोटिक एन्ट्रॉपी (asymptotic entropy) को किसी भी मापन के लिए प्रायिकताओं को $\epsilon$-डिकोड करने के लिए आवश्यक संकुचित डेटा की सूची के न्यूनतम आकार के आधार पर परिभाषित करते हैं। वे उन प्रतिनिधित्वों पर विचार करते हैं जो "कुशल" (efficient) हैं (जहाँ प्रभावों की संख्या आयाम के साथ बहुपद रूप से बढ़ती है) या स्थानीय ऑपरेशनों पर आधारित हैं।

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

• नो-गो थ्योरम (थ्योरम 6): केंद्रीय परिणाम एक नो-गो थ्योरम है जो बताता है कि यदि एक प्रायिकता प्रतिनिधित्व $P_M$ में गैर-नगण्य संरचना (विशेष रूप से, यदि इसकी एसिम्प्टोटिक एन्ट्रॉपी ट्रिवियल अपर बाउंड $2^{2^n}$ से काफी कम है) मौजूद है, तो वह प्रतिनिधित्व टोपोलॉजिकल रूप से मजबूत नहीं हो सकता।
• संरचना और मजबूती की असंगतता: वे एक मौलिक ट्रेड-ऑफ स्थापित करते हैं:
  • मजबूती (Robustness) के लिए यह आवश्यक है कि प्रतिनिधित्व "संरचना-रहित" (structure-less) हो (अर्थात, अवस्थाओं को मजबूती से अलग करने के लिए घातांकीय रूप से बड़ी संख्या में मापों की आवश्यकता होती है)।
  • संरचना (Structure) (जैसे सबसिस्टम अपघटन, स्थानीयता, या दक्षता) अनिवार्य रूप से गैर-मजबूती की ओर ले जाती है।
• विशिष्ट कोरोलरी (Corollaries):
  • कोरोलरी 7: स्थानीय मापों ($P_{M_\otimes}$) पर आधारित प्रतिनिधित्व मजबूत नहीं है। इसका तात्पर्य यह है कि केवल नॉन-सिग्नलिंग बॉक्स (जो $P_{M_\otimes}$ के अनुरूप हैं) पर आधारित पोस्ट-क्वांटम क्रिप्टोग्राफी में सुरक्षा परिभाषाएं मानक क्वांटम परिभाषाओं के तहत सुरक्षा की गारंटी नहीं दे सकती हैं।
  • कोरोलरी 8: कोई भी कुशल (efficient) प्रतिनिधित्व (जहाँ मापन प्रभावों की संख्या हिल्बर्ट स्पेस आयाम के साथ बहुपद रूप से बढ़ती है, जैसे कि SIC-POVMs जैसे न्यूनतम टोमोग्राफिक रूप से पूर्ण सेट) मजबूत नहीं है। यह अनबाउंडेड आयाम वाले सिस्टम पर लागू होता है।
• GPTs में सामान्यीकरण (थ्योरम 9): लेखक अपने निष्कर्षों को जनरल प्रोबेबिलिस्टिक थ्योरीज (GPTs) तक विस्तारित करते हैं, यह दिखाते हुए कि ऐसे GPTs मौजूद हैं जहाँ स्थानीय मापन और सामान्यीकृत ट्रेस दूरी द्वारा प्रेरित टोपोलॉजी भिन्न होती है, भले ही मापन का सेट नाजुक न हो।

महत्व और दावे
यह शोध पत्र तर्क देता है कि प्रायिकता प्रतिनिधित्व, हालांकि गणितीय रूप से सुविधाजनक और कई ढांचों (जैसे QBism और रिकंस्ट्रक्शन प्रोग्राम्स) के लिए मौलिक हैं, एक मौलिक दोष से ग्रस्त हैं: वे भौतिक रूप से प्रासंगिक संरचना शामिल होने पर अवस्थाओं के बीच "निकटता" (closenment) के बोध को बनाए रखने में विफल रहते हैं।

• क्वांटम फाउंडेशन के लिए निहितार्थ: परिणाम उन कार्यक्रमों को चुनौती देते हैं जो कुशल मापन सेट (जैसे SIC-POVMs) का उपयोग करके प्रायिकता पोस्टुलेट्स से क्वांटम सिद्धांत को पुनर्गठित करने का प्रयास करते हैं (या अनबाउंडेड सिस्टम के लिए QBism जैसे विश्वासों के कैटलॉग के रूप में व्याख्या करते हैं)। बिना मजबूती के, अनुमानित प्रायिकता कथनों को विश्वसनीय रूप से भौतिक अवस्थाओं में मैप नहीं किया जा सकता है।
• क्वांटम सूचना के लिए निहितार्थ: क्वांटम क्रिप्टोग्राफी में, $P_{M_\otimes}$ की गैर-मजबूती यह सुझाव देती है कि नॉन-सिग्नलिंग बॉक्स पर निर्भर "पोस्ट-क्वांटम" योजनाएं अपने क्वांटम समकक्षों की तुलना में कम सुरक्षित हो सकती हैं, क्योंकि सुरक्षा की प्रायोबलिस्टिक परिभाषा ट्रेस-दूरी के अर्थ में सुरक्षा की गारंटी नहीं देती है।
• क्वांटम फील्ड थ्योरी (QFT) के लिए निहितार्थ: चूंकि QFT अवस्थाओं को अक्सर सहसंबंध फलनों (प्रायिकता प्रतिनिधित्व का एक रूप) द्वारा वर्णित किया जाता है, लेखक सुझाव देते हैं कि ये प्रतिनिधित्व मजबूत नहीं हैं, विशेष रूप से गैर-स्थानीय अवलोकनों (जैसे हॉकिंग रेडिएशन कोरिलेशन) के लिए।

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