🤖 AI

Constituency Optimisation Through Hamiltonian Representation Of Mandates (COTHROM): Algorithmic Redistricting of Irish Election Boundaries

Dit artikel introduceert COTHROM, een nieuw computationeel raamwerk dat statistische fysica en multi-criteria besluitvormingsanalyse toepast om de herindeling van de Ierse kiesdistricten onder het PR-STV-systeem algoritmisch te optimaliseren door concurrerende constitutionele doelstellingen in evenwicht te brengen via een Potts Hamiltonian-model.

Oorspronkelijke auteurs: Ruaidhrí Campion, Matthew Fenlon, Joshua Cooney Mercedal, Casey Farren-Colloty, Eliza Somerville, Michael A. J. Mitchell

Gepubliceerd 2026-06-23

📖 5 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Ruaidhrí Campion, Matthew Fenlon, Joshua Cooney Mercedal, Casey Farren-Colloty, Eliza Somerville, Michael A. J. Mitchell

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 de kaart van Ierland voor als een gigantische legpuzzel bestaande uit duizenden kleine stukjes die "Electoral Divisions" (verkiezingsdistricten) worden genoemd. Elke paar jaar moet de overheid de lijnen die deze stukjes groeperen tot grotere "constituencies" (kiesdistricten) opnieuw trekken, zodat mensen voor hun vertegenwoordigers kunnen stemmen.

De regels voor deze puzzel zijn strikt maar vaag. De Grondwet zegt:

Rechtvaardigheid: Iedereen moet ongeveer hetzelfde aantal stemmen hebben (Proportionele Vertegenwoordiging).
Vorm: De stukjes moeten dicht bij elkaar gepakt zijn, niet uitgerekt als een slang (Compactheid).
Grenzen: Probeer geen provinciegrenzen te doorkruisen (zoals een graaf in tweeën splitsen).
Connectiviteit: Alle stukjes in een kiesdistrict moeten met elkaar verbonden zijn.

Het probleem is dat deze regels vaak met elkaar in botsing komen. Als je een kiesdistrict perfect rechtvaardig maakt qua populatie, moet je misschien een provinciegrens doorsnijden. Als je de provinciegrenzen perfect houdt, kan de populatie uit balans raken. Momenteel tekenen mensen deze kaarten met de hand, waarbij zij subjectieve oordelen vellen om deze conflicten te balanceren.

De oplossing van het artikel: COTHROM
De auteurs creëerden een computerprogramma genaamd COTHROM (Constituency Optimisation Through Hamiltonian Representation Of Mandates) om deze puzzel automatisch op te lossen. Hier is hoe ze dat deden, met behulp van enkele leuke analogieën:

1. De "Magnetische" Kaart (De Natuurkundige Analogie)

In plaats van de kaart als een politiek probleem te beschouwen, behandelden de auteurs het als een natuurkundig probleem. Stel je voor dat elk klein puzzelstukje (Electoral Division) een klein magneetje is.

Elk magneetje wil bij een specifieke groep (kiesdistrict) horen.
De "regels" van de verkiezingen (rechtvaardigheid, vorm, grenzen) werken als magnetische krachten.
- Als een groep te groot of te klein is, voelen de magneetjes een "duw" om te herschikken.
- Als een groep uitgerekt is, voelen de magneetjes een "trek" om weer in een compacte bal te springen.
- Als een groep een provinciegrens oversteekt, voelen de magneetjes een "wrijving"-straf.

De computer berekent de totale "energie" van de kaart. Een kaart met slechte grenzen heeft een hoge energie (zoals een gespannen veer), en een goede kaart heeft een lage energie (zoals een ontspannen veer). Het doel is om de staat te vinden waarin de kaart het meest "ontspannen" is.

2. Het "Afkoelingsproces" (Simulated Annealing)

Hoe vind je de beste arrangement tussen miljarden mogelijkheden? Je kunt ze niet allemaal controleren.
De auteurs gebruiken een techniek genaamd Simulated Annealing, wat lijkt op het afkoelen van gesmolten metaal.

