What aggregation rules can be classified as logical concepts?

यहाँ निकोलाई एल. पोल्याकोव के शोध पत्र "कौन से एकत्रीकरण नियम तार्किक अवधारणाओं के रूप में वर्गीकृत किए जा सकते हैं?" का विस्तृत तकनीकी सारांश दिया गया है।

1. समस्या विवरण

यह शोध पत्र सामाजिक चयन सिद्धांत (Social Choice Theory) के एक मौलिक प्रश्न को संबोधित करता है: कौन से एकत्रीकरण नियम (aggregation rules) एक "तार्किक" प्रकृति रखते हैं?

जबकि मानक असंभवता प्रमेय (जैसे ऐरो का प्रमेय) यह सुझाव देते हैं कि व्यापक परिस्थितियों में गैर-तानाशाही एकत्रीकरण नियम सामान्यतः असंभव हैं, लेखक एक विशिष्ट वर्ग की पहचान करने का प्रयास करते हैं जो "तार्किक" हैं। अल्फ्रेड टार्स्की की तार्किक धारणा (जो विमर्श के ब्रह्मांड के सभी क्रमपरिवर्तनों के तहत अपरिवर्तनीय धारणाओं) का उपयोग करते हुए, लेखक का तर्क है कि एक एकत्रीकरण नियम तब "तार्किक" होता है जब वह गैर-तुच्छ, सममित प्रतिबंधित डोमेन (non-trivial, symmetric restricted domains) पर प्रभावी ढंग से कार्य करता है।

मुख्य समस्या उन एकत्रीकरण नियमों $f: C^n \to C$ को लक्षणित करने की है जो एक सममित गैर-तुच्छ अपरिवर्तनीय सेट (वरीयताओं के डोमेन) को संरक्षित करते हैं, और उन्हें "तुच्छ" नियमों (जो केवल खाली या असंगत सेटों को संरक्षित करते हैं) और "तानाशाही" नियमों से अलग करते हैं।

2. कार्यप्रणाली

लेखक एक यूनिवर्सल अल्जेब्रिक दृष्टिकोण का उपयोग करते हैं, विशेष रूप से विविक्त फलनों के बंद वर्गों (clones) के सिद्धांत और पोस्ट के वर्गीकरण प्रमेय का।

• मॉडल परिभाषा: शोध पत्र व्यक्तिगत चुनाव के मॉडल को एक चतुष्ट्फलक $(A, B, C, *)$ के रूप में परिभाषित करता है, जहाँ $A$ विकल्पों का सेट है, $B$ शर्तों का सेट है (जैसे, विकल्पों के जोड़े), $C$ चुनाव फलनों का सेट है, और $*$ $A$ के क्रमपरिवर्तन समूह को $B$ के क्रमपरिवर्तन समूह में समाहित करता है।
• तार्किकता मानदंड: एक एकत्रीकरण नियम को तब "तार्किक" माना जाता है यदि गैर-तुच्छ अपरिवर्तनीय सेटों $\mathcal{D}$ का एक सममित वर्ग मौजूद है, जहाँ $D \subseteq C$ है, और नियम प्रत्येक सेट में $\mathcal{D}$ को संरक्षित करता है।
  • तुच्छ सेट वे हैं जहाँ सभी फलन शर्तों के एक विशिष्ट उपसमुच्चय पर एकमत होते हैं (अर्थात, नियम के बावजूद परिणाम को स्थिर रखते हैं)।
  • सममित सेट वे हैं जो विकल्पों के क्रमपरिवर्तन के तहत बंद (closed) होते हैं।
• 2-Clones में न्यूनीकरण: विशेष रूप से स्थानीय एकत्रीकरण नियमों (local aggregation rules) के मामले के लिए (जहाँ जोड़ों पर सामूहिक चुनाव केवल उन जोड़ों पर व्यक्तिगत चयनों पर निर्भर करता है), लेखक एकत्रीकरण नियमों और रूढ़िवादी 2-कार्यों (conservative 2-functions) (वे फलन जो विकल्पों के जोड़ों पर परिभाषित होते हैं और एक इनपुट को वापस करते हैं) के बीच एक एकरूपता (bijection) स्थापित करते हैं।
• बीजगणितीय उपकरण: प्रमाण निम्नलिखित पर आधारित है:
  • Clones: फलनों के ऐसे सेट जो संयोजन (composition) के तहत बंद हैं और जिनमें प्रोजेक्शन शामिल हैं।
  • Symmetric Clones: वे क्लोन जो डोमेन के क्रमपरिवर्तन के तहत अपरिवर्तनीय हैं।
  • Post's Lattice: Boolean फंक्शन क्लोन का वर्गीकरण, जिसे $k$-मान वाले तर्क और 2-कार्यों के संदर्भ में विस्तारित किया गया है।

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

