📈 economics

On voting rules satisfying false-name-proofness and participation

Este artigo investiga regras de votação em cenários com identidades não verificadas, demonstrando que, embora a prova contra falsas identidades e a participação sejam geralmente incompatíveis com as propriedades de neutralidade e sobrejetividade em domínios amplos de preferências, elas podem ser satisfeitas simultaneamente juntamente com anonimato, neutralidade objetiva e a propriedade de dependência apenas dos primeiros lugares especificamente dentro do domínio maximal de preferências separáveis.

Autores originais: Agustin G. Bonifacio, Federico Fioravanti

Publicado 2026-05-15

📖 6 min de leitura🧠 Leitura aprofundada

CC BY 4.0

Autores originais: Agustin G. Bonifacio, Federico Fioravanti

Artigo original sob licença CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta é uma explicação gerada por IA do artigo abaixo. Não foi escrita nem endossada pelos autores. Para precisão técnica, consulte o artigo original. Ler aviso legal completo

Imagine que você está organizando uma votação online massiva para decidir sobre uma nova característica de um parque. Você tem uma lista de opções: uma fonte, um playground, um jardim ou talvez todas elas combinadas. Em um mundo perfeito, todos aparecem com uma identidade, votam uma única vez e o resultado é justo. Mas na realidade bagunçada da internet, as coisas ficam complicadas.

Este artigo é como uma história de detetive investigando as regras do jogo para ver se podemos projetar um sistema de votação que seja inviolável por dois truques específicos:

O Truque do "Marionete" (Prova de Nome Falso): Um eleitor cria contas falsas para emitir o mesmo voto múltiplas vezes.
O Truque do "Abandono" (Participação): Um eleitor decide: "Se eu não votar, o resultado será melhor para mim", então fica em casa para manipular o resultado.

Os autores perguntam: Podemos escrever um conjunto de regras que pare ambos os truques enquanto também é justo para todos e para tudo?

Aqui está o que eles descobriram, dividido em conceitos simples.

1. A "Crise de Identidade" (Domínio Universal)

Primeiro, os autores olharam para um cenário onde as opções são completamente aleatórias e desestruturadas (como escolher entre "Maçãs", "Azul" e "Terça-feira").

Eles encontraram uma reviravolta surpreendente: Se você criar uma regra que impeça pessoas de usar nomes falsos e impeça pessoas de se beneficiarem ao se retirar, essa regra automaticamente se torna "Anônima".

A Analogia: Imagine uma cabine de votação onde a máquina não se importa quem você é, apenas o que você votou. Os autores provaram que, se seu sistema é imune a marionetes e abandonos, ele deve tratar cada eleitor como um número sem rosto. Você não pode dar peso especial ao "Eleitor A" versus o "Eleitor B".

A Má Notícia: Como o sistema deve tratar todos igualmente (Anônimo), ele não pode tratar as opções igualmente (Neutro).

A Metáfora: Imagine um juiz que deve tratar cada réu exatamente da mesma forma. Se o juiz fizer isso, ele não pode também prometer tratar cada crime exatamente da mesma forma. A matemática mostra que você não pode ter um sistema que seja perfeitamente justo tanto para os eleitores quanto para as opções se as opções forem totalmente desestruturadas.

2. O Problema do "Carrinho de Compras" (Subconjuntos de Objetos)

Em seguida, eles olharam para um cenário mais realista: as opções são combinações de coisas. Pense em um carrinho de compras. Você pode comprar apenas uma maçã, apenas uma banana, ou ambas. Este é o "Domínio dos Subconjuntos".

Aqui, eles adicionaram mais três regras "desejáveis" para um bom sistema de votação:

Sobrejetividade: Cada combinação possível (mesmo "nada" ou "tudo") deve ser um vencedor possível.
Apenas o Topo: O sistema deve precisar apenas saber sua escolha favorita nº 1, não toda a sua classificação de 100 itens. (Isso é crucial para votação online onde as pessoas ficam cansadas).
Neutralidade dos Objetos: Os nomes dos itens não devem importar. Se você trocar "Maçãs" e "Bananas" na lista de todos, o resultado deve apenas trocar de acordo.

A Grande Impossibilidade:
Quando você tenta combinar todas as cinco dessas boas qualidades (parar marionetes, parar abandonos, mais as três "desejáveis") em um mundo onde as pessoas podem ter qualquer preferência maluca, é impossível.

A Analogia: É como tentar construir um carro que seja:
1. À prova de balas.
2. À prova d'água.
3. À prova de fogo.
4. Dirija sozinho.
5. Custe US$ 500.
  O artigo prova que, para "qualquer preferência possível", você não pode construir este carro. Se tentar satisfazer todas essas condições, a matemática desmorona.

3. A "Zona Mágica" (Preferências Separáveis)

Então, o jogo acabou? Não exatamente. Os autores encontraram uma "Zona Mágica" especial onde todas essas regras funcionam.

