[論文レビュー] Optimal Tiling of the Euclidean Space Using Permutation-Symmetric Bodies

Mark Braverman, Dor Minzer|arXiv (Cornell University)|Nov 8, 2020

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ラウンドゲームにおける対称的戦略との間の幾何学的・組合せ的関係を確立すること。
• 対称的タイル張り体の表面積について、タイトな上界と下界を提供し、幾何的関数解析および理論的計算機科学における長年の未解決問題を解決すること。

提案手法

• 測度集中の制御された対称的凸体とランダムな格子シフトに基づく確率的技法を用いて、対称的タイル張り体を構成する。
• 対称的並列反復を分析するための標準例として奇数サイクルゲームを用い、戦略をタイル誘導型格子割り当てでモデル化する。
• 測度集中および反集中不等式を適用して、立方体内の近接する2点が同じタイルに属する確率を抑え、戦略の一貫性を保証する。
• 重ね合わせるタイル間の重なりを分析し、対称性を用いて置換に対して一貫性を保証することで、対称戦略の成功確率が 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) 以上であり、表面積が小さいほど一貫性が高くなることが示された。
• 対称的反復において値が指数的減衰を示し、一般には失敗するが、対称的設定では強い並列反復が成立する可能性を示唆している。
• R^n における対称的タイル張りと2プローバ1ラウンドゲームにおける対称的並列反復との間にタイトな対応関係が確立され、幾何学と計算複雑性理論が結びつけられた。