Common Priors under Endogenous Uncertainty

一句话总结

在内生不确定性 (endogenous uncertainty) 下，本文证明了 Dekel & Siniscalchi (2015) 关于 Action Independence (AI) 条件的开放猜想——AI 共同先验的存在性可由"不存在互可接受的策略不变赌注 (mutually acceptable Strategy-Invariant bets)"行为地刻画，"所有共同先验都满足 AI"则需引入外部观察者 (extended SI bets) 才能区分；据此为客观相关均衡 (Objective Correlated Equilibrium, OCE) 的认知基础提供了完全用类型结构可引出属性表达的等价条件。

研究问题

核心理论问题：在不确定性涉及玩家自身策略（即"内生不确定性"）的认知类型结构中，能否通过行为可观测的"无赌注条件" (no-betting condition) 来刻画共同先验的 Action Independence (AI) 条件？
三类结构的区分：所有承认共同先验的类型结构可分为 (Π₁) 所有共同先验都满足 AI、(Π₂) 部分满足部分不满足、(Π₃) 无共同先验满足 AI——能否用不同的赌注框架行为地区分这三类？
方法论问题：如何设计赌注以避免"海森堡效应"——即赌注本身改变玩家的均衡行为？策略不变赌注 (Strategy-Invariant bets) 是否提供了正确的工具？
均衡基础问题：上述刻画如何反过来澄清 OCE (Objective Correlated Equilibrium) 的认知基础，使均衡的合法性不依赖于对特定共同先验的（非可观测）选择？

核心贡献

