（Salicylic: 博弈论真有意思啊。）

三船栞子&优木雪菜

产出分配的欠定性：从两人分赃到原子电荷

一项关于"如何公平地分割联合产出"的跨学科研究，横跨合作博弈论、新古典分配理论、量子化学的原子电荷划分，以及机器学习中的归因分析。

第一章 问题的提出

1.1 形式化陈述

设有两个参与者 1、2，分别投入  的努力（effort），联合产出  的收益。求一个分割规则 ，将总产出分配为 ，使之满足效率性（efficiency）：

以及某些"合理"的公理。问题的全部困难在于：效率性本身只给了一个约束，却要确定两个未知数——这是一个本质上欠定（underdetermined）的问题。不同的"合理性"公理将导出不同的分配规则，而这些公理并非彼此相容。

1.2 四个探测性案例

下面四个案例从不同方向探测分配规则应满足的公理之间的张力。

案例一：。 此时分割比例显然应为 ，即 。这是唯一一个所有分配规则都收敛到同一点的平凡情形——没有争议，也没有洞见。然而一旦离开这个平凡点，问题立刻变得棘手。

案例二：。 此时随着度量  的单位发生变化，它们相对于常数 1 的大小也在变化。这似乎提示：题目允许的  必然是一个齐次函数，而且可能不能具有指数函数等不是幂函数的项。但这个直觉是否正确？常数 1 究竟是"度量问题"还是另有语义？

案例三：（）。 此时立刻出现两种自洽但截然不同的分法。一种坚持按劳动量比例分割全部产出：，即

这种方式不因某一方生产效率更高就奖励其权重——它是"劳动价值论"的缩影。另一种按边际产出比例分割：，即 ，奖励权重更高的一方——它是"边际生产力论"的化身。两种分法都满足效率性，却体现了截然不同的公平观。

案例四：，乃至更复杂的函数。 此时交叉项  的归属成为核心难题：它是参与者 1 的贡献，还是参与者 2 的贡献，还是二者的"协同剩余"（synergy surplus）？如果  不是齐次函数，问题进一步复杂化。

1.3 一个初步的类比

笔者最初想到的类比来自量子化学中的原子电荷划分（atomic charge partitioning）问题：给定一个分子的连续电子密度 ，如何将其分配到各个原子上？这也是一个本质上欠定的问题——没有客观的"原子电荷"真值，不同方法对应不同假定。这个类比是否成立？如果成立，它能带来什么洞见？后文将看到，这个类比部分正确，但需要严格化才能发挥作用。

第二章 合作博弈论：分配问题的标准框架

2.1 转移效用博弈

上述问题在数学上的标准形式化是转移效用博弈（Transferable Utility game, TU game）。一个 TU game 是一个二元组 ，其中  是参与者集合， 是特征函数（characteristic function），满足 。 表示子联盟  单干时能获得的价值。

在本文的二人问题中，，需要设定的量是：

• ：参与者 1 单干的产出（stand-alone value）
• ：参与者 2 单干的产出
• ：大联盟（grand coalition）的产出

一个分配方案（imputation）是满足效率性和个体理性的向量 ：

• 效率性：
• 个体理性：（否则参与者  不会加入大联盟）

关键观察： 本身不足以唯一确定分配——还必须知道  和 ，即各方的 stand-alone value。这在案例二（）中尤为关键：常数 1 的归属完全取决于"1 人单独能产出多少"。

2.2 解概念谱系

合作博弈论为 TU game 提供了多个解概念（solution concept），每个都对应一组公理。下表是速览，后文各节会展开其中关键的几条。

Nash 议价解的性质与上述四者差异较大（它引入外部选项 ，且对应谈判而非公理归因视角），单独放在下一节讨论。

这些解概念在 CRS 且线性的平凡情形下全部重合，但在非平凡情形下分叉。下文将看到，Shapley 值是处理本文问题的标准工具，而其他解概念在特定情形下有其优势——尤其当 Shapley 值的证成力坍塌时（见第六章 §6.5 判别式临界点、第八章三方 core 精细化），Nash 议价往往成为更合适的替代。

2.3 Nash 议价解：谈判视角与外部选项

Shapley 值的回答是"每个人的边际贡献平均是多少"。Nash 议价解的回答是另一个问题："如果谈判破裂，各方各自能拿到什么？在此基础上，合作剩余怎么分？"

定义。给定议价破裂点 （disagreement point，即谈判失败时各方获得的效用）和合作总产出 ，Nash 议价解最大化纳什乘积：

解为：

即各方先拿回自己的外部选项 ，再将合作剩余 平分。二人情形下平分是纳什公理（对称性）的结果；非对称议价能力可通过加权纳什乘积  处理。

与 Shapley 值的关键差异：

最后两行是理解本文为何需要 Nash 议价的关键。当 （各方的外部选项恰好等于单干价值）且博弈无可加性以外的复杂结构时，Nash 议价与 Shapley 值给出相同结果。但当 ——比如参与者 1 的单干产出 ，但他在别处有工作机会 （市场工资）——两者分叉：Shapley 只看 ，给 ；Nash 议价给 ，把外部工资纳入分配。

这一分叉在第六章 §6.5 的判别式临界点变得决定性：当 （强互补、core 变宽），Shapley 值只是众多稳定解之一，其"平分协同"的判断失去来自生产函数的支撑；此时 Nash 议价通过引入 （外部选项/市场工资/机会成本）恢复了唯一性——不是从  内部推出"该平分"，而是从"各方不合作能拿到什么"外部约束推出。第八章三方情形中，当 core 约束精细化导致 Shapley 离开 core 时，Nash 议价同样作为引入外部信息的替代方案。

Nash 议价的公理基础。Nash（1950）证明，议价解是唯一满足以下四公理的分配：

1. 效率性：，不浪费合作剩余。
2. 对称性：若 （双方外部选项相等），则 （合作剩余平分）。
3. 线性变换不变性（Scale invariance）：对效用作正仿射变换 （）不改变解的"结构"——即解随之变换。这保证了结果不依赖于效用的度量单位或零点选择。
4. 无关选项独立性（Independence of Irrelevant Alternatives, IIA）：若可行分配集从  缩小为 ，而原解 （解未被删掉），则新解仍为 。

