报告全面分析：Robust No-Arbitrage under Projective Determinacy

---

1. 元数据与概览

• 标题: Robust No-Arbitrage under Projective Determinacy

- 作者: Alexandre Boistard, Laurence Carassus, Safae Issaoui

• 机构: Centrale-Supélec, Université Paris-Saclay, France

- 发布日期: 2025年7月1日

• 研究主题: 金融数学中的无套利（No-Arbitrage）理论，特别是在Knightian不确定性（多先验模型）框架下，运用描述集合论中的投射可测性（projective measurability）及项目确定性公理(Projective Determinacy, PD)来统一模型的不同组成要素(价格、先验概率、交易策略等)的测度特性。核心关注点是稳健无套利条件（robust no-arbitrage）及其在非支配多先验模型中的刻画和应用。

核心论点及信息:

本报告借助先进的集合论公理(Projective Determinacy，PD)，提出一个将价格过程、先验概率和交易策略统一为同一测度框架（projective measurability）的模型，克服了此前Bouchard和Nutz框架中测度类型不统一的问题（例如价格Borel可测，先验随机图像是解析集，而策略仅是普适可测的）。报告主要贡献是：

• 证明在投射框架中，稳健无套利条件可被更加优雅且自恰地刻画。

- 解决先前猜想，即quasi-sure无套利条件等价于存在特定单先验概率满足几何无套利条件。

• 显示单先验模型是自然特例，无需额外假设。

- 为稳健效用最大化问题的可解性提供理论支撑。

关键词涵盖Robust Finance、Quasi-sure No-Arbitrage、Projective Determinacy和projective sets/functions[page::0][page::1][page::2].

---

2. 逐节深度解读

2.1 摘要（Abstract）

• 报告提出在具有Knightian不确定性的稳健金融框架中，通过采用一个projective测度框架，使得价格、先验概率和交易策略可测性的处理方式统一。

- 该框架基于经典Zermelo-Fraenkel集合论(ZFC)及其增强公理(Projective Determinacy)，保证了投射集合满足强正则性质，如封闭性、补集封闭性和测度选择性。

• 结果涵盖对现有quasi-sure无套利条件的改进及数学财务模型中的应用，特别是效用最大化问题的解的存在性。[page::0]

2.2 引言（Introduction）

• 无套利假设是金融数学基础。传统基于单一概率测度假设，难以涵盖不支配多先验的Knightian不确定性。

- 多先验模型以概率测度家族或事件集模拟不确定性，更适合现代金融市场背景。

• 过去理论多假设测度家族受支配，限制较大，且多先验模型引入复杂数学结构，导致测度可测性不均一，影响分析可行性。

- 以Bouchard和Nutz提出的quasi-sure无套利为主流，但其框架存在价格、先验概率和策略测度性质不归一的问题，如价格是Borel，先验随机图是解析集，而策略仅普适可测，且解析集不封闭于取补。

• 本文关注以Projective Determinacy引入projective集合与函数，作为更强公理，改善测度处理。PD保证projective集合是确定集(determined sets)，具有良好测度性质，封闭性和组合特性。该做法扩大了分析工具，提升了模型的内在一致性。[page::0][page::1]

2.3 相关研究及问题陈述

• 详细介绍quasi-sure无套利定义和其对于多先验设置的意义，介绍路径方法、模型无关方法的文献。指出quasi-sure无套利条件虽被广泛接受，但并不能保证每个先验概率都无套利，只保证存在某子类先验满足单先验无套利。

- Bouchard和Nutz方法中，先验随机图是解析集，利用Jankov-von Neumann可测选取定理完成风险中性测度选取，但所依赖的解析集非补集封闭、上半解析函数的非封闭性等技术限制使得测度类型不统一。[page::1]

2.4 Projective框架引入（Section 2及3）

• 采用projective集合的定义及其层级划分（$\Sigma{n}^1, \Pin^1, \Deltan^1, \mathbf{P}$），定义projective函数及映射的projective可测性。

- 引入由Martin和Moschovakis定义的determinacy概念，以及Projective Determinacy公理，即所有投射集合均确定，有两个玩家无限制策略游戏中的获胜策略存在。

• PD公理重要后果包括projective集合在所有概率测度下均可测，且满足projective集合间可测选择定理。

- 采用多时间、多资产的金融设置：价格过程$St$为投射测度过程，先验随机映射$\mathcal{Q}{t+1}$图是投射集，交易策略$\phit$为projective可测映射，自融资且适应历史。

• 解释随机核和测度的projective可测性意义及其数学背景，强调新版假设比Bouchard和Nutz的更弱，但基于额外PD假设。[page::2][page::3][page::4][page::5]

2.5 无套利条件及主要定义

• 定义quasi-sure无套利 $NA(\mathcal{Q}^T)$：若由零初始资本启动的交易策略终值非负在所有先验几乎处处成立，则终值必为零。

- 定义单先验无套利 $NA(P)$：相同条件但只在单一概率测度下成立。

• 定义局部无套利 $NA(\mathcal{Q}{t+1}(\omega^t))$，即每一步时间的局部无套利。

