精读笔记

Problem Setting

[All Games Have Equilibria]（arXiv preprint / 2026）

这篇论文解决的不是“某类无限博弈是否有均衡”，而是更基础的建模问题：如果只允许 countably additive mixed strategies，那么无限博弈的一般均衡存在性理论无法成立；如果通过连续性、紧性、边界条件或特殊不连续性来恢复存在性，又会把大量战略上自然的模型排除在外。

真正困难点在于极限过程。有限博弈总有 Nash 均衡，很多无限博弈也可由有限近似自然生成；但当 finite equilibria 收敛到 countably additive limit 时，极限可能抹掉“从左逼近”“从右逼近”“刚好不达到”等 payoff-relevant distinctions。对不连续 payoff 来说，这些 distinctions 不是拓扑噪声，而是决定偏离收益和均衡性的核心信息。

因此关键矛盾是：经典概率空间太弱，无法表达有限近似携带的极限战略信息；而传统修补路线要么加条件，要么改 payoff，要么引入 correlation，从而改变了原始博弈的战略结构。

Motivation

作者的核心不满是：无限博弈文献长期把问题理解为“在 countably additive framework 内寻找足够条件”，于是形成 compactness、continuity、better-reply security、sharing rules、boundary conditions 等技术补丁。它们各自有效，但不是 general theory。

论文的关键观察是，countable additivity 本身并不是混合策略的不可动摇公理；它适合可测空间和连续 payoff 的经典分析，但在任意行动集合和任意有界 payoff 下，它会错误地压缩有限近似中的战略信息。换言之，非存在性不一定说明博弈没有均衡，可能说明所选的极限策略空间不够大。

缺口在于同时满足三件事：存在性、稳定性、有限近似可解释性。已有 finitely additive 文献往往在 Fubini、iterated integrals、upper/lower integrals 或 correlation 上付出战略解释代价；已有 discontinuous game 文献则通过排除坏不连续性来获得 countably additive equilibrium。本文试图把这些缺口一次性重构。

Core Idea

核心思想非常直接但激进：把 mixed strategy 从 countably additive probability 改成定义在所有子集上的 finitely additive total probability，并把收敛定义为对所有 bounded functions 的积分收敛。这样，任意有界 payoff 都自动是“连续测试函数”意义下可被极限保留的信息，而不是像 weak convergence 那样只保留连续函数信息。

这改变了建模方式：无限行动空间不再需要先给定拓扑、sigma-field 或可测结构；payoff 也不再需要连续性或特殊不连续性。策略空间本身通过 Tychonov compactness 变成足够大的 compactification，有限支持混合策略在其中有极限点。

和 prior 的本质区别是，它不通过改变 payoff、不通过 correlated joint distribution、不通过 sharing rule selection 来制造均衡，而是扩大个体 mixed strategies 的极限表达能力，同时保留 Nash 式 independent extension 和对纯策略偏离的免疫。这是概率模型层面的 inductive bias：保留所有 bounded payoff 可见的信息，而不是只保留连续可见的信息。

Method

方法的关键机制可以压缩为四个部分。

第一，total finitely additive probability。它解决的是任意集合上缺少自然测度结构的问题。因为概率定义在所有子集上，所有 bounded functions 都可积分；因为有限可加条件在 product topology 下闭，策略空间紧。这一步是存在性来源，不是技术装饰。

第二，bounded-function integral topology。它解决的是 countably additive weak convergence 对不连续 payoff 不稳定的问题。传统 weak convergence 只控制连续函数积分，而博弈 payoff 恰恰可能在不连续处决定最优反应；这里直接要求所有 bounded payoff 的积分收敛，所以 payoff-relevant distinctions 不会在极限中消失。

第三，independent extension。finitely additive product measure 不像 countably additive 情况那样自动唯一，Fubini 也会失败。作者的处理是要求均衡对象是个体 mixed strategies 的 independent extension，并用同一个 extension 评价均衡和偏离。这避免了 sharing rule 或 correlated-equilibrium 路线中“均衡收益和偏离收益用不同相关结构评价”的问题。

第四，exhaustive nets 与 iterated weak dominance refinement。它解决的是 operationalizability：均衡不仅应存在，还应能作为有限博弈均衡或近似均衡的极限出现。使用 nets 而非 metric-dense sequences 的原因很关键：在不连续问题中，metric density 不保证每个战略上重要的行动最终被包含；exhaustiveness 保证任意有限行动集最终稳定出现，从而不会漏掉 dominant strategy 或 profitable deviation。

Key Insight / Why It Works

最核心的 insight 是：无限博弈中的很多非存在性并不是 fixed point 技术失败，而是 countably additive limit 的信息压缩失败。有限近似中的 equilibrium behavior 可能依赖“趋近某点但不等于该点”“从某一侧逼近”“某个行动最终必须被纳入”等细节；countably additive probability 往往只能把它们都压成同一个点质量，从而改变 payoff。

finitely additive probability 的作用不是更“随机”，而是更强的极限记忆。它能表示“just below 0.8”这类 countably additive distribution 无法表达的极限对象，并且这些对象对原始 discontinuous payoff 的积分有确定含义。方法有效的根本原因是 representation alignment：策略空间的收敛测试函数从 continuous functions 换成 all bounded payoff-relevant functions，使得策略极限和效用评价对齐。

Theorem A 的存在性主要来自 compactification：有限近似均衡集合有有限交性质，finitely additive strategy space 紧，因此有交点。Theorem B 的稳定性则来自 payoff supnorm perturbation 与积分 Lipschitz 性。Theorem C 的实质价值更大，因为它把“存在很多奇怪 finitely additive equilibria”的问题压回到 finite approximability 和 dominance reasoning 上。

