Search arXiv⌕ Search

arXiv · 2610.26579

Asymptotic Enumeration of $F$-decompositions in Typical Hypergraphs and of Universal Cycles

Abstract

In this paper, we determine the asymptotic number of $F$-decompositions in typical hypergraphs. More precisely, let $F$ be a non-trivial $f$-vertex $k$-graph. We show that, for all sufficiently large $n$, every $n$-vertex $F$-divisible $(n^{-ζ},h,p)$-typical $k$-graph $G$ has $n^{\frac{f-k+o_n(1)}{|F|}|G|}$ $F$-decompositions. As an application, we asymptotically enumerate universal cycles for $k$-subsets of $[n]$, or equivalently, tight Euler tours of the complete $k$-graph $K_n^k$. For every $k\ge2$ and all sufficiently large $n$ satisfying $k\mid {n-1 \choose k-1}$, the number of such universal cycles is $n^{(1-γ(n)){n \choose k}}$, where $0<γ(n)=o_n(1)$. More generally, for $\ell\in[k-1]$, we show that a sufficiently typical $n$-vertex $k$-graph $G$ satisfying the corresponding divisibility condition has $n^{(k-\ell-γ'(n))|G|}$ Euler $\ell$-tours, where $0<γ'(n)=o_n(1)$.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Danni Li, Bin Wang, Junxue Zhang. 2026-10-19. Asymptotic Enumeration of $F$-decompositions in Typical Hypergraphs and of Universal Cycles. https://arxiv.org/abs/2610.26579

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Integral quasi-strongly regular Cayley graphs

Quasi-strongly regular graphs form a significant generalization of strongly regular graphs. We study the eigenvalues of a family of such graphs, $Γ_H(G)$, constructed from a finite group $G$ and a subgroup $H$. Our main results include a sufficient condition for $Γ_H(G)$ to be integral and an explicit computation of its entire spectrum when $H$ is normal, revealing that the spectrum in this case depends only on $|G|$ and the index $[G:H]$.

math.CO↗

The exact Erdős-Ko-Rado Theorem for 3-wise $t$-intersecting uniform families

One of the central problems in extremal set theory is the determination of the maximum size of an $r$-wise $t$-intersecting $k$-graph on $n$ vertices. For $r=2$ after decades of effort, a complete solution was given by the Complete Intersection Theorem (\cite{AK0}). However the case $r\geq 3$ remains wide open. The $t$-star consisting of all $k$-sets containing a fixed $t$-set provides a lower bound. For $r=3$ and $k\geq t+2\geq44$, we determine the exact threshold for which it is optimal for $n>k$. The condition is essentially $n\geq \sqrt{t}k$. For $k\geq t+2\geq47$ and $n\geq\frac{\sqrt{4t+9}-1}{2}k$, we also establish the corresponding Hilton-Milner-type stability result.

math.CO↗

A Littlewood-Richardson Rule for Forest Polynomials

The forest polynomials $\mathfrak{P}_a$ of Nadeau-Tewari form a $\mathbb{Z}$-basis of $\mathbb{Z}[x_1,x_2,\ldots]$ whose role for the cohomology of the quasisymmetric flag variety parallels that of Schubert polynomials for the classical flag variety. Nonnegativity of the structure constants $β_{a,b}^c$ in $\mathfrak{P}_a \mathfrak{P}_b = \sum_c β_{a,b}^c \mathfrak{P}_c$ is known, but no Littlewood-Richardson-style enumerative rule has been available. We give such a rule: $β_{a,b}^c$ counts pairs of forest RC graphs of forest-codes $a$ and $b$ whose lift product lands on a forest RC graph of forest-code and weight both equal to $c$. The same rule descends to the cup product on $H^\bullet(\mathrm{QFl}_n)$. The proof introduces a squash product $\boxtimes$ on RC graphs, which on full Grassmannian RC graphs of a fixed height recovers the plactic monoid, a multiplactic algebra $\mathcal{M}_n$ that models Schubert polynomial multiplication, and a lift product $*$ on RC graphs whose quasi-crystal structure, in the framework of Cain-Guilherme-Malheiro, transports the Nadeau-Tewari forest equivalence through the computation. The row-decomposition machinery on RC graphs that underlies these constructions is developed in a companion paper.

math.CO↗