A House Monotone, Coherent, and Droop Proportional Ranked Candidate Voting Method

Dit artikel beschrijft een rangschikkingsstemmethode gebaseerd op Phragmén's procedure die huismonotonie, coherentie en de Droop-proportionaliteitscriteria naleeft, waarbij de hoogst gerangschikte kandidaat overeenkomt met de Instant Runoff-winnaar.

De kern

Stel je voor dat je een groep vrienden hebt die een lange reis gaan maken. Ze moeten een bus huren, maar ze willen niet zomaar iemand aansturen. Ze willen een bestuurderscomité kiezen dat de hele groep vertegenwoordigt.

Soms kiezen ze één bestuurder. Soms drie. Soms tien. Het probleem is: hoe zorg je dat, als je het aantal bestuurders verandert (bijvoorbeeld van 1 naar 3), de mensen die je al had gekozen, ook in de nieuwe groep blijven? En hoe zorg je dat als een groep vrienden (een "solid coalitie") zegt: "Wij willen dat A, B en C aan het roer staan", ze ook echt die kans krijgen, ongeacht hoe groot de bus is?

Dit is precies het probleem dat Ross Hyman in zijn paper oplost. Hij introduceert een nieuwe manier om te stemmen, gebaseerd op een oud wiskundig idee van een man genaamd Phragmén. Laten we het verhaal van deze methode vertellen, zonder de saaie wiskunde.

Het Probleem: De "Verwarde Bus"

In de politiek (en bij het kiezen van busbestuurders) gebeuren er soms rare dingen:

1. De Alabama-paradox: Als je de bus groter maakt (meer bestuurders nodig), kan het gebeuren dat een staat of groep minder bestuurders krijgt dan voorheen. Dat voelt onrechtvaardig.
2. De Nieuwe-Staat-paradox: Als er een nieuwe groep vrienden bij de reis komt, kunnen de oude vrienden plotseling hun bestuurders kwijtraken, zelfs als het totaal aantal bestuurders voor de oude groep gelijk blijft.
3. De "Lijst"-probleem: Veel partijen willen een lijst hebben. De nummer 1 op de lijst moet de beste kandidaat zijn. Als je 3 bestuurders kiest, moeten de top 3 van die lijst de winnaars zijn. Maar traditionele methoden (zoals STV) doen dit niet altijd goed; de nummer 1 kan veranderen als je meer bestuurders kiest.

De Oplossing: De "Top-Down" Phragmén-methode

Hyman's methode is als het bouwen van een toren, blok voor blok, van boven naar beneden.

1. De Basis: De "Stem-Lasten" (Seat Loads)

Stel je voor dat elke stem een rugzak is. Als een kandidaat wordt gekozen, moeten de mensen die op die kandidaat hebben gestemd, hun rugzak een beetje zwaarder maken. Ze dragen nu een stukje van de verantwoordelijkheid voor die winnaar.

• De methode kijkt naar wie de lichtste rugzak heeft. Die kandidaat is de meest "efficiënte" keuze voor de volgende plek op de lijst.
• Als iemand wordt gekozen, worden de rugzakken van hun kiezers zwaarder. Daardoor wordt het voor die kandidaat moeilijker om direct weer gekozen te worden, en krijgen anderen een kans.

2. De "Top-Down" Strategie (Van Boven Af)

In plaats van te kijken wie er uit valt (zoals bij veel oude methoden), kijkt deze methode naar wie er binnen moet blijven.

• Stap 1: Kies de allerbeste kandidaat (de winnaar van de "Instant Runoff" verkiezing). Dit is de nummer 1 op je lijst.
• Stap 2: Nu moet je de nummer 2 kiezen. Maar hier is de truc: De nummer 1 mag niet weg. Hij is al gekozen.
• De methode simuleert een verkiezing waarbij de nummer 1 al "vastzit" in de bus. Ze kijken wie de beste kandidaat is om naast nummer 1 te zitten, rekening houdend met de zware rugzakken die de kiezers van nummer 1 al dragen.

