प्रतितथ्यात्मक प्रश्न बिना पूर्ण कारणात्मक ग्राफ़ के: रैखिक प्रोग्रामिंग के माध्यम से सीमाएँ

कारणात्मक ग्राफ़ की आवश्यकता क्यों है — और यह अक्सर क्यों नहीं होता

प्रतितथ्यात्मक प्रश्न सरल लगते हैं: «अगर रोगी को कोई और उपचार मिला होता तो क्या होता», «अगर हम कीमत बढ़ाते तो मांग कैसे बदलती»। कठिनाई यह है कि इनका उत्तर केवल प्रेक्षित सहसंबंधों से नहीं निकाला जा सकता। चर एक-दूसरे को कैसे प्रभावित करते हैं, इसका एक मॉडल चाहिए — यानी कारणात्मक संरचना।

अपारदर्शी पहचान (nonparametric identification) साहित्य में पारंपरिक विधि यह है: पूरी तरह निर्दिष्ट कारणात्मक ग्राफ़ लें, तंत्रों के स्वरूप के बारे में अनुमान जोड़ें — और रुचि की मात्रा या उसकी स्वीकार्य सीमा की गणना करें। यह विश्वसनीय रूप से काम करता है, लेकिन उस विलासिता पर निर्भर है जो विश्लेषक के पास लगभग कभी नहीं होती। विषय-क्षेत्र आंशिक रूप से अध्ययनित है, कुछ संबंध विवादित हैं, कुछ चर मापे ही नहीं जाते। ऐसी स्थिति में पूरा ग्राफ़ प्रारंभिक बिंदु नहीं, बल्कि एक अप्राप्य आदर्श है।

सिद्धांत और व्यवहार के बीच इसी अंतर को एरिक रोसेट्टो और अलेस्सांद्रो एंटोनुची अपने लेख Partial Identification under Causal Orders by Linear Programming (arXiv:2608.24427) में भरने का प्रयास करते हैं। उनका कदम «ग्राफ़ को किसी तरह पूरा कर लेना» नहीं, बल्कि इनपुट पर उसे रखने की अनिवार्यता को ही छोड़ देना है।

प्रश्न स्वयं संरचना का संकेत देता है

लेखकों का मुख्य अवलोकन इस प्रकार कहा जा सकता है: प्रतितथ्यात्मक प्रश्न एक तटस्थ सवाल नहीं, बल्कि आंतरिक तर्क वाली एक वस्तु है। जब हम पूछते हैं «अगर चर X का मान x होता तो क्या होता», तो हम पहले से ही चरों को किसी संबंध में व्यवस्थित कर रहे होते हैं: एक दूसरे से पहले आता है, एक दूसरे पर निर्भर है, तीसरा पृष्ठभूमि शर्त बना रहता है।

इसे टोपोलॉजिकल क्रम के माध्यम से औपचारिक रूप दिया जाता है। सामान्य कारणात्मक ग्राफ़ में ऐसा क्रम पूर्णतः और अद्वितीय रूप से निर्धारित होता है: यदि A से B की ओर तीर है, तो A पहले आता है। लेकिन पहचान के लिए पूर्ण क्रमबद्धता की आवश्यकता नहीं है। आंशिक क्रम पर्याप्त है — «पहले» संबंधों का एक समुच्चय जो चरों के सभी युग्मों को कवर नहीं करता। शेष युग्म बस अक्रमित रह जाते हैं, और इससे काम नहीं बिगड़ता।

कार्य का केंद्रीय परिणाम यह है कि कोई भी प्रतितथ्यात्मक प्रश्न ठीक ऐसा ही — सामान्यतः आंशिक — टोपोलॉजिकल क्रम उन चरों पर उत्पन्न करता है जो उसमें शामिल हैं। और यह क्रम न अनुमान लगाकर निकालना होता है, न हाथ से डालना: यह प्रश्न के ही निरूपण से निकाला जाता है। क्षेत्र-विशेषज्ञ को अब असुविधाजनक प्रश्न «पूरा ग्राफ़ बनाइए» का उत्तर नहीं देना पड़ता; बस उस बात से सहमत होना पर्याप्त है जो समस्या की प्रस्तुति से ही निकलती है।

