English

Enumerating sparse uniform hypergraphs with given degree sequence and forbidden edges

Combinatorics 2018-11-12 v4

Abstract

For n3n\geq 3 and r=r(n)3r=r(n) \geq 3, let k=k(n)=(k1,,kn)\boldsymbol{k} =\boldsymbol{k}(n)=(k_1, \ldots, k_n) be a sequence of non-negative integers with sum M(k)=j=1nkjM(\boldsymbol{k})=\sum_{j=1}^{n} k_j. We assume that M(k)M(\boldsymbol{k}) is divisible by rr for infinitely many values of nn, and restrict our attention to these values. Let X=X(n)X=X(n) be a simple rr-uniform hypergraph on the vertex set V={v1,v2,,vn}V=\{v_1,v_2, \ldots, v_n\} with tt edges and maximum degree xmaxx_{\max}. We denote by Hr(k)\mathcal{H}_r(\boldsymbol{k}) the set of all simple rr-uniform hypergraphs on the vertex set VV with degree sequence k\boldsymbol{k}, and let Hr(k,X)\mathcal{H}_r(\boldsymbol{k},X) be the set of all hypergraphs in Hr(k)\mathcal{H}_r(\boldsymbol{k}) which contain no edge of XX. We give an asymptotic enumeration formula for the size of Hr(k,X)\mathcal{H}_r(\boldsymbol{k},X). This formula holds when r4kmax3=o(M(k))r^4 k_{\max}^3=o(M(\boldsymbol{k})), tkmax3=o(M(k)2)t\, k_{\max}^{3}\, =o(M(\boldsymbol{k})^2) and rtkmax4=o(M(k)3)r\,t\,k_{\max}^4 = o(M(\boldsymbol{k})^3). Our proof involves the switching method. As a corollary, we obtain an asymptotic formula for the number of hypergraphs in Hr(k)\mathcal{H}_r(\boldsymbol{k}) which contain every edge of XX. We apply this result to find asymptotic expressions for the expected number of perfect matchings and loose Hamilton cycles in a random hypergraph in Hr(k)\mathcal{H}_r(\boldsymbol{k}) in the regular case.

Keywords

Cite

@article{arxiv.1805.04991,
  title  = {Enumerating sparse uniform hypergraphs with given degree sequence and forbidden edges},
  author = {Haya S. Aldosari and Catherine Greenhill},
  journal= {arXiv preprint arXiv:1805.04991},
  year   = {2018}
}

Comments

14 pages, 1 figure. This version addresses referees comments

R2 v1 2026-06-23T01:53:34.359Z