A. सबसे सरल मामला: $\mathcal{C}_2(A)$

शोध पत्र उस मॉडल पर ध्यान केंद्रित करता है जहाँ $B$ सेट $A$ के सभी 2-तत्वों वाले उपसमुच्चयों (जोड़ों) का सेट है, और $C$ इन जोड़ों पर सभी चुनाव फलनों का सेट है। मुख्य परिणाम प्रमेय 1 है, जो परिमित सेट $A$ के लिए पूर्ण वर्गीकरण प्रदान करता है जहाँ $5 \le |A| < \omega$ है।

प्रमेय 1 (तुल्यता स्थितियाँ):
$\mathcal{C}_2(A)$ पर एक स्थानीय एकत्रीकरण नियम $f$ के लिए, जहाँ $|A| \ge 5$ है, निम्नलिखित तुल्य हैं:

1. $f$ के पास एक गैर-तुच्छ सममित तर्कसंगत अपरिवर्तनीय सेटों का वर्ग है।
2. $f$ के पास एक गैर-तुच्छ सममित अपरिवर्तनीय सेटों का वर्ग है (अर्थात, $f$ तटस्थ/neutral है)।
3. $f$ तटस्थ (neutral) है (विकल्पों के क्रमपरिवर्तन के तहत अपरिवर्तनीय)।
4. $f$ निम्नलिखित चार विशिष्ट नियमों में से एक के अपरिवर्तनीय रूप से तुल्य (invariantly equivalent) है:
   • $\delta$: तानाशाही (projection)।
   • $\mu$: बहुमत नियम (majority rule)।
   • $\nu$: एक विशिष्ट निर्णायक गठबंधन संरचना (एजेंट 2 और 3 बनाम एजेंट 1) पर आधारित नियम।
   • $\lambda$: एक "गिनती-बाहर करने वाले" (counting-out) खेल जैसा दिखने वाला नियम (विषम संख्या में गैर-डमी एजेंटों के लिए)।

मुख्य अंतर्दृष्टि: एक गैर-तुच्छ सममित अपरिवर्तनीय डोमेन का अस्तित्व एकत्रीकरण नियम को तटस्थ (neutral) होने के लिए बाध्य करता है। इसके विपरीत, सभी स्थानीय तटस्थ नियम उनके अपरिवर्तनीय सेटों के संबंध में इन चार तुल्यता वर्गों में से एक में आते हैं।

B. यूनिवर्सल अलजेब्रा के माध्यम से वर्गीकरण (प्रमेय 2)

प्रमाण प्रमेय 2 पर निर्भर करता है, जो सेट $A$ ($|A| \ge 5$) पर सममित रूढ़िवादी 2-क्लोन का वर्गीकरण करता है।

• ऐसा प्रत्येक क्लोन या तो विशिष्ट Boolean क्लोन ($O_1, D_1, D_2, L_4, A_4, C_4$) का एक मुक्त विस्तार (free extension) है या एक आश्रित विस्तार (dependent extension) है।
• "तार्किक" नियम विशेष रूप से स्व-द्वैत (self-dual) Boolean क्लोन ($O_1, D_1, D_2, L_4$) के अनुरूप हैं, जो प्रमेय 1 में वर्णित चार नियमों ($\delta, \nu, \mu, \lambda$) से मेल खाते हैं।

C. सीमा स्थितियाँ और प्रति-उदाहरण

यह शोध पत्र उन मामलों का कठोरता से विश्लेषण करता है जहाँ वर्गीकरण विफल हो जाता है:

