🤖 AI

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

Cet article présente COTHROM, un nouveau cadre computationnel qui applique la physique statistique et l'analyse décisionnelle multicritère pour optimiser algorithmiquement le redécoupage électoral irlandais sous le système PR-STV en équilibrant des objectifs constitutionnels concurrents par un modèle de Hamilton de Potts.

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

Publié 2026-06-23

📖 5 min de lecture🧠 Analyse approfondie

CC BY 4.0

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

Article original sous licence CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Ceci est une explication générée par l'IA de l'article ci-dessous. Elle n'a pas été rédigée ni approuvée par les auteurs. Pour une précision technique, consultez l'article original. Lire la clause de non-responsabilité complète

Imaginez la carte de l'Irlande comme un gigantesque puzzle composé de milliers de minuscules pièces appelées « Divisions Électorales ». Tous les quelques années, le gouvernement doit redessiner les lignes qui regroupent ces pièces en circonscriptions plus larges afin que les gens puissent voter pour leurs représentants.

Les règles de ce puzzle sont strictes mais vagues. La Constitution stipule que :

Équité : Chaque personne devrait avoir à peu près le même nombre de voix (Représentation Proportionnelle).
Forme : Les pièces doivent être regroupées de manière compacte, et non étirées comme un serpent (Compacité).
Frontières : Essayer de ne pas couper les limites des comtés (comme ne pas diviser un comté en deux).
Connectivité : Toutes les pièces d'une circonscription doivent se toucher entre elles.

Le problème est que ces règles s'affrontent souvent. Si vous rendez une circonscription parfaitement équitable en termes de population, vous devrez peut-être couper une ligne de comté. Si vous préservez parfaitement les lignes des comtés, la population pourrait devenir déséquilibrée. Actuellement, les humains dessinent ces cartes à la main, prenant des décisions arbitraires pour équilibrer ces conflits.

La solution du papier : COTHROM
Les auteurs ont créé un programme informatique appelé COTHROM (Constituency Optimisation Through Hamiltonian Representation Of Mandates) pour résoudre ce puzzle automatiquement. Voici comment ils ont procédé, en utilisant quelques analogies amusantes :

1. La carte « Magnétique » (L'analogie de la physique)

Au lieu de considérer la carte comme un problème politique, les auteurs l'ont traitée comme un problème de physique. Imaginez que chaque minuscule pièce du puzzle (Division Électorale) est un petit aimant.

Chaque aimant veut appartenir à un groupe spécifique (circonscription).
Les « règles » de l'élection (équité, forme, frontières) agissent comme des forces magnétiques.
- Si un groupe est trop grand ou trop petit, les aimants ressentent une « poussée » pour se réorganiser.
- Si un groupe est étiré, les aimants ressentent une « traction » pour se rétracter en une boule compacte.
- Si un groupe traverse une limite de comté, les aimants ressentent une « friction » (pénalité).

L'ordinateur calcule l'« énergie » totale de la carte. Une carte avec de mauvaises frontières a une énergie élevée (comme un ressort tendu), et une bonne carte a une énergie faible (comme un ressort détendu). Le but est de trouver l'état où la carte est la plus « détendue ».

2. Le processus de « Refroidissement » (Recuit simulé)

Comment trouver la meilleure disposition parmi des milliards de possibilités ? On ne peut pas toutes les vérifier.
Les auteurs utilisent une technique appelée Recuit Simulé (Simulated Annealing), qui s'apparente au refroidissement du métal en fusion.

Chaud : Imaginez que les aimants vibrent violemment (température élevée). Ils sautent de manière aléatoire, essayant des formes de cartes désordonnées et chaotiques. Cela aide l'ordinateur à échapper aux « mauvaises » solutions locales (comme une carte qui semble correcte mais qui n'est pas la meilleure).
Refroidissement : Lentement, l'ordinateur abaisse la température. Les aimants cessent de sauter si sauvagement et commencent à se stabiliser dans des positions fixes.
Gel : Lorsqu'il est froid, les aimants se sont installés dans l'arrangement le plus efficace et de plus basse énergie possible.

3. Le « Menu de compromis » (Optimalité de Pareto)

Voici la partie délicate : la loi ne dit pas à quel point accorder de l'importance à l'équité par rapport aux frontières des comtés. Devons-nous accorder 50 % d'importance à l'équité et 50 % aux frontières des comtés ? Ou 90 % à l'équité ?
Au lieu de deviner un seul équilibre « parfait », les auteurs ont fait tourner l'ordinateur de nombreuses fois avec différents « poids » (comme en tournant un cadran).

