[论文解读] Envy-free cake division without assuming the players prefer nonempty pieces

Frédéric Meunier, Shira Zerbib|arXiv (Cornell University)|Apr 2, 2018

Game Theory and Voting Systems参考文献 20被引用 20

一句话总结

本文证明了即使在玩家可能偏好空Piece的情况下，当玩家人数为素数或四时，仍可实现无 envy 的蛋糕分割。作者基于受 Sperner 引理启发的新拓扑引理，在偏好闭合与完全分割的假设下建立了存在性，扩展了经典结果，后者需依赖“饥饿玩家”条件。

ABSTRACT

Consider $n$ players having preferences over the connected pieces of a cake, identified with the interval $[0,1]$. A classical theorem, found independently by Stromquist and by Woodall in 1980, ensures that, under mild conditions, it is possible to divide the cake into $n$ connected pieces and assign these pieces to the players in an envy-free manner, i.e, such that no player strictly prefers a piece that has not been assigned to her. One of these conditions, considered as crucial, is that no player is happy with an empty piece. We prove that, even if this condition is not satisfied, it is still possible to get such a division when $n$ is a prime number or is equal to $4$. When $n$ is at most $3$, this has been previously proved by Erel Segal-Halevi, who conjectured that the result holds for any $n$. The main step in our proof is a new combinatorial lemma in topology, close to a conjecture by Segal-Halevi and which is reminiscent of the celebrated Sperner lemma: instead of restricting the labels that can appear on each face of the simplex, the lemma considers labelings that enjoy a certain symmetry on the boundary.

研究动机与目标

• 解决 Erel Segal-Halevi 提出的猜想：当任意 n 时，无需‘饥饿玩家’假设，无 envy 的蛋糕分割是可能的。
• 将经典无 envy 蛋糕分割定理扩展至标准‘饥饿玩家’条件之外，后者假设玩家始终偏好非空Piece而非空Piece。
• 在更弱的假设下建立无 envy 分割的存在性，特别是当玩家可能接受空Piece时。
• 开发一种新的拓扑工具——推广 Sperner 引理——可处理单纯形边界在群作用下的对称标记。

提出的方法

• 引入一种新的拓扑引理，通过在循环群作用下对边界标记施加对称性条件，推广 Sperner 引理。
• 构建一个 (n−1)-单纯形的三角剖分，表示所有可能的蛋糕分割为 n 个Piece。
• 在三角剖分的顶点上定义一个标记函数，将每个玩家映射到其偏好的Piece，包括空Piece。
• 利用偏好闭合假设，确保在分割收敛时偏好集合的极限一致性。
• 通过拓扑引理应用不动点论证，找到一个完全标记的单纯形，从而保证玩家与Piece之间的有效分配。
• 利用紧致性与序列收敛性，将离散标记解提升至单纯形中的连续分割点。

实验结果

研究问题

• RQ1 当玩家可能偏好空Piece时，无 envy 的蛋糕分割是否仍可存在，而无需假设他们始终偏好非空Piece？
• RQ2 当 n > 3 时，经典‘饥饿玩家’假设是否为无 envy 蛋糕分割所必需？
• RQ3 无 envy 分割的存在性是否对所有 n 成立，还是仅在特定条件（如 n 为素数或 n = 4）下成立？
• RQ4 能否使用具有群对称性的单纯形边界拓扑引理来证明无 envy 分割的存在性？
• RQ5 当偏好包含空Piece时，无 envy 蛋糕分割背后的拓扑或组合结构是什么？

主要发现

• 当玩家人数为素数或四时，即使玩家可能偏好空Piece，仍存在无 envy 的蛋糕分割。
• 该结果在偏好闭合假设与完全分割假设下成立，后者确保当恰好存在 n 个非空Piece时，无玩家偏好空Piece。
• 证明引入了一种新的拓扑引理，通过在单纯形边界引入循环群对称性，推广了 Sperner 引理。
• 三角剖分中完全标记单纯形的存在性意味着存在一种有效的无 envy 分配，使每位玩家获得其偏好的Piece。
• 该构造在收敛下具有鲁棒性，确保分割序列的极限点保持偏好关系。
• 该结果确认了 Segal-Halevi 对 n ≤ 3 的猜想，并将其扩展至 n = 4 和素数 n，但对合数 n > 4 的情况仍为开放问题。