On the stability of utilitarian aggregation

यहाँ लीएंड्रो नैसिमेंटो (अप्रैल 2026) के शोध पत्र "On the stability of utilitarian aggregation" का विस्तृत तकनीकी सारांश दिया गया है।

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

यह शोध पत्र हर्सानी (Harsanyi, 1955) के एकत्रीकरण प्रमेय (Aggregation Theorem) की सुदृढ़ता (robustness) को संबोधित करता है। हर्सानी का प्रमेय बताता है कि यदि एक सामूहिक उपयोगिता फलन ($u_0$) पारेतो सर्वसम्मति सिद्धांत (यदि सभी व्यक्ति $x$ को $y$ से बेहतर मानते हैं, तो समूह को भी $x$ को $y$ से बेहतर मानना चाहिए) और पारेतो उदासीनता सिद्धांत (यदि सभी उदासीन हैं, तो समूह भी उदासीन है) का पालन करता है, तो $u_0$ व्यक्तिगत वॉन न्यूमैन-मॉर्गनसेन (vN-M) उपयोगिताओं का एक रैखिक भारित योग (linear weighted sum) होना चाहिए:
$$u_0(x) = \sum_{i=1}^N a_i u_i(x) + b$$
जहाँ $a_i \geq 0$ है।

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

2. कार्यप्रणाली और ढांचा (Methodology and Framework)

सेटिंग (Setting)

• डोमेन (Domain): विकल्पों का सेट $X$, एक वास्तविक वेक्टर स्पेस का एक उत्तल (convex) उपसमुच्चय है।
• उपयोगिताएँ (Utilities): शोध पत्र vN-M उपयोगिताओं को मानता है, जिसका अर्थ है कि $u_0$ और $u_i$ अफ़ाइन मैपिंग (affine mappings) हैं (मिश्रणों को संरक्षित करते हैं: $u(\lambda x + (1-\lambda)y) = \lambda u(x) + (1-\lambda)u(y)$)।
• एजेंट (Agents): एक निर्णय निर्माता (DM) जिसकी उपयोगिता $u_0$ है और $N$ व्यक्ति जिनकी उपयोगिताएँ $u_1, \dots, u_N$ हैं।

अनुमानित पारेतो अभिधारणाएँ (Approximate Pareto Axioms)

लेखक $\epsilon$-पारेतो स्थितियों को पेश करते हैं, जहाँ $\epsilon \geq 0$ उल्लंघन की डिग्री को मापता है।

• $\epsilon$-सेमी-स्ट्रोंग पारेतो ($\epsilon$-Semistrong Pareto): यदि $u_i(x) \geq u_i(y)$ सभी $i$ के लिए, तो $u_0(x) \geq u_0(y) - \epsilon$।
  • व्याख्या: यदि सभी $x$ को पसंद करते हैं, तो DM $x$ को $y$ के सापेक्ष "निकट-इष्टतम" (near-optimal) मानता है, जिससे $\epsilon$ का एक छोटा उपयोगिता अंतराल (utility gap) संभव होता है।
• $\epsilon$-पारेतो उदासीनता ($\epsilon$-Pareto Indifference): यदि $u_i(x) = u_i(y)$ सभी $i$ के लिए, तो $|u_0(x) - u_0(y)| \leq \epsilon$।
• क्रमिक $\epsilon$-स्ट्रोंग पारेतो (Sequential $\epsilon$-Strong Pareto): एक अधिक मजबूत स्थिति जिसमें भारों को सुनिश्चित करने के लिए अनुक्रमों (sequences) के सीमाओं (limits) का उपयोग किया जाता है।

अनुमानित उपयोगितावादी एकत्रीकरण (Approximate Utilitarian Aggregation)

शोध पत्र $u_0$ को लगभग उपयोगितावादी के रूप में परिभाषित करता है यदि यह एक रैखिक एग्रीगेटर $w(x) = \sum a_i u_i(x) + b$ के करीब है। दो समतुल्य लक्षण दिए गए हैं:

