Characterizations of voting rules based on majority margins

Each language version is independently generated for its own context, not a direct translation.

Imagine que você está organizando uma eleição para escolher o melhor sabor de sorvete da cidade. As pessoas votam listando seus favoritos: "Chocolate, Morango, Baunilha".

O artigo que você pediu para explicar é como uma investigação de detetives matemáticos tentando responder a uma pergunta simples, mas profunda: O que realmente importa para decidir quem ganha?

Os autores (Yifeng Ding, Wesley H. Holliday e Eric Pacuit) descobrem que existem regras de votação que funcionam como um "termômetro de rivalidade". Eles chamam essas regras de baseadas em margens.

Aqui está a explicação simplificada, usando analogias do dia a dia:

1. O Conceito Principal: A "Batalha de Um contra Um"

Imagine que, em vez de olhar para a lista completa de todos os votos, você só olhasse para as batalhas diretas entre dois sabores de cada vez.

Quantas pessoas preferem Chocolate em vez de Morango?
Quantas preferem Morango em vez de Baunilha?

Uma regra "baseada em margens" diz: "Se o resultado dessas batalhas diretas for o mesmo, o vencedor final deve ser o mesmo, não importa como os votos foram organizados no início."

É como se a eleição fosse apenas uma série de lutas de boxe entre pares. Se o Chocolate venceu o Morango por 10 pontos e o Morango venceu a Baunilha por 5 pontos, o Chocolate é o campeão, independentemente de quem votou primeiro.

2. O Problema: Por que isso é justo?

O artigo pergunta: Será que é justo ignorar a ordem completa dos votos e olhar apenas para essas batalhas diretas?
Muitas regras famosas (como o método de Borda) fazem isso. Outras (como o método de "Voto Único Transferível" usado em algumas eleições reais) não fazem isso. Elas podem mudar o vencedor se você mudar a ordem de um voto, mesmo que as batalhas diretas entre os candidatos principais permaneçam as mesmas.

Os autores querem saber: Quais regras de votação são "justas" o suficiente para serem baseadas apenas nessas margens de vitória?

3. As Duas Regras de Ouro (Os Axiomas)

Para descobrir quais regras são "baseadas em margens", os autores criaram dois princípios de justiça que, juntos, garantem que a regra funcione assim. Vamos chamá-los de:

A. A Regra da "Troca Igualitária" (Preferential Equality)

Imagine dois amigos, Ana e João. Ambos colocam o Chocolate logo acima do Morango na sua lista.

Se Ana decidir mudar de ideia e colocar o Morango acima do Chocolate, isso deve ter o mesmo efeito na eleição do que se João fizesse a mesma mudança.
A analogia: É como se cada voto fosse uma moeda de mesmo valor. Se Ana e João têm a mesma preferência (ambos gostam mais de Chocolate que de Morango), a "força" da mudança de opinião de um deve ser idêntica à do outro. Ninguém tem um voto "mais pesado" ou "mais leve" dependendo de quem é.

Se uma regra de votação não fizer isso (como o método IRV mencionado no texto), significa que ela trata os votos de forma desigual, dependendo de quem está votando e onde está o candidato na lista.

B. A Regra do "Espelho Perfeito" (Neutral Reversal)

Imagine que você adiciona dois novos eleitores à eleição:

O Eleitor A ama tudo na ordem: Chocolate > Morango > Baunilha.
O Eleitor B odeia tudo na ordem inversa: Baunilha > Morango > Chocolate.

Esses dois eleitores são um "espelho perfeito". O que um gosta, o outro odeia na mesma intensidade.

A analogia: É como colocar um peso de 1kg na esquerda de uma balança e outro peso de 1kg na direita. A balança não se move.
A regra diz: Adicionar esse par de eleitores opostos não deve mudar o resultado da eleição. Eles se cancelam mutuamente.

4. A Grande Descoberta

Os autores provaram matematicamente que:

Uma regra de votação é "baseada em margens" SE E SOMENTE SE ela obedecer a essas duas regras de ouro (Troca Igualitária e Espelho Perfeito).

Se uma regra respeita que todos os votos têm o mesmo peso na troca de preferências e que pares opostos se cancelam, então ela precisa ser uma regra que olha apenas para as margens de vitória.

5. Por que isso importa no mundo real?

