[論文レビュー] A new proof of the graph removal lemma

Jacob Fox|arXiv (Cornell University)|Jun 7, 2010

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

ひとこと要約

本稿では、シュレーディの正則性補題に依存しないグラフ除去補題の新しい証明を提示する。これにより、定量的境界が著しく改善され、逆タワー関数におけるタワー型の境界が得られる。スパース正則性法と頂点分割の反復的精錬を用いることで、元の正則性補題に基づく証明を上回り、有向および彩色付きバージョンへも同様の向上が適用可能である。

ABSTRACT

Let H be a fixed graph with h vertices. The graph removal lemma states that every graph on n vertices with o(n^h) copies of H can be made H-free by removing o(n^2) edges. We give a new proof which avoids Szemerédi's regularity lemma and gives a better bound. This approach also works to give improved bounds for the directed and multicolored analogues of the graph removal lemma. This answers questions of Alon and Gowers.

研究の動機と目的

• グラフ除去補題の証明におけるシュレーディの正則性補題への依存を排除すること。
• 特にεに関するδの依存関係において、グラフ除去補題の定量的境界を改善すること。
• 改善された境界を有向グラフ除去補題およびマルチカラーモデルのグラフ除去補題に拡張すること。
• アロンとガウアーズが提起した、除去補題のより良い定量的証明の存在に関する未解決問題に応えること。
• 算術的除去補題やハイパーグラフ除去の関連分野におけるより良い境界の基盤を築くこと。

提案手法

• 頂点集合をh個の部分に分割するスパース正則性法を用い、反復的精錬によって辺を共有しないHのコピーを特定する。
• 確率的議論を適用し、グラフにHのコピーが少ない場合、h個の部分へのランダムな分割が、多くの辺を共有しないHのコピーを含む確率が正であることを示す。
• 正則分割におけるHのコピー数を制限する数え上げ補題を用い、各コピーが正しい部分に埋め込み可能な確率が定数であることを利用する。
• 正則性補題を回避するため、部分の数を有界に保ちながら、Hのコピーを多く含む密集部分を特定するように反復的に分割を精錬する。
• 有向および彩色付きバージョンでは、有向または彩色付き正則性の概念を用い、同様の数え上げと精錬技術を適用する。
• 主な革新は、正則性補題のグローバルな分割を置き換える、構成的で反復的な精錬プロセスを導入することで、定量的制御を著しく向上させることである。

実験結果

リサーチクエスチョン

• RQ1 グラフ除去補題はシュレーディの正則性補題に依存せずに証明可能か？
• RQ2 グラフ除去補題の最良の定量的境界は何か？また、正則性補題から得られるタワー型境界を超えて改善可能か？
• RQ3 同様の改善された境界は、有向グラフ除去補題およびマルチカラーモデルのグラフ除去補題へも拡張可能か？
• RQ4 この新しい手法は、性質テストや極値的組合せ論への応用において、より緊密な境界を提供可能か？
• RQ5 このアプローチはハイパーグラフや算術的除去補題へ拡張可能か？

主な発見

• 新しい証明は正則性補題を回避し、δ⁻¹がε⁻¹の多項式の高さを持つ2のタワー型の境界を達成する。これは元の正則性補題に基づく証明におけるε⁻⁵に比例するタワー高さよりも顕著に改善されている。
• 本手法により、シュレーディの正則性補題に基づくものよりも著しく優れた境界が得られ、特に逆タワー関数において顕著な改善が見られる。
• 有向グラフ除去補題に対しても、同様の定量的向上が、頂点分割の反復的精錬と有向正則性の概念を用いることで達成される。
• マルチカラーモデルのグラフ除去補題に対しても、同様の改善された境界が得られ、証明構造は有向ケースと類似している。
• 正則性を用いない除去補題の証明のための新しい枠組みを提供し、算術的およびハイパーグラフ設定におけるより良い境界の可能性を示唆する。
• 本結果により、長年の定量的境界のギャップが埋められ、アロンとガウアーズが提起した、より良い証明の存在に関する問いに答えが得られた。