Deriving the Generalised Born Rule from First Principles

यहाँ गौरंग अग्रवाल और मैट विल्सन के शोध पत्र "Deriving the Generalised Born Rule from First Principles" का विस्तृत तकनीकी सारांश दिया गया है।

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

भौतिक सिद्धांतों के आधुनिक संरचनात्मक दृष्टिकोणों (विशेष रूप से प्रोसेस थ्योरी और ऑपरेशनल प्रोबेबिलिस्टिक थ्योरीज) में, सामान्यीकृत बोर्न नियम (Generalised Born Rule) को आमतौर पर एक मौलिक अभिगृहीत (axiom) के रूप में माना जाता है। यह दावा करता है कि किसी मापन परिणाम की प्रायिकता (probability) एक अवस्था (state) और एक प्रभाव (effect) के संयोजन से निर्धारित होती है, जिसे एक होमोमोर्फिज्म $\lambda$ के माध्यम से एक वास्तविक संख्या (real number) में मैप किया जाता है:
$$P(\rho, \sigma) = \lambda(\sigma \circ \rho)$$
लेखक इस अभिगृहीत की मौलिकता पर प्रश्न उठाते हैं। क्या कम्पोजिशनल स्ट्रक्चर (सिमेट्रिक मोनॉइडल कैटेगरी में स्केलर्स) और प्रायिकता के बीच का यह संबंध बुनियादी भौतिक सिद्धांतों का एक आवश्यक परिणाम है, या यह केवल क्वांटम मैकेनिक्स जैसे सुव्यवस्थित सिद्धांतों के लिए एक सुविधाजनक धारणा मात्र है? यदि यह व्युत्पन्न (derivable) नहीं है, तो भौतिक सिद्धांतों की खोज का विस्तार काफी बढ़ सकता है, क्योंकि इससे कम्पोजिशनल और प्रोबेबिलिस्टिक सिद्धांतों को अलग किया जा सकता है। इस शोध पत्र का लक्ष्य यह सिद्ध करना है कि सामान्यीकृत बोर्न नियम बुनियादी प्रायिकता प्रक्रिया सिद्धांतों (probabilistic process theories) से व्युत्पन्न करने योग्य (derivable) है।

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

लेखक सिमेट्रिक मोनॉइडल कैटेगरीज (Symmetric Monoidal Categories - SMCs) और स्ट्रिंग डायग्राम्स (String Diagrams) पर आधारित एक श्रेणीगत ढांचे (categorical framework) का उपयोग करते हैं। उनकी कार्यप्रणाली एक व्यवस्थित निर्माण प्रक्रिया का उपयोग करती है जो किसी भी "प्रोबेबिलिस्टिक प्रोसेस थ्योरी" (PPT) को ऐसी थ्योरी में बदलने के लिए है जहाँ बोर्न नियम स्वाभाविक रूप से लागू होता है। यह दृष्टिकोण तीन मुख्य चरणों में आगे बढ़ता है:

A. प्रोबेबिलिस्टिक प्रोसेस थ्योरीज (PPTs) को परिभाषित करना

लेखक एक PPT को टुपल $(D \subseteq C, \{S_A\}, \{E_A\}, \{P_A\})$ के रूप में परिभाषित करते हैं जहाँ:

• $C$ एक SMC है जो कम्पोजिशनल स्ट्रक्चर का प्रतिनिधित्व करता है।
• $D$ भौतिक प्रक्रियाओं (physical processes) का एक उप-वर्ग (subcategory) है।
• $S_A$ और $E_A$ भौतिक अवस्थाओं (states) और प्रभावों (effects) के सेट हैं।
• $P_A$ एक प्रायिकता फलन (probability function) है जो तीन अभिगृहीतों का पालन करता है:
  1. एसोसिएटिविटी (Associativity): प्रायिकता इस बात से स्वतंत्र है कि परिवर्तन को अवस्था तैयारी (state preparation) के हिस्से के रूप में देखा जाए या मापन (measurement) के रूप में।
  2. प्रोडक्ट (Product): स्वतंत्र प्रणालियों की संयुक्त प्रायिकताएँ गुणनखंडित (factorize) होती हैं।
  3. नॉन-ट्रिवियलिटी (Non-triviality): प्रायक्तियाँ सार्वभौमिक रूप से 0 या 1 नहीं हैं।

