Measurable Majorities Are Not Finitely Axiomatizable

तकनीकी सारांश: मापने योग्य बहुमत परिमित रूप से अभिलेखनीय (Finitely Axiomatizable) नहीं हैं

समस्या विवरण
यह शोध पत्र सीमित सामाजिक निर्णय ढांचों (social decision frames) के भीतर सख्त बहुमत तर्क (strict majority reasoning) की परिमित अभिलेखनीयता (finite axiomatizability) की जांच करता है। विशेष रूप से, यह इस बात को संबोधित करता है कि क्या गुणात्मक बहुमत निर्णयों को एक परिमित योज्य माप (finitely additive measure) द्वारा निरूपित करने के लिए आवश्यक सामंजस्य मानदंड (coherence criterion) को, सीमित परिवेश में, किसी परिबद्ध परिमित खंड (bounded finite fragment) द्वारा प्रतिस्थापित किया जा सकता है। केंद्रीय प्रश्न यह है कि क्या "असंगति सूचकांक" (incoherence index)—अर्थात उन मतदान ब्लॉकों के अनुक्रम की न्यूनतम लंबाई जो एक संरचनात्मक विरोधाभास (असंगति) को उजागर करने के लिए आवश्यक हैं—सभी परिमित ढांचों में समान रूप से परिबद्ध है। यह समस्या मॉस और पेडर्सन (2026) के अनुमान (Conjecture) 5.7 का समाधान करती है, जिसमें यह अनुमान लगाया गया था कि ऐसा कोई समान परिमित बंधन मौजूद नहीं है।

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

1. ज्यामितीय मानचित्रण (Geometric Mapping): अध्ययन उपसमुच्चय चयन के गुणों को सीधे परिमेय वेक्टर स्पेस ($\mathbb{Q}^{W_k}$) की ज्यामिति में मैप करता है। उपसमुच्चयों को द्विध्रुवी संकेतक वेक्टर्स ($x_A \in \{-1, 1\}^{W_k}$) द्वारा दर्शाया जाता है, जहाँ एक "पूर्णतः संतुलित" अनुक्रम (जो ब्रह्मांड को ठीक $m/2$ बार कवर करता है) की स्थिति एक शून्य-योग स्थिति ($\sum x_{A_i} = 0$) में परिवर्तित हो जाती है।
2. मुख्य निर्माण (Core Construction): एक निश्चित पूर्णांक $k \geq 1$ के लिए, लेखक एक विशिष्ट मतदाता ब्रह्मांड $W_k$ का निर्माण करते हैं, जो एक आधार सेट $V_k = \{1, \dots, 2k+2\}$ के सभी $(k+1)$-तत्वों वाले उपसमुच्चयों से बना है। इस ब्रह्मांड का आकार केंद्रीय द्विपद गुणांक (central binomial coefficient) $\binom{2k+2}{k+1}$ है।
3. तानाशाह ब्लॉक (Dictator Blocs) और रैखिक स्वतंत्रता: एक "कोर" सेट के $2k+2$ "तानाशाह ब्लॉकों" को परिभाषित किया गया है, जहाँ प्रत्येक ब्लॉक में वे सभी मतदाता शामिल हैं जिनके पास एक विशिष्ट आधार तत्व है। लेखक सिद्ध करते हैं कि इन ब्लॉकों से बना कोई भी गैर-रिक्त पूर्णतः संतुलित अनुक्रम, जिसकी लंबाई $2k+2$ का गुणज होनी चाहिए। यह इस कोर से प्राप्त होने वाले किसी भी संभावित सामंजस्य उल्लंघन पर एक निचली सीमा स्थापित करता है।
4. जेनेरिक वेक्टर पृथक्करण (Generic Vector Separation): "फाइनाइट-यूनियन लेम्मा" (बियानिकी-बिरुलिका आदि, 1959) का उपयोग करते हुए, लेखक एक जेनेरिक परिमेय वेक्टर $u^*_k$ का निर्माण करते हैं जो कोर वेक्टर्स के रैखिक विस्तार (linear span) के लंबवत (orthogonal) है, लेकिन पावर सेट की मध्य परत (middle layer) के अन्य संतुलित वेक्टर्स के लंबवत नहीं है। इस वेक्टर का उपयोग एक अधिकतम मानक फ्रेम को परिभाषित करने के लिए किया जाता है जिसमें कोर वेक्टर्स शामिल हैं लेकिन छोटे संतुलित अवरोध (obstructions) बाहर रखे गए हैं।

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

