🤖 AI

Proportional Committee Elections with Positive and Negative Votes

Dit artikel onderzoekt proportionele commissieverkiezingen in situaties waarin kiezers zowel positieve als negatieve stemmen kunnen uitbrengen, waarbij twee verschillende interpretaties van negatief stemmen worden voorgesteld om nieuwe proportionaliteitsaxioma's te definiëren en de voldoening daarvan door varianten van Phragmén's regel, PAV en MES wordt geëvalueerd.

Oorspronkelijke auteurs: Sonja Kraiczy, Georgios Papasotiropoulos, Grzegorz Pierczyński, Piotr Skowron

Gepubliceerd 2026-08-13

📖 6 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Sonja Kraiczy, Georgios Papasotiropoulos, Grzegorz Pierczyński, Piotr Skowron

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 een wereld voor waarin het nemen van groepsbeslissingen niet alleen draait om luidruchtig "Ja!" roepen, maar ook om het hard genoeg roepen van "Nee!" om gehoord te worden. Dit is het domein van de computationele sociale keuze, een tak van de wetenschap die wiskunde en computeralgoritmen gebruikt om te achterhalen hoe je een chaotische menigte individuele meningen kunt omzetten in één enkele, eerlijke groepsbeslissing. Je hebt dit waarschijnlijk in actie gezien wanneer een klas stemt over een schoolreisje of een team een filmavond kiest. Meestal steek je gewoon je hand op voor wat je leuk vindt. Maar wat als je ook je hand kon opsteken om te zeggen: "Absoluut niet die ene"? Dat is de wending die dit artikel verkent: verkiezingen waarbij mensen kandidaten kunnen goedkeuren en hen kunnen vetoën.

Het kernprobleem is proportionaliteit. Denk hierbij aan het aansnijden van een pizza. Als een groep vrienden 40% van het feest uitmaakt, zouden ze ongeveer 40% van de pizzastukken moeten krijgen, niet alleen de restjes die de anderen niet wilden. Bij klassiek stemmen weten we hoe we de pizza eerlijk moeten snijden wanneer iedereen alleen "ja" zegt. Maar wanneer mensen ook "nee" gaan zeggen, wordt de wiskunde ingewikkeld. Als een groep een kandidaat haat, betekent dat dan dat ze een stuk pizza krijgen om die kandidaat te *vermijden, of betekent het simpelweg dat ze hun eigen stuk van het "goede" spul kunnen eten? De vraag die dit artikel stelt is: Hoe ontwerpen we een stemsysteem dat eerlijk is wanneer mensen zowel duim omhoog als duim omlaag gebruiken?

Dit artikel, getiteld "Proportional Committee Elections with Positive and Negative Votes", duikt in precies dit puzzelstukje. De auteurs, een team onderzoekers van Oxford en de Universiteit van Warschau, stellen dat er niet slechts één manier is om een "duim omlaag" te interpreteren. Ze betogen dat we negatieve stemmen door twee verschillende lenzen moeten bekijken, alsof we twee verschillende brillen dragen.

Bril één: Het symmetrische perspectief (De "Gelijk Gewicht" lens)
In dit eerste model stellen de auteurs zich voor dat voor een kiezer het blokkeren van een slechte kandidaat net zo belangrijk is als het kiezen van een goede kandidaat. Het is als een spel van touwtrekken waarbij aan de linkerkant trekken (vetoën) net zo sterk is als aan de rechterkant trekken (goedkeuren). Om de wiskunde te laten kloppen, behandelen ze een "nee"-stem alsof het een "ja"-stem is voor een spookkandidaat die exact het tegenovergestelde is van de echte kandidaat. Als je "nee" stemt op Kandidaat A, is dat wiskundig gezien hetzelfde als "ja" stemmen voor "Anti-A".

De onderzoekers testten drie beroemde stemregels tegen dit model:

Phragmén's Rule: Denk hierbij aan een veiling in slow-motion waarbij kiezers over tijd geld verdienen om kandidaten te kopen. De auteurs ontdekten dat als je deze regel aanpast om kiezers ook hun geld te laten uitgeven om kandidaten te blokkeren, het verrassend goed werkt. Het garandeert dat grote groepen een eerlijk deel krijgen van het "goede" spul en het "anti-spul".
PAV (Proportional Approval Voting): Dit is een regel die probeert de totale tevredenheid te maximaliseren. De auteurs bewezen dat zelfs met negatieve stemmen, PAV nog steeds een zeer hoog niveau van tevredenheid geeft, al is het niet perfect. Ze toonden wiskundig aan dat er een kleine, onvermijdelijke kloof in perfectie is (een "verlies" van ongeveer 1,5 punt in tevredenheid), maar het is nog steeds erg sterk.
Het "Verspilde Inspanning" probleem: De auteurs ontdekten een grappige fout in deze regels. Soms kan een groep al haar "stemenergie" verspillen aan het vetoën van een kandidaat die toch nooit had kunnen winnen. Het is alsof een menigte "Nee!" roept naar een kandidaat die nul supporters heeft, puur om zich machtig te voelen. Hierdoor raken ze per ongeluk hun energie kwijt om de kandidaat te steunen die ze eigenlijk leuk vinden. Het artikel suggereert een oplossing: laat kiezers alleen kandidaten vetoën die daadwerkelijk in de race zijn.