解决一个长期开放问题：证实 Dekel & Siniscalchi (2015) 的猜想——AI 共同先验的存在性可通过无赌注条件被行为地刻画。具体地，定理 1 证明：AI 共同先验存在 ⟺ 不存在互可接受的策略不变赌注。
完整刻画三类结构：定理 2 进一步在已存在 AI 共同先验的前提下，引入"外部观察者"和扩展 SI 赌注，证明：所有共同先验都满足 AI ⟺ 不存在互可接受的扩展 SI 赌注。两个定理联合将所有承认共同先验的类型结构完整分入 Π₁、Π₂、Π₃ 三类，且每类都对应可测试的行为特征。
方法论创新——策略不变赌注：构造的 SI 赌注满足 E[g_i | s_i, t_i] = E[g_i | s'_i, t_i]，确保玩家无法通过策略选择操纵赌注结果，避免赌注干扰博弈本身的激励结构——这是一种通用的方法论工具，可用于任何需要"非干扰式"信念检验的认知博弈论问题。
OCE 认知基础的纯结构化表达：推论 1 证明，若类型结构不存在互可接受的扩展 SI 赌注，则任何支撑在 RCBR (Rationality and Common Belief in Rationality) 事件上的共同先验的策略边际即为 OCE 分布——使 OCE 的认知合法性完全依赖于类型结构的可观测性质，而非对未知共同先验的选择。
概念性贡献：澄清了内生不确定性下"共同先验"的精确含义，区分了"信念在策略上的边际"与"信念在策略上的条件"两种刻画，为后续认知博弈论研究提供了清晰的概念框架。

维度1：模型设定

基本信息

作者: Pierfrancesco Guarino & Elias Tsakas
年份: 2021
期刊/来源: Working Paper (Alpen-Adria-Universitat Klagenfurt & Maastricht University)
关键词: Common Prior, No-Betting Condition, Endogenous Uncertainty, Action Independence, Strategy-Invariant Bets
JEL: C70, D82

一、研究问题与动机

核心问题

在博弈论的认知类型结构 (epistemic type structures) 框架下，当不确定性是内生的 (endogenous) ——即信念层级涉及玩家自身的策略选择——时，如何通过行为可观测的无赌注条件 (no-betting condition) 来刻画共同先验 (common prior) 的行动独立性 (Action Independence, AI) 条件？

动机

共同先验假设 (CPA) 在均衡概念（如 Nash 均衡、客观相关均衡 OCE）的认知基础中扮演关键角色
当不确定性为外生 (exogenous)（如拍卖中的私有价值）时，CPA 的概念基础是成立的
但 Dekel & Siniscalchi (2015) 指出，在内生不确定性情境下——即信念层级定义在玩家策略上——CPA 可能导致条件信念依赖于玩家自身策略，这与标准贝叶斯更新观点矛盾
Dekel & Siniscalchi (2015) 提出了 AI 条件以排除此类不一致，并猜想可以通过合适的无赌注条件提供行为基础，但该问题此前悬而未决

二、理论模型（核心）

2.1 基本框架

博弈: 战略形式博弈 $\Gamma := \langle I, (S_i, u_i)_{i \in I} \rangle$ ，其中 $I = \{Ann, Bob\}$ （两人博弈）， $S_i$ 为有限策略集， $u_i$ 为收益函数。

认知类型结构 (Epistemic Type Structure): $\mathscr{T} := \langle I, (T_i, \beta_i)_{i \in I} \rangle$

$T_i$ : 玩家 $i$ 的有限类型集 (type set)
$\beta_i: T_i \to \Delta(S_j \times T_j)$ : 信念函数，每个类型编码一个关于对手策略和类型的无限信念层级
假设类型结构是非冗余的 (non-redundant)：不同类型编码不同的信念层级

状态空间: $\Omega := S_a \times S_b \times T_a \times T_b$

2.2 共同先验 (Common Prior)

定义 1: 类型结构 $\mathscr{T}$ 承认共同先验，如果存在 $\pi \in \Delta(\Omega)$ 使得：

$\pi(\llbracket t_i \rrbracket) > 0$ （每个类型的概率为正）
$\beta_i(t_i)(s_j, t_j) = \pi(\llbracket s_j, t_j \rrbracket | \llbracket t_i \rrbracket)$ （信念是共同先验的条件概率）

关键观察：一个类型结构可能承认多个共同先验（集合 $\Pi_\mathscr{T}$ ），甚至不可数多个。

2.3 AI 条件 (Action Independence)

定义 2: 共同先验 $\pi \in \Pi_\mathscr{T}$ 满足 AI 条件，当且仅当对所有玩家 $i$ 、所有 $(s_i, t_i), (s_i', t_i) \in S_i \times T_i$ （同一类型、不同策略）：

\pi(\llbracket s_j, t_j \rrbracket | \llbracket s_i, t_i \rrbracket) = \pi(\llbracket s_j, t_j \rrbracket | \llbracket s_i', t_i \rrbracket)

即由共同先验导出的条件信念不依赖于玩家自身的策略选择。满足 AI 条件的共同先验集合记为 $\Pi_\mathscr{T}^{AI} \subseteq \Pi_\mathscr{T}$ 。

三类分类: 承认共同先验的类型结构可归入三类：

$(\Pi_1)$ : 所有共同先验都满足 AI，即 $\Pi_\mathscr{T} = \Pi_\mathscr{T}^{AI} \neq \emptyset$
$(\Pi_2)$ : 部分满足、部分不满足 AI，即 $\Pi_\mathscr{T} \supsetneq \Pi_\mathscr{T}^{AI} \neq \emptyset$
$(\Pi_3)$ : 无共同先验满足 AI，即 $\Pi_\mathscr{T}^{AI} = \emptyset$

2.4 赌注与策略不变性

赌注 (Bet): 状态空间上的零和随机变量组 $g = (g_a, g_b)$ ，满足 $g_a + g_b = 0$ 。

接受赌注 (定义 3): 玩家 $i$ 在状态 $\llbracket s_i, t_i \rrbracket$ 接受赌注 $g$ ，如果期望收益非负：
$ $\mathbb{E}[g_i | s_i, t_i] := \sum_{s_j} \sum_{t_j} g_i(s_i, t_i, s_j, t_j) \cdot \beta_i(t_i)(s_j, t_j) \geq 0$ $

关键设计：玩家使用从类型结构继承的信念 $\beta_i(t_i)$ 而非共同先验的条件信念来评估赌注。

策略不变赌注 (Strategy-Invariant Bet, SI Bet) (定义 4): 赌注 $g$ 对玩家 $i$ 的类型 $t_i$ 是策略不变的，如果：
$ $\mathbb{E}[g_i | s_i, t_i] = \mathbb{E}[g_i | s_i', t_i], \quad \forall s_i, s_i' \in S_i$ $

即条件在类型上，预期收益不依赖于所选策略。这排除了玩家通过策略操纵赌注结果的可能性，避免了"海森堡效应"——赌注本身不会影响玩家在博弈中的行为。

互可接受赌注 (定义 5, No-Betting Condition): SI 赌注 $g$ 是互可接受的 (mutually acceptable)，如果所有玩家在所有状态接受，且至少有一个玩家在某状态严格接受。

2.5 扩展赌注框架

为区分 $(\Pi_1)$ 和 $(\Pi_2)$ ，模型引入外部观察者 (outside observer, 虚拟玩家 $d$ )：

外部观察者仅有一个策略 $s_d$ 、一个类型 $t_d$
其信念由某个共同先验 $\pi \in \Pi_\mathscr{T}$ 给出
扩展赌注 (extended SI bet): 三方零和赌注 $\bar{g} = (\bar{g}_a, \bar{g}_b, \bar{g}_d)$ ，对原始玩家策略不变

三、核心结果

定理 1: 是否存在满足 AI 的共同先验？

给定类型结构 $\mathscr{T}$ :

(i) 若存在满足 AI 的共同先验（ $\Pi_\mathscr{T}^{AI} \neq \emptyset$ ），则不存在互可接受的 SI 赌注
(ii) 若不存在满足 AI 的共同先验（ $\Pi_\mathscr{T}^{AI} = \emptyset$ ），则存在互可接受的 SI 赌注

证明思路：

方向 (i): 利用 Remark 1（满足 AI 的共同先验导出的条件信念与类型结构信念一致），构造辅助 Aumann 结构，由 Sebenius & Geanakoplos (1983) 得出无互可接受赌注
方向 (ii): 由 $\Pi_\mathscr{T}^{AI} = \emptyset$ 出发，构造辅助 Aumann 结构（条件信念由 $\beta_i(t_i)$ 生成），其中不存在共同先验；由 Samet (1998) 和 Feinberg (2000) 得出存在互可接受赌注，再通过变换将其转化为 SI 赌注

定理 2: 是否所有共同先验都满足 AI？

前提： $\Pi_\mathscr{T}^{AI} \neq \emptyset$ （已存在至少一个满足 AI 的共同先验）。

(i) 若所有共同先验满足 AI（ $\Pi_\mathscr{T}^{AI} = \Pi_\mathscr{T}$ ），则不存在互可接受的扩展 SI 赌注
(ii) 若存在不满足 AI 的共同先验（ $\Pi_\mathscr{T}^{AI} \subsetneq \Pi_\mathscr{T}$ ），则存在互可接受的扩展 SI 赌注

证明思路：

方向 (i): 利用定理 1 的推理，扩展至包含外部观察者的三方结构
方向 (ii): 构造性证明——利用满足 AI 与不满足 AI 的共同先验之间的信念差异，构造出外部观察者严格获益的赌注

推论 1 (Corollary 1): OCE 的认知基础

若类型结构不存在互可接受的扩展 SI 赌注，则对所有支撑在"理性与理性共同信念" (RCBR) 事件上的共同先验 $\pi$ ，其策略边际 $\text{marg}_S \pi$ 是客观相关均衡 (OCE) 分布。这使得 Dekel & Siniscalchi (2015, Theorem 12.4) 的条件完全可以用类型结构的可引出性质来表达。

四、贡献与局限

理论贡献

解决了一个开放问题: 证实了 Dekel & Siniscalchi (2015) 的猜想，即 AI 条件可以通过无赌注条件进行行为刻画
提供完整分类: 两个定理联合将所有承认共同先验的类型结构分入三类 $(\Pi_1, \Pi_2, \Pi_3)$ ，且每类都有可测试的行为特征
深化均衡基础理解: 将 OCE 的认知条件完全用类型结构的可引出属性表达，无需依赖对特定共同先验的选择
策略不变赌注的方法论价值: SI 赌注确保检验信念性质时不干扰博弈本身的激励结构

局限与讨论

模型限于纯内生不确定性，但作者指出可自然扩展至同时包含外生和内生不确定性的框架（Section 5.5）
主体部分限于两人博弈，但 Section 5.3 讨论了向 $n$ 人博弈的推广，结论直接延伸
SI 赌注使玩家在所有策略下无差异，可能被质疑某些策略是否"合理"；作者在 Section 5.1 讨论了与理性和 RCBR 的兼容性
非冗余类型结构假设并非形式上必需，但在概念上保证了赌注的可操作性和可引出性（Section 5.2）

维度2：主要结果

详见上文"维度1：模型设定 — 三、核心结果"小节。两大定理联合刻画了三类承认共同先验的类型结构 (Π₁, Π₂, Π₃)：

定理 1：AI 共同先验存在 ⟺ 不存在互可接受的 SI 赌注
定理 2（在 AI 共同先验已存在的前提下）：所有共同先验都满足 AI ⟺ 不存在互可接受的扩展 SI 赌注
推论 1：将 OCE 的认知条件完全表达为类型结构的可引出属性

维度3：数值分析与校准

本文为纯理论论文，不涉及数值分析、校准或仿真。所有结果均为构造性数学证明（基于 Sebenius & Geanakoplos (1983)、Samet (1998)、Feinberg (2000) 的辅助 Aumann 结构构造），不依赖具体参数化或经验数据。

证明的关键技术路径：

方向 (i) 证明 (AI 共同先验 ⇒ 无互可接受 SI 赌注)：构造辅助 Aumann 结构，应用 Sebenius-Geanakoplos 的无赌注定理；利用 AI 条件保证导出的条件信念与类型结构信念一致 (Remark 1)。
方向 (ii) 证明 (无 AI 共同先验 ⇒ 存在互可接受 SI 赌注)：从 $\Pi_\mathscr{T}^{AI} = \emptyset$ 出发构造辅助结构，由 Samet (1998)/Feinberg (2000) 得无共同先验等价于存在互可接受赌注；通过对赌注的策略不变性变换将其转换为 SI 赌注。
扩展赌注的构造：定理 2 的证明引入虚拟"外部观察者"玩家 d，利用满足 AI 与不满足 AI 的共同先验间的信念差异，构造让 d 严格获益的三方零和赌注。

维度4：局限性

限于纯内生不确定性：模型只考虑信念层级关于策略的情形；尽管 Section 5.5 论证可自然扩展至同时含外生与内生不确定性的框架，但完整推广留待后续工作。
限于两人博弈：主体结果建立在 $I = \{Ann, Bob\}$ 的两人战略形式博弈上；Section 5.3 简要讨论了 $n$ 人博弈推广，但未给出形式化处理。
非冗余类型结构假设：要求不同类型对应不同信念层级。这一假设在概念上保证了赌注的可操作性和可引出性，但限制了结果的适用范围；冗余类型结构需要额外处理。
有限策略集与有限类型集： $S_i$ 、 $T_i$ 均为有限集；连续策略空间或可数无限类型空间需要测度论上的延伸，可能涉及额外的可测性假设。
SI 赌注的"无差异"特性可能引入概念质疑：策略不变性使玩家在所有策略下对赌注无差异——某些策略可能被认为"非合理" (irrational)；作者在 Section 5.1 讨论了与理性、RCBR 的兼容性，但未完全消除该质疑。
行为可观测性的隐含假设：理论使用"接受赌注"作为信念的行为表现，隐含假设玩家对赌注的反应可以被外部经济学家观察到——在真实经济情境中这一可操作性需要进一步论证。
与外生不确定性下经典结果的关系：本文澄清了内生不确定性下的特殊问题，但与外生不确定性下经典共同先验文献 (Aumann 1976; Morris 1995) 的统一框架尚未建立。
未涉及动态博弈：所有结果建立在战略形式 (strategic form) 博弈上；扩展形式 (extensive form) 博弈中的 AI 条件（涉及行为策略和序贯理性）未被讨论。

维度5：与其他文献的关系

详见上文"维度1：模型设定 — 相关文献"小节。本文位于认知博弈论 (epistemic game theory) 与共同先验文献 (common prior literature) 的交叉。

核心对话文献：

Aumann_1976_AgreeingToDisagree：共同先验下的"无可能不同意"定理；本文延续这一传统但聚焦内生不确定性下的精细化问题。
Aumann_1987_CorrelatedEquilibrium：相关均衡的贝叶斯理性基础；本文为 OCE 提供更精细的认知刻画。
Dekel_Siniscalchi_2015_EpistemicGameTheory：本文直接回应这一手册章节中提出的开放猜想，提供 AI 条件的行为基础。
Milgrom_Stokey_1982_InformationTrade：无交易定理；本文的 SI 赌注框架是对这一传统的延伸。
Sebenius_Geanakoplos_1983_ContingentAgreements、Samet_1998_CommonPriors、Feinberg_2000_CommonPriors：无赌注/后验形式的共同先验刻画；本文的证明直接借助这些经典结果。
Bergemann_Morris_2016_BayesCorrelatedEquilibrium：Bayes 相关均衡与信息结构；与本文的 OCE 刻画形成互补。

与本项目（实验信念研究）的关联：

本文为信念结构的认知基础提供形式化工具，与本项目重点关注的"信念形成"和"信念使用"实验研究形成理论补充
AI 条件可视为信念形成中的"行动独立性"——一个被试的信念不应因其行动选择而改变；这与实验中关于"motivated beliefs"和"action-belief consistency"的实证文献形成对话
策略不变赌注的概念可应用于信念引出实验设计，确保引出的信念报告不被被试的策略选择干扰

维度6：可拓展的研究方向

混合不确定性框架：发展同时包含外生与内生不确定性的统一框架（Section 5.5 已有概念性讨论），刻画两类不确定性下共同先验的差异性质。
n 人博弈的形式化推广：将定理 1 和定理 2 推广至任意有限玩家集 $I$ ，研究 SI 赌注的多边互可接受性如何与 AI 条件对应。
冗余类型结构：放松非冗余假设，研究在冗余类型下 AI 条件与无赌注条件的等价性是否需要额外的"行为等价类"概念。
连续策略与无穷类型空间：将结果推广至连续策略空间（如拍卖、契约博弈）和可数/不可数类型空间，处理相应的可测性问题。
扩展形式博弈中的 AI 条件：在序贯博弈中，行为策略与共同先验的交互更复杂；研究 AI 条件如何与序贯理性、完美贝叶斯均衡等概念结合。
实验/实证检验：设计实验范式，让被试面对 SI 赌注，检验真实人类被试是否表现出 AI 共同先验所要求的行为模式（这与行为博弈论中关于"common prior assumption"实证检验的文献对话）。
机制设计应用：将 SI 赌注框架应用于机制设计，研究在内生不确定性下"激励兼容"的精细化条件，特别是对动态机制的启示。
与 Bayes 相关均衡的统一：将 OCE 的本文刻画与 Bergemann-Morris (2016) 的 Bayes 相关均衡框架统一，发展一个完整的"信息结构 + 共同先验"认知理论。
跨文化博弈论：在不同文化背景下检验 AI 条件的行为表现，研究共同先验假设的跨文化适用性。
与机器学习/多智能体系统的结合：将 AI 条件应用于多智能体强化学习的协调问题，研究分布式智能体如何通过观察行为收敛到 AI 共同先验。

关键结论

AI 共同先验的存在性等价于无互可接受 SI 赌注 (定理 1)：在内生不确定性下，类型结构存在满足 Action Independence 条件的共同先验，当且仅当不存在使所有玩家在所有状态都接受、至少一个玩家严格接受的策略不变赌注。
AI 唯一性的刻画需要外部观察者 (定理 2)：在 AI 共同先验已存在的前提下，所有共同先验都满足 AI 当且仅当不存在让外部观察者严格获益的扩展 SI 赌注；区分 Π₁ 与 Π₂ 必须扩展赌注框架至包含虚拟玩家。
三类结构的完整分类：所有承认共同先验的类型结构唯一分入 (Π₁, Π₂, Π₃) 之一，且每类对应可观测的行为特征——为认知博弈论提供了一个完整的分类工具。
OCE 的认知基础获得纯结构化表达 (推论 1)：客观相关均衡的合法性不再依赖于对特定共同先验的（不可观测）选择，而完全由类型结构的可引出性质决定——这是均衡概念认知基础研究的一个重要进步。
方法论贡献——SI 赌注作为"非干扰式"信念检验工具：策略不变赌注提供了一个通用方法，使经济学家可以检验玩家信念的性质而不改变博弈本身的激励结构，避免"海森堡效应"——这一工具对未来认知博弈论与机制设计研究均具有方法论价值。
解决 Dekel-Siniscalchi 开放猜想：本文是首篇在内生不确定性框架下完整刻画 AI 共同先验行为基础的工作，回应了 Dekel & Siniscalchi (2015) 提出的核心开放问题。

Guarino_CommonPriors_EndogenousUncertainty