B. कोटिएंटिंग प्रक्रिया (सामान्यीकृत बोर्न नियम का व्युत्पत्ति)

लेखक पहले सिम्प्लीफाइड प्रोबेबिलिस्टिक प्रोसेस थ्योरीज (SPPTs) का विश्लेषण करते हैं, जहाँ अवस्थाएँ और प्रभाव केवल कैटेगरी के मॉर्फिज्म (morphisms) होते हैं। वे मॉर्फिज्म के बीच एक तुल्यता संबंध (equivalence relation) $\sim$ को परिभाषित करते हैं जो सांख्यिकीय अविभेद्यता (statistical indistinguishability) पर आधारित है (अर्थात, $f \sim g$ यदि वे सभी state-effect जोड़ों के लिए समान प्रायिकता देते हैं)।

• निर्माण (Construction): वे एक कोटिएंट कैटेगरी $Q(C)$ का निर्माण करते हैं जहाँ मॉर्फिज्म $\sim$ के तहत तुल्यता वर्ग (equivalence classes) हैं।
• परिणाम: इस कोटिएंटेड थ्योरी में, प्रायिकता फलन $P$, कैटेगरी के स्केलर्स से गैर-ऋणात्मक वास्तविक संख्याओं $(\mathbb{R}_{\geq 0}, 1, \times)$ तक एक मोनोइड होमोमोर्फिज्म (monoid homomorphism) $\lambda$ बन जाता है।
• सामान्यीकरण (Generalization): वे इसे सामान्य PPTs (जहाँ अवस्थाएँ/प्रभाव एक कैटेगरी नहीं बना सकते) तक विस्तारित करते हैं, जिसमें प्रक्रियाओं, अवस्थाओं और प्रभावों के टुपल्स का उपयोग करके एक अधिक जटिल कोटिएंटिंग प्रक्रिया $G(D)$ शामिल है। यह एक आइसोमॉर्फिक (isomorphic) SPPT प्रदान करता है, जिससे एक मोनोइड होमोमोर्फिज्म तक सामान्यीकृत बोर्न नियम स्थापित होता है।

C. शोर (Noise) का परिचय (सेमिरिंग आइसोमोर्फिज्म के लिए सुदृढ़ीकरण)

स्केलर्स और प्रायिकता के बीच संबंध को मजबूत करने के लिए, लेखक एक समड कैटेगरी (Summed Category) $S(C)$ का निर्माण करके शोर (noise) पेश करते हैं।

• निर्माण: $S(C)$ में मॉर्फिज्म मूल कैटेगरी के मॉर्फिज्म के परिमित भारित सेट (finite weighted sets) हैं (जो शास्त्रीय प्रायिकता मिश्रणों का प्रतिनिधित्व करते हैं)।
• एडिटिव स्ट्रक्चर (Additive Structure): यह एक एडिटिव यूनियन ऑपरेशन ($\cup$) और एक ज़ीरो मॉर्फिज्म पेश करता है, जिससे स्केलर्स एक सेमिरिंग (semiring) बन जाते हैं।
• अंतिम कोटिएंट: वे एक नॉइजी कैटेगरी (Noisy Category) $N(C) = Q(S(C))$ को परिभाषित करते हैं, जो समड कैटेगरी को कोटिएंट करता है।
• परिणाम: इस नॉइजी थ्योरी में, होमोमोर्फिज्म $\lambda$ केवल एक मोनोइड होमोमोर्फिज्म नहीं है; यह एक सेमिरिंग आइसोमोर्फिज्म (semiring isomorphism) है। इसका अर्थ है कि यह गुणन (composition) और योग (mixing) दोनों को संरक्षित करता है।

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

