🔢 mathematics

Counting Votes with Multisets

Dit artikel demonstreert hoe de categorische eigenschappen van multisetten—specifiek hun structuur als een vrije commutatieve monoïde, functor en monade—effectief kunnen worden toegepast om uitkomsten in diverse stemsystemen, waaronder instant-runoff, De Borda en single transferable vote, af te leiden en uit te drukken.

Oorspronkelijke auteurs: Bart Jacobs, Michael Johnson, Richard Buckland

Gepubliceerd 2026-06-05

📖 5 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Bart Jacobs, Michael Johnson, Richard Buckland

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 stemming organiseert, maar in plaats van papieren stembiljetten één voor één te tellen, beheer je een enorme zak met gekleurde knikkers. Dit is de kern van het idee van het paper: Multisets.

Hier is een eenvoudige uiteenzetting van wat de auteurs, Bart Jacobs, Michael Johnson en Richard Buckland voorstellen, gebruikmakend van alledaagse analogieën.

1. De Magische Zak (Wat is een Multiset?)

Normaal gesproken is een "verzameling" (set) in de wiskunde als een lijst met unieke items. Als je een verzameling fruit hebt, kun je een appel en een banaan hebben, maar je kunt niet "twee appels" in de definitie van de verzameling hebben; het is gewoon "appels".

Een Multiset is als een zak met knikkers.

Als je 4 rode knikkers, 3 blauwe knikkers en 2 groene knikkers in een zak doet, maakt de volgorde niet uit.
Wat er wel toe doet, is de telling.
De auteurs schrijven dit als: 4|R⟩ + 3|B⟩ + 2|G⟩.
Bij een verkiezing vertegenwoordigt deze zak de stemmen. Het maakt niet uit wie er heeft gestemd of wanneer er is gestemd; het enige dat telt is dat er 4 stemmen zijn voor Rood, 3 voor Blauw en 2 voor Groen.

Waarom is dit goed?
Als je stemmen in een lijst bijhoudt (zoals een spreadsheet), kan de volgorde van de lijst per ongeluk onthullen wie op wie heeft gestemd. Maar als je alles gewoon in een "multiset-zak" stort, verdwijnt de volgorde. Je krijgt een zuivere, anonieme telling die onmogelijk terug te leiden is naar individuen.

2. De Drie Stemspellen

Het paper laat zien hoe deze "zak met knikkers"-aanpak drie complexe stemsystemen veel gemakkelijker begrijpelijk en berekenbaar maakt. Ze gebruiken hiervoor wat ingewikkelde wiskundige termen (zoals "functoren" en "monaden"), maar beschouw deze als regels voor het verplaatsen van knikkers.

Spel A: Instant-Runoff Voting (Het "Eliminatie"-spel)

Hoe het werkt: Kiezers rangschikken kandidaten (1e, 2e, 3e). Als niemand 50% van de stemmen krijgt, wordt de persoon met de minste stemmen eruit gegooid. Hun stemmen worden dan gegeven aan de tweede keuze van de kiezers.
De Multiset-truc: Stel je voor dat je zak met stembiljetten een stapel lijsten is.
1. Je kijkt naar de bovenkant van elke lijst (de 1e keuze) en telt de knikkers.
2. Je vindt de verliezer (Kandidaat C).
3. Je gebruikt een "magische gum" (een functor genoemd in het paper) om Kandidaat C van elke lijst in de zak te verwijderen.
4. Nu worden de 2e keuzes de nieuwe 1e keuzes. Je telt de zak opnieuw.
5. Je herhaalt dit tot iemand een meerderheid heeft.
Het voordeel: In plaats van handmatig namen door te strepen op duizenden papieren, pas je de "verwijder"-regel in één keer toe op de hele zak.

Spel B: De Borda Count (Het "Gewogen Punten"-spel)

Hoe het werkt: Kiezers rangschikken kandidaten. De 1e keuze krijgt 4 punten, de 2e krijgt 3 punten, de 3e krijgt 2 punten, enzovoort. Ieders punten worden bij elkaar opgeteld.
De Multiset-truc:
1. In plaats van alleen stemmen te tellen, verander je elk afzonderlijk stembiljet in een mini-zak met gewogen knikkers. Een biljet met "A, B, C, D" wordt 4|A⟩ + 3|B⟩ + 2|C⟩ + 1|D⟩.
2. Je stort al deze mini-zakken in één grote superzak.
3. Je gebruikt een "platmakings"-instrument (een monad genoemd) om alle lagen samen te smelten.
4. Het resultaat is één grote telling van het totaal aantal punten per kandidaat.
Het voordeel: Het verandert een complex wiskundig probleem in een simpele "tel alles bij elkaar op"-operatie.