Dit zorgt ervoor dat als je van 1 naar 3 bestuurders gaat, de nummer 1 en 2 altijd nog steeds in de groep zitten. Je bouwt de lijst stap voor stap op, zonder de vorige stappen te veranderen.

Waarom is dit zo speciaal? (De Drie Superkrachten)

Deze methode heeft drie superkrachten die andere methoden vaak missen:

1. Huis-Monotonie (De "Geen Terugval"-Regel):

   • Analogie: Als je een toren bouwt en je hebt de eerste drie verdiepingen al gebouwd, dan zijn die drie verdiepingen ook de eerste drie verdiepingen als je de toren later uitbreidt naar 10 verdiepingen.
   • Betekenis: De winnaars van een verkiezing voor 3 mensen, zijn altijd ook de winnaars als je later besluit dat je 4 mensen nodig hebt. Niemand wordt "uit de lijst gegooid" als de groep groter wordt.

2. Coherentie (De "Losse Groepen"-Regel):

   • Analogie: Stel je hebt twee verschillende groepen vrienden die een bus huren. Groep A wil alleen mensen uit Amsterdam, Groep B alleen mensen uit Rotterdam. Als ze samen een grote bus huren, zou het resultaat voor Groep A precies hetzelfde moeten zijn als als ze alleen hadden gestemd.
   • Betekenis: De methode is eerlijk. Als je twee sets stemmen samenvoegt, verandert de volgorde binnen elke groep niet door de aanwezigheid van de andere groep.

3. Droop-Proportionaliteit (De "Meeste Stemmen"-Regel):

   • Analogie: Als een groep vrienden meer dan de helft van de stemmen heeft (of meer dan een derde voor twee plekken, enz.), dan moeten ze hun kandidaten op de lijst krijgen.
   • Betekenis: Als een groep mensen zegt: "Wij willen A, B en C", en ze zijn groot genoeg, dan krijgen ze die plekken gegarandeerd. De methode negeert geen grote meerderheden.

Het Grote Nadeel (En waarom het nog steeds goed is)

De auteur geeft eerlijk toe: deze methode is moeilijk te berekenen en ziet er een beetje "lelijk" uit in de wiskundige formules. Het is ingewikkelder dan de simpele methoden die we nu gebruiken.

• Vergelijking: Het is alsof je een heel ingewikkeld recept gebruikt om een cake te bakken. Je moet de oven precies op de juiste temperatuur houden en de ingrediënten op een rare manier mengen. Maar het resultaat is een cake die perfect is: hij zakt niet in, hij smaakt voor iedereen goed, en als je er meer stukken van wilt snijden, blijven de eerste stukken precies hetzelfde.

Conclusie

Ross Hyman heeft een nieuwe manier bedacht om een eerlijke lijst van kandidaten te maken.

• Het begint met de beste kandidaat (de IRV-winnaar).
• Het bouwt de lijst stap voor stap op, zonder de vorige stappen te veranderen.
• Het zorgt ervoor dat grote groepen hun stem laten horen.
• Het voorkomt rare paradoxen waarbij het aantal winnaars verandert als je de groepsgrootte aanpast.

Het is een wiskundig bewezen manier om te zeggen: "Als je een lijst maakt, moet die lijst logisch en eerlijk zijn, of je nu 1 of 100 mensen kiest." Voor politici en partijen die een lijst nodig hebben, is dit misschien wel de heilige graal van eerlijkheid.

Technische samenvatting

Probleemstelling

Het paper adresseert een fundamenteel probleem in de kieswetgeving: het ontbreken van een rangschikking-methode (ranked-candidate voting) die tegelijkertijd voldoet aan drie cruciale eigenschappen:

