[논문 리뷰] Envy-free cake division without assuming the players prefer nonempty pieces

Frédéric Meunier, Shira Zerbib|arXiv (Cornell University)|2018. 04. 02.

Game Theory and Voting Systems참고 문헌 20인용 수 20

한 줄 요약

이 논문은 놀이자가 빈 조각을 선호할 수 있는 경우에도, 놀이자 수가 소수이거나 4일 경우, 환경 없는 케이크 분할이 가능하다는 것을 증명한다. 스퍼너의 보조정리에 영감을 받은 새로운 위상학적 보조정리를 통해, 닫힌 선호도와 완전 분할 조건 하에서 존재성을 확립하며, 기존 결과에서 요구하던 '배고픈 놀이자' 조건을 필요로 하지 않는다.

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에 대해 '배고픈 놀이자' 조건 없이도 환경 없는 케이크 분할이 가능하다는 것.
• 기존의 '배고픈 놀이자' 조건(즉, 놀이자가 항상 비어 있지 않은 조각을 비어 있는 조각보다 선호한다는 가정)을 초월하여 고전적인 환경 없는 케이크 자르기 정리를 확장한다.
• 특히 놀이자가 빈 조각을 수용할 수 있는 상황에서도, 더 약한 조건 하에서 환경 없는 분할의 존재성을 확립한다.
• 단체 작용 하에서 단체의 경계에 대칭 레이블링을 처리할 수 있는 새로운 위상학적 도구(스퍼너의 보조정리를 일반화)를 개발한다.

제안 방법

• 순환군 작용 하에서 경계 레이블링에 대칭 조건을 도입함으로써 스퍼너의 보조정리를 일반화한 새로운 위상학적 보조정리를 도입한다.
• 모든 가능한 케이크 분할을 n개의 조각으로 나누는 (n−1)-단체의 삼등분을 구성한다.
• 삼등분의 각 정점에 대해, 각 놀이자가 선호하는 조각(비어 있는 조각 포함)을 매핑하는 레이블 함수를 정의한다.
• 닫힌 선호도 조건을 사용하여, 분할 수렴 시 선호 집합의 극한 일致성을 보장한다.
• 위상학적 보조정리를 통해 고정점 추론을 적용하여, 완전 레이블링이 된 단체를 찾고, 이는 놀이자에게 유효한 조각 배정을 보장한다.
• 컴actness와 순차 수렴을 활용하여 이산적 레이블링 해를 단체 내 연속적 분할 점으로 확장한다.

실험 결과

연구 질문

• RQ1 놀이자가 빈 조각을 선호할 수 있는 상황에서, 놀이자가 항상 비어 있지 않은 조각을 선호한다는 가정 없이도 환경 없는 케이크 분할이 존재할 수 있는가?
• RQ2 n > 3일 경우, 환경 없는 케이크 분할을 위해 고전적인 '배고픈 놀이자' 가정이 반드시 필요한가?
• RQ3 환영 없는 분할의 존재성은 모든 n에 대해 성립하는가, 아니면 n이 소수이거나 n = 4와 같은 특정 조건에서만 성립하는가?
• RQ4 단체의 경계에서 군 대칭성을 갖는 위상학적 보조정리를 사용하여 환경 없는 분할의 존재성을 증명할 수 있는가?
• RQ5 선호에 빈 조각이 포함될 경우, 환경 없는 케이크 분할의 배경이 되는 위상적 또는 조합적 구조는 무엇인가?

주요 결과

• 놀이자 수가 소수이거나 4일 경우, 놀이자가 빈 조각을 선호할 수 있는 상황에서도 환경 없는 케이크 분할이 존재한다.
• 이 결과는 닫힌 선호도 조건과 완전 분할 조건 하에서 성립하며, 정확히 n개의 비어 있지 않은 조각이 존재할 경우 어떤 놀이자도 빈 조각을 선호하지 않는다는 것을 보장한다.
• 증명 과정에서, 단체의 경계에 순환군 대칭성을 통합한 스퍼너의 보조정리를 일반화한 새로운 위상학적 보조정리를 도입한다.
• 삼등분에서 완전 레이블링이 된 단체의 존재는 각 놀이자가 선호하는 조각을 받는 유효한 환경 없는 배정을 암시한다.
• 수렴에 대해 구조가 강건하여, 분할 수열의 극한점이 선호 관계를 유지함을 보장한다.
• 이 결과는 Segal-Halevi의 추측을 n ≤ 3에 대해 확인하고, n = 4와 소수 n로 확장하지만, 복합수 n > 4의 경우는 여전히 열려 있다.