Strategy-Proof Probabilistic Social Choice Correspondences under Conditional Expected Utility

Resumo Técnico: Correspondências de Escolha Social Probabilísticas com Prova de Estratégia sob Utilidade Esperada Condicional

Enunciado do Problema
Este artigo investiga a estrutura das Correspondências de Escolha Social Probabilísticas (CSPPs), que atribuem loterias sobre subconjuntos não vazios de alternativas em vez de alternativas únicas. O estudo foca em duas propriedades desejáveis: unanimidade (se todos os agentes classificam um conjunto específico como o mais alto, esse conjunto é selecionado com probabilidade um) e prova de estratégia (o relato verdadeiro é uma estratégia dominante).

A análise é conduzida sob o arcabouço da Utilidade Esperada Condicional (UEC), onde os agentes avaliam conjuntos selecionados com base em suas crenças sobre uma etapa subsequente de desempate ou seleção final. O artigo examina dois domínios de preferências introduzidos por Barbera et al. (2001):

1. UEC (Consistente com Utilidade Esperada Condicional): Os agentes possuem avaliações subjetivas (crenças) em relação à probabilidade de diferentes alternativas serem selecionadas de um conjunto.
2. UECEP (Consistente com Utilidade Esperada Condicional com Probabilidades Iguais): Os agentes tratam todas as alternativas dentro de um conjunto selecionado como igualmente prováveis de serem o resultado final.

A questão central de pesquisa é se permitir a randomização sobre conjuntos de alternativas (CSPPs) expande a classe de regras com prova de estratégia admissíveis além do fecho convexo das correspondências determinísticas com prova de estratégia (CDSPs), ou se as regras probabilísticas simplesmente se reduzem a loterias sobre regras determinísticas.

Metodologia e Arcabouço
Os autores formalizam o ambiente de escolha social com $n$ agentes e $m$ alternativas ($m \ge 3$).

• Preferências: Os agentes possuem preferências sobre subconjuntos não vazios de alternativas derivadas de uma função de utilidade $v$ e uma avaliação $\lambda$. No domínio UEC, $\lambda$ é subjetiva; no domínio UECEP, $\lambda$ é uniforme.
• Prova de Estratégia: Definida via Dominância Estocástica de Primeira Ordem (DSPO). Um agente compara a loteria sobre conjuntos resultante do relato verdadeiro contra a loteria resultante de um relato falso. A definição baseia-se na preferência ordinal do agente sobre conjuntos, garantindo que a condição seja independente de representação (ou seja, mantém-se para qualquer par utilidade/avaliação que gere a preferência relatada).
• Abordagem Analítica: O artigo emprega indução no número de agentes e utiliza lemmas estruturais específicos para restringir o suporte da distribuição de probabilidade. Ferramentas principais incluem:
  • Estabelecer que CSPPs unânimes e com prova de estratégia devem ser apenas do topo (tops-only) (os resultados dependem apenas dos conjuntos de topo classificados pelos agentes).
  • Provar que o suporte da loteria é restrito a singletons e díades da união dos conjuntos de topo dos agentes.
  • Construir perfis de preferência específicos para derivar contradições ou igualdades em probabilidades, de modo a caracterizar as regras permitidas.

Principais Resultados e Caracterizações

O artigo fornece uma caracterização completa de CSPPs unânimes e com prova de estratégia através dos dois domínios, revelando que o impacto da randomização é dependente do domínio.

1. O Domínio UEC (Avaliações Subjetivas)

• Resultado: Toda CSPP unânime e com prova de estratégia no domínio UEC é uma Regra de Ditadura Aleatória.
• Implicação: Mesmo que a regra seja permitida randomizar sobre subconjuntos arbitrários, a prova de estratégia e a unanimidade forçam a massa de probabilidade a ser atribuída exclusivamente a conjuntos de elemento único que são de topo para os agentes. A randomização sobre conjuntos não gera flexibilidade adicional; a classe de regras colapsa para a ditadura aleatória padrão encontrada em funções de escolha social probabilísticas (Gibbard, 1977).

