Infinitesimal Causality

तकनीकी सारांश: अनंत सूक्ष्म कारणता (Infinitesimal Causality)

समस्या विवरण
कारण संबंधी अनुमान (causal inference) के वर्तमान श्रेणीबद्ध उपचार, जैसे कि श्रेणीबद्ध do-calculus और स्ट्रिंग-डायग्राम सर्जरी (Fritz and Klingler, 2023; Jacobs et al., 2018), हस्तक्षेपों को विविक्त संयोजी संरचना (discrete combinatorial structure) के स्तर पर औपचारिक रूप देते हैं। ये ढाँचे यह तो समझाते हैं कि कारण संबंधी वाक्य रचना (जैसे कि तारों को काटना, आउटपुट पर स्थितिजन्य होना) को कैसे पुनर्गठित किया जाए, लेकिन वे इस ज्यामिति को संबोधित नहीं करते कि हस्तक्षेप सांख्यिकीय मैनिफोल्ड्स (statistical manifolds) को कैसे विकृत करते हैं। इनमें यह बताने के लिए तंत्र का अभाव है कि किसी विशिष्ट ग्राफ प्रस्तुतिकरण से स्वतंत्र होकर, लेटेंट कन्फाउंडिंग (latent confounding) को ज्यामितीय बाधाओं (जैसे कि गैर-शून्य Lie brackets) के रूप में कैसे प्रकट किया जाता है। यह शोध पत्र एक ऐसे ढांचे की आवश्यकता को संबोधित करता है जहाँ हस्तक्षेपों को अवलोकन योग्य चरों द्वारा वहन की जाने वाली कॉपी/डिस्कार्ड संरचना के स्पर्शरेखीय विरूपण (tangent deformations) के रूप में माना जाता है, जिससे ग्राफिकल पुनर्गठन के बजाय 'डेरिवेटिव डिफेक्ट्स' (derivative defects) के माध्यम से कारण अपर्याप्तता (causal insufficiency) का पता लगाया जा सके।

कार्यप्रणाली (Methodology)
यह शोध पत्र टैंजेंट-बंडल सिमेंटिक्स (tangent-bundle semantics) से सुसज्जित फ्रोबेनियस मार्कोव श्रेणियों (Frobenius Markov categories) के भीतर सूक्ष्म कारणता का एक श्रेणीबद्ध विवरण प्रस्तुत करने हेतु इन्फिनिटेसिमल डू-कैलकुलस (Infinitesimal Do-Calculus - IDC) को पेश करता है। कार्यप्रणाली तीन वैचारिक परतों पर आधारित है:

1. मार्कोव संरचना (Markov Structure): संभाव्यता संबंधी तर्क (अवलोकन, स्थितिजन्य होना, बेयसियन इन्वर्जन) की वाक्य रचना प्रदान करती है।
2. फ्रॉबेनियस संरचना (Frobenius Structure): शास्त्रीय सूचना की वाक्य रचना प्रदान करती है, जहाँ अवलोकन योग्य चर (विशेष रूप से पर्याप्त सांख्यिकी/sufficient statistics) एक विशेष क्रमविनिमेय फ्रोबेनियस कोमोनॉइड $(\delta, \varepsilon)$ के माध्यम से कॉपी, तुलना और त्याग (discard) किए जा सकते हैं।
3. टैंजेंट संरचना (Tangent Structure): हस्तक्षेपों को वेक्टर फील्ड्स (स्पर्शरेखीय वेक्टर्स) के रूप में मॉडल किया जाता है जो फ्रोबेनियस कॉपी/डिस्कार्ड ऑपरेशन्स को विकृत करते हैं।

मुख्य तकनीकी नवाचार फ्रोबेनियस-डेरिवेटिव डिफेक्ट्स (Frobenius-derivative defects) की परिभाषा है। डायग्राम को पुनर्गठित करने के बजाय, IDC यह विश्लेषण करता है कि क्या सूक्ष्म हस्तक्षेप क्षेत्र (infinitesimal intervention fields) शास्त्रीय अवलोकनों की बीजगणितीय संरचना को संरक्षित करते हैं। ढांचा निम्नलिखित के बीच अंतर करता है:

• बीजगणितीय फ्रोबेनियस संरचना (Algebraic Frobenius Structure): पर्याप्त सांख्यिकी पर श्रेणीबद्ध कॉपी/डिस्कार्ड ऑपरेशन्स।
• ज्यामितीय फ्रोबेनियस इंटीग्रिबिलिटी (Geometric Frobenius Integrability): यह स्थिति कि हस्तक्षेप वेक्टर फील्ड्स का वितरण इनवोल्यूटिव (involutive) है (Lie brackets के तहत बंद है)।