Spel C: Single Transferable Vote (Het "Overschot Delen"-spel)

Hoe het werkt: Dit wordt gebruikt bij het kiezen van meerdere personen (zoals een gemeenteraad). Er is een "quota" (een minimum aantal stemmen dat nodig is om te winnen). Als een kandidaat veel meer stemmen krijgt dan nodig, moeten de extra stemmen niet verspild worden; ze moeten worden overgedragen naar de volgende keuze van de kiezers.
De Multiset-truc:
1. Stel dat een kandidaat wint met 93 stemmen, terwijl de quota slechts 63 is. Er zijn 30 "overschot"-stemmen.
2. In plaats van willekeurig 30 papieren te kiezen om over te dragen (wat oneerlijk zou zijn), stellen de auteurs een wiskundige truc voor: Devalueer de stemmen.
3. Je neemt alle 93 stemmen voor die winnaar en verklein ze met een specifieke fractie (zoals het verkleinen van een foto).
4. Je "verwijdert" vervolgens de winnaar uit de lijsten en draagt deze "verkleinde" stemmen over naar de volgende kandidaten.
5. Dit zorgt ervoor dat de wiskunde perfect met breuken van stemmen kan omgaan, zodat er geen stemmen verloren gaan of dubbel worden geteld.

3. Waarom is dit belangrijk?

De auteurs proberen niet een nieuw type wiskunde uit te vinden; ze laten zien dat oude wiskunde (Categorietheorie) het perfecte instrument is voor moderne stemmingen.

Transparantie: Omdat multisets de volgorde van stemmen negeren, is het telproces wiskundig gegarandeerd anoniem.
Eenvoud: Complexe regels (zoals het verwijderen van verliezers of het splitsen van overschotten) worden eenvoudige operaties op een zak met knikkers.
Correctheid: Als je een computerprogramma schrijft om stemmen te tellen met deze "zak"-regels, is het veel moeilijker om fouten te maken dan wanneer je probeert door stapels papier te ploeteren.

Kortom: Het paper betoogt dat als we stoppen met denken over stemmen als een rommelige stapel papier en ze gaan zien als een zak met gekleurde knikkers, we eenvoudige, krachtige wiskundige regels kunnen gebruiken om ze eerlijk, snel en zonder fouten te tellen.

Technische Samenvatting: Stemmen tellen met Multisets

Probleemstelling
Het artikel behandelt de uitdaging van het beschrijven, verklaren en implementeren van algoritmen voor het tellen van stemmen in complexe kiesystemen, met name die met voorkeursstemmen (preferenda) en meerdere gewogen opties. Terwijl eenvoudige verkiezingen (bijv. twee kandidaten, enkele stem) via lijsten of eenvoudige tellingen kunnen worden beschreven, omvatten mechanismen zoals Instant-Runoff Voting (IRV), De Borda-tellingen en Single Transferable Vote (STV) het overdragen van overschotten, het elimineren van kandidaten en het herwegen van voorkeuren. De auteurs stellen dat standaard datatypes zoals lijsten suboptimaal zijn voor deze taken omdat ze een volgorde behouden (die irrelevant is voor de uitkomst) en informatie kunnen lekken over de volgorde van het stemmen, wat de vertrouwelijkheid kan schaden. Bovendien leidt het implementeren van deze algoritmen met lijsten vaak tot complexe, ad-hoc code die moeilijk te verifiëren is op juistheid en transparantie.

Methodologie
Het artikel stelt voor om verkiezingsuitslagen en stemtelprocessen te modelleren met behulp van multisets (verzamelingen waar elementen meerdere keren kunnen voorkomen) in plaats van lijsten. De auteurs maken gebruik van elementaire technieken uit de categorietheorie om de operaties op deze multisets te formaliseren. De kernmethodologie bestaat uit:

Datatype Selectie: Het representeren van een verzameling stemmen als een multiset $N(X)$ (of $M(X)$ voor fractionele stemmen), waarbij de elementen kandidaten zijn en de veelvuldigheden de stemaantallen zijn. Dit abstraheert de volgorde van stemmen weg.
Categorische Structuren: De auteurs maken gebruik van drie specifieke categorische eigenschappen van multisets om stemalgoritmen af te leiden en uit te drukken:
- Commutatief Monoid: Multisets vormen een vrij commutatief monoid, waardoor de optelling van stemaantallen (de unie van urnen) mogelijk is waarbij de volgorde irrelevant is.
- Functorialiteit: De multiset-constructie $N$ fungeert als een functor. Dit maakt het mogelijk om functies gedefinieerd op kandidaten (bijv. "kop van de lijst" of "verwijder kandidaat") te liften naar functies op multisets van lijsten. Deze eigenschap wordt gebruikt om eerste voorkeuren te aggregeren en om stemmen te herverdelen wanneer een kandidaat wordt geëlimineerd.
- Monad Structuur: Multisets vormen een monad met unit (het creëren van een singleton multiset) en flatten (het samenvoegen van een multiset van multisets). Deze structuur wordt gebruikt om gewogen tellingen te verwerken waarbij een enkele stem (een lijst van voorkeuren) wordt gedecomposeerd in gewogen bijdragen aan meerdere kandidaten.

