[论文解读] 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$-自由图的结果推广至超图。
• 通过研究其阴影图与环包含性，分析围长大于等于 $\ell$ 的线性超图的结构。

提出的方法

• 将围长大于等于 $\ell$ 的 $r$-均匀线性超图的计数问题，转化为计数具有有界数量的 4-圈与 $r$-团的图的问题。
• 使用超图容器方法的变体，通过分析其阴影图来界定此类超图的数量。
• 应用一个结构引理，表明在 $C_4^r$-自由超图的阴影图中，每一个 4-圈必须位于一个超边或一个 $C_3^r$ 中。
• 利用线性性与围长条件导出的度数与交集约束，界定阴影图中 $r$-团的数量。
• 利用关于具有少量 $C_4$ 的 $C_4$-自由图的结果，界定可能的阴影图数量。
• 通过结合阴影图数量与每个阴影图对应的超边数量的上界，推导出最终的指数上界。

实验结果

研究问题

• RQ1 对于固定的 $r \geq 3$ 与 $\ell \geq 4$，在 $n$ 个顶点上，$r$-均匀线性超图的围长为 $\ell$ 的最大数量是多少？
• RQ2 能否比平凡指数上界更紧地界定 $C_4^r$-自由线性 $r$-图的数量？
• RQ3 线性超图的阴影图中 4-圈的数量与 $C_4^r$ 子图的存在性之间有何关系？
• RQ4 容器方法在具有围长约束的超图计数问题中，能在多大程度上被适配？
• RQ5 线性超图在围长大时的哪些结构特性使其能够实现高效计数？

主要发现

• 对于每个 $r \geq 3$ 与 $\ell \geq 4$，围长为 $\ell$ 的 $r$-均匀线性超图的数量至多为 $2^{Cn^{1+1/\lfloor \ell/2 \rfloor}}$，其中常数 $C$ 依赖于 $r$ 与 $\ell$。
• 当 $\ell = 4$ 时，$C_4^r$-自由线性 $r$-图的数量至多为 $2^{Cn^{3/2}}$，其中常数 $C$ 依赖于 $r$，该结果优于先前的界。
• 对于足够大的 $n$，具有至多 $n^2 / (32 \log^6 n)$ 个 $C_4$ 的图的数量至多为 $2^{11n^{3/2}}$，该结果扩展了 Kleitman 与 Winston 的结论。
• 在 $C_4^r$-自由线性超图的阴影图中，每一个 4-圈必须包含于一个超边或一个 $C_3^r$ 中。
• 在 $C_4^r$-自由线性超图的阴影图中，$r$-团的数量至多为 $\alpha n^{3/2}$，其中常数 $\alpha$ 依赖于 $r$，该值控制了在计数映射中的原像大小。
• 最终的上界通过结合容器方法与阴影图约束得到，即 $|\mathrm{Forb}_L(n, C_4^r)| \leq 2^{(11 + \alpha)n^{3/2}}$，对足够大的 $n$ 成立。