arXiv++ Combinatorics

For a graph $F$, the Turán number $\operatorname{ex}(n,F)$ is the maximum number of edges in an $n$-vertex graph containing no copy of $F$. Determining the Turán numbers of even cycles is a central problem in extremal graph theory and remains open in general. For $C_6$, the best previous upper bound was due to Füredi, Naor, and Verstraëte [Advances in Mathematics, 2006], who proved that, for sufficiently large positive integer $n$, $$ \operatorname{ex}(n,C_6) \leq λn^{4/3}+O(n)<0.6272 n^{4/3}, $$ where $λ$ is the real root of $ 16λ^3-4λ^2+λ-3=0$. We improve this bound by showing that, for sufficiently large positive integer $n$, $$ \operatorname{ex}(n,C_6) \leq αn^{4/3}+O(n)<0.6144 n^{4/3}, $$ where $α$ is the unique real root of $ 4 α^{3} (3/2)^{1-1/(2α)} =1$ in the interval $(1/2,2/3)$.

Let \(β(G)\) denote the minimum size of a feedback edge set of a digraph \(G\), and let \(γ(G)\) denote the number of unordered pairs of nonadjacent vertices. Motivated by the Chudnovsky--Seymour--Sullivan conjecture for \(3\)-free digraphs, we study the corresponding feedback-edge problem for bipartite digraphs. In the bipartite setting, \(γ(G)\) is taken to count only nonadjacent pairs with ends in distinct partite sets. We prove that every \(4\)-free bipartite digraph \(G\) satisfies \(β(G)\le γ(G)/2\). We also determine the exact Turán number of \(2k\)-free strong bipartite digraphs with partite sets \(X\) and \(Y\): if \(|X|,|Y|\ge k+1\), then the maximum number of edges is $$(|X|-(k-1))(|Y|-(k-1))+2k-2.$$ Finally, for the extremal case \(k=2\), we analyze the structure of \(4\)-free strong bipartite Turán digraphs and prove the sharper bound \(β(G)\le γ(G)/3\) for all such digraphs. This constant is attained by a natural balanced three-block construction.

The book with $t$ pages is the graph on $t+2$ vertices consisting of $t$ triangles which intersect at exactly one common edge. For a given graph $F$, the $r$-expansion $F^r$ of $F$ is the $r$-uniform hypergraph obtained from $F$ by adding $r-2$ distinct new vertices to each edge of $F$. We determine the Turán number of the 3-expansion of the book graph for sufficiently large $n$.

Given a set $V$ of $n$ vertices and an integer $k\ge1$, our goal is to maximize the number of edges in graphs $G_1, G_2, \ldots, G_k$, defined on $V$, under the constraint that the union of all graphs, thought of as a multi-graph, does not contain a rainbow copy of the path $P_5$ on $5$ vertices, that is, a copy of $P_5$ with each of its four edges belonging to a different $G_i$. We consider two versions of the problem, in which, respectively, $\sum_i e(G_i)$ and $\min_i e(G_i)$ is maximized. In the former case, we determine the maximum precisely for all $k\le n-1$ (and also for $P_4$). In the latter, we obtain an asymptotic value for $k\in\{5,6,9\}$ and formulate a very plausible conjecture for all other values of $k$. We also solve the problem for $k=4$, but under an additional assumption of completeness.

Let $\mathrm{ex}(n,H)$ denote the Turán number of $H$. A graph is color-critical if there exists an edge $e\in E(H)$ such that $χ(H-e)<χ(H)$. For a color-critical graph $H$ with $χ(H)=r+1$, Simonovits' chromatic critical edge theorem implies that there exists an $n_0(H)$ such that $\mathrm{ex}(n,H)=e(T_{n,r})$ and the Turán graph $T_{n,r}$ is the only extremal graph provided $n\geq n_0(H).$ Let $W_{2k+2}$ be the even wheel obtained by joining a vertex to a cycle of length $2k+1,$ where $k\geq1$ is an integer. Since $W_{2k+2}$ is color-critical and $χ(W_{2k+2})=4$, $T_{n,3}$ is the unique extremal graph for $W_{2k+2}$-free graphs of sufficiently large $n.$ Note that the extremal graph $T_{n,3}$ is 3-partite. In this paper, we determine the exact Turán number of $W_{2k+2}$ in non-$3$-partite graphs and characterize all extremal graphs provided $n$ is sufficiently large.