O texto mostra exemplos reais de eleições (como as do Conselho Municipal de Glasgow e Minneapolis) onde duas versões diferentes de uma mesma regra de votação escolheram vencedores diferentes.

Uma versão olhava apenas para a margem de votos (quem venceu por mais).
A outra versão olhava para o número absoluto de votos ("votos vencedores").

Os autores argumentam que, se queremos tratar os eleitores com igualdade e respeito (sem dar poder extra a quem votou em primeiro lugar ou a quem votou em último), devemos usar as regras baseadas em margens. Elas são as únicas que garantem que a "força" da preferência de um grupo de eleitores seja tratada da mesma forma, independentemente de quem eles sejam.

Resumo em uma frase

Este artigo prova que, para que uma eleição seja verdadeiramente justa e trate todos os eleitores de forma igual, a regra de contagem deve funcionar como um sistema que ignora a "história" completa dos votos e foca apenas no resultado das batalhas diretas entre os candidatos, garantindo que a troca de preferência de qualquer pessoa tenha o mesmo impacto.

Each language version is independently generated for its own context, not a direct translation.

Aqui está um resumo técnico detalhado do artigo "Characterizations of voting rules based on majority margins" (Caracterizações de regras de votação baseadas em margens majoritárias), escrito por Yifeng Ding, Wesley H. Holliday e Eric Pacuit.

1. Problema e Contexto

O artigo aborda uma questão fundamental na teoria da escolha social: a natureza normativa das regras de votação baseadas em margens (também chamadas de regras pairwise ou margin-based).

Definição: Uma regra de votação é baseada em margens se, para qualquer dois perfis de votação que gerem as mesmas margens de vitória/derrota "cabeça-a-cabeça" entre todos os pares de candidatos, a regra produz o mesmo resultado.
O Dilema: Embora seja uma propriedade de invariância matematicamente natural (usada em regras como Borda, Condorcet e Minimax), não é claro se ela deve ser considerada um axioma normativo (um princípio ético ou de justiça que uma regra deveria satisfazer).
Objetivo: O objetivo dos autores é responder se a propriedade de ser "baseada em margens" pode ser derivada de axiomas com conteúdo normativo mais claro e intuitivo. Eles buscam caracterizar quais regras satisfazem essa propriedade e quais axiomas a garantem.

2. Metodologia

Os autores utilizam a abordagem da caracterização axiomática. Eles definem domínios de perfis de votação e propõem novos axiomas (ou reavaliam axiomas existentes) para provar teoremas do tipo "se e somente se" (iff).

