📈 economics

Shapley-Scarf Markets with Objective Indifferences

本文表明，尽管顶级交易循环（TTC）机制在面对任意偏好不确定性时，通常无法保证帕累托效率、群体策略性以及核心选择，但当这些不确定性是“客观的”（即所有代理人达成一致）时，该机制能够成功保留所有这些特性，而作者证明了这一条件是实现此类保证的最一般设定。

原作者： Will Sandholtz, Andrew Tai

发布于 2026-02-03

📖 1 分钟阅读☕ 轻松阅读

CC BY 4.0

原作者： Will Sandholtz, Andrew Tai

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

想象一个你和邻居交换房子的世界。每个人都拥有一套房子，但大家都想通过交易换到自己最喜欢的。在一个理想的世界里，每个人都有一个清晰、严格的清单：“我喜欢 A 房，我讨厌 B 房。”在这个世界里，有一个著名的、公平的算法叫做顶层交易循环（Top Trading Cycles, TTC），它能保证一个完美的结局：没有人能在不损害他人利益的情况下变得更好，也没有任何一群人可以通过私下内部交易来获得更好的交易结果。

但在现实生活中，情况并非如此简单。有时，两套房子是“孪生兄弟”。也许它们的大小、平面布局完全一样，甚至在同一栋建筑里。你并不在意得到哪一套，你对它们是无差异的（indifferent）。

这篇论文提出了一个大问题：当人们对完全相同的房子存在“无差异”时，我们的完美算法会发生什么变化？

问题所在：“平局决胜”陷阱

当人们存在无差异时，算法就会陷入僵局。为了解决这个问题，人们通常会发明一种“平局决胜机制（tie-breaker）”。想象一下，裁判说：“好吧，既然你在 A 房和 B 房之间没区别，那我就因为 A 房的编号更高，就为你选 A 房吧。”

作者指出，如果你在一个“每个人对什么是相同的有着各自独特感受”的通用世界里使用这种“固定平局决胜机制”，系统就会崩溃。

类比： 想象一群朋友在交换电子游戏。爱丽丝对两份完全一样的游戏拷贝是无差异的。然而，鲍勃却认为其中一份“更好”，因为它的包装盒上有一道划痕。如果裁判强行执行一个忽略了鲍勃特定看法的平局决胜规则，他们最终得到的交易结果可能会让所有人都不如之前能达到的状态。这个系统会变得既不公平也不高效。

解决方案：“客观无差异”

作者提出了一个更特殊、更简单的世界，称为**“客观无差异”（Objective Indifferences）**。

在这个世界里，“无差异”不是一种个人的主观感受，而是一个所有人达成共识的客观事实。

类比： 想想自动售货机。如果你投入一美元，你会得到一罐苏打水。如果两罐可口可乐是完全一样的，所有人都会同意它们确实一模一样。没有人会觉得其中一罐比另一罐“更好”。这种“无差异”是内置于物体本身的，而不是存在于人的心中。

论文声称，如果我们把世界限制在这种类型的协议下（即每个人都对什么是相同的达成一致），这个“固定平局决胜”算法就能再次完美运行！

它依然保持帕累托效率（Pareto Efficient）（没有浪费机会）。
它依然保持群体策略证明性（Group Strategy-Proof）（没有任何一群朋友可以通过撒谎和欺骗系统来获得更好的交易）。
它依然保持核心选择性（Core-Selecting）（没有任何一群人可以脱离集体自行交易以获得更好的结果）。

重大发现：“金发姑娘区”（适中区间）

这篇论文最令人惊讶的部分在于，他们证明了这种“客观无差异”的世界是唯一能让这一切奏效的地方。

如果你把规则定得太严苛（每个人都必须有严格的偏好，不允许有平局），算法虽然有效，但不符合现实生活中存在相同物品的情况。
如果你把规则定得太宽松（人们可以对什么是相同的持有各自主观的想法），算法就会失效并变得不公平。
“客观无差异”的世界就是那个“金发姑娘区”（意指不多不少、恰到好处的区间）。它是算法仍能完美运作的最大可能的规则集。

作者认为，导致系统崩溃的并不是“无差异”的存在，而是人们对于“什么是相同的”存在分歧。如果每个人都对什么是“孪生兄弟”达成共识，系统就是安全的。如果人们对什么是“孪生兄弟”持有各自私下的意见，系统就会失效。

现实世界的例子：学校选择

论文以学区为例进行了说明。

假设一所学校有 20 个“粤语沉浸式项目”的学位。
如果所有家庭都同意这 20 个学位中的任何一个都是完全相同的（客观无差异），那么算法运行得会非常好。
但如果有些家庭认为“1 号座位更好，因为它靠近窗户”，而另一些人认为“1 号座位更差，因为它靠近走廊”，且他们每个人都有不同的看法，那么算法可能会无法找到最优的结果。

底线结论

这篇论文告诉政策制定者：“如果你正在设计一个交换房屋、宿舍或学校座位的系统，并且你可以确保每个人都对哪些物品是相同的达成共识，那么这个简单、著名的‘顶层交易循环’算法是安全、公平且高效的。但如果人们对什么是相同的持有各自私有的、冲突的想法，那么你需要非常小心，因为这个简单的算法可能会不再奏效。”

技术摘要：具有客观无差异性的 Shapley-Scarf 市场

问题陈述
本文研究了在代理人最初各拥有一件物品（房屋）的设定下，如何将不可分对象（房屋）分配给代理人的问题，这被称为 Shapley-Scarf 市场。在经典模型（Shapley and Scarf, 1974）中，代理人拥有严格的偏好，Gale 的顶级交易循环（Top Trading Cycles, TTC）算法能够成功识别出位于核心（core）中的分配方案，且该方案是唯一的、帕累托有效的（Pareto efficient）且具有策略稳定性（strategy-proof）。