Given graphs $H$ and $F$, the generalized Turán number ${\rm ex}(n,H,F)$ is the maximum number of copies of $H$ in an $n$-vertex $F$-free graph. Alon and Shikhelman (J. Combin. Theory Ser. B, 2016) initiated the systematic study of generalized Turán problems. Recently, Gao, Wu and Xue (J. Graph Theory, 2026) asked whether every graph $F$ with chromatic number $χ(F)=r\geq3$ and treewidth ${\rm tw}(F)\geq r$ satisfies ${\rm ex}(n,K_r,F)=Ω(n^{r-1})$. In this note, we give a negative answer to this question for every $r\geq3$. More precisely, we prove that the graph $F_r=K_{r-3}\vee H$, where $H$ is obtained from $K_4$ by subdividing one edge once, satisfies $χ(F_r)={\rm tw}(F_r)=r$ and \[ n^{r-1}e^{-O(\sqrt{\log n})}\leq {\rm ex}(n,K_r,F_r)=o(n^{r-1}). \] This result also disproves Conjecture 6.3 in the recent survey of Gerbner and Palmer (Electron. J. Combin., 2026).

For a graph $H$ and a family of graphs $\mathcal F$, let $\text{ex}(n,H,\mathcal F)$ denote the maximum number of copies of $H$ in an $\mathcal F$-free graph on $n$ vertices. For every integer $i\ge 3$, let $C_i$ denote the cycle of length $i$. For $r\ge 3$, set $\mathscr {C}_r=\{C_3,C_4,\ldots,C_r\},$ and set $\mathscr {C}_2=\varnothing$. In this paper, we prove that, for all integers $l>k\ge 2$, $$ \text{ex}(n,C_{2k+1},\mathscr {C}_{2k}\cup\{C_{2l+1}\}) =O_{k,l} \left(n^{2-\frac{1}{k(k+1)(l-k)}}\ \ \right). $$ Together with the known upper bounds for the number of triangles in $C_{2l+1}$-free graphs, this confirms a conjecture of Gerbner, Győri, Methuku, and Vizer.

Given a graph $G$ with degree sequence $d_{1},\ldots,d_{n}$ and a positive real number $p$, let $e_{p}(G)=\sum_{i=1}^{n} d_{i}^{p}$. For a fixed family of graphs $\mathcal F$, let $ex_{p}(n, \mathcal F)$ denote the maximum value of $e_{p}(G)$ over all $\mathcal F$-free graphs $G$ on $n$ vertices. In 2000, Caro and Yuster introduced the following Turán-type problem: For a positive integer $p$ and a fixed graph $F$, determine $ex_{p}(n, F)$, and characterize the extremal graphs $G$ on $n$ vertices that attain $ex_p(n, F)$. Recently, Gao, Liu, Ma and Pikhurko proved that $ex_{p}(n, \mathcal F)=(τ(\mathcal F)-1+o(1))n^p$ for real $p>\frac{1}{1-α}$, where $\mathcal F$ is a degenerate family of graphs with classical Turán number $ex(n, \mathcal F)=O(n^{1+α})$ for some $α\in[0,1)$, and $τ(\mathcal F)$ is the minimum size of an independent vertex cover over all bipartite graphs $F\in\mathcal F$. Based on their method, we obtain a stability result for $ex_{p}(n, \mathcal F)$, and prove that all extremal graphs must contain the complete bipartite graph $K_{τ(\mathcal F)-1,n-τ(\mathcal F)+1}$ when $n$ is sufficiently large. Our results can be used to deduce all previously known results about $ex_{p}(n, F)$ when $F$ is a bipartite graph and $n$ is sufficiently large. We also obtain several new exact results for $ex_{p}(n, F)$, namely, when $F$ is an even cycle, a complete bipartite graph, a discrete hypercube, a caterpillar forest, and a spider forest.

The bipartite Turán number of a graph $H$, denoted $\text{ex}(m, n; H)$, is the maximum number of edges in any $H$-free bipartite graph $G = (A, B; E)$ with parts of size $|A| = m$ and $|B| = n$. We study this problem for two families. For a tree $T = T(r, s)$ with parts $R$ and $S$ of sizes $|R| = r \le s = |S|$, we prove \[ (r - 1) n \;\le\; \text{ex}(m, n; T(r, s)) \;\le\; (r - 1) n + O(m) \] for $n$ sufficiently large compared to $m$, $r$, and $s$, determining the leading-order term exactly (with the star case $r=1$ solved with an exact formula). For a star forest $F = \bigcup_{i=1}^k S_{d_i}$ with $d_1 \ge \cdots \ge d_k$, we determine the exact value $\text{ex}(m, n; F) = (k - 1) n + (d_k - 1)(m - k + 1)$ for $n$ sufficiently large, and characterize the unique extremal graph.

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.