- 定义价格变化增量支持集$D^{t+1}(\omega^t)$（在所有先验下几乎确定的价格增量支撑集），相对单个概率测度$DP^{t+1}(\omega^t)$，以及对随机集的线性、凸包和相对内部的数学定义。[page::5][page::6]

2.6 主要结果（Section 4）

• 定理1: 在PD公理及前述假设下，quasi-sure无套利$NA(\mathcal{Q}^T)$ 等价于存在$P^\in\mathcal{Q}^T$，使得$P^$分解的条件下所有时刻价格增量支撑的仿射包与quasi-sure支撑完全相同，同时0位于相对内部（凸包）中。$P^$集合记为$\mathcal{H}T$，非空等价于无套利。该结论证明了Carassus和Ferhoune一直以来对projective测度刻画的猜想。

- 命题2:单先验无套利$NA(P)$条件在projective框架中的刻画：$NA(P)$等价于对所有$t$,$0$在$DP^{t+1}$的相对内部几乎处处成立。

• 定理2:$NA(\mathcal{Q}^T)$等价于存在子类先验$\mathcal{P}^T\subseteq\mathcal{Q}^T$，两者有相同的极零集(polar sets)，且所有$\mathcal{P}^T$中的先验均满足单先验无套利条件。这也为稳健效用最大化问题提供良好的定价基础。[page::7]

2.7 证明策略和局部无套利的等价（Section 5）

• 命题3: 全局无套利等价于每个时间步的局部无套利，即quasi-sure无套利等价于：对每一时间$t$存在投射集$\Omega{NA}^t$为满测（full-measure），使得对所有$\omega^t \in \Omega{NA}^t$成立局部无套利。此命题在PD公理保障下成立，证明中替代了Bouchard和Nutz中对测度选择依赖的复杂手段，运用projective集合的良好性质实现归纳证明。

- 对$NA(\mathcal{Q}^T)$→局部无套利成立的证明分别进行了集合投影、极点函数可测性等复杂操作，确认关键函数$\lambda$和$\lambda{inf}$为projective函数，保证相关集为projective集。

• 使用了有限覆盖性质保证相关概率集合非空及测度不为零，构造出违背全局无套利的局部策略矛盾，从而确认无套利条件的必然性。

- $NA(\mathcal{Q}^T)$等价性质在整体多阶段模型和单阶段模型之间架起桥梁。[page::8][page::9][page::10][page::11]

2.8 单先验刻画及子类先验构造（Section 5.3及5.4）

• 对单先验模型$P\in\mathfrak{P}(\Omega^T)$，通过证明单个概率测度的graph属于projective集，利用定理1直接得出单先验无套利的几何刻画。此传递消解了Bouchard-Nutz框架中存在的测度graph非解析集难题。

- 针对子类先验$\mathcal{P}^T$的构建，方法为加权原模型$\mathcal{Q}^T$内特殊$P^$概率与其它测度的凸组合，确保极零集保持不变，实现$\mathcal{P}^T$中单先验均无套利，且覆盖所有$\mathcal{Q}^T$感兴趣事件，满足稳健模型的需求。

• 逻辑严谨，使用了极零集比较、相对内部及仿射空间以及凸集性质的深度分析，保证子类的构造既合理又满足统计一致性。[page::13][page::14]

---

3. 图表与数学表达深度解读

本报告无传统图表，数学表达与定义形式复杂。以下为重点数学对象的解读：

• $\Sigman^1, \Pin^1, \Deltan^1$级别投射集：描述集合论的复杂层级，分别是投射解析集、其补集集、两者交集（投射集合），作为模型测度假设的基础。其封闭性、投影运算测度性质是报告中保证可测选择和无套利定义可操作性的关键。

- 基本随机集定义:
- $E^{t+1}(\omega^t,p)$为价格变动作出$P$-几乎处处覆盖的闭集，可以看成局部概率测度$p$对价格增量的支持。
- $D^{t+1}(\omega^t)$为quasi-sure对所有可能先验均支持的闭集。
- $DP^{t+1}$为$P$所对应单一概率测度的支持集。

• 凸集、仿射集及相对内部（ri）概念: 无套利条件的几何刻画需求，特别是价格增量支持凸包需围绕0在相对内部，避免无风险获利可能。此几何直觉贯穿定理和证明。

- 随机核（stochastic kernels）与测度的乘积构造: 构建整体时间空间的概率测度家族$\mathcal{Q}^T$，其中局部条件是可测的，为多期优化和选择策略提供概率基础。

• 关键函数$\lambda,\lambda{inf}$: 测度以概率1保证某事件的概率函数及其下确界，且证明其是projective可测函数，保证了无套利成立与否集合是projective集合，从而利用PD公理有很好的数学性质支持。

- 测度选择与策略构造利用投射可测选定定理，取代传统分析集合的复杂限制，使无套利从局部推出全局，以及构造合适的无套利概率测度成为可能。

---

4. 估值分析

报告主体并未涉及传统金融估值模型（如DCF或市盈率等），而聚焦于金融数学理论中无套利的刻画，尤其是关于测度可测性和多先验模型的无套利几何和测度结构的刻画。估值主要体现在：