यह पत्र नियमित परिमित-आयामी सांख्यिकीय मॉडलों का एक श्रेणी Stat$^\infty$ परिभाषित करता है जो पर्याप्त सांख्यिकी द्वारा प्रस्तुत किए जाते हैं, और एक संरचनात्मक उपश्रेणी Stat$^\infty_{SCM}$ जहाँ स्टोकास्टिसिटी (stochasticity) बाह्य चरों (exogenous variables) द्वारा वहन की जाती है और दृश्य नियम (visible laws) नियत तंत्रों (deterministic mechanisms) के पुश-फॉरवर्ड होते हैं। इस सेटिंग में, हस्तक्षेपों को बाह्य स्थान (exogenous space) पर स्पर्शरेखीय वेक्टर्स के रूप में परिभाषित किया जाता है, जिन्हें दृश्य स्थान (visible space) पर पुश-फॉरवर्ड किया जाता है, जिससे देखे गए चरों पर ग्लोबल रेडॉन-निकोडिम घनत्व अनुपातों (Radon–Nikodym density ratios) से जुड़ी सिंगुलैरिटीज़ से बचा जा सके।

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

1. Stat$^\infty$ और Stat$^\infty_{SCM}$ की परिभाषा: यह पत्र सांख्यिकीय मॉडलों का एक श्रेणीबद्ध आधार परिभाषित करता है जहाँ पर्याप्त सांख्यिकी फ्रोबेनियस संरचना वहन करती है और पैरामीटर स्पेस टैंजेंट संरचना वहन करते हैं। यह एक ऐसी उपश्रेणी को अलग करता है जहाँ तंत्र नियत (deterministic) हैं और स्टोकास्टिसिटी बाह्य (exogenous) है, जिससे प्रोजेक्शन से पहले बाह्य स्पर्शरेखीय बंडल (exogenous tangent bundle) पर सूक्ष्म हस्तक्षेपों को परिभाषित करना संभव होता है।
2. श्रेणीबद्ध कारण पर्याप्तता (Categorical Causal Sufficiency): कारण पर्याप्तता को दो शर्तों के मिलन के रूप में पुनर्व्याख्यायित किया गया है: (क) बीजगणितीय फ्रोबेनियस कॉपी/डिस्कार्ड संरचना हस्तक्षेपों द्वारा संरक्षित रहती है, और (ख) हस्तक्षेप क्षेत्रों का वितरण इनवोल्यूटिव (Lie brackets के तहत बंद) है।
3. फ्रोबेनियस-डेरिवेटिव डिफेक्ट्स: यह पेपर कॉपी-संरक्षण सूक्ष्म हस्तक्षेप के मूल अवरोध के रूप में $\partial_i \delta_j$ को पेश करता है। एक गैर-शून्य डिफेक्ट यह संकेत देता है कि एक हस्तक्षेप चर की कॉपी संरचना को विकृत कर रहा है, जो कारण पर्याप्तता की विफलता या लेटेंट कन्फाउंडिंग की उपस्थिति का संकेत देता है।
4. तीन सूक्ष्म हस्तक्षेप नियम: शास्त्रीय do-calculus के नियमों को फ्रोबेनियस संरचनाओं और टैंजेंट फील्ड्स से संबंधित समीकरणों के रूप में पुनर्गठित किया गया है:
   • नियम 1 (अप्रासंगिकता/Irrelevance): एक अप्रासंगिक चर को त्यागना हस्तक्षेप के साथ कम्यूट करता है यदि कौंटनिट (counit) का ली डेरिवेटिव शून्य हो ($L_{v_i}\varepsilon_j = 0$)।
   • नियम 2 (एक्शन/ऑब्जर्वेशन एक्सचेंज): क्रिया (action) को अवलोकन (observation) के साथ बदलना फ्रोबेनियस कोप्रोडक्ट को सुरक्षित रखता है यदि कान ट्रांसपोर्ट (Kan transport) के बाद फ्रोबेनियस डेरिवेटिव डिफेक्ट शून्य हो ($\partial_i \delta_j = 0$)।
   • नियम 3 (स्वतंत्रता/Independence): स्वतंत्र हस्तक्षेप दृश्य टैंजेंट वितरण के तहत क्लोज होते हैं यदि ली ब्रैकेट रेसिड्यूल (Lie bracket residual) शून्य हो ($[v_i, v_j] \perp \mathcal{A}_{vis} = 0$)।
