A House Monotone, Coherent, and Droop Proportional Ranked Candidate Voting Method

O artigo descreve um método de votação por classificação baseado no procedimento de Phragmén que gera uma lista de candidatos proporcionais, atendendo aos critérios de proporcionalidade Droop, monotonicidade de casa e coerência, enquanto garante que o candidato mais bem classificado seja o vencedor do escrutínio uninominal majoritário.

O essencial

Imagine que você está organizando uma grande festa e precisa escolher quem vai compor a "equipe de organização". Você tem muitos convidados (os eleitores) e muitos candidatos para a equipe. O problema é: como escolher a lista de organizadores de forma justa, onde o grupo maior não esmague o grupo menor, e onde a lista faça sentido do primeiro ao último nome?

O artigo de Ross Hyman apresenta uma nova maneira de fazer isso, chamada Método Top-Down Phragmén. Para entender como ele funciona, vamos usar algumas analogias simples.

O Problema: A Lista Desconexa

Antes dessa nova ideia, existiam métodos que tinham dois grandes defeitos:

1. O Paradoxo da Casa (House Monotonicity): Imagine que você decide aumentar o número de organizadores de 3 para 4. Em alguns métodos antigos, ao adicionar mais um lugar, alguém que já estava na lista de 3 poderia ser removido! Isso é como dizer: "Quanto mais gente queremos na equipe, menos gente da lista original conseguimos manter". Isso não faz sentido.
2. O Paradoxo do Novo Estado (Coherence): Imagine que você tem dois grupos de convidados que não se conhecem (Grupo A e Grupo B). Se você escolher a equipe mista, o resultado deve ser a mesma coisa se você escolher a equipe do Grupo A separadamente e a do Grupo B separadamente e depois juntar as listas. Métodos antigos falhavam nisso, misturando as coisas de forma estranha.

Além disso, o método mais famoso (STV, usado em países como Irlanda e Austrália) falhava nesses pontos e, às vezes, ignorava grupos grandes de pessoas que tinham preferências claras.

A Solução: O Método "Top-Down" (De Cima para Baixo)

A ideia central do novo método é construir a lista de cima para baixo, garantindo que quem está no topo da lista de 3 pessoas, continue no topo quando a lista crescer para 4, 5 ou 10.

Pense nisso como uma escada de prioridade:

• Degrau 1: Quem é o melhor organizador para todos? (O vencedor de uma eleição de 1 pessoa).
• Degrau 2: Quem é o melhor para adicionar àquela pessoa, formando uma dupla perfeita?
• Degrau 3: Quem completa o trio perfeito?

O método garante que, ao escolher o 3º lugar, você não precisa descartar o 1º e o 2º. Eles ficam lá, protegidos.

Como Funciona a "Mágica" (A Analogia da Carga de Trabalho)

O método usa uma ideia matemática chamada "Phragmén", que pode ser entendida como distribuir o peso do trabalho.

Imagine que cada organizador eleito "carrega" uma parte da responsabilidade de representar os votos.

• Se um candidato é eleito, os votos que o apoiaram ganham um "peso" (uma carga).
• O sistema tenta equilibrar esse peso. Ele quer que ninguém fique sobrecarregado (com muitos votos representando apenas uma pessoa) e que ninguém fique sem representação.
• O candidato que consegue "aguentar" o melhor o peso dos votos, sem sobrecarregar ninguém, é o próximo a entrar na lista.

A Grande Inovação:
Métodos antigos usavam uma "cota" (um número fixo de votos para ser eleito). O método de Hyman não usa essa cota rígida. Em vez disso, ele usa um sistema de prioridade dinâmica.

• Ele olha para os candidatos que ainda não foram escolhidos.
• Ele simula cenários: "Se escolhermos este candidato agora, como fica o equilíbrio de votos?"
• Ele descarta candidatos que não conseguem manter o equilíbrio e promove aquele que faz a lista ficar mais justa.

Por que isso é importante? (A Analogia do Quebra-Cabeça)

