Resumo Técnico: Votação com Ordens Parciais – As Classes Pluralidade e Anti-Pluralidade

1. Declaração do Problema

O artigo aborda o problema da tomada de decisão coletiva quando as preferências individuais são representadas como ordens parciais estritas em vez das ordens lineares padrão (classificações completas) utilizadas na teoria clássica da escolha social. Em muitos cenários práticos, exigir que os eleitores classifiquem completamente um grande conjunto de alternativas é excessivamente exigente. As ordens parciais permitem que os eleitores expressem preferências estritas para alguns pares, permanecendo indiferentes ou incapazes de comparar outros.

O desafio central é estender a bem conhecida regra da Pluralidade (selecionar a alternativa mais frequentemente classificada no topo) e a regra da Anti-Pluralidade (selecionar a alternativa menos frequentemente classificada na base, também conhecida como Veto) para este domínio. Uma dificuldade-chave surge porque, em uma ordem parcial, um eleitor pode ter múltiplas alternativas "topo" (nenhuma preferida a elas) ou múltiplas alternativas "base" (nenhuma preferida a elas), e a estrutura desses conjuntos pode variar significativamente entre os eleitores. O artigo busca identificar e caracterizar axiomática as classes naturais de regras de votação que generalizam essas regras padrão para ordens parciais.

2. Metodologia

Os autores empregam uma abordagem axiomática dentro de um modelo de eleitorados variáveis (onde qualquer subconjunto finito de um universo infinito de eleitores pode participar).

O Modelo

• Alternativas: Um conjunto finito $A$ com $|A| = m \geq 3$.
• Preferências: Uma ordem parcial estrita $\succ$ (irreflexiva, antissimétrica, transitiva).
• Conjuntos Chave:
  • $T(\succ)$: O conjunto de alternativas topo (elementos maximais).
  • $B(\succ)$: O conjunto de alternativas base (elementos minimais).
  • $NT(\succ)$ e $NB(\succ)$: Os conjuntos não-topo e não-base, respectivamente.
• Regras de Votação: Funções que mapeiam perfis de ordens parciais para um conjunto não vazio de alternativas vencedoras.

Regras de Pontuação

O artigo foca em regras de pontuação posicional, onde a pontuação de uma alternativa depende apenas de sua posição no grafo de preferências. Os autores definem várias classes de regras baseadas em como as pontuações são atribuídas aos conjuntos topo e base:

1. Classe Pluralidade: Alternativas não-topo recebem uma pontuação constante $k'$, enquanto alternativas topo recebem pontuações $\geq k'$, com pelo menos uma alternativa topo recebendo estritamente mais.
2. Classe Pluralidade Simples: Todas as alternativas topo recebem a mesma pontuação $k$.
3. Classe Pluralidade Simples Monotônica: A diferença de pontuação entre alternativas topo e não-topo aumenta à medida que o tamanho do conjunto topo diminui (recompensando classificações topo "mais decisivas").
4. Regra Uniforme de Pluralidade: Uma regra específica onde cada alternativa topo recebe 1 ponto e cada não-topo recebe 0.
5. Classes Anti-Pluralidade: Definidas simetricamente, focando em conjuntos base (não-bases recebem pontuação $k$, bases recebem $\leq k$).

Axiomas

As caracterizações dependem de um conjunto de axiomas, incluindo os padrão adaptados para ordens parciais e novos inspirados na votação por aprovação:

• Padrão: Anonimato, Neutralidade, Reforço (Consistência) e Continuidade.
• Responsividade: Fiel Parcial (um único eleitor seleciona o topo), Fiel (um único eleitor seleciona exatamente o topo), Aversão Parcial (um único eleitor não seleciona toda a base), Aversão (um único eleitor não seleciona nenhuma base).
• Congruência: T-Congruência (adicionar eleitores que não classificam $x$ no topo não deve fazer $x$ vencer) e B-Congruência (adicionar eleitores que não classificam $x$ na base não deve fazer $x$ perder).
• Contração/Expansão: Restrições sobre como o resultado muda quando um eleitor reduz seu conjunto topo ou expande seu conjunto base.
• Propriedades Técnicas: Apenas-Topos e Apenas-Bases (os resultados dependem apenas dos conjuntos topo/base).

3. Principais Contribuições e Resultados

Caracterização de Regras de Pontuação

Teorema 1 estabelece que uma regra de votação satisfaz Anonimato, Neutralidade, Reforço e Continuidade se e somente se for uma regra de pontuação posicional. Isso adapta o resultado clássico de Young (1975) para o domínio das ordens parciais.

A Família Pluralidade

O artigo fornece caracterizações axiomáticas para as classes Pluralidade:

