🤖 AI

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

Este artículo presenta COTHROM, un novedoso marco computacional que aplica la física estadística y el análisis de decisión multicriterio para optimizar algorítmicamente la redistribución de distritos electorales irlandeses bajo el sistema PR-STV mediante el equilibrio de objetivos constitucionales contrapuestos a través de un modelo de Hamiltoniano de Potts.

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

Publicado 2026-06-23

📖 5 min de lectura🧠 Análisis profundo

CC BY 4.0

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

Artículo original bajo licencia CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta es una explicación generada por IA del artículo a continuación. No ha sido escrita ni avalada por los autores. Para mayor precisión técnica, consulte el artículo original. Leer descargo de responsabilidad completo

Imagina el mapa de Irlanda como un gigantesco rompecabezas hecho de miles de piezas diminutas llamadas "Divisiones Electorales". Cada pocos años, el gobierno tiene que redibujar las líneas que agrupan estas piezas en "distritos electorales" más grandes para que la gente pueda votar por sus representantes.

Las reglas para este rompecabezas son estrictas pero vagas. La Constitución dice:

Equidad: Cada persona debe tener aproximadamente el mismo número de votos (Representación Proporcional).
Forma: Las piezas deben estar agrupadas de forma compacta, no estiradas como una serpiente (Compacidad).
Fronteras: Intentar no atravesar las líneas de los condados (como no partir un condado a la mitad).
Conectividad: Todas las piezas de un distrito electoral deben tocarse entre sí.

El problema es que estas reglas suelen enfrentarse entre sí. Si haces un distrito perfectamente equitativo en población, podrías tener que atravesar una línea de condado. Si mantienes las líneas de los condados perfectas, la población podría quedar desequilibrada. Actualmente, los humanos dibujan estos mapas a mano, tomando decisiones basadas en el equilibrio de estos conflictos.

La solución del artículo: COTHROM
Los autores crearon un programa informático llamado COTHROM (Optimización de Distritos mediante Representación Hamiltoniana de Mandatos) para resolver este rompecabezas automáticamente. Así es como lo hicieron, utilizando algunas analogías divertidas:

1. El mapa "magnético" (La analogía de la física)

En lugar de pensar en el mapa como un problema político, los autores lo trataron como un problema de física. Imagina que cada pieza diminuta del rompecabezas (División Electoral) es un pequeño imán.

Cada imán quiere pertenecer a un grupo específico (distrito electoral).
Las "reglas" de la elección (equidad, forma, fronteras) actúan como fuerzas magnéticas.
- Si un grupo es demasiado grande o demasiado pequeño, los imanes sienten un "empuje" para reorganizarse.
- Si un grupo está estirado, los imanes sienten una "atracción" para volver a una forma compacta.
- Si un grupo cruza una línea de condado, los imanes sienten una penalización por "fricción".

La computadora calcula la "energía" total del mapa. Un mapa con malos límites tiene una energía alta (como un resorte tenso), y un buen mapa tiene una energía baja (como un resorte relajado). El objetivo es encontrar el estado donde el mapa esté más "relajado".

2. El proceso de "enfriamiento" (Recocido simulado)

¿Cómo encuentras la mejor disposición entre miles de millones de posibilidades? No puedes revisarlas todas.
Los autores utilizan una técnica llamada Recocido Simulado (Simulated Annealing), que es como enfriar metal fundido.

Caliente: Imagina que los imanes vibran salvajemente (temperatura alta). Saltan de forma aleatoria, probando formas de mapas locas y desordenadas. Esto ayuda a la computadora a escapar de "malas" soluciones locales (como un mapa que parece estar bien pero no es el mejor).
Enfriamiento: Lentamente, la computadora baja la temperatura. Los imanes dejan de saltar tan salvajemente y comienzan a asentarse en posiciones estables.
Congelado: Para cuando está frío, los imanes se han asentado en la disposición más eficiente y de menor energía posible.

3. El "Menú de compensaciones" (Optimalidad de Pareto)

Aquí está la parte difícil: la ley no dice cuánto valorar la equidad frente a las fronteras de los condados. ¿Deberíamos preocuparnos un 50% por la equidad y un 50% por las fronteras de los condados? ¿O un 90% por la equidad?
En lugar de adivinar un único equilibrio "perfecto", los autores ejecutaron la computadora muchas veces con diferentes "pesos" (como girar un dial).