• अनबाउंडेड असंगतता सूचकांक: यह शोध पत्र सिद्ध करता है कि प्रत्येक $k \geq 1$ के लिए, एक विशिष्ट maximal standard social decision frame $M_k$ मौजूद है जिसका असंगतता सूचकांक ठीक $2k + 2$ है। फलस्वरूप, सामाजिक निर्णय ढांचों के असंगतता सूचकांक पर कोई समान परिमित सीमा नहीं है।
• अनुमान 5.7 का समाधान: यह परिणाम मॉस और पेडर्सन (2026) के अनुमान 5.7 की पुष्टि करता है, जो दर्शाता है कि मापने योग्य बहुमतों को अभिलक्षित करने के लिए आवश्यक सामंजस्य योजना को एक परिमित सेट तक सीमित नहीं किया जा सकता है।
• स्पष्ट मध्य-परत निर्माण (Explicit Middle-Layer Construction): यह निर्माण ब्रह्मांड के आकारों का एक स्पष्ट अनंत अनुक्रम ($2n_k = \binom{2k+2}{k+1}$) प्रदान करता है जो अनुमान B.25 द्वारा अनुमानित गुणों को संतुष्ट करता है। विशेष रूप से, यह मध्य परत (आकार $n_k$ के उपसमुच्चय) में एक पूरक-मुक्त परिवार (complement-free family) का निर्माण करता है जिसमें $2k+2$ का एक संतुलित उप-परिवार है, लेकिन $2, 4, \dots, 2k$ के आकार के कोई संतुलित उप-परिवार नहीं है।
• गैर-परिमित अभिलेखनीयता (Non-Finite Axiomatizability): मॉस-पेडर्सन न्यूनतम तर्क की साउंडनेस और कम्प्लीटनेस थ्योरम के साथ इस अनबाउंडेडनेस परिणाम को जोड़कर, लेखक स्थापित करते हैं कि मापने योग्य सामाजिक निर्णय ढांचे मॉस-पेडर्सन भाषा में परिमित रूप से अभिलेखनीय नहीं हैं।на कोई भी परिमित वाक्य समूह केवल एक निश्चित लंबाई $M$ तक के सामंजस्य उदाहरणों को ही पकड़ पाएगा, जिससे निर्मित फ्रेम $M_k$ (जिसका सूचकांक $2k+2 > M$ है) एक ऐसा काउंटर-एग्जांपल बन जाएगा जो परिमित अभिलेखों को संतुष्ट करता है लेकिन प्रतिनिधित्व (representability) में विफल रहता है।

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

लेखक उल्लेख करते हैं कि उनका ज्यामितीय निर्माण एक ऐसा मतदाता आकार प्रदान करता है जो सूचकांक के साथ चरघातांकीय रूप से बढ़ता है ($O(4^k/\sqrt{k})$), जबकि ब्लैंको (2026) का संयोजनपरक प्रमाण द्विघाती स्केलिंग (quadratic scaling) प्राप्त करता है। हालांकि, ज्यामितीय दृष्टिकोण को प्रथम सिद्धांतों से प्राप्त एक स्व-निहित तंत्र के रूप में प्रस्तुत किया गया है, जो आधे आकार के मतदान ब्लॉकों के एक सममित परिवार को अलग करता है और इसे एक अधिकतम फ्रेम तक विस्तारित करता है जहाँ प्रत्येक छोटा संतुलित अवरोध बाहर रखा गया है। यह पुष्टि करता है कि मॉस-पेडर्सन तर्क में सामंजस्य योजना की अनंतता अपरिहार्य है।