📈 economics

Measurable Majorities Are Not Finitely Axiomatizable

Diese Arbeit beweist, dass strikte Mehrheitslogik in endlichen sozialen Entscheidungsrahmen nicht endlich axiomatisierbar ist, indem sie zeigt, dass kein beschränktes endliches Fragment das Moss-Pedersen-Kohärenzkriterium ersetzen kann, da die kürzeste Kohärenzverletzung beliebig lang sein kann.

Ursprüngliche Autoren: Lawrence S. Moss, Arthur Paul Pedersen

Veröffentlicht 2026-06-25

📖 5 Min. Lesezeit🧠 Tiefgang

CC BY 4.0

Ursprüngliche Autoren: Lawrence S. Moss, Arthur Paul Pedersen

Originalarbeit lizenziert unter CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dies ist eine KI-generierte Erklärung des untenstehenden Papers. Sie wurde nicht von den Autoren verfasst oder gebilligt. Für technische Genauigkeit konsultieren Sie das Originalpaper. Vollständigen Haftungsausschluss lesen

Das große Ganze: Das „Regelbuch“-Problem

Stellen Sie sich vor, Sie versuchen, ein Regelbuch für ein Wahlsystem zu schreiben. Ihr Ziel ist es, eine Reihe einfacher, endlicher Regeln (Axiome) zu erstellen, die jede mögliche Situation perfekt beschreiben kann, in der eine „Mehrheit“ Sinn ergibt.

Wenn eine Wahlsituation diesen Regeln folgt, nennen wir sie „messbar“ (was bedeutet, dass sie durch eine faire Wahrscheinlichkeitszahl dargestellt werden kann, wie etwa zu sagen: „Es besteht eine 60-prozentige Chance, dass diese Gruppe gewinnt“). Wenn sie gegen die Regeln verstößt, ist sie „inkohärent“ (ein struktureller Widerspruch, bei dem die Logik der Mehrheit zusammenbricht).

Die Hauptentdeckung des Papers:
Die Autoren beweisen, dass man kein endliches Regelbuch für dies schreiben kann. Egal, wie viele Regeln Sie aufschreiben, es wird immer ein kniffliges, komplexes Wahlszenario geben, das all Ihren Regeln folgt, aber dennoch logisch fehlerhaft ist. Um jedes mögliche fehlerhafte Szenario zu erfassen, bräuchte man eine unendliche Liste von Regeln.

Das Kernkonzept: Der „Inkohärenz-Index“

Um dies zu verstehen, führen die Autoren ein Konzept namens Inkohärenz-Index ein. Denken Sie an dies als die „Länge der kürzesten Falle“.

Die Falle: Eine Wahlfalle ist eine spezifische Abfolge von Gruppen (Blöcken), die so aussehen, als sollten sie eine Mehrheit bilden, aber wenn man sie alle zusammenzählt, heben sie sich perfekt gegenseitig auf und lassen niemanden als klaren Gewinner zurück.
Der Index: Dies ist die Anzahl der Gruppen, die benötigt werden, um diese Falle zu bauen.
- Eine kurze Falle (Index 2) ist leicht zu erkennen.
- Eine lange Falle (Index 100) ist sehr schwer zu erkennen.

Das Paper stellt die Frage: Gibt es eine maximale Länge für diese Fallen?

Hypothese: Vielleicht ist es so, dass wir alle Fallen bis zur Länge 10 erfasst haben, wenn wir alle Fallen bis zur Länge 10 prüfen.
Realität: Die Autoren beweisen das Nein. Für jede Zahl, die Sie wählen (sagen wir 100), können sie ein Wahlsystem konstruieren, in dem die kürzeste Falle tatsächlich die Länge 102 hat.

Die Analogie: Die „perfekt ausbalancierte Wippe“

Stellen Sie sich eine riesige Wippe mit vielen Sitzen vor.

Das Ziel: Sie möchten Gruppen von Menschen auf der Wippe platzieren, sodass sie perfekt im Gleichgewicht bleibt (weder die eine noch die andere Seite geht nach unten).
Die Regel: In einer „messbaren“ Welt sollten Sie nicht in der Lage sein, die Wippe auszubalancieren, es sei denn, Sie verwenden Gruppen, die exakt gleichmäßig verteilt sind (50/50-Splits).
Die Falle: Die Autoren fanden einen Weg, Gruppen von Menschen (Wahlblöcke) so anzuordnen, dass sie nicht gleichmäßig verteilt sind, sich aber, wenn man sie alle auf die Wippe legt, dennoch perfekt ausbalancieren. Dies ist ein logischer Widerspruch.

Das Paper zeigt, dass man diese „unmöglichen Balancen-Akte“ mit immer längeren Ketien von Gruppen aufbauen kann.

Man kann eine Kette von 4 Gruppen bauen, die im Gleichgewicht ist.
Man kann eine Kette von 6 Gruppen bauen, die im Gleichgewicht ist.
Man kann eine Kette von 1.000 Gruppen bauen, die im Gleichgewicht ist.