No te dieron solo un mapa.
Te dieron un menú de los mejores mapas posibles (llamado Frente de Pareto).
En este menú, cada mapa es una solución "no dominada". Esto significa: "Si quieres más equidad, debes aceptar menos respeto por las fronteras de los condados. Si quieres más respeto por las fronteras, debes aceptar menos equidad".
Esto hace que las compensaciones sean visibles. Muestra a los responsables de la toma de decisiones exactamente qué están sacrificando para obtener algo más.

4. Lo que encontraron (La prueba de Cork)

Probaron esto en el Condado de Cork.

Compararon sus mapas generados por computadora con los mapas legales reales dibujados por la Comisión Electoral en 2023.
El Resultado: Para casi cualquier forma de ponderar las reglas, la computadora encontró mapas que eran mejores que los dibujados por humanos. Los mapas de la computadora tenían menos desequilibrio de población y eran más compactos, respetando al mismo tiempo las reglas.
Nota: Los autores admiten que su computadora no tuvo en cuenta cosas como los "sentimientos comunitarios" o ríos específicos, que los humanos sí consideran. Pero puramente en las reglas matemáticas de la Constitución, la computadora ganó.

Por qué esto es importante

El artículo argumenta que este método hace que el proceso sea transparente y justo.

Sin juicios ocultos: Actualmente, los humanos dibujan las líneas y dicen: "Esto es justo". Nadie puede probar si existe un mapa mejor.
Auditabilidad: Con este código, cualquiera puede ver la matemática. Puedes decir: "Si valoramos las fronteras de los condados de esta manera, aquí está el mejor mapa posible".
Reproducibilidad: Cualquiera puede ejecutar el mismo código y obtener el mismo resultado, eliminando las conjeturas del proceso de redistribución.

En resumen, los autores construyeron un "solucionador de rompecabezas magnéticos" que nos muestra exactamente lo difícil que es equilibrar las reglas de las elecciones irlandesas, demostando que las computadoras pueden encontrar mapas matemáticamente más perfectos que el proceso manual actual.

Resumen Técnico: Optimización de la Circunscripción mediante la Representación Hamiltoniana de Mandatos (COTHROM)

Planteamiento del Problema
El artículo aborda el desafío computacional de la redistribución de los límites electorales en Irlanda bajo el sistema de Representación Proporcional por Voto Único Transferible (PR-STV). El proceso está regido por la Constitución Irlandesa y la Ley de Reforma Electoral de 2022, que mandatan ciertos requisitos "duros" (p. ej., 171–181 escaños totales, circunscripciones de 3 a 5 escaños, contigüidad) y objetivos "blandos" (p. ej., representación proporcional, evitar la ruptura de los límites de los condados, compacidad y consideraciones geográficas).

La dificultad central radica en la explosión combinatoria de las posibles configuraciones de límites y la tensión inherente entre los objetivos blandos. Por ejemplo, una configuración que se adhiera estrictamente a los límites de los condados puede resultar en desviaciones significativas de la representación proporcional, mientras que un mapa de representación proporcional matemáticamente óptimo puede requerir numerosas rupturas de los límites de los condados. Actualmente, la Comisión Electoral (EC) traza los límites de forma manual, un proceso que carece de una base sistemática para comparar compensaciones o demostrar que un plan propuesto es cercano al óptimo en relación con el vasto espacio de alternativas admisibles.

Metodología
Los autores proponen COTHROM, un marco computacional que modela el problema de la redistribución utilizando la física estadística, específicamente el modelo de Potts.

Formulación Hamiltoniana:
Los requisitos legales y constitucionales se codifican como términos en un Hamiltoniano (función de energía), $H(\sigma)$ , donde $\sigma$ representa una configuración específica de divisiones electorales (ED) asignadas a las circunscripciones. La energía total es una suma ponderada de funciones objetivo específicas:

$H_P$ (Representación Proporcional): Penaliza las desviaciones de la población de la circunscripción respecto al promedio nacional por escaño.
$H_C$ (Contigüidad): Penaliza las circunscripciones divididas en múltiples componentes desconectados.
$H_D$ (Compacidad): Una métrica de corte de aristas discretas que penaliza las formas no globulares (incentivando la compacidad sobre el "salamandrismo").
$H_B$ (Límites de Condado): Cuenta las ED asignadas a una circunscripción que se encuentran fuera de su condado principal.

La función objetivo es $H = \sum J_\alpha (H_\alpha / Z_\alpha)$ , donde $J_\alpha$ son constantes de acoplamiento que representan el peso relativo de cada objetivo y $Z_\alpha$ son factores de normalización.

Optimización mediante Recocido Simulado (Simulated Annealing):
Para encontrar configuraciones que minimicen $H$ , los autores emplean métodos de Monte Carlo por Cadenas de Markov (MCMC) con un esquema de recocido simulado.