1. दोलन सीमा (Oscillation Bound): $u_0(x) = \sum a_i u_i(x) + e(x)$, जहाँ त्रुटि पद $e$ का दोलन $\epsilon$ द्वारा सीमित है ($\omega_e(X) \leq \epsilon$)।
2. सुप्रीमम नॉर्म सीमा (Supremum Norm Bound): $u_0$, सुप्रीमम नॉर्म में एक उपयोगितावादी एग्रीगेटर से $\epsilon/2$ की दूरी पर है: $\|u_0 - w\|_\infty \leq \epsilon/2$।

3. मुख्य योगदान और परिणाम (Key Contributions and Results)

मुख्य प्रमेय (Main Theorems)

शोध पत्र पारेतो अभिधारणाओं के उल्लंघन और उपयोगितावादी एग्रीगेटर से दूरी के बीच संबंध स्थापित करने वाले समतुल्यता प्रमेयों को स्थापित करता है।

• प्रमेय 1 (द्वैत सूत्र - Duality Formula): निरंतर vN-M उपयोगिताओं और एक कॉम्पैक्ट डोमेन के तहत, सेमी-स्ट्रोंग पारेतो स्थिति के अधिकतम उल्लंघन और उपयोगितावादी एग्रीगेटर्स के न्यूनतम अंतर के बीच एक द्वैत (duality) मौजूद है।
  $$\min_{w \in W^+} \|u_0 - w\|_\infty = \frac{1}{2} \max \{ u_0(y) - u_0(x) : (x,y) \in V \}$$
  जहाँ $V$ उन जोड़ों का सेट है जहाँ व्यक्ति सर्वसम्मति से $x$ को पसंद करते हैं लेकिन DM $y$ को पसंद करता है (या उदासीन है)। यह सिद्ध करता है कि एकत्रीकरण में "त्रुटि" पारेतो उल्लंघन की अधिकतम तीव्रता का ठीक आधा है।

• प्रमेय 2 और 3 (सामान्य समतुल्यता):

  • प्रमेय 2: कॉम्पैक्ट सेटिंग्स में, $\epsilon$-सेमी-स्ट्रोंग पारेतो, $u_0$ के एक उपयोगितावादी एग्रीगेटर (गैर-ऋणात्मक भारों $W^+$ के साथ) के $\epsilon$-निकट होने के समतुल्य है।
  • प्रमेय 3: इस परिणाम को विस्तार तर्क और सीमा प्रक्रियाओं (limiting processes) का उपयोग करके सामान्य vN-M सेटिंग्स (बिना कॉम्पैक्टनेस की आवश्यकता के) में विस्तारित किया गया है। यह पुष्टि करता कि पारेतो सिद्धांतों के छोटे उल्लंघन, एकत्रीकरण नियमों को रैखिक के करीब रखते हैं।

• प्रमेय 4 (उदासीनता): $\epsilon$-पारेतो उदासीनता, $W$ (ऋणात्मक भारों की अनुमति देने वाले) में भारों के साथ लगभग उपयोगितावादी होने के समतुल्य है।

• प्रमेय 5 और 6 (धनात्मक भार): धनात्मक भारों ($W^{++}$) को सुनिश्चित करने के लिए, शोध पत्र क्रमिक $\epsilon$-स्ट्रोंग पारेतो को पेश करता है।

  • प्रमेय 5: क्रमिक $\epsilon$-स्ट्रोंग पारेतो, धनात्मक भारों के साथ लगभग उपयोगितावादी होने के समतुल्य है।
  • प्रमेय 6: जहाँ $X$ कई बिंदुओं (जैसे, परिमित लॉटरी) के उत्तल आवरण (convex hull) का उत्तल भाग है, वहाँ मानक $\epsilon$-स्ट्रोंग पारेतो पर्याप्त है (क्रमिक स्थिति की आवश्यकता नहीं है)।

विश्वास एकत्रीकरण पर अनुप्रयोग (Applications to Belief Aggregation)

शोध पत्र एंसकोम-ऑमन (Anscombe-Aumann) ढांचे (व्यक्तिगत अपेक्षित उपयोगिता) पर इन परिणामों को लागू करता है:

