arXiv++ Combinatorics

In this article, we present an alternative proof of the classical theorem of Erdős on the Turán numbers of complete $r$-partite $r$-uniform hypergraphs. More precisely, we establish that for finite sets $A_{1},\ldots,A_{r}$ with $|A_{1}|\leq\cdots\leq|A_{r}|$ and sufficiently large positive integer $n$, \[ \mathrm{ex}(n,\mathbb{K}^{(r)}[A_{1},\ldots,A_{r}]) =O\left(n^{r-\frac{1}{|A_{1}|\cdots|A_{r-1}|}}\right). \] Our approach develops a framework based on repeated applications of Hölder's inequality and the enumeration of configurations through multiple sums. The method combines the principle of inclusion--exclusion with a discrete analogue of Fubini's theorem, yielding recursive estimates for extremal quantities. This provides an alternative proof of Erdős's classical upper bound and offers a unified perspective on the generalized Erdős box problem.

A hypergraph is \emph{linear} if every pair of vertices is contained in at most one hyperedge. For a family $\mathcal{F}$ of $r$-uniform hypergraphs, the linear Tur'an number $ex^{\mathrm{lin}}_r(n,\mathcal{F})$ is the maximum number of hyperedges in an $n$-vertex $\mathcal{F}$-free linear $r$-uniform hypergraph. Extending the work of Gy'arf'as, Ruszink'o, and S'ark"ozy on $3$-uniform linear hypertrees, we study linear Tur'an numbers for higher uniformity. We determine the linear Tur'an number of the $r$-uniform linear star $S_k^r$, proving [ex^{\mathrm{lin}}_r(n,S_k^r)\le \frac{n(k-1)}{r},] with equality exactly for $(k-1)$-regular linear $r$-uniform hypergraphs, whenever they exist. We also construct dense $T_k^r$-free hypergraphs showing that, under suitable divisibility and design-existence assumptions, [ex^{\mathrm{lin}}_r(n,T_k^r)\ge \frac{n(k-1)}{r}] for every linear $r$-uniform hypertree $T_k^r$ with $k$ hyperedges. We then study all linear hypertrees with four hyperedges. For the broom $B_4^r$, we prove [ex^{\mathrm{lin}}_r(n,B_4^r)\le \frac{(r+1)n}{r},] and characterize the extremal hypergraphs as disjoint unions of Steiner systems $S(2,r,r^2)$, whenever such systems exist. For the crown $E_4^r$, we establish [ex^{\mathrm{lin}}_r(n,E_4^r)\le \frac{(2r-1)n}{r},] together with a lower-bound construction leaving only a constant-factor gap. For the linear path $P_4^r$, we construct $P_4^r$-free hypergraphs with $(r+1)n/r$ hyperedges and conjecture this is the optimal general bound. We verify the conjecture for connected hypergraphs under suitable degree conditions. Finally, for $r=4$, we identify counterexamples to a key structural claim in a previous proof of Zhang and Wang, give a new proof that [ex^{\mathrm{lin}}_4(n,P_4^4)\le \frac{5n}{4},] and show that equality holds precisely for disjoint unions of Steiner systems $S(2,4,16)$.

We prove that every $n$-vertex simple planar graph with no copy of $C_8$ has at most \[ \frac{69}{25}(n-2) \] edges, for every $n\ge 8$. This improves the best known bound \[ \frac{323}{108}n-6 \qquad \text{for every } n\ge 27. \]

Given a graph $H$ and a family of graphs $\mathcal{F}$, the generalized planar Turán number $\mathrm{ex}_\mathcal{P}(n, H, \mathcal{F})$ is the maximum number of copies of $H$ in an $n$-vertex planar graph that contains no graph $F \in \mathcal{F}$ as a subgraph. When only induced copies of $H$ are counted, we denote the corresponding generalized planar Turán number by $\mathrm{ex}_\mathcal{P}(n, H^{\mathrm{ind}}, \mathcal{F})$. Győri and Karim determined $\mathrm{ex}_\mathcal{P}(n, C_{5}, \{C_3\})$. In this paper, we determine the exact value of $\mathrm{ex}_\mathcal{P}(n, C_{2k+1}, \{C_3,C_5,\ldots,C_{2k-1}\})$ for every $k \ge 3$. Since all shorter odd cycles are forbidden, every $C_{2k+1}$ is induced. This problem is closely related to the inducibility of odd cycles in planar graphs. Ghosh, Győri, Janzer, Paulos, Salia and Zamora~(and independently Savery) determined the exact value of $\mathrm{ex}_\mathcal{P}(n, C_5^{\mathrm{ind}}, \emptyset)$. Moreover, they established a conjecture for all odd cycles $C_{2k+1}$ with $k \ge 3$. Our result confirms their conjecture under the additional assumption that all shorter odd cycles are forbidden.

