📈 economics

Partition function form games with probabilistic beliefs

本文通过引入关于外部参与者结盟行为的概率信念，重新审视了分区函数形式博弈，并推导了确保具有正外部性或负外部性的对称博弈中核心非空的信念条件。

原作者： Paraskevas V. Lekeas, Giorgos Stamatopoulos

发布于 2026-05-05

📖 1 分钟阅读☕ 轻松阅读

原作者： Paraskevas V. Lekeas, Giorgos Stamatopoulos

原始论文采用 CC BY 4.0 许可（http://creativecommons.org/licenses/by/4.0/）。 ✨ 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。阅读完整免责声明

想象一群朋友正在决定如何分一块巨大的披萨。在一个简单的世界里，如果两个朋友决定结盟，他们只需要知道他们自己单独能分到多少披萨。但在现实世界中，这两个朋友结盟后的结果完全取决于其他朋友会怎么做。

如果其他朋友保持分散并互相争执，这个联盟可能会分到巨大的一块。但如果其他朋友全部联合成一个巨大的团体，这个联盟可能只能得到一小块碎屑。这就是分区函数博弈的世界：在这种情境下，你的回报不仅取决于你自己的团队，还取决于其他人是如何分组的。

Lekeas 和 Stamatopoulos 的论文解决了一个棘手的问题：我们如何公平地分披萨，使得没有任何一群朋友感到被欺骗而试图脱离？ 在博弈论中，这种“无人愿意离开”的状态被称为核心（Core）。

以下是他们解决方案的简明分解：

1. 问题：猜测未来

通常，为了判断一个群体是否应该脱离，他们必须猜测其他人会怎么做。

“悲观者”的猜测：“其他人会试图搞垮我们！”（他们会组成一个巨大的联盟来伤害我们）。
“乐观者”的猜测：“其他人会保持孤立，什么都不做。”
“现实者”的猜测：“其他人会像上次一样做。”

作者们说：“让我们停止只猜测一种情境。让我们承认我们并不确定。”他们不再挑选一种情境，而是假设每个群体都有一个概率袋。他们可能会认为，其他人组成一个巨大联盟的概率是 30%，保持分散的概率是 50%，组成两个中等规模群体的概率是 20%。他们根据这些概率计算他们的“预期披萨份额”。

2. 转折：外部性（涟漪效应）

该论文考察了由局外人分组方式引起的两种特定类型的“涟漪”：

正外部性（“人多力量大”效应）：想象一个派对。如果局外人（不在你群体中的人）都加入一个大型派对，这会营造出极佳的氛围，而你的群体将受益。他们合并得越多，对你越有利。
负外部性（“人多力量大”效应）：想象一个嘈杂的建筑工地。如果局外人合并成一个巨大的群体，他们会制造巨大的噪音，而你的群体将遭受损失。他们合并得越多，对你越不利。

3. 解决方案：“可容许的信念”

作者们问道：群体必须遵循什么样的猜测规则（信念），才能确保披萨被公平分配且无人离开？

他们发现，为了使“核心”存在（即存在稳定的协议），群体必须遵循特定的谨慎乐观或谨慎悲观模式，且这种模式随着群体规模的扩大而变化。

案例 A：当合并对所有人有利时（正外部性）

如果局外人的合并对你的群体有利，作者们表示，你的群体必须相信：随着总人数的增加，局外人进行协调变得更加困难。

类比：想象你在一个只有 3 个人的小房间里。你会想：“也许另外两个人会联合起来。”但如果你在一个有 100 人的房间里，你应该相信：“让另外 98 个人同意组成一个巨大的群体太混乱了。他们可能会保持在小而分散的集群中。”
规则：随着人群变大，你的群体必须对“局外人将组成一个单一的巨大团队”这一想法赋予更低的概率。你必须相信他们会保持分散。如果你相信这一点，数学计算就会成立，公平的分配也就成为可能。

案例 B：当合并对所有人有害时（负外部性）

如果局外人的合并对你的群体有害，逻辑则发生反转。

类比：如果一大群局外人制造的噪音伤害了你，你应该相信，随着人群变大，他们形成小而烦人的集群比形成一个巨大的集群变得更容易。
规则：随着人群变大，你的群体必须对“局外人将组成一个单一的巨大团队”这一想法赋予更低的概率。你必须相信他们会保持在小而可控的碎片中。

4. “归纳”技巧

他们是如何证明这一点的？他们使用了一种称为归纳法的方法，就像一块砖一块砖地建造高塔。

他们证明了这在只有 3 名玩家的微小游戏中是成立的。
他们表明，如果随着你加入第 4 名玩家、第 5 名玩家、第 6 名玩家，“猜测规则”（信念）保持一致，那么稳定性将一直维持下去。
关键在于将 10 人游戏中群体的信念与 11 人游戏中他们的信念联系起来。他们证明，如果你的群体的信念以一种特定的、合乎逻辑的方式演变（即相信随着人群扩大，协调变得更加困难），“核心”就永远不会为空。

总结

该论文认为，在一个你的成功取决于他人如何分组的世界里，如果每个人都对协调保持现实态度，稳定性就是可能的。

如果你从他人分组中受益，你应该相信，随着世界变大，他们实际进行分组变得更加困难。
如果你因他人分组而受损，你应该相信，随着世界变大，他们进行分组变得更加困难。