Algoritmo: Se utiliza un muestreador de Gibbs para actualizar la asignación de la circunscripción de las ED individuales. A diferencia del algoritmo de Metropolis, que propone movimientos aleatorios, el muestreado de Gibbs extrae de la distribución condicional de todas las asignaciones posibles para una ED dada, mejorando la eficiencia en paisajes de alta energía.
Recocido: El sistema comienza en una "temperatura" alta (permitiendo una exploración amplia del espacio de configuración) y se enfría lentamente según un esquema geométrico ( $T_k = \alpha^k T_0$ ). Esto permite que el sistema escape de los mínimos locales y converja hacia un mínimo global (estado fundamental) que representa un conjunto de límites óptimo para un conjunto dado de pesos.

Análisis de Decisión Multicriterio (MCDA):
Reconociendo que la ponderación relativa de los objetivos ( $J_\alpha$ ) es una elección normativa no dictada por la ley, el marco no se compromete con una única ponderación. En su lugar, utiliza el MCDA para mapear el frente de Pareto. Una configuración es Pareto óptima si ninguna otra configuración mejora un objetivo sin empeorar otro. Este enfoque hace que las compensaciones entre los objetivos constitucionales en competencia sean explícitas y cuantificables.

Resultados Clave
El marco fue validado utilizando datos del Condado de Cork, una región de 20 escaños repartidos en cinco circunscripciones.

Convergencia: El sistema demostró claras transiciones de fase, donde las configuraciones iniciales aleatorias se "cristalizaron" en circunscripciones estructuradas y contiguas a medida que la temperatura disminuía.
Optimalidad: Al comparar los límites de la EC de 2023 frente al frente de Pareto generado por COTHROM, se encontró que los límites legales existentes estaban dominados. COTHROM produjo consistentemente configuraciones con una varianza significativamente menor respecto a la representación proporcional para el mismo nivel de compacidad, o una mejor compacidad para la misma representación proporcional.
Límites de Condado: En un caso de prueba que involucraba condados de las Midlands, el marco demostró la capacidad de intercambiar la representación proporcional por la adherencia estricta a los límites de los condados. Al aumentar la constante de acoplamiento para los límites de los condados ( $J_B$ ), el algoritmo produjo mapas que reproducen casi exactamente los límites de 2023, pero a costa de una mayor varianza de población.
Análisis de Pareto: El estudio reveló que los límites actuales de la EC no se encuentran en el frente de Pareto, lo que sugiere que es posible mejorar la representación o la compacidad sin sacrificar otros objetivos, siempre que se acepten las compensaciones específicas.

Significación y Reivindicaciones
El artículo afirma presentar el primer marco computacional diseñado específicamente para la redistribución electoral irlandesa que optimiza sistemáticamente múltiples requisitos constitucionales. Sus principales contribuciones son:

Transparencia y Auditabilidad: Al codificar los mandatos legales en un modelo matemático explícito, el marco permite la reproducción de resultados y la inspección de cómo las ponderaciones específicas influyen en los resultados. Esto contrasta con el proceso manual actual, donde la optimalidad de un plan no puede demostrarse rigurosamente.
Cuantificación Explícita de Compensaciones: El uso del análisis del frente de Pareto traslada el debate de la deliberación implícita a la cuantificación explícita. Permite a los responsables de la toma de decisiones ver exactamente cuánto debe sacrificarse de la representación proporcional para ganar una mejora específica en la compacidad o la integridad de los límites de los condados.
Gobernanza Algorítmica: El trabajo sugiere una vía para la "gobernanza algorítmica" donde la EC puede generar puntos de partida matemáticamente optimizados para la consulta pública, asegurando que los límites finales no solo cumplan con la ley, sino que sean cercanos al óptimo dentro del paisaje legal definido.
Limitaciones y Alcance: Los autores señalan modestamente que su modelo actual aún no incorpora características geográficas complejas (montañas, ríos) o los matices de los vínculos comunitarios derivados de las consultas públicas, aunque proponen estas como extensiones futuras. También reconocen que la definición de una "ruptura de límite de condado" es actualmente un heurístico simplificado basado en fracciones de área, que requiere mayor refinamiento para coincidir con las interpretaciones legales específicas de la EC.

En resumen, COTHROM proporciona una herramienta rigurosa, basada en la física, para navegar el complejo panorama de optimización multiobjetivo de la redistribución electoral irlandesa, ofreciendo un método para generar, comparar y justificar límites electorales que satisfagan mejor el mandato constitucional de representación proporcional respetando las restricciones geográficas.