📈 economics

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

Dit artikel introduceert een verenigde familie van rangorde-regels genaamd $p$ -orderingen, die de $p$ -norm van de paarwijze meerderheidsverschillen minimaliseren en Slater-orderingen, Kemeny-Young en Ranked Pairs omvatten als specifieke limieten of gevallen, terwijl het wordt aangetoond dat deze regels uniek worden gekenmerkt door natuurlijke axioma's van schaalinvariantie en monotoniciteit.

Oorspronkelijke auteurs: Amir Babak Aazami, Hubert Lewis Bray

Gepubliceerd 2026-06-30

📖 5 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Amir Babak Aazami, Hubert Lewis Bray

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

Stel je voor dat je een discussie tussen een groep vrienden probeert te beslechten over de beste film van het jaar. Iedereen heeft gestemd, maar de resultaten zijn rommelig. Sommigen vinden Film A beter dan B, anderen vinden B beter dan C, maar verrassend genoeg denkt een derde groep dat C beter is dan A. Dit creëert een lus (A > B > C > A), waardoor het onmogelijk is om één enkele, perfecte winnaar aan te wijzen door alleen te kijken naar wie wie versloeg.

Dit artikel introduceert een nieuwe, flexibele familie van regels genaamd p-orderingen om dit rommelige probleem op te lossen. Denk aan deze familie als een "draaiknop" of een "schuifregelaar" die je kunt draaien om te veranderen hoeveel je geeft om de omvang van de onenigheid tussen kiezers.

Hier is hoe de draaiknop werkt, van de ene naar de andere kant:

1. Het "Tellen"-uiteinde (Slater-orderingen)

De draaiknop staat bijna op nul ( $p \to 0$ ).
Stel je voor dat je een strikte boekhouder bent die alleen geeft om hoe vaak mensen het oneens zijn met jouw rangschikking, niet om hoe sterk ze dat vinden.

De analogie: Je hebt een stapel rode kaarten. Elke keer dat jouw rangschikking in strijd is met de meerderheidsstem (bijv. jij zegt dat A beter is dan B, maar de menigte zegt dat B beter is dan A), krijg je een rode kaart.
Het doel: Je wilt de rangschikking met de minste rode kaarten.
Het resultaat: Dit wordt de Slater-ordening genoemd. Het behandelt een verschil van slechts 1 stem hetzelfde als een enorm verschil van 1.000 stemmen. Het telt alleen de fouten.

2. Het "Midden"-uiteinde (Kemeny-Young regel)

De draaiknop staat op 1 ( $p = 1$ ).
Nu begin je meer te geven aan de omvang van de onenigheid. Een verschil van 10 stemmen voelt tien keer erger dan een verschil van 1 stem.

De analogie: In plaats van alleen rode kaarten te tellen, meet je nu de "afstand" van de onenigheid. Als de menigte het flink met je oneens is, doet dat je score meer pijn.
Het doel: Je wilt de totale som van deze groottes van onenigheid minimaliseren.
Het resultaat: Dit is de beroemde Kemeny-Young regel. Het is alsof je probeert de route te vinden die de minste totale "inspanning" vereist om de voorkeuren van de kiezers te verklaren.

3. Het "Grootste Probleem"-uiteinde (Ranked Pairs)

De draaiknop staat helemaal omhoog (Grote $p$ ).
Nu word je geobsedeerd door de grootste onenigheden. Je geeft niet meer om de kleine dingen; je geeft alleen om de ene enorme, schrijnende tegenstrijdigheid.

De analogie: Stel je een rechter voor die naar een lijst met misdrijven kijkt. Je geeft niet om de 50 kleine parkeerboetes; je geeft alleen om de ene moord. Als je de moord kunt oplossen, maakt het je niet uit of je per ongeluk 10 nieuwe parkeerboetes creëert. Je geeft prioriteit aan de "zwaarste" overtreding boven alles.
Het doel: Je kijkt naar de grootste marge van overwinning (bijv. "A verslaat B met 50 stemmen"). Dat leg je vast. Daarna kijk je naar de volgende grootste. Als deze past bij de eerste, leg je deze ook vast. Als het een lus (een tegenstrijdigheid) creëert, gooi je deze weg omdat het de "zwakste schakel" is in die specifieke keten van logica.
Het resultaat: Dit is de Ranked Pairs methode. Het artikel bewijst dat als je de draaiknop hoog genoeg draait, jouw "p-ordening" exact Ranked Pairs wordt.