Je länger die Kette, desto schwieriger ist es, den Fehler zu entdecken. Die Autoren beweisen, dass es keine Grenze gibt, wie lang diese Ketten werden können.

Wie sie es bewiesen haben: Die „geometrische Konstruktion“

Anstatt komplexe Kombinatorik (das Zählen jeder möglichen Kombination) zu verwenden, nutzten die Autoren die Geometrie.

Die Karte: Sie verwandelten jede Wahlgruppe in einen Punkt in einem mehrdimensionalen Raum (wie eine Karte mit tausenden Richtungen).
Der Kern: Sie bauten einen speziellen, hochsymmetrischen „Kern“ aus Wahlgruppen. Stellen Sie sich eine perfekte Sternform vor, bei der jeder Punkt auf eine spezifische Weise mit jedem anderen Punkt verbunden ist.
Der magische Vektor: Sie fanden einen speziellen „Laserstrahl“ (einen Vektor), der durch das Zentrum dieses Sterns verläuft.
- Dieser Laser trifft die Gruppen des „Kerns“ genau im 90-Grad-Winkel (er ignoriert sie).
- Er trifft jedoch jede andere mögliche Gruppe schräg (er sieht sie als positiv oder negativ).
Das Ergebnis: Durch diesen Laser konnten sie beweisen, dass der einzige Weg, die Wippe auszubalancieren (eine Nullsummen-Sequenz zu erzeugen), die Verwendung der spezifischen Gruppen in ihrem „Kern“ ist. Und der kürzeste Weg, dies zu tun, erfordert exakt $2k + 2$ Gruppen.

Indem sie das „Universum“ der Wähler immer größer machten, zwangen sie die kürzestmögliche Falle dazu, immer länger zu werden.

Warum dies für die Logik wichtig ist

Das Paper schließt mit einem Schlagwort über Logik und Sprache:

In dem Logiksystem, das die Autoren untersuchen (Moss-Pedersen-Logik), gibt es eine Regel namens „Kohärenz-Schema“. Dieses Schema besagt: „Wenn Sie eine Sequenz von Gruppen der Länge $N$ haben, die im Gleichgewicht ist, dann...“
Da die Autoren bewiesen haben, dass Fallen beliebig lang sein können, muss diese Regel eine unendliche Liste sein.
Man kann diese unendliche Liste nicht durch eine endliche Menge von Sätzen ersetzen. Egal wie viele Sätze Sie schreiben, es wird immer eine „lange Falle“ geben, die durch die Maschen schlüpft.

Zusammenfassung in einem Satz

Die Autoren haben bewiesen, dass die logische Komplexität der „strekten Mehrheits“-Wahl unendlich ist; man kann immer ein Wahlszenario konstruieren, das so komplex ist, dass es eine immer längere Liste von Regeln erfordert, um seine internen Widersprüche zu erkennen, was bedeutet, dass kein endliches Regelbuch jemals alle gültigen Mehrheitssysteme perfekt beschreiben kann.

Technisches Resümee: Messbare Mehrheiten sind nicht endlich axiomatisierbar

Problemstellung
Die vorliegende Arbeit untersucht die endliche Axiomatisierbarkeit der strikten Mehrheitslogik innerhalb endlicher sozialer Entscheidungsrahmen. Insbesondere wird adressiert, ob das Kohärenzkriterium, welches beschreibt, wann qualitative Mehrheitsurteile durch ein endlich additives Maß repräsentierbar sind, im endlichen Fall durch ein beschränktes endliches Fragment ersetzt werden kann. Die zentrale Frage ist, ob der „Inkohärenz-Index“ – die minimale Länge einer Sequenz von Wahlblöcken, die einen strukturellen Widerspruch (Inkohärenz) aufdeckt – über alle endlichen Rahmen hinweg gleichmäßig beschränkt ist. Dieses Problem löst die Vermutung 5.7 von Moss und Pedersen (2026), die postulierte, dass keine solche einheitliche endliche Schranke existiert.

Methodik
Die Autoren liefern einen rein geometrischen Beweis für die Unbeschränktheit des Inkohärenz-Index und bieten damit eine Alternative zum jüngsten kombinatorischen Ansatz von Blanco (2026). Die Methodik gestaltet sich wie folgt:

Geometrische Abbildung: Die Studie bildet die Eigenschaften der Teilmengenwahl direkt auf die Geometrie rationaler Vektorräume ( $\mathbb{Q}^{W_k}$ ) ab. Teilmengen werden durch bipolare Indikatorvektoren ( $x_A \in \{-1, 1\}^{W_k}$ ) repräsentiert, wobei die Bedingung einer „perfekt ausbalancierten“ Sequenz (die das Universum genau $m/2$ -mal abdeckt) in eine Nullsummenbedingung ( $\sum x_{A_i} = 0$ ) übergeht.
Kernkonstruktion: Für eine feste ganze Zahl $k \geq 1$ konstruieren die Autoren ein spezifisches Universum von Wählern $W_k$ , welches aus allen $(k+1)$ -elementigen Teilmengen einer Basismenge $V_k = \{1, \dots, 2k+2\}$ besteht. Die Größe dieses Universums ist der zentrale Binomialkoeffizient $\binom{2k+2}{k+1}$ .
Diktator-Blöcke und lineare Unabhängigkeit: Ein „Kern“ aus $2k+2$ „Diktator-Blöcken“ wird definiert, wobei jeder Block alle Wähler enthält, die ein spezifisches Basiselement besitzen. Die Autoren beweisen, dass jede nicht-leere, perfekt ausbalancierte Sequenz, die ausschließlich aus diesen Blöcken gebildet wird, eine Länge haben muss, die ein Vielfaches von $2k+2$ ist. Dies etabliert eine untere Schranke für die Länge jeder potenziellen Kohärenzverletzung, die aus diesem Kern abgeleitet wird.
Generische Vektortrennung: Unter Verwendung eines „Finite-Union-Lemmas“ (Białynicki-Birula et al., 1959) konstruieren die Autoren einen generischen rationalen Vektor $u^*_k$ , der orthogonal zum linearen Spann der Kernvektoren, aber nicht orthogonal zu allen anderen balancierten Vektoren in der mittleren Schicht der Potenzmenge ist. Dieser Vektor wird verwendet, um einen maximalen Standardrahmen zu definieren, der die Kernvektoren einschließt, aber kürzere balancierte Hindernisse ausschließt.

Wesentliche Beiträge und Ergebnisse

Unbeschränkter Inkohärenz-Index: Die Arbeit beweist, dass für jedes $k \geq 1$ ein maximaler standardmäßiger sozialer Entscheidungsrahmen $M_k$ existiert, dessen Inkohärenz-Index exakt $2k + 2$ beträgt. Folglich gibt es keine einheitliche endliche Schranke für den Inkohärenz-Index von sozialen Entscheidungsrahmen.
Auflösung von Vermutung 5.7: Dieses Ergebnis bestätigt die Vermutung 5.7 von Moss und Pedersen (2026) und zeigt auf, dass das Kohärenzschema, das zur Charakterisierung messbarer Mehrheiten erforderlich ist, nicht auf eine endliche Menge von Instanzen gekürzt werden kann.
Explizite Konstruktion der mittleren Schicht: Die Konstruktion liefert eine explizite unendliche Folge von Universumsgrößen ( $2n_k = \binom{2k+2}{k+1}$ ), welche die Eigenschaften von Conjecture B.25 erfüllen. Speziell konstruiert sie eine komplementfreie Familie in der mittleren Schicht (Teilmengen der Größe $n_k$ ), die eine balancierte Teilfamilie der Größe $2k+2$ enthält, aber keine balancierten Teilfamilien der Größen $2, 4, \dots, 2k$ .
Nicht-endliche Axiomatisierbarkeit: Durch die Kombination des Unbeschränktheitsergebnisses mit dem Korrektheits- und Vollständigkeitssatz für die Moss-Pedersen-Minimallogik stellen die Autoren fest, dass die Klasse der messbaren sozialen Entscheidungsrahmen in der Moss-Pedersen-Sprache nicht endlich axiomatisierbar ist. Jede endliche Menge von Sätzen würde nur Kohärenzinstanzen bis zu einer endlichen Länge $M$ erfassen, wodurch der konstruierte Rahmen $M_k$ (mit einem Index von $2k+2 > M$ ) als Gegenbeispiel fungiert, das die endlichen Axiome erfüllt, aber nicht repräsentierbar ist.

Bedeutung
Die Arbeit postuliert, dass die inhärente Komplexität der strikten Mehrheitslogik eine tiefe kombinatorische Realität ist, die in der Geometrie endlicher Vektorräume eingebettet ist, und nicht bloß ein Artefakt der Maßtheorie. Während Moss und Pedersen (2026) etablierten, dass Repräsentierbarkeit durch Kohärenz charakterisiert wird, zeigt diese Arbeit, dass die Grenze zwischen repräsentierbaren und nicht-repräsentierbaren Rahmen eine unbeschränkte endliche Komplexität aufweist. Jede Behinderung der Repräsentierbarkeit ist endlich, aber es gibt keine endliche Obergrenze für die Länge der Behinderung, die erforderlich ist.

Die Autoren merken an, dass ihre geometrische Konstruktion eine Wählergröße ergibt, die exponentiell mit dem Index skaliert ( $O(4^k/\sqrt{k})$ ), während der kombinatorische Beweis von Blanco (2026) eine quadratische Skalierung erreicht. Der geometrische Ansatz wird jedoch als ein selbstständiger Mechanismus präsentiert, der aus Grundprinzipien abgeleitet ist, indem er eine symmetrische Familie von halbgroßen Wahlblöcken isoliert und diese auf einen maximalen Rahmen erweitert, in dem jede kürzere balancierte Behinderung ausgeschlossen ist. Dies bestätigt, dass die Unendlichkeit des Kohärenzschemas in der Moss-Pedersen-Logik unvermeidlich ist.