第四条需要解释。IIA 说的是：如果某个分配原本就是最优的，那么删掉一些"不如它"的备选方案后，它仍然是最优的。直觉上，这像是在说"冠军不会因为弱者退赛而落选"。在议价语境中，IIA 是一个温和的要求——它只约束"可行集收缩时解的稳定性"，不涉及选项之间的相似性或相关性。

2.4 公理之间的张力

理解这些解概念的关键，是理解它们所满足的公理为何不能同时满足。以下是合作博弈论中最常被讨论的公理。效率性、对称性、哑玩家三条直觉较强（字面意思基本自明），这里略过展开；下面专门讨论两条直觉上看似无害但实际暗藏独立性假设的公理——可加性和抗策略性——因为它们正是 Shapley 值与替代方案分道扬镳的岔路口。

可加性：为什么直觉上可接受，以及它何时失效

可加性（Additivity）：对两个博弈  和 ，。

为什么直觉上可接受。想象参与者白天在项目 A 工作（博弈 ），晚上在项目 B 工作（博弈 ），两个项目互不相干。直觉上，他在 A 中的公平份额只取决于 A 的结构，在 B 中的份额只取决于 B 的结构，两边的份额可以独立计算再相加——这正是可加性。它保证了"解概念可以分模块应用"，不会因为博弈叠加而产生奇怪的耦合。

何时失效。失效的根源是：可加性隐含假设  和  之间无交互——两个博弈的叠加不会产生新的协同或冗余。但现实中博弈常有跨博弈的外部性。考虑一个具体例子：

参与者 1 是程序员，参与者 2 是营销员。博弈 ：两人合作开发一个软件，（软件本身值 10）。博弈 ：两人合作推销产品，（营销本身值 8）。可加性给 ， 同理得 9，合计 18。

但若开发和营销互相促进——好软件让营销更有效，好营销反馈需求让软件更好——真实总产出可能是 ，其中  是跨博弈协同。这个  在  的线性叠加中根本不出现。要捕获它，必须重新定义特征函数 ，而 。可加性在这里系统性地遗漏了跨模块协同。

这个失效模式的根源是：可加性隐含假设  和  之间无交互——两个博弈的叠加不会产生新的协同或冗余。但现实中博弈常有跨博弈的外部性。当这种外部性存在时，合作博弈论需要升级到 partition function games（联盟价值依赖于整个联盟分划，而非只看联盟本身）来显式建模——在这个更一般的框架中，Shapley 值有多种不等价扩展，没有一个是"显然正确"的。arxiv:2310.20415 进一步证明，additivity 可以被"抗重分配性 + 弱联盟单调性"等价替换——这说明 additivity 的本质不是"公平"，而是"无跨博弈操纵"的独立性假设。换言之，Shapley 值满足 additivity 这件事，与其说是"它很公平"，不如说是"它假设了博弈之间不互相污染"。

抗策略性：为什么直觉上可接受，以及它何时失效

抗策略性（Strategy-proofness）：参与者无激励虚报自己的需求、成本或偏好。

为什么直觉上可接受。想象三个城市合建一座桥，各城市的受益程度不同。如果分配规则是"按自报受益程度比例分摊成本"，每个城市都有激励低报受益（以少付钱）。若所有人都低报，桥可能建不起来（总受益报得太低，项目不划算）。抗策略性要求规则设计得使"如实报告"是占优策略——每个人即使自私地计算，也发现说真话对自己最有利。这是机制设计（mechanism design）的核心目标。

何时失效。Shapley 值在特征函数  公开可验证时天然抗策略——因为参与者无法虚报 ， 是客观事实。但当  依赖于参与者的私有信息（如自报成本、自评贡献）时，Shapley 值不保证抗策略性。具体例子：

三个城市合建污水处理厂。真实受益 ，各城市单干均为 0。Shapley 值给各方 。但若城市 1 私下知道"没有自己，城市 2 和 3 的合作只能产出 30"（即真实 ），而它向机制设计者虚报""（谎称 2、3 离开自己就一事无成），则 Shapley 值会重新计算：（虚报后的边际贡献被抬高）。城市 1 通过虚报从  涨到 ，有明确的操纵激励。Shapley 值在这里不抗策略。

这一失效的后果是：在 不可公开验证的场景（如团队内部贡献评估、数据价值定价），直接用 Shapley 值会激励参与者操纵信息。替代方案是 Moulin-Shenker 序列成本分摊（serial cost sharing）——它满足抗策略性，但放弃可加性。代价是：序列分摊不再"分模块"适用，且在非对称情形下可能给出反直觉的结果。这就是公理张力的具体体现：你要么接受可加性但容忍信息操纵（Shapley），要么抗操纵但失去模块化（序列分摊），无法兼得。

公理相容性总览

案例三中"按劳动量比例分"（Equal Division）满足效率性但放弃哑玩家——一个零产出的参与者只要"投入了努力"就能获得份额。没有一组公理是"显然正确"的，这正是分配问题欠定性的根源。选择哪组公理，取决于具体场景中哪条公理的失效代价更高。

第三章 Shapley 值：边际贡献的平均

3.1 一个叙述

想象大联盟是逐个吸纳成员形成的。参与者  加入联盟  时，他带来的边际贡献是 。由于这个边际贡献取决于  加入时联盟已有谁，而"加入顺序"是任意的，一个自然的做法是：对所有可能的加入顺序取平均。这就是 Shapley 值的核心直觉。

以二人博弈为例，有两种加入顺序：

• 顺序 ：参与者 1 先加入空联盟，贡献 ；参与者 2 后加入，贡献 。
• 顺序 ：参与者 2 先加入，贡献 ；参与者 1 后加入，贡献 。

Shapley 值是两种顺序下各方贡献的平均：

验证： ✓（效率性自动满足）。

3.2 一般定义

对于  人博弈，Shapley 值的公式是：

系数  是联盟  恰好是  加入时已有联盟的概率。Shapley 值因此是"参与者  在所有加入顺序下的期望边际贡献"。

