[論文レビュー] 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-free 分割が存在することを証明している。著者らは、対称的な境界ラベル付けを持つ新しい位相的補題を確立し、ストロムイツの定理を、誰も空の破片を好まないという元々の仮定を超えて一般化した。

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-free ケーキ分割定理を拡張すること。
• 一部の参加者が空の割り当てに対して無関心である場合でも、envy-free 分割が可能かどうかを調査すること。
• n = 4 およびすべての素数 n に対して、無関心な条件下でも envy-free な連結分割が存在することを証明すること。
• この応用に適した、対称的な境界ラベル付けを持つ新しい位相的補題を開発すること。

提案手法

• 単体の境界に対称的なラベル付けを許容することで、Sperner の補題を一般化する、位相的組合論的補題を導入すること。
• 特に素数 n または n=4 の場合に、対称な面にラベルを付与する方法を定義し、群作用によって関連づける。
• この対称ラベル付け補題を用いて、完全ラベル化された単体の存在を保証する不動点論的議論を構築すること。これは envy-free 分割に対応する。
• ケーキ分割の単体にこの補題を適用し、参加者の好みをラベル付けにマッピングすることで、連結な envy-free 割り当てを保証する。
• 位相的不変性と対称性を活用し、誰も空の破片を好まないという条件の必要性を回避する。
• 素数 n または n=4 の場合、一部の参加者が空の破片に対して無関心であっても、連結な envy-free 分割が存在することを証明する。

実験結果

リサーチクエスチョン

• RQ1 古典的な仮定が破られる場合、特に空の破片を好まない参加者が存在する場合、連結な破片への envy-free ケーキ分割が達成可能か？
• RQ2 空の破片を好まないという仮定を放棄した場合でも、n = 4 または素数 n に対して envy-free 分割の存在が保たれるか？
• RQ3 緩和された好みの仮定の下で envy-freeness を保証するためには、標準的な Sperner 型の条件に代わるどのような位相的構造やラベル付け条件が必要か？
• RQ4 envy-free ケーキカットに適用可能な、Sperner の補題の対称的一般化は存在するか？
• RQ5 Segal-Halevi が予想したように、この新しい位相的枠組みを用いて結果をすべての n に拡張可能か？

主な発見

• 素数 n に対して、一部の参加者が空の破片に対して無関心であっても、envy-free な連結ケーキ分割が存在する。
• この結果は、n = 4 に対しても成り立ち、従来の n ≤ 3 の場合を越えて拡張される。
• 対称的な境界ラベル付けを持つ新しい位相的補題が、Sperner の補題を一般化し、緩和された条件下での証明を可能にする。
• 単体の境界における対称ラベル付け条件が、誰も空の破片を好まないという仮定の必要性を置き換える。
• 対称的制約の下で完全ラベル化された単体の存在が証明され、これは envy-free 割り当てに対応する。
• この方法は、古典的な Stromquist の定理を超えて envy-free 分割の結果を拡張するための位相的基盤を提供する。