通过遵循这些“可容许的信念”（关于协调可能性的经验法则），群体总能找到一种分蛋糕的方法，使得没有人有理由离开。这是一个数学证明：如果以正确类型的怀疑主义来管理，不确定性实际上可以带来稳定性。

技术摘要：具有概率信念的分区函数形式博弈

问题陈述
本文探讨了具有分区函数形式（PFF）的合作博弈中核心的定义及其非空性。与特征函数形式博弈不同，在后者中联盟的价值独立于非成员的行为，PFF 博弈涉及联盟间的外部性：联盟 $S$ 的收益取决于整个玩家集合 $N$ 的划分 $\pi$ 。

PFF 博弈的核心挑战在于，若不指定偏离联盟关于外部人行为的猜想，核心便无法被唯一定义。现有文献依赖于确定性猜想（例如， $\alpha$ -猜想假设外部人会最小化偏离者的收益， $\gamma$ -猜想假设外部人形成单人联盟，或 $\delta$ -猜想假设外部人形成一个单一联盟）。作者提出了一个框架，其中联盟对由外部人形成的可能划分集合持有概率信念。这些信念不必与实际均衡选择一致，反映了某种形式的有限理性或启发式推理，这在玩家数量庞大、划分数量巨大的博弈中尤为相关。

方法论
作者分析了对称分区函数形式博弈，其中联盟的价值仅取决于其规模和划分的结构。他们聚焦于两种截然不同的环境：

正外部性：外部联盟的合并增加了联盟 $S$ 的价值。
负外部性：外部联盟的合并降低了联盟 $S$ 的价值。

核心分析工具是对玩家数量（ $n$ ）的数学归纳法。作者定义了具体的递归限制，规定当博弈规模从 $n$ 增加到 $n+1$ 时，联盟的概率信念（ $h_{n,S}$ ）必须如何演变。这些限制确保了较大博弈中联盟的预期价值不会相对于大联盟的人均价值增长过快。

关键定义包括：

可容许信念：一种信念序列，其中随着 $n$ 的增加，联盟对成员较少的划分赋予相对较低的概率权重（在正外部性情况下）。这通过将 $n+1$ 博弈中的预期价值与 $n$ 博弈中的预期价值通过不等式 $V^{\tilde{h}_{n+1}}(S) = \frac{n}{n+1}V^{h_n}(S)$ 联系起来而形式化。
R-可容许信念：当满足关于 $\gamma$ -猜想价值的特定条件时使用的一种变体，允许不同的递归结构。
归纳步骤：证明表明，如果均分分配在规模为 $n$ 的博弈中是稳定的（即在核心内），那么在信念满足定义的递归约束的前提下，它在规模为 $n+1$ 的博弈中依然保持稳定。

主要结果
本文确立了具有概率信念的对称 PFF 博弈中核心非空的充分条件。

正外部性：
- 命题 1：如果 $\gamma$ -猜想下的价值满足 $V^{\gamma}_{n+1}(S) \leq \frac{n}{n+1}V^{\gamma}_n(S)$ ，且联盟持有可容许信念（随着 $n$ 增长，对有利划分赋予较低的概率），则核心非空。证明依赖于表明在 $(n+1)$ 人博弈中，任何联盟 $S$ 的预期价值 $V^{h_{n+1}}(S)$ 是有界的，从而使得均分分配不可被阻挡。
- 命题 2：如果条件 $V^{\gamma}_{n+1}(S) > \frac{n}{n+1}V^{\gamma}_n(S)$ 成立，只要联盟持有R-可容许信念，核心依然非空。这种情况需要对分布集合施加特定限制，以确保归纳步骤成立。
- 在这两种情况下，作者指出，对于单人联盟（ $|S|=1$ ），分配给“所有外部人形成一个单一联盟”这一情景的概率必须“足够低”，以防止偏离。
负外部性：
- 分析呈现为正外部性情况的镜像。在负外部性下，外部人的合并损害了联盟的利益。因此，递归信念限制被反转：随着 $n$ 的增加，联盟必须对成员较多的划分赋予相对较低的概率（因为在负外部性下，成员较多的划分是最有利的）。归纳逻辑保持一致，确保在这些反转的信念约束下核心非空。

意义与主张
本文声称有两个主要贡献：

核心定义的推广：该框架推广了现有的确定性猜想。例如， $\gamma$ -核心和 $\delta$ -核心被证明是所提出的概率方法的特例，其中概率质量分别完全集中在单人联盟划分或大联盟划分上。
合作博弈中的有限理性：作者提出，概率信念充当了“经验法则”，供那些无法准确推断外部人均衡划分的联盟使用，特别是在大型博弈中。这种方法提供了一种建模联盟形成的途径，其中代理人在面对划分空间的复杂性时具有认知局限性。

本文明确避免提出新的应用或实验验证，而是专注于在有外部性和不确定信念的情况下，保证稳定分配（核心）存在所需的理论条件。它建立在 Lekeas & Stamatopoulos (2014) 和 Stamatopoulos (2021) 的先前工作基础之上，将其对可容许信念的分析从特定的寡头垄断和环境背景扩展到一般的对称环境。