Sequential Apportionment from Stationary Divisor Methods

यहाँ माइकल ए. जोन्स, ब्रिटनी ओहलिंगर और जेनिफर विल्सन के शोध पत्र "Sequential Apportionments from Stationary Divisor Methods" का विस्तृत तकनीकी सारांश दिया गया है।

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

यह शोध पत्र अनुक्रमिक आवंटन (sequential apportionment) के संबंध में साहित्य में मौजूद अंतराल को संबोधित करता है—अर्थात, आनुपातिक प्रतिनिधित्व प्रणालियों में राजनीतिक दलों को सीटें प्रदान करने का विशिष्ट क्रम। जबकि भाजक विधियाँ (जैसे कि डी'होंट, एडम्स, सेंट-लैगुए) अंतिम सीट आवंटन के लिए अच्छी तरह से अध्ययन की गई हैं, उनके अनुक्रम (sequence) पर कम ध्यान दिया गया है। यह अनुक्रम गठबंधन सरकारों (जैसे उत्तरी आयरलैंड) में व्यावहारिक रूप से महत्वपूर्ण है जहाँ कैबिनेट के पदों को सीट आवंटन के क्रम के आधार पर क्रमिक रूप से प्रदान किया जाता है, और ऑपरेशंस रिसर्च में "जस्ट-इन-टाइम" (JIT) अनुक्रमण समस्याओं में भी महत्वपूर्ण है।

लेखक स्थिर भाजक विधियों (stationary divisor methods) पर ध्यान केंद्रित करते हैं, जो एक कटपॉइंट $c \in [0, 1]$ द्वारा पैरामीटराइज्ड विधियों का एक परिवार है। मुख्य समस्या यह है कि दिए गए मतों (vote totals) के लिए इन विधियों द्वारा उत्पन्न सभी संभावित आवंटन अनुक्रमों के सेट को लक्षणित करना, विभिन्न अनुक्रमों की संख्या निर्धारित करना, और अनुक्रम के क्रम तथा बड़े या छोटे दलों के प्रति विधि के पूर्वाग्रह (bias) के बीच संबंध का विश्लेषण करना है।

2. कार्यप्रणाली (Methodology)

लेखक संयोजन संबंधी विश्लेषण (combinatorial analysis), संख्या सिद्धांत (number theory), और एल्गोरिदम निर्माण के संयोजन का उपयोग करते हैं:

• परिभाषाएँ और ढांचा (Definitions and Framework):
  • वे एक अनुक्रमिक आवंटन प्रक्रिया को परिभाषित करते हैं जहाँ $k$-वीं सीट उस पार्टी $i$ को दी जाती है जो अनुपात $p_i / (a_i + c)$ को अधिकतम करती है, जहाँ $p_i$ मतों की संख्या है, $a_i$ वर्तमान सीट गणना है, और $c$ कटपॉइंट है।
  • वे स्थापित करते हैं कि पूर्णांक मतों के लिए, ये अनुक्रम आवर्ती (periodic) होते हैं। आवर्त लंबाई $P$ मतों के महत्तम समापवर्तक (GCD) द्वारा निर्धारित होती है: $P = (\sum p_i) / \gcd(p_1, \dots, p_n)$।
• लेक्सिकोग्राफिकल क्रम (Lexicographical Ordering):
  • लेखक "आकार पूर्वाग्रह" (size bias) की अवधारणा को परिष्कृत करने के लिए अनुक्रमों के लेक्सिकोग्राफिकल क्रम का उपयोग करते हैं। पूर्वाग्रह को केवल एक पार्टी को प्राप्त कुल सीटों के रूप में देखने के बजाय, वे विश्लेषण करते हैं कि पार्टियाँ सीटें कब प्राप्त करती हैं।
  • वे सिद्ध करते हैं कि अनुक्रम अपने कटपॉइंट्स द्वारा क्रमबद्ध होते हैं: $S_0(p) \ge S_c(p) \ge S_1(p)$, जहाँ $S_0$ एडम्स की विधि है (छोटी पार्टियों के पक्ष में) और $S_1$ डी'होंट की विधि है (बड़ी पार्टियों के पक्ष में)।
• दो-पक्षीय विश्लेषण (Two-Party Analysis - Section 3):
  • दो पार्टियों ($p_1 > p_2$) के लिए, लेखक अनुक्रम संरचना के स्पष्ट सूत्र प्राप्त करते हैं। वे दिखाते हैं कि अनुक्रम 1 के ब्लॉकों (पार्टी 1) से बना होता है, जो एकल 2 (पार्टी 2) द्वारा अलग किए जाते हैं।
  • वे $c$ और मत अनुपात के फलन (function) के रूप में 2 के बीच 1 की संख्या ($k_i$) को लक्षणित करते हैं, यह सिद्ध करते हुए कि अनुक्रम $[\frac{\ell}{p_1-p_2}, \frac{\ell+1}{p_1-p_2})$ के अंतराल पर स्थिर रहता है।
• बहु-पक्षीय विस्तार (Multi-Party Extension - Section 4):
  • निरंतरता (consistency) गुण का उपयोग करते हुए (जहाँ किसी भी दो पार्टियों के बीच सापेक्ष आवंटन अन्य पार्टियों से स्वतंत्र होता है), वे $\binom{n}{2}$ युग्व (pairwise) अनुक्रमों को एक एकल $n$-पार्टी अनुक्रम में "लिफ्ट" करने के लिए एक एल्गोरिदम विकसित करते हैं।
  • वे प्रत्येक चरण में $n-1$ युग्व उप-अनुक्रमों में अग्रणी पद (leading term) के रूप में दिखने वाली अद्वितीय पार्टी की पहचान करके युग्व अनुक्रमों को मिलाने के लिए एक रचनात्मक एल्गोरिदम (एल्गोरिदम 1) प्रदान करते हैं।
• विशिष्ट अनुक्रमों की गणना (Counting Distinct Sequences):
  • वे विशिष्ट अनुक्रमों की गणना करने के लिए 'प्रिंसिपल ऑफ इंक्लूजन/एक्सक्लूजन' (Principle of Inclusion/Exclusion) लागू करते हैं। इसमें पार्टियों के सभी युग्व संयोजनों से प्राप्त "कटपॉइंट एंडपॉइंट्स" के सेट का यूनियन (union) निकालना शामिल है।

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

A. अनुक्रमों का लक्षण वर्णन (Characterization of Sequences)

• आवर्तता (Periodicity): प्रमेय 2 सिद्ध करता है कि पूर्णांक मतों के लिए, स्थिर भाजक विधियाँ $P = (\sum p_i)/\gcd(p_i)$ आवर्त वाले आवर्ती अनुक्रम उत्पन्न करती हैं।
• संरचना (Structure): दो पार्टियों के लिए, अनुक्रम पूरी तरह से इस बात से निर्धारित होता है कि बड़ी पार्टी छोटी पार्टी को एक सीट मिलने से पहले कितनी लगातार सीटें प्राप्त करती है। लेखक कटपॉइंट $c$ के आधार पर इन गणनाओं के लिए स्पष्ट सूत्र (प्रमेय 3) प्रदान करते हैं।
• एडम्स बनाम डी'होंट संबंध (Adams vs. D'Hondt Relationship): प्रमेय 1 दोनों चरम विधियों के अनुक्रमों के बीच एक सीधा संबंध स्थापित करता है: एडम्स अनुक्रम ($c=0$), डी'होंट अनुक्रम ($c=1$) है, जो प्रत्येक पार्टी को एक प्रारंभिक आवंटन द्वारा शिफ्ट किया गया है ($S_0(p) = (1, 2, \dots, n, s_1, s_2, \dots)$)।