O autor diz que este método é "Droop Proporcional". Em linguagem simples: Se um grupo de pessoas é grande o suficiente para merecer X lugares na equipe, eles vão ganhar pelo menos X lugares.

• Exemplo: Se 40% dos convidados querem que o "Grupo Azul" tenha representantes, e o tamanho da equipe permite 4 lugares, o método garante que o "Grupo Azul" tenha pelo menos 1 ou 2 lugares (dependendo do cálculo exato), e não seja ignorado.
• O método também garante que o vencedor da primeira posição (o "Degrau 1") seja alguém que tem apoio amplo, e que esse mesmo candidato continue sendo uma escolha sólida, não importa quantos lugares a gente adicione depois.

Resumo da Ópera

Ross Hyman criou um método para escolher listas de candidatos que é:

1. Justo: Grupos grandes de votos não são ignorados (Proporcionalidade Droop).
2. Estável: Se você aumenta o tamanho da equipe, ninguém é chutado para fora da lista anterior (Monotonicidade da Casa).
3. Consistente: Se você separa os grupos de votos, a lista final é a mesma (Coerência).
4. Inteligente: Ele não precisa de uma "cota" mágica, mas sim calcula o equilíbrio de votos em tempo real, como um maestro ajustando a orquestra para que todos soem bem juntos.

Em suma, é uma maneira de transformar uma pilha de votos individuais em uma lista de representantes que reflete fielmente a vontade do povo, do primeiro nome ao último, sem surpresas desagradáveis quando o número de vagas muda.

Resumo técnico

Resumo Técnico: Um Método de Votação por Candidatos Ranqueados Monótono em Casa, Coerente e Proporcional Droop

1. O Problema

O artigo aborda uma lacuna fundamental nos métodos de representação proporcional baseados em votos ranqueados (como o Voto Único Transferível - STV). Embora o STV seja amplamente utilizado (na Austrália, Irlanda, Escócia e Nova Zelândia) e satisfaça o critério de proporcionalidade Droop para coalizões sólidas, ele falha em duas propriedades críticas desejáveis para a geração de listas de candidatos proporcionais:

• Monotonicidade de Casa (House Monotonicity): A propriedade de que os vencedores de uma eleição para $N$ vagas devem ser um subconjunto dos vencedores de uma eleição para $N+1$ vagas. O STV convencional viola isso, o que significa que não é possível gerar uma lista única de candidatos onde os primeiros $N$ sejam sempre os vencedores de uma eleição de $N$ vagas. Isso impede a criação de listas partidárias consistentes.
• Coerência (Coherence): A propriedade de que, se dois conjuntos de votos com candidatos disjuntos forem combinados, a ordem relativa dos candidatos dentro de cada grupo deve permanecer a mesma que se as eleições fossem realizadas separadamente. O STV viola isso (análogo ao Paradoxo do Novo Estado em métodos de apportionment).

Além disso, métodos existentes baseados em divisores (como os usados para alocação de assentos no Congresso dos EUA) não são diretamente aplicáveis a votos ranqueados sem perder a proporcionalidade Droop.

2. Metodologia

O autor propõe um novo método de votação baseado no Procedimento de Phragmén, adaptado para votos ranqueados e estruturado de forma top-down (de cima para baixo).

• Fundamentação Teórica: O método utiliza a lógica de Phragmén (originalmente para votos de aprovação), onde candidatos são eleitos com base em uma "prioridade" calculada como o número de votos dividido pelo número de assentos já atribuídos a esses votos (carga de assento).
• Abordagem Top-Down: Diferente de métodos "bottom-up" (que eliminam candidatos do final da lista para cima), este método determina o primeiro colocado, depois o segundo, e assim por diante.
• Mecanismo de Prioridade e "Hopefuls":
  • Para uma eleição de $M$ vagas, os $M-1$ vencedores anteriores são tratados como "já eleitos".
  • Os candidatos restantes são "esperançosos" (hopefuls).
  • O método calcula prioridades para os candidatos esperançosos considerando coalizões sólidas imperfeitas. Isso envolve simular cenários onde candidatos já eleitos são substituídos em certas cédulas para garantir que a prioridade de um novo candidato reflita o apoio real de uma coalizão que inclui os vencedores anteriores.
  • O processo envolve iterações onde candidatos com menor prioridade são "reduzidos" (seus votos são reavaliados em posições inferiores) ou excluídos, até que reste apenas um candidato esperançoso para a vaga atual.