Given a graph $H$, the minimum feedback vertex number of $H$ is the minimum number of vertices whose removal results in an acyclic graph. In this paper, we investigate Turán-type extremal problems for bipartite graphs in terms of their feedback vertex number. Our first result concerns bipartite graphs $H$ with minimum feedback vertex number one. Such graphs can be obtained from a forest by identifying a specified collection of leaves into a single vertex. For these graphs, we show that $\text{ex}(n, H)$ is upper bounded by $O(n^{1+1/k^\ast})$, where $2k^\ast$ is the length of the shortest cycle contained in $H$. In addition, we consider a family of bipartite graphs with minimum feedback vertex number three. Let $E_{k,t}$ be the graph obtained from the theta graph $θ_{k,t}$ by joining a new vertex $x$ to one side of the bipartition and another vertex $y$ to the other. Let $E^+_{k,t}$ denote the graph obtained by adding the edge $xy$ to $E_{k,t}$. We prove that for any $k\geq 2$ and sufficiently large $t$, $\text{ex}(n, E^+_{k,t})= Θ(n^{\frac{3k-1}{2k-1}}).$

For graphs $F$ and $H$, let $\ex(n,F,H)$ denote the maximum number of copies of $F$ in an $n$-vertex $H$-free graph. Gerbner, Győri, Methuku and Vizer proved that $\ex(n,C_6,C_8)=Θ(n^3)$ and predicted that the unrestricted problem should have the same first-order asymptotics as the bipartite one. We determine the exact value for all sufficiently large $n$, showing that \[ \ex(n,C_6,C_8)=6\binom{n-3}{3}+12(n-5). \] Moreover, the unique extremal graph is $K_3\vee (K_2\cup I_{n-5})$. The main new ingredient is a codegree decomposition for $C_8$-free graphs: a packing lemma for triangles in the linear-codegree graph recovers an almost spanning common neighborhood, and a defect-absorption argument upgrades this stability to the exact extremal graph.

For graphs $F$ and $H$, let $\mathrm{ex}(n,H,F)$ denote the maximum number of copies of $H$ in an $n$-vertex $F$-free graph. Very recently, Janzer, Longbrake, and Yepremyan proved that for $3<a\leq b$ and sufficiently large $t$, \begin{equation*} \mathrm{ex}(n,K_{a,b},K_{3,t})=Θ_{a,b,t}(n^3). \end{equation*} Later, Hou, Hu, and Wang made this threshold explicit by showing that the conclusion holds for all $t\geq 2\max\{3,\lceil b/2\rceil\}+1$. In particular, for every even $b\geq 6$, this matches the necessary threshold $t=b+1$. In this paper, we resolve the remaining case where $b$ is odd. More precisely, we prove that for all fixed integers $b\geq 5$ and $3<a\leq b$, \begin{equation*} \mathrm{ex}(n,K_{a,b},K_{3,b+1})=Θ_{a,b}(n^3). \end{equation*} Our construction uses a finite-field point set in $\mathrm{PG}(5,q)$ together with an orthogonal polarity. The key new ingredient is the polynomial splitting lemma due to Andrade, Bary-Soroker, and Rudnick, which produces many planes whose intersections with the point set and their polar planes both have size $b$. This gives a $K_{3,b+1}$-free incidence graph while preserving $Ω_{a,b}(n^3)$ copies of $K_{a,b}$.