1. सामान्यीकृत बोर्न नियम की व्युत्पत्ति: यह शोध पत्र सिद्ध करता है कि कोई भी प्रोबेबिलिस्टिक प्रोसेस थ्योरी जो बुनियादी एसोसिएटिविटी, प्रोडक्ट और नॉन-ट्रिवियलिटी अभिगृहीतों का पालन करती है, उसे व्यवस्थित रूप से एक ऐसी थ्योरी में बदला जा सकता है जहाँ प्रायक्तियाँ अनिवार्य रूप से एक होमोमोर्फिज्म $\lambda$ के तहत स्टेट-इफेक्ट कंपोजिशन का प्रतिबिंब होती हैं। यह बोर्न नियम को एक मौलिक अभिगृहीत के रूप में रखने की आवश्यकता को समाप्त करता है।
2. स्केलर-प्रायिकता लिंक का सुदृढ़ीकरण: लेखक प्रदर्शित करते हैं कि जबकि प्रारंभिक व्युत्पत्ति एक मोनोइड होमोमोर्फिज्म प्रदान करती है (जो $|\langle \phi | \psi \rangle|^k$ जैसे पावर लॉ की अनुमति देती है), शोर (शास्त्रीय मिश्रण) का परिचय होमोमोर्फिज्म को सेमिरिंग आइसोमोर्फिज्म में बदल देता है।
   • महत्व: $\mathbb{R}_{\geq 0}$ से $\mathbb{R}_{\geq 0}$ तक केवल एक ही सेमिरिंग आइसोमोर्फिज्म है: आइडेंटिटी फंक्शन। यह निहित करता है कि नॉइजी थ्योरीज में, स्केलर मान ही प्रायिकता है, जिससे बोर्न नियम की शक्ति (जैसे $k \neq 1$ या $k \neq 2$) के संबंध में अस्पष्टता समाप्त हो जाती है।
3. एडजॉइंट-मुक्त (Adjoint-Free) पूरी तरह से धनात्मक (CP) मानचित्रों का निर्माण:
   • शुद्ध क्वांटम थ्योरी (यूनिटरीज और प्योर स्टेट्स) पर इस निर्माण को लागू करने से क्रास ऑपरेटर्स (Kraus operators) (रैंक-1 CPTNI मैप्स) की थ्योरी प्राप्त होती है।
   • शोर जोड़ने से कंप्लीटली पॉजिटिव (CP) मैप्स की कैटेगरी प्राप्त होती है।
   • नवीनता: मानक निर्माणों (जैसे सेलिंगर का CPM या $CP^*$) के विपरीत, यह व्युत्पत्ति एडजॉइंट्स (adjoints) या डिस्कॉर्डिंग मैप्स (discarding maps) की आवश्यकता नहीं रखती है। यह विशुद्ध रूप से प्रायabilistic बाधाओं और कोटिएंटिंग से CP मैप्स को व्युत्पन्न करती है।
4. बोर्न नियम की कठोरता (Rigidity): यह शोध पत्र दिखाता है कि उन सिद्धांतों के लिए जहाँ स्केलर्स $\mathbb{R}_{\geq 0}$ हैं (जैसे नॉइजी क्वांटम थ्योरी), एकमात्र संभावित सेमिरिंग होमोमोर्फिज्म आइडेंटिटी फंक्शन है। यह एक संरचनात्मक तर्क प्रदान करता है कि क्यों मानक क्वांटम मैकेनिकल बोर्न नियम ($P = Tr[\rho \sigma]$) नॉइजी क्वांटम इंफॉर्मेशन थ्योरी में एकमात्र सुसंगत नियम है।

4. प्रमुख परिणाम (Key Results)