然而，在许多实际应用场景中（例如宿舍分配、学校选择），代理人天生会对同类型的对象（例如相同的户型）感到无差异。当引入一般的无差异性时，使用固定打破平局规则的标准 TTC 算法（TTC $_\succ$ ）无法维持其优良属性。具体而言，在一般无差异性的情况下，TTC $_\succ$ 既不是帕累托有效的，也不具备群体策略稳定性（group strategy-proof），甚至在核心非空的情况下也可能无法选出核心中的分配方案。本文研究是否存在一个结构化的偏好域，使得 TTC $_\succ$ 能够在不诉诸更复杂机制的情况下恢复这些属性。

方法论与模型
作者引入了一个特定的偏好域，称为客观无差异性（Objective Indifferences）。在该模型中：

房屋集合 $H$ 被划分为若干块（类型） $\mathcal{H} = \{H_1, \dots, H_K\}$ 。
代理人对于同一块内的任何两件房屋都是无差异的（若 $\eta(h) = \eta(h')$ ，则 $h I_i h'$ ），但对不同块之间的房屋具有严格偏好。
至关重要的是，划分 $\mathcal{H}$ 对所有代理人都是共同的；即无差异性是“客观的”而非主观的。

本研究分析了**带有固定打破平局规则的 TTC（TTC $_\succ$ ）**在该领域上的表现。该机制通过使用外生的打破平局剖面 $\succ = (\succ_1, \dots, \succ_n)$ 来解决无差异问题，其中 $\succ_i$ 是关于代理人的严格线性序。这通过将弱偏好转化为严格偏好，使得标准的 TTC 算法得以进行。

作者根据三个公理对 TTC $_\succ$ 进行了评估：

帕累托效率 (Pareto Efficiency, PE)： 不存在其他分配方案能在不使任何人变差的前提下使某人变得更好。
群体策略稳定性 (Group Strategy-Proofness, GSP)： 没有联盟可以通过错误报告偏好来使所有成员至少变好（弱优于原状态）且至少有一名成员变得更好（严格优于原状态）。
核心选择性 (Core-Selecting, CS)： 如果核心非空，该机制所选的分配方案位于核心内。

本文采用**极大性（maximality）方法来刻画这些领域。如果一个机制在某个领域满足某种属性，但在任何严格更大的领域上都不满足，则称该领域是该属性的“极大领域”。针对 GSP，作者引入了对称极大性（symmetric-maximality）**的概念，即限制讨论那些：如果代理人可以严格偏好 $h$ 优于 $h'$ ，则反向偏好也是可能的领域（这是机制设计中的标准假设，旨在避免对偏好方向进行任意限制）。

主要结果
本文确立了三个主要定理，用以刻画 TTC $_\succ$ 的界限：

属性的恢复： 在客观无差异性领域下，TTC $_\succ$ 满足帕累托效率、群体策略稳定性以及核心选择性。
- 作者证明，如果在客观无差异性下核心非空，则核心是“本质上单值的”，这意味着所有核心分配方案都会将代理人分配到相同的无差异类（房屋类型）中。
- 即使核心为空，TTC $_\succ$ 总是能选出一个位于*弱核心（weak core）*中的分配方案。
极大性的刻画（PE 和 CS）：
- 定理 1： 一个领域是 TTC $_\succ$ 具有帕累托效率（或核心选择性）的极大领域，当且仅当它是一个客观无差异性领域。
- 这意味着，任何超出客观无差异性的扩张（允许主观无差异性，即代理人对哪些对象等价持有不同看法）都不可避免地会导致 TTC $_\succ$ 失去帕累托效率和核心选择性。
极大性的刻画（GSP）：
- 定理 2： 一个领域是 TTC $_\succ$ 具有群体策略稳定性的对称极大领域，当且仅当它是一个客观无差异性领域。
- 虽然存在比客观无差异性更大的非对称领域（例如某些严格偏好是不可能的领域），其中 TTC $_\succ$ 仍具有 GSP，但作者认为对称性限制是自然的，且对于市场设计而言并不苛刻。

意义与主张
本文声称为直观的 TTC $_\succ$ 机制的应用范围提供了一个精确的边界。

TTC 的合理化： 研究结果表明，在无差异性是结构性且共享的（例如相同的住房单元）市场中，TTC $_\succ$ 仍然是一个稳健的解决方案，保留了效率、稳定性及激励相容性。
失效点的识别： 本文指出，TTC $_\succ$ 在一般设置下的失效并非由于无差异性本身，而是由于主观无差异性（即代理人对于哪些对象等价持有不同看法）。
领域刻画： 作者证明了客观无差异性不仅是 TTC $_\succ$ 保留其三大核心属性的充分条件，也是在（针对 GSP 的）对称性条件下最广泛的设置。这使本研究区别于那些要么假设严格偏好，要么研究会导致 TTC 失效的一般无差异性的文献。

文章最后指出，虽然它并未为所有市场规定特定的机制，但它明确了在何时使用广泛应用的 TTC $_\succ$ 在理论上是合理的。它建议政策制定者应评估其特定市场（例如带有语言轨道的学校选择）中的无差异性是客观的（所有人共有）还是主观的（因家庭而异），以确定 TTC $_\succ$ 是否适用。作者将 TTC $_\succ$ 的公理化刻画以及对受限无差异性的进一步探索留作未来的研究方向。