In this note, we give a Turán theorem for Cayley graphs $\Cay(\Z_p,S)$ over prime cyclic groups $\Z_p$. For a graph $F$ and a finite abelian group $G$, define the Cayley--Turán number by \[ \exCay(F,G) = \max\{|S|:S=-S\subseteq G\setminus\{0\},\ \Cay(G,S)\text{ is }F\text{-free}\}. \] Using a polynomial method, we prove that for every odd prime $p$ and every $1\le r\le p-1$, \[ \exCay(K_{r+1},\Z_p) = p-1-2\left\lfloor\frac{p}{r+1}\right\rfloor . \] The extremal construction is the complement of the short-difference interval \[ D_0=\{0,\pm1,\ldots,\pm\lfloor p/(r+1)\rfloor\}. \] We also discuss what changes for general finite abelian groups, showing why the exact prime-cyclic formula does not extend verbatim to composite cyclic groups.

For graphs $H$ and $F$, the generalized Turán number $\operatorname{ex}(n,H,F)$ denotes the maximum number of copies of $H$ in an $n$-vertex $F$-free graph. We prove a general lifting principle for the case $H=K_3$ and the forbidden graph is a vertex-disjoint union of several copies of a graph. The key hypothesis is a local neighborhood-forcing condition: there is a graph $R$ with $\operatorname{ex}(n,R)=o(n^2)$ such that $F\subseteq K_1\nabla R$. Under this condition, the corresponding single-forbidden-graph asymptotics, together with a construction attaining the relevant extremal triangle and edge densities simultaneously, lift to an asymptotic value for \(\operatorname{ex}(n,K_3,(s+1)F)\) for every integer \(s \). We also prove an exact version in terms of the maximum value of a weighted expression over all graphs of a given size that avoid the forbidden graph. As applications, we obtain exact or asymptotic results for disjoint unions of suspensions of paths and stars. We also recover known exact results for disjoint odd cycles.

For every integer $k \ge 1$ and sufficiently large $n$, we show that the extremal construction for the Turán number of the $4$-uniform tight cycle of length $4k+2$ minus one edge is a complete odd-bipartite $4$-graph. In particular, since $C_{6}^{4-}$ contains the $4$-uniform expanded triangle as a subgraph, our result extends that of Frankl and Keevash--Sudakov on the Turán density and the Turán number of the $4$-uniform expanded triangle. We also show that the Turán density of $C_{4k+2}^{4}$ is $1/2$ for all integers $k \ge 2$, and establish the corresponding stability result. This strengthens the result of Sankar on the Turán density of $C_{4k+2}^{4}$ which holds only for all sufficiently large $k$.

Let $\mathcal{H}$ be a family of graphs. A graph is said to be $\mathcal{H}$-free if it contains no subgraph isomorphic to a graph in $\mathcal{H}$. The planar Turán number $ex_{_\mathcal{P}}(n,\mathcal{H})$ is defined as the maximum number of edges in an $\mathcal{H}$-free planar graph on $n$ vertices. In this paper, we determine the exact value of $ex_{_\mathcal{P}}(n,\{K_{4}, Θ_{6}^{1}\})$ and a tight upper bound of $ex_{_\mathcal{P}}(n,\{K_{4}, Θ_{6}^{2}\})$.

For graphs $F$ and $H$, the generalized Turán number $\mathrm{ex}(n,F,H)$ denotes the maximum number of copies of $F$ in an $H$-free graph on $n$ vertices. We prove that if $s\in \{2,3\}$, $s< a\leq b$ and $t$ is sufficiently large, then $\mathrm{ex}(n,K_{a,b},K_{s,t})=Θ(n^s)$. The $s=2$, $a=b=3$ case of this result answers a question of Spiro. Proving another conjecture of Spiro, we show that for every graph $F$ with at least one edge, there exist infinitely many real numbers $r$ such that $\mathrm{ex}(n,F,H)=Θ(n^r)$ holds for some graph $H$.