• थ्योरम 3.23 और 4.11: किसी भी सिम्प्लीफाइड या जनरल प्रोबेबिलिस्टिक प्रोसेस थ्योरी को एक मोनोइड होमोमोर्फिज्म $\lambda$ के माध्यम से एक थ्योरी में कोटिएंट किया जा सकता है जो सामान्यीकृत बोर्न नियम का पालन करती है।
• थ्योरम 5.16: समड (नॉइजी) थ्योरीज में, स्केलर्स से प्रायिकता का मानचित्र एक सेमिरिंग होमोमोर्फिज्म है।
• थ्योरम 6.3 और 6.4: परिमित-आयामी हिल्बर्ट स्पेस ($FHilb$) के विशिष्ट मामले के लिए, नॉइजी कोटिएंटेड थ्योरी कंप्लीटली पॉजिटिव मैप्स ($CP$) की कैटेगरी के आइसोमॉर्फिक है।
• लेम्मा 6.12 (रिजिडिटी): कोई भी सेमिरिंग होमोमोर्फिज्म $\lambda: \mathbb{R}_{\geq 0} \to \mathbb{R}_{\geq 0}$ आइडेंटिटी फंक्शन ($\lambda(x) = x$) है।
• कोरोलरी 6.13: कोई भी प्रोबेबिलिस्टिक प्रोसेस थ्योरी जिसका नॉइजी थ्योरी $CP$के रूप में परिणाम देता है, उसे अनिवार्य रूप से मानक क्वांटम मैकेनिकल बोर्न नियम ($P = Tr[\rho \sigma]$) उत्पन्न करना होगा।

5. महत्व (Significance)

• मौलिक औचित्य (Foundational Justification): यह कार्य सामान्यीकृत बोर्न नियम के लिए एक कठोर औचित्य प्रदान करता है, यह दिखाते हुए कि यह किसी भी उचित प्रायिकता संबंधी बाधाओं वाले ऑपरेशनल सिद्धांत की एक संरचनात्मक आवश्यकता है, न कि एक मनमाना अभिगृहीत।
• दृष्टिकोणों का एकीकरण: यह "शुद्ध" प्रोसेस थ्योरीज (जिनमें अक्सर स्पष्ट प्रायिकता व्याख्या की कमी होती है) और "ऑपरेशनल" थ्योरीज (OPTs) के बीच के अंतर को पाटता है, यह दिखाकर कि कैसे कोटिएंटिंग और शोर के माध्यम से इन दोनों को बनाया जा सकता है।
• वैकल्पिक क्वांटम सिद्धांत: यह ढांचा "वैकल्पिक" बोर्न नियमों (जैसे $|\langle \phi | \psi \rangle|^k$ जहाँ $k \neq 2$) का अन्वेषण करने का एक तरीका प्रदान करता है। लेखक सुझाव देते हैं कि ऐसे सिद्धांतों को उनके परिणामस्वरूप होने वाली सूचना थ्योरी की विकृत विशेषताओं (pathological features) का विश्लेषण करके खारिज किया जा सकता है (जैसे कि यदि वे सुसंगत नॉइजी एक्सटेंशन या सेमिरिंग स्ट्रक्चर का समर्थन करने में विफल रहते हैं)।
• श्रेणीगत नवाचार (Categorical Innovation): एडजॉइंट्स के बिना CP मैप्स का निर्माण इस मानक विचार को चुनौती देता है कि डैगर स्ट्रक्चर (dagger structure) क्वांटम चैनल्स को परिभाषित करने के लिए आवश्यक है। यह सुझाव देता है कि प्रायिकतात्मक स्थिरता और शोर अधिक मौलिक चालक (drivers) हैं।
• भविष्य की दिशाएं: यह शोध पत्र प्रोबेबिलिस्टिक प्रोसेस थ्योरीज के लिए एक "स्ट्रिक्टिफिकेशन थ्योरम" (strictification theorem) के निर्माण का मार्ग प्रशस्त करता है, जो संभवतः मोनॉइडल कैटेगरीज के स्ट्रिक्टिफिकेशन को प्रायिकता नियमों की व्युत्पत्ति के साथ एकीकृत कर सकता है।