[論文レビュー] A correspondence principle between (hyper)graph theory and probability theory, and the (hyper)graph removal lemma

Terence Tao|ArXiv.org|Feb 2, 2006

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

ひとこと要約

本稿では、確率論を用いて有限ハイパーグラフと無限の確率的ハイパーグラフの間の対応原理を導入し、ハイパーグラフ正則性補題に依存せずに、ハイパーグラフ除去補題の無限的証明を可能にする。この方法により、シュレーディンガーの定理および関連結果の既存の証明が、無限確率空間における完全正則性を活用することで簡略化される。

ABSTRACT

We introduce a correspondence principle (analogous to the Furstenberg correspondence principle) that allows one to extract an infinite random graph or hypergraph from a sequence of increasingly large deterministic graphs or hypergraphs. As an application we present a new (infinitary) proof of the hypergraph removal lemma of Nagle-Schacht-Rödl-Skokan and Gowers, which does not require the hypergraph regularity lemma and requires significantly less computation. This in turn gives new proofs of several corollaries of the hypergraph removal lemma, such as Szemerédi's theorem on arithmetic progressions.

研究の動機と目的

• 確率論的道具を用いて、有限ハイパーグラフの列と無限の確率的ハイパーグラフとの間の対応を確立すること。
• ハイパーグラフ正則性補題に依存しない、代替的で無限的証明によるハイパーグラフ除去補題の証明を提供すること。
• この対応が、シュレーディンガーの定理および関連する組合せ的結果の証明をどのように簡略化するかを示すこと。
• 無限的確率モデルと有限的組合せ的定理との間の関係、特に算術級数の文脈において探ること。
• この手法が、現在の範囲を超えるより強い再帰定理を証明する際に、どのような制限と可能性を有するかを明確にすること。

提案手法

• 不変なシグマ代数を持つ確率空間を用いて、有限ハイパーグラフの列の弱極限として無限の確率的ハイパーグラフを構築すること。
• ハイパーグラフおよび確率論に適応された、フルステンベルクの対応原理の修正版を用いること。
• 新しい無限的正則性定理（定理4.2）を適用し、元の可測集合を近似する確率空間内の正則な事象を見つけること。
• 無限設定におけるシグマ代数の不変性と相対的独立性を活用し、完全正則性（ε = 0）を達成すること。
• 対角測度（例：n₃₀ = n₁₀ + n₂₀）に条件付け、積測度に対して特異である対角の性質を活用して背理法による証明を行うこと。
• ベイズの公式と測度論的議論を用いて、条件付き確率を制御し、正の測度の仮定が破られた場合に矛盾を導出すること。

実験結果

リサーチクエスチョン

• RQ1 有限ハイパーグラフと無限の確率的ハイパーグラフとの間に、組合せ的構造を保存する対応原理を確立できるか？
• RQ2 無限的確率枠組みを用いることで、ハイパーグラフ正則性補題を用いずにハイパーグラフ除去補題を証明できるか？
• RQ3 無限的確率モデルは、シュレーディンガー型定理の文脈において、有限的組合せ的証明をどの程度簡略化できるか？
• RQ4 この手法は、ベルゲルソン＝ライブマンの多項式的再帰やIP-シュレーディンガー定理といったより強い再帰定理を証明する際に、どのような制限を受けるか？
• RQ5 対角測度の特異性が、条件付き確率の文脈における零集合と空集合の挙動にどのように影響するか？

主な発見

• 対応原理は、不変かつ独立なシグマ代数を持つ確率空間において、有限ハイパーグラフの列を無限の確率的ハイパーグラフに成功裏に写像する。
• ハイパーグラフ除去補題の無限的証明は、ハイパーグラフ正則性補題を回避し、無限設定における完全正則性に依存する。
• 対角制約下での三つの事象の条件付き確率が、ゼロでなければならないと同時に元の測度に等しくなることを示すことで背理が導かれ、η < 3η/5 が得られる。
• この手法により、算術級数に関するシュレーディンガーの定理の新たな証明が得られる。なぜなら、ハイパーグラフ除去補題がこの結果を含意するからである。
• 特異な条件付き測度においても、空集合の交わりの堅牢性が、制御を維持するために重要であることが強調される。
• この技術は、εをゼロに、大きなパラメータを無限大に設定することで、特定の有限的結果が無限的設定においてより洗練された形で証明可能であることを示している。