2. O Domínio UECEP (Probabilidades Iguais)
A caracterização aqui é mais matizada e depende do número de agentes ($n$) e alternativas ($m$).

• Caso A: $n \le 3$ (Qualquer $m \ge 3$)

  • Resultado: A classe de regras é exatamente o conjunto de Regras de Biditadura Aleatória.
  • Definição: Estas são combinações convexas de regras determinísticas de biditadura (que selecionam a união dos conjuntos de topo de dois agentes).
  • Implicação: Para sociedades pequenas, as regras probabilísticas não geram novas estruturas; são meramente loterias sobre biditaduras determinísticas.

• Caso B: $n \ge 4$ e $m = 3$

  • Resultado: A classe se expande para Regras Ponderadas por Coalizão.
  • Definição: Estas regras são geradas por uma função de peso de coalizão $v: 2^N \to [0, 1]$ que atribui probabilidades baseadas no tamanho e composição da coalizão que apoia uma alternativa. A probabilidade de um singleton $\{x\}$ é $v(N_x)$, e a probabilidade de uma díade $\{x, y\}$ é $v(N_x \cup N_y) - v(N_x) - v(N_y)$.
  • Significância: Esta classe é estritamente maior que o conjunto de regras de biditadura aleatórias. O artigo fornece um exemplo explícito (Exemplo 3) de uma CSPP unânime e com prova de estratégia que não pode ser escrita como uma combinação convexa de correspondências determinísticas com prova de estratégia. Isso demonstra que a randomização pode genuinamente ampliar o conjunto de regras admissíveis nesta configuração específica.

• Caso C: $n \ge 4$ e $m \ge 4$

  • Resultado: A classe colapsa de volta para as Regras de Biditadura Aleatória.
  • Implicação: A "liberdade extra" observada no caso de três alternativas desaparece quando há quatro ou mais alternativas. O artigo prova que para $m \ge 4$, toda regra ponderada por coalizão é equivalente a uma regra de biditadura aleatória.

Significância e Alegações

O artigo afirma identificar um papel específico, dependente do domínio, para a randomização na escolha social de valores de conjunto:

1. Sensibilidade ao Domínio: Embora a randomização geralmente não expanda a classe de regras com prova de estratégia nos domínios irrestritos ou UEC, ela o faz no domínio UECEP, mas apenas quando o número de alternativas é exatamente três e o número de agentes é pelo menos quatro.
2. Novidade das Regras Probabilísticas: Os autores destacam que, no caso $m=3, n \ge 4$, as regras probabilísticas admissíveis não são meramente combinações convexas de regras determinísticas. Isso desafia a intuição de que mecanismos probabilísticos são simplesmente loterias sobre regras determinísticas.
3. Conexão com Baselines Determinísticas: O artigo estabelece que, embora a classe probabilística se expanda para $m=3, n \ge 4$, os membros determinísticos desta classe expandida (regras ponderadas por coalizão que são determinísticas) coincidem exatamente com as regras de biditadura caracterizadas por Barbera et al. (2001). Assim, a expansão é um fenômeno puramente probabilístico.
4. Insight Estrutural: O trabalho esclarece que o "colapso" para a biditadura aleatória para $m \ge 4$ é uma restrição estrutural imposta pelo número de alternativas, distinguindo o caso de três alternativas como uma anomalia onde as regras ponderadas por coalizão fornecem uma estrutura mais rica.

Em suma, o artigo demonstra que a relação entre regras determinísticas e probabilísticas com prova de estratégia não é uniforme; a randomização pode gerar novas correspondências com prova de estratégia, mas este fenômeno é altamente sensível aos parâmetros específicos do ambiente de escolha social (especificamente o número de alternativas e agentes) e à natureza das crenças dos agentes sobre o processo de seleção.