De "Magie" van de Draaiknop

De auteurs ontdekten iets fascinerends: deze draaiknop is niet willekeurig.

Ze vroegen zich af: "Is er een wiskundige reden waarom we specifiek deze formule ( $|x|^p$ ) moeten gebruiken?"
Ze bewezen dat als je een regel wilt die:

Op dezelfde manier werkt of iedereen één keer of tien keer stemt (Schaalinvariantie).
Alleen geeft om hoe groot de marge is, niet om de richting (Grootteafhankelijkheid).
Grotere marges belangrijker vindt (Monotoniciteit).

...dan is de enige mogelijke formule die je kunt gebruiken deze $|x|^p$ draaiknop. Het is de "canonieke" (standaard) manier om deze onenigheden te meten.

Het "Bevries"-effect

Het artikel legt ook uit wat er gebeurt als je de draaiknop steeds hoger draait.

In het begin, naarmate je $p$ verhoogt, kan de rangschikking een beetje rondspringen terwijl verschillende combinaties van stemmen meer of minder belangrijk worden.
Echter, zodra je een bepaald "kantelpunt" (een specifieke $p^*$ ) passeert, bevriest de rangschikking.
Hoeveel hoger je de draaiknop na dat punt ook draait, het resultaat verandert nooit meer. Het is vastgeklikt op de Ranked Pairs oplossing.

Samenvatting

Beschouw de p-ordening als één universele machine voor het rangschikken van kandidaten.

Draai de knop naar 0, en het telt fouten (Slater).
Draai de knop naar 1, en het somt de pijn van de fouten op (Kemeny-Young).
Draai de knop naar oneindig, en het geeft prioriteit aan de grootste fouten boven alles (Ranked Pairs).

Het artikel laat zien dat deze drie beroemde, ogenschijnlijk verschillende methoden eigenlijk gewoon verschillende instellingen zijn op dezelfde machine, en dat deze machine wiskundig gezien de enige is die voldoet aan de basisregels van eerlijkheid met betrekking tot stemmarges.

Technische Samenvatting: p-ORDERINGEN: VAN SLATER NAAR KEMENY-YOUNG EN RANKED PAIRS

Probleemstelling
In preferentiële verkiezingen induceren stembiljetten binaire meerderheidsmarges tussen kandidaten. Hoewel veel sociale welzijnsregels vertrouwen op deze gewogen binaire informatie in plaats van het volledige profiel, heeft een verenigend kader dat verschillende rangschikkingsregels verbindt, ontbroken. Specifiek behandelt dit artikel de relatie tussen drie prominente marge-gebaseerde regels: Slater-ordeningen (minimaliseren van het aantal binaire onenigheden), de Kemeny-Young regel (minimaliseren van de som van de grootte van de onenigheid) en Ranked Pairs (prioriteren van grotere marges lexicografisch). Het centrale probleem is om te bepalen of deze regels kunnen worden beschouwd als leden van een enkele, canonieke familie van rangschikkingsregels afgeleid van een specifiek optimalisatieprincipe op de marge-van-overwinning (m.o.v.) matrix.

Methodologie
De auteurs introduceren een familie van rangschikkingsregels genaamd p-ordeningen, gedefinieerd door het minimaliseren van de $p$ -norm van de binaire meerderheidsmarges die afwijken van een gegeven rangschikking.

Definitie van de p-norm op m.o.v.-matrices: Voor een gegeven kandidaat-ordening isoleren de auteurs de invoer in het bovenste driehoeksgedeelte van de m.o.v.-matrix die negatief zijn (wat duidt op een afwijking van de ordening). Ze definiëren de $p$ -norm van een ordening $\pi$ als:
$\|\pi\|_p = \left( \sum_{i<j, m_{ij}<0} |m_{ij}|^p \right)^{1/p}$
De p-ordening is de permutatie van kandidaten die deze grootheid minimaliseert.
Canonieke Rechtvaardiging (Stelling 1): Het artikel betoogt dat de keuze voor de functie $f(x) = |x|^p$ niet willekeurig is. Onder drie natuurlijke aannames — schaalinvariantie, afhankelijkheid van enkel de grootte van de marge, en monotoniciteit met betrekking tot de grootte van de marge — bewijzen de auteurs dat de enige continue scorefunctie die compatibel is met deze constructie van de vorm $c|x|^p$ is. Dit vestigt de p-familie als canoniek onder marge-gebaseerde constructies.
Optimalisatie via Q-som: Om de analyse te vergemakkelijken, definiëren de auteurs een "Q-som" (Corollary 2), die gesigneerde grootheden optelt: $\sum \mu_{ij} |m_{ij}|^p$ . Het maximaliseren van deze som is gelijk aan het minimaliseren van de $p$ -norm van de negatieve invoer.