1. Droop-proportionaliteit: De garantie dat een solide coalitie van kiezers (die een groep kandidaten boven anderen verkiezen) minimaal evenveel zetels krijgt als hun stemmenaandeel rechtvaardigt (gebaseerd op de Droop-quota).
2. Huis-monotonie (House Monotonicity): De eigenschap dat de winnaars van een verkiezing voor $N$ zetels altijd een subset zijn van de winnaars voor $N+1$ zetels. Dit is essentieel om een consistente, proportionele lijst van kandidaten te kunnen genereren (top-down).
3. Coherentie (Coherence): De eigenschap dat als een verkiezing wordt opgesplitst in twee disjuncte groepen van kiezers en kandidaten, de resultaten van de afzonderlijke verkiezingen consistent zijn met het resultaat van de gecombineerde verkiezing.

Huidige tekortkomingen:

• Single Transferable Vote (STV): Hoewel STV voldoet aan Droop-proportionaliteit voor solide coalities, faalt het vaak in huis-monotonie en coherentie. Dit betekent dat STV geen betrouwbare lijst kan genereren; een kandidaat die bij $N$ zetels wint, kan bij $N+1$ zetels verliezen (vergelijkbaar met het Alabama-paradox).
• Bestaande Phragmén-methoden: Methoden gebaseerd op Phragmén's procedure (zoals die van Salmi en Woodall) die een quota gebruiken om verkiezingen of uitsluitingen te bepalen, zijn vaak niet huis-monotoon of coherent.
• Bestaande top-down methoden: Eerdere top-down methoden die wel aan de criteria voldeden (zoals die van Aziz et al.), vereisten een complexe zoektocht naar elke mogelijke "solide coalitie", wat computertechnisch inefficiënt en onpraktisch is.

Methodologie

Hyman presenteert een nieuwe top-down rangschikking-methode gebaseerd op Phragmén's procedure, die specifiek is ontworpen om de bovengenoemde tekortkomingen op te lossen zonder een vaste quota te gebruiken voor het bepalen van uitsluitingen.

Kernprincipes van de methode:

1. Top-down aanpak: De methode bouwt de kandidatenlijst van boven naar beneden op. Eerst wordt de winnaar voor 1 zetel bepaald, vervolgens de tweede voor 2 zetels (waarbij de eerste winnaar behouden blijft), enzovoort.
2. Phragmén-prioriteiten: Net als bij de originele Phragmén-methode worden prioriteiten berekend op basis van het aantal stemmen per gekozen kandidaat per kiezer.
3. Behandeling van "Hopefuls" vs. "Previously Elected":
   • Voor kandidaten die al gekozen zijn ("previously elected"), worden prioriteiten op de gebruikelijke manier berekend.
   • Voor nog niet-gekozen kandidaten ("hopefuls") wordt een complexere berekening uitgevoerd om rekening te houden met "onvolmaakte solide coalities".
4. Het algoritme voor een $M$-zetel verkiezing:
   • De $M-1$ eerder gekozen kandidaten worden als "vast" beschouwd.
   • Er wordt een gesimuleerde Phragmén-procedure uitgevoerd op een aangepaste stembiljetten-set.
   • Transpositie en Activering: Als een hoopvolle kandidaat $L$ op een lager niveau wordt gepromoveerd, worden specifieke transposities uitgevoerd op de stembiljetten. Kandidaten die al gekozen zijn, worden tijdelijk "actief" gemaakt op posities waar ze direct onder de hoopvolle kandidaat staan, om de prioriteit correct te berekenen.
   • Uitsluiting: De procedure herhaalt zich totdat één hoopvolle kandidaat overblijft. Als deze kandidaat de laagste prioriteit heeft in een specifieke context, wordt deze uitgesloten.
   • Geen Quota: In tegenstelling tot STV of quota-gebaseerde Phragmén, wordt er geen vaste quota gebruikt om te beslissen wanneer een kandidaat wordt uitgesloten; de beslissing is puur gebaseerd op de relatieve prioriteiten binnen het gesimuleerde proces.