3.3 四公理表征

Shapley（1953）证明，Shapley 值是唯一满足以下四条公理的分配规则：

1. 效率性（Efficiency）：。
2. 对称性（Symmetry）：若参与者  和  在博弈中可交换（即对所有  不含 ，），则 。
3. 哑玩家（Dummy player）：若参与者  对任何联盟  都无贡献（），则 。
4. 可加性（Additivity）：对两个博弈  和 ，。

这四条公理的独特之处在于：它们各自都看似"温和而合理"，但合在一起唯一确定了 Shapley 值。任何对 Shapley 值的不满，本质上是对某一条公理的不满——而放弃哪一条，就对应着不同的替代解概念。

3.4 边际主义 vs 平均主义

在案例三  中，若设 、、（即无协同），则

Shapley 值给出 ，即按边际产出比例分配。这与 Wicksteed 的产品耗尽定理一致（详见第四章）。

那么笔记中提到的"按劳动量比例分"（）呢？它对应的是平均分配规则（Equal Division rule）：把总产出按某种"投入量"比例分。这一规则不满足哑玩家公理——一个零贡献的参与者只要"投入了努力"就能获得份额，这在 Shapley 公理体系下不可接受。但它满足效率性和某种"团结性"（solidarity）直觉。

arxiv:2201.09182（"Consolidating Marginalism and Egalitarianism"）正是处理这一张力：Shapley 值是边际主义（marginalism）的极端，Equal Division 是平均主义（egalitarianism）的极端，现实中的公平分配往往是两者的折衷。这篇论文提出了一个介于两者之间的新解概念，尝试同时奖励生产力差异和保留团结性。这恰好对应了案例三的直觉——"按 effort 分"并非不合理，它只是选择了不同的公理集。

3.5 加权 Shapley 值

当参与者有外生的不对称性（议价能力、权重），可用加权 Shapley 值（weighted Shapley value）：在"加入顺序"的叙述中，不再等概率采样顺序，而是按权重采样。Shapley（1953）本人就定义了这一推广。它放弃了对称性公理，保留效率性、哑玩家、可加性，是处理非对称情形的标准工具。后文讨论案例四的交叉项  的非对称分配时将用到它。

第四章 Euler 定理与 Wicksteed 产品耗尽

4.1 齐次函数与 Euler 定理

函数  称为  次齐次（homogeneous of degree ），若对所有 ，

在经济学生产理论中， 对应规模报酬不变（Constant Returns to Scale, CRS）， 对应规模报酬递增（Increasing Returns, IRS）， 对应规模报酬递减（Decreasing Returns, DRS）。

Euler 齐次函数定理指出：若  是  次齐次且可微，则

这是一个纯粹的数学恒等式，但它在经济学中有一个极为重要的解释：左边是"按边际产出支付各要素"的总支付额，右边是总产出的  倍。当 （CRS）时，两者恰好相等——这正是"产品耗尽"的数学基础。

4.2 Wicksteed 产品耗尽定理

1894 年，菲利普·威克斯蒂德（Philip Wicksteed）在《分配法则的协调》一书中将 Euler 定理应用于分配理论，提出了著名的产品耗尽定理（Product Exhaustion Theorem）：

在规模报酬不变（CRS）下，若每种生产要素都按其边际产出获得报酬，则所有要素报酬之和恰好等于总产出。

这就是 Clark-Wicksteed-Walras 定理。用符号表示：若  是 1 次齐次，且 （边际产出支付），则

效率性自动满足。这解释了为什么案例一  的分割"显然"是 ——因为在 CRS 且线性的情形，所有分配规则（Shapley 值、边际产出规则、Aumann-Shapley 路径积分）全部重合。

4.3 累加问题与非 CRS 情形

Wicksteed 定理的局限立刻显现：它只对 CRS 成立。当  是  次齐次但  时，Euler 定理给

按边际产出支付会得到 ，与  相差 。这就是经济学史上的累加问题（adding-up problem）：

• IRS（）：边际产出之和 ，"超分"了 。传统上，这个超额被归咎于"企业家"（entrepreneur）作为剩余索取者（residual claimant）承担——企业家拿负的剩余，即倒贴。
• DRS（）：边际产出之和 ，"不足"了 。企业家拿正的剩余。

但在本文的二人问题中没有第三方企业家。 这个差额如何在两个参与者之间内部分配？这是 Wicksteed 框架未覆盖的缝隙。

4.4 Ostroy-Song 的 Euler 间隙

2025 年，UCLA 的 Joseph Ostroy 和成均馆大学的 Joon Song 在 arXiv 发表了一篇重要论文——Positively Homogeneous Saddle-Functions and Euler's Theorem in Games（arxiv:2504.19424），正是处理这一缝隙。他们建立了 Euler 定理与合作博弈论解概念之间的严格联系：

• Shapley 值被重新定义为 vNM 特征函数下"个体的边际产出"。
• Euler 间隙（Euler gap）概念：当博弈不满足 CRS 时，边际产出之和与总产出的差额。零 Euler 间隙  CRS。
• 二人博弈的特殊性：零 Euler 间隙当且仅当博弈是常数和（constant sum）博弈。
• 激励兼容性：零 Euler 间隙  参与者有激励真实报告自己的效用。

Ostroy-Song 的工作给本文案例四（IRS/DRS 情形）提供了学术命名： 这个差额就是 Euler 间隙。问题在于如何分配它。后文第七章将提出一条规则来处理这一情形。

4.5 笔记中"齐次性"直觉的精确化

笔记中写道："题目允许的  必然是一个齐次函数。"这个直觉部分正确，但需要精确化。Euler 定理确实给齐次函数提供了刚性数学结构，但：

1. 并非"必须"齐次——非齐次  仍然可以分配，只是 Wicksteed 定理不直接适用，需要用 Aumann-Shapley 路径积分等其他工具（见第六章）。
2. 齐次性对应的真正要求是"尺度不变性"（scale invariance）：分配规则  应在度量单位变换下保持比例不变。这比" 必须齐次"更弱、更灵活。
3. 案例二  的常数 1 不是度量问题，而是语义问题：1 必须问"是谁带来的"——固定成本、外部补贴、公共物品价值，还是度量伪影？不同的语义对应不同的处理方式（见第六章）。

