Obviously Strategy-proof Choice of Social Acts

Resumo Técnico: Escolha de Atos Sociais Obviamente Estratégica

Enunciado do Problema
Este artigo investiga a implementação de funções de escolha social (FCS) dentro do arcabouço de escolha social sobre atos sociais, originalmente introduzido por Bahel e Sprumont (2020). Neste ambiente, um planejador social deve selecionar um plano contingente (um ato que mapeia estados da natureza para resultados) antes que a incerteza seja resolvida. Os agentes avaliam esses atos utilizando o critério da Utilidade Esperada Subjetiva (UES), o que significa que eles possuem tanto valorações subjetivas dos resultados quanto medidas de probabilidade subjetivas sobre os estados da natureza.

Embora Bahel e Sprumont (2020) tenham demonstrado que a classe de FCS unânimes e estrategicamente íntegras neste domínio é rica — especificamente caracterizada como regras de "seleção de topo bilateral local" — este artigo questiona se essas regras satisfazem a condição mais forte de Obvia Estratégia-Integridade (OSP, do inglês Obvious Strategy-Proofness). A OSP, introduzida por Li (2017), exige que o relato verdadeiro seja uma estratégia dominante óbvia, o que significa que mesmo o pior resultado possível ao seguir a estratégia é tão bom quanto o melhor resultado possível de qualquer desvio. A questão central é se a flexibilidade permitida pela integridade estratégica padrão sobrevive quando os agentes são exigidos a compreender "obviamente" a otimalidade do relato verdadeiro.

Metodologia e Modelo
Os autores adotam o modelo formal de Bahel e Sprumont (2020), definido por:

• Um conjunto finito de agentes $N$, um conjunto finito de estados da natureza $\Omega$, e um conjunto de resultados sociais $X$.
• Os agentes detêm preferências de UES estritas, representadas por funções de valoração injetivas $v_i$ e medidas de probabilidade injetivas $p_i$.
• Funções de escolha social mapeiam perfis de preferências para atos ($\phi: D^n \to X^\Omega$).

O artigo utiliza a definição de mecanismos OSP como jogos de forma extensiva (árvores) onde os agentes relatam preferências em nós internos. Um mecanismo é OSP se, em cada nó de decisão para um agente, a utilidade do pior resultado resultante de seguir o caminho verdadeiro é maior ou igual à utilidade do melhor resultado de qualquer desvio.

A estratégia de prova baseia-se na caracterização de FCS unânimes e estrategicamente íntegras fornecida por Bahel e Sprumont (2020), que são regras de seleção de topo bilateral local. Essas regras particionam o espaço de estados $\Omega$ em eventos, onde a atribuição de estados aos agentes é determinada por regras que são ou constantes, ou bilateralmente ditatoriais, ou bilateralmente consensuais. Os autores então analisam as restrições estruturais impostas pela OSP sobre essas regras de atribuição específicas.

Uma ferramenta técnica fundamental é o Lema 1, que estabelece que, para qualquer crença $p_i$, é possível construir uma função de valoração $v_i$ com uma progressão geométrica específica de valores de modo que a preferência resultante seja estrita (sem indiferença entre atos distintos) para todos, exceto para um número finito de valores de parâmetros. Isso permite que os autores construam perfis de preferência específicos onde os agentes possuem preferências estritas sobre os resultados gerados por diferentes regras de atribuição, facilitando um argumento de contradição.

Principais Resultados
O principal resultado do artigo, o Teorema 1, fornece uma caracterização completa:

Uma FCS $\phi$ é unânime e implementável via OSP se, e somente se, ela é ditatorial.

A prova procede por contradição, assumindo a existência de uma FCS unânime e implementável via OSP que não seja ditatorial. Com base na caracterização de Bahel e Sprumont, tal função corresponderia a uma regra de atribuição bilateral local. Os autores demonstram que, se mais de um agente for atribuído um conjunto não vazio de estados (o que é necessário para uma regra não ditatorial), pode-se construir dois perfis de preferência que divergem em um nó específico do mecanismo OSP. Ao escolher cuidadosamente as valorações (usando o Lema 1), eles mostram que, no nó de divergência, a condição OSP exigiria que um agente preferisse um resultado que contradiz suas preferências construídas.

Especificamente, a prova demonstra:

1. Alegação 1: Para qualquer agente, o conjunto de estados atribuídos a ele é ou vazio para todos os perfis de crença ou não vazio para todos os perfis de crença.
2. Alegação 2: Pelo menos um agente deve ser atribuído um conjunto de estados não vazio para todos os perfis (devido às propriedades de unanimidade e partição).
3. Alegação 3: É impossível que dois agentes distintos sejam ambos atribuídos conjuntos não vazios de estados para todos os perfis. Se dois agentes fossem atribuídos estados, a condição OSP seria violada ao construir um cenário onde um agente prefere o resultado associado aos estados atribuídos ao outro agente, criando um ciclo de dominância que a OSP não consegue resolver.

Consequentemente, apenas um agente pode ser atribuído o conjunto inteiro do espaço de estados $\Omega$ através de todos os perfis, tornando a FCS ditatorial. Por outro turno, os autores observam que as FCS ditatoriais são trivialmente implementáveis via OSP.

Significância e Contribuição
O artigo contribui para a literatura sobre a obvia estratégia-integridade ao demonstrar que as implicações da OSP são altamente sensíveis ao ambiente econômico. Embora estudos anteriores em ambientes de votação com domínios de pico único (Bade e Gonczarowski, 2016; Arribillaga et al., 2020) ou problemas de divisão (Arribillaga et al., 2023) tenham encontrado regras implementáveis via OSP não ditatoriais, este artigo mostra que, no contexto de escolha social sobre atos com incerteza subjetiva, a OSP é extremamente restritiva.

Os autores afirmam que seu resultado destaca uma "forte tensão entre a simplicidade de incentivos e a escolha coletiva não ditatorial" em ambientes onde os agentes detêm preferências de utilidade esperada subjetiva. Enquanto Bahel e Sprumont (2020) encontraram que a integridade estratégica permite uma classe rica de regras bilaterais locais, a imposição do requisito de "obviedade" colapsa totalmente essa flexibilidade, deixando apenas as regras ditatoriais como candidatas viáveis para a implementação via OSP. Isso sugere que, em ambientes complexos envolvendo incerteza subjetiva, mecanismos que são fáceis de serem compreendidos pelos agentes (OSP) podem ser incompatíveis com a escolha social unânime e não ditatorial.