• प्रस्ताव 2 (Proposition 2): यदि व्यक्तियों की पसंद समान है (सीमा $\epsilon_1$ द्वारा) और DM $\epsilon_2$-संभावना प्रभुत्व (Likelihood Dominance) का पालन करता है, तो:
  1. DM का स्वाद फलन (taste function) व्यक्तिगत स्वादों के भारित योग के लगभग बराबर है।
  2. DM का संभाव्यता माप व्यक्तिगत पूर्वग्रहों (priors) का एक रैखिक संयोजन है ($P_0 \approx \sum \lambda_i P_i$)।
• महत्व: यह मोंगिन (Mongin, 1998) के परिणाम को शिथिल (relax) करता है, यह दिखाते हुए कि एक "संभाव्यता तानाशाह" (probability dictator) होना आवश्यक नहीं है यदि स्वाद पर्याप्त रूप से समान हैं और पारेतो स्थितियाँ अनुमानित हैं।

4. तकनीकी महत्व (Technical Significance)

1. हर्सानी के प्रमेय की स्थिरता (Stability of Harsanyi's Theorem): यह शोध पत्र एक मात्रात्मक स्थिरता (quantitative stability) परिणाम प्रदान करता है (इस संदर्भ में उलम के प्रश्न का उत्तर देता है)। यह सिद्ध करता है कि उपयोगितावादी एकत्रीकरण नियम पारेतो अभिधारणाओं के छोटे व्यवधानों के तहत स्थिर रहते हैं। आदर्श रैखिक रूप से विचलन, अभिधारणा उल्लंघन के परिमाण द्वारा रैखिक रूप से सीमित है।
2. द्वैत और मिनिमैक्स (Duality and Minimax): प्रमाण मुख्य रूप से उपयोगिता अंतर प्रोफाइल के स्थान में दक्षता समस्याओं के रूप में पारेतो स्थितियों का उपयोग करते हुए, मिनिमैक्स प्रमेय (Sion/Kneser) और उत्तल विश्लेषण (convex analysis) में द्वैत पर निर्भर करते हैं।
3. गलत विनिर्देश को संभालना (Handling Misspecification): यह ढांचा "सैटिसफाइसिंग" (satisficing) व्यवहार के लिए एक निर्णय-सैद्धांतिक औचित्य प्रदान करता है। यदि व्यक्तिगत प्राथमिकताएं अनिश्चित या गलत विनिर्देशित हैं, तो DM एक लगभग उपयोगितावादी नियम अपना सकता है बिना विशिष्ट पूर्वाग्रहों को विरासत में लिए।
4. अनंत आयामों तक विस्तार (Extension to Infinite Dimensions): जबकि मुख्य प्रमेय परिमित एजेंटों को संभालते हैं, चर्चा यह सुझाव देती है कि कैसे नॉर्मेड स्पेस में सर्वोत्तम सन्निकटन विधियों का उपयोग करके इन परिणामों को अनंत समाजों (Zhou, 1997) तक बढ़ाया जा सकता है, बशर्ते कॉम्पैक्टनेस की धारणाएं पूरी हों।

5. निष्कर्ष (Conclusion)

लीएंड्रो नैसिमेंटो का शोध पत्र कठोरता से प्रदर्शित करता है कि हर्सानी का एकत्रीकरण प्रमेय सुदृढ़ (robust) है। भले ही सख्त पारेतो सर्वसम्मति और उदासीनता सिद्धांतों का $\epsilon$ पैरामीटर द्वारा उल्लंघन किया जाता हो, परिणामी सामूहिक उपयोगिता फलन व्यक्तिगत उपयोगिताओं के भारित योग के करीब रहता है। विचलन सुप्रीमम नॉर्म में $\epsilon/2$ द्वारा सीमित है। यह उन व्यावहारिक सेटिंग्स में उपयोगितावादी एकत्रीकरण का उपयोग करने के लिए एक सैद्धांतिक आधार प्रदान करता है जहाँ प्राथमिकताएँ अनुमानित, शोर युक्त (noisy), या केवल आंशिक रूप से ज्ञात होती हैं।