[論文レビュー] An Arithmetic Analogue of Fox's Triangle Removal Argument

Pooya Hatami, Sushant Sachdeva+1 more|arXiv (Cornell University)|Apr 17, 2013

Limits and Structures in Graph Theory参考文献 14被引用数 10

ひとこと要約

この論文は、群 $\mathbb{F}_2^n$ における算術的三角形除去補題の直接的なフーリエ解析的証明を提示し、元の Ruzsa-Szemerédi のアプローチよりも著しく改善された定量的評価 $\delta \geq 1/\mathsf{Tower}(O(\log(1/\varepsilon)))$ を得た。これはグラフ理論における Fox のブレークスルーに類似している。正則性補題に依存せず、ネストされた部分群を通じたエントロピー増加を用いることで、元の方法よりもはるかに良い評価が得られる。

ABSTRACT

We give an arithmetic version of the recent proof of the triangle removal lemma by Fox [Fox11], for the group $\mathbb{F}_2^n$. A triangle in $\mathbb{F}_2^n$ is a triple $(x,y,z)$ such that $x+y+z = 0$. The triangle removal lemma for $\mathbb{F}_2^n$ states that for every $ε> 0$ there is a $δ> 0$, such that if a subset $A$ of $\mathbb{F}_2^n$ requires the removal of at least $ε\cdot 2^n$ elements to make it triangle-free, then it must contain at least $δ\cdot 2^{2n}$ triangles. This problem was first studied by Green [Gre05] who proved a lower bound on $δ$ using an arithmetic regularity lemma. Regularity based lower bounds for triangle removal in graphs were recently improved by Fox and we give a direct proof of an analogous improvement for triangle removal in $\mathbb{F}_2^n$. The improved lower bound was already known to follow (for triangle-removal in all groups), using Fox's removal lemma for directed cycles and a reduction by Král, Serra and Vena [KSV09] (see [Fox11,CF13]). The purpose of this note is to provide a direct Fourier-analytic proof for the group $\mathbb{F}_2^n.$

研究の動機と目的

• 群 $\mathbb{F}_2^n$ における算術的三角形除去補題の直接的なフーリエ解析的証明を提供し、算術的正則性補題に依存しないようにすること。
• 算術的設定における三角形除去パラメータ $\delta$ の定量的評価を改善し、Fox のグラフ理論的結果で得られている最新水準に一致させること。
• 構造的分割プロセスを明確にし、エントロピーが増加する部分群の列を直接構成することで、将来的な改善に向けた透明性を高めること。
• すべてのアーベル群における三角形除去の改善された評価が、直接的かつ洗練された方法で $\mathbb{F}_2^n$ で達成可能であることを示し、有向サイクル除去補題への還元に依存しないこと。

提案手法

• 証明は、自明な部分群 $G$ から始まり、$\mathbb{F}_2^n$ 内の部分群 $H_i \preceq H_{i-1}$ の再帰的精錬を用い、集合 $A'$ の平均エントロピーを増加させる。
• エントロピー増加は $\mathsf{Ent}_A(G, H)$ で測られ、これは各コセット $H + g$ における $A \cap (H + g)$ の平均エントロピーとして定義され、精錬プロセスの進行を追跡するために用いられる。
• 鍵となる技術的道具は補題 5.1 であり、これは、部分集合 $A'$ に少ない数の三角形がある場合、エントロピーが少なくとも $\varepsilon_0/3600$ 以上増加するような部分群 $H_{i+1}$ が存在することを保証する。
• この方法は、部分群によるコセットの $\varepsilon$-散乱という概念に依存しており、ここで部分群 $H'$ がコセットを $\left(\frac{1}{20}, \frac{3}{4}, \log_{1+\varepsilon^2/16}(4/\varepsilon)\right)$-散乱するとは、顕著なエントロピー増加を引き起こすことを意味する。
• 精錬ステップの数は $t = \lceil 12000 \log(1/(3\varepsilon_0)) \rceil$ で抑えられ、エントロピーの上限に違反する前にプロセスが終了することが保証される。
• 累積的なエントロピー増加が理論的な上限 0 を超えると矛盾が生じ、$A$ が三角形自由から $\varepsilon$-離れているならば、少なくとも $\delta N^2$ 個の三角形を含むことが証明される。

実験結果

リサーチクエスチョン

• RQ1 算術的正則性補題を用いずに、フーリエ解析的手法のみで $\mathbb{F}_2^n$ における算術的三角形除去補題を証明できるか？
• RQ2 算術的設定における $\mathbb{F}_2^n$ における算術的三角形除去補題の最良の定量的評価 $\delta$ は何か？ そして、元の Ruzsa-Szemerédi のタワー評価を超えて改善可能か？
• RQ3 部分群の精錬によるエントロピー増加法は、正則性補題アプローチに比べて、透明性や今後の改善の可能性においてどのように異なるか？
• RQ4 改善された評価 $\delta \geq 1/\mathsf{Tower}(O(\log(1/\varepsilon)))$ は、直接的に算術的設定で確立可能であり、Fox のグラフ理論的結果に一致するか？
• RQ5 エントロピーに基づく精錬プロセスによって、$\mathbb{F}_2^n$ における三角形の分布に関するどのような構造的洞察が得られるか？

主な発見

• 論文は、$\mathbb{F}_2^n$ における算術的三角形除去補題に対して、$\delta \geq 1/\mathsf{Tower}(O(\log(1/\varepsilon)))$ の定量的評価を確立し、グラフ設定における最高水準の評価に一致している。
• 証明は算術的正則性補題を回避し、ネストされた部分群を通じた直接的なエントロピー増加の議論を用いることで、より洗練され、透明性の高い枠組みを提供している。
• 各精錬ステップで最小 $\varepsilon_0/3600$ のエントロピー増加が保証され、$\varepsilon_0 \geq \varepsilon/3$ であるため、$O(\log(1/\varepsilon))$ ステップでプロセスが終了することが保証される。
• 累積的なエントロピー増加が理論的上限 0 を超えると矛盾が生じ、$A$ が三角形自由から $\varepsilon$-離れているならば、少なくとも $\delta N^2$ 個の三角形を含むことが証明される。
• 精錬ステップ数は $t = \lceil 12000 \log(1/(3\varepsilon_0)) \rceil$ で抑えられ、これは、三角形が少ないという仮定のもとで矛盾を引き起こすのに十分である。
• 結果として、すべてのアーベル群における三角形除去の改善された評価が、有向サイクル除去補題への還元に依存せず、$\mathbb{F}_2^n$ で直接的にフーリエ解析的技法を用いて証明可能であることが確認された。