📈 economics

$p$ -orderings: From Slater to Kemeny-Young to Ranked Pairs

Dieses Paper führt eine einheitliche Familie von Rangfolgeregeln namens $p$ -Orderings ein, welche die $p$ -Norm der paarweisen Mehrheitsdisagreements minimieren und Slater-Orderings, Kemeny-Young sowie Ranked Pairs als spezifische Grenzwerte oder Fälle umschließen, während sie gleichzeitig aufzeigen, dass diese Regeln durch die natürlichen Axiome der Skaleninvarianz und Monotonie eindeutig charakterisiert sind.

Ursprüngliche Autoren: Amir Babak Aazami, Hubert Lewis Bray

Veröffentlicht 2026-06-30

📖 5 Min. Lesezeit🧠 Tiefgang

CC BY 4.0

Ursprüngliche Autoren: Amir Babak Aazami, Hubert Lewis Bray

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

Stellen Sie sich vor, Sie versuchen, eine Debatte unter Ihren Freunden über den besten Film des Jahres zu schlichten. Alle haben abgestimmt, aber die Ergebnisse sind chaotisch. Einige lieben Film A gegenüber B, andere lieben B gegenüber C, aber überraschenderweise denkt eine dritte Gruppe, dass C besser als A ist. Dies erzeugt eine Schleife (A > B > C > A), was es unmöglich macht, einen einzigen, perfekten Gewinner zu küren, indem man nur betrachtet, wer wen geschlagen hat.

Dieses Paper stellt eine neue, flexible Familie von Regeln namens p-Ordnungen vor, um dieses chaotische Problem zu lösen. Stellen Sie sich diese Familie wie einen „Drehregler“ oder einen „Schieberegler“ vor, den Sie drehen können, um zu verändern, wie sehr Sie die Größe der Uneinigkeit der Wähler berücksichtigen.

So funktioniert dieser Regler, von einem Ende zum anderen:

1. Das „Zähl“-Ende (Slater-Ordnungen)

Der Regler ist auf fast Null eingestellt ( $p \to 0$ ).
Stellen Sie sich vor, Sie sind ein strenger Buchhalter, dem es nur darum geht, wie oft die Leute mit Ihrer Rangfolge widersprechen, nicht darum, wie stark sie dabei fühlen.

Die Analogie: Sie haben einen Stapel roter Karten. Jedes Mal, wenn Ihre Rangfolge der Mehrheitsmeinung widerspricht (z. B. Sie sagen, A ist besser als B, aber die Menge sagt, B ist besser als A), bekommen Sie eine rote Karte.
Das Ziel: Sie wollen die Rangfolge mit den wenigsten roten Karten.
Das Ergebnis: Dies wird als Slater-Ordnung bezeichnet. Sie behandelt einen winzigen Unterschied von 1 Stimme genauso wie einen massiven Unterschied von 1.000 Stimmen. Es wird einfach gezählt, wie viele Fehler gemacht wurden.

2. Das „Mittel“-Ende (Kemeny-Young-Regel)

Der Regler ist auf 1 eingestellt ( $p = 1$ ).
Jetzt beginnen Sie, die Größe der Uneinigkeit zu berücksichtigen. Ein Unterschied von 10 Stimmen fühlt sich zehnmal schlimmer an als ein Unterschied von 1 Stimme.

Die Analogie: Anstatt nur rote Karten zu zählen, messen Sie nun die „Distanz“ der Uneinigkeit. Wenn die Menge mit Ihnen um viel mehr widerspricht, schadet das Ihrem Score stärker.
Das Ziel: Sie wollen die Gesamtsumme dieser Differenzgrößen minimieren.
Das Ergebnis: Dies ist die berühmte Kemeny-Young-Regel. Es ist, als würde man versuchen, den Pfad zu finden, der den geringsten gesamten „Aufwand“ erfordert, um die Präferenzen der Wähler zu erklären.

3. Das „Größtes Problem“-Ende (Ranked Pairs)

Der Regler ist ganz hochgedreht (Großes $p$ ).
Jetzt werden Sie besessen von den größten Uneinigkeiten. Die kleinen Dinge interessieren Sie nicht mehr; Sie kümmern sich nur um den einen massiven, eklatanten Widerspruch.

Die Analogie: Stellen Sie sich vor, Sie sind ein Richter, der eine Liste von Verbrechen betrachtet. Es interessiert Sie nicht die 50 Parkverstöße; Sie kümmern sich nur um einen Mord. Wenn Sie den Mord aufklären, ist es Ihnen egal, ob Sie versehentlich 10 neue Parkverstöße verursachen. Sie priorisieren die „schwerste“ Verletzung über alles andere.
Das Ziel: Sie schauen sich den größten Vorsprung an (z. B. „A schlägt B um 50 Stimmen“). Diesen legen Sie fest. Dann schauen Sie sich den nächstgrößeren an. Wenn er in das erste passt, legen Sie ihn fest. Wenn er eine Schleife (einen Widerspruch) erzeugt, werfen Sie ihn weg, weil er das „schwächste Glied“ in dieser spezifischen Logikkette ist.
Das Ergebnis: Dies ist die Methode der Ranked Pairs. Das Paper beweist, dass Ihre „p-Ordnung“ exakt zu Ranked Pairs wird, wenn Sie den Regler hoch genug drehen.