Heet: Stel je voor dat de magneetjes wild trillen (hoge temperatuur). Ze springen willekeurig rond en proberen vreemde, rommelige kaartvormen uit. Dit helpt de computer om uit "slechte" lokale oplossingen te ontsnappen (zoals een kaart die er oké uitziet, maar niet de beste is).
Afkoelen: Langzaam verlaagt de computer de temperatuur. De magneetjes stoppen met wild springen en beginnen zich in stabiele posities te nestelen.
Bevroren: Tegen de tijd dat het koud is, hebben de magneetjes zich genesteld in de meest efficiënte, laag-energetische arrangement mogelijk.

3. Het "Menu van Afwegingen" (Pareto Optimaliteit)

Hier komt het lastige deel: de wet zegt niet hoeveel waarde je moet hechten aan rechtvaardigheid versus provinciegrenzen. Moeten we 50% om rechtvaardigheid en 50% om grenzen geven? Of 90% rechtvaardigheid?
In plaats van één "perfect" evenwicht te raden, draaiden de auteurs de computer vele malen met verschillende "gewichten" (zoals het draaien aan een knop).

Ze gaven je niet slechts één kaart.
Ze gaven ze een menu van de best mogelijke kaarten (een Pareto Front).
Op dit menu is elke kaart een "niet-gedomineerde" oplossing. Dit betekent: "Als je meer rechtvaardigheid wilt, moet je minder respect voor provinciegrenzen accepteren. Als je meer respect voor grenzen wilt, moet je minder rechtvaardigheid accepteren."
Dit maakt de afwegingen zichtbaar. Het laat de besluitvormers precies zien wat ze opgeven om iets anders te krijgen.

4. Wat ze vonden (De Cork-test)

Ze testten dit op County Cork.

Ze vergeleken hun door de computer gegenereerde kaarten met de werkelijke juridische kaarten die door de Kiescommissie in 2023 zijn getekend.
Het resultaat: Voor bijna elke manier van het wegen van de regels, vond de computer kaarten die beter waren dan de door mensen getekende kaarten. De computerkaarten hadden minder populatie-onbalans en waren compacter, terwijl ze nog steeds de regels respecteerden.
Noot: De auteurs geven toe dat hun computer geen rekening hield met zaken als "gemeenschapsgevoelens" of specifieke rivieren, die mensen wel meenemen. Maar puur op de wiskundige regels van de Grondwet, won de computer.

Waarom dit ertoe doet

Het artikel betoogt dat deze methode het proces transparant en eerlijk maakt.

Geen Verborgen Oordelen: Momenteel trekken mensen lijnen en zeggen: "Dit is eerlijk." Niemand kan bewijzen of er een betere kaart bestaat.
Controleerbaarheid: Met deze code kan iedereen de wiskunde zien. Je kunt zeggen: "Als we provinciegrenzen zóveel waarde hechten, dan is dit de best mogelijke kaart."
Reproduceerbaarheid: Iedereen kan dezelfde code draaien en hetzelfde resultaat krijgen, wat de giswerkzaamheid bij herindeling wegneemt.

Kortom, de auteurs hebben een "magnetische puzzeloplosser" gebouwd die ons precies laat zien hoe moeilijk het is om de regels van de Ierse verkiezingen te balanceren, en bewijst dat computers betere, wiskundig perfectere kaarten kunnen vinden dan het huidige handmatige proces.

Technische Samenvatting: Constituency Optimisation Through Hamiltonian Representation Of Mandates (COTHROM)

Probleemstelling
Het artikel behandelt de computationele uitdaging van het herindelen van kiesdistricten in Ierland onder het Proportional Representation Single Transferable Vote (PR-STV) systeem. Dit proces wordt beheerst door de Ierse Grondwet en de Electoral Reform Act 2022, die specifieke "harde" beperkingen voorschrijven (bijv. 171–181 totale zetels, kiesdistricten van 3–5 zetels, contiguïteit) en "zachte" doelstellingen (bijv. evenredige vertegenwoordiging, het vermijden van schendingen van provinciegrenzen, compactheid en geografische overwegingen).

