[論文レビュー] On the number of linear hypergraphs of large girth

József Balogh, Lina Li|arXiv (Cornell University)|Sep 12, 2017

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

ひとこと要約

本稿は、大きな閉路長をもつ $r$-一様線形超グラフの数に対するタイトな上界を確立し、$r \geq 3$ および $\ell \geq 4$ の場合、このような超グラフの数が $2^{Cn^{1+1/\lfloor \ell/2 \rfloor}}$ 未満であることを示している。特に $\ell=4$ の場合、より強い上界 $2^{Cn^{3/2}}$ が得られる。この手法は、コンテナ法の変種とシャドウグラフ解析を用いて超グラフの列挙をグラフの列挙に還元し、KleitmanとWinstonによる $C_4$-自由グラフに関する結果を拡張する。

ABSTRACT

An $r$-uniform extit{linear cycle} of length $\ell$, denoted by $C_{\ell}^r$, is an $r$-graph with edges $e_1, \ldots, e_{\ell}$ such that for every $i\in [\ell-1]$, $|e_i\cap e_{i+1}|=1$, $|e_{\ell}\cap e_1|=1$ and $e_i\cap e_j=\emptyset$ for all other pairs $\{i, j\},\ i eq j$. For every $r\geq 3$ and $\ell\geq 4$, we show that there exists a constant $C$ depending on $r$ and $\ell$ such that the number of linear $r$-graphs of girth $\ell$ is at most $2^{Cn^{1+1/\lfloor \ell/2 floor}}$. Furthermore, we extend the result for $\ell=4$, proving that there exists a constant $C$ depending on $r$ such that the number of linear $r$-graphs without $C_{4}^r$ is at most $2^{Cn^{3/2}}$. The idea of the proof is to reduce the hypergraph enumeration problems to some graph enumeration problems, and then apply a variant of the graph container method, which may be of independent interest. We extend a breakthrough result of Kleitman and Winston on the number of $C_4$-free graphs, proving that the number of graphs containing at most $n^2/32\log^6 n$ $C_4$'s is at most $2^{11n^{3/2}}$, for sufficiently large $n$. We further show that for every $r\geq 3$ and $\ell\geq 2$, the number of graphs such that each of its edges is contained in only $O(1)$ cycles of length at most $2\ell$, is bounded by $2^{3(\ell+1)n^{1+1/\ell}}$ asymptotically.

研究の動機と目的

• 固定された長さ $\ell$ の線形サイクルを含まない $r$-一様線形超グラフの漸近的数を特定すること。
• $C_4^r$-自由な線形超グラフの数に対する自明な上界を改善し、タイトな上界を確立すること。
• コンテナ法の新規応用を通じて、KleitmanとWinstonによる $C_4$-自由グラフに関する結果を超グラフへと拡張すること。
• シャドウグラフの分析を通じて、閉路長が大きい線形超グラフの構造を調べること。

提案手法

• $r$-一様線形超グラフの列挙を、4サイクルと $r$-クリークの数が有界なグラフの列挙に還元すること。
• 超グラフコンテナ法の変種を用いて、そのシャドウグラフを分析することで、このような超グラフの数を上界で抑え込むこと。
• $C_4^r$-自由な超グラフのシャドウグラフにおける任意の4サイクルは、超辺または $C_3^r$ に含まれることを示す構造的補題を適用すること。
• 線形性と閉路長の条件から導かれる次数および交差制約を用いて、シャドウグラフ内の $r$-クリークの数を上界で抑え込むこと。
• 4サイクルが少ない $C_4$-自由グラフに関する結果を応用し、可能なシャドウグラフの数を上界で抑え込むこと。
• シャドウグラフの数と1つのシャドウグラフあたりの超辺数の上界を組み合わせることで、最終的な指数的上界を導出すること。

実験結果

リサーチクエスチョン

• RQ1 固定された $r \geq 3$ および $\ell \geq 4$ に対して、$n$ 頂点上で閉路長 $\ell$ の $r$-一様線形超グラフの最大数は何か？
• RQ2 $C_4^r$-自由な線形 $r$-グラフの数は、自明な指数的上界よりもタイトに抑えられるか？
• RQ3 線形超グラフのシャドウグラフにおける4サイクルの数は、$C_4^r$ 部分グラフの存在とどのように関係するか？
• RQ4 コンテナ法は、閉路長制約をもつ超グラフ列挙問題にどの程度適応可能か？
• RQ5 閉路長が大きい線形超グラフのどの構造的性質が、効率的な列挙を可能にするか？

主な発見

• 任意の $r \geq 3$ および $\ell \geq 4$ に対して、閉路長 $\ell$ の $r$-一様線形超グラフの数は、$r$ と $\ell$ に依存する定数 $C$ を用いて $2^{Cn^{1+1/\lfloor \ell/2 \rfloor}}$ 未満である。
• $\ell = 4$ の場合、$C_4^r$-自由な線形 $r$-グラフの数は、$r$ に依存する定数 $C$ を用いて $2^{Cn^{3/2}}$ 未満であり、以前の結果を改善する。
• 4サイクルを高々 $n^2 / (32 \log^6 n)$ 個もつグラフの数は、十分に大きな $n$ に対して $2^{11n^{3/2}}$ 未満である。これは Kleitman と Winston の結果を拡張する。
• $C_4^r$-自由な線形超グラフのシャドウグラフにおける任意の4サイクルは、超辺または $C_3^r$ に含まれる。
• $C_4^r$-自由な線形超グラフのシャドウグラフ内の $r$-クリークの数は、$r$ に依存する定数 $\alpha$ を用いて $\alpha n^{3/2}$ 未満である。これは列挙写像における前像のサイズを制御する。
• 最終的な上界は、コンテナ法とシャドウグラフ制約を組み合わせることで得られ、$n$ が十分に大きいとき $|\mathrm{Forb}_L(n, C_4^r)| \leq 2^{(11 + \alpha)n^{3/2}}$ が成り立つ。