arXiv++ Combinatorics

For fixed graphs $H$ and $F$, let $\ex(n,H,F)$ denote the maximum number of copies of $H$ in an $n$-vertex $F$-free graph. In this note, we prove the generalized rational exponents conjecture, posed by Gerbner and Palmer, showing that for every rational number $α\ge1$, there exist fixed graphs $H_α$ and $F_α$ such that \[ \ex(n,H_α,F_α)=Θ(n^α). \] Furthermore, the counting graph $H_α$ can always be chosen connected with diameter at most $3$. Our argument hinges on a localization--compression--shift framework, which transforms the Bukh--Conlon finite family construction for edges into a generalized Turán problem setting with a single forbidden graph.

We construct a family of layer barriers for colour-biased tight Hamilton cycles in uniform hypergraphs. For every $k\ge 3$ and every $a\in\{0,\ldots,k-1\}$, we give a red--blue coloured $k$-graph that contains a tight Hamilton cycle, while every tight Hamilton cycle in the construction is perfectly colour-balanced. The construction underlying the higher-uniformity threshold conjectured by Behague, Clemen, Hyde and Morrison corresponds to the boundary case $a=0$ of this family. We show that interior choices of $a$ can yield strictly denser barriers. In particular, for $k=17$ and $a=8$, the asymptotic relative minimum vertex degree of our construction is \[ \frac{5761}{8192}\approx 0.703247, \] which exceeds the conjectured value $d_{17}\approx 0.699277$. This provides a counterexample to the proposed higher-uniformity threshold in Conjecture~6.1 of Behague, Clemen, Hyde and Morrison. Moreover, by choosing the layer appropriately as $k\to\infty$, the family contains barriers whose asymptotic relative minimum vertex degree is \[ 1-O\bigl(k^{-1/2}\bigr). \] Thus the interior members of the layer-barrier family exhibit substantially different behaviour from the previously considered boundary construction in large uniformity.

Motivated by Erdős's conjecture on the Turán number of degenerate bipartite graphs, Bradač, Janzer, Sudakov and Tomon proved that $ \ex(n,T \Box P)=Θ_{T,P}(n^{3/2})$ for every nontrivial tree $T$ and every nontrivial path $P$, and conjectured that the same order of magnitude holds for the Cartesian product of any two nontrivial trees. We prove their conjecture. More generally, for every integer $r\ge2$, we introduce a class of bipartite $r$-degenerate graphs, called $r$-star-flip graphs, that are obtained from a seed tree by a sequence of local vertex-duplication operations. We prove that every fixed $r$-star-flip graph $H$ satisfies $\ex(n,H)=O_H(n^{2-1/r})$. Every Cartesian product of two trees is a $2$-star-flip graph, while the star-flip class also contains graphs that do not arise as such products. As a further application, our framework yields a new proof of Füredi's theorem: if $H$ is a fixed bipartite graph in which at most one vertex in one colour class has degree greater than $r$, then $\ex(n,H)=O_H(n^{2-1/r})$. The key ingredient is a conditional-resampling procedure that extends the tree branching random walk on the seed tree to a random homomorphism of the entire star-flip graph, while preserving the branching-random-walk distribution on every live tree.

Recently, Alon and Frankl (JCTB, 2024) determined the maximum number of edges in $K_{\ell+1}$-free $n$-vertex graphs with bounded matching number. For integers $\ell\ge r \ge 2$, the family $\mathcal{K}_{\ell+1}^{r}$ consists of all $r$-graphs $F$ with at most $\binom{\ell+1}{2}$ edges such that, for some $(\ell+1)$-set $K$, every pair $\{x,y\} \subseteq K$ is covered by an edge in $F$. In this paper, we study the maximum number of edges in $\mathcal{K}_{\ell+1}^r$-free $r$-uniform hypergraphs that have the matching number at most $s$, that is, $\mathrm{ex}_r(n, \{\mathcal{K}_{\ell+1}^r, M^r_{s+1}\})$, and obtain the exact value for sufficiently large $n$, along with the corresponding extremal hypergraph. This result can be viewed as a hypergraph extension of the work of Alon and Frankl. In addition, for the $3$-uniform Fano plane $\mathbb{F}$, we determine the exact value of $\mathrm{ex}_3(n, \{\mathbb{F}, M^3_{s+1}\})$, and characterize the corresponding extremal hypergraph.

We study the Turán numbers of $3$-graphs avoiding $3$-graphs $F$ and $M_{s+1}^3$, a matching of size $s+1$. We disprove a conjecture of Gerbner, Tompkins, and Zhou [European Journal of Combinatorics, 2025, 127:104155] on $\ex(n,\{F,M^3_{s+1}\})$ for $3$-graph $F$ with $χ(F)=2$ by constructing infinitely many counterexamples. For this family, we determine the asymptotic Turán number via edge-colored Turán problem. In addition, for the $3$-graph $F_{3,2}$ with edge set $\{123,145,245,345\}$, we determine the exact value of $\ex(n,\{F_{3,2}, M_{s+1}^3\})$ for every integers $s$ and all $n \ge 12s^2$.

