[論文レビュー] Counting Hypergraphs with Large Girth

Sam Spiro, Jacques Verstraëte|arXiv (Cornell University)|Oct 4, 2020

Limits and Structures in Graph Theory参考文献 22被引用数 4

ひとこと要約

本稿は、$r$-一様超グラフの高周期構造を数えるために、容器法を拡張し、そのような超グラフの数を高周期グラフの数に関連付ける。$n$ 頂点、$m$ 辺、周期が $\ell$ より大きい $r$-グラフの数は、$\mathrm{N}_m^2(n,\ell)^{r-1+\lambda}$ で上界が与えられ、ここで $\lambda = \lceil(r-2)/(\ell-2)\rceil$ であり、$\ell-2$ が $r-2$ を割り切るとき、指数部の $1+o(1)$ 項を除いて最適である。これは、スパarselyで高周期な構造について、極値グラフ理論と極値超グラフ理論の間に強い定量的関係を提供する。

ABSTRACT

Morris and Saxton used the method of containers to bound the number of $n$-vertex graphs with $m$ edges containing no $\ell$-cycles, and hence graphs of girth more than $\ell$. We consider a generalization to $r$-uniform hypergraphs. The {\em girth} of a hypergraph $H$ is the minimum $\ell$ such that for some $F \subseteq H$, there exists a bijection $ϕ: E(C_\ell) o E(F)$ with $e\subseteq ϕ(e)$ for all $e\in E(C_\ell)$. Letting $N_m^r(n,\ell)$ denote the number of $n$-vertex $r$-uniform hypergraphs with $m$ edges and girth larger than $\ell$ and defining $λ= \lceil (r - 2)/(\ell - 2) floor$, we show \[ N_m^r(n,\ell) \leq N_m^2(n,\ell)^{r - 1 + λ}\] which is tight when $\ell - 2 $ divides $r - 2$ up to a $1 + o(1)$ term in the exponent. This result is used to address the extremal problem for subgraphs of girth more than $\ell$ in random $r$-uniform hypergraphs.

研究の動機と目的

• 容器法をグラフから $r$-一様超グラフへ拡張し、高周期を持つ構造の数え上げを行うこと。
• 周期が $\ell$ より大きい $n$ 頂点、$m$ 辺の $r$-グラフの数に対するタイトな上界を確立すること。
• ランダム $r$-一様超グラフにおける周期が $\ell$ より大きい部分グラフに関する極値問題を扱うこと。
• ランダム超グラフにおける極値関数 $\mathrm{ex}(H_{n,p}^r, \mathcal{C}_{[\ell]}^r)$ の漸近的挙動を特定すること。

提案手法

• 容器法を用いて、$m$ 辺と周期 $> \ell$ を持つ $r$-グラフの数を上界で抑え、グラフの結果を一般化する。
• $\lambda = \lceil(r-2)/(\ell-2)\rceil$ を定義し、$\mathrm{N}_m^r(n,\ell) \leq \mathrm{N}_m^2(n,\ell)^{r-1+\lambda}$ を証明し、超グラフの数え上げをグラフの数え上げに帰着させる。
• 確率論的および極値的技法を用いて、ランダム超グラフにおけるベルジーサイクルの数を分析する。
• マルコフの不等式とチェルノフの不等式を用いて、ランダム超グラフにおける辺とサイクルの数の集中を確立する。
• 二重数え上げとベルジーサイクル出現の極値的境界を用いて、タイトさの条件を導出する。
• 森 $F - v$ に対するベルジーサイクルの一般化であるベルジーサイクル-$F$ 超グラフへの一般化を提示し、最適な指数に関する予想を提示する。

実験結果

リサーチクエスチョン

• RQ1 $\mathrm{N}_m^r(n,\ell)$ に対する有効な境界が存在しない状況において、容器法を $r$-一様超グラフの高周期構造の数え上げにどのように適合させられるか。
• RQ2 上界 $\mathrm{N}_m^r(n,\mathcal{C}_\ell^r) \leq 2^{cm} \cdot \mathrm{N}_{[m]}^2(n,C_\ell)^\beta$ における最適な指数 $\beta$ は何か。
• RQ3 ランダム $r$-一様超グラフにおける周期が $\ell$ より大きい場合の極値的辺数が、予想された二段階の閾値挙動を示すか。
• RQ4 ベルジーサイクル-$F$ 超グラフの境界における指数 $r!/2$ を改善できるか、特に $F$ がサブグラフとしてのサブグラフである場合。
• RQ5 $p^m \cdot \mathrm{N}_m^r(n,\ell) \to \infty$ が成り立つとき、$H_{n,p}^r$ が $m$ 辺を持ち周期 $> \ell$ の部分グラフをほとんど確実に含むための条件は何か。

主な発見

• $n$ 頂点、$m$ 辺、周期が $\ell$ より大きい $r$-グラフの数は、$\mathrm{N}_m^2(n,\ell)^{r-1+\lambda}$ で上界が与えられ、ここで $\lambda = \lceil(r-2)/(\ell-2)\rceil$ であり、これはグラフの数え上げと強い定量的関係を提供する。
• この上界は、$\ell-2$ が $r-2$ を割り切るとき、指数部の $1+o(1)$ 項を除いて最適であり、重要なケースで最適性が確認される。
• ランダム $r$-一様超グラフ $H_{n,p}^r$ に対して、周期 $> \ell$ の部分グラフにおける極値的辺数が、ほとんど確実に $p^{1/(2r-3)}n^{2-o(1)}$ 以上であることが示され、下界が確立された。
• 現在の形では、$\ell \geq 4$ の場合に、補助的超グラフ $H''$ におけるベルジーサイクル 4 の構造的問題のため、この方法は失敗する。
• 森 $F - v$ に対してベルジーサイクル-$F$ 超グラフへの一般化が証明され、指数 $r!/2$ を持つ境界が得られたが、これはおそらく最適ではない。
• 本稿は、ランダム超グラフにおける二段階の極値的閾値に関する予想 III を提示し、候補の指数 $\gamma = r-1 + (r-2)/(\varepsilon-2)$ を提示し、問題 II を提示して $\gamma(3,4) = 5/2$ の検証を要請する。