• Ausência de Cota (Quota): Diferentemente do STV ou do Phragmén baseado em cotas, este método não utiliza uma cota fixa (como a Cota Droop) para decidir a eleição ou exclusão. A decisão é puramente baseada na maximização da prioridade de Phragmén, o que é crucial para garantir a monotonicidade e a coerência.

3. Contribuições Chave

1. Novo Método Proposto: Apresentação de um algoritmo de votação ranqueada top-down baseado em Phragmén que gera uma lista de candidatos proporcionais.
2. Prova de Conformidade: O autor fornece provas formais de que o método satisfaz simultaneamente:
   • Proporcionalidade Droop: Garante que coalizões sólidas de tamanho $K$ garantam pelo menos $K$ assentos.
   • Monotonicidade de Casa: Os vencedores de $N$ vagas são sempre incluídos nos vencedores de $N+1$ vagas.
   • Coerência: A combinação de conjuntos de votos com candidatos disjuntos não altera a ordem relativa dos candidatos dentro de seus grupos originais.
3. Resolução de Paradoxos: O método evita os Paradoxos do Alabama e do Novo Estado (analogamente aos métodos de divisores), que afetam o STV.
4. Consistência com o Vencedor IRV: O candidato no topo da lista gerada é sempre o vencedor do método de Votação Instantânea (IRV/STV de uma vaga), e esse vencedor pertence a pelo menos um conjunto de $N$ vencedores que satisfaz a proporcionalidade Droop para qualquer $N$.

4. Resultados e Exemplos

O artigo demonstra o funcionamento do método através de exemplos numéricos (Exemplo 1, 2 e 3):

• Exemplo 1: Mostra como o método gera a lista C > A > B > D.
  • Para 1 vencedor: C é eleito (vencedor IRV).
  • Para 2 vencedores: A é eleito (lista: C, A).
  • Para 3 vencedores: B é eleito (lista: C, A, B).
  • Isso contrasta com o STV convencional, que poderia eleger C para 1 vaga, mas A, B e D para 3 vagas (violando a monotonicidade, pois C desaparece da lista de 3).
• Comparação com Outros Métodos:
  • Métodos bottom-up (como o de Aziz et al.) são monotônicos, mas o primeiro colocado pode diferir do vencedor IRV.
  • Métodos baseados em cotas (como Phragmén com cota) violam a monotonicidade e a coerência.
  • O método proposto mantém a coerência e a monotonicidade sem exigir a identificação explícita e complexa de todas as coalizões sólidas (diferente de uma abordagem top-down anterior de Aziz et al.).

5. Significância

Este trabalho é significativo por oferecer uma solução teórica e prática para um problema de longa data na teoria da escolha social: como criar uma lista de candidatos proporcional que seja estável (monotônica) e consistente (coerente) sem sacrificar a justiça da representação (proporcionalidade Droop).

• Aplicabilidade Política: O método permite que partidos políticos gerem listas de candidatos para eleições proporcionais que sejam matematicamente robustas, evitando distorções quando o número de assentos muda ou quando grupos de eleitores são combinados.
• Avanço Teórico: Demonstra que é possível adaptar o procedimento de Phragmén (geralmente associado a votos de aprovação) para votos ranqueados de forma a superar as limitações do STV tradicional, unindo as vantagens dos métodos de divisores (estabilidade) com a flexibilidade da preferência ordinal.
• Limitação Estética: O autor admite que o algoritmo é "esteticamente feio" e complexo em comparação com métodos mais simples, sugerindo que métodos mais elegantes que satisfaçam os mesmos critérios podem ainda ser descobertos no futuro.

Em suma, o artigo apresenta um marco na busca por métodos de votação que equilibrem a representação proporcional perfeita com a estabilidade lógica necessária para a geração de listas de candidatos.