[論文レビュー] A variant of the hypergraph removal lemma

Terence Tao|ArXiv.org|Mar 24, 2005

Limits and Structures in Graph Theory参考文献 15被引用数 6

ひとこと要約

本稿は、確率的および複雑性に基づく手法を用いて、三角形除去補題をより高い一様性を有する超グラフへ拡張した、強化されたバージョンの超グラフ除去補題の自己完備的証明を提示する。主な貢献は、構造的複雑性を保ちつつ、与えられた部分超グラフのすべてのコピーを除去するが、辺の変更が無視できる程度に抑えられる超グラフの構築を可能にする一般化された数え上げ補題である。この補題は、ガウス整数のようなスパース集合における算術的等差数列の存在を示す応用に用いられる。

ABSTRACT

Recent work of Gowers and Nagle, Rödl, Schacht, and Skokan has established a hypergraph removal lemma, which in turn implies some results of Szemerédi and Furstenberg-Katznelson concerning one-dimensional and multi-dimensional arithmetic progressions respectively. In this paper we shall give a self-contained proof of this hypergraph removal lemma. In fact we prove a slight strengthening of the result, which we will use in a subsequent paper to establish infinitely many constellations of a prescribed shape in the Gaussian primes.

研究の動機と目的

• 三角形除去補題をより高い一様性を有する超グラフへ拡張する、超グラフ除去補題の変種の自己完備的証明を提供すること。
• 元の超グラフ除去補題を、有界な複雑性と一様性の条件を組み込むことで強化し、スパース集合への応用を可能にすること。
• 超グラフバンドルにおける一般化された数え上げ補題を確立し、辺の変更と部分構造の数の精密な制御を可能にすること。
• その後続の応用、特にガウス整数における所定の形状の無限個の連続体（コンステレーション）の存在を示す基盤を築くこと。

提案手法

• 従来の正則性補題のアプローチに代わり、条件付き期待値と複雑性を用いた確率的フレームワークを用いて、超グラフ構造を分析する。
• 超グラフバンドルに対して一般化された数え上げ補題を構築し、超グラフの複雑性に関する再帰的帰納法を用いて部分構造の数を推定可能にする。
• 積インデックス集合上での構成により、超グラフの辺を制御的に二重化することで、より大きな構造への帰納法仮定の適用を可能にする。
• 誤差項を抑え込むためにコーシー＝シュワルツの不等式を用いる主な技術であり、誤差の減衰は急速に増加する関数 F(M) に従うことで o(1) 収束を保証する。
• 超グラフの複雑性に関する帰納法によって証明を進める。基本ケースは一様分布によって処理され、高次項は再帰的バウンドによって制御される。
• 構成により、G' が G の部分グラフでなくても、|E_ij \ E'_ij| = o_δ→0(|V_i × V_j|) となるような、三角形を含まないまたは部分構造を含まない近似 G' を得られる。

実験結果

リサーチクエスチョン

• RQ1 正則性補題に依存せずに、超グラフ除去補題を自己完備的に証明することは可能か？
• RQ2 近似超グラフにおける有界な複雑性を保つために、除去補題をどのように強化できるか？
• RQ3 一般化された数え上げ補題は、超グラフバンドルにおける部分構造の数を制御するために果たす役割は何か？
• RQ4 このような補題を用いて、ガウス整数のようなスパース集合における算術的等差数列の存在をどのように示せるか？
• RQ5 近似超グラフにおける辺の変更が密度的に無視できる条件は何か？

主な発見

• 本稿は、近似超グラフ G' が有界な複雑性を持つ強化された超グラフ除去補題を確立した。辺集合は O_δ(1) 個の部分に分割され、E'_ij はこれらの部分のカルテシアン積の和集合である。
• 元の超グラフにおける三角形（または部分超グラフ）の数は δ|V1||V2||V3| で抑えられ、近似 G' は o_δ→0(|V_i × V_j|) の辺の変更でこれらすべての部分構造を除去する。
• 誤差項が急速に増加する関数 F(M) によって制御される一般化された数え上げ補題が開発され、収束を保証する。
• この方法により、G' が G の部分グラフでなくてもよいが、辺の差が無視できる近似が得られ、これはスパース集合への応用にとって極めて重要である。
• 結果は、ガウス整数における所定の形状の無限個の連続体の存在を示す応用に用いられ、後続の論文 [29] で詳細に述べられている。
• インデックス集合への二重化構成を用いることで、帰納法の仮定をより大きな超グラフバンドルへ拡張でき、誤差項の再帰的制御が可能になる。