Bril twee: Het asymmetrische perspectief (De "Representatie Eerst" lens)
Het tweede model draait het scenario om. Hier beargumenteren de auteurs dat een "duim omlaag" anders is dan een "duim omhoog". In deze wereld is je hoofddoel om jouw mensen gekozen te krijgen. Een slechte kandidaat blokkeren is een bonus, maar het telt niet als "representatie". Het is alsof je zegt: "Ik wil mijn vriend op het team hebben, en ik wil ervoor zorgen dat de pestkop er niet in komt, maar de zetel van mijn vriend is de echte prijs."

Om dit aan te pakken, hebben de auteurs een nieuw concept uitgevonden genaamd een "Opposition Tax" (tegenstem-belasting). Stel je voor dat elke keer dat een kandidaat veel mensen heeft die "nee" tegen hem stemmen, zijn prijskaartje omhoog gaat. Als een kandidaat geliefd is bij 10 mensen maar gehaat wordt door 9, wordt hij erg duur om te verkiezen. Dit dwingt het stemsysteem om voorzichtig te zijn.

Ze pasten MES (Method of Equal Shares) en Phrümén's Rule aan met deze belasting.
Het resultaat? Deze "belaste" regels zorgen er succesvol voor dat grote groepen hun eerlijke deel aan vertegenwoordigers krijgen en dat groepen met sterke oppositie erin slagen de kandidaten te blokkeren die zij haten.
Echter, ze vonden dat PAV (de geluk-maximaliseerder) volledig vastloopt in dit model. De wiskunde bewijst dat je PAV niet kunt aanpassen om zowel aan de behoefte aan representatie als aan de behoefte aan blokkeren te voldoen. Het is een doodlopende weg voor deze specifieke manier van denken.

De Conclusie
Het artikel zegt niet alleen "hier is een nieuwe regel". Het bewijst dat de manier waarop we een "nee"-stem interpreteren alles verandert. Als je erop uit bent om "goed" en "slecht" gelijkwaardig te balanceren, gebruik dan het Symmetrische model met de aangepaste Phragmén- of PAV-regels. Als je er meer op gericht bent dat jouw groep zetels aan tafel krijgt, gebruik dan het Asymmetrische model met de "Opposition Tax"-regels.

De auteurs wijzen er ook op dat hoewel we geweldige regels hebben voor deze scenario's, er nog steeds openstaande vragen zijn. Kunnen we bijvoorbeeld de PAV-regel perfect efficiënt maken in het eerste model? Ze vermoeden dat de kleine kloof in perfectie echt is, maar ze hebben nog niet bewezen dat het onmogelijk is om die te dichten. En in het tweede model geven ze toe dat hun regels soms voortijdig moeten stoppen om te kunnen werken, waardoor er zetels leeg blijven staan, wat een probleem is dat ze hopen dat toekomstige onderzoekers zullen oplossen.

Uiteindelijk is dit werk een routekaart. Het laat zien dat wanneer we de complexiteit van "nee"-stemmen toevoegen aan onze democratie, we niet zomaar de oude kaarten kunnen gebruiken. We hebben nieuwe instrumenten, nieuwe belastingen en nieuwe manieren van denken nodig om ervoor te zorgen dat iedereen een eerlijk stuk van de pizza krijgt, of ze het nu aan het eten zijn of alleen maar proberen de korst weg te houden.

Technische Samenvatting: Proportionele Commissieverkiezingen met Positieve en Negatieve Stemmen

1. Probleemstelling

