तकनीकी सारांश: आंशिक क्रम के साथ मतदान – बहुलता (Plurality) और प्रति-बहुलता (Anti-Plurality) वर्ग

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

यह शोध पत्र सामूहिक निर्णय लेने की समस्या को संबोधित करता है जब व्यक्तिगत प्राथमिकताएँ शास्त्रीय सामाजिक चयन सिद्धांत (social choice theory) में उपयोग किए जाने वाले मानक रैखिक क्रमों (linear orders - पूर्ण रैंकिंग) के बजाय कठोर आंशिक क्रमों (strict partial orders) के रूप में प्रस्तुत की जाती हैं। कई व्यावहारिक परिदृश्यों में, मतदाताओं से विकल्पों के एक बड़े सेट को पूरी तरह से रैंक करने की मांग करना अत्यधिक कठिन होता है। आंशिक क्रम मतदाताओं को कुछ जोड़ों के लिए स्पष्ट प्राथमिकताएं व्यक्त करने की अनुमति देते हैं जबकि वे अन्य के बीच उदासीन या तुलना करने में असमर्थ रह सकते हैं।

मुख्य चुनौती यह है कि प्रसिद्ध बहुलता नियम (सबसे अधिक बार शीर्ष-रैंक वाले विकल्प का चयन करना) और प्रति-बहुलता नियम (सबसे कम बार निचले-रैंक वाले विकल्प का चयन करना, जिसे वीटो भी कहा जाता है) को इस डोमेन में विस्तारित करना है। एक प्रमुख कठिनाई यह उत्पन्न होती है क्योंकि, एक आंशिक क्रम में, एक मतदाता के पास कई "शीर्ष" विकल्प (जिनमें से कोई भी उनसे श्रेष्ठ नहीं है) या कई "निचले" विकल्प (जिनमें से कोई भी उनके नीचे नहीं है) हो सकते हैं, और इन सेटों की संरचना मतदाताओं के बीच काफी भिन्न हो सकती है। यह शोध पत्र उन मतदान नियमों के प्राकृतिक वर्गों की पहचान करने का प्रयास करता है जो आंशिक क्रमों के लिए इन मानक नियमों का सामान्यीकरण करते हैं।

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

लेखक एक परिवर्तनशील निर्वाचक मंडल (variable electorates) के मॉडल के भीतर एक स्वयंसिद्ध दृष्टिकोण (axiomatic approach) का उपयोग करते हैं (जहाँ अनंत मतदाताओं के ब्रह्मांड के किसी भी परिमित उपसमुच्चय भाग ले सकते हैं)।

मॉडल

• विकल्प: एक परिमित सेट $A$ जिसमें $|A| = m \geq 3$ है।
• प्राथमिकताएं: एक कठोर आंशिक क्रम $\succ$ (अप्रतिवर्ती, प्रतिसममित, अनुक्रमिक)।
• प्रमुख सेट:
  • $T(\succ)$: शीर्ष विकल्पों का सेट (अधिकतम तत्व)।
  • $B(\succ)$: निचले तत्वों का सेट (न्यूनतम तत्व)।
  • $NT(\succ)$ और $NB(\succ)$: क्रमशः गैर-शीर्ष और गैर-निचले सेट।
• मतदान नियम: आंशिक क्रमों के प्रोफाइल को विजेता विकल्पों के गैर-रिक्त सेट में मैप करने वाले फलन।

स्कोरिंग नियम

शोध पत्र स्थितीय स्कोरिंग नियमों (positional scoring rules) पर ध्यान केंद्रित करता है, जहाँ एक विकल्प का स्कोर केवल प्राथमिकता ग्राफ में उसकी स्थिति पर निर्भर करता है। लेखक शीर्ष और निचले सेटों को स्कोर आवंटित करने के आधार पर नियमों के कई वर्ग परिभाषित करते हैं:

1. बहुलता वर्ग (Plurality Class): गैर-शीर्ष विकल्पों को एक स्थिर स्कोर $k'$ प्राप्त होता है, जबकि शीर्ष विकल्पों को $\geq k'$ स्कोर प्राप्त होता है, जिसमें कम से कम एक शीर्ष विकल्प को सख्ती से अधिक स्कोर मिलता है।
2. सरल बहुलता वर्ग (Simple Plurality Class): सभी शीर्ष विकल्पों को समान स्कोर $k$ प्राप्त होता है।
3. एकदिष्ट सरल बहुलता वर्ग (Monotonic Simple Plurality Class): शीर्ष सेट के आकार में कमी आने पर शीर्ष और गैर-शीर्ष विकल्पों के बीच स्कोर का अंतर बढ़ जाता है (अधिक "निर्णायक" शीर्ष रैंकिंग को पुरस्कृत करना)।
4. समान बहुलता नियम (Uniform Plurality Rule): एक विशिष्ट नियम जहाँ प्रत्येक शीर्ष विकल्प को 1 अंक मिलता है और प्रत्येक गैर-शीर्ष को 0 मिलता है।
5. प्रति-बहुलता वर्ग (Anti-Plurality Classes): निचले सेटों पर ध्यान केंद्रित करते हुए सममित रूप से परिभाषित, (गैर-निचले $k$ स्कोर प्राप्त करते हैं, और निचले $\leq k$ प्राप्त करते हैं)।

स्वयंसिद्ध (Axioms)

चरों का लक्षण वर्णन उन स्वयंसिद्धों पर निर्भर करता है जिनमें मानक स्वयंसिद्ध शामिल हैं जिन्हें आंशिक क्रमों के लिए अनुकूलित किया गया है और नए स्वयंसिद्ध भी जो 'अनुमोदन मतदान' (approval voting) से प्रेरित हैं:

• मानक: अनामिकता (Anonymity), तटस्थता (Neutrality), सुदृढ़ीकरण (Reinforcement/Consistency), और निरंतरता (Continuity)।
• उत्तरदायित्व (Responsiveness): आंशिक निष्ठा (Partial Faithfulness - एकल मतदाता शीर्ष चुनता है), निष्ठा (Faithfulness - एकल मतदाता ठीक शीर्ष चुनता है), आंशिक अरुचि (Partial Averseness - एकल मतदाता सभी निचले विकल्प नहीं चुनता है), अरुचि (Averseness - एकल मतदाता कोई निचला विकल्प नहीं चुनता है)।
• अनुरूपता (Congruity): T-अनुरूपता (ऐसे मतदाताओं को जोड़ने से कि $x$ को शीर्ष रैंक न दिया जाए, $x$ के जीतने से नहीं रोका जाना चाहिए) और B-अनुरूपता (ऐसे मतदाताओं को जोड़ने से कि $x$ को निचला रैंक न दिया जाए, $x$ के हारने से नहीं रोका जाना चाहिए)।
• संकुचन/विस्तार (Contraction/Expansion): इस पर नियंत्रण कि जब एक मतदाता अपने शीर्ष सेट को छोटा करता है या अपने निचले सेट का विस्तार करता है तो परिणाम कैसे बदलता है।
• तकनीकी गुण: केवल-शीर्ष (Tops-Only) और केवल-निचले (Bottoms-Only) (परिणाम केवल शीर्ष/निचले सेटों पर निर्भर करते हैं)।

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

स्कोरिंग नियमों का लक्षण वर्णन

प्रमेय 1 स्थापित करता है कि एक मतदान नियम अनामिकता, तटस्थता, सुदृढ़ीकरण और निरंतरता को संतुष्ट करता है यदि और केवल यदि वह एक स्थितीय स्कोरिंग नियम है। यह यंग (1975) के क्लासिक परिणाम को आंशिक क्रमों के डोमेन में अनुकूलित करता है।

बहुलता परिवार (The Plurality Family)

शोध पत्र बहुलता वर्गों के लिए स्वयंसिद्ध लक्षण वर्णन प्रदान करता है:

• प्रमेय 2: एक नियम बहुलता वर्ग से संबंधित है यदि और केवल यदि वह अनामिकता, तटस्थता, सुदृढ़ीकरण, निरंतरता, आंशिक निष्ठा और T-अनुरूपता को संतुष्ट करता है।
• उपप्रमेय 3: सरल बहुलता वर्ग को आंशिक निष्ठा को निष्ठा से बदलकर लक्षित किया जाता है।
• प्रमेय 4: एकदिष्ट सरल बहुलता वर्ग को सरल बहुलता वर्ग के स्वयंसिद्धों में संकुचन स्वयंसिद्ध को जोड़कर लक्षित किया जाता है।
• प्रमेय 6: समान बहुलता नियम को अनामिकता, तटस्थता, सुदृढ़ीकरण, आंशिक निष्ठा और मजबूत संकुचन द्वारा लक्षित किया जाता है। इसका प्रमाण यह दिखाने पर आधारित है कि मजबूत संकुचन 'केवल-शीर्ष' को दर्शाता है, जिससे समस्या रैखिक क्रम के मामले में बदल जाती है जहाँ सेकीगुची (2012) का लक्षण वर्णन लागू होता है।