Ils ne vous ont pas seulement donné une carte.
Ils vous ont donné un menu des meilleures cartes possibles (appelé Front de Pareto).
Sur ce menu, chaque carte est une solution « non dominée ». Cela signifie : « Si vous voulez plus d'équité, vous devez accepter moins de respect pour les frontières des comtés. Si vous voulez plus de respect pour les frontières, vous devez accepter moins d'équité. »
Cela rend les compromis visibles. Cela montre aux décideurs exactement ce qu'ils sacrifient pour obtenir autre chose.

4. Ce qu'ils ont découvert (Le test de Cork)

Ils ont testé cela sur le comté de Cork.

Ils ont comparé leurs cartes générées par ordinateur aux cartes légales réelles dessinées par la Commission électorale en 2023.
Le résultat : Pour presque toutes les façons de pondérer les règles, l'ordinateur a trouvé des cartes qui étaient meilleures que celles dessinées par les humains. Les cartes de l'ordinateur présentaient moins de déséquilibre de population et étaient plus compactes, tout en respectant les règles.
Note : Les auteurs admettent que leur ordinateur n'a pas pris en compte des éléments comme le « sentiment communautaire » ou des rivières spécifiques, que les humains considèrent. Mais sur le plan purement mathématique des règles de la Constitution, l'ordinateur a gagné.

Pourquoi cela importe

Le papier soutient que cette méthode rend le processus transparent et équitable.

Pas de jugements cachés : Actuellement, des humains dessinent des lignes et disent : « C'est équitable ». Personne ne peut prouver qu'une meilleure carte existe.
Auditabilité : Avec ce code, n'importe qui peut voir les mathématiques. Vous pouvez dire : « Si nous accordons autant d'importance aux frontières des comtés, voici la meilleure carte possible. »
Reproductibilité : N'importe qui peut exécuter le même code et obtenir le même résultat, éliminant ainsi les suppositions de la redistribution électorale.

En résumé, les auteurs ont construit un « solveur de puzzle magnétique » qui nous montre exactement la difficulté de l'équilibre des règles des élections irlandaises, prouvant que les ordinateurs peuvent trouver des cartes plus mathématiquement parfaites que le processus manuel actuel.

Résumé Technique : Optimisation des Circonscriptions par Représentation Hamiltonienne des Mandats (COTHROM)

Énoncé du Problème
L'article traite du défi computationnel de la redistribution des limites électorales en Irlande sous le système de vote préférentiel à un transfert unique (PR-STV). Le processus est régi par la Constitution irlandaise et la loi sur la réforme électorale de 2022, qui imposent des contraintes « strictes » (ex. : 171–181 sièges au total, circonscriptions de 3 à 5 sièges, contiguïté) et des objectifs « souples » (ex. : représentation proportionnelle, évitement de la violation des limites de comtés, compacité et considérations géographiques).

La difficulté centrale réside dans l'explosion combinatoire des configurations de limites possibles et la tension inhérente entre les objectifs souples. Par exemple, une configuration respectant strictement les limites de comté peut entraîner des écarts significatifs par rapport à la représentation proportionnelle, tandis qu'une carte mathématiquement optimale pour la proportionnalité peut nécessiter de nombreuses violations de limites de comtés. Actuellement, la Commission Électorale (CE) dessine les limites manuellement, un processus qui manque d'une base systématique pour comparer les compromis ou démontrer qu'un plan proposé est proche de l'optimal par rapport à l'immense espace des alternatives admissibles.

Méthodologie
Les auteurs proposent COTHROM, un cadre computationnel qui modélise le problème de la redistribution des circonscriptions en utilisant la physique statistique, plus précisément le modèle de Potts.

Formulation Hamiltonienne :
Les exigences légales et constitutionnelles sont encodées sous forme de termes d'un Hamiltonien (fonction d'énergie), $H(\sigma)$ , où $\sigma$ représente une configuration spécifique de divisions électorales (DE) assignées aux circonscriptions. L'énergie totale est une somme pondérée de fonctions d'objectifs spécifiques :

$H_P$ (Représentation Proportionnelle) : Pénalise les écarts de population des circonscriptions par rapport à la moyenne nationale par siège.
$H_C$ (Contiguïté) : Pénalise les circonscriptions divisées en plusieurs composantes déconnectées.
$H_D$ (Compacité) : Une métrique de coupure d'arêtes discrètes pénalisant les formes non globulaires (favorisant la compacité plutôt que le « salamandrage »).
$H_B$ (Limites de Comtés) : Compte les DE assignées à une circonscription qui se situent en dehors du comté principal de ladite circonscription.

La fonction d'objectif est $H = \sum J_\alpha (H_\alpha / Z_\alpha)$ , où $J_\alpha$ sont les constantes de couplage représentant le poids relatif de chaque objectif et $Z_\alpha$ sont les facteurs de normalisation.

Optimisation par Recuit Simulé :
Pour trouver les configurations qui minimisent $H$ , les auteurs emploient des méthodes de Monte Carlo par chaînes de Markov (MCMC) avec un programme de recuit simulé.