The generalized Turán number $ex(n, K_{t, t}, K_{2, t+1})$ is the maximum number of copies of $K_{t, t}$ that a $K_{2, t+1}$-free graph on $n$ vertices can contain. Recently, Pohoata, Tidor, and Yu established that $ex(n, K_{t, t}, K_{2, t+1}) = Θ_t(n^2)$ for all integers $t \geq 3$. In this short note, we use an explicit construction to establish that when $t$ is a prime power and $n = t^{2e - 1}$, then $$ ex(n, K_{t, t}, K_{2, t+1}) = (1 + o(1))\frac{n^2}{2t(t-1)}. $$

An edge-colored graph is called rainbow if all its edges have distinct colors. For a fixed graph $H$, the rainbow Turán number $\exstar(n, H)$ is the maximum number of edges in a properly edge-colored graph with $n$ vertices that does not contain a rainbow subgraph isomorphic to $H$. A $t$-fan $\Ft$ ($t \geq 2$) is a graph formed by $t$ triangles sharing a common vertex. A wheel graph $\Wn$ is constructed by connecting a new vertex $x$ to all vertices of a cycle $\Cn$ with $n$ vertices. Keevash, Mubayi, Sudakov, Verstraëte~({\small Combin. Probab. Comput., 2007}) showed that \[ \exstar(n, F_t) \geq \floor{\frac{n^2}{4}} + (t-1)\floor{\frac{n}{2}} \] by constructing extremal graphs for $n\not\equiv 2\pmod 4$. In this paper, we propose such a method: for a graph $H$, the upper bound of $\exstar(n, H)$ can be analyzed using the rainbow Turán number of $H'$, where $H'$ is obtained by deleting one vertex from $H$. By applying this method, we determine the exact values of the rainbow Turán numbers for two families of graphs when the number of vertices $n$ is sufficiently large. Specifically, we obtain: (1) when $n > 230t$, \[ \exstar(n, \Ft) = \floor{\frac{n^2}{4}} + (t-1)\floor{\frac{n}{2}} - \Dn, \] where $\Dn = 1$ if $n \equiv 2 \pmod{4}$, and $\Dn = 0$ otherwise; (2) for graphs $H$ satisfying $W_{2t} \subset H \subset \Kts$ ($t \leq s$), when $n$ is sufficiently large, \[ \exstar(n, H) = \begin{cases} \floor{\frac{n^2}{4}} + \floor{\frac{(t-1)n}{2}} - \Dn & \text{if } t \text{ is odd}, \\ \floor{\frac{n^2}{4}} + \floor{\frac{(t-1)n}{2}} & \text{if } t \text{ is even}. \end{cases} \]

We revisit a conjecture of Mubayi that was proposed as a hypergraph analogue of the Li--Li algebraic proof of Turán's theorem. The conjecture compares a polynomial ideal generated by multipartite 3-graphs with a differentiated diagonal-vanishing ideal. We show that the proposed equality fails for every non-vacuous choice of parameters. The obstruction is structural: diagonal vanishing does not remember the missing codegree-star condition that drives Mubayi's hypergraph problem. We then give a replacement in edge-variable rings using monomial cover ideals. For ordinary forbidden-family Turán problems, the cover ideal converts extremal edge counting into an initial-degree computation. For generalized Turán numbers, the same cover ideal encodes the forbidden condition, while the objective becomes a quotient rank on the space spanned by the target-copy monomials. For Mubayi's core-pair family $\mathcal{K}_{\ell}^{(r)}$, this cover ideal has an explicit missing codegree-star form. A Hilbert-function symmetrization theorem for square-zero quadratic monomial quotients computes its initial degree and recovers Mubayi's hypergraph Turán theorem.

