On the construction and representation of social welfare orders satisfying consequentialist equity axioms

तकनीकी सारांश: परिणामवादी समता अभिधारणाओं (Consequentialist Equity Axioms) को संतुष्ट करने वाले सामाजिक कल्याण आदेशों के निर्माण और निरूपण पर

समस्या विवरण
यह शोध पत्र अनंत उपयोगिता धाराओं ($X = Y^{\mathbb{N}}$) पर सामाजिक कल्याण आदेशों (Social Welfare Orders - SWOs) के अस्तित्व और उनके स्पष्ट निर्माण के बीच मौलिक तनाव को संबोधित करता है जो परिणामवादी समता अभिधारणाओं (consequentialist equity axioms) को संतुष्ट करते हैं। विशेष रूप से, यह इस बात की जांच करता है कि क्या स्ट्रॉन्ग इक्विटी (Strong Equity - SE), हैमंड इक्विटी (Hammond Equity - HE), या पिगू-डालटन (Pigou–Dalton - PD) स्थानांतरण सिद्धांत को संतुष्ट करने वाले SWOs को गैर-रचनात्मक समुच्चय-सिद्धांत उपकरणों (non-constructive set-theoretic devices), जैसे कि चयन के सिद्धांत (Axiom of Choice - AC) या गैर-रामसे सेटों (non-Ramsey sets) की सहायता के बिना स्पष्ट रूप से निर्मित किया जा सकता है।