Domínios Analisados:
1. Perfis Lineares: Onde cada eleitor submete uma ordem linear estrita (sem empates).
2. Perfis LOBI (Linear Order with Bottom Indifference): Onde eleitores podem deixar candidatos não classificados, tratados como um empate no final (comum em eleições reais como IRV).
3. Todos os Perfis: Incluindo ordens estritas, empates parciais e indiferença total.
Conceitos Chave:
- Margem ( $M_P$ ): Diferença entre o número de eleitores que preferem $x$ a $y$ e vice-versa.
- Contagem de Votos ( $\#_P$ ): Número absoluto de eleitores que preferem $x$ a $y$ .
- Regras Head-to-Head: Regras que dependem apenas de $\#_P$ e do número total de eleitores (incluem regras C2 e baseadas em margens).
- Regras C2: Regras que dependem apenas de $\#_P$ (independente do número total de eleitores).

3. Axiomas Principais Propostos

Os autores introduzem e refinam axiomas que capturam noções de igualdade e equilíbrio entre eleitores:

Igualdade Preferencial (Preferential Equality):
- Definição: Se dois eleitores $i$ e $j$ ambos classificam $x$ imediatamente acima de $y$ , a mudança de $i$ para classificar $y$ acima de $x$ deve ter o mesmo efeito no resultado que a mudança de $j$ fazendo o mesmo.
- Significado Normativo: Trata a preferência de um eleitor por $y$ sobre $x$ de forma igual à de outro eleitor, independentemente de quem seja. Violações ocorrem em regras como o Voto Instantâneo (IRV).
Reversão Neutra (Neutral Reversal):
- Definição: Adicionar a um perfil um par de eleitores com ordens de preferência totalmente reversas (uma é o inverso exato da outra) não deve alterar o resultado da eleição.
- Significado Normativo: Eleitores com preferências opostas se cancelam mutuamente.
Compensação de Empate (Tiebreaking Compensation):
- Definição: Se dois eleitores têm um empate (indiferença) entre um conjunto de candidatos $Y$ , e um resolve o empate em uma ordem linear $L$ enquanto o outro resolve em $L^{-1}$ (o inverso), o resultado não deve mudar.
- Significado Normativo: O poder de desempate é equilibrado entre eleitores.
Indiferença Neutra (Neutral Indifference):
- Definição: Adicionar um eleitor que classifica todos os candidatos como empatados (voto em branco/indiferente) não altera o resultado.
- Significado Normativo: Distingue regras que dependem apenas da contagem relativa ( $\#$ ) daquelas que dependem do número absoluto de eleitores.
Invariância de Bloco (Block Invariance):
- Definição: Adicionar um bloco contendo exatamente uma cópia de cada ordem linear possível não altera o resultado.

4. Resultados Principais (Teoremas)

Os autores estabelecem caracterizações precisas para diferentes domínios:

A. Perfis Lineares (Teorema 2.9)

Para o domínio de perfis lineares, uma regra de votação é baseada em margens se e somente se satisfaz:

Igualdade Preferencial E Reversão Neutra.
Nota: Se assumir-se Homogeneidade (a regra não muda se duplicarmos todos os votos), a Reversão Neutra pode ser substituída pela menos controversa Invariância de Bloco (Teorema 2.21).

B. Perfis LOBI e Todos os Perfis (Teorema 3.8)

Quando se permite empates (perfis LOBI ou gerais) e assume-se Homogeneidade:

Uma regra é baseada em margens se e somente se satisfaz:
- Compensação de Empate E Indiferença Neutra.
- (Para perfis LOBI, a Igualdade Preferencial é necessária explicitamente; para todos os perfis, ela é implicada pela Compensação de Empate).
Importância: Isso mostra que a Homogeneidade é crucial para caracterizar regras baseadas em margens em domínios com empates, pois sem ela, regras que dependem da paridade do número de eleitores poderiam satisfazer os axiomas sem serem baseadas em margens.

C. Caracterização Relativa às Regras Head-to-Head (Teorema 4.4)

Para regras que já são head-to-head (dependem de $\#_P$ e do número de eleitores):

Uma regra é baseada em margens se e somente se satisfaz:
- Reversão Neutra Não-Linear (extensão da reversão para perfis com empates) E Indiferença Neutra.
Isso distingue regras baseadas em margens de outras regras head-to-head (como a regra de Pareto estrita) que não são baseadas em margens.

5. Contribuições e Significância

Fundamentação Normativa: O artigo transforma uma propriedade técnica (invariância em relação às margens) em um conjunto de princípios éticos (igualdade de tratamento entre eleitores e cancelamento de preferências opostas). Isso fornece uma justificativa normativa para o uso de regras como Minimax (versão baseada em margens) em detrimento de versões baseadas em "votos vencedores" (winning votes).
Distinção entre Regras: O trabalho esclarece a hierarquia entre classes de regras:
- Margin-based $\subset$ C2 $\subset$ Head-to-Head.
- Mostra-se que regras populares como IRV (Voto Instantâneo) violam a Igualdade Preferencial e, portanto, não são baseadas em margens, o que explica por que elas podem produzir resultados contra-intuitivos em relação às margens de vitória.
Aplicação Prática: Os autores demonstram, através de dados de eleições reais (como as eleições do Conselho Municipal de Glasgow e Minneapolis), que a escolha entre a versão baseada em margens e a versão baseada em votos vencedores do algoritmo Minimax pode alterar o vencedor em casos reais, especialmente quando não há um vencedor de Condorcet.
Solução para Empates: O artigo oferece uma caracterização robusta para domínios onde os eleitores não classificam todos os candidatos (LOBI), um cenário comum em eleições reais, mas frequentemente negligenciado na teoria pura.

Conclusão

O artigo conclui que a propriedade de ser "baseada em margens" não é apenas uma conveniência matemática, mas reflete compromissos normativos profundos sobre como tratar a igualdade entre eleitores e como equilibrar preferências conflitantes. Através de axiomas como Igualdade Preferencial e Reversão Neutra, os autores fornecem uma base teórica sólida para preferir regras que dependem estritamente das margens de vitória em detrimento de outras que utilizam informações adicionais (como contagens absolutas ou estruturas de eliminação sequencial) que podem violar esses princípios de igualdade.