Consistent Beliefs without Common Prior

Resumo Técnico: Crenças Consistentes sem um Prior Comum

Problema
A literatura sobre a suposição do prior comum (CPA) geralmente segue duas vertentes. A primeira trata o prior comum como uma distribuição de probabilidade consistente com os posteriores de todos os jogadores (Aumann, 1976; Samet, 1998). A segunda, mais restritiva, assume que o prior comum possui suporte total, o que significa que cada tipo de cada jogador recebe probabilidade positiva (Morris, 1991, 1994).

Morris (1991, 1994) estabeleceu uma dualidade epistemológica–comportamental para espaços de tipos finitos: um espaço de tipos finito admite um prior comum com suporte total se, e somente se, não contiver uma aposta aceitável (uma aposta onde todos os jogadores esperam retornos não negativos, com pelo menos um de expectativa estritamente positiva). No entanto, o conceito de "suporte total" é problemático em espaços de estados infinitos. Além disso, as caracterizações existentes de priors comuns frequentemente falham em configurações infinitas, a menos que pressuposições adicionais fortes (ex: compacidade ou espaços de estados enumeráveis) sejam impostas, particularmente ao modelar crenças como medidas de probabilidade $\sigma$-aditivas.

Este artigo aborda a lacuna na caracterização do "prior comum com suporte total" em espaços de tipos infinitos gerais e investiga se tal prior pode ser significativamente representado como uma distribuição de probabilidade.

Metodologia
Os autores empregam uma abordagem de caracterização dual epistêmica–comportamental, estendendo os resultados de Morris para espaços de estados infinitos. A metodologia envolve:

1. Generalização de Definições: Extensão da noção de "aposta aceitável" para espaços de estados infinitos.
2. Separação Convexa: Utilização da separação de conjuntos convexos em espaços vetoriais topológicos. O artigo distingue entre separação forte (correspondente à dualidade entre prior comum e aposta concordante) e separação própria (correspondente à consistência forte das crenças–aposta aceitável).
3. Robustez do Modelo: Análise dos resultados sob dois frameworks distintos de modelagem de crenças:
   • Medidas de Probabilidade: Probabilidades $\sigma$-aditivas (teoria da medida padrão).
   • Cargas de Probabilidade: Probabilidades finitamente aditivas (cargas), que permitem uma classe mais ampla de modelos infinitos.
4. Contraexemplos: Construção de espaços de tipos infinitos específicos (Exemplos 8 e 9 no texto principal; Exemplos 4–6 no suplemento) onde os jogadores compartilham conjuntos de priors idênticos (interseções), mas diferem quanto ao fato de suas crenças serem "fortemente consistentes".

Principais Contribuições
O artigo apresenta três contribuições primárias:

1. Extensão para Espaços de Tipos Infinitos: Os autores generalizam a caracterização de Morris (1991, 1994) do prior comum com suporte total para espaços de tipos infinitos. Eles introduzem o conceito de consistência forte de crenças (Definição 5) como o análogo apropriado em dimensões infinitas.
2. Robustez a Modelos de Probabilidade: A caracterização da consistência forte de crenças via ausência de apostas aceitáveis mostra-se robusta. Ela é válida tanto se as crenças forem modeladas como medidas de probabilidade $\sigma$-aditivas (Teorema 7) quanto como cargas de probabilidade finitamente aditivas (Material Suplementar). Isso contrasta com a caracterização "prior comum–aposta concordante", que falha no modelo de medida sem suposições adicionais significativas.
3. Reavaliação do Prior Comum como uma Distribuição: O artigo demonstra que, em espaços de estados infinitos, a noção de um prior comum com suporte total não pode ser geralmente representada por uma única distribuição de probabilidade ou um conjunto de distribuições. Através dos Exemplos 8 e 9, os autores mostram que dois jogadores podem ter conjuntos de priors idênticos (com a mesma interseção), mas possuem crenças que são fortemente consistentes em um cenário e não no outro. Isso implica que a separação própria de conjuntos convexos (a condição matemática para a consistência forte) nem sempre é detectável pela interseção dos conjuntos.

Principais Resultados

• Teorema 7 (Resultado Principal): Em um espaço de tipos $T$, as crenças dos jogadores são fortemente consistentes se, e somente se, não existe uma aposta aceitável dentro do espaço de tipos. Isso estabelece a dualidade epistêmica–comportamental para espaços infinitos.
• Lema 6: Em espaços de tipos finitos, a consistência forte é equivalente à interseção não vazia dos interiores relativos dos conjuntos de priors dos jogadores ($\cap \text{int} \Pi_i \neq \emptyset$). Esta "testemunha" (uma distribuição de probabilidade específica) desaparece em espaços infinitos.
• Exemplos 8 e 9: Estes exemplos ilustram que, mesmo quando $\Pi_{Anne} \cap \Pi_{Ben}$ é idêntica (contendo apenas uma distribuição uniforme $\nu$), as crenças podem ser fortemente consistentes em um cenário (onde nenhuma separação própria é possível) e não no outro (onde a separação própria é possível).
• Implicação para Representação: Como a separação própria não pode ser garantida pela interseção dos conjuntos de priors em dimensões infinitas, o "prior comum com suporte total" não pode ser universalmente definido como uma distribuição de probabilidade.

Significância e Alegações
O artigo argumenta que a visão tradicional do prior comum com suporte total como uma distribuição de probabilidade concreta (ou um conjunto de distribuições) que serve como testemunha da consistência de crenças não é sustentável em espaços de estados infinitos.

• Mudança Terminológica: Os autores propõem adotar o termo "consistência forte de crenças" em vez de "prior comum com suporte total". Essa mudança desloca o foco de uma distribuição potencialmente inexistente para a relação estrutural entre os priors dos jogadores.
• Natureza do Estágio Ex-Ante: Os achados sugerem que o estágio ex-ante deve ser visto como um elemento não primitivo do modelo. Em configurações infinitas, a ausência de arbitragem (nenhuma aposta aceitável) deve ser interpretada como a (forte) consistência de crenças, em vez da existência de um real prior comum de distribuição.
• Contribuição para o Debate: Este resultado contribui para o debate iniciado por Aumann (1998) e Gul (1998) sobre a necessidade e interpretação de priors comuns. O artigo conclui que, embora a intuição do "prior comum" seja útil em configurações finitas, em configurações infinitas, o conceito é melhor compreendido como uma condição de consistência sobre as crenças, em vez de um objeto probabilístico específico.

O artigo não propõe novas aplicações experimentais ou direções de pesquisa futura além das implicações teóricas para a interpretação de espaços de tipos e priors na teoria dos jogos e economia.