Let $\mathcal{F}_5$ denote the $3$-uniform hypergraph on the vertex set $\{f_1,f_2,\dots,f_5\}$ with hyperedges $\{f_1f_2f_3,f_1f_2f_4,f_3f_4f_5\}$. Recently, Balogh, Clemen and Luo determined the Turán number of a one-vertex blow-up of $\mathcal{F}_5$, more specifically, they blow up the vertex $f_5$ to $t$ vertices, the resulting hypergraph is denoted by $\mathcal{F}_5(f_5;t)$. They show that for infinitely many $t$, $\mathcal{F}_5(f_5;t)$ has exponentially many extremal constructions and positive Turán density. In this paper, we determine the exact Turán number of the hypergraph obtained by blowing up $f_3$ of $\mathcal{F}_5$ to $t$ vertices and show that it also has exponentially many extremal constructions. We also give a general upper bound and lower bound of the Turán number of every blow-up of $\mathcal{F}_5$. For some special blow-ups of $\mathcal{F}_5$, for example, $t$-disjoint copies of $\mathcal{F}_5$, we determine the exact Turán number. We construct a hypergraph $\mathcal{F}_{sim}(t)$ which is a subgraph of a blow-up of $\mathcal{F}_5$, and is contained in the hypergraph obtained by adding any new hyperedge to the Turán hypergraph (the balanced complete $3$-partite hypergraph), but its extremal construction is not the Turán hypergraph. We also determine the exact Turán number of $\mathcal{F}_{sim}(t)$.

Let $H$ be a nonempty graph. A graph is $H$-free if it does not contain any copy of $H$ as a subgraph. The outerplanar Turán number of $H$, denoted by $ex_{_\mathcal{OP}}(n,H)$, is the maximum number of edges among all $H$-free outerplanar graphs on $n$ vertices. A double star $S_{p,q}$ is the graph obtained from an edge by joining its two endpoints with $p$ and $q$ isolated vertices respectively, where $q \ge p\ge 1$. In this paper, we determine the exact values of $ex_{_\mathcal{OP}}(n,S_{p,q})$ for all $q\ge p\ge 2$, with the sole exception of $p=2$ and $q=3$; for the latter, we establish a lower bound.

Given graphs $H$ and $F$, the generalized Turán number $\mathrm{ex}(n,H,F)$ is the maximum number of copies of $H$ among all $n$-vertex $F$-free graphs. The friendship graph $F_k$ consists of $k$ triangles sharing a common vertex. In this paper, we determine the value of $\mathrm{ex}(n,K_3,(t+1)F_k)$, where $K_3$ is a triangle, $t\geq 1$ is an integer, and $(t+1)F_k$ denotes a union of $(t+1)$ pairwise vertex-disjoint copies of $F_k$. Moreover, we characterize the extremal structure. Our result can be viewed as a generalization of the result of Zhu, Chen, Gerbner, Győri, and Hama Karim, as well as of the remaining case left open by Wang, Ni, Liu, and Kang. In contrast to the extremal graphs of $F_k$, the extremal graphs of $(t+1)F_k$ undergo a fundamental change. This structure is also different from those of previous similar problems.

Given a graph $F$, the $r$-expansion $F^{(r)+}$ of $F$ is the $r$-uniform hypergraph obtained from $F$ by inserting $r-2$ new distinct vertices in each edge of $F$. Recently, Alon and Frankl (JCTB, 2024) and Gerbner (JGT, 2023) studied the maximum number of edges in $n$-vertex $F$-free graphs with bounded matching number, respectively. Gerbner, Tompkins and Zhou (EJC, 2025) considered the analogous Turán problems on hypergraphs with bounded matching number. In this paper, we study hypergraph extensions of the Alon--Frankl Theorem. More precisely, we determine the maximum number of hyperedges in an $n$-vertex $r$-uniform hypergraph containing neither a matching $M^r_{s+1}$ nor the expansion $K_{\ell+1}^{(r)+}$ of the clique $K_{\ell+1}$ for all small $s<\frac{\ell^2-1}{2}$ and all sufficiently large $s$, respectively. As a key tool, we determine the rainbow hyper-Turán number for expansions of cliques, which extends the result of Keevash, Saks, Sudakov and Verstra{ë}te (AAM, 2004) on rainbow copies of cliques. This shows a correlation between the hyper-Turán problem and the rainbow Turán number.

The planar Turá number of a graph $F$ is the maximum number of edges an $n$-vertex $F$-free planar graph can have. We study the case where $F$ is forbidden as an induced subgraph, thereby introducing the induced planar Turá numbers. We will determine a sharp upper bound when $F$ is $Θ_4$, a $4$-cycle with a diagonal edge, and obtain exact extremal values in case $F$ is a path $P_k$ on $k$ vertices, for $k=3,4$ and $5$.