The generalized Turán number $\mathrm{ex}(n, H, F)$ denotes the maximum number of copies of $H$ in an $n$-vertex $F$-free graph. For an integer $t \geq 1$, let $tF$ be the vertex-disjoint union of $t$ copies of $F$. Gerbner, Methuku, and Vizer (2019) established an asymptotically sharp bound for $\mathrm{ex}(n,K_r,(t+1)K_{2,b})$. We extend their results in two directions by considering forbidden graphs $(t+1)K_{a,b}$ and $(t+1)C_{2k}$ and establish more precise matching upper and lower bounds of the same order of magnitude.

In this paper, we prove several new Turán density results for $3$-graphs. We show: $π(C_4^3, \mathrm{complement\ of\ } F_5) = 2\sqrt{3} - 3$, $π(F_{3,2}, C_5^{3-}) = \frac{2}{9}$, and $π(F_{3,2}, \mathrm{induced\ complement\ of\ } F_{3,2}) = \frac{3}{8}$. The first result confirms the conjecture of Shi~[On Turán denisties of small triple graphs, European J. Combin. 52 (2016) 95-102]. The other results give several special non-principal family posed by Mubayi and Rödl~[On the Turán number of triple systems, J. Combin. Theory A. 100 (2002) 135-152].

We investigate the impact of a high-degree vertex in Turán problems for degenerate hypergraphs (including graphs). We say an $r$-graph $F$ is bounded if there exist constants $α, β>0$ such that for large $n$, every $n$-vertex $F$-free $r$-graph with a vertex of degree at least $α\binom{n-1}{r-1}$ has fewer than $(1-β) \cdot \mathrm{ex}(n,F)$ edges. The boundedness property is crucial for recent works~\cite{HHLLYZ23a,DHLY24} that aim to extend the classical Hajnal--Szemerédi Theorem and the anti-Ramsey theorems of Erdős--Simonovits--Sós. We show that many well-studied degenerate hypergraphs, such as all even cycles, most complete bipartite graphs, and the expansion of most complete bipartite graphs, are bounded. In addition, to prove the boundedness of the expansion of complete bipartite graphs, we introduce and solve a Zarankiewicz-type problem for $3$-graphs, strengthening a theorem by Kostochka--Mubayi--Verstraëte~\cite{KMV15}.

For an $r$-graph $F$ and integers $n,t$ satisfying $t \le n/v(F)$, let $\mathrm{ar}(n,tF)$ denote the minimum integer $N$ such that every edge-coloring of $K_{n}^{r}$ using $N$ colors contains a rainbow copy of $tF$, where $tF$ is the $r$-graphs consisting of $t$ vertex-disjoint copies of $F$. The case $t=1$ is the classical anti-Ramsey problem proposed by Erdős--Simonovits--Sós~\cite{ESS75}. When $F$ is a single edge, this becomes the rainbow matching problem introduced by Schiermeyer~\cite{Sch04} and Özkahya--Young~\cite{OY13}. We conduct a systematic study of $\mathrm{ar}(n,tF)$ for the case where $t$ is much smaller than $\mathrm{ex}(n,F)/n^{r-1}$. Our first main result provides a reduction of $\mathrm{ar}(n,tF)$ to $\mathrm{ar}(n,2F)$ when $F$ is bounded and smooth, two properties satisfied by most previously studied hypergraphs. Complementing the first result, the second main result, which utilizes gaps between Turán numbers, determines $\mathrm{ar}(n,tF)$ for relatively smaller $t$. Together, these two results determine $\mathrm{ar}(n,tF)$ for a large class of hypergraphs. Additionally, the latter result has the advantage of being applicable to hypergraphs with unknown Turán densities, such as the famous tetrahedron $K_{4}^{3}$.

For every integer $k \ge 3$, we determine the extremal structure of an $n$-vertex graph with at most $t$ vertex-disjoint copies of $C_{2k}$ when $n$ is sufficiently large and $t$ lies in the interval $\left[\frac{\mathrm{ex}(n,C_{2k})}{\varepsilon n}, \varepsilon n\right]$, where $\varepsilon>0$ is a constant depending only on $k$. The question for $k = 2$ and $t = o\left(\frac{\mathrm{ex}(n,C_{2k})}{n}\right)$ was explored in prior work~\cite{HHLLYZ23a}, revealing different extremal structures in these cases. Our result can be viewed as an extension of the theorems by Egawa~\cite{Ega96} and Verstraëte~\cite{Ver03}, where the focus was on the existence of many vertex-disjoint cycles of the same length without any length constraints.