Algorithme : Un échantillonneur de Gibbs est utilisé pour mettre à jour l'assignation des circonscriptions pour chaque DE individuelle. Contrairement à l'algorithme de Metropolis qui propose des mouvements aléatoires, l'échantillonneur de Gibbs tire de la distribution conditionnelle de toutes les assignations possibles pour une DE donnée, améliorant ainsi l'efficacité dans les paysages à haute énergie.
Recuit : Le système commence à une « température » élevée (permettant une large exploration de l'espace de configuration) et est lentement refroidi selon un programme géométrique ( $T_k = \alpha^k T_0$ ). Cela permet au système d'échapper aux minima locaux et de converger vers un minimum global (état fondamental) représentant un ensemble de limites optimal pour un ensemble donné de poids.

Analyse de Décision Multi-Critères (MCDA) :
Reconnaissant que le poids relatif des objectifs ( $J_\alpha$ ) est un choix normatif non dicté par la loi, le cadre ne s'engage pas sur une pondération unique. Au lieu de cela, il utilise la MCDA pour cartographier le front de Pareto. Une configuration est Pareto-optimale si aucune autre configuration n'améliore un objectif sans en détériorer un autre. Cette approche rend les compromis entre les objectifs constitutionnels concurrents explicites et quantifiables.

Résultats Clés
Le cadre a été validé en utilisant les données du comté de Cork, une région de 20 sièges répartis sur cinq circonscriptions.

Convergence : Le système a démontré des transitions de phase claires, où les configurations initiales aléatoires se sont « cristallisées » en circonscriptions structurées et contiguës à mesure que la température diminuait.
Optimalité : En comparant les limites de la CE de 2023 au front de Pareto généré par COTHROM, il a été constaté que les limites légales existantes étaient dominées. COTHROM a systématiquement produit des configurations présentant une variance nettement plus faible par rapport à la représentation proportionnelle pour un même niveau de compacité, ou une meilleure compacité pour une même représentation proportionnelle.
Limites de Comtés : Dans un cas de test impliquant des comtés des Midlands, le cadre a démontré sa capacité à échanger la représentation proportionnelle contre un respect strict des limites de comtés. En augmentant la constante de couplage pour les limites de comtés ( $J_B$ ), l'algorithme a produit des cartes reproduisant presque exactement les limites de 2023, mais au prix d'une variance de population plus élevée.
Analyse de Pareto : L'étude a révélé que les limites actuelles de la CE ne se situent pas sur le front de Pareto, suggérant qu'une amélioration de la représentation ou de la compacité est possible sans sacrifier d'autres objectifs, à condition d'accepter les compromis spécifiques.

Signification et Revendications
L'article affirme présenter le premier cadre computationnel spécifiquement conçu pour la redistribution électorale irlandaise qui optimise systématiquement plusieurs exigences constitutionnelles. Ses principales contributions sont :

Transparence et Auditabilité : En encodant les mandats légaux dans un modèle mathématique explicite, le cadre permet la reproduction des résultats et l'inspection de la manière dont des pondérations spécifiques influencent les résultats. Cela contraste avec le processus manuel actuel, où l'optimalité d'un plan ne peut être rigoureusement démontrée.
Quantification Explicite des Compromis : L'utilisation de l'analyse du front de Pareto déplace le débat de la délibération implicite vers la quantification explicite. Cela permet aux décideurs de voir exactement quelle part de la représentation proportionnelle doit être sacrifiée pour obtenir une amélioration spécifique de la compacité ou de l'intégrité des limites de comté.
Gouvernance Algorithmique : Ce travail suggère une voie vers une « gouvernance algorithmique » où la CE peut générer des points de départ mathématiquement optimisés pour la consultation publique, garantissant que les limites finales ne sont pas seulement conformes à la loi, mais sont aussi proches de l'optimal dans le paysage légal défini.
Limites et Portée : Les auteurs notent modestement que leur modèle actuel n'intègre pas encore les caractéristiques géographiques complexes (montagnes, rivières) ou les nuances des consultations publiques concernant les liens communautaires, bien qu'ils proposent ces éléments comme extensions futures. Ils reconnaissent également que la définition d'une « violation de limite de comté » est actuellement une heuristique simplifiée basée sur des fractions de surface, nécessitant un affinement pour correspondre aux interprétations juridiques spécifiques de la CE.

En résumé, COTHROM fournit un outil rigoureux, basé sur la physique, pour naviguer dans le paysage complexe de l'optimisation multi-objectifs de la redistribution électorale irlandaise, offrant une méthode pour générer, comparer et justifier des limites électorales qui satisfont mieux le mandat constitutionnel de représentation proportionnelle tout en respectant les contraintes géographiques.