[論文レビュー] The regularity method for graphs with few 4-cycles

David Conlon, Jacob Fox+2 more|arXiv (Cornell University)|Apr 21, 2020

Limits and Structures in Graph Theory参考文献 27被引用数 7

ひとこと要約

本稿は、4-サイクルが少ないグラフに特化したスパースグラフ正則化法を開発し、5-サイクルのための新規な数え上げ補題を確立することで、極値的および加法的組合せ論における新しい除去補題と応用を可能にする。主な貢献は、$C_4$-フリーなグラフにおけるスパースな $C_5$-除去補題であり、$o(n^{5/2})$ 個の五重サイクルは $o(n^{3/2})$ 条の辺を削除することで除去可能であることを示しており、三角形除去や非自明な解のない方程式への応用を含む。

ABSTRACT

We develop a sparse graph regularity method that applies to graphs with few 4-cycles, including new counting and removal lemmas for 5-cycles in such graphs. Some applications include: * Every $n$-vertex graph with no 5-cycle can be made triangle-free by deleting $o(n^{3/2})$ edges. * For $r \geq 3$, every $n$-vertex $r$-graph with girth greater than $5$ has $o(n^{3/2})$ edges. * Every subset of $[n]$ without a nontrivial solution to the equation $x_1 + x_2 + 2x_3 = x_4 + 3x_5$ has size $o(\sqrt{n})$.

研究の動機と目的

• 4-サイクルが少ないグラフに適用可能なスパース正則化法を構築すること。これは、擬似ランダムまたはランダムなホストグラフを仮定しないことを目的とする。
• このようなグラフにおける5-サイクルのための新規な数え上げ補題を確立し、除去補題および構造的応用を可能にする。
• この方法を極値的グラフ理論に適用し、$C_5$-フリーなグラフが $o(n^{3/2})$ 条の辺を削除することで三角形フリーにできると証明する。
• グラフ的構成を用いて、特定の線形方程式の非自明な解のない集合のサイズの上限を導出する。

提案手法

• 本手法は、スパース正則化フレームワークを用いて、$C_4$-フリーなグラフにおける5-サイクルの数を下から抑え込む数え上げ補題を導入する。
• 4-サイクルの不在を活用して、5-サイクルの埋め込み数を制御し、構造的制約を導出する。
• グラフ正則化と極値的組合せ論を組み合わせ、4-サイクルの数が2次未塔であるようなグラフに焦点を当てる。
• 重要な構成では、$\mathbb{Z}/N\mathbb{Z}$ でインデックス付けされた頂点集合と、サイドン集合 $X$ によって定義される辺集合を用いて、辺に重複のない5-サイクルを生成する。
• 本手法は、擬似ランダムまたはランダムなホストグラフに依存せず、代わりにグラフのスパarsityとサイクルフリー性を構造的仮定として用いる。
• 確率的および代数的技法（例えば、三角形のテンソル累乗とマーカフの不等式）を用いて、極値的例を構成する。

実験結果

リサーチクエスチョン

• RQ1 擬似ランダム性やランダムグラフへの包含を仮定せずに、$C_4$-フリーなグラフにおける5-サイクルの除去補題を確立できるか？
• RQ2 $C_4$-フリーなグラフにおいて、$C_5$-フリーにするために削除すべき辺の数と5-サイクルの数との極値的関係は何か？
• RQ3 正則化法を4-サイクルが少ないスパースグラフに適応することで、極値的グラフ理論および加法的組合せ論における新たな結果を得られるか？
• RQ4 $x_1 + x_2 + 2x_3 = x_4 + 3x_5$ に非自明な解のない $[n]$ の部分集合の最大サイズは何か？
• RQ5 辺を $o(n^{3/2})$ 個削除することで三角形フリーにできないグラフにおける $C_5$ の数の上限の指数を改善できるか？

主な発見

• 4-サイクルがなく、$o(n^{5/2})$ 個の五重サイクルを持つ $n$ 頂点のグラフは、$o(n^{3/2})$ 条の辺を削除することで $C_5$-フリーにできる。これにより、スパースな $C_5$-除去補題が確立される。
• 5-サイクルを含まない任意の $n$ 頂点のグラフは、$o(n^{3/2})$ 条の辺を削除することで三角形フリーにできる。これは、三角形除去補題をスパースな状況に拡張したものである。
• $r \geq 3$ に対して、5より大きいゴーストを持つ $n$ 頂点の $r$-一様超グラフは $o(n^{3/2})$ 条の辺を持つ。これは新しい極値的結果である。
• 任意の $n$ 頂点のグラフで、$o(n^{2.442})$ 個の五重サイクルを持ち、$o(n^{3/2})$ 条の辺を削除しても三角形フリーにできないものが存在する。これは指数が定数係数の範囲でタイトであることを示している。
• 非自明な解のない $x_1 + x_2 + 2x_3 = x_4 + 3x_5$ を満たす $[n]$ の部分集合のサイズは $o(\sqrt{n})$ である。これは加法的組合せ論における問題を解決する。
• 辺に重複のない $\Theta(n^{3/2})$ 個の三角形と $o(n^{2.442})$ 個の五重サイクルを持つ $C_5$-フリーなグラフの構成により、$C_5$-カウンティングの上限における指数のタイトさが示された。