Consistent Beliefs without Common Prior

Sintesi Tecnica: Credenze Consistenti senza un Prior Comune

Enunciato del Problema
La letteratura sull'assunzione del prior comune (CPA) segue generalmente due filoni. Il primo tratta il prior comune come una distribuzione di probabilità coerente con i posteriori di tutti i giocatori (Aumann, 1976; Samet, 1998). Il secondo, più restrittivo, assume che il prior comune abbia un supporto pieno (full support), il che significa che ogni tipo di ogni giocatore è assegnato una probabilità positiva (Morris, 1991, 1994).

Morris (1991, 1994) ha stabilito una dualità epistemologico-comportamentale per spazi di tipi finiti: uno spazio di tipi finito ammette un prior comune con supporto pieno se e solo se non contiene una scommessa accettabile (una scommessa in cui tutti i giocatori si aspettano payoff non negativi, con almeno un'aspettativa strettamente positiva). Tuttavia, il concetto di "supporto pieno" è problematico negli spazi di stati infiniti. Inoltre, le caraterizzazioni esistenti dei prior comuni spesso falliscono in contesti infiniti a meno che non vengano imposte forti assunzioni aggiuntive (ad esempio, compattezza o spazi di stati numerabili), in particolare quando si modellano le credenze come misure di probabilità $\sigma$-additive.

Questo articolo affronta la lacuna nella caratterizzazione del "prior comune con supporto pieno" in spazi di tipi infiniti generali e indaga se tale prior possa essere rappresentato significativamente come una distribuzione di probabilità.

Metodologia
Gli autori impiegano un approccio di caratterizzazione duale epistemico-comportamentale, estendendo i risultati di Morris agli spazi di stati infiniti. La metodologia prevede:

1. Generalizzazione delle Definizioni: Estensione della nozione di "scommessa accettabile" agli spazi di stati infiniti.
2. Separazione Convessa: Utilizzo della separazione di insiemi convessi in spazi vettoriali topologici. L'articolo distingue tra separazione forte (corrispondente alla dualità tra prior comune e scommessa concordante) e separazione propria (corrispondente alla dualità tra consistenza forte delle credenze e scommessa accettabile).
3. Robustezza del Modello: Analisi dei risultati sotto due distinti framework di modellazione delle credenze:
   • Misure di Probabilità: Probabilità $\sigma$-additive (teoria della misura standard).
   • Cariche di Probabilità: Probabilità finitamente additive (cariche), che permettono una classe più ampia di modelli infiniti.
4. Controesempi: Costruzione di specifici spazi di tipi infiniti (Esempi 8 e 9 nel testo principale; Esempi 4–6 nel supplemento) in cui i giocatori condividono set di prior identici (intersezioni) ma differiscono nel fatto che le loro credenze siano "fortemente consistenti".

Contributi Principali
L'articolo apporta tre contributi primari:

1. Estensione agli Spazi di Tipi Infiniti: Gli autori generalizzano la caratterizzazione di Morris (1991, 1994) del prior comune con supporto pieno agli spazi di tipi infiniti. Introducono il concetto di consistenza forte delle credenze (Definizione 5) come l'appropriato analogo in dimensione infinita.
2. Robustezza ai Modelli di Probabilità: La caratterizzazione della consistenza forte delle credenze tramite l'assenza di scommesse accettabili si dimostra robusta. Essa è valida sia che le credenze siano modellate come misure di probabilità $\sigma$-additive (Teorema 7), sia come cariche di probabilità finitamente additive (Materiale Supplementare). Ciò contrasta con la caratterizzazione "prior comune–scommessa concordante", che fallisce nel modello di misura senza significative assunzioni aggiuntive.
3. Rivalutazione del Prior Comune come Distribuzione: L'articolo dimostra che, negli spazi di stati infiniti, la nozione di un prior comune con supporto pieno non può generalmente essere rappresentata da una singola distribuzione di probabilità o da un insieme di distribuzioni. Attraverso gli Esempi 8 e 9, gli autori mostrano che due giocatori possono avere set di prior identici (con la stessa intersezione) pur possedendo credenze che sono fortemente consistenti in uno scenario e non nell'altro. Ciò implica che la separazione propria di insiemi convessi (la condizione matematica per la consistenza forte) non è sempre rilevabile tramite l'intersezione degli insiemi.

Risultati Chiave

• Teorema 7 (Risultato Principale): In uno spazio di tipi $T$, le credenze dei giocatori sono fortemente consistenti se e solo se non esiste alcuna scommessa accettabile all'interno dello spazio di tipi. Questo stabilisce la dualità epistemico-comportamentale per gli spazi infiniti.
• Lemma 6: Negli spazi di tipi finiti, la consistenza forte è equivalente alla intersezione non vuota degli interni relativi dei set di prior dei giocatori ($\cap \text{int} \Pi_i \neq \emptyset$). Questo "testimone" (una specifica distribuzione di probabilità) scompare negli spazi infiniti.
• Esempi 8 e 9: Questi esempi illustrano che anche quando $\Pi_{Anne} \cap \Pi_{Ben}$ è identica (contenente solo una distribuzione uniforme $\nu$), le credenze possono essere fortemente consistenti in uno scenario (impossibilità di separazione propria) e non nell'altro (separazione propria possibile).
• Implicazione per la Rappresentazione: Poiché la separazione propria non può essere garantita dall'intersezione dei set di prior nelle dimensioni infinite, il "prior comune con supporto pieno" non può essere universalmente definito come una distribuzione di probabilità.

Significatività e Rivendicazioni
L'articolo sostiene che la visione tradizionale del prior comune con supporto pieno come una concreta distribuzione di probabilità (o un insieme di distribuzioni) che funge da testimone della consistenza delle credenze non è sostenibile negli spazi di stati infiniti.

• Spostamento Terminologico: Gli autori propongono di adottare il termine "consistenza forte delle credenze" al posto di "prior comune con supporto pieno". Questo spostamento sposta il focus da una distribuzione potenzialmente inesistente alla relazione strutturale tra i prior dei giocatori.
• Natura della Fase Ex-Ante: I risultati suggeriscono che la fase ex-ante debba essere vista come un elemento non primitivo del modello. Negli ambienti infiniti, l'assenza di arbitraggio (nessuna scommessa accettabile) dovrebbe essere interpretata come la (forte) consistenza delle credenze piuttosto che come l'esistenza di un reale prior comune come distribuzione.
• Contributo al Dibattito: Questo risultato contribuisce al dibattito avviato da Aumann (1998) e Gul (1998) riguardo alla necessità e all'interpretazione dei prior comuni. L'articolo conclude che, sebbene l'intuizione del "prior comune" sia utile in contesti finiti, negli ambienti infiniti il concetto è meglio compreso come una condizione di consistenza sulle credenze piuttosto che come un oggetto probabilistico specifico.

L'articolo non propone nuove applicazioni sperimentali o direzioni di ricerca futura oltre alle implicazioni teoriche per l'interpretazione degli spazi di tipi e dei prior nella teoria dei giochi e dell'economia.