Het artikel behandelt het probleem van proportionele commissieverkiezingen in een setting waar kiezers de mogelijkheid hebben om positieve stemmen (goedkeuringen), negatieve stemmen (afwijzingen/veto's) of onthoudingen uit te brengen. Hoewel proportionele vertegenwoordiging een goed bestudeerd onderwerp is binnen de klassieke approval voting (waarbij kiezers alleen kandidaten goedkeuren), creëert de introductie van negatieve stemmen aanzienlijke conceptuele en technische uitdagingen.

De kern van de moeilijkheid ligt in het definiëren van proportionaliteit wanneer kiezers de macht hebben om kandidaten te blokkeren. Een rechtstreekse aanpak, zoals het selecteren van kandidaten op basis van netto goedkeuringsscores (goedkeuringen minus afwijzingen), faalt in het bieden van eerlijke vertegenwoordiging. Zoals geïllustreerd in het motiverende voorbeeld van het artikel, kan een eenvoudige netto-scoreregel kandidaten kiezen die een grote minderheid sterk afwijst, of omgekeerd, kandidaten niet kiezen die een minderheid steunt omdat de afwijzing door de meerderheid de goedkeuring overstemt. Het artikel streeft ernaar om proportionaliteit in deze ternaire stemomgeving te formaliseren en standaard stemregels (Phragmén's regel, Proportional Approval Voting (PAV) en de Method of Equal Shares (MES)) onder deze nieuwe condities te evalueren.

2. Methodologie en Raamwerk

De auteurs stellen twee verschillende nutmodellen voor om de betekenis van negatieve stemmen te interpreteren, wat leidt tot verschillende axiomatische definities van proportionaliteit en aanpassingen van de regels.

2.1 Het Symmetrische Nutmodel

In dit model ontleent een kiezer een gelijke mate van nut aan het verkiezen van een goedgekeurde kandidaat en het uitsluiten van een afgewezen kandidaat.

Formalisering: De auteurs introduceren "virtuele negatieve kandidaten" ( $\neg c$ ) voor elke echte kandidaat $c$ . Een haalbaar resultaat moet voor elke kandidaat precies één van $\{c, \neg c\}$ selecteren, onderworpen aan een beperking dat maximaal $k$ positieve kandidaten worden geselecteerd.
Proportionaliteitsaxioma's: Het artikel definieert $\ell$ -cohesiviteit voor een groep kiezers $S$ $S$ . Een groep is $\ell$ $ℓ$ -cohesief als de omvang van de groep relatief aan het electoraat een proportioneel deel rechtvaardigt van de "gemeenschappelijke tevredenheid" afgeleid van zowel gemeenschappelijk goedgekeurde kandidaten ( $A_S$ $A_{S}$ ) als gemeenschappelijk afgewezen kandidaten ( $D_S$ $D_{S}$ ).
- Proportional Justified Representation (PJR): Zorgt ervoor dat de groep als geheel een proportioneel deel van de vertegenwoordiging verkrijgt.
- Proportionality Degree: Garandeert een hoge gemiddelde tevredenheid voor de groep.
Regelaanpassingen:
- Phragmén's Regel: Aangepast om kiezers in staat te stellen hun accumulerende budgetten te besteden aan het ofwel verkiezen van een kandidaat, ofwel het veto uitspreken over (het kopen van de negatieve tegenhanger van) een kandidaat.
- Proportional Approval Voting (PAV): Aangepast om de som van harmonische scores te maximaliseren op basis van het totaal aantal "bevredigde" kandidaten (zowel gekozen positieven als uitgesloten negatieven).

2.2 Het Asymmetrische Nutmodel

In dit model geven kiezers primair om vertegenwoordigd worden door gekozen kandidaten. Afwijzingen dienen enkel om de verkiezing van ongewenste kandidaten te hinderen, maar genereren geen direct nut dat gelijkstaat aan het verkiezen van een voorkeurskandidaat.

Formalisering: Positieve en negatieve stemmen worden apart behandeld. Het recht op vertegenwoordiging is onderscheidend van het recht om te blokkeren.
Proportionaliteitsaxioma's:
- Extended Justified Positive Representation (EJPR) / PJPR: Analoog aan standaard EJR/PJR, maar aangepast voor de aanwezigheid van tegenstanders. Een groep $S$ is $\ell$ -positief-cohesief als zij groot genoeg is om de vetomacht van tegenstanders te overwinnen en nog steeds $\ell$ vertegenwoordigers op te eisen.
- Groepsveto: Een nieuw axioma dat garandeert dat als een voldoende grote groep een verzameling kandidaten $T$ afwijst, het aantal kandidaten uit $T$ die verkozen worden, beperkt blijft.
Regelaanpassingen:
- Tax-MES en Tax-Phragmén: Deze regels introduceren een "tegenstandersbelasting" (opposition tax). De kosten voor het verkiezen van een kandidaat $c$ worden verhoogd op basis van de ratio van zijn supporters tot zijn tegenstanders ( $p(c) = |A_c| / (|A_c| - |D_c|)$ ). Dit maakt het duurder voor supporters om kandidaten te verkiezen die sterke oppositie ondervinden, wat de invloed van negatieve stemmen effectief in evenwicht brengt.

3. Belangrijkste Bijdragen en Resultaten

3.1 Resultaten in het Symmetrische Nutmodel

Phragmén's Regel: De auteurs bewijzen dat de aangepaste Phragmén-regel voldoet aan PJR en een sterke garantie biedt op de proportionality degree (gemiddelde tevredenheid) voor sterk $\ell$ -cohesieve groepen. De regel werkt in polynomiale tijd.
Proportional Approval Voting (PAV): Het artikel levert een technisch bewijs dat PAV bijna optimale proportionaliteitsgaranties biedt. Specifiek, voor elke $\ell$ $ℓ$ -cohesieve groep is de gemiddelde tevredenheid ten minste $(1 - \epsilon)\ell - 3/2$ $(1 - ϵ) ℓ - 3/2$ , waarbij $\epsilon$ $ϵ$ een kleine term is afhankelijk van $k$ $k$ .
- Tightness: De auteurs demonstreren via een tegenvoorbeeld dat de additieve constante van $3/2$ noodzakelijk is; PAV kan geen gemiddelde tevredenheid van $\ell - 1$ garanderen in deze setting.
Outcome-Relevant Vetoes: De auteurs identificeren een fenomeen waarbij kiezers invloed "verbruiken" om kandidaten te blokkeren die toch al geen kans hadden om te winnen, wat onbedoeld hun vermogen vermindert om voorkeurskandidaten te verkiezen. Ze stellen Counterfactual Veto Deletion (CVD) en Maximal Veto Deletion (MVD) voor om dit aan te pakken. Ze tonen aan dat standaard PAV en Phragmén niet "counterfactueel stabiel" zijn (dat wil zeggen, ze voldoen niet van nature aan deze verwijderingseigenschappen), maar stellen sequentiële verfijningen voor (bijv. Sequential Counterfactual Phragmén) om verspilde veto-invloed te beperken.

3.2 Resultaten in het Asymmetrische Nutmodel

Tax-MES en Tax-Phragmén: De auteurs tonen aan dat het aanpassen van MES en Phragmén met een tegenstandersbelasting toestaat dat zij tegelijkertijd voldoen aan EJPR (voor Tax-MES) of PJPR (voor Tax-Phragmén) én aan het Groepsveto-axioma.
Onmogelijkheid voor Thiele-regels: Een belangrijk negatief resultaat wordt gepresenteerd met betrekking tot Generalized Thiele Rules (de klasse waartoe PAV behoort). De auteurs bewijzen dat geen enkele gegeneraliseerde Thiele-regel EJPR kan voldoen terwijl deze ook negatieve stemmen respecteert (d.w.z. een negatieve garantie biedt zoals Groepsveto). Dit impliceert dat PAV niet op natuurlijke wijze kan worden uitgebreid naar de asymmetrische setting om zowel positieve als negatieve rechtvaardigheidscriteria tegelijkertijd te bevredigen.

4. Betekenis en Claims

Het artikel beweert de eerste te zijn die theoretische garanties biedt voor proportionele vertegenwoordiging in commissieverkiezingen met zowel positieve als negatieve stemmen. Voorgaand werk op dit gebied (bijv. Talmon en Page) vertrouwde op simulaties en stelde geen axiomatische voldoening vast voor standaard regels.

De auteurs benadrukken dat hun werk de fundamentele distinctie belicht in hoe negatieve stemmen geïnterpreteerd moeten worden:

Symmetrisch: Waarbij blokkeren even waardevol is als verkiezen. Dit is geschikt voor het aggregeren van meningen (bijv. het selecteren van stellingen of beleidsstukken).
Asymmetrisch: Waarbij blokkeren een defensief mechanisme is, maar vertegenwoordiging het primaire doel is. Dit is geschikt voor het verkiezen van vertegenwoordigers (bijv. participatief budgetteren of wetgevende organen).

Het artikel concludeert dat het verder gaan dan binaire approval-stembiljetten werkelijk nieuwe proportionaliteitsvragen oproept die verschillende axiomatische kaders en regelontwerpen vereisen. Het identificeert openstaande problemen, zoals het dichten van de kloof in de PAV-proportionaliteitsgarantie in het symmetrische model, het uitbreiden van de analyse naar intersecties van matroïden, en het ontwerpen van efficiënt berekenbare regels die counterfactueel stabiel zijn.