B. आकार पूर्वाग्रह का परिशोधन (Refinement of Size Bias)

• यह शोध पत्र आकार पूर्वाग्रह को पुनर्गठित करता है। जबकि एडम्स की विधि कुल सीटों के मामले में छोटी पार्टियों के पक्ष में है और डी'होंट बड़ी पार्टियों के पक्ष में है, लेखक दिखाते हैं कि एक अनुक्रमिक संदर्भ में, अंतर सीट प्राप्ति के समय (timing) में निहित है।
• प्रमेय 2 (Proposition 2) सिद्ध करता है कि किसी भी $c > c'$ के लिए, अनुक्रम $S_c$, $S_{c'}$ से लेक्सिकोग्राफिकल रूप से छोटा है। इसका अर्थ है कि उच्च $c$ वाली विधियाँ (बड़ी पार्टियों के पक्ष में) अनुक्रम में पहले बड़ी पार्टियों को सीटें देती हैं, जबकि कम $c$ वाली विधियाँ छोटी पार्टियों को पहले सीटें देती हैं।

C. एल्गोरिदम और गणना (Algorithms and Counting)

• लिफ्टिंग एल्गोरिदम (Lifting Algorithm): लेखक $n$-पार्टी अनुक्रमों को युग्व डेटा से बनाने के लिए एक कठोर विधि प्रदान करते हैं, यह सिद्ध करते हुए कि भाजक विधियों की युग्व निरंतरता इस पुनर्निर्माण की अनुमति देती है (प्रमेय 6)।
• गणना सूत्र (Counting Formula): प्रमेय 8 $n$ पार्टियों के लिए विशिष्ट अनुक्रम आवंटनों की संख्या के लिए एक सूत्र प्रदान करता है। इसे इस प्रकार गणना जाता है:
  $$1 + \left| \bigcup_{k \in M} A_k \right|$$
  जहाँ $A_k$ युग्व मत अंतरों से प्राप्त महत्वपूर्ण कटपॉइंट मानों का सेट है, और "1" $c=1$ (डी'होंट) मामले की गणना करता है। यूनियन का आकार युग्व विभाजकों के GCD का उपयोग करके 'प्रिंसिपल ऑफ इंक्लूजन/एक्सक्लूजन' के माध्यम से निकाला जाता है।

D. विशिष्ट निष्कर्ष (Specific Findings)

• दो-पार्टी मामला (Two-Party Case): यदि $p_1$ और $p_2$ सापेक्ष अभाज्य (relatively prime) हैं, तो ठीक $p_1 - p_2 + 1$ विशिष्ट अनुक्रम होते हैं।
• बहु-पार्टी मामला (Multi-Party Case): विशिष्ट अनुक्रमों की संख्या पार्टियों की संख्या के बजाय मतों के अंकगणितीय गुणों (विशेष रूप से युग्व अंतरों के GCD) पर निर्भर करती है।
• गैर-आवर्तता (Non-Periodicity): शोध पत्र नोट करता है कि गैर-स्थिर विधियाँ (जैसे हिल-हंटिंगटन) या अपरिमेय (irrational) मत अनुपात अनिवार्य रूप से आवर्ती अनुक्रम उत्पन्न नहीं करते हैं।

4. महत्व और अनुप्रयोग (Significance and Applications)

• राजनीति विज्ञान (Political Science): यह कार्य गठबंधन सरकारों के विश्लेषण के लिए एक नया उपकरण प्रदान करता है। यह दर्शाता है कि आवंटन पद्धति का चयन (विशेष रूप से कटपॉइंट $c$) न केवल सीटों की संख्या को बदलता है, बल्कि कैबिनेट चयन के क्रम को भी मौलिक रूप से बदल देता है। यह पोर्टफोलियो आवंटन के संबंध में राजनीतिक संघर्षों को हल कर सकता है या उन्हें बढ़ा सकता है।
• ऑपरेशंस रिसर्च (JIT Sequencing): परिणाम "जस्ट-इन-टाइम" अनुक्रमण समस्याओं पर लागू होते हैं जहाँ मांग को पूरा करने के लिए वस्तुओं को संसाधित किया जाना चाहिए। शोध पत्र मांग (start times - एडम्स) बनाम पूर्णता समय (finish times - डी'होंट) के आधार पर निष्पक्ष कतार प्रबंधन (fair queueing) को विशिष्ट भाजक विधियों से जोड़ता है, जो उत्पादन शेड्यूलिंग को अनुकूलित करने के लिए एक सैद्धांतिक आधार प्रदान करता है।
• सैद्धांतिक प्रगति (Theoretical Advancement): आवंटन अनुक्रमों पर एक आंशिक क्रम (partial order) स्थापित करके और स्थिर विधियों के लिए सभी संभावित अनुक्रमों की पूर्ण गणना प्रदान करके, यह शोध पत्र आनुपातिक प्रतिनिधित्व के अध्ययन में एक सैद्धांतिक अंतराल को भरता है। यह स्थिर आवंटन से आगे बढ़कर गतिशील, अनुक्रमिक विश्लेषण की ओर बढ़ता है।

निष्कर्ष (Conclusion)

यह शोध पत्र स्थिर भाजक विधियों के लिए अनुक्रमिक आवंटन के परिदृश्य को सफलतापूर्वक चित्रित करता है। यह सिद्ध करता है कि ये अनुक्रम आवर्ती हैं, युग्व डेटा से $n$-पार्टी अनुक्रमों को बनाने के लिए एक रचनात्मक एल्गोरिदम प्रदान करता है, और विशिष्ट अनुक्रमों की संख्या के लिए सटीक सूत्र निकालता है। महत्वपूर्ण रूप से, यह आवंटन में पूर्वाग्रह की अवधारणा को सीट आवंटन के समय के फलन के रूप में पुनर्व्याख्यायित करता है, जिससे यह समझने का एक सूक्ष्म दृष्टिकोण मिलता है कि विभिन्न भाजक विधियाँ (एडम्स से डी'होंट तक) राजनीतिक और परिचालन परिणामों को कैसे प्रभावित करती हैं।