De kern van de moeilijkheid ligt in de combinatorische explosie van mogelijke grensconfiguraties en de inherente spanning tussen zachte doelstellingen. Een configuratie die bijvoorbeeld strikt de provinciegrenzen volgt, kan resulteren in significante afwijkingen van de evenredige vertegenwoordiging, terwijl een wiskundig optimale kaart voor evenredigheid talrijke schendingen van provinciegrenzen kan vereisen. Momenteel tekent de Electoral Commission (EC) grenzen handmatig, een proces dat een systematische basis mist om afwegingen te vergelijken of aan te tonen dat een voorgesteld plan nabij-optimaal is ten opzichte van de enorme ruimte van toelaatbare alternatieven.

Methodologie
De auteurs stellen COTHROM voor, een computationeel kader dat het probleem van de herindeling van kiesdistricten modelleert met behulp van statistische fysica, specif seguito de Potts-modellen.

Hamiltoniaanse Formulering:
De juridische en grondwettelijke vereisten worden gecodeerd als termen in een Hamiltoniaan (energiefunctie), $H(\sigma)$ , waarbij $\sigma$ een specifieke configuratie van electorale divisies (ED's) vertegenwoordigt die aan kiesdistricten zijn toegewezen. De totale energie is een gewogen som van specifieke objectieve functies:
- $H_P$ (Evenredige Vertegenwoordiging): Bestraft afwijkingen van de populatie van een kiesdistrict van het nationale gemiddelde per zetel.
- $H_C$ (Contiguïteit): Bestraft kiesdistricten die verdeeld zijn in meerdere niet-verbonden componenten.
- $H_D$ (Compactheid): Een discrete cut-edge metriek die niet-globulaire vormen bestraft (stimuleert compactheid boven "salamandering").
- $H_B$ (Provinciegrenzen): Telt het aantal ED's dat aan een kiesdistrict is toegewezen en buiten de primaire provincie van dat kiesdistrict valt.
De objectieve functie is $H = \sum J_\alpha (H_\alpha / Z_\alpha)$ , waarbij $J_\alpha$ koppelingsconstanten zijn die het relatieve gewicht van elk doel vertegenwoordigen en $Z_\alpha$ normalisatiefactoren zijn.
Optimalisatie via Simulated Annealing:
Om configuraties te vinden die $H$ minimaliseren, maken de auteurs gebruik van Markov Chain Monte Carlo (MCMC)-methoden met een simulated annealing-schema.
- Algoritme: Een Gibbs sampler wordt gebruikt om de toewijzing van individuele ED's aan kiesdistricten bij te werken. In tegen tegenstelling tot het Metropolis-algoritme, dat willekeurige bewegingen voorstelt, trekt de Gibbs sampler uit de conditionele distributie van alle mogelijke toewijzingen voor een gegeven ED, wat de efficiëntie in hoogenergetische landschappen verbetert.
- Annealing: Het systeem begint op een hoge "temperatuur" (wat brede exploratie van de configuratieruimte toestaat) en wordt langzaam afgekoeld volgens een geometrisch schema ( $T_k = \alpha^k T_0$ ). Dit stelt het systeem in staat om lokale minima te ontsnappen en te convergeren naar een globaal minimum (grondtoestand) dat een optimale set grenzen vertegenwoordigt voor een gegeven set gewichten.
Multi-Criterion Decision Analysis (MCDA):
In het besef dat de relatieve weging van doelstellingen ( $J_\alpha$ ) een normatieve keuze is die niet door de wet wordt voorgeschreven, verbindt het kader zich niet aan een enkele weging. In plaats daarvan maakt het gebruik van MCDA om de Pareto-front in kaart te brengen. Een configuratie is Pareto-optimaal als geen andere configuratie één doelstelling verbetert zonder een andere te verslechteren. Deze aanpak maakt de afwegingen tussen concurrerende grondwettelijke doelen expliciet en kwantificeerbaar.

Belangrijkste Resultaten
Het kader werd gevalideerd met gegevens uit County Cork, een regio met 20 zetels verdeeld over vijf kiesdistricten.

Convergentie: Het systeem vertoonde duidelijke faseovergangen, waarbij willekeurige initiële configuraties "kristalliseerden" in gestructureerde, contigueïteit vertonende kiesdistricten naarmate de temperatuur daalde.
Optimaliteit: Bij het vergelijken van de 2023 EC-grenzen met de door COTHROM gegenereerde Pareto-front, bleken de bestaande wettelijke grenzen gedomineerd te zijn. COTHROM produceerde consequent configuraties met een aanzienlijk lagere variantie van de evenredige vertegenwoordiging voor hetzelfde niveau van compactheid, of betere compactheid voor dezelfde mate van evenredige vertegenwoordiging.
Provinciegrenzen: In een testgeval met middelende provincies demonstreerde het kader het vermogen om evenredige vertegenwoordiging af te wegen tegen strikte naleving van provinciegrenzen. Door de koppelingsconstante voor provinciegrenzen ( $J_B$ ) te verhogen, produceerde het algoritme kaarten die de 2023-grenzen bijna exact reproduceerden, maar tegen de kosten van een hogere populatievariantie.
Pareto-analyse: De studie toonde aan dat de huidige EC-grenzen niet op de Pareto-front liggen, wat suggereert dat verbeteringen in representatie of compactheid mogelijk zijn zonder andere doelstellingen op te offeren, mits de specifieke afwegingen worden geaccepteerd.

Betekenis en Claims
Het artikel beweert het eerste computationele kader te presenteren dat specifiek is ontworpen voor de Ierse herindeling van kiesdistricten en dat systematisch optimaliseert over meerdere grondwettelijke vereisten. De belangrijkste bijdragen zijn:

Transparantie en Controleerbaarheid: Door juridische mandaten te coderen in een expliciet wiskundig model, maakt het kader het mogelijk om resultaten te reproduceren en te inspecteren hoe specifieke wegingen de uitkomsten beïnvloeden. Dit staat in contrast met het huidige handmatige proces, waarbij de optimaliteit van een plan niet rigoureus kan worden aangetoond.
Expliciete Kwantificering van Afwegingen: Het gebruik van Pareto-front-analyse verplaatst het debat van impliciete deliberatie naar expliciete kwantificering. Het stelt besluitvormers in staat om precies te zien hoeveel evenredige vertegenwoordiging moet worden opgeofferd om een specifieke verbetering in compactheid of de integriteit van provinciegrenzen te verkrijgen.
Algoritmische Governance: Het werk suggereert een pad naar "algoritmische governance" waarbij de EC wiskundig geoptimaliseerde startpunten voor publieke consultatie kan genereren, waardoor de uiteindelijke grenzen niet alleen voldoen aan de wet, maar ook nabij-optimaal zijn binnen het gedefinieerde juridische landschap.
Beperkingen en Reikwijdte: De auteurs merken bescheiden op dat hun huidige model nog geen complexe geografische kenmerken (bergen, rivieren) of de genuanceerde inzichten uit publieke consultaties over gemeenschapsbanden bevat, maar zij stellen dit voor als toekomstige uitbreidingen. Zij erkennen ook dat de definitie van een "schending van een provinciegrens" momenteel een vereenvoudigde heuristiek is gebaseerd op oppervlaktefracties, die verdere verfijning vereist om overeen te komen met de specifieke juridische interpretaties van de EC.

Samenvattend biedt COTHROM een rigoureus, op natuurkunde gebaseerd instrument om het complexe, multi-objectieve optimalisatielandschap van de Ierse herindeling van kiesdistricten te navigeren, en biedt het een methode om kiesdistricten te genereren, te vergelijken en te rechtvaardigen die beter voldoen aan de grondwettelijke opdracht van evenredige vertegenwoordiging met respect voor geografische beperkingen.