第五章 原子电荷划分：化学中的同类欠定问题

5.1 问题的同构性

在量子化学中，给定一个分子的连续电子密度 （，总电子数），化学家希望把总电子数分配到各个原子上，得到每个原子的原子电荷（atomic charge）。这本质上与产出分配同构：

2020 年发表在 Journal of Chemical Theory and Computation 的综述"The Atomic Partial Charges Arboretum"（PMC7317385）明确指出：各种原子电荷方法应当被看作"间接代理"（proxies）而非"测量"——它们衡量的是"一般离子性"的不同侧面，而非某个客观真值的不同估计。这与合作博弈论中"没有唯一的公平解"的判断完全一致。

5.2 四种划分方法及其隐含假定

以下逐一展示四种主流原子电荷划分方法，以及它们各自隐含的"分配假定"。

Mulliken 电荷（1955 年）。 最早且最简单的方法。它把两个原子 A、B 之间的"重叠电子密度"——即同时覆盖 A 和 B 原子轨道的那部分电子——平均分给 A 和 B。数学上：

其中  是核电荷， 是密度矩阵， 是重叠积分。核心假定的第二项对  的交叉项取一半归 A。

隐含假定：对称性——两个原子对重叠密度的贡献相等。这与 Shapley 值的对称性公理同构。代价是：Mulliken 电荷对基组选择极为敏感（同一个分子换一套基组，电荷可能差很多），因为"重叠密度"的几何意义随基组改变。这恰好对应 Shapley 值在"可加性"公理下的刚性——它要求博弈的线性叠加，但实际体系不总是满足。

Bader 电荷 / QTAIM（1980 年代）。 Bader 的"分子中的原子理论"（Quantum Theory of Atoms in Molecules）采用完全不同的策略：用零通量面（zero-flux surface）把分子空间分割成以各原子核为中心的几何"盆地"（basin），每个原子电荷等于其盆地对  的空间积分。

其中  是原子 A 的 basin，由 （零通量）条件确定。

隐含假定：局部性（locality）——电子密度归属由几何位置决定，不依赖于"参考态"或"基组"。这放弃了 Mulliken 的对称性（重叠密度不再平分，而是按几何切面分），换来了对基组的不敏感。但代价是：远处的原子仍可能通过"长程密度尾巴"影响某 basin，这与哑玩家公理部分冲突——一个化学上"惰性"的原子仍可能获得非零电荷。

Hirshfeld 电荷 / Stockholder 划分（1977 年）。 Hirshfeld 提出了一种"加权"方案：构造一个 promolecular 密度（promolecular density）——把各中性自由原子的电子密度在分子几何位置上简单叠加 。然后把分子密度的每一点按"参考态比例"分给各原子：

即每个原子按其在 promolecular 中的"份额"分得分子密度。

隐含假定：参考态一致性——分配权重来自一个外部的"参考态"（中性自由原子）。这与合作博弈论中的加权 Shapley 值同构：权重系统  打破了对称性，权重高的原子分得更多。代价是：Hirshfeld 电荷依赖于 promolecular 的选择（虽然"中性自由原子"是默认选择，但理论上可以换），正如加权 Shapley 依赖于权重系统的选择。Hirshfeld 的一个变体——迭代 Hirshfeld（Hirshfeld-I）——通过迭代更新参考态来减少这种依赖，但代价是引入了自洽性要求。

ESP 拟合电荷（1990 年代）。 完全不同的思路：不去"分割"电子密度，而是拟合分子的静电势（electrostatic potential, ESP）。在分子周围的一组网格点上，用一组点电荷  拟合量子化学计算的真实静电势，最小化二乘误差。

隐含假定：外部一致性——电荷的"正确性"由能否复现外部观测量（静电势）来定义。这与合作博弈论中的Nash 议价解同构：解的"正确性"由能否满足外部约束（议价破裂点）来定义，而非由内部公理唯一确定。代价是：ESP 拟合电荷对网格选择敏感，且在分子内部（远离网格点的区域）可能给出物理上不合理的值。

5.3 一个对照表

这个对照表是本文的核心贡献之一。需要强调：这一对应关系在现有文献中并未正式建立——笔者通过 5 轮 arXiv 检索（关键词覆盖 atomic charge partitioning、game theory、fairness axioms、cooperative、Mulliken、Bader、Hirshfeld）未找到任何把原子电荷划分与合作博弈论公理化联系起来的论文。这是一个真实的跨学科缝隙。上表的对应是基于两套理论在"结构"上的同构性推导出来的，属于本文的原创提议，而非既有文献的转述。

5.4 类比的局限

尽管结构同构，原子电荷划分与产出分配仍有重要差异：

1. 经济学有 Euler 定理，量子化学没有对应物。Euler 定理给"齐次性"提供了刚性数学结构——若  是  次齐次，则边际产出之和恰为 。电子密度不"消耗投入"，没有对应的齐次性定理。
2. 投入量  在经济学中客观可测；原子的"参考态"是构造的。Hirshfeld 需要 promolecular，Bader 需要零通量面定义——这些参考结构本身不唯一。经济学中  直接可测。
3. 经济学有"参与者可虚报"的策略性问题；原子不"虚报"。因此抗策略性公理在量子化学中没有对应物。

这些差异意味着，原子电荷类比不能机械地搬运——但它确实提供了一个有用的"跨学科坐标系"，让我们看到"不同方法 = 不同公理集"这一欠定性的普遍结构。

第六章 四个案例的逐一回答

6.1 案例一：

答案：，比例 。

为什么：此时 CRS 且线性，所有分配规则重合。Shapley 值、边际产出规则、Aumann-Shapley 路径积分、Nash 议价（对称）全部给出同一答案。Wicksteed 定理自动满足（CRS），Euler 间隙为零。这就是为什么这个情形"显然"——不是因为问题平凡，而是因为所有公理在这一点上相容，没有争议空间。

6.2 案例二：（常数项）

