[論文レビュー] A new proof of the density Hales-Jewett theorem

D. H. J. Polymath|arXiv (Cornell University)|Oct 20, 2009

Limits and Structures in Graph Theory参考文献 17被引用数 12

ひとこと要約

この論文は、密度ヘイルズ＝ジューコフの定理の最初の初等的証明を提示し、定理の最初の定量的境界を確立している。$\{1,2,3\}^n$ の部分集合が密度 $\delta$ を持つ場合、$n$ が $O(1/\delta^2)$ の高さの2のべきの塔である限り、その中に組合せ的直線が存在することが示されている。これは、FurstenbergとKatznelsonによるエラゴディック理論に基づく証明に比べ、はるかに単純かつ構成的である。

ABSTRACT

The Hales-Jewett theorem asserts that for every r and every k there exists n such that every r-colouring of the n-dimensional grid {1,...,k}^n contains a combinatorial line. This result is a generalization of van der Waerden's theorem, and it is one of the fundamental results of Ramsey theory. The theorem of van der Waerden has a famous density version, conjectured by Erdos and Turan in 1936, proved by Szemeredi in 1975, and given a different proof by Furstenberg in 1977. The Hales-Jewett theorem has a density version as well, proved by Furstenberg and Katznelson in 1991 by means of a significant extension of the ergodic techniques that had been pioneered by Furstenberg in his proof of Szemeredi's theorem. In this paper, we give the first elementary proof of the theorem of Furstenberg and Katznelson, and the first to provide a quantitative bound on how large n needs to be. In particular, we show that a subset of {1,2,3}^n of density delta contains a combinatorial line if n is at least a tower of 2's of height O(1/delta^3). Our proof is reasonably simple: indeed, it gives what is arguably the simplest known proof of Szemeredi's theorem.

研究の動機と目的

• エラゴディック理論に依存しない、密度ヘイルズ＝ジューコフの定理の最初の初等的証明を提供すること。
• 任意の $[k]^n$ の部分集合が密度 $\delta$ を持つ場合に、組合せ的直線を含む最小の $n$ の定量的上界を確立すること。
• $k=3$ の場合の境界が、高さ $O(1/\delta^2)$ の2のべきの塔であることを示し、従来の定性的な結果に比べて著しく改善されること。
• Furstenberg-Katznelsonのエラゴディック的議論よりも、概念的に単純で透明性に富んだ証明を提供することにより、シュレーディンガーの定理などの関連結果の理解を容易にすること。

提案手法

• エラゴディック手法を避けるために、等スライス測度に基づく密度増加の議論を用いる。
• 次第に次元が増加する部分空間への再帰的反復プロセスを適用し、$[k]^n$ における組合せ的直線の構造に依存する。
• 主な要素として、多次元密度ヘイルズ＝ジューコフの定理（MDHJ）と確率的技法を用いて密度増加を制御する。
• ワイルカード表記を介して、$[k]^n$ における組合せ的直線と $[k+1]^n$ における点との関係を活用する。
• 関数 $G_{k-1}(x) = \exp(\text{DHJ}(k-1, 1/x))$ を定義し、必要な部分空間次元の増加を追跡するために繰り返し適用する。
• アッカーマン階層を用いた反復的境界を用い、必要な $n$ が2のべきの塔として、高さが $\delta^2$ に比例することを示す。$k=3$ の場合、高さは $O(1/\delta^2)$ である。

実験結果

リサーチクエスチョン

• RQ1 任意の $\{1,2,3\}^n$ の部分集合が密度 $\delta$ を持つ場合、最小の $n$ はどれほどか？ その部分集合に組合せ的直線が存在する。
• RQ2 エラゴディック理論に依存せずに、有限的かつ組合せ論的技法のみを用いて、密度ヘイルズ＝ジューコフの定理を証明できるか？
• RQ3 $[k]^n$ の密度付き部分集合に組合せ的直線が存在するための $n$ の $\delta$ への定量的依存関係は何か？
• RQ4 $k=3$ の場合、必要な次元 $n$ は $\delta$ に対してどのようにスケーリングされ、明示的に境界づけられるか？

主な発見

• $k=3$ の場合、論文は、任意の密度 $\delta$ の部分集合に組合せ的直線が存在するためには、$n$ が少なくとも高さ $O(1/\delta^2)$ の2のべきの塔である必要があると示している。
• $\text{DHJ}(3,\delta)$ の境界は、高さ $20000\delta^{-2}$ の2のべきの塔で抑えられ、指数部の定数因子を除いてタイトであることが示された。
• この証明は、密度ヘイルズ＝ジューコフの定理に対する最初に知られている定量的境界を提供し、ラマジー理論における長年の未解決問題を解決した。
• この手法により、従来のアプローチよりもはるかに単純で透明性に富んだシュレーディンガーの定理の証明が得られ、その構造が初等的かつ反復的であることが特徴である。
• 反復プロセスは、密度を $\delta$ から $2\delta$ に高めるために、最大で $3072\delta^{-2}$ 回の反復を要し、最終的な次元は高さ $O(\delta^{-2})$ のタワーで抑えられる。
• 解析により、関数 $\text{RDHJ}_k(s)$（$\text{DHJ}(k, 1/s)$ として定義される）は、アッカーマン階層の $k$ 階層にほぼ等しく成長することが示され、必要な $n$ の増加が著しく速いことが判明した。