Die „Magie“ des Reglers

Die Autoren entdeckten etwas Faszinierendes: Dieser Regler ist nicht zufällig.

Sie fragten sich: „Gibt es einen mathematischen Grund, warum wir genau diese Formel ( $|x|^p$ ) verwenden sollten?“
Sie bewiesen, dass wenn Sie eine Regel wollen, die:

Auf die gleiche Weise funktioniert, egal ob alle einmal oder zehnmal abstimmen (Skaleninvarianz).
Nur darum geht, wie groß der Vorsprung ist, nicht in welche Richtung (Magnitudenabhängigkeit).
Größere Vorsprünge als wichtiger betrachtet (Monotonie).

...dann ist die einzige mögliche Formel, die Sie verwenden können, dieser $|x|^p$ -Regler. Er ist der „kanonische“ (standardmäßige) Weg, diese Uneinigkeiten zu messen.

Der „Frost“-Effekt

Das Paper erklärt auch, was passiert, wenn Sie den Regler immer weiter nach oben drehen.

Zuer Sie erhöhen $p$ , kann die Rangfolge ein wenig hin und her springen, während verschiedene Kombinationen von Stimmen mehr oder weniger wichtig werden.
Sob)^{-n Sie jedoch einen bestimmten „Kipppunkt“ (eine spezifische Zahl $p^*$ ) überschreiten, friert die Rangfolge ein.
Egal wie viel höher Sie den Regler nach diesem Punkt drehen, das Ergebnis ändert sich nicht mehr. Es hat sich auf die Ranked Pairs-Lösung festgelegt.

Zusammenfassung

Betrachten Sie die p-Ordnung als eine einzige, universelle Maschine für die Rangfolge von Kandidaten.

Drehen Sie den Knopf auf 0, und sie zählt Fehler (Slater).
Drehen Sie den Knopf auf 1, und sie summiert den Schmerz der Fehler auf (Kemeny-Young).
Drehen Sie den Knopf auf Unendlich, und sie priorisiert die größten Fehler über alles andere (Ranked Pairs).

Das Paper zeigt, dass diese drei berühmten, scheinbar unterschiedlichen Methoden tatsächlich nur verschiedene Einstellungen an derselben Maschine sind, und dass diese Maschine mathematisch die einzige ist, die den grundlegenden Regeln der Fairness bezüglich Stimmenmargen entspricht.

Technische Zusammenfassung: p-ORDNUNGEN: VON SLATER ÜBER KEMENY-YOUNG ZU RANKED PAIRS

Problemstellung
In präferenziellen Wahlen induzieren Stimmzettel paarweise Mehrheitsmargen zwischen Kandidaten. Während viele soziale Wohlfahrtsregeln auf diese gewichteten paarweisen Informationen statt auf das vollständige Profil zurückgreifen, fehlte bisher ein einheitlicher Rahmen, der unterschiedliche Rangfolgeregeln verbindet. Speziell adressiert das Paper die Beziehung zwischen drei prominenten margenbasierten Regeln: Slater-Ordnungen (Minimierung der Anzahl der paarweisen Unstimmigkeiten), der Kemeny-Young-Regel (Minimierung der Summe der Unstimmigkeitsbeträge) und Ranked Pairs (Priorisierung größerer Margen lexikographisch). Das zentrale Problem ist die Frage, ob diese Regeln als Mitglieder einer einzigen, kanonischen Familie von Rangfolgeregeln betrachtet werden können, die aus einem spezifischen Optimierungsprinzip auf der Gewinnmarge-Matrix (margin-of-victory, m.o.v.) abgeleitet sind.

Methodik
Die Autoren führen eine Familie von Rangfolgeregeln namens p-Ordnungen ein, die durch die Minimierung der $p$ -Norm der paarweisen Mehrheitsmargen definiert sind, die einer gegebenen Rangfolge widersprechen.

Definition der p-Norm auf m.o.v.-Matrizen: Für eine gegebene Kandidatenordnung isolieren die Autoren die Einträge im oberen Dreiecksteil der m.o.v.-Matrix, die negativ sind (was einen Widerspruch zur Ordnung anzeigt). Sie definieren die $p$ -Norm einer Ordnung $\pi$ als:
$\|\pi\|_p = \left( \sum_{i<j, m_{ij}<0} |m_{ij}|^p \right)^{1/p}$
Die p-Ordnung ist die Permutation der Kandidaten, die diese Größe minimiert.
Kanonische Rechtfertigung (Theorem 1): Das Paper argumentiert, dass die Wahl der Funktion $f(x) = |x|^p$ nicht willkürlich ist. Unter drei natürlichen Annahmen – Skaleninvarianz, Abhängigkeit nur vom Betrag der Marge und Monotonie bezüglich der Margengröße – beweisen die Autoren, dass die einzige kontinuierliche Score-Funktion, die mit dieser Konstruktion kompatibel ist, der Form $c|x|^p$ entspricht. Dies etabliert die p-Familie als kanonisch unter margenbasierten Konstruktionen.
Optimierung via Q-Summe: Um die Analyse zu erleichtern, definieren die Autoren eine „Q-Summe“ (Korollar 2), welche die vorzeichenbehafteten Beträge $\sum \mu_{ij} |m_{ij}|^p$ summiert. Die Maximierung dieser Summe ist äquivalent zur Minimierung der $p$ -Norm der negativen Einträge.

Wesentliche Ergebnisse
Das Paper beschreibt das Verhalten von p-Ordnungen über das Spektrum von $p > 0$ :

Grenzwert für $p \to 0^+$ (Proposition 1): Die Minimierung der $p$ -Norm wird äquivalent zur Minimierung der Anzahl der paarweisen Unstimmigkeiten. Somit konvergiert die p-Ordnung zur Slater-Ordnung.
Fall $p = 1$ (Proposition 2): Die 1-Norm-Ordnung ist mathematisch äquivalent zur Kemeny-Young-Regel, die die Summe der absoluten Unstimmigkeitsmargen minimiert.
Grenzwert für $p \to \infty$ (Theorem 2): Für jede Wahl mit distinkten, nicht-null werdenden paarweisen Margen existiert ein Schwellenwert $p^*$ $p^{*}$ , so dass für alle $p \geq p^*$ $p \geq p^{*}$ die p-Ordnung exakt mit der Ranked Pairs-Ordnung übereinstimmt.
- Mechanismus: Der Beweis stützt sich auf eine „kumulative Dominanz-Eigenschaft“ (Lemma 3). Wenn $p$ steigt, dominiert der Term, der der größten Gewinnmarge entspricht, die Summe aller kleineren Terme. Folglich wird das Optimierungsverfahren lexikographisch: Es priorisiert die Erfüllung der größten Margen zuerst, dann die nächstgrößeren, was exakt den Ranked Pairs-Algorithmus widerspiegelt.
Stabilisierung: Die Menge der p-Ordnungen ist über endlich vielen Intervallen auf der positiven p-Achse konstant (Proposition 9). Für hinreichend große $p$ stabilisiert sich die Lösung zur eindeutigen Ranked Pairs-Ordnung (unter der Annahme distinkter Margen).

Eigenschaften von p-Ordnungen
Das Paper analysiert verschiedene axiomatische Eigenschaften der p-Ordnungsfamilie:

Smith-Konsistenz: Für alle $p > 0$ ordnen p-Ordnungen Kandidaten innerhalb der Smith-Menge über jenen außerhalb der Menge (Proposition 5).
Condorcet-Kompatibilität: Existiert ein Condorcet-Sieger, wird dieser an erster Stelle gerankt; existiert ein Condorcet-Verlierer, wird dieser an letzter Stelle gerankt.
Monotonie: Wenn die p-Ordnung eindeutig ist, erfüllt sie die Monotonie-Eigenschaft (Proposition 7).
Last Place Loser Unabhängigkeit: Das Entfernen des Kandidaten, der in der umgekehrten Wahl (reversed-ballot) an letzter Stelle steht, verändert den Gewinner der ursprünglichen Wahl nicht (Proposition 6).
Klons-Invarianz: Die Familie ist nicht allgemein klons-invariant, da die Kemeny-Young-Regel ( $p=1$ ) dieses Kriterium verletzt (Proposition 3).

Bedeutung
Das Paper beansprucht, drei unterschiedliche Abstimmungsregeln – Slater, Kemeny-Young und Ranked Pairs – in einer einzigen einparametrigen Familie von Regeln basierend auf paarweisen Mehrheitsmargen zu vereinheitlichen. Durch den Nachweis, dass Ranked Pairs als das letztendliche große- $p$ -Mitglied dieser kanonischen Familie auftritt, liefert die Arbeit eine theoretische Brücke zwischen zählenden, summenbasierten und lexikographischen Ansätzen der Sozialwahl. Die Autoren betonen, dass Ranked Pairs keine isolierte Heuristik ist, sondern die natürliche Grenze eines kontinuierlichen Optimierungsprozesses, der durch die Größen der Margen getrieben wird. Die Ergebnisse werden unter der Annahme distinkter, Nicht-Null-Margen bewiesen, um Tie-Breaking-Problematiken zu vermeiden, wobei die Konvergenz zu Ranked Pairs für alle hinreichend großen $p$ gilt.