[논문 리뷰] Envy-free divisions of a partially burnt cake.

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

Advanced Topology and Set Theory참고 문헌 13인용 수 13

한 줄 요약

이 논문은 n이 소수이거나 n = 4일 경우, 어떤 플레이어가 빈 조각을 선호하지 않는다고 해도, 케이크를 n개의 연결된 조각으로 분할하는 완전한 비선호 분할이 존재함을 증명한다. 저자들은 스토름퀴스트 정리의 원래 가정인 '어느 플레이어도 빈 조각을 선호하지 않는다'를 초월하여 일반화된, 대칭 경계 레이블링을 갖는 새로운 위상수학적 보조정리를 수립한다.

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.

연구 동기 및 목표

• 비선호 조각을 선호하지 않는다는 조건이 없어진 경우에도 고전적인 완전한 비선호 케이크 분할 정리를 확장하고자 한다.
• 어느 플레이어가 빈 배분을 비선호하지 않는다고 할 때, 완전한 비선호 분할이 여전히 가능할지 조사하고자 한다.
• n = 4 및 모든 소수 n에 대해, 완화된 선호 조건 하에서도 연결된 완전한 비선호 분할이 존재함을 증명하고자 한다.
• 이 적용에 적합한, 대칭 경계 레이블링을 갖는 새로운 위상수학적 보조정리를 개발하고자 한다.

제안 방법

• 단체의 경계에 대칭 레이블링을 允가하는 방식으로 스퍼너의 보조정리를 일반화하는, 위상수학에서 새로운 조합론적 보조정리를 도입한다.
• 특히 소수 n 또는 n=4인 경우에 대해, 대칭적인 면들 사이의 레이블이 군 작용에 의해 관련지어지는, 단체의 면들에 대한 레이블링을 정의한다.
• 이 대칭 레이블링 보조정리를 사용하여, 완전히 레이블링된 단체의 존재를 보장하는 고정점 추론을 구성한다. 이는 비선호 분할에 대응한다.
• 이 보조정리를 케이크 분할의 단체에 적용하여, 플레이어의 선호도를 레이블링으로 매핑함으로써 연결된 비선호 배분을 보장한다.
• 위상수학적 불변성과 대칭성을 활용하여, '어느 플레이어도 빈 조각을 선호하지 않는다'는 조건이 필요 없도록 한다.
• 소수 n 또는 n=4일 경우, 어떤 플레이어가 빈 조각을 비선호하더라도 연결된 비선호 분할이 존재함을 증명한다.

실험 결과

연구 질문

• RQ1 고전적 조건이 위반될 경우, 즉 어떤 플레이어가 빈 조각을 비선호하지 않는 경우에도, 연결된 조각들로 나누어진 완전한 비선호 케이크 분할이 가능할 수 있는가?
• RQ2 비선호 조각을 선호하지 않는다는 가정을 제거했을 때, n = 4 또는 소수 n에 대해 완전한 비선호 분할의 존재성이 유지되는가?
• RQ3 완화된 선호 조건 하에서도 비선호성을 보장하기 위해, 표준 스퍼너 유형의 조건을 대체할 수 있는 위상적 구조나 레이블링 조건은 무엇인가?
• RQ4 비선호 플레이어가 존재하는 완전한 비선호 케이크 분할에 적용 가능한, 스퍼너의 보조정리의 대칭적 일반화가 존재하는가?
• RQ5 이 새로운 위상수학적 프레임워크를 사용하여, 세갈-할레비가 추측한 바와 같이, 모든 n에 대해 결과를 확장할 수 있는가?

주요 결과

• 소수 n에 대해, 어떤 플레이어가 빈 조각을 비선호하더라도, 연결된 완전한 비선호 케이크 분할이 존재한다.
• 이 결과는 이전에 알려진 n ≤ 3의 경우를 초월하여 n = 4에도 적용된다.
• 대칭 경계 레이블링을 갖는 새로운 위상수학적 보조정리는 스퍼너의 보조정리를 일반화하며, 이는 완화된 조건 하에서도 증명을 가능하게 한다.
• 단체의 경계에 적용된 대칭 레이블링 조건은, '어느 플레이어도 빈 조각을 선호하지 않는다'는 조건이 필요 없도록 한다.
• 대칭 제약 조건 하에서 완전히 레이블링된 단체의 존재가 증명되며, 이는 비선호 배분에 대응한다.
• 이 방법은 고전적 스토름퀴스트 정리의 범위를 초월한 완전한 비선호 분할 결과를 정립하는 위상수학적 기반을 제공한다.