核心修正：常数 1 不是度量问题，而是语义问题。1 必须问"是谁带来的"，而答案取决于 stand-alone value 的设定。

设 、、。Shapley 值为：

常数 1 的归属完全由  决定。文献中的标准处理方式：

情形 A：1 是公共固定成本。 用两部定价（two-part tariff）——固定部分 1 按某规则分（通常平分或按 stand-alone 比例），可变部分  按  分。例如 （各方单独也需承担固定成本），则 ——常数项平分。

情形 B：1 是第三方补贴。 若 1 来自外部（如政府补贴）且不计入二人分配，则 ，补贴归外部。对应 （合作本身不产生额外，补贴是外生的）。

情形 C：1 是公共物品价值。 若 1 是合作本身的正外部性（如品牌效应），通常与  无关，按受益比例分。若两方对称受益，平分：。

情形 D：1 真是度量伪影。 若 1 确实只是单位选择的产物，则要求分配规则  是 0 次齐次的（尺度不变）。后文第七章的"规则 C"处理这一情形。

关键洞见：笔记中"度量单位变化暴露问题"的直觉部分正确——尺度不变性确实是合理要求。但它的实现不是"禁止  有非幂项"，而是"分配规则应在归一化空间中定义"。常数项的归属是语义判断，而非数学强制。

6.3 案例三：（）

两种自洽的分法：

分法一：按劳动量比例分（笔记中的"按 effort 分"）。

这满足效率性。它对应平均分配规则（Equal Division rule），体现"劳动价值论"——不论生产效率，按劳动量分配。代价是放弃哑玩家公理：一个  的参与者（零产出效率）只要  仍能获得份额。arxiv:2201.09182 将此称为"平均主义"（egalitarianism）极端。

分法二：按边际产出分（Shapley 值 / Wicksteed）。

这对应 Shapley 值（在  下）和 Wicksteed 边际产出规则。它体现"边际生产力论"——按各方的边际产出支付。满足全部四条 Shapley 公理。

两种分法的关系：它们不是"一个对一个错"，而是选择了不同的公理集。分法一选择团结性（solidarity），放弃哑玩家；分法二选择哑玩家，放弃团结性。这正是 arxiv:2201.09182 所处理的"边际主义 vs 平均主义"张力。

一个混合方案：arxiv:2201.09182 提出了一个介于两者之间的解概念，尝试同时保留部分边际激励和部分团结性。若  是团结性参数，则

 退化为 Shapley， 退化为 Equal Division。 的选择是价值判断，数学不能决定。

6.4 案例四：

这是最丰富的案例，分三层处理。

第一层：齐次性分析。 若  使  是 2 次齐次（本例中所有项都是 2 次的，自动满足），则 Euler 定理给：

按边际产出分会得到 ，超出 ——这是 IRS（规模报酬递增）的标志。Euler 间隙为 （即 ），需在两人之间内部分配（详见第七章规则 B）。

第二层：交叉项  的归属——Shapley-Taylor 交互指数。

Sundararajan 和 Najmi 在 ICML 2020 发表的"Shapley-Taylor 交互指数"（arxiv:1902.05622）是处理交叉项的标准工具。它是 Shapley 值向高阶交互的推广： 退化为 Shapley 值， 显式分配 pairwise 交互项。在二人情形下， 项按对称性平分——各得 。

这与量子化学中 Mulliken 把重叠密度平分是同构的——Shapley-Taylor 的对称性公理对应 Mulliken 的对称假定。

第三层：Shapley 值的完整计算。

设 （参与者 1 单干只有自己的二次项）、、。Shapley 值为：

验证： ✓

这正是案例四的标准答案：主项  归参与者 1，主项  归参与者 2，交叉项  平分。与化学直觉（Mulliken 平分重叠）完全一致，而 Shapley 值给出了严格的公理化基础。

但 IRS 的 Euler 间隙问题仍存：上述 Shapley 值满足效率性，但若改用边际产出规则会得到 。Shapley 值在这里"自动"处理了 Euler 间隙——它没有按边际产出分配，而是按"加入顺序的平均边际贡献"分配，这在 IRS 下恰好不超分。这是 Shapley 值相对于边际产出规则的一个优势。

6.5 案例四的深化：判别式与 Shapley 值的证成力临界点

上述 Shapley 答案  看似对一切  都成立。然而一个关键的数学观察被忽略了：二次型  的判别式  把生产语义切成截然不同的两半，而 Shapley 值在两种情形下的"证成力"（justification）截然不同。

情形一：（二次型正定/负定，不可因式分解）。 此时 ，交叉项相对小。生产语义是"各自独立 + 温和协同"—— 主导产出， 是锦上添花。例子：两个有技能的工人，各自能干活，合作带来额外效率。此时 Shapley 值的 （主项主导）， 是小额协同奖金的平分，合理性无争议。

情形二：（二次型可因式分解为 ）。 此时 ，交叉项主导或相当。极端情形 （纯乘积，Leontief 式）。生产语义是"本质互补"——单干几乎无产出，价值几乎全部来自协同。例子：左鞋 + 右鞋、锁 + 钥匙、程序 + 数据。

两种情形下 Shapley 值的处境截然不同。关键在于 core 的大小：二人博弈的 core 为 ，宽度恰为 。

• 情形一： 小，core 窄，Shapley 几乎是唯一稳定解——分配问题几乎被生产函数唯一确定。
• 情形二： 大，core 宽，任何满足  的分割都稳定（在  极端情形）。Shapley 的  平分只是这个大区间里的一个点，没有任何来自生产函数本身的特权。

异质性问题是症结。当 ， 和  虽然用同一单位（如"人月"）度量，但可能是本质异质的投入—— 是程序员人月、 是营销人月。此时 Shapley 的"各得 "隐含一个假定：两类努力对协同价值的边际贡献对称。但这个假定无法从  本身推出。arxiv:2102.01802（"Teams: Heterogeneity, Sorting, and Complementarity"）正是处理这一问题：当团队产出含互补性且成员异质时，仅从产出函数无法识别个人贡献，必须引入成员在不同团队间流动的面板数据来识别。