Given graphs $H$ and $F$, the generalized Turán number ${\rm ex}(n,H,F)$ is the maximum number of copies of $H$ in an $n$-vertex $F$-free graph. Alon and Shikhelman (J. Combin. Theory Ser. B, 2016) initiated the systematic study of generalized Turán problems. Let $T$ be a tree on $k$ vertices, and write $n=a(k-1)+b$, where $0\leq b<k-1$. Recently, Gerbner and Palmer (Electron. J. Combin., 2026) proposed the following conjecture: for every $r\geq3$, the graph $aK_{k-1}\cup K_b$ maximizes the number of copies of $K_r$ among all $n$-vertex $T$-free graphs. In this paper, we verify their conjecture when $r=k-2$ or $r=k-3\geq5$. More precisely, we show that ${\rm ex}(n,K_r,T)=a\binom{k-1}{r}+\binom{b}{r}$ and characterize all extremal graphs.

A central problem in spectral Turán theory is to understand the relationship between the spectral extremal family ${\rm SPEX}(n,F)$ and the ordinary extremal family ${\rm EX}(n,F)$. For many forbidden graphs $F$, it is known that ${\rm SPEX}(n,F)\subseteq{\rm EX}(n,F)$ holds for infinitely many $n$, while only a few examples have been identified where the two families are disjoint. In this paper, we study this problem for suspensions of balanced trees. A tree is balanced if its two bipartition classes differ in size by at most one. Let $T$ be a balanced tree on $2k$ or $2k+1$ vertices and $\widehat T$ be its suspension which is obtained from $T$ by adding one new vertex adjacent to every vertex of $T$. Our first main result establishes a tight upper bound for the spectral Turán number of $\widehat T$ for sufficiently large $n$ provided that $T$ satisfies some mild assumptions. Our second result determines for which integers $k$ and which non-path balanced trees $T$ on $2k$ or $2k+1$ vertices there are infinitely many integers $n$ such that ${\rm EX}(n,\widehat{T})\cap {\rm SPEX}(n,\widehat{T})=\emptyset$.

A $t$-$(v,k,λ)$ covering is a collection of $k$-subsets (blocks) of a $v$-set such that every $t$-subset of points lies in at least $λ$ blocks; the covering number $C_λ(v,k,t)$ is the least number of blocks in such a collection, and one writes $C(v,k,t)$ when $λ=1$. The recorded bounds for $C(12,6,4)$ have been $40 \le C(12,6,4) \le 41$. We show that no $4$-$(12,6,1)$ covering with $40$ blocks exists, and hence that $C(12,6,4)=41$. A counting argument shows that in a hypothetical $40$-block covering every point lies in exactly $20$ blocks, the link of every point is an optimal $3$-$(11,5,1)$ covering with a forced degree sequence, and the six pairs of points of degree $10$ form a perfect matching; an exhaustive case analysis over the orbits of a group of order $3840$, carried out by satisfiability solving, then shows that no optimal $3$-$(11,5,1)$ covering occurs as such a link. Each of the $81$ formulas in the primary proof has an unsatisfiability certificate checked by drat-trim and by the formally verified checker cake_lpr; two additional cross-encoding certificates are checked by the same pipeline. The lower-bound argument uses no tabulated covering number: its only numerical input, $C(10,4,2) \ge 9$, is itself certified. As a by-product the certificates yield a self-contained certified proof that the optimal $3$-$(11,5,1)$ covering is unique up to isomorphism. Equivalently, the Turán number $T(12,8,6)$ is $41$; the new value propagates to improved lower bounds for $C(13,7,5)$, $C(14,8,6)$, $C(15,9,7)$ and $C(16,10,8)$.

We determine the generalized Turán number of vertex-disjoint paths of length two and characterize all corresponding extremal graphs. Our proof combines the Lovász form of the Kruskal--Katona theorem with a discrete convexity argument.

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. \]

For a fixed graph $G$, an $r$-uniform hypergraph is said to contain a Berge-$G$ if there exists a bijection $f\colon E(G)\to E(\mathcal{H})$ for some subhypergraph $\mathcal{H}$ such that $e\subseteq f(e)$ for every $e\in E(G)$. Motivated by Alon and Frankl's study of Turán problems under bounded matching constraints, we investigate the maximum number of edges in $r$-uniform Berge-$K_3$-free hypergraphs with matching number at most~$s$. We determine the exact Turán numbers for the cases $r=3$ and $r=4$. For $r=3$ and $n \geq 3 s$, we prove that every $n$-vertex Berge- $K_3$-free 3-graph with matching number $s$ has at most $s(n-2 s)$ edges, and we characterize the unique extremal hypergraph attaining equality. For $r=4$ and $n \geq 4 s$, the maximum number of edges is $s\lfloor(n-2 s) / 2\rfloor$, except for the exceptional case $s=1$ and $n \equiv 1(\bmod 4)$, in which the bound is $(n-1) / 2$. As a corollary, our results recover the classical theorem of Győri on Berge-$K_3$-free hypergraphs.

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}}).$