[論文レビュー] 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

ひとこと要約

この論文は、プレイヤーが空のピeceを好む場合でも、プレイヤー数が素数または4である限り、アンビシャスなしケーキ分割が可能であることを証明している。Spernerの補題にインspiredされた新規な位相的補題を用いて、閉じた好みと完全分割の仮定の下で、古典的な結果が『お腹が空いているプレイヤー』条件を要しない範囲に拡張されている。

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に対して『お腹が空いているプレイヤー』仮定を仮定せずともアンビシャスなしケーキ分割が可能であることを解決すること。
• プレイヤーが常に非空のピeceを空のピeceよりも好むと仮定する『お腹が空いているプレイヤー』条件を標準的なものとして超えて、古典的なアンビシャスなしケーキカット定理を拡張すること。
• 特にプレイヤーが空のピeceを受け入れる可能性がある状況においても、アンビシャスなし分割の存在を確立すること。
• 単体の境界上で群作用に下位対称性を持つラベリングを扱えるように一般化されたSpernerの補題を一般化した、新しい位相的道具を開発すること。

提案手法

• 巡回群作用の下で境界ラベリングに対称性を課すことで、Spernerの補題を一般化する新しい位相的補題を導入する。
• すべての可能なケーキ分割をn個のピeceに分割する(n−1)単体の三角形分割を構築する。
• 各プレイヤーが好むピece（空のピeceを含む）をマッピングする頂点へのラベリング関数を定義する。
• 好みの集合の収束における一貫性を保証するために、閉じた好みの仮定を用いる。
• 位相的補題を用いた不動点論的議論により、完全ラベル化された単体を特定し、プレイヤーへのピeceの有効な割り当てを保証する。
• コンパクト性と逐次収束を用いて、離散的なラベリング解を単体内の連続的な分割点へと拡張する。

実験結果

リサーチクエスチョン

• RQ1 プレイヤーが空のピeceを好む可能性がある場合でも、『お腹が空いているプレイヤー』仮定をしないでアンビシャスなしケーキ分割が存在するか？
• RQ2 n > 3のとき、アンビシャスなしケーキ分割において『お腹が空いているプレイヤー』仮定は必須か？
• RQ3 アンビシャスなし分割の存在はすべてのnに対して成り立つか、それともnが素数またはn = 4のような特定の条件下でのみ成り立つか？
• RQ4 単体の境界上で群対称性を持つ位相的補題を用いて、アンビシャスなし分割の存在を証明できるか？
• RQ5 好みに空のピeceが含まれる場合、アンビシャスなしケーキ分割の背後にある位相的または組合せ的構造は何か？

主な発見

• プレイヤー数が素数または4である限り、プレイヤーが空のピeceを好む可能性がある状況でも、アンビシャスなしケーキ分割が存在する。
• この結果は、閉じた好みの仮定と完全分割の仮定の下で成り立つ。完全分割の仮定は、正確にn個の非空ピeceが存在する場合、どのプレイヤーも空のピeceを好まないと保証する。
• この証明は、単体の境界上で巡回群の対称性を組み込んだSpernerの補題を一般化した新しい位相的補題を導入している。
• 三角形分割における完全ラベル化された単体の存在は、各プレイヤーが好むピeceが割り当てられる有効なアンビシャスなし割り当てが存在することを示している。
• この構成は収束に対して頑健であり、分割列の極限点が好み関係を保存することが保証されている。
• この結果は、n ≤ 3のときSegal-Haleviの予想を確認し、n = 4および素数nにまで拡張しているが、合成数n > 4の場合は未解決のままである。