Given an $r$-graph $F$ with $r \ge 2$, let $\mathrm{ex}(n, (t+1) F)$ denote the maximum number of edges in an $n$-vertex $r$-graph with at most $t$ pairwise vertex-disjoint copies of $F$. Extending several old results and complementing prior work [J. Hou, H. Li, X. Liu, L.-T. Yuan, and Y. Zhang. A step towards a general density Corrádi--Hajnal theorem. arXiv:2302.09849, 2023.] on nondegenerate hypergraphs, we initiate a systematic study on $\mathrm{ex}(n, (t+1) F)$ for degenerate hypergraphs $F$. For a broad class of degenerate hypergraphs $F$, we present near-optimal upper bounds for $\mathrm{ex}(n, (t+1) F)$ when $n$ is sufficiently large and $t$ lies in intervals $\left[0, \frac{\varepsilon \cdot \mathrm{ex}(n,F)}{n^{r-1}}\right]$, $\left[\frac{\mathrm{ex}(n,F)}{\varepsilon n^{r-1}}, \varepsilon n \right]$, and $\left[ (1-\varepsilon)\frac{n}{v(F)}, \frac{n}{v(F)} \right]$, where $\varepsilon > 0$ is a constant depending only on $F$. Our results reveal very different structures for extremal constructions across the three intervals, and we provide characterizations of extremal constructions within the first interval. Additionally, for graphs, we offer a characterization of extremal constructions within the second interval. Our proof for the first interval also applies to a special class of nondegenerate hypergraphs, including those with undetermined Turán densities, partially improving a result in [J. Hou, H. Li, X. Liu, L.-T. Yuan, and Y. Zhang. A step towards a general density Corrádi--Hajnal theorem. arXiv:2302.09849, 2023.]

Given two graphs $H$ and $F$, the maximum possible number of copies of $H$ in an $F$-free graph on $n$ vertices is denoted by $\mathrm{ex}(n, H, F)$. Let $(\ell+1) \cdot F$ denote $\ell+1$ vertex disjoint copies of $F$. In this paper, we determine the exact value of $\mathrm{ex}(n, C_3, (\ell+1)\cdot C_{2k+1})$ and its extremal graph, which generalizes some known results.

An $\mathcal{F}$-saturated $r$-graph is a maximal $r$-graph not containing any member of $\mathcal{F}$ as a subgraph. Let $\mathcal{K}_{\ell + 1}^{r}$ be the collection of all $r$-graphs $F$ with at most $\binom{\ell+1}{2}$ edges such that for some $\left(\ell+1\right)$-set $S$ every pair $\{u, v\} \subset S$ is covered by an edge in $F$. Our first result shows that for each $\ell \geq r \geq 2$ every $\mathcal{K}_{\ell+1}^{r}$-saturated $r$-graph on $n$ vertices with $t_{r}(n, \ell) - o(n^{r-1+1/\ell})$ edges contains a complete $\ell$-partite subgraph on $(1-o(1))n$ vertices, which extends a stability theorem for $K_{\ell+1}$-saturated graphs given by Popielarz, Sahasrabudhe and Snyder. We also show that the bound is best possible. Our second result is motivated by a celebrated theorem of Andrásfai, Erdős and Sós which states that for $\ell \geq 2$ every $K_{\ell+1}$-free graph $G$ on $n$ vertices with minimum degree $δ(G) > \frac{3\ell-4}{3\ell-1}n$ is $\ell$-partite. We give a hypergraph version of it. The \emph{minimum positive co-degree} of an $r$-graph $\mathcal{H}$, denoted by $δ_{r-1}^{+}(\mathcal{H})$, is the maximum $k$ such that if $S$ is an $(r-1)$-set contained in a edge of $\mathcal{H}$, then $S$ is contained in at least $k$ distinct edges of $\mathcal{H}$. Let $\ell\ge 3$ be an integer and $\mathcal{H}$ be a $\mathcal{K}_{\ell+1}^3$-saturated $3$-graph on $n$ vertices. We prove that if either $\ell \ge 4$ and $δ_{2}^{+}(\mathcal{H}) > \frac{3\ell-7}{3\ell-1}n$; or $\ell = 3$ and $δ_{2}^{+}(\mathcal{H}) > 2n/7$, then $\mathcal{H}$ is $\ell$-partite; and the bound is best possible. This is the first stability result on minimum positive co-degree for hypergraphs.

Let $r\ge 2$ be an integer. The real number $α\in [0,1]$ is a jump for $r$ if there exists a constant $c > 0$ such that for any $ε>0$ and any integer $m \geq r$, there exists an integer $n_0(ε, m)$ satisfying any $r$-uniform graph with $n\ge n_0(ε, m)$ vertices and density at least $α+ε$ contains a subgraph with $m$ vertices and density at least $α+c$. A result of Erdős, Stone and Simonovits implies that every $α\in [0,1)$ is a jump for $r=2$. Erdős asked whether the same is true for $r\ge 3$. Frankl and Rödl gave a negative answer by showing that $1-\frac{1}{l^{r-1}}$ is not a jump for $r$ if $r\ge 3$ and $l>2r$. After that, more non-jumps are found using a method of Frankl and Rödl. In this note, we show a method to construct maps $f \colon [0,1] \to [0,1]$ that preserve non-jumps, if $α$ is a non-jump for $r$ given by the method of Frankl and Rödl, then $f(α)$ is also a non-jump for $r$. We use these maps to study hypergraph Turán densities and answer a question posed by Grosu.