English

On the number of linear uniform hypergraphs with linear girth constraint

Combinatorics 2026-01-28 v2

Abstract

For an integer r3r\geqslant 3, a hypergraph on vertex set [n][n] is rr-uniform if each edge is a set of rr vertices, and is said to be linear if every two distinct edges share at most one vertex. Given a family H\mathcal{H} of linear rr-uniform hypergraphs,let ForbrL(n,H)Forb_r^L(n,\mathcal{H}) be the set of linear rr-uniform hypergraphs on vertex set [n][n], which does not contain any member from H\mathcal{H} as a subgraph. An rr-uniform linear cycle of length \ell, denoted by CrC_\ell^r, is a linear rr-uniform hypergraph on (r1)(r-1)\ell vertices whose edges can be ordered as e1,,e\boldsymbol{e}_1,\ldots,\boldsymbol{e}_\ell such that eiej=1|\boldsymbol{e}_i\cap \boldsymbol{e}_j|=1 if j=i±1j=i\pm 1 (indices taken modulo \ell) and eiej=0|\boldsymbol{e}_i\cap \boldsymbol{e}_j|=0 otherwise. The linear girth of a linear rr-uniform hypergraph is the smallest integer \ell such that it contains a CrC_\ell^r. Let ForbL(n,r,)=ForbrL(n,H)Forb_L(n,r,\ell)=Forb_r^L(n,\mathcal{H}) when H={Cir:3i}\mathcal{H}=\{C_i^r:\, 3\leqslant i\leqslant \ell\}, that is, ForbL(n,r,)Forb_L(n,r,\ell) is the set of all linear rr-uniform hypergraphs on [n][n] with linear girth greater than \ell. For integers r3r\geqslant 3 and 4\ell\geqslant 4, Balogh and Li [On the number of linear hypergraphs of large girth, J. Graph Theory, 93(1) (2020), 113-141] showed that ForbL(n,r,)=2O(n1+1//2)|Forb_L(n,r,\ell)|= 2^{O(n^{1+1/\lfloor \ell/2\rfloor})} based on the graph container method. It is natural to obtain ForbL(n,r,)2cn1+1/|Forb_L(n,r,\ell)|\geqslant 2^{c\cdot n^{1+1/\ell}} for some constant cc by probabilistic deletion method. Combined with the known results that ForbL(n,r,3)=2o(n2)|Forb_L(n,r,3)|= 2^{o (n^{2})} and ForbL(n,3,4)=2Θ(n3/2)|Forb_L(n,3,4)|= 2^{\Theta (n^{3/2})}, by analyzing the random greedy high linear girth linear rr-uniform hypergraph process, we show ForbL(n,r,)2n1+1/(1)O(loglogn/logn)|Forb_L(n,r,\ell)|\geqslant 2^{n^{1+1/(\ell-1)-O(\log\log n/\log n)}} for every pair of fixed integers r,4r,\ell\geqslant 4, or r=3r= 3 and 5\ell\geqslant 5.

Keywords

Cite

@article{arxiv.2511.04978,
  title  = {On the number of linear uniform hypergraphs with linear girth constraint},
  author = {Fang Tian and Yiting Yang and Xiying Yuan},
  journal= {arXiv preprint arXiv:2511.04978},
  year   = {2026}
}