क्रम से रैखिक प्रोग्राम तक

आगे तकनीकी भाग शुरू होता है, जिसके लिए यह सब किया गया था। क्रम की उपस्थिति प्रश्न को स्पष्ट रूप से प्राचलित (parameterized) रूप में लिखने की अनुमति देती है। यहाँ प्राचल मनमाने नहीं, बल्कि संरचना के अधीन हैं: वे वितरणों और तंत्रों का ऐसा वर्णन करते हैं जो प्रेक्षित आंकड़ों और निकाले गए क्रम, दोनों से मेल खाए।

ऐसे पुनःप्राचलन के बाद पहचान की समस्या फलनों की समस्या होना बंद कर संख्याओं की समस्या बन जाती है। अर्थात् — एक रैखिक प्रोग्राम: रैखिक बाधाओं द्वारा परिभाषित समुच्चय पर एक रैखिक फलनक (functional) का न्यूनतम और अधिकतम ज्ञात करना। न्यूनतम और अधिकतम ही रुचि की मात्रा की निचली और ऊपरी सीमाएँ देते हैं।

यह संक्रमण केवल सुंदरता के कारण मूल्यवान नहीं है। रैखिक प्रोग्रामिंग एक सुअध्ययनित क्षेत्र है जिसमें विश्वसनीय हलकर्ता (solvers) उपलब्ध हैं, और समस्या को इस रूप में बदलने का अर्थ है कि सीमाओं की वास्तव में गणना की जा सकती है, केवल उनके अस्तित्व को सिद्ध नहीं किया जाता। यह योजना मनमाने प्रतितथ्यात्मक प्रश्नों के लिए काम करती है, जिनमें नेस्टेड प्रश्न भी शामिल हैं: वे, जिनमें काल्पनिक परिदृश्य के भीतर ही एक और काल्पनिक परिदृश्य होता है। नेस्टिंग सदा से मौजूदा विधियों के लिए सिरदर्द रही है, क्योंकि इसके लिए विश्व की कई «परतों» को एक साथ संबोधित करना पड़ता है।

सीमाएँ कितनी संकरी हैं

कुछ सीमाएँ प्राप्त करना कठिन नहीं है — प्रश्न यह है कि वे उपयोगी हैं या नहीं। यदि अंतराल मानों की लगभग पूरी कल्पनीय श्रेणी को ढक ले, तो उससे लाभ बहुत कम है।

लेखक इसका उत्तर सटीकता की उपपत्ति से देते हैं। रचना का विचार: प्रत्येक सीमा के लिए एक संरचनात्मक कारणात्मक मॉडल बनाया जाता है जो उसे प्राप्त करता है। ऐसा मॉडल एक साथ दो बातों से संगत होना चाहिए — प्रेक्षित आंकड़ा वितरण से और उस क्रम से जो प्रश्न निहित करता है। यदि मॉडल मौजूद है, तो सीमा कृत्रिम नहीं है: उपलब्ध सूचना के साथ संगति खोए बिना उसे भीतर की ओर खिसकाया नहीं जा सकता। अर्थात्, अंतराल उतना ही संकरा है जितना दिए गए अनुमानों के अंतर्गत संभव है।

यह परिणाम की स्थिति में एक महत्वपूर्ण बदलाव है। बात «अंगूठे के नियम से मोटे अनुमान» की नहीं है और न ही इसकी कि «सबसे बुरी स्थिति में कुछ भी हो सकता है»। बात अनिश्चितता के ईमानदार वर्णन की है: यह सब है जो कहा जा सकता है, और एक कदम भी अधिक नहीं।

शास्त्रीय ढाँचे से संबंध

यह कार्य स्वयं को Tian और Pearl द्वारा 2000 में कारणता की प्रायिकताओं के लिए प्रस्तावित दृष्टिकोण के सामान्यीकरण के रूप में प्रस्तुत करता है। वह ढाँचा भी बिंदु-अनुमानों के बजाय अंतराल दे सकता था, लेकिन वह मात्राओं के एक विशिष्ट वर्ग से बँधा था और ज्ञात संरचना की माँग करता था। नया परिणाम प्रश्नों के वर्ग का विस्तार करता है और ग्राफ़ को पूरा जानने की अनिवार्यता हटा देता है। इस निरंतरता को ध्यान में रखना उपयोगी है: हमारे सामने शून्य से कोई आविष्कार नहीं, बल्कि उसका सावधान विस्तार है जो समय की कसौटी पर पहले ही खरा उतर चुका है।

