Proportional Committee Elections with Positive and Negative Votes

=== तकनीकी सारांश: सकारात्मक और नकारात्मक मतों के साथ आनुपातिक समिति चुनाव ===

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

यह शोध पत्र आनुपातिक समिति चुनावों (proportional committee elections) की समस्या को संबोधित करता है, जहाँ मतदाता सकारात्मक मत (अनुमोदन), नकारात्मक मत (असहमति/वीटो), या तटस्थ रहने की अभिव्यक्ति कर सकते हैं। जबकि आनुपातिक प्रतिनिधित्व क्लासिक अप्रूवल वोटिंग (जहाँ मतदाता केवल उम्मीदवारों का अनुमोदन करते हैं) में एक अच्छी तरह से अध्ययन किया गया विषय है, नकारात्मक मतों का समावेश महत्वपूर्ण वैचारिक और तकनीकी चुनौतियाँ उत्पन्न करता है।

मुख्य कठिनाई यह परिभाषित करने में है कि नकारात्मक मतों के माध्यम से उम्मीदवारों को ब्लॉक करने की शक्ति होने पर आनुपातिकता (proportionality) को कैसे परिभाषित किया जाए। एक सीधा दृष्टिकोण, जैसे कि शुद्ध अनुमोदन स्कोर (अनुमोदन घटा नकारात्मक अनुमोदन) के आधार पर उम्मीदवारों का चयन करना, निष्पक्ष प्रतिनिधित्व प्रदान करने में विफल रहता है। जैसा कि शोध पत्र के प्रेरक उदाहरण में दर्शाया गया है, एक सरल शुद्ध-स्कोर नियम ऐसे उम्मीदवारों को चुन सकता है जिसका एक बड़ा अल्पसंख्यक कड़ा विरोध करता है, या इसके विपरीत, उन उम्मीदवारों को चुनने में विफल हो सकता है जिनका एक अल्पसंख्यक समर्थन करता है क्योंकि बहुमत की असहमति अल्पसंख्यक के अनुमोदन को कम कर देती है। यह शोध पत्र इस त्रिपक्षीय (ternary) वोटिंग सेटिंग में आनुपातिकता को औपचारिक रूप देने और मानक मतदान नियमों (Phragmén's rule, Proportional Approval Voting (PAV), और Method of Equal Shares (MES)) का इन नई स्थितियों के तहत मूल्यांकन करने का प्रयास करता है।

2. कार्यप्रणाली और ढांचा

लेखक नकारात्मक मतों के अर्थ की व्याख्या करने के लिए दो अलग-अलग उपयोगिता मॉडलों (utility models) का प्रस्ताव करते हैं, जो आनुपातिकता की विभिन्न अक्षिगत (axiomatic) परिभाषाओं और नियम अनुकूलनों की ओर ले जाते हैं।

2.1 सममित उपयोगिता मॉडल (The Symmetric Utility Model)

इस मॉडल में, एक मतदाता एक अनुमोदित उम्मीदवार को चुनने और एक अस्वीकृत उम्मीदवार को बाहर करने से समान उपयोगिता प्राप्त करता है।

• औपचारिकीकरण: लेखक प्रत्येक वास्तविक उम्मीदवार $c$ के लिए "आभासी नकारात्मक उम्मीदवारों" ($\neg c$) को पेश करते हैं। एक व्यवहार्य परिणाम के लिए प्रत्येक उम्मीदवार के लिए $\{c, \neg c\}$ में से ठीक एक को चुनना आवश्यक है, इस प्रतिबंध के अधीन कि अधिकतम $k$ सकारात्मक उम्मीदवारों को चुना जा सकता है।
• आनुपातिकता अभिलेख (Proportionality Axioms): शोध पत्र मतदाताओं के एक समूह $S$ के लिए $\ell$-कोहेसिवनेस ($\ell$-cohesiveness) को परिभाषित करता है। एक समूह $\ell$-कोहेसिव है यदि मतदाताओं की कुल संख्या के सापेक्ष उसका आकार, दोनों सामान्य रूप से अनुमोदित उम्मीदवारों ($A_S$) और सामान्य रूप से अस्वीकृत उम्मीदवारों ($D_S$) से प्राप्त "सामान्य संतुष्टि" के आनुपातिक हिस्से को न्यायसंगत बनाता है।
  • प्रपोर्शनल जस्टिफाइड रिप्रेजेंटेशन (PJR): यह सुनिश्चित करता है कि समूह समग्र रूप से प्रतिनिधित्व का एक आनुपातिक हिस्सा प्राप्त करता है।
  • आनुपातिकता की डिग्री (Proportionality Degree): समूह के लिए उच्च औसत संतुष्टि की गारंटी देता है।
• नियम अनुकूलन:
  • Phragmén's Rule: इसे मतदाताओं को अपने संचित बजट का उपयोग किसी उम्मीदवार को चुनने या किसी उम्मीदवार को वीटो करने (उसके नकारात्मक समकक्ष को खरीदने) के लिए खर्च करने की अनुमति देने के लिए अनुकूलित किया गया है।
  • Proportional Approval Voting (PAV): इसे कुल "संतुष्ट" उम्मीदवारों (चाहे वे निर्वाचित सकारात्मक हों या बहिष्कृत नकारात्मक) के आधार पर हार्मोनिक स्कोर के योग को अधिकतम करने के लिए अनुकूलित किया गया है।

2.2 असममित उपयोगिता मॉडल (The Asymmetric Utility Model)

इस मॉडल में, मतदाता मुख्य रूप से निर्वाचित उम्मीदवारों द्वारा प्रतिनिधित्व दिए जाने की परवाह करते हैं। असहमति केवल अवांछित उम्मीदवारों के चुनाव को बाधित करने का कार्य करती है, लेकिन यह पसंदीदा एक को चुनने के बराबर प्रत्यक्ष उपयोगिता उत्पन्न नहीं करती है।

• औपचारिकीकरण: सकारात्मक और नकारात्मक मतों को अलग-अलग माना जाता है। प्रतिनिधित्व का अधिकार, रोकने के अधिकार से भिन्न है।
• आनुपातिकता अभिलेख:
  • Extended Justified Positive Representation (EJPR) / PJPR: यह मानक EJR/PJR के समान है, लेकिन विरोधी मतदाताओं की उपस्थिति के लिए समायोजित है। एक समूह $S$, $\ell$-पॉजिटिवली-कोहेसिव ($\ell$-positively-cohesive) है यदि वह $\ell$ प्रतिनिधि दावा करने के लिए विरोधी मतदाताओं की वीटो शक्ति को पार करने के लिए पर्याप्त बड़ा है।
  • ग्रुप वीटो (Group Veto): एक नया अभिलेख जो यह सुनिश्चित करता है कि यदि एक पर्याप्त बड़ा समूह उम्मीदवारों के एक सेट $T$ का विरोध करता है, तो $T$ से निर्वाचित उम्मीदवारों की संख्या सीमित रहती है।
• नियम अनुकूलन:
  • Tax-MES और Tax-Phragmén: ये नियम एक "विरोध कर" (opposition tax) पेश करते हैं। एक उम्मीदवार $c$ को चुनने की लागत उसके समर्थकों और विरोधियों के अनुपात के आधार पर बढ़ जाती है ($p(c) = |A_c| / (|A_c| - |D_c|)$)। यह समर्थकों के लिए उन उम्मीदवारों को चुनना अधिक महंगा बनाता है जिनका कड़ा विरोध होता है, जिससे नकारात्मक मतों के प्रभाव को प्रभावी ढंग से संतुलित किया जाता है।

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

3.1 सममित उपयोगिता मॉडल में परिणाम

• Phragmén's Rule: लेखक सिद्ध करते हैं कि अनुकूलित Phragmén's rule PJR को संतुष्ट करता है और दृढ़ $\ell$-कोहेसिव समूहों के लिए आनुपातिकता की डिग्री (औसत संतुष्टि) की मजबूत गारंटी प्रदान करता है। यह नियम बहुपद समय (polynomial time) में चलता है।
• Proportional Approval Voting (PAV): शोध पत्र एक तकनीकी प्रमाण प्रदान करता है कि PAV लगभग इष्टतम आनुपातिकता गारंटी प्रदान करता है। विशेष रूप से, किसी भी $\ell$-कोहेसिव समूह के लिए, औसत संतुष्टि कम से कम $(1 - \epsilon)\ell - 3/2$ है, जहाँ $\epsilon$ एक छोटा पद है जो $k$ पर निर्भर करता है।
  • टाइटनेस (Tightness): लेखक एक प्रति-उदाहरण (counterexample) के माध्यम से प्रदर्शित करते हैं कि योगात्मक स्थिरांक (additive constant) $3/2$ आवश्यक है; PAV इस सेटिंग में $\ell - 1$ की औसत संतुष्टि की गारंटी नहीं दे सकता है।
• परिणाम-प्रासंगिक वीटो (Outcome-Relevant Vetoes): लेखक एक ऐसी घटना की पहचान करते हैं जहाँ मतदाता उन उम्मीदवारों को ब्लॉक करने के लिए अपना प्रभाव "खर्च" कर सकते हैं जिनका जीतने की कोई संभावना नहीं थी, जिससे अनजाने में उनके पसंदीदा उम्मीदवारों को चुनने की क्षमता कम हो जाती है। वे इसे संबोधित करने के लिए काउंटरफैक्चुअल वीटो डिलीशन (CVD) और मैक्सिमल वीटो डिलीशन (MVD) का प्रस्ताव करते हैं। वे दिखाते हैं कि मानक PAV और Phragmén "काउंटरफैक्चुअल रूप से स्थिर" नहीं हैं (अर्थात, वे स्वाभाविक रूप से इन डिलीशन गुणों को संतुष्ट नहीं करते हैं), लेकिन वे बर्बाद हुए वीटो प्रभाव को कम करने के लिए अनुक्रमिक शोधन (जैसे, Sequential Counterfactual Phragén) का प्रस्ताव करते हैं।

3.2 असममित उपयोगिता मॉडल में परिणाम

• Tax-MES और Tax-Phragmén: लेखक दिखाते हैं कि विरोध कर के साथ MES और Phragmén को अनुकूलित करने से वे EJPR (Tax-MES के लिए) या PJPR (Tax-Phragmén के लिए) को Group Veto अभिलेख के साथ एक साथ संतुष्ट कर सकते हैं।
• Thiele Rules के लिए असंभवता: एक महत्वपूर्ण नकारात्मक परिणाम प्रस्तुत किया गया है। लेखक सिद्ध करते हैं कि कोई भी सामान्यीकृत Thiele नियम (जिसमें PAV शामिल है) EJPR को संतुष्ट करते हुए और नकारात्मक मतों का सम्मान करते हुए (अर्थात, Group Veto जैसी नकारात्मक गारंटी प्रदान करते हुए) संभव नहीं है। इसका तात्पर्य यह है कि PAV को प्राकृतिक रूप से असममित सेटिंग में दोनों सकारात्मक और नकारात्मक निष्पक्षता मानदंडों को एक साथ संतुष्ट करने के लिए विस्तारित नहीं किया जा सकता है।

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

शोध पत्र का दावा है कि यह सकारात्मक और नकारात्मक दोनों मतों के साथ समिति चुनावों में आनुपातिक प्रतिनिधित्व के लिए सैद्धांतिक गारंटी प्रदान करने वाला पहला कार्य है। इस क्षेत्र में पिछला कार्य (जैसे, टलमोन और पेज) सिमुलेशन पर निर्भर था और मानक नियमों के अभिलेखीय संतुष्टि (axiomatic satisfaction) को स्थापित नहीं कर सका।

लेखक इस बात पर जोर देते हैं कि उनका कार्य इस बात पर प्रकाश डालता है कि नकारात्मक मतों की व्याख्या कैसे की जानी चाहिए:

1. सममित (Symmetric): जहाँ अवरुद्ध करना (blocking) चुनने के समान मूल्यवान है। यह विचारों को एकत्रित करने (जैसे, कथनों या नीतियों का चयन करना) के लिए उपयुक्त है।
2. असममित (Asymmetric): जहाँ अवरुद्ध करना एक रक्षात्मक तंत्र है, लेकिन प्रतिनिधित्व प्राथमिक लक्ष्य है। यह प्रतिनिधियों को चुनने (जैसे, सहभागी बजट या विधायी निकायों) के लिए उपयुक्त है।

शोध पत्र निष्कर्ष निकालता है कि बाइनरी अप्रूवल बैलट से आगे बढ़ने से वास्तव में नए आनुपातिकता प्रश्न उत्पन्न होते हैं जिनके लिए अलग-अलग अभिलेखीय ढांचे और नियम डिजाइन की आवश्यकता होती है। यह खुले प्रश्नों की पहचान करता है, जैसे कि सममित मॉडल में PAV की आनुपातिकता गारंटी के अंतर को कम करना, मैट्रॉइड के इंटरसेक्शन (intersections of matroids) का विश्लेषण बढ़ाना, और कुशलतापूर्वक गणना योग्य नियम डिजाइन करना जो काउंटरफैक्चुअली स्थिर हों।