Consistent Beliefs without Common Prior

Technisches Resümee: Konsistente Überzeugungen ohne gemeinsamen A-priori

Problemstellung
Die Literatur zur Annahme eines gemeinsamen A-priori (Common Prior Assumption, CPA) folgt im Allgemeinen zwei Strängen. Der erste betrachtet das gemeinsame A-priori als eine Wahrscheinlichkeitsverteilung, die mit den A-posteriori-Verteilungen aller Akteure konsistent ist (Aumann, 1976; Samet, 1998). Der zweite, restriktivere Strang setzt voraus, dass das gemeinsame A-priori einen vollen Support besitzt, was bedeutet, dass jedem Typ jedes Akteurs eine positive Wahrscheinlichkeit zugewiesen wird (Morris, 1991, 1994).

Morris (1991, 1994) etablierte eine epistemisch-behaviorale Dualität für endliche Typräume: Ein endlicher Typraum besitzt ein gemeinsames A-priori mit vollem Support genau dann, wenn er keine akzeptable Wette enthält (eine Wette, bei der alle Akteure eine nicht-negative Erwartung haben, wobei mindestens eine strikt positive Erwartung vorliegt). Das Konzept des „vollen Supports“ ist jedoch in unendlichen Zustandsräumen problematisch. Zudem versagen bestehende Charakterisierungen gemeinsamer A-priori oft in unendlichen Settings, sofern keine starken zusätzlichen Annahmen (z. B. Kompaktheit oder abzählbare Zustandsräume) getroffen werden, insbesondere wenn Überzeugungen als $\sigma$-additive Wahrscheinlichkeitsmaße modelliert werden.

Dieses Paper adressiert die Lücke bei der Charakterisierung des „gemeinsamen A-priori mit vollem Support“ in allgemeinen unendlichen Typräumen und untersucht, ob ein solches A-priori sinnvoll als Wahrscheinlichkeitsverteilung dargestellt werden kann.

Methodik
Die Autoren verwenden einen epistemisch-behavioralen dualen Charakterisierungsansatz, der die Ergebnisse von Morris auf unendliche Zustandsräume erweitert. Die Methodik umfasst:

1. Verallgemeinerung von Definitionen: Erweiterung des Begriffs einer „akzeptablen Wette“ auf unendliche Zustandsräume.
2. Konvexe Separation: Nutzung der Trennung konvexer Mengen in topologischen Vektorräumen. Das Paper unterscheidet zwischen starker Separation (entspricht der Dualität von gemeinsamem A-priori und verträglicher Wette) und eigentlicher Separation (entspricht der starken Konsistenz von Überzeugungen und akzeptabler Wette).
3. Modellrobustheit: Analyse der Ergebnisse unter zwei verschiedenen Modellierungsrahmen für Überzeugungen:
   • Wahrscheinlichkeitsmaße: $\sigma$-additive Wahrscheinlichkeiten (Standard-Maßtheorie).
   • Wahrscheinlichkeitsladungen: Finitiv additive Wahrscheinlichkeiten (Ladungen), die eine breitere Klasse unendlicher Modelle ermöglichen.
4. Gegenbeispiele: Konstruktion spezifischer unendlicher Typräume (Beispiele 8 und 9 im Haupttext; Beispiele 4–6 im Supplement), in denen Akteure identische A-priori-Mengen (Schnittmengen) teilen, sich aber darin unterscheiden, ob ihre Überzeugungen „stark konsistent“ sind.

Zentrale Beiträge
Das Paper leistet drei wesentliche Beiträge:

1. Erweiterung auf unendliche Typräume: Die Autoren verallgemeinern die Charakterisierung von Morris (1991, 1994) bezüglich des gemeinsamen A-priori mit vollem Support auf unendliche Typräume. Sie führen das Konzept der starken Konsistenz von Überzeugungen (Definition 5) als den angemessenen unendlich-dimensionalen Analogon ein.
2. Robustheit gegenüber Wahrscheinlichkeitsmodellen: Die Charakterisierung der starken Konsistenz von Überzeugungen durch die Abwesenheit akzeptabler Wetten erweist sich als robust. Dies gilt sowohl, wenn Überzeugungen als $\sigma$-additive Wahrscheinlichkeitsmaße modelliert werden (Theorem setzung 7), als auch wenn sie als finitiv additive Wahrscheinlichkeitsladungen modelliert werden (Supplement). Dies steht im Gegensatz zur „gemeinsamen A-priori–verträglichen Wette“-Charakterisierung, die im Maßmodell ohne signifikante zusätzliche Annahmen versagt.
3. Neubewertung des gemeinsamen A-priori als Verteilung: Das Paper zeigt auf, dass die Vorstellung eines gemeinsamen A-priori mit vollem Support in unendlichen Zustandsräumen im Allgemeinen nicht durch eine einzige Wahrscheinlichkeitsverteilung oder eine Menge von Verteilungen dargestellt werden kann. Durch die Beispiele 8 und 9 zeigen die Autoren, dass zwei Akteure identische A-priori-Mengen (mit derselben Schnittmenge) haben können, ihre Überzeugungen jedoch in einem Szenario stark konsistent sind, während sie es im anderen nicht sind. Dies impliziert, dass die eigentliche Separation konvexer Mengen (die mathematische Bedingung für starke Konsistenz) nicht immer durch die Schnittmenge der Mengen detektierbar ist.

Zentrale Ergebnisse

• Theorem 7 (Hauptresultat): In einem Typraum $T$ sind die Überzeugungen der Akteure genau dann stark konsistent, wenn es innerhalb des Typraums keine akzeptable Wette gibt. Dies etabliert die epistemisch-behaviorale Dualität für unendliche Räume.
• Lemma 6: In endlichen Typräumen ist starke Konsistenz äquivalent zur nicht-leeren Schnittmenge der relativen Inneren der A-priori-Mengen der Akteure ($\cap \text{int} \Pi_i \neq \emptyset$). Dieser „Zeuge“ (eine spezifische Wahrscheinlichkeitsverteilung) verschwindet in unendlichen Räumen.
• Beispiele 8 und 9: Diese Beispiele illustrieren, dass selbst wenn $\Pi_{Anne} \cap \Pi_{Ben}$ identisch ist (nur eine Gleichverteilung $\nu$ enthält), die Überzeugungen in einem Szenario stark konsistent sein können (keine eigentliche Separation möglich) und im anderen nicht (eigentliche Separation möglich).
• Implikation für die Repräsentation: Da eine eigentliche Separation in unendlichen Dimensionen nicht durch die Schnittmenge der A-priori-Mengen garantiert werden kann, kann das „gemeinsame A-priori mit vollem Support“ nicht universell als eine Wahrscheinlichkeitsverteilung definiert werden.

Bedeutung und Behauptungen
Das Paper argumentiert, dass die traditionelle Sichtweise des gemeinsamen A-priori mit vollem Support als eine konkrete Wahrscheinlichkeitsverteilung (oder eine Menge von Verteilungen), die als Zeuge der Konsistenz von Überzeugungen dient, in unendlichen Zustandsräumen nicht haltbar ist.

• Terminologischer Wandel: Die Autoren schlagen vor, den Begriff „starke Konsistenz von Überzeugungen“ anstelle von „gemeinsamem A-priori mit vollem Support“ zu verwenden. Dieser Wechsel verlagert den Fokus von einer potenziell nicht existenten Verteilung auf die strukturelle Beziehung zwischen den A-prioris der Akteure.
• Natur der Ex-ante-Phase: Die Ergebnisse legen nahe, dass die Ex-ante-Phase als ein nicht-primitives Element des Modells betrachtet werden sollte. In unendlichen Settings sollte das Fehlen von Arbitrage (keine akzeptable Wette) als (starke) Konsistenz der Überzeugungen interpretiert werden, statt als Existenz eines realen gemeinsamen A-priori-Verteilungsobjekts.
• Beitrag zur Debatte: Dieses Resultat trägt zur Debatte bei, die von Aumann (1998) und Gul (1998) hinsichtlich der Notwendigkeit und Interpretation gemeinsamer A-prioris initiiert wurde. Das Paper kommt zu dem Schluss, dass die Intuition des „gemeinsamen A-priori“ in endlichen Settings zwar nützlich ist, in unendlichen Settings jedoch am besten als eine Konsistenzbedingung für Überzeugungen und nicht als ein spezifisches probabilistisches Objekt verstanden werden kann.

Das Paper schlägt keine neuen experimentellen Anwendungen oder zukünftigen Forschungsrichtungen vor, die über die theoretischen Implikationen für die Interpretation von Typräumen und A-prioris in der Spieltheorie und Ökonomie hinausgehen.