[논문 리뷰] Optimal Tiling of the Euclidean Space Using Permutation-Symmetric Bodies

Mark Braverman, Dor Minzer|arXiv (Cornell University)|2020. 11. 08.

Computational Geometry and Mesh Generation참고 문헌 30인용 수 1

한 줄 요약

이 논문은 대칭 토막 문제를 해결하기 위해, R^n를 테일링하는 대칭 몸체의 최소 표면적을 Θ(n/√log n)로 증명함으로써, 새로운 대칭 테일링 구성법을 통해 날카러진 경계를 확립한다. 이 결과는 2-검증자-1라운드 게임에서 대칭 병렬 반복과의 연결을 통해 도출되며, 특히 홀수 사이클 게임의 경우 대칭 반복이 지수적으로 감소하는 값을 갖는다고 보여주며, 일반적으로 실패하는 바에도 특수한 경우에 강력한 병렬 반복이 성립할 수 있음을 시사한다.

ABSTRACT

What is the least surface area of a symmetric body $B$ whose $\mathbb{Z}^n$ translations tile $\mathbb{R}^n$? Since any such body must have volume $1$, the isoperimetric inequality implies that its surface area must be at least $Ω(\sqrt{n})$. Remarkably, Kindler et al.\ showed that for general bodies $B$ this is tight, i.e.\ that there is a tiling body of $\mathbb{R}^n$ whose surface area is $O(\sqrt{n})$. In theoretical computer science, the tiling problem is intimately to the study of parallel repetition theorems (which are an important component in PCPs), and more specifically in the question of whether a "strong version" of the parallel repetition theorem holds. Raz showed, using the odd cycle game, that strong parallel repetition fails in general, and subsequently these ideas were used in order to construct non-trivial tilings of $\mathbb{R}^n$. In this paper, motivated by the study of a symmetric parallel repetition, we consider the symmetric variant of the tiling problem in $\mathbb{R}^n$. We show that any symmetric body that tiles $\mathbb{R}^n$ must have surface area at least $Ω(n/\sqrt{\log n})$, and that this bound is tight, i.e.\ that there is a symmetric tiling body of $\mathbb{R}^n$ with surface area $O(n/\sqrt{\log n})$. We also give matching bounds for the value of the symmetric parallel repetition of Raz's odd cycle game. Our result suggests that while strong parallel repetition fails in general, there may be important special cases where it still applies.

연구 동기 및 목표

• R^n를 테일링하는 대칭 몸체의 최소 표면적을 결정함으로써, 고전적 토막 문제의 대칭 변형을 해결하는 것.
• 특히 홀수 사이클 게임의 맥락에서, 2-검증자-1라운드 게임에서 대칭 전략에 대해 강력한 병렬 반복이 성립하는지 조사하는 것.
• R^n에서의 대칭 테일링과 2-검증자-1라운드 게임에서의 대칭 전략 간의 기하학적-조합적 연결 고리를 설정하는 것.
• 기하학적 함수 해석학과 이론적 컴퓨터 과학 분야에서 오랫동안 미해결된 문제를 해결하기 위해, 대칭 테일링 몸체의 표면적에 대한 날카러운 상한과 하한을 제공하는 것.

제안 방법

• 측도 집중이 제어된 대칭 볼록 몸체와 무작위 격자 이동을 기반으로 한 확률적 방법을 사용하여 대칭 테일링 몸체를 구성하는 것.
• 대칭 병렬 반복을 분석하기 위한 표준 예로 홀수 사이클 게임을 사용하며, 테일링 유도 격자 할당을 통해 전략을 모델링하는 것.
• 측도 집중 및 반집중 부등식을 적용하여, 큐브 내에서 서로 가까운 두 점이 같은 타일에 속할 확률을 근사함으로써 전략의 일관성을 확보하는 것.
• 이동된 타일 간의 겹침을 분석하고 대칭성을 이용해 순열 간의 일관성을 보장함으로써, 대칭 전략의 성공 확률이 1 − O(A/n) 이상임을 증명하는 것. 여기서 A는 표면적이다.
• 토막 문제와 대칭 병렬 반복의 값 사이에 이중성 관계를 설정하여, 최적의 테일링이 강력한 대칭 반복을 암시함을 보이는 것.
• 구성의 대칭성을 활용하여 좌표 순열에 대해 불변성을 확보함으로써, 대칭 병렬 반복 설정에서 필수적인 조건을 만족시키는 것.

실험 결과

연구 질문

• RQ1 단위 부피를 가져야 하는 대칭 몸체가 R^n를 테일링할 때, 최소 표면적은 얼마인가요?
• RQ2 특히 홀수 사이클 게임의 맥락에서, 2-검증자-1라운드 게임에서 대칭 전략에 대해 강력한 병렬 반복이 성립하는가요?
• RQ3 일반적인 테일링보다 대칭 테일링 몸체가 더 낮은 표면적을 달성할 수 있으며, 만약 그렇다면 얼마나 더 낮아질 수 있나요?
• RQ4 그래프의 고유값과 Max-Cut 게임에서의 대칭 병렬 반복 성능 간의 관계는 무엇인가요?
• RQ5 대칭 테일링은 PCP 구성 및 난이도 증명에서의 대칭 전략의 구조와 어떻게 관련되어 있나요?

주요 결과

• 모든 대칭 몸체가 R^n를 테일링할 때 최소 표면적은 Ω(n/√log n) 이상이며, 강력한 하한을 확립한다.
• R^n에 표면적이 O(n/√log n)인 대칭 테일링 몸체가 존재함을 보여, 이 경계가 날카로움을 증명한다.
• 홀수 사이클 게임의 대칭 병렬 반복은 값이 1 − Ω(1/√log n) 이하이며, 이는 테일링 경계와 정확히 일치한다.
• 대칭 전략의 성공 확률은 1 − O(A/n) 이상이며, 여기서 A는 표면적이다. 이는 낮은 표면적이 높은 일관성을 암시함을 보여준다.
• 대칭 반복 하에서 값이 지수적으로 감소함을 보여, 일반적으로 실패하는 바에도 대칭 설정에서는 강력한 병렬 반복이 성립할 수 있음을 시사한다.
• 대칭 테일링과 2-검증자-1라운드 게임에서의 대칭 병렬 반복 간에 날카로운 대응 관계를 확립하며, 기하학과 복잡도 이론을 연결한다.