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

Resumo Técnico: Otimização de Circunscrições Através da Representação Hamiltoniana de Mandatos (COTHROM)

Definição do Problema
O artigo aborda o desafio computacional do redesenho das fronteiras eleitorais na Irlanda sob o sistema de Representação Proporcional de Voto Único Transferível (PR-STV). O processo é regido pela Constituição Irlandesa e pela Lei de Reforma Eleitoral de 2022, que estabelecem requisitos específicos de "restrições rígidas" (ex.: 171–181 assentos totais, circunscrições de 3–5 assentos, contiguidade) e objetivos "suaves" (ex.: representação proporcional, evitar violações de limites de condados, compacidade, e considerações geográficas).

A dificuldade central reside na explosão combinatória de possíveis configurações de fronteiras e na tensão inerente entre os objetivos suaves. Por exemplo, uma configuração que adira estritamente aos limites dos condados pode resultar em desvios significativos da representação proporcional, enquanto um mapa proporcionalmente ótimo pode exigir inúmeras violações de condados. Atualmente, a Comissão Eleitoral (EC) desenha as fronteiras manualmente, um processo que carece de uma base sistemática para comparar compensações (trade-offs) ou demonstrar que um plano proposto é próximo do ideal em relação ao vasto espaço de alternativas admissíveis.

Metodologia
Os autores propõem o COTHROM, um quadro computacional que modela o problema do redesenho de circunscrições utilizando a física estatística, especificamente o modelo de Potts.

1. Formulação Hamiltoniana:
   Os requisitos legais e constitucionais são codificados como termos em um Hamiltoniano (função de energia), $H(\sigma)$, onde $\sigma$ representa uma configuração específica de divisões eleitorais (EDs) atribuídas a circunscrições. A energia total é uma soma ponderada de funções de objetivo específicas:

   • $H_P$ (Representação Proporcional): Penaliza desvios da população da circunscrição em relação à média nacional por assento.
   • $H_C$ (Contiguidade): Penaliza circunscrições divididas em múltiplos componentes desconectados.
   • $H_D$ (Compacidade): Uma métrica de aresta de corte discreta que penaliza formas não globulares (incentivando a compacidade em vez do "salamandramento").
   • $H_B$ (Limites de Condado): Conta as EDs atribuídas a uma circunscrição que se encontram fora do seu condado principal.

   A função objetivo é $H = \sum J_\alpha (H_\alpha / Z_\alpha)$, onde $J_\alpha$ são constantes de acoplamento que representam o peso relativo de cada objetivo e $Z_\alpha$ são fatores de normalização.

2. Otimização via Simulated Annealing (Recozimento Simulado):
   Para encontrar configurações que minimizem $H$, os autores empregam métodos de Cadeia de Markov Monte Carlo (MCMC) com um cronograma de simulated annealing.

   • Algoritmo: Um amostrador de Gibbs é utilizado para atualizar a atribuição de circunscrição de EDs individuais. Ao contrário do algoritmo de Metropolis, que propõe movimentos aleatórios, o amostrador de Gibbs extrai da distribuição condicional de todas as atribuições possíveis para uma determinada ED, melhorando a eficiência em paisagens de alta energia.
   • Annealing: O sistema começa em uma "temperatura" alta (permitindo uma exploração ampla do espaço de configuração) e é resfriado lentamente de acordo com um cronograma geométrico ($T_k = \alpha^k T_0$). Isso permite que o sistema escape de mínimos locais e convirja para um mínimo global (estado fundamental) que representa um conjunto de fronteiras ideal para um determinado conjunto de pesos.

3. Análise de Decisão Multicritério (MCDA):
   Reconhecendo que a ponderação relativa dos objetivos ($J_\alpha$) é uma escolha normativa não ditada por lei, o quadro não se compromete com um único peso. Em vez disso, utiliza a MCDA para mapear a Fronteira de Pareto. Uma configuração é Pareto-ótima se nenhuma outra configuração melhorar um objetivo sem piorar outro. Esta abordagem torna as compensações entre objetivos constitucionais concorrentes explícitas e quantificáveis.

Principais Resultados
O quadro foi validado utilizando dados do Condado de Cork, uma região com 20 assentos distribuídos em cinco circunscrições.

• Convergência: O sistema demonstrou transições de fase claras, onde configurações iniciais aleatórias "cristalizaram-se" em circunscrições estruturadas e contíguas à medida que a temperatura diminuía.
• Otimalidade: Ao comparar as fronteiras da EC de 2023 com a fronteira de Pareto gerada pelo COTHROM, as fronteiras legais existentes foram encontradas como dominadas. O COTHROM produziu consistentemente configurações com variância significativamente menor em relação à representação proporcional para o mesmo nível de compacidade, ou melhor compacidade para o mesmo nível de representação proporcional.
• Limites de Condado: Em um caso de teste envolvendo condados das Midlands, o quadro demonstrou a capacidade de trocar a representação proporcional pela adesão estrita aos limites dos condados. Ao aumentar a constante de acoplamento para limites de condado ($J_B$), o algoritmo produziu mapas que quase reproduzem exatamente as fronteiras de 2023, mas ao custo de uma maior variância populacional.
• Análise de Pareto: O estudo revelou que as atuais fronteiras da EC não residem na fronteira de Pareto, sugerindo que melhorias na representação ou na compacidade são possíveis sem sacrificar outros objetivos, desde que as compensações específicas sejam aceitas.

Significância e Alegações
O artigo afirma apresentar o primeiro quadro computacional especificamente desenhado para o redesenho de circunscrições irlandesas que otimiza sistematicamente múltiplos requisitos constitucionais. Suas principais contribuições são:

• Transparência e Auditabilidade: Ao codificar mandatos legais em um modelo matemático explícito, o quadro permite a reprodução de resultados e a inspeção de como pesos específicos influenciam os resultados. Isto contrasta com o processo manual atual, onde a otimalidade de um plano não pode ser rigorosamente demonstrada.
• Quantificação Explícita de Compensações: O uso da análise de fronteira de Pareto move o debate da deliberação implícita para a quantificação explícita. Permite que os decisores vejam exatamente quanta representação proporcional deve ser sacrificada para ganhar um aumento específico em compacidade ou integridade de limites de condado.
• Governança Algorítmica: O trabalho sugere um caminho para a "governança algorítmica", onde a EC pode gerar pontos de partida matematicamente otimizados para consulta pública, garantindo que as fronteiras finais não sejam apenas conformes com a lei, mas também próximas do ideal dentro do definido cenário legal.
• Limitações e Escopo: Os autores notam modestamente que o seu modelo ainda não incorpora características geográficas complexas (montanhas, rios) ou os insights matizados de consultas públicas sobre laços comunitários, embora proponham estas como extensões futuras. Eles também reconhecem que a definição de uma "violação de limite de condado" é atualmente um heurístico simplificado baseado em frações de área, exigindo maior refinamento para corresponder às interpretações legais específicas da EC.

Em suma, o COTHROM fornece uma ferramenta rigorosa, baseada em física, para navegar no complexo cenário de otimização multiobjetivo do redesenho de circunscrições irlandesas, oferecendo um método para gerar, comparar e justificar fronteiras eleitorais que satisfaçam melhor o mandato constitucional de representação proporcional, respeitando simultaneamente as restrições geográficas.