Single-Peaked Domain Augmented with Complete Indifference: A Characterization of Target Rules with a Default

Resumo Técnico: Domínio de Pico Único Ampliado com Indiferença Completa

1. O Problema de Decisão

O artigo investiga um problema de escolha social pública onde uma sociedade finita ($N = \{1, \dots, n\}$) deve selecionar um nível de bem público a partir de um intervalo fechado $A = [0, 1]$. A inovação central deste trabalho reside na definição do domínio de preferências dos agentes:

• Preferências de Pico Único (Single-Peaked): A maioria dos agentes possui preferências clássicas de pico único, onde existe um ponto ideal ($\tau(R_i)$) e a utilidade decresce à medida que se afasta desse ponto.
• Indiferença Completa (Complete Indifference): Um subconjunto de agentes pode ser completamente indiferente a todas as alternativas no intervalo ($R_0$).
  • Interpretação: Esta indiferença modela situações de abstenção ou a posição "Nenhuma das Acima" (NOTA), onde o agente participa do processo decisório, mas não endossa nenhum nível específico de bem público.

O domínio estudado é denotado por $S_0 = S \cup \{R_0\}$, onde $S$ é o conjunto de preferências de pico único. O objetivo é caracterizar as regras de escolha social (funções de escolha social - SCFs) que operam neste domínio ampliado.

2. Metodologia e Axiomas

Os autores utilizam a teoria da escolha social para caracterizar regras que satisfazem propriedades de eficiência e incentivo. As propriedades centrais analisadas são:

1. Sobrecarga (Onto-ness): A regra deve ser capaz de escolher qualquer alternativa em $A$ para algum perfil de preferências. É uma condição de riqueza da imagem da função.
2. Proteção Estratégica (Incentive Compatibility):
   • O foco principal é a Proteção Estratégica Pareada (Pairwise Strategy-Proofness - PSP). Uma regra é PSP se nenhum grupo de até dois agentes pode manipular o resultado conjuntamente para que todos fiquem estritamente ou fracamente melhores (com pelo menos um estritamente melhor).
   • A PSP é uma versão mais fraca da Proteção Estratégica de Grupo (GSP), mas é considerada behavioristicamente plausível, pois a coordenação entre dois agentes é mais fácil do que em grandes coalizões.
3. Eficiência: O resultado deve ser Pareto-eficiente (não existe outra alternativa que todos prefiram ou que pelo menos um prefira estritamente sem que outros piorem).
4. Propriedade "Top-Only": O resultado depende apenas dos picos (preferências máximas) dos agentes não indiferentes e da identidade dos agentes indiferentes, ignorando a forma das preferências abaixo do pico.

3. Contribuições Principais e Resultados

A. Caracterização das "Regras Alvo com um Padrão" (Target Rules with a Default)
O resultado central do artigo (Teorema 1) estabelece que, para $n \geq 3$, uma regra de escolha social no domínio $S_0$ é sobrejetora (onto) e protegida estrategicamente em pares (pairwise strategy-proof) se e somente se for uma Regra Alvo com um Padrão.

Uma Regra Alvo com um Padrão é definida por dois parâmetros fixos: um nível alvo ($x \in A$) e um nível padrão ($y \in A$). A regra opera da seguinte forma:

• Caso 1 (Há agentes com pico único): Se o perfil $R$ contém pelo menos um agente com preferência de pico único:
  • Se o nível alvo $x$ estiver dentro do intervalo de eficiência $[\tau(R), \bar{\tau}(R)]$ (onde $\tau$ e $\bar{\tau}$ são o menor e maior pico entre os agentes não indiferentes), a regra seleciona $x$.
  • Se $x < \tau(R)$, a regra seleciona o pico mínimo $\tau(R)$.
  • Se $x > \bar{\tau}(R)$, a regra seleciona o pico máximo $\bar{\tau}(R)$.
• Caso 2 (Todos são indiferentes): Se todos os agentes têm preferência $R_0$ (perfil $R_0^N$), a regra seleciona o nível padrão $y$.

B. Implicações Derivadas

• Eficiência e Top-Only: O teorema demonstra que a eficiência e a propriedade "top-only" não precisam ser assumidas como axiomas; elas derivam logicamente da combinação de onto-ness e pairwise strategy-proofness.
• Anonimato: As regras resultantes são anônimas (não dependem da identidade dos agentes).
• Equivalência com GSP: Embora a caracterização use PSP, as regras resultantes são, na verdade, protegidas contra qualquer coalizão (Group Strategy-Proof).

C. Limitações e Casos Especiais

• Caso $n=2$: O Teorema 1 não se aplica quando há apenas dois agentes. Os autores fornecem um contraexemplo (uma regra que é onto e PSP, mas não é uma regra alvo com padrão), mostrando que a caracterização exige $n \geq 3$.
• Fragilidade da PSP: Se a proteção estratégica for enfraquecida para individual strategy-proofness (apenas desvios individuais), a caracterização falha. Regras que são onto e individualmente protegidas podem não ser eficientes nem satisfazer a propriedade "top-only" (exemplificado na Seção 4).

4. Significado e Contribuição para a Literatura

1. Fundação Incentiva vs. Solidariedade: A literatura clássica sobre regras alvo em domínios de pico único (como Thomson, 1993) baseia-se em axiomas de solidariedade (ex: dominação de substituição, monotonicidade populacional). Este artigo fornece uma fundação baseada em incentivos para as regras alvo, demonstrando que a proteção contra manipulação estratégica (mesmo que apenas em pares) é suficiente para caracterizá-las, sem depender de axiomas de solidariedade.
2. Modelagem de Abstenção/NOTA: Ao incorporar formalmente a "indiferença completa", o artigo oferece uma estrutura teórica para analisar cenários onde a participação é obrigatória, mas a preferência pode ser nula (como em eleições com opção NOTA). Mostra-se que a presença de agentes indiferentes exige um mecanismo de "fallback" (o nível padrão $y$) para evitar indeterminação.
3. Robustez da PSP: O trabalho destaca que a pairwise strategy-proofness é uma condição suficientemente forte para garantir resultados estruturais robustos (como eficiência e top-onlyness) em domínios ampliados, servindo como um compromisso viável entre a complexidade computacional da GSP e a fragilidade da proteção individual.

5. Conclusão

O artigo estabelece que, em um ambiente onde os agentes podem ser indiferentes, a única classe de regras que garante que todos os resultados sejam alcançáveis e que nenhum par de agentes possa manipular o sistema é a classe das Regras Alvo com um Padrão. Este resultado unifica a teoria de escolha social clássica com problemas práticos de decisão pública onde a abstenção ou a falta de preferência clara é uma possibilidade real.