[論文レビュー] Hypergraph regularity and the multidimensional Szemerédi theorem

W. T. Gowers|ArXiv.org|Oct 16, 2007

Limits and Structures in Graph Theory参考文献 8被引用数 71

ひとこと要約

この論文は、シュレーディンガーのグラフ正則性および数え上げの補題に類似したハイパーグラフ正則性および数え上げの補題を確立し、多次元シュレーディンガーの定理の最初の組み合わせ的証明を明示的な境界とともに与える。この研究は、密度の高い多次元グリッドに任意の有限配置のアフィンコピーが存在することを示すために、新規のハイパーグラフ正則性フレームワークを用いる。これは、極値組合せ論における長年の問題を解決するものである。

ABSTRACT

We prove analogues for hypergraphs of Szemerédi's regularity lemma and the associated counting lemma for graphs. As an application, we give the first combinatorial proof of the multidimensional Szemerédi theorem of Furstenberg and Katznelson, and the first proof that provides an explicit bound. Similar results with the same consequences have been obtained independently by Nagle, Rödl, Schacht and Skokan.

研究の動機と目的

• グラフからハイパーグラフへ、シュレーディンガーの正則性補題および数え上げ補題を拡張すること。
• これまでのエルゴディック理論に依存するもの以外に、多次元シュレーディンガーの定理の組み合わせ的証明を提供すること。
• ハイパーグラフ手法を用いて、多次元シュレーディンガーの定理に対する明示的な定量的境界を確立すること。
• 密度の高いグリッドにアフィン配置が存在することを、ハイパーグラフ正則性と数え上げの補題を用いて証明することで、長年の予想を解決すること。

提案手法

• 頂点集合を少数の部分に分割し、ほとんどのk個の部分の組が正則になるようにするハイパーグラフ正則性補題を導入する。これはグラフの場合の一般化である。
• 部分集合におけるエッジ密度の均一性条件を定義し、擬似確率的挙動を保証することで、ハイパーグラフ正則性を定義する。
• 固定されたハイパーグラフのラベル付きコピーの数を、正則なハイパーグラフ構造において推定するハイパーグラフ数え上げ補題を証明する。
• 正則性補題と数え上げ補題を用いて、[N]^rの密度の高い部分集合に含まれるアフィン配置の数を分析する。この際、それらをハイパーグラフとしてモデル化する。
• グリッド内の配置を符号化するk一様ハイパーグラフF_kの特定の構成にハイパーグラフフレームワークを適用する。
• 背理法を用いる：このような配置が少ないものと仮定し、すべての危形を破壊するためのエッジ削除の上限を導出し、元の集合の密度に矛盾することを示す。

実験結果

リサーチクエスチョン

• RQ1 シュレーディンガーの正則性補題および数え上げ補題を、高次元の組合せ的構造を扱うためにハイパーグラフへ拡張することは可能か？
• RQ2 エルゴディック理論を用いずに、多次元シュレーディンガーの定理の純粋な組み合わせ的証明は存在するか？
• RQ3 ハイパーグラフ手法を用いて、多次元シュレーディンガーの定理に対してどのような明示的な定量的境界を導出できるか？
• RQ4 ハイパーグラフ正則性および数え上げの補題を用いて、[N]^rの密度の高い部分集合にアフィン配置が存在することを確立できるか？

主な発見

• 本論文は、k一様ハイパーグラフに対してハイパーグラフ正則性補題を確立し、任意のハイパーグラフが、ほとんどのk個の部分の組が正則になる少数の部分に分割可能であることを保証する。
• 対応するハイパーグラフ数え上げ補題が証明され、正則なハイパーグラフにおいて、固定されたハイパーグラフのラベル付きコピーの数が、エッジ密度によって漸近的に決定されることを示している。
• 任意の有限配置X ⊂ ℤ^rに対して、[N]^rのδ密度部分集合がXのアフィンコピーを含むことを、組み合わせ的に証明した。
• 明示的な境界が導出された：任意のδ > 0および有限なX ⊂ ℤ^rに対して、Nが存在し、[N]^rのδ密度部分集合がXのアフィンコピーを含む。ここでNはδおよび|X|に有効に依存する。
• ハイパーグラフF_kが[N]^r内の配置を符号化する際、エッジ数がδN^k未満であれば、δN^k未満のエッジ削除ではすべての単体を破壊できないことが示され、集合が密度がある限りこれは矛盾を引き起こす。
• 結果は完全な多次元シュレーディンガーの定理と同等であり、フレームワークは、より明確で構造的な、新たな自己完結的な組み合わせ的アプローチを提供する。