Consistent Beliefs without Common Prior

Resumen Técnico: Creencias Consistentes sin un Prior Común

Planteamiento del Problema
La literatura sobre el supuesto del prior común (CPA, por sus siglas en inglés) sigue generalmente dos vertientes. La primera trata al prior común como una distribución de probabilidad consistente con los posteriors de todos los jugadores (Aumann, 1976; Samet, 1998). La segunda, más restrictiva, asume que el prior común tiene soporte completo, lo que significa que a cada tipo de cada jugador se le asigna una probabilidad positiva (Morris, 1991, 1994).

Morris (1991, 1994) estableció una dualidad epistemológica-conductual para espacios de tipos finitos: un espacio de tipos finito admite un prior común con soporte completo si y solo si no contiene una apuesta aceptable (una apuesta donde todos los jugadores esperan pagos no negativos, con al menos uno estrictamente positivo). Sin embargo, el concepto de "soporte completo" es problemático en espacios de estados infinitos. Además, las caracterizaciones existentes de los priors comunes suelen fallar en entornos infinitos a menos que se impongan supuestos adicionales fuertes (por ejemplo, compacidad o espacios de estados contables), particularmente cuando se modelan las creencias como medidas de probabilidad $\sigma$-aditivas.

Este artículo aborda la brecha en la caracterización del "prior común con soporte completo" en espacios de tipos infinitos generales e investiga si tal prior puede representarse significativamente como una distribución de probabilidad.

Metodología
Los autores emplean un enfoque de caracterización dual epistemológica-conductual, extendiendo los resultados de Morris a espacios de estados infinitos. La metodología consiste en:

1. Generalización de Definiciones: Extender la noción de "apuesta aceptable" a espacios de estados infinitos.
2. Separación Convexa: Utilizar la separación de conjuntos convexos en espacios vectoriales topológicos. El artículo distingue entre separación fuerte (correspondiente a la dualidad entre el prior común y la apuesta de acuerdo) y separación propia (correspondiente a la dualidad entre la consistencia fuerte de las creencias y la apuesta aceptable).
3. Robustez del Modelo: Analizar los resultados bajo dos marcos de modelado distintos para las creencias:
   • Medidas de Probabilidad: Probabilidades $\sigma$-aditivas (teoría de la medida estándar).
   • Cargas de Probabilidad: Probabilidades (cargas) finitamente aditivas, que permiten una clase más amplia de modelos infinitos.
4. Contraejemplos: Construir espacios de tipos infinitos específicos (Ejemplos 8 y 9 en el texto principal; Ejemplos 4–6 en el suplemento) donde los jugadores comparten conjuntos de priors idénticos (intersecciones) pero difieren en si sus creencias son "fuertemente consistentes".

Contribuciones Principales
El artículo realiza tres contribuciones primordiales:

1. Extensión a Espacios de Tipos Infinitos: Los autores generalizan la caracterización de Morris (1991, 1994) del prior común con soporte completo a espacios de tipos infinitos. Introducen el concepto de consistencia fuerte de las creencias (Definición 5) como el análogo apropiado en dimensiones infinitas.
2. Robustez ante Modelos de Probabilidad: Se demuestra que la caracterización de la consistencia fuerte de las creencias mediante la ausencia de apuestas aceptables es robusta. Se mantiene tanto si las creencias se modelan como medidas de probabilidad $\sigma$-aditivas (Teorema 7) como si se modelan como cargas de probabilidad finitamente aditivas (Material Suplementario). Esto contrasta con la caracterización de "prior común–apuesta de acuerdo", que falla en el modelo de medidas sin supuestos adicionales significativos.
3. Reevaluación del Prior Común como Distribución: El artículo demuestra que, en espacios de estados infinitos, la noción de un prior común con soporte completo no puede representarse generalmente mediante una única distribución de probabilidad o un conjunto de distribuciones. A través de los Ejemplos 8 y 9, los autores muestran que dos jugadores pueden tener conjuntos de priors idénticos (con la misma intersección) y, sin embargo, sus creencias pueden ser fuertemente consistentes en un escenario (donde no es posible la separación propia) y no en el otro (donde la separación propia sí es posible). Esto implica que la separación propia de conjuntos convexos (la condición matemática para la consistencia fuerte) no siempre es detectable mediante la intersección de los conjuntos.

Resultados Clave

• Teorema 7 (Resultado Principal): En un espacio de tipos $T$, las creencias de los jugadores son fuertemente consistentes si y solo si no existe una apuesta aceptable dentro del espacio de tipos. Esto establece la dualidad epistemológica-conductual para espacios infinitos.
• Lema 6: En espacios de tipos finitos, la consistencia fuerte es equivalente a la intersección no vacía de los interiores relativos de los conjuntos de priors de los jugadores ($\cap \text{int} \Pi_i \neq \emptyset$). Este "testigo" (una distribución de probabilidad específica) desaparece en los espacios infinitos.
• Ejemplos 8 y 9: Estos ejemplos ilustran que incluso cuando $\Pi_{Anne} \cap \Pi_{Ben}$ es idéntico (conteniendo solo una distribución uniforme $\nu$), las creencias pueden ser fuertemente consistentes en un escenario (donde no es posible la separación propia) y no en el otro (donde la separación propia es posible).
• Implicación para la Representación: Debido a que la separación propia no puede garantizarse mediante la intersección de los conjuntos de priors en dimensiones infinitas, el "prior común con soporte completo" no puede definirse universalmente como una distribución de probabilidad.

Significancia y Reivindicaciones
El artículo sostiene que la visión tradicional del prior común con soporte completo como una distribución de probabilidad concreta (o un conjunto de distribuciones) que sirve como testigo de la consistencia de las creencias no es sostenible en espacios de estados infinitos.

• Cambio Terminológico: Los autores proponen adoptar el término "consistencia fuerte de las creencias" en lugar de "prior común con soporte completo". Este cambio desplaza el enfoque de una distribución potencialmente inexistente hacia la relación estructural entre los priors de los jugadores.
• Naturaleza de la Etapa Ex-Ante: Los hallazgos sugieren que la etapa ex-ante debe verse como un elemento no primitivo del modelo. En entornos infinitos, la ausencia de arbitraje (no existencia de una apuesta aceptable) debe interpretarse como la (fuerte) consistencia de las creencias en lugar de la existencia de un prior común real.
• Contribución al Debate: Este resultado contribuye al debate iniciado por Aumann (1998) y Gul (1998) sobre la necesidad e interpretación de los priors comunes. El artículo concluye que, si bien la intuición del "prior común" es útil en entornos finitos, en entornos infinitos, el concepto se entiende mejor como una condición de consistencia sobre las creencias que como un objeto probabilístico específico.

El artículo no propone nuevas aplicaciones experimentales ni direcciones de investigación futura más allá de las implicaciones teóricas para la interpretación de los espacios de tipos y los priors en la teoría de juegos y la economía.