Essa zona é chamada de Preferências Separáveis.

A Metáfora: Imagine que você está arrumando uma mala.
- Separável: Você ama sua escova de dentes (é "boa") e odeia suas meias velhas (são "ruins"). Se você tem uma escova de dentes, adicionar outra escova de dentes torna a mala melhor. Se você tem meias, adicionar mais meias torna a pior. Suas escolhas são consistentes.
- Não Separável (O Caos): Você ama a escova de dentes a menos que também tenha as meias, caso em que você odeia a escova de dentes. Ou talvez você só queira as meias se também tiver um chapéu. Suas preferências dependem de combinações estranhas.

O artigo mostra que, se você restringir os eleitores a terem apenas preferências "Separáveis" (onde os itens são consistentemente bons ou ruins por si só), você pode construir um sistema de votação perfeito que satisfaça todas as cinco regras.

4. A "Borda do Penhasco" (Maximalidade)

Finalmente, os autores perguntaram: "Quão grande pode ser essa Zona Mágica? Podemos deixar entrar alguns eleitores com preferências 'estranhas' (não separáveis)?"

A Resposta: Não. A Zona Mágica já está no seu tamanho máximo.

A Analogia: Imagine que as preferências "Separáveis" são uma ilha sólida. As preferências "Não separáveis" são o oceano. O artigo prova que a ilha já é tão grande quanto é possível ser. Se você tentar adicionar até uma única pessoa com uma preferência estranha e não separável à ilha, o sistema de votação perfeito desmorona. A "água" (a impossibilidade) inundará, e pelo menos uma de suas cinco regras quebrará.

Resumo

O Problema: Na votação online, as pessoas podem trapacear usando nomes falsos ou recusando-se a votar.
A Descoberta: Se você construir um sistema para impedir essas trapaças, você perde a capacidade de tratar eleitores de forma diferente, o que torna impossível tratar todas as opções de forma justa em um cenário geral.
A Solução: Se as escolhas são combinações de itens (como um carrinho de compras), você pode ter um sistema perfeito, MAS apenas se as preferências de todos forem "consistentes" (Separáveis).
O Limite: Você não pode expandir essa solução para incluir pessoas com preferências "inconsistentes" ou "estranhas". No momento em que você o fizer, o sistema perfeito quebra.

O artigo essencialmente traça uma linha dura na areia: Para um sistema de votação ser verdadeiramente robusto contra esses truques específicos da era da internet, ele deve depender de eleitores terem preferências consistentes e previsíveis.

Resumo Técnico: Sobre Regras de Votação que Satisfazem a Imunidade a Falsos-Nomes e a Participação

1. Declaração do Problema

O artigo investiga a existência e as propriedades de regras de votação em ambientes onde as identidades dos eleitores são difíceis de verificar, como em contextos online. Nesses contextos, os eleitores enfrentam duas oportunidades principais de manipulação estratégica:

Manipulação por falso-nome: Um eleitor emite múltiplos votos sob diferentes identidades para influenciar o resultado.
Manipulação por abstenção (Paradoxo do não comparecimento): Um eleitor se beneficia ao se abster de votar em vez de participar.

Os autores analisam regras de votação que são imunes a essas manipulações, definidas respectivamente como imunidade a falsos-nomes e participação. O estudo examina essas propriedades em dois domínios distintos de alternativas sociais:

O Domínio Universal: As alternativas são não estruturadas, e todas as ordens lineares estritas sobre elas são admissíveis.
O Domínio de Subconjuntos de Objetos: As alternativas são subconjuntos de um conjunto dado de objetos $O$ (ou seja, $A = 2^O$ ). Este domínio permite a consideração de estruturas de preferência específicas, como preferências separáveis, onde o valor de um objeto é independente do conjunto ao qual ele é adicionado.

2. Metodologia e Axiomas

Os autores empregam uma abordagem axiomática, definindo uma regra de votação como uma mapeamento de perfis de preferência para alternativas. Eles avaliam as regras com base nas seguintes propriedades desejáveis:

Imunidade a falsos-nomes: Um eleitor não pode se beneficiar ao submeter votos adicionais idênticos à sua preferência original (uma condição mais fraca que a imunidade a falsos-nomes forte, que permite submeter preferências diferentes).
Participação: Um eleitor nunca obtém um resultado pior ao votar do que ao se abster.
Anonimato: A regra trata todos os eleitores simetricamente; permutar as identidades dos eleitores não altera o resultado.
Neutralidade (e Neutralidade de Objetos): A regra trata todas as alternativas simetricamente. No domínio de subconjuntos, isso é relaxado para neutralidade de objetos, onde permutar os nomes dos objetos subjacentes não afeta o subconjunto escolhido.
Sobrejetividade (Ontoness): Toda alternativa (ou subconjunto) possível pode ser o resultado para algum perfil.
Dependência apenas do topo (Tops-onliness): O resultado depende exclusivamente da primeira escolha de cada eleitor.