पूर्व साहित्य (जैसे, बॉसर्ट एट अल., 2007) ने गैर-रचनात्मक विधियों (शपिलरेन लेम्मा/Szpilrajn's Lemma) का उपयोग करके ऐसे SWOs के अस्तित्व को स्थापित किया था, जबकि हालिया कार्य (लॉवर्स, 2010; ज़ेम, 2007) ने पुष्टि की है कि कुछ संदर्भों में अस्तित्व के लिए गैर-रचनात्मक उपकरणों की आवश्यकता होती है। इसके अतिरिक्त, यह शोध पत्र उन डोमेन के बीच की सटीक सीमा को स्पष्ट करने का प्रयास करता है जहाँ स्पष्ट निर्माण संभव है और वे डोमेन जिन्हें गैर-रचनात्मक वस्तुओं की आवश्यकता होती है। इसके अलावा, यह पत्र एक वास्तविक-मान वाले सामाजिक कल्याण फलन (Social Welfare Function - SWF) के प्रतिनिधित्व के अस्तित्व और एक स्पष्ट रूप से परिभाषित SWO के अस्तित्व के बीच संबंध को स्पष्ट करने का प्रयास करता है।

कार्यप्रणाली
लेखक रचनात्मक क्रम सिद्धांत (constructive order theory) और समुच्चय-सिद्धांत असंभवता प्रमाणों (set-theoretic impossibility proofs) को संयोजित करने वाला एक द्वि-आयामी दृष्टिकोण अपनाता है:

1. रचनात्मक दृष्टिकोण (Constructive Approach): विशिष्ट डोमेन के लिए, यह पत्र लेक्सिकोग्राफिक वरीयता संबंधों (lexicographic preference relations) का उपयोग करके स्पष्ट SWOs का निर्माण करता है। महत्वपूर्ण रूप से, ये निर्माण सीधे पीढ़ियों (generations) पर लेक्सिकोग्राफिक क्रम लागू नहीं करते हैं (जो कि समता का उल्लंघन करेगा), बल्कि उपयोगिता धाराओं को बाइनरी थ्रेशोल्ड-उपयोगिता कोड (binary threshold-utility codes) में मैप करते हैं। ये कोड फिर उपयोगिता डोमेन $Y$ से प्राप्त एक सुव्यवस्थित सूचकांक (well-ordered index set) पर लेक्सिकोग्राफिक रूप से क्रमबद्ध किए जाते हैं।
2. गैर-रचनात्मक/असंभवता दृष्टिकोण (Non-Constructive/Impossibility Approach): गैर-रचनात्मक विधियों की आवश्यकता को स्थापित करने के लिए, यह पत्र गैर-रामसे संग्रहों (non-Ramsey collections) की अवधारणा का उपयोग करता है। प्राकृतिक संख्याओं के उपसमुच्चयों पर आधारित विशिष्ट उपयोगिता धाराओं का निर्माण करके और समता अभिधारणाओं को लागू करके, लेखक यह प्रदर्शित करता है कि कुछ "समृद्ध" डोमेन (विशेष रूप से वे जिनमें $\omega^*$ या $\mu$ प्रकार के क्रम वाले उपसमुच्चय शामिल हैं) पर इन अभिधारणाओं को संतुष्ट करने वाला एक SWO होने का अर्थ एक गैर-रामसे सेट का अस्तित्व होना है। चूंकि गैर-रामसे सेट गैर-रचनात्मक वस्तुएं हैं (जिनका अस्तित्व AC पर निर्भर करता है), यह सिद्ध करता है कि ऐसे डोमेन पर कोई भी स्पष्ट SWO मौजूद नहीं हो सकता है।
3. प्रतिनिधित्व विश्लेषण (Representation Analysis): यह पत्र एक SWF (एक वास्तविक-मान वाला मानचित्र) के अस्तित्व और एक SWO (एक बाइनरी संबंध) के अस्तित्व के बीच अंतर करता है। यह विशिष्ट डोमेन जैसे $[0, 1]$ पर गैर-प्रतिनिध्यता परिणामों को सिद्ध करने के लिए पृथक्करणीयता तर्कों (separability arguments - जैसे कि अनगिनत विच्छेदित अंतराल बनाना) का उपयोग करता है।

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

1. सकारात्मक निर्माण परिणाम (सुव्यवस्थित डोमेन/Well-Ordered Domains)

• प्रमेय 1: यदि उपयोगिता डोमेन $Y$ सामान्य क्रम द्वारा सुव्यवस्थित (well-ordered) है, तो $X = Y^{\mathbb{N}}$ पर एक स्पष्ट रूप से परिभाषित SWO मौजूद है जो स्ट्रॉन्ग पारेटो (Strong Pareto - SP), स्ट्रॉन्ग इक्विटी (SE), हैमंड इक्विटी (HE), और पिगू-डालटन (PD) सिद्धांत को संतुष्ट करता है।
• तंत्र: यह निर्माण धाराओं को $\bar{Y} = \{t \in Y : \exists s \in Y, t < s\}$ में थ्रेशोल्ड के आधार पर बाइनरी कोड में मैप करता है। क्रम $\bar{Y} \times \mathbb{N}$ के उत्पाद स्थान पर लेक्सिकोग्राफिक है, जो निचले थ्रेशोल्ड और फिर पीढ़ियों को प्राथमिकता देता है। यह विधि पूर्णता और संक्रामकता (transitivity) बनाए रखते हुए समता-संवेदनशील तुलनाओं को सुरक्षित रखती है।
• विस्तार: शोध पत्र कमजोर शर्तों के तहत केवल SE के लिए भी स्पष्ट SWO निर्माण प्रदान करता है: यदि संभावित "पूर्व-स्थानांतरण निर्धन" (pre-transfer poor) उपयोगिता स्तरों का सेट $L(Y)$ सुव्यवस्थित है, या यदि "पूर्व-स्थानांतरण धनी" (pre-transfer rich) स्तरों का सेट $U(Y)$ रिवर्स-वेल-ऑर्डर्ड है।

2. गैर-रचनात्मक निहितार्थ (समृद्ध अवरोही डोमेन/Rich Descending Domains)

• प्रमेय 2: एक डोमेन $Y$ पर, जिसमें $\omega^*$ (जैसे, ऋणात्मक पूर्णांक) प्रकार का उपसमुच्चय शामिल है, SE और एकदिष्टता (Monotonicity - M) को संतुष्ट करने वाला एक SWO होने का तात्पर्य एक गैर-रामसे संग्रह (non-Ramsey collection) के अस्तित्व से है।
• प्रमेय 2(b): इसी प्रकार, निरंतर अंतराल वाली घटती संरचना वाले डोमेन के लिए PD सिद्धांत और एकदिष्टता के संयोजन के लिए, एक SWO का अस्तित्व एक गैर-रामसे संग्रह को दर्शाता है।
• प्रस्ताव 4: $\mu$ क्रम प्रकार (जिसमें एक पूर्णांक-समान उपसमुच्चय शामिल है) के डोमेन के लिए, केवल SE (बिना दक्षता अभिधारणाओं के) को संतुष्ट करने वाला एक SWO होने का अर्थ भी एक गैर-रामसे संग्रह का अस्तित्व है। यह उन डोमेन की एक स्पष्ट श्रेणी की पहचान करता जहाँ SE रैंकिंग स्वाभाविक रूप से गैर-रचनात्मक होती है।

3. प्रतिनिधित्व बनाम निर्माण

• प्रस्ताव 1: यदि $Y$ गणनीय (countable) है, तो SE को संतुष्ट करने वाला एक वास्तविक-मान वाला SWF मौजूद है। हालाँकि, इसका प्रमाण शपिलरेन लेम्मा (आंशिक क्रमों का विस्तार) पर निर्भर है, जो इसे सामान्य रूप से गैर-रचनात्मक बनाता है।
• प्रस्ताव 2: यदि $Y = [0, 1]$ है, तो SE को संतुष्ट करने वाला कोई भी वास्तविक-मान वाला SWF मौजूद नहीं है। यह असंभवता SE के कारण ही उत्पन्न होती है, जो दक्षता अभिधारणाओं से स्वतंत्र है, क्योंकि यह वास्तविक रेखा में SE के सख्त क्रम को एम्बेड (embed) करने में असमर्थता (पृथक्करता तर्क के माध्यम से) के कारण है।
• भेद: यह पत्र इस बात पर प्रकाश डालता है कि स्पष्ट SWO निर्माण को स्वीकार करने वाला डोमेन (जैसे, सुव्यवस्थित $Y$) आवश्यक रूप से वह डोमेन नहीं है जो वास्तविक-मान वाले SWF प्रतिनिधित्व को स्वीकार करता है। इसके विपरीत, एक गणनीय डोमेन पर SWF के अस्तित्व का अर्थ यह गारंटी नहीं है कि उसके अंतर्निहित SWO का स्पष्ट निर्माण संभव है।

महत्व और दावे
यह शोध पत्र अंतर-पीढ़ीगत समता में प्रतिनिधित्व और निर्माण के बीच "सहसंबंध" की समझ को परिष्कृत करने का दावा करता है।

• सहसंबंध का पुनर्गठन: यह तर्क देता है कि पूर्व साहित्य, जो वास्तविक-मान वाले SWFs को स्वीकार करने वाले डोमेन और स्पष्ट रूप से निर्मित SWOs को स्वीकार करने वाले डोमेन के बीच समानता का सुझाव देता है, परिणामवादी समता अभिधारणाओं के लिए गलत है। डोमेन अभिधारणा-विशिष्ट होते हैं और $Y$ की क्रम-सैद्धांतिक संरचना पर निर्भर करते हैं।
• स्पष्ट बनाम गैर-स्पष्ट: परिणाम दर्शाते हैं कि सुव्यवस्थित डोमेन पर स्पष्ट SWO निर्माण संभव है, भले ही वहां वास्तविक-मान वाले प्रतिनिधित्व विफल हो जाते हैं (जैसे, SE+SP के साथ $Y=\mathbb{N}$ पर)। इसके विपरीत, पूर्णांक-समान डोमेन पर, किसी भी SWO (रचनात्मक या नहीं) का अस्तित्व गैर-रचनात्मक गणितीय वस्तुओं से जुड़ा हुआ है।
• नीतिगत प्रासंगिकता: शोध पत्र नोट करता है कि यदि किसी SWO को केवल गैर-रचनात्मक विधियों (AC) के माध्यम से अस्तित्व में दिखाया गया है, तो यह एक खुला प्रश्न बना रहता है कि क्या एक सामाजिक योजनाकार (social planner) उपयोगिता धाराओं के जोड़े को स्पष्ट रूप से रैंक कर सकता है। रचनात्मक परिणाम सुव्यवस्थित डोमेन पर स्पष्ट रैंकिंग के लिए एक ढांचा प्रदान करते हैं, जबकि गैर-रचनात्मक परिणाम ऐसे विशिष्ट संदर्भों में इन सामाजिक कल्याण आदेशों के व्यावहारिक कार्यान्वयन की सीमाओं को निर्धारित करते हैं।

संक्षेप में, यह पत्र स्थापित करता है कि जबकि सुव्यवस्थित डोमेन पर SE, HE और PD जैसे समता अभिधारणाओं को स्पष्ट रूप से निर्मित SWOs द्वारा संतुष्ट किया जा सकता है, घटते पूर्णांक-समान संरचनाओं वाले डोमेन पर उनकी संतुष्टि के लिए गैर-रचनात्मक गणितीय वस्तुओं की आवश्यकता होती है, जिससे उन विशिष्ट संदर्भों में ऐसे सामाजिक कल्याण आदेशों की व्यावहारिक कार्यान्वयन क्षमता सीमित हो जाती है।