• $|A| < 5$: प्रमेय लागू नहीं होता है।
  • $|A|=2$ के लिए, कोई गैर-तुच्छ सेट नहीं है।
  • $|A|=3$ और $|A|=4$ के लिए, गैर-तटस्थ स्थानीय नियम सममित गैर-तुच्छ अपरिवर्तनीय रख सकते (प्रति-उदाहरण विशिष्ट Cayley तालिकाओं का उपयोग करके बनाए गए हैं)।
• अनंत सेट: परिणाम अनंत $A$ के लिए भिन्न होते हैं (संदर्भ [27])।
• उच्च क्रम ($r > 3$): आकार $r > 2$ के उपसमुच्चयों के लिए चुनाव फलनों के लिए, स्थानीय एकत्रीकरण नियमों में आम तौर पर सममित अपरिवर्तनीय नहीं होते हैं (संदर्भ [7, 16]), जो यह सुझाव देता है कि "तार्किक" प्रकृति इस संदर्भ में युग्म-वार (pairwise) अंतःक्रियाओं के लिए विशिष्ट है।

4. महत्व और निहितार्थ

1. तर्क और सामाजिक चयन का मिलन: शोध पत्र तटस्थता (neutrality) और सममिति (symmetry) से जोड़कर एकत्रीकरण नियमों की सहज "तार्किक" धारणा को सफलतापूर्वक औपचारिक रूप देता है। यह प्रदर्शित करता है कि सामाजिक चयन में तार्किकता केवल एक दार्शनिक अवधारणा नहीं है, बल्कि एक गणितीय रूप से कठोर गुण है जिसे सममित, गैर-तुच्छ डोमेन के संरक्षण द्वारा परिभाषित किया गया है।
2. असंभवता प्रमेयों का परिशोधन: जबकि ऐरो का प्रमेय बताता है कि तर्कसंगत वरीयताओं के लिए केवल तानाशाही नियम ही काम करते हैं, यह शोध पत्र दिखाता है कि यदि हम आवश्यकता को "तर्कसंगतता" से हटाकर "तार्किकता" (सममित अपरिवर्तनीयता) पर केंद्रित करते हैं, तो एक छोटा, सुपरिभाषित गैर-तानाशाही नियमों का वर्ग (बहुमत, $\nu, \lambda$) उभर कर आता है।
3. बीजगणितीय लक्षण वर्णन: यह कार्य Post के वर्गीकरण और क्लोन सिद्धांत का उपयोग करके एकत्रीकरण नियमों को वर्गीकृत करने के लिए एक शक्तिशाली विधि प्रदान करता है। यह जटिल सामाजिक चयन समस्याओं को विविक्त फलनों के बंद वर्गों के वर्गीकरण में बदल देता है।
4. विरोधाभासी नियम: विश्लेषण यह उजागर करता है कि "तार्किक" नियमों में स्पष्ट रूप से विरोधाभासी तंत्र (जैसे नियम $\lambda$, जो बच्चों के गिनती-बाहर करने वाले खेल की तरह कार्य करता है) शामिल हो सकते हैं, जो यह सुझाव देता है कि तार्किकता की गणितीय परिभाषा सहज निष्पक्षता से अधिक व्यापक है।

निष्कर्ष

पोल्याकोव निष्कर्ष निकालते हैं कि विकल्पों के परिमित सेटों के लिए जिनका कार्डिनैलिटी (cardinality) 5 या उससे अधिक है, तार्किक एकत्रीकरण नियम सटीक रूप से स्थानीय और तटस्थ नियम हैं। ये नियम विशिष्ट स्व-द्वैत Boolean फलनों से प्राप्त चार तुल्यता वर्गों तक संरचनात्मक रूप से सीमित हैं। यह परिणाम शास्त्रीय सामाजिक चयन सिद्धांत के व्यापक असंभवता परिणामों के विपरीत, एक प्रतिबंधित लेकिन तार्किक रूप से महत्वपूर्ण डोमेन के भीतर एक "संभावना प्रमेय" (possibility theorem) प्रस्तुत करता है। प्रस्तुत यूनिवर्सल अल्जेब्रिक ढांचा इन परिणामों को अधिक जटिल मॉडलों तक विस्तारित करने के लिए एक आशाजनक मार्ग प्रदान करता है, हालांकि लेखक नोट करते हैं कि उच्च-क्रम वाले चुनाव फलनों के लिए महत्वपूर्ण संयोजन संबंधी चुनौतियाँ शेष हैं।