情形二应转向 Nash 议价。在  时，正确做法是从 Shapley 值转向 Nash 议价解：

其中  是参与者  的议价破裂点（disagreement point）——不合作时  能获得的最好外部选项。解为 。当 （双方外部选项都为零，如左右鞋情形）时退化为 Shapley 的  平分；但当 （如程序员的市场工资 vs 营销员的市场工资不同），分配会偏向外部选项高的一方。

结论：Shapley 值的同一公式在两种情形下都"成立"，但情形二下它的证成力坍塌——生产函数不足以支撑"平分协同"的判断，必须引入议价/外部选项信息。判别式  恰好标记了 Shapley 值从"唯一合理解"变为"众多稳定解之一"的临界点。

第七章 缝隙与新规则

前述六章覆盖了大部分情形，但仍有若干缝隙未被现有文献处理。本章提出四条规则来填补它们。

7.1 规则 A：原子电荷划分的合作博弈论重构

缝隙：第五章建立了原子电荷方法与合作博弈论解概念的结构对应，但这一对应关系在现有文献中并未正式建立。5 轮 arXiv 检索未找到任何把两者联系起来的论文。

提议：将第五章的对照表严格化。具体而言：

1. Mulliken 电荷  Shapley 值——这是一个可证伪的数学命题。在特定分子上，把"原子轨道重叠"建模为 TU game，验证 Mulliken 电荷是否等于该 game 的 Shapley 值。若成立，则 Mulliken 电荷对基组的敏感性不是 Mulliken 方法的"缺陷"，而是 Shapley 值在该 game 上的固有性质——它源于可加性公理对"博弈线性叠加"的要求，而实际分子不总是满足。
2. Hirshfeld 电荷  加权 Shapley 值——权重系统是 promolecular。Hirshfeld-I（迭代 Hirshfeld）对应于权重的自洽迭代。
3. Bader 电荷放弃哑玩家公理——远原子的电子仍可能落入某 basin。这是"局部性"公理与"哑玩家"公理的冲突，与合作博弈论中"序列成本分摊"放弃可加性以换取抗策略性是同构的取舍。

价值：这一对应把"哪个原子电荷方法最好"这个无法回答的伪问题，转化为"你愿意接受哪组公理"这个可回答的真问题——与合作博弈论中"哪个解概念最好"的处理方式完全一致。

7.2 规则 B：Euler 间隙的内部剩余索取者

缝隙：Ostroy-Song（2025）定义了 Euler 间隙，但传统经济学把间隙归给"企业家"（第三方）。在二人问题中没有第三方时，间隙如何内部分配？

提议：设  是  次齐次， 是  的边际产出支付，。定义分配规则：

即每个参与者拿到自己边际产出的 。

验证： ✓（效率性满足）

性质：

1. 退化为标准情形：（CRS）时 ，回到 Wicksteed 产品耗尽。
2. 尺度不变： 和所有  同缩放，比值不变。
3. 保持边际产出排序：边际产出高者仍得更多，只是统一缩放。
4. 与 Shapley 值一致：在二人二次齐次（）情形，本规则给 ，与第六章案例四的 Shapley 值完全一致。这不是巧合——Shapley 值在齐次可微博弈上恰好等于 Aumann-Shapley 路径积分，后者在齐次性下退化为  边际产出。

直觉：IRS（）时每个人都"打折"——因为协同太强，单独边际产出会重复计算协同价值；DRS（）时每个人都"加成"——因为边际产出低估了实际贡献。规模报酬的盈亏按各方边际贡献比例内部分配，不引入外部剩余索取者。

7.3 规则 C：非齐次函数的尺度不变分割

缝隙： 含非齐次项（如常数、对数），但希望分配规则尺度不变。现有工具散落在两部定价、归一化、stand-alone 重定义之间，没有统一框架。

提议："归一化 + Aumann-Shapley"两步法：

1. 归一化：选基准点 （如 stand-alone 价值，或外生给定）。映射到无量纲空间：，。
2. 应用 Aumann-Shapley 路径积分：从原点沿直线到  积分边际产出：

1. 反映回原空间：。

对案例二  的应用：

• 若选  为基准（"单位投入"），。归一化 。沿路径积分：，。反映回：，。常数项 1 在这个基准下"被吸收"——因为它在归一化路径上对双方边际贡献的相对大小无影响。
• 若选 ，。归一化后 ，常数项被平分。

关键洞见：常数项的归属完全取决于基准点的选择，而基准点对应"谁的基础贡献"这个语义判断。这把笔记中"度量问题"的直觉精确化了——它不是度量问题，而是"基准"问题，基准的选择承载了你对常数项语义的理解。

7.4 规则 D：非对称协同项分配

缝隙：Shapley-Taylor 交互指数默认平分 （对称性公理），但若参与者 1、2 有不同议价能力 （），协同项应如何分？文献用加权 Shapley，但与 Shapley-Taylor 的结合不明确。

提议：加权 Shapley-Taylor——协同项  按  分配：

 的来源（按优先级）：

1. 若有外生议价能力参数（如 Nash 议价的 disagreement point 差异），直接用。
2. 若无，但 stand-alone 价值 、 不对称，取 （Hirshfeld 风格——按"参考态"权重）。
3. 若 stand-alone 也对称，退回 （标准 Shapley-Taylor）。

性质：

1. 效率性保持（）。
2. 退化为标准情形（对称时）。
3. 与加权 Shapley 值一致（在加权博弈上）。
4. 与 Hirshfeld 电荷同构：Hirshfeld 按 promolecular 权重分电子密度，本规则按 stand-alone 权重分协同剩余——同一个思想。

价值：把"为什么平分协同"这个问题从公理推向数据——当有理由认为参与者不对称时，不对称信息通过  进入协同分配，而不是被对称性公理强行抹平。

三方推广与  阶壁垒：规则 D 在二人情形下是加权 Shapley-Taylor（）。推广到三方  时，需特别注意第八章 8.3 节揭示的崩解点：若存在真正的三阶交互项 ， 的 pairwise 分配框架无法忠实表示它（arxiv:2606.19410）。此时规则 D 必须升级到 ：