Belangrijkste Bijdragen en Resultaten
Het artikel demonstreert de toepassing van deze categorische structuren via drie specifieke stemmechanismen, waarbij kleine schaalvoorbeelden (geverifieerd via Python-scripts uit de EfProb-bibliotheek) worden gebruikt om de abstractie te illustreren:

Instant-Runoff Voting (IRV):
- Mechanisme: Kandidaten met de minste eerste-voorkeurstemmen worden iteratief geëlimineerd, waarna hun stemmen worden overgedragen naar de volgende voorkeur.
- Toepassing: De auteurs gebruiken de functorialiteit van multisets. De head-functie (selecteren van de eerste voorkeur) en de delete-functie (verwijderen van een geëlimineerde kandidaat) worden gelift om te opereren op de multiset van voorkeurslijsten. Dit maakt het mogelijk om de aggregatie van eerste voorkeuren en de daaropvolgende herverdeling van stemmen uit te drukken als eenvoudige functionele composities ( $N(\text{hd})$ en $N(\text{del } c)$ ), waardoor complexe iteratieve lijstverwerking wordt vermeden.
De Borda Count:
- Mechanisme: Kiezers rangschikken kandidaten, waarbij punten worden toegekend op basis van rang (bijv. 1e plaats krijgt $n$ punten, 2e krijgt $n-1$ , etc.).
- Toepassing: De monad-structuur wordt benut. Elke voorkeurslijst wordt in kaart gebracht naar een multiset van gewogen kandidaten (via unit en puntentoekenning). De verzameling van al deze gewogen multisets vormt een multiset van multisets. De flatten-operatie condenseert deze structuur vervolgens tot een enkele multiset van totale scores, waardoor de gewogen bijdragen efficiënt worden opgeteld.
Single Transferable Vote (STV):
- Mechanisme: Gebruikt voor kiesdistricten met meerdere zetels. Kandidaten die een quotum overschrijden (Droop-quorum) worden gekozen, en hun stemoverschot wordt overgedragen naar de volgende voorkeur.
- Toepassing: De auteurs breiden het datatype uit naar fractionele multisets ( $M(X)$ ) om de "overdrachtswaarde" (een fractie van een stem) te verwerken. Ze maken gebruik van de monoid-structuur voor aftrekking (het devalueren van stemmen die gebruikt zijn om een kandidaat te kiezen) en de functorialiteit voor herverdeling. Het proces wordt gemodelleerd als een iteratieve aftrekking van de door de gekozen kandidaat gewogen quota-stemmen van de totale multiset, gevolgd door de verwijdering van de gekozen kandidaat en de overdracht van de resterende fractionele gewichten naar de volgende voorkeur.

Betekenis en Claims
Het artikel claimt bescheiden dat de primaire bijdrage niet ligt in diepe categorietheorie, maar in de herkenning en exploitatie van bestaande categorische structuren (functoren, monaden, monoiden) binnen het domein van stemsystemen. De auteurs stellen dat:

Abstractie: Het beschrijven van deze algoritmen in termen van multisets maakt ze "abstract", waardoor complexe mechanismen in enkele regels wiskundige notatie kunnen worden beschreven.
Correctheid en Transparantie: De multiset-benadering garandeert inherent stabiliteit onder de permutatie van stemmen (onafhankelijkheid van volgorde), een fundamentele vereiste voor eerlijke tellingen. Het scheidt de logica van het tellen van de fysieke of sequentiële representatie van stembiljetten.
Implementatie: De abstractie vergemakkelijkt de creatie van bewijsbaar correcte implementaties in functionele programmeertalen (bijv. Haskell) die multisets ondersteunen.
Toegankelijkheid: Het artikel beoogt deze categorische technieken toegankelijk te maken voor niet-experts, door aan te tonen dat dit praktische instrumenten zijn voor het waarborgen van transparantie en nauwkeurigheid in verkiezingsuitslagen, in plaats van louter theoretische constructen.

Het artikel concludeert dat hoewel er vereenvoudigende aannames zijn gedaan (bijv. uniforme lijstlengtes), de multiset-benadering een robuust kader biedt voor toekomstige referentie-implementaties en de analyse van verkiezingsalgoritmen, waarmee men verder gaat dan de historische afhankelijkheid van het sorteren van fysieke stembiljetten.