[论文解读] Envy-free divisions of a partially burnt cake.

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

Advanced Topology and Set Theory参考文献 13被引用 13

一句话总结

本文证明了即使在某些玩家对空块不敏感的情况下，当 n 为素数或 n = 4 时，仍存在将蛋糕划分为 n 个连通部分的无 envy 分配。作者提出了一种具有对称边界标记的新拓扑引理，将斯特罗姆奎斯特定理推广至其原始假设（即无玩家偏好空块）之外的情形。

ABSTRACT

Consider $n$ players having preferences over the connected pieces of a cake, identified with the interval $[0,1]$. A classical theorem due to Stromquist ensures under mild conditions that 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, 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.

研究动机与目标

• 通过放宽‘无玩家偏好空块’这一假设，扩展经典的无 envy 蛋糕划分定理。
• 研究当某些玩家对空分配不敏感时，无 envy 划分是否仍然可能。
• 证明当 n = 4 或对所有素数 n 时，即使在偏好条件放宽的情况下，仍存在无 envy 的连通划分。
• 开发一种具有对称边界标记的新型拓扑引理，将其推广至 Sperner 引理在此类应用中的情形。

提出的方法

• 引入一种新的拓扑组合引理，通过允许单形边界上的对称标记，推广 Sperner 引理。
• 在单形的面上定义标记，使得对称面上的标记通过群作用相关联，特别适用于素数 n 或 n=4 的情形。
• 利用该对称标记引理构造不动点论证，确保存在一个完全标记的单形，其对应于无 envy 划分。
• 将该引理应用于蛋糕划分的单形，将玩家偏好映射为标记，以保证连通的无 envy 分配。
• 利用拓扑不变性与对称性，避免对‘无玩家偏好空块’这一条件的依赖。
• 证明当 n 为素数或 n=4 时，即使某些玩家对空块不敏感，仍存在连通的无 envy 划分。

实验结果

研究问题

• RQ1 当某些玩家对空块不敏感时，是否仍可实现将蛋糕划分为连通部分的无 envy 划分，特别是当经典条件被违反时？
• RQ2 当‘无空块偏好’假设被移除时，n = 4 或素数 n 时无 envy 划分的存在性是否依然成立？
• RQ3 何种拓扑结构或标记条件可替代标准的 Sperner 类条件，以在偏好条件放宽时确保无 envy？
• RQ4 是否存在一种对称的 Sperner 引理推广，适用于对空块不敏感的玩家的无 envy 蛋糕切割？
• RQ5 该结果能否如塞加尔-哈莱维所猜想的那样，通过此新拓扑框架推广至所有 n？

主要发现

• 对于所有素数 n，即使某些玩家对空块不敏感，仍存在无 envy 的连通蛋糕划分。
• 该结果也适用于 n = 4，扩展了此前已知的 n ≤ 3 的情况。
• 一种具有对称边界标记的新拓扑引理推广了 Sperner 引理，并使得在放宽条件下证明成为可能。
• 单形边界上的对称标记条件取代了‘无玩家偏好空块’这一假设的需要。
• 该证明在对称约束下建立了完全标记单形的存在性，其对应于无 envy 分配。
• 该方法为将无 envy 划分结果扩展至经典 Stromquist 定理之外提供了拓扑基础。