• Teorema 2: Uma regra pertence à Classe Pluralidade se e somente se satisfizer Anonimato, Neutralidade, Reforço, Continuidade, Fiel Parcial e T-Congruência.
• Corolário 3: A Classe Pluralidade Simples é caracterizada substituindo Fiel Parcial por Fiel.
• Teorema 4: A Classe Pluralidade Simples Monotônica é caracterizada adicionando o axioma de Contração aos axiomas da Classe Pluralidade Simples.
• Teorema 6: A Regra Uniforme de Pluralidade é caracterizada por Anonimato, Neutralidade, Reforço, Fiel Parcial e Contração Forte. A prova baseia-se em mostrar que a Contração Forte implica Apenas-Topos, reduzindo o problema ao caso de ordem linear onde a caracterização de Sekiguchi (2012) se aplica.

A Família Anti-Pluralidade

Resultados simétricos são fornecidos para as classes Anti-Pluralidade:

• Teorema 9: Uma regra pertence à Classe Anti-Pluralidade se e somente se satisfizer Anonimato, Neutralidade, Reforço, Continuidade, Aversão Parcial e B-Congruência.
• Corolário 10: A Classe Anti-Pluralidade Simples é caracterizada substituindo Aversão Parcial por Aversão.
• Teorema 11: A Classe Anti-Pluralidade Simples Monotônica é caracterizada adicionando o axioma de Expansão.
• Teorema 13: A Regra Uniforme Anti-Pluralidade é caracterizada por Anonimato, Neutralidade, Reforço, Aversão Parcial e Expansão Forte.

Independência dos Axiomas

Os autores demonstram a independência lógica dos axiomas usados nessas caracterizações (Proposições 7, 8, 14, 15) construindo regras de contraexemplo que satisfazem todos, exceto um axioma. Notavelmente, eles destacam que a Continuidade é necessária para suas caracterizações das classes Pluralidade e Anti-Pluralidade no cenário de ordem parcial, enquanto frequentemente é dispensável para a regra padrão de Pluralidade em ordem linear (ex: Ching, 1996). Essa necessidade surge porque as estruturas variáveis dos conjuntos topo/base em ordens parciais tornam axiomas como T-Congruência e Contração menos restritivos sem a Continuidade.

Aplicações à Votação por Aprovação

O artigo mostra que seus resultados se aplicam à Votação por Aprovação, onde um boletim é uma ordem parcial com conjuntos topo e base disjuntos cobrindo todas as alternativas ($T(\succ) \cap B(\succ) = \emptyset$ e $T(\succ) \cup B(\succ) = A$).

• Corolário 16: Regras de votação por aprovação baseadas em tamanho (onde a pontuação depende do tamanho do conjunto de aprovação) são caracterizadas pelos axiomas da Classe Pluralidade Simples Monotônica (com Fiel Parcial).
• Corolários 17 e 18: A regra padrão de votação por aprovação é caracterizada pelos axiomas das Regras Uniforme de Pluralidade e Uniforme Anti-Pluralidade, respectivamente.
• Corolário 19: Regras de aprovação "anti-tamanho" (favorecendo conjuntos de aprovação maiores) são caracterizadas pelos axiomas da Anti-Pluralidade Simples Monotônica.

4. Significado e Alegações

O artigo afirma fornecer as primeiras caracterizações axiomáticas de regras semelhantes à Pluralidade e Anti-Pluralidade para o domínio das ordens parciais. Seu significado reside em:

1. Generalização: Estende com sucesso a lógica intuitiva da Pluralidade e Anti-Pluralidade (focando nas posições topo e base) para um cenário onde "topo" e "base" são conjuntos e não elementos únicos, respeitando a riqueza estrutural das ordens parciais.
2. Unificação: Unifica a compreensão dessas regras através de ordens lineares, ordens parciais e votação por aprovação. Os autores observam que suas caracterizações para ordens lineares convergem para resultados estabelecidos na literatura, validando a generalização.
3. Novos Insights para Votação por Aprovação: Ao derivar esses resultados do framework de ordem parcial, o artigo oferece novas caracterizações axiomáticas independentes para regras padrão e baseadas em tamanho de votação por aprovação, evitando a dependência direta da suposição "Apenas-Topos" frequentemente implícita na literatura de votação por aprovação.
4. Subtileza do Domínio: Os resultados ilustram as subtilezas específicas da votação com ordens parciais, particularmente a necessidade do axioma de Continuidade neste contexto mais amplo, o que o distingue do caso de ordem linear.

Os autores concluem que, embora tenham focado na Pluralidade e Anti-Pluralidade, seu framework abre caminho para generalizações similares de outras regras de pontuação (ex: Borda, Cumulativa, Escalonada) para o domínio das ordens parciais.