Belangrijkste Bijdragen

1. Nieuwe Top-down Phragmén-methode: Hyman introduceert een algoritme dat een proportionele kandidatenlijst genereert zonder de noodzaak om alle mogelijke solide coalities expliciet te zoeken en te identificeren (in tegenstelling tot eerdere top-down methoden van Aziz et al.).
2. Wiskundige Bewijzen: Het paper levert formele bewijzen dat deze methode voldoet aan:
   • Huis-monotonie: De winnaars van een $N$-zetel verkiezing zijn altijd een subset van de winnaars van een $N+1$-zetel verkiezing.
   • Coherentie: De methode is consistent bij het splitsen van kiezersgroepen.
   • Droop-proportionaliteit: De methode garandeert dat solide coalities hun rechtmatige aantal zetels krijgen.
3. IRV als Basis: De hoogst gerangschikte kandidaat in de gegenereerde lijst is altijd de winnaar van de Instant Runoff Voting (IRV) verkiezing. Het paper bewijst dat de IRV-winnaar altijd deel uitmaakt van minstens één Droop-compliant set voor elke $N$.
4. Omgaan met Onvolmaakte Coalities: De methode biedt een mechanisme om om te gaan met "onvolmaakte solide coalities" (waarbij kiezers niet exact dezelfde set van gekozen kandidaten verkiezen, maar wel dezelfde hoopvolle kandidaat boven anderen), wat de robuustheid van de methode vergroot.

Resultaten

• Voorbeeld 1 (60: ADCB, 51: BCDA, 45: CADB, 44: DCAB):
  • De methode genereert de lijst: C > A > B > D.
  • Dit voldoet aan Droop-proportionaliteit voor 1, 2 en 3 zetels.
  • De lijst is consistent met huis-monotonie (C is winnaar bij 1 zetel; C en A bij 2 zetels; C, A en B bij 3 zetels).
• Vergelijking met STV: Waar conventionele STV bij dit voorbeeld C als winnaar zou kiezen voor 1 zetel, maar A, B en D zou kiezen voor 3 zetels (een schending van huis-monotonie), levert de nieuwe methode een consistente lijst op.
• Vergelijking met Quota-Phragmén: De paper toont aan dat quota-gebaseerde Phragmén-methoden coherentie schenden (bijvoorbeeld door de toevoeging van een nieuwe kandidaat E die de uitslag voor de oorspronkelijke kandidaten verandert, terwijl de nieuwe methode dit niet doet).

Betekenis en Conclusie

Dit paper is significant omdat het een langdurig probleem in de kieswetgeving oplost: het vinden van een methode die zowel proportioneel is (Droop) als stabiel in de vorming van lijsten (huis-monotoon en coherent).

• Praktische Toepassing: De methode is ideaal voor politieke partijen die een rangschikking van kandidaten nodig hebben voor partijlijst-verkiezingen, of voor het toewijzen van zetels in meervoudige districten waarbij een lijst nodig is.
• Theoretische Vooruitgang: Het bewijst dat het mogelijk is om de voordelen van divisor-methoden (zoals die in het Amerikaanse congres worden gebruikt voor zetelverdeling) te combineren met de flexibiliteit van rangschikking-stemmen, zonder de paradoxen van STV.
• Toekomst: Hoewel de auteur toegeeft dat de methode "esthetisch lelijk" is (complex in uitvoering), biedt het een functioneel bewijs dat een "mooiere" methode mogelijk is die aan al deze strenge criteria voldoet. Het opent de deur voor verdere onderzoek naar efficiëntere implementaties van Phragmén-achtige top-down methoden.

Samenvattend biedt Hyman een wiskundig onderbouwde, robuuste oplossing voor het genereren van proportionele kandidatenlijsten die de paradoxen van bestaande systemen vermijdt en de democratische principes van vertegenwoordiging en stabiliteit respecteert.