A análise procede estabelecendo relações lógicas entre esses axiomas e provando teoremas de impossibilidade para combinações específicas de propriedades em domínios específicos.

3. Principais Contribuições e Resultados

A. O Domínio Universal

Os autores analisam primeiro o domínio universal de preferências.

Implicação do Anonimato: O artigo prova que qualquer regra de votação que satisfaça simultaneamente imunidade a falsos-nomes e participação deve ser anônima (Proposição 2). Isso é derivado ao mostrar que, se a identidade de um eleitor muda, mas sua preferência permanece a mesma, o resultado é invariante (Lema 1).
Incompatibilidade com a Neutralidade: Como o anonimato e a neutralidade são geralmente incompatíveis no domínio universal para três ou mais alternativas, os autores concluem que nenhuma regra de votação no domínio universal pode satisfazer simultaneamente imunidade a falsos-nomes, participação e neutralidade (Proposição 3). Este resultado estende achados anteriores de impossibilidade (por exemplo, Conitzer, 2008) para a noção mais fraca de imunidade a falsos-nomes.

B. O Domínio de Subconjuntos de Objetos

Os autores então migram para o domínio onde as alternativas são subconjuntos de objetos, relaxando a neutralidade para neutralidade de objetos. Eles investigam se as cinco propriedades (sobrejetividade, dependência apenas do topo, imunidade a falsos-nomes, participação e neutralidade de objetos) podem coexistir.

Impossibilidade Geral: O artigo estabelece que nenhuma regra de votação satisfaz as cinco propriedades simultaneamente no domínio de todas as preferências sobre subconjuntos de objetos (Teorema 1). A prova demonstra que a sobrejetividade e a dependência apenas do topo, combinadas com a imunidade a falsos-nomes e a participação, forçam a regra a comportar-se de maneira que contradiz a neutralidade de objetos ao analisar sociedades reduzidas (por exemplo, um ou dois eleitores).
Independência dos Axiomas: Os autores mostram que a impossibilidade é não trivial porque os cinco axiomas são logicamente independentes. Eles fornecem exemplos de regras que satisfazem qualquer quatro das cinco propriedades, mas falham na quinta.

C. Maximalidade das Preferências Separáveis

O artigo revisita o domínio das preferências separáveis, onde Fioravanti e Massó (2024) haviam caracterizado anteriormente regras que satisfazem essas propriedades (especificamente, votação por regras de quota). Os autores abordam se este domínio pode ser ampliado enquanto mantém a compatibilidade de todas as cinco propriedades.

Resultado de Maximalidade: O artigo prova que o domínio das preferências separáveis é maximal para o conjunto de regras que satisfazem sobrejetividade, dependência apenas do topo, imunidade a falsos-nomes, participação e neutralidade de objetos (Teorema 2).
Mecanismo de Falha: A prova demonstra que, para qualquer preferência não separável adicionada ao domínio, existe pelo menos uma regra (especificamente, extensões de regras de quota semelhantes à maioria) que satisfaz todas as propriedades no domínio separável, mas viola a participação quando estendida para incluir a preferência não separável. Isso implica que a separabilidade é uma condição necessária para a compatibilidade desses axiomas em toda a classe de tais regras.

4. Significado e Alegações

O artigo alega fornecer uma caracterização rigorosa dos limites da votação à prova de manipulação em ambientes anônimos. Seu significado reside em três áreas principais:

Clarificando o Custo da Imunidade: Estabelece que prevenir tanto a votação duplicada quanto a abstenção benéfica exige fundamentalmente anonimato, o que, por sua vez, exclui a neutralidade em ambientes não estruturados.
Robustez das Preferências Separáveis: Demonstra que os resultados positivos encontrados na literatura para preferências separáveis não são meros artefatos desse domínio específico, mas representam uma fronteira estrutural. O domínio das preferências separáveis é o maior domínio possível onde uma classe de regras pode satisfazer simultaneamente as cinco propriedades desejáveis.
Implicações Práticas para Votação Online: As descobertas sugerem que plataformas que projetam mecanismos de votação para ambientes com identidades não verificadas (por exemplo, governança em blockchain ou pesquisas online) enfrentam um trade-off. Para alcançar sobrejetividade, dependência apenas do topo e neutralidade de objetos, juntamente com imunidade a manipulações por falsos-nomes e de não comparecimento, o sistema deve ou restringir as preferências admissíveis às separáveis ou aceitar que algumas regras naturais falharão quando as preferências exibirem efeitos de complementaridade ou substituição.

Os autores concluem que o domínio separável serve como um benchmark bem definido onde todos os desiderata podem ser satisfeitos conjuntamente, e qualquer relaxamento deste domínio inevitavelmente leva à violação de pelo menos uma propriedade para algumas regras dentro da classe caracterizada.