5. प्रस्तुतिकरण बनाम आधार (Presentations vs. Foundations): यह पत्र तर्क देता है कि ग्राफिकल कारण मॉडल केवल अंतर्निहित फ्रोबेनियस-मार्कोव ऑब्जेक्ट के प्रस्तुतिकरण हैं, न कि सिद्धांत के मौलिक ऑब्जेक्ट। यह तर्क देता है कि परिमित ग्राफिकल सिंटैक्स (जैसे ग्राफ या इमेट्स) गैर-रूढ़िवादी (non-conservative) है, क्योंकि विभिन्न प्रस्तुतिकरण समरूप (isomorphic) दृश्य फ्रोबेनियस बीजगणित को प्रेरित कर सकते हैं।

परिणाम

• प्रमेय 4.7 (फ्रोबेनियस-एसिसेलिटी/Frobenius-acyclicity): एक पृथक दृश्य स्तर (separated visible stratum) पर, श्रेणीबद्ध कारण पर्याप्तता "टैंजेंट फ्रोबेनियस कम्यूटेटिविटी" के समकक्ष है, जिसका अर्थ है कि प्रत्येक दृश्य हस्तक्षेप क्षेत्र फ्रोबेनियस कॉपी/डिस्कार्ड संरचना को संरक्षित करता है, और दृश्य हस्तक्षेप वितरण इनवोल्यूटिव है।
• प्रमेय 6.7: तीन सूक्ष्म नियम (कौंटनिट इनवेरिएंस, कोप्रोडक्ट इंटरट्विनिंग, और ब्रैकेट क्लोजर) दृश्य कारण पर्याप्तता को अभिलक्षणिक (characterize) करते हैं।
• उपप्रमेय 6.8: फ्लैट केस (लुप्त कर्वेचर रेसिड्यूल) में, सूक्ष्म नियम शास्त्रीय विविक्त do-calculus रूपांतरणों में कम हो जाते हैं।
• प्रमेय 7.3: परिमित ग्राफिकल प्रस्तुतिकरणों से दृश्य फ्रोबेनियस/टैंजेंट डेटा तक का असाइनमेंट गैर-रूढ़िवादी (not conservative) है; गैर-समरूप प्रस्तुतिकरण एक ही दृश्य बीजगणितीय संरचना को प्रेरित कर सकते हैं।

महत्व और दावे
यह पत्र दावा करता है कि यह टैंजेंट कैटेगरी सेटिंग में do-calculus का पहला उपचार प्रदान करता है, जो ध्यान को ग्राफिकल सर्जरी से हटाकर सांख्यिकीय मैनिफोल्ड्स की डिफरेंशियल ज्योमेट्री पर केंद्रित करता है। इसका प्राथमिक महत्व निम्नलिखित में निहित है:

• ज्यामितीय इनवेरियंट्स (Geometric Invariants): "फ्रोबेनियस-डेरिवेटिव डिफेक्ट्स" और गैर-शून्य Lie brackets को लेटेंट कन्फाउंडिंग के आंतरिक ज्यामितीय हस्ताक्षरों के रूप में पहचानना, जो ग्राफ चयन से स्वतंत्र हैं।
• सिंगुलैरिटीज को संभालना: $\text{Stat}^\infty_{SCM}$ (बाह्य टैंजेंट बंडल) पर हस्तक्षेपों को सूत्रबद्ध करके, यह ढांचा उन सपोर्ट समस्याओं और सिंगुलैरिटीज से बचता है जो देखे गए चरों पर ग्लोबल घनत्व अनुपातों के माध्यम से 'हार्ड इंटरवेंशन' को परिभाषित करने में अक्सर आती हैं।
• मौलिक बदलाव (Foundational Shift): यह प्रस्तावित करता है कि कारण अनुमान (causal inference) को देखे गए सांख्यिकीय ऑब्जेक्ट के फ्रोबेनियस-अनुकूल सूक्ष्म इनवेरियंट्स से शुरू होना चाहिए, और किसी भी परिमित ग्राफिकल या बीजगणितीय सिंटैक्स (जैसे ग्राफ या इमेट्स) को इन इनवेरियंट्स के माध्यमिक प्रस्तुतिकरण के रूप में मानना चाहिए।

यह शोध पत्र स्पष्ट रूप से अपने दायरे को सब्सट्रेट के सूत्रीकरण, कान ट्रांसपोर्ट के संबंध, और तीन नियमों के कथन तक सीमित करता है। यह स्वीकार करता है कि पूर्ण कारण-पर्याप्तता सिद्धांत, फ्रोबेनियस-मार्कोव कोहोमोलॉजी सिद्धांत का निर्माण, और टैंजेंट डेटा से ग्राफिकल प्रस्तुतिकरण का फन्क्टरियल निष्कर्षण भविष्य के कार्य के लिए छोड़ दिया गया है।