• pairwise 交叉项  仍按各自的  权重分配（与二人情形同构）。
• 三阶交互项  需要一组三方权重（），按  分配。 的来源与  类似（外生议价能力或 stand-alone 比例），但允许 ——因为某方在 pairwise 协同中的权重可能与在三方协同中的权重不同。
• 计算  的复杂度为 ，在  时仍可管理（ 个子集），但  时需用 Interaction Tensor SHAP（arxiv:2512.05338）等近似方法。

这一推广说明：规则 D 不是简单的"二人公式套用到三方"，而是需要根据生产函数中实际存在的交互阶数选择对应的 。低估  会把高阶协同错误地摊到低阶项上（投影型指数的 conflation 问题）；高估  则引入不必要的计算负担。 的选择应由  的代数结构（哪些阶次的交互项非零）决定，而非任意。

7.5 统一决策树

给定 ，按以下顺序判断并选择规则：

注意：上表仅覆盖二人情形。三方及以上的推广并非平滑——见第八章三方专题。

第八章 三方推广：Shapley 值干净，但稳定性与归因会崩解

前七章的分析都在二人框架内。一个自然的问题是：这些方案能否推广到三个参与方？以 （六项二次型）为例做计算，会发现一个微妙的事实——Shapley 值的公式干净推广，但 Core 稳定性和交互归因会遭遇三个真实的崩解点。

8.1 Shapley 值：形式干净的推广

设 stand-alone  = 各自的二次项， = 两项主项 + 对应交叉项，。用符号计算（Fraction 精确系数）验证三方 Shapley 值：

验证效率性： ✓

每个 pairwise 交叉项仍然平分给涉及的两方——三方情形下 Shapley 值的形式与二方完全同构。这在数学上很优美：第  方拿到自己的主项，加上自己参与的所有 pairwise 交叉项的一半。表面上没有崩解。

但这只是表象。下面三个崩解点逐一揭示问题的深层结构。

8.2 崩解点一：Core 稳定性的精细化

二人博弈的 core 非空条件只是 （协同非负），一个条件决定一切。三方博弈的 core 约束变为三个：

Shapley 值在 core 内当且仅当每两个交叉项之和 。这意味着即使某个交叉项为负（替代性），只要另外两个足够正，Shapley 仍稳定。但如果某个参与者的两个交叉项都很负（它是其他两方的强替代品），Shapley 就离开 core——那个参与者会被另外两方"排挤"出大联盟。

更进一步，博弈的凸性（convexity / supermodularity，保证 core 非空且 Shapley 必在 core 内）要求三个交叉项都非负——这是比二人情形强得多的条件。二人只需 ；三方需要 。条件从 1 个精细化到 3 个，满足难度阶跃上升。

8.3 崩解点二：三阶交互项  的不可简约性

这是最深刻的崩解。如果在六项二次型之外再加一个三阶交互项（三方同时在场才产生的协同，无法归约为任何 pairwise 交互），事情质变。

设纯三阶博弈：，，。Shapley 值为：

三方平分。Core 非空（当 ），且 Shapley 在 core 内。看起来没问题——但 Shapley-Taylor 交互指数在 （pairwise）下无法忠实表示 。

arxiv:2606.19410（"The Representational Limit of Scalar Interactions"）严格证明了这一点：在 3-way XOR 结构（即纯三阶交互）下，任何 pairwise 交互指数都会把三阶效应"泄漏"到 pairwise 标量中，conflating uniqueness（唯一性）、redundancy（冗余）、synergy（协同）三种不同机制。具体地：

• 忠实型指数（如 Shapley-Taylor ）：在纯三阶交互下返回所有 pairwise 交互为零——数学上正确，但无法解释  从哪来。
• 投影型指数（如 Shapley Interaction）：把  摊到 pairwise 标量上——给出非零 pairwise 值，但物理上错误。

这意味着：三方情形下，如果存在真正的三阶协同，pairwise 分配框架（包括 Shapley-Taylor ）在概念上崩解。必须升级到 （全阶）才能忠实分解。而  的计算复杂度从  跳到 ——这就是 arxiv:2512.05338（Interaction Tensor SHAP）试图用张量代数缓解的"指数墙"。

这一发现对经济学有直接含义：当生产函数含真正的三方协同（如"三人创意碰撞"无法归约为两两交互），仅靠 pairwise 交互归因会给出误导性结论。这也是为什么 Möbius 变换（arxiv:2402.02631）在合作博弈论中重新受到关注——它提供了  阶交互的自然分解框架。

8.4 崩解点三：替代解概念的三人壁垒

arxiv:0711.2334（"Encouraging the grand coalition in convex cooperative games"）证明了一个微妙结果：在凸博弈中，τ-值在  人时鼓励大联盟，但在  人时不再保证。这是解概念本身在参与人数边界上的结构性变化——三方仍处于"安全区"，但预示着推广不是平滑的。

更一般地，许多在二人情形下等价的解概念，在三方及以上开始分叉：Shapley 值与核仁在凸博弈下重合，但在非凸博弈下可能差异巨大；Nash 议价解的多人推广（n-person Nash bargaining）存在多个不等价版本，且不再保证唯一性。

8.5 三方情形总结

核心洞见：Shapley 值的数学形式在任意参与人数下都干净推广（这正是 Shapley 1953 年原始定理的力量），但它的证成力——即"为什么应该用 Shapley 值而非其他规则"——在三方及以上遭遇结构性挑战。Core 条件精细化、三阶交互不可简约、替代解概念壁垒，三者共同说明：参与人数的增加不是量变，而是质变。

第九章 结语：欠定性是本质，不是缺陷

9.1 核心论点

回到笔记最初的问题：两人投入  产出 ，分割比例如何合理计算？

本文的答案是：这个问题在数学上是欠定的，在公理上是多解的。 没有唯一的"合理"分配，只有"在给定公理集下唯一"的分配。Shapley 值在效率性、对称性、哑玩家、可加性四公理下唯一；边际产出规则在 CRS 下唯一；Equal Division 在团结性公理下唯一。这些公理集彼此冲突，选择哪一组是价值判断，数学只能告诉我们"选了之后会怎样"。