最可能是核心贡献的是：把有限近似、bounded-function convergence、finitely additive independence extension 组合成一个不改 payoff 的 equilibrium program。比较辅助的是一般性存在性本身；单纯说“所有有界博弈都有 finitely additive equilibrium”容易显得过强甚至过空，真正使它有战略含义的是 Theorem C 的有限近似与支配性过滤。

这不是 scaling，不是 data coverage，也不是 engineering。它是建模空间的重选和极限拓扑的重选。增益来自更大的 compact strategy space 与更细的 payoff-sensitive convergence。代价是解对象更抽象，均衡选择更依赖近似过程。

Relation To Prior Work

最接近的谱系有四条：早期 finitely additive mixed strategies、非紧博弈中的 compactification / approximate equilibrium 路线、discontinuous games 的 better-reply security 路线、以及 Simon-style sharing rule equilibria。

和早期 finitely additive 文献相比，本文的关键差异是避免用 iterated integrals 或 upper/lower integrals 来人为压低偏离收益，也不把 correlated joint distribution 当作 Nash equilibrium。作者明确把 Fubini failure 视为必须绕开的结构性问题，而不是可以靠积分顺序忽略的技术问题。

和 Glicksberg / Reny 路线相比，本文不是找一类 payoff 条件让 countably additive fixed point argument 成立，而是改掉 countably additive strategy model。经典路线的强处是行为解释更常规，弱处是必须排除坏不连续性；本文反过来接受任意 bounded payoff，但要求读者接受 finitely additive mixtures。

和 sharing rule equilibria 相比，本文的实质创新是“不改原博弈”。sharing rule 通过闭图、凸化、选择在不连续点重新定义 payoff；本文直接积分原始 payoff。这个差异很大：在拍卖、Bertrand、location 等模型中，不连续点的 tie-breaking 或 payoff jump 本身就是经济机制的一部分，改掉它等于分析另一个博弈。

看似新的部分中，compactification 与 finite approximation 并非全新；真正新增的是把这些旧思想组织到一个 preserving strategic information 的框架中，并用 exhaustive nets + dominance refinement 给出更强的 operational interpretation。

Dataset / Evaluation

这篇是理论论文，没有 dataset，也没有常规实验。evaluation 主要由定理覆盖范围和反例分析承担。

从 claim 支持度看，Theorem A/B/C 支撑了存在性、稳定性和有限近似可解释性的主张。例子选择也有针对性：asymmetric location game 展示 countably additive limit 如何丢失一侧逼近信息；sharing rule pathology 展示 metric-dense approximations 和 selection equilibria 可能保留严格劣策略；Sion-Wolfe game 展示 classical discontinuity counterexample 在 finitely additive framework 下可被直接分析。

但这些例子更像 proof-of-concept，而不是完整分类。它们说明该框架能处理经典病理，并能解释为什么 classical framework 出错；但没有证明在经济应用中哪类 finitely additive equilibrium 应被选为预测。benchmark 是否验证核心 claim？对数学存在性和稳定性是充分的；对“这是更好的行为模型”则只提供了强例证，不是决定性证据。

Limitation

第一，finitely additive mixed strategy 的行为解释仍然是最大问题。它适合作为 finite approximation 的极限语义，但不是普通意义下可执行的随机化装置。若模型目标是实际随机机制或 empirical prediction，这一步需要额外解释。

第二，均衡概念只要求对 pure deviations 免疫。作者的理由是 finitely additive deviations 本身也必须指定极限过程，因此不能无条件纳入。这在框架内部一致，但也意味着它不是 classical mixed Nash 的直接扩展，而是针对无限博弈重新定义过的 equilibrium notion。

第三，均衡选择没有被彻底解决。Theorem C 缩小到 finitely approximable 和 iteratively undominated limits，但 exhaustive net 的细节仍可能影响结果。Sion-Wolfe game 中不同近似结构给出不同均衡值，这不是小瑕疵，而是在说 continuum game 可能未完全指定，必须连同其 finite approximation semantics 一起建模。

第四，稳定性是在 utility supnorm perturbation 下成立。这很强但也很粗；许多经济模型的 perturbation 更自然地发生在拓扑、信息结构、动作可行集或分布近似上。文中未充分说明这些更结构化扰动下的对应稳定性。

第五，一般性过强会带来解释稀释。任意有界 payoff、任意玩家集合、任意行动空间都存在均衡，这在数学上漂亮，但经济内容依赖 refinement。没有 refinement 时，finitely additive equilibrium set 可能过大，可能包含战略上不 focal 的对象。

Takeaway

• 最值得记住的第一点：无限博弈的非存在性有相当一部分是表示问题，不一定是战略逻辑问题。
• 改变混合策略的极限空间，可以把很多 finite approximation 中稳定存在的行为重新表示为 exact equilibrium。
• 第二点：对不连续 payoff，weak convergence against continuous functions 是错误的信息通道。
• 若 payoff 本身是 bounded arbitrary function，那么策略收敛也必须对 bounded functions 敏感，否则极限会系统性丢失战略信息。

一句话总结

这篇论文把无限博弈均衡存在性从“给 countably additive equilibrium 加条件”的路线推进到“重选混合策略极限空间以保留有限近似战略信息”的路线，核心贡献是用 finitely additive probabilities 建立一个存在、稳定且有限可近似的 Nash-style equilibrium framework。