• 无套利条件作为定价基础: 通过佐证存在满足几何无套利条件的概率测度，确认模型内在的价格一致性和市场无套利机会，从而为价格以及收益率等后续衍生价值的合理分析提供坚实的理论保障。

- 作用于效用最大化问题: 该基础理论保障存在相应的概率测度，可以用于解决稳健效用最大化问题，表明理论上的风险调整价格模型和投资策略可行。

---

5. 风险因素评估

论文未从传统金融风险角度详述风险因素，但从数学和模型风险角度，本研究隐含的风险与挑战包括：

• 模型假设风险: PD公理为ZFC的拓展，尽管理论自洽，但其逻辑强度高于通常设定，是否现实中成立尚有争议。

- 测度和可测性的技术难题: 投射框架虽改进可测选择技术，但实际模型构建及计算复杂度大，对先验集$\mathcal{Q}$的具体表述要求较高。

• 理论与应用的桥接: 纯数学性质保障未必直接映射到现实金融市场，市场微观结构变化可能挑战无套利假定的适用。

- 约束及假设的强制性: 价格、策略及先验的投射可测性要求限制了解释模型和数据的灵活性。

---

6. 批判性视角与细微差别

• 报告体现了深厚的理论基础优势，但依赖自洽且尚无完全公认的Projective Determinacy公理，此为加强集合论领域公理且其现实经济解释冷僻，可能限制理论广泛接受。

- 该框架解决了传统quasi-sure无套利测度层次不一的技术难点，但引入了复杂层次的投射集合分层，加大理论分析的技术门槛。

• 报告推导尽量沿用先行文献推理思路，细节处理严密，但未涉及实证验证或数值演示，故难评估理论实操性。

- 多项关键性质依赖于PD公理领域的深度集合论知识，对应用者与学界普遍理解形成门槛。

• 报告内部逻辑连贯，证明结构显示新框架与旧结果良好兼容，无矛盾信息。

---

7. 结论性综合

本报告成功引入Projective Determinacy公理，确立了一个涵盖价格、先验概率和交易策略统一测度结构的projective框架，解决多先验非支配金融模型中传统quasi-sure无套利测度不均的难题。主要成就包括：

• 证明quasi-sure无套利的几何刻画与存在某单先验$P^*$满足相同条件的等价性，解答了此前猜想。

- 显示无套利条件和局部无套利条件在投射框架下一致性，支持归纳式及阶段模型分析。

• 构造可测选择理论证明适用于投射集合的测度选择，保证随机核和交易策略满足projective可测性，从而提升理论的一致性和数学严谨性。

- 揭示存在一个子先验族$\mathcal{P}$，与整体先验$\mathcal{Q}$共用极零集，且$\mathcal{P}$内部单先验无套利，为稳健效用最大化和风险中性定价奠定数学基础。

以上均基于详实的定义、引理和定理论证，清晰阐述了$D^{t+1}$，$D_P^{t+1}$集合的度量和支持结构的projective可测性，且充分利用了描述集合论及函数分析中的高级工具。此外，报告中对每一个关键定义（如projective集、determinacy、stochastic kernels等）、测度选择证明及随机核构造均给出充分数学细节，确保理论闭合且逻辑严密。

本报告代表了将描述集合论更深层次公理应用于金融数学稳健模型的最新进展，为应对金融市场中的Knightian不确定性及其无套利理论提供坚实且更优雅的数学基础。

---

总体评价

本报告是数学金融领域针对稳健无套利理论的一次深度、前沿且严密的理论推进。结合项目确定性公理，有效解决了之前多先验非支配模型中测度不一致导致的技术拘束。报告涵盖了从抽象集合论、公理系统、随机测度选择，再到金融无套利条件的系统完整论证，体现了高度的理论深度和学术价值。

---

参考溯源

• 多个定义、论证与结论详见各章节定义与定理说明，例如定理1-2及命题2，命题3的内容与证明过程参照 [page::7][page::8][page::9][page::10][page::11][page::13][page::14]。

- Projective Determinacy及其测度影响详见第2节，定义1-4与命题1 [page::3][page::4]。

• 随机核、价格过程与策略的projective测度性质详见假设1-2、命题5-6，以及相关证明 [page::5][page::6][page::17][page::18]。

- 局部与全局无套利的等价性见命题3及证明细节 [page::8][page::9][page::10][page::11]。

• 子类先验$\mathcal{P}$构造及其极零集不变证明详见定理2及相应证明 [page::13][page::14]。

- 一周期模型的无套利刻画及构造任意概率无套利测度的演示详见附录6.1、命题4及引理1 [page::14][page::15][page::16][page::17]。

• 高级可测性性质及积分可测性详见命题5-6及相关证明 [page::17][page::18]。

- 从整体支持雅可比不等式到局部支持正性集等关键辅助定理详见附录6.4中的引理3与推论1 [page::19][page::20][page::21]。

---

# 备注：报告全文无传统图表，数学概念构成主要“视觉”内容，所有数学公式、定义和证明均详实且系统。

报告