9.2 笔记中直觉的修正与确认

9.3 跨学科的统一图景

本文最大的发现是："将连续联合贡献分配到离散单元"这一欠定问题，在多个学科中以不同面貌重复出现，而不同学科独立地重新发明了相同的解概念。

• 合作博弈论发明了 Shapley 值（1953）——按边际贡献的平均分配。
• 量子化学发明了 Mulliken 电荷（1955）——按对称性平分重叠密度。
• 机器学习可解释性发明了 SHAP（2017）——按 Shapley 值归因特征重要性。
• 机器学习交互归因发明了 Shapley-Taylor（2020）——按高阶交互分配协同贡献。

这些发明的数学结构高度同构，但各学科彼此并不引用对方——化学家不读博弈论，博弈论学者不读 XAI 论文。本文第五章的对照表和第七章的规则 A 尝试建立这一跨学科桥梁。这是一个真实的缝隙：5 轮 arXiv 检索未找到任何把原子电荷划分与合作博弈论公理化联系起来的论文。

9.4 笔者提出的四条规则

针对现有文献的缝隙，本文提出：

• 规则 A：原子电荷划分 ↔ 合作博弈论解概念的正式对应表（填补跨学科缝隙）。
• 规则 B：Euler 间隙的内部剩余索取者——（填补无第三方时的 IRS/DRS 分配）。
• 规则 C：非齐次函数的尺度不变分割——归一化 + Aumann-Shapley 两步法（填补非齐次 + 尺度不变的要求）。
• 规则 D：非对称协同项分配——加权 Shapley-Taylor（填补非对称情形下交叉项的归属）。

这四条规则中，规则 B 与 Ostroy-Song（2025）的 Euler 间隙概念自洽，规则 D 与加权 Shapley 值一致。规则 A 和规则 C 是更具原创性的提议，依赖于本文建立的跨学科对应关系。

9.5 一句话总结

笔记中的问题在合作博弈论里是 TU game 的剩余分摊问题，标准答案是 Shapley 值；在经济学分配论里是累加问题，标准答案是 Wicksteed 产品耗尽（CRS 下按边际产出分）；"原子电荷类比"可严格化为"Mulliken ≡ Shapley、Hirshfeld ≡ 加权 Shapley"的对应；四个案例的完整答案分别是—— 直接分， 常数项语义决定基准点， 按边际产出分（Shapley）或按劳动量分（Equal Division，放弃哑玩家）， 各主项归主、 平分（Shapley-Taylor），IRS/DRS 时按  缩放（规则 B）。欠定性是本质，不是缺陷。

主要参考文献

合作博弈论

• Shapley, L. S. (1953). "A Value for n-Person Games." Annals of Mathematics Studies, 28: 307–317. —— Shapley 值的原始论文。
• Aumann, R. J. & Shapley, L. S. (1974). Values of Non-Atomic Games. Princeton University Press. —— 连续博弈的 Shapley 值（Aumann-Shapley 规则的基础）。
• Ostroy, J. M. & Song, J. (2025). "Positively Homogeneous Saddle-Functions and Euler's Theorem in Games." arxiv:2504.19424. —— Euler 定理与博弈论解概念的正式连接，Euler 间隙概念。
• "Consolidating Marginalism and Egalitarianism: A New Value for Transferable Utility Games." arxiv:2201.09182. —— Shapley 值（边际主义）vs Equal Division（平均主义）的折衷。
• "Shapley-like values without symmetry." arxiv:1809.07747. —— 非对称 Shapley 值。

经济学生产与分配理论

• Wicksteed, P. H. (1894). An Essay on the Co-ordination of the Laws of Distribution. Macmillan. —— 产品耗尽定理的原始论述。
• Clark, J. B. (1899). The Distribution of Wealth. Macmillan. —— 边际生产力分配论。
• Moulin, H. & Shenker, S. (1992). "Serial Cost Sharing." Econometrica, 60(5): 1009–1037. —— 序列成本分摊规则。

Shapley-Taylor 交互指数

• Sundararajan, M. & Najmi, A. (2020). "The Shapley Taylor Interaction Index." ICML 2020. arxiv:1902.05622. —— 处理交叉项的标准工具。
• "The Shapley Value in Machine Learning." arxiv:2208.08798 (IJCAI 2022). —— SHAP 综述。

原子电荷划分

• Mulliken, R. S. (1955). "Electronic Population Analysis on LCAO-MO Molecular Wave Functions." J. Chem. Phys., 23: 1833–1840.
• Bader, R. F. W. (1990). Atoms in Molecules: A Quantum Theory. Oxford University Press.
• Hirshfeld, F. L. (1977). "Bonded-Atom Fragments for Describing Molecular Charge Densities." Theoretica Chimica Acta, 44: 129–138.
• "The Atomic Partial Charges Arboretum: Trying to See the Forest for the Trees." J. Chem. Theory Comput. (PMC7317385). —— 各种原子电荷方法的比较综述，明确指出它们是"代理"而非"测量"。

成本分摊规则

• Moulin, H. (2002). "Axiomatic Cost and Surplus Sharing." Handbook of Social Choice and Welfare, Ch. 6. —— 成本分摊规则的公理化综述。
• "Coherent Cost-Sharing Rules." (Université de Montréal preprint). —— Aumann-Shapley 规则的相干性分析。

研究方法说明：本研究基于 8 轮 Firecrawl web 搜索 + 5 轮 arXiv 预印本搜索（firecrawl_research_search_papers），覆盖合作博弈论、生产函数分配理论、成本分摊规则、原子电荷划分、协同归因五个方向。关键发现包括：Ostroy-Song（2025）的 Euler 间隙概念（支撑规则 B）、arxiv:2201.09182 的边际主义-平均主义折衷（对应案例三）、Sundararajan-Najmi 的 Shapley-Taylor 交互指数（对应案例四的交叉项处理）。缝隙 1（原子电荷划分与合作博弈论的跨学科对应）经 5 轮 arXiv 检索确认为真实空白，规则 A 为本文原创提议。