परिचित उदाहरणों पर परीक्षण

यह दिखाने के लिए कि विधि कोई विचित्रता नहीं है, लेखक साहित्य में पहले विश्लेषित कई प्रकरणों पर लौटते हैं और उन्हें अपनी प्रक्रिया से गुज़ारते हैं। प्रयोग की शर्त कठोर है: इनपुट पर कारणात्मक ग्राफ़ बिल्कुल नहीं दिया जाता। उसके बजाय — केवल वह क्रम जो प्रश्न के निरूपण से निकलता है।

शोधकर्ताओं द्वारा बताया गया परिणाम यह है कि प्राप्त अंतराल सूचनापूर्ण बने रहते हैं। दूसरे शब्दों में, पूरे ग्राफ़ का त्याग निष्कर्ष को अर्थहीन «सब कुछ संभव है» में नहीं बदल देता। यह शायद लेख का सबसे व्यावहारिक निष्कर्ष है: अज्ञान की कीमत उतनी ऊँची नहीं है जितनी आम तौर पर मानी जाती है।

यह व्यवहार के लिए क्या बदलता है

व्यावहारिक उपयोगिता कुछ बिंदुओं में सिमटती है।

• प्रवेश की सीमा घटती है। पूरे तंत्र का वर्णन करने की आवश्यकता नहीं — बस उस क्रम से सहमत होना पर्याप्त है जो समस्या की प्रस्तुति से वैसे भी निहित है।
• अनिश्चितता दृश्यमान हो जाती है। बिंदु-अनुमान के बजाय, जिसके पीछे मनमाने अनुमान छिपे होते हैं, विश्लेषक को एक अंतराल मिलता है और वह समझता है कि उसके ज्ञान की सीमा ठीक कहाँ है।
• एक उपकरण-आधार उपलब्ध होता है। रैखिक प्रोग्राम में परिवर्तन का अर्थ है कि गणना मानक साधनों से स्वचालित की जा सकती है, न कि प्रश्नों के प्रत्येक वर्ग के लिए अलग हलकर्ता लिखना पड़े।
• स्वीकार्य प्रश्नों का वर्ग विस्तृत होता है। नेस्टेड प्रतितथ्यात्मक संरचनाएँ, जिनके लिए पहले अलग सिद्धांत चाहिए था, सामान्य योजना में आ जाती हैं।

विधि क्या वादा नहीं करती

सीमाएँ भी रेखांकित कर लेनी चाहिए। पहला, आंशिक क्रम को फिर भी सही ढंग से निकालना होता है: यदि प्रश्न के निरूपण से गलत पूर्वता संबंध निकाला गया, तो सीमाओं की तर्कसंगति चली जाती है। दूसरा, अंतराल की चौड़ाई सीधे इस पर निर्भर करती है कि प्रेक्षित आंकड़े कितने समृद्ध हैं और कितने संबंध स्थिर किए जा सके: क्रम जितना विरल होगा, उत्तर उतना ही चौड़ा होगा। विधि विषय-क्षेत्र के ज्ञान का विकल्प नहीं है — यह अनुपस्थित पूर्ण के बजाय उसके खंडों के साथ काम करने देती है।

लेख का आयतन 15 पृष्ठ मुख्य पाठ का है, जिसके साथ तीन परिशिष्ट, तीन चित्र और तीन सारणियाँ संलग्न हैं, इसलिए उपपत्तियों का तकनीकी विवरण मुख्य प्रस्तुति से बाहर रखा गया है और अलग से उपलब्ध है। उन लोगों के लिए जो तंत्र के वर्णन में छेदों के साथ वास्तविक आंकड़ों पर कारणात्मक अनुमान लगाते हैं, यह शायद एक और बिंदु-अनुमान की तुलना में अधिक रोचक समाचार है, जिसके अनुमान अनकहे रह जाते हैं।