📈 economics

Measurable Majorities Are Not Finitely Axiomatizable

Dit artikel bewijst dat strikte meerderheidsredenering in eindige sociale beslissingskaders niet eindig axiomatiseerbaar is door aan te tonen dat geen enkel begrensd eindig fragment de Moss-Pedersen coherentiecriterium kan vervangen, aangezien de kortste coherentie-schending willekeurig lang kan zijn.

Oorspronkelijke auteurs: Lawrence S. Moss, Arthur Paul Pedersen

Gepubliceerd 2026-06-25

📖 5 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Lawrence S. Moss, Arthur Paul Pedersen

Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer

Het Grote Plaatje: Het "Regelboek"-probleem

Stel je voor dat je probeert een regelboek te schrijven voor een stemsysteem. Je doel is om een reeks eenvoudige, eindige regels (axioma's) te maken die elke mogelijke situatie waarin een "meerderheid" zinvol is, perfect beschrijft.

Als een stemsituatie deze regels volgt, noemen we dit "meetbaar" (wat betekent dat het kan worden weergegeven door een eerlijk getal voor de kansverdeling, zoals zeggen: "er is een kans van 60% dat deze groep wint"). Als het de regels breekt, is het "incoherent" (een structurele tegenstrijdigheid waarbij de logica van de meerderheid uit elkaar valt).

De belangrijkste ontdekking van het artikel:
De auteurs bewijzen dat je niet één eindig regelboek kunt schrijven voor dit. Hoeveel regels je ook opschrijft, er zal altijd een lastige, complexe stemsituatie zijn die aan al je regels voldoet, maar die toch logisch gezien kapot is. Om elke mogelijke kapotte situatie te vangen, heb je een oneindige lijst met regels nodig.

Het Kernconcept: De "Incoherentie-index"

Om dit te begrijpen, introduceren de auteurs een concept genaamd de Incoherentie-index. Denk aan dit als de "lengte van de kortste valstrik".

De Valstrik: Een stemvalstrik is een specifieke reeks groepen (blokken) die eruitzien alsof ze een meerderheid zouden moeten vormen, maar wanneer je ze allemaal bij elkaar optelt, heffen ze elkaar precies op, waardoor er niemand met een duidelijke winnaar overblijft.
De Index: Dit is het aantal groepen dat nodig is om die valstrik te bouwen.
- Een korte valstrik (Index 2) is makkelijk te spotten.
- Een lange valstrik (Index 100) is erg moeilijk te spotten.

Het artikel stelt de vraag: Is er een maximale lengte voor deze valstrikken?

Hypothese: Misschien als je alle valstrikken tot lengte 10 controleert, heb je ze allemaal gevangen.
Realiteit: De auteurs bewijzen nee. Voor elk getal dat je kiest (bijvoorbeeld 100), kunnen zij een stemsysteem construeren waarbij de kortste valstrik feitelijk een lengte heeft van 102.

De Analogie: De "Perfect Evenwichtige Wip"

Stel je een enorme wip voor met veel zitplaatsen.

Het Doel: Je wilt groepen mensen op de wip plaatsen zodat deze perfect in evenwicht blijft (niet naar één kant doorzakt).
De Regel: In een "meetbare" wereld zou je de wip niet in evenwicht moeten kunnen brengen, tenzij je groepen gebruikt die exact gelijk zijn (5els-splitsingen).
De Valstrik: De auteurs ontdekten een manier om groepen mensen (stemblokken) zo te rangschikken dat ze niet gelijk zijn, maar dat ze wanneer je ze allemaal op de wip zet, de wip toch perfect in evenwicht is. Dit is een logische tegenstrijdigheid.

Het artikel laat zien dat je deze "onmogelijke evenwichtsoefeningen" kunt bouwen met steeds langere ketens van groepen.

Je kunt een keten van 4 groepen maken die in evenwicht is.
Je kunt een keten van 6 groepen maken die in evenwicht is.
Je kunt een keten van 1.000 groepen maken die in evenwicht is.

Hoe langer de keten, hoe moeilijker het is om de fout te detecteren. De auteurs bewijzen dat er geen limiet is aan hoe lang deze ketens kunnen worden.

Hoe ze het bewezen hebben: De "Geometrische Constructie"

In plaats van complexe combinatoriek te gebruiken (het tellen van elke mogelijke combinatie), gebruikten de auteurs geometrie.

De Kaart: Ze veranderden elke stemgroep in een punt in een meerdimensionale ruimte (zoals een kaart met duizenden richtingen).
De Kern: Ze bouwten een speciale, zeer symmetrische "kern" van stemgroepen. Stel je een perfecte ster voor waarbij elk punt op een specifieke manier met elk ander punt verbonden is.
De Magische Vector: Ze vonden een speciale "laserstraal" (een vector) die precies door het midden van deze ster loopt.
- Deze laser raakt de "kern"-groepen precies onder een hoek van 90 graden (hij negeert ze).
- Echter, hij raakt elke andere mogelijke groep onder een schuine hoek (hij ziet ze als positief of negatief).
Het Resultaat: Dankzij deze laserstraal konden ze bewijzen dat de enige manier om de wip in evenwicht te brengen (een nul-som sequentie te creëren), het gebruik is van de specifieke groepen in hun "kern". En de kortste manier om dat te doen, vereist precies $2k + 2$ groepen.

Door het "universum" van stemmers steeds groter te maken, dwongen ze de kortst mogelijke valstrik om steeds langer te worden.

Waarom dit Belangrijk is voor de Logica

Het artikel sluit af met een uitsmijter over logica en taal:

In het logische systeem dat de auteurs bestuderen (Moss-Pedersen logica), is er een regel genaamd het "Coherentie-schema". Dit schema zegt: "Als je een reeks groepen van lengte $N$ hebt die in evenwicht is, dan..."
Omdat de auteurs hebben bewezen dat valstrikken willekeurig lang kunnen zijn, moet deze regel een oneindige lijst zijn.
Je kunt deze oneindige lijst niet vervangen door een eindige set zinnen. Hoeveel zinnen je ook schrijft, er zal altijd een "lange valstrik" zijn die door de mazen van het net glipt.

Samenvatting in één zin

De auteurs hebben bewezen dat de logische complexiteit van "strikte meerderheid"-stemmen oneindig is; je kunt altijd een stemsituatie construeren die zo complex is dat het een steeds langere lijst met regels vereist om de interne tegenstrijdigheden te detecteren, wat betekent dat geen enkel eindig regelboek ooit perfect alle geldige meerderheidssystemen kan beschrijven.

Technische Samenvatting: Meetbare Meerderheden zijn Niet Eindig Axiomatiseerbaar

Probleemstelling
Het artikel onderzoekt de eindige axiomatiseerbaarheid van strikte meerderheidsredenering binnen eindige sociale besluitvormingskaders. Specifiek wordt geadresseerd of het coherentiecriterium dat bepaalt wanneer kwalitatieve meerderheidsoordelen representeerbaar zijn door een eindig additieve maat, in de eindige setting vervangen kan worden door een begrensde eindige fragment. De centrale vraag is of de "incoherentie-index"—de minimale lengte van een sequentie van stemblokken die vereist is om een structurele tegenstrijdigheid (incoherentie) bloot te leggen—uniform begrensd is over alle eindige kaders. Dit probleem lost Vermoeden 5.7 van Moss en Pedersen (2026) op, dat stelde dat er geen dergelijke uniforme eindige grens bestaat.

Methodologie
De auteurs leveren een puur geometisch bewijs voor de onbegrensdheid van de incoherentie-index, als alternatief voor de recente combinatorische benadering door Blanco (2026). De methodologie verloopt als volgt:

Geometrische Mapping: De studie brengt de eigenschappen van deelverzamelingselectie direct in kaart naar de geometrie van rationale vectorruimten ( $\mathbb{Q}^{W_k}$ ). Deelverzamelingen worden gerepresenteerd door bipolaire indicatorvectoren ( $x_A \in \{-1, 1\}^{W_k}$ ), waarbij de conditie van een "perfect gebalanceerde" sequentie (het universum exact $m/2$ keer dekken) vertaalt naar een nulsomconditie ( $\sum x_{A_i} = 0$ ).
Kernconstructie: Voor een vaste integer $k \geq 1$ construeren de auteurs een specifieke universele verzameling van stemmers $W_k$ , bestaande uit alle $(k+1)$ -element deelverzamelingen van een basisverzameling $V_k = \{1, \dots, 2k+2\}$ . De grootte van dit universum is de centrale binomiaalcoëfficiënt $\binom{2k+2}{k+1}$ .
Dictator-blokken en Lineaire Onafhankelijkheid: Een "kern" van $2k+2$ "dictator-blokken" wordt gedefinieerd, waarbij elk blok alle stemmers bevat die een specifieke basis-element bezitten. De auteurs bewijzen dat elke niet-lege perfect gebalanceerde sequentie die uitsluitend uit deze blokken bestaat, een lengte moet hebben die een veelvoud is van $2k+2$ . Dit vestigt een ondergrens op de lengte van elke potentiële coherentie-schending afgeleid van deze kern.
Generieke Vector-separatie: Met behulp van een "Eindige-Vereniging-Lemma" (Białynicki-Birula et al., 1959) construeren de auteurs een generieke rationale vector $u^*_k$ die orthogonaal is aan de lineaire span van de kernvectoren, maar niet-orthogonaal aan alle andere gebalanceerde vectoren in de middelste laag van de machtsverzameling. Deze vector wordt gebruikt om een maximaal standaard kader te definiëren dat de kernvectoren bevat, maar kortere gebalanceerde obstructies uitsluit.

Belangrijkste Bijdragen en Resultaten

Onbegrensde Incoherentie-index: Het artikel bewijst dat er voor elke $k \geq 1$ een maximale standaard sociale besluitvormingsframe $M_k$ bestaat waarvan de incoherentie-index exact $2k + 2$ is. Bijgevolg is er geen uniforme eindige grens op de incoherentie-index van sociale besluitvormingskaders.
Resolutie van Vermoeden 5.7: Dit resultaat bevestigt Vermoeden 5.7 van Moss en Pedersen (2026), en demonstreert dat het coherentieschema dat nodig is om meetbare meerderheden te karakteriseren, niet kan worden ingekort tot een eindige verzameling instanties.
Expliciete Middelste-Laag Constructie: De constructie biedt een expliciete oneindige sequentie van universele groottes ( $2n_k = \binom{2k+2}{k+1}$ ) die de eigenschappen voorspeld door Conjecture B.25 voldoen. Specifiek construeert het een complement-vrije familie in de middelste laag (deelverzamelingen van grootte $n_k$ ) die een gebalanceerde subfamilie van grootte $2k+2$ bevat, maar geen gebalanceerde subfamilies van de grootten $2, 4, \dots, 2k$ .
Niet-Eindig Axiomatiseerbaar: Door de onbegrensde resultaten te combineren met de volledigheidstelling voor de Moss-Pedersen minimale logica, stellen de auteurs vast dat de klasse van meetbare sociale besluitvormingskaders niet eindig axiomatiseerbaar is in de Moss-Pedersen taal. Elke eindige verzameling zinnen zou slechts coherentie-instanties tot een bepaalde eindige lengte $M$ vangen, waardoor het geconstrueerde kader $M_k$ (met index $2k+2 > M$ ) als tegenvoorbeeld dient dat de eindige axioma's weliswaat bevredigt, maar niet representeerbaar is.

Significantie
Het artikel stelt dat de inherente complexiteit van strikte meerderheidsredenering een diepe combinatorische realiteit is, ingebed in de geometrie van eindige vectorruimten, en niet louter een artefact van de maattheorie. Ho terwijl Moss en Pedersen (2026) vaststelden dat representeerbaarheid wordt gekarakteriseerd door coherentie, toont dit werk aan dat de grens tussen representeerbare en niet-representeerbare kaders een onbegrensde eindige complexiteit heeft. Elke obstructie voor representeerbaarheid is eindig, maar er is geen eindig plafond aan de lengte van de obstructie die vereist is.

De auteurs merken op dat hun geometrische constructie een kiesgerechtigde populatie oplevert die exponentieel schaalt met de index ( $O(4^k/\sqrt{k})$ ), terwijl de combinatorische bewijsvoering door Blanco (2026) een kwadratische schaling bereikt. Echter, de geometrische benadering wordt gepresenteerd als een zelfstandig mechanisme afgeleid uit eerste principes, waarbij een symmetrische familie van helft-grote stemblokken wordt geïsoleerd en uitgebreid naar een maximaal kader waarin elke kortere gebalanceerde obstructie wordt uitgesloten. Dit bevestigt dat de oneindigheid van het coherentieschema in de Moss-Pedersen logica onvermijdelijk is.