प्रति-बहुलता परिवार (The Anti-Plurality Family)

प्रति-बहुलता वर्गों के लिए सममित परिणाम दिए गए हैं:

• प्रमेय 9: एक नियम प्रति-बहुलता वर्ग से संबंधित है यदि और केवल यदि वह अनामिकता, तटस्थता, सुदृढ़ीकरण, निरंतरता, आंशिक अरुचि और B-अनुरूपता को संतुष्ट करता है।
• उपप्रमेय 10: सरल प्रति-बहुलता वर्ग को आंशिक अरुचि को अरुचि से बदलकर लक्षित किया जाता है।
• प्रमेय 11: एकदिष्ट सरल प्रति-बहुलता वर्ग को विस्तार स्वयंसिद्ध को जोड़कर लक्षित किया जाता है।
• प्रमेय 13: समान प्रति-बहुलता नियम को अनामिकता, तटस्थता, सुदृढ़ीकरण, आंशिक अरुची और मजबूत विस्तार द्वारा लक्षित किया जाता है।

स्वयंसिद्धों की स्वतंत्रता

लेखक इन लक्षण वर्णनों में उपयोग किए गए स्वयंसिद्धों की तार्किक स्वतंत्रता (प्रस्ताव 7, 8, 14, 15) को एक-एक करके विफल होने वाले काउंटर-एग्जांपल नियमों का निर्माण करके प्रदर्शित करते हैं। विशेष रूप से, वे रेखांकित करते हैं कि आंशिक क्रम के सेटिंग में बहुलता और प्रति-बहुलता वर्गों के लक्षण वर्णन के लिए निरंतरता (Continuity) आवश्यक है, जबकि रैखिक क्रम के मानक बहुलता नियम (जैसे चिंग, 1996) के लिए यह अक्सर अनावश्यक होती है। यह आवश्यकता इसलिए उत्पन्न होती है क्योंकि आंशिक क्रमों में शीर्ष/निचले सेटों की परिवर्तनशील संरचनाएं T-अनुरूपता और संकुचन जैसे स्वयंसिद्धों को निरंतरता के बिना कम प्रतिबंधात्मक बनाती हैं।

अनुमोदन मतदान (Approval Voting) पर अनुप्रयोग

शोध पत्र दिखाता है कि उनके परिणाम अनुमोदन मतदान पर लागू होते हैं, जहाँ एक मतपत्र एक आंशिक क्रम है जिसमें विलगित (disjoint) शीर्ष और निचले सेट हैं जो सभी विकल्पों को कवर करते हैं ($T(\succ) \cap B(\succ) = \emptyset$ और $T(\succ) \cup B(\succ) = A$)।

• उपप्रमेय 16: आकार अनुमोदन मतदान नियम (जहाँ स्कोर अनुमोदन सेट के आकार पर निर्भर करता है) को एकदिष्ट सरल बहुलता वर्ग के स्वयंसिद्धों (आंशिक निष्ठा के साथ) द्वारा लक्षित किया जाता है।
• उपप्रमेय 17 और 18: मानक अनुमोदन मतदान नियम को क्रमशः समान बहुलता और समान प्रति-बहुलता नियमों के स्वयंसिद्धों द्वारा लक्षित किया जाता है।
• उपप्रमेय 19: "एंटी-साइज" अनुमोदन नियम (बड़े अनुमोदन सेटों का पक्ष लेने वाले) को एकदिष्ट सरल प्रति-बहुलता स्वयंसिद्धों द्वारा लक्षित किया जाता है।

4. महत्व और दावे

शोध पत्र का दावा है कि यह आंशिक क्रमों के डोमेन के लिए बहुलता-समान और प्रति-बहुलता-समान नियमों का पहला स्वयंसिद्ध लक्षण वर्णन प्रदान करता है। इसका महत्व निम्नलिखित में निहित है:

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

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