Belangrijkste Resultaten
Het artikel legt het gedrag van p-ordeningen vast over het spectrum van $p > 0$ :

Limiet als $p \to 0^+$ (Proposition 1): Het minimaliseren van de $p$ -norm wordt equivalent aan het minimaliseren van het aantal binaire onenigheden. Zo convergeert de p-ordening naar de Slater-ordening.
Geval $p = 1$ (Proposition 2): De 1-norm ordening is wiskundig equivalent aan de Kemeny-Young regel, die de som van de absolute binaire afwijkingsmarges minimaliseert.
Limiet als $p \to \infty$ (Theorem 2): Voor elke verkiezing met verschillende, niet-nul binaire marges, bestaat er een drempelwaarde $p^*$ $p^{*}$ waarvoor geldt dat voor alle $p \geq p^*$ $p \geq p^{*}$ de p-ordening exact samenvalt met de Ranked Pairs ordening.
- Mechanisme: Het bewijs steunt op een "Cumulatieve Dominantie Eigenschap" (Lemma 3). Naarmate $p$ toeneemt, domineert de term die overeenkomt met de grootste marge van overwinning de som van de kleinere termen. Bij consequent wordt het optimalisatieproces lexicografisch: het prioriteert het voldoen aan de grootste marges eerst, en daarna de volgende grootste, precies zoals het Ranked Pairs algoritme.
Stabilisatie: De verzameling van p-ordeningen is constant over een eindig aantal intervallen op de positieve p-as (Proposition 9). Voor voldoende grote $p$ stabiliseert de oplossing zich naar de unieke Ranked Pairs ordening (ervan uitgaande dat de marges verschillend zijn).

Eigenschappen van p-ordeningen
Het artikel analyseert verschillende axiomatische eigenschappen van de p-ordening familie:

Smith-consistentie: Voor alle $p > 0$ rangschikken p-ordeningen kandidaten in de Smith-set boven kandidaten buiten deze set (Proposition 5).
Condorcet Compatibiliteit: Als er een Condorcet-winnaar bestaat, worden zij als eerste gerangschikt; als er een Condorcet-verliezer bestaat, worden zij als laatste gerangschikt.
Monotoniciteit: Als de p-ordening uniek is, voldoet deze aan de monotoniciteitseigenschap (Proposition 7).
Last Place Loser Onafhankelijkheid: Het verwijderen van de kandidaat die als laatste staat in de omgekeerde verkiezing verandert de winnaar van de oorspronkelijke verkiezing niet (Proposition 6).
Clone Invariantie: De familie is niet algemeen clone invariant, aangezien de Kemeny-Young regel ( $p=1$ ) aan dit criterium faalt (Proposition 3).

Significantie
Het artikel claimt drie verschillende stemregels — Slater, Kemeny-Young en Ranked Pairs — te verenigen in een enkele één-parameter familie van regels gebaseerd op binaire meerheidsmarges. Door aan te tonen dat Ranked Pairs de uiteindelijke grote- $p$ leden zijn van deze canonieke familie, biedt het werk een theoretische brug tussen tel-gebaseerde, som-gebaseerde en lexicografische benaderingen van sociale keuzes. De auteurs benadrukken dat Ranked Pairs geen geïsoleerde heuristiek is, maar de natuurlijke limiet van een continu optimalisatieproces gedreven door marge-grootheden. De resultaten zijn bewezen onder de aanname van verschillende, niet-nul marges om complicaties door gelijke stemmingen te vermijden, waarbij de convergentie naar Ranked Pairs geldt voor alle voldoende grote $p$ .