arXiv++ Combinatorics

Let $\TP_k$ denote the triangular pyramid with $k$ layers. For a graph family $\mathcal F$, let $\ex(n,\mathcal F)$ be the maximum number of edges in an $n$-vertex graph containing no member of $\mathcal F$ as a subgraph. For a graph $H$, let $\cJ(H)$ be the family of subgraph-minimal graphs among all such graphs $H-I$, where $I\subseteq V(H)$ is an independent set. For every integer $k\ge4$ and all sufficiently large $n$, we prove that \[ \ex(n,\TP_k)=\max_{0\le m\le n}\{m(n-m)+\ex(m,\cJ(\TP_k))\}+O_k(n)=\left\lfloor n^2/4\right\rfloor+Θ_k(n^{4/3}). \] Moreover, for $k=4$, we characterize all extremal graphs and show that \[ \ex(n,\TP_4)=\max_{0\le m\le n}\bigl\{m(n-m)+\ex\big(m,\cJ(\TP_4)\big)\bigr\} \] for sufficiently large $n$.

For a graph $H$, the suspension $\widehat H$ of $H$ is a graph obtained from $H$ by joining a new vertex to every vertex of $H$. The generalized Turán number $\textrm{ex}(n,K_3,\widehat H)$ is the maximum number of triangles in an $n$-vertex $\widehat H$-free graph. For fixed $k \ge 4$, Mubayi and Mukherjee conjectured that \[ \textrm{ex}(n,K_3,\widehat P_k) =\left\lfloor\frac{k-2}{2}\right\rfloor\frac{n^2}{8}+o(n^2), \] as $n \to \infty$, where $P_k$ is the path on $k$ vertices. They verified the conjecture for $k=4,5,6$. In this paper, we determine the asymptotic value of $\textrm{ex}(n,K_3,\widehat P_k)$ for every $k\ge 4$ via a unified approach and thus prove the conjecture of Mubayi and Mukherjee.

A hypergraph is linear if every pair of vertices is contained in at most one hyperedge. We study linear Turán numbers of acyclic $r$-uniform hypergraphs, extending earlier work of Gyárfás, Ruszinkó, and Sárközy from uniformity $3$ to general $r$, with emphasis on hypertrees with four hyperedges. For the linear path $P_4^r$, we prove $\operatorname{ex}^{\mathrm{lin}}_r(n,P_4^r)\le (r+1)n/r$, with equality precisely for disjoint unions of Steiner systems $S(2,r,r^2)$, whenever such systems exist. We also give counterexamples to a structural claim used in a previously proposed proof for $r=4$. The same bound and equality characterization hold for the broom $B_4^r$. For the crown $E_4^r$, writing $B=\{v:d(v)\le r\}$ and $C=\{v:r+1\le d(v)\le2r-1\}$, we prove $|E(H)|\le r|B|/(r-1)+(2r-1)|C|/r$, and hence $\operatorname{ex}^{\mathrm{lin}}_r(n,E_4^r)\le(2r-1)n/r$. We also give a lower-bound construction and formulate a sharper conjecture. Finally, for the linear star $S_k^r$, we prove $\operatorname{ex}^{\mathrm{lin}}_r(n,S_k^r)\le n(k-1)/r$, with equality precisely for $(k-1)$-regular linear $r$-uniform hypergraphs, whenever such hypergraphs exist. Under suitable divisibility and existence assumptions, we also construct $T_k^r$-free examples with $n(k-1)/r$ edges for every linear $r$-uniform hypertree $T_k^r$ with $k$ hyperedges.

For an $r$-uniform hypergraph $\mathcal H$, let $\ex_r(n,\mathcal H)$ denote the maximum number of edges in an $n$-vertex $r$-uniform hypergraph containing no copy of $\mathcal H$. The $r$-uniform expansion $T^{(r)}$ of a tree $T$ is obtained by adding $r-2$ new vertices to each edge, with the added sets pairwise disjoint and disjoint from $V(T)$. In particular, the expansion of $K_{1,k}$ is the linear star $\mathcal L_k^r$, whose $k$ edges intersect pairwise in a single common vertex. Chung and Frankl (1987) determined $\ex_3(n,\mathcal L_k^3)$ and all extremal hypergraphs for every $k\ge3$ and sufficiently large $n$. We extend the odd-$k$ part of their result to every $r\ge5$, determining the exact Turán number and the unique extremal hypergraph up to isomorphism for sufficiently large $n$. More generally, we extend this result to expansions of trees for which the minimum degree among the vertices in the smaller color class is odd and at least three. For every $r\ge5$ and sufficiently large $n$, we establish lower and upper bounds on their Turán numbers. When no two vertices attaining this minimum degree in that color class have a common neighbor, we determine the exact Turán number and the unique extremal hypergraph up to isomorphism. The proofs combine the delta-system method with stability arguments and a detailed analysis of extremal constructions.

Given a graph $H$, the Turán number ${\rm ex}(n,H)$ of $H$ is the maximum number of edges of an $n$-vertex simple graph containing no $H$ as a subgraph. Let $kK_p$ denote the disjoint union of $k$ copies of the complete graph $K_p$. In this paper, utilizing the idea of the proof of the Hajnal-Szemerédi Theorem and discharging, we determine the value ${\rm ex}(n,4K_p)$ for all $n$ and $p\ge 3$.

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.

For a graph \(F\), the Turán number \(\ex(n,F)\) is the maximum number of edges in an \(F\)-free graph on \(n\) vertices. Let \(q\ge 2\) be an integer and set \(n=q^{2}+q+1\). Brown and Erdős, Rényi and Sós independently proved that $\ex(n,C_{4})\ge \frac12 q(q+1)^{2}$ for every prime power \(q\), and Füredi subsequently established the upper bound $\frac12 q(q+1)^{2}$ for $\ex(n,C_{4})$ whenever \(q\notin\{1, 7,9,11,13\}\). In this article, we prove that every \(C_{4}\)-free graph \(G\) on \(n\) vertices with at most \(\frac12 q(q+1)^{2}\) edges satisfies $τ(G)\le n^{(n-3)/2}$, where \(τ(G)\) denotes the number of spanning trees of \(G\). In particular, for every prime power $q\notin\{7,9,11,13\}$, the above upper bound on $τ(G)$ is attained precisely by the orthogonal polarity graphs, thereby proving London's conjecture for all such $q$.

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 + C(m,r,s) \] for $n$ sufficiently large compared to $m$, $r$, and $s$, where $C(m,r,s)$ does not depend on $n$, 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.

A classical object in hypergraph Turán theory is the Fano plane $\mathbb{F}$, the unique linear $3$-graph on seven vertices with seven edges. The Turán density and exact Turán number of $\mathbb{F}$, first proposed as a problem by Sós~\cite{Sos76} in the 1970s, were determined through a sequence of works by De Caen--Füredi~\cite{DCF00}, Füredi--Simonovits~\cite{FS05}, Keevash--Sudakov~\cite{KS05}, and Bellmann--Reiher~\cite{BR19}. Confirming a conjecture of Balogh--Clemen--Lidický~{\cite[Conjecture~3.1]{BCL22a}} in a stronger form, we establish an Andrásfai--Erdős--Sós--type stability theorem for $\mathbb{F}$ in the $\ell_2$-norm: there exists a positive constant $\varepsilon$ such that for large $n$, every $\mathbb{F}$-free $3$-graph on $n$ vertices with minimum $\ell_2$-norm degree at least $(5/4 - \varepsilon)n^3$ must be bipartite. As a consequence, for large $n$, the balanced complete bipartite $3$-graph is the unique extremal construction for the $\ell_{2}$-norm Turán problem of $\mathbb{F}$. Our proof includes a refinement of a classical result by Ahlswede--Katona~\cite{AK78} on counting stars, and the establishment of an Andrásfai--Erdős--Sós--type theorem for a multigraph Turán problem studied by Bellmann--Reiher~\cite{BR19}, both of which are of independent interest.

For a $3$-graph $F$, the Turán number of $F$, denoted by $\ex(n,F)$, is the maximum number of edges in a $3$-graph on $n$ vertices containing no subgraph isomorphic to $F$. Let $F^-_{4,3}$ be the $3$-graph formed by a complete four-vertex core and three outer vertices, with all but one of the twelve triples containing one core vertex and two outer vertices. We prove that, for every $n\ge8$, \[ \ex(n,F^-_{4,3})=\binom n3-\binom{\lfloor n/2\rfloor}{3}-\binom{\lceil n/2\rceil}{3}, \] and the balanced complete bipartite $3$-graph is the unique extremal configuration. This determines the exact value and all equality cases in the asymptotic theorem of Mubayi and Rödl. It also extends the exact Turán Number of $F_{3,3}$ and resolves a conjecture of Frankl, Huang and Rödl.

In this paper we introduce and explore the following new graph invariant: For a graph $G$ on $k$ vertices, $G \neq K_k$, let $st(n,G)$ denote the maximum number of edges in a graph of order $n$ which does not contain any subgraph on $k$ vertices strictly containing $G$. A basic relation to classical Turán numbers is developed via the following: For $G$ on $k$ vertices, let $D(G) = \{ H : |H| = |G|, H = G + e \}$. Using this notion we prove that $ex(n,G) \leq st(n,G) = ex(n, D(G) ) \leq \min \{ ex(n,H) : H \in D(G) \}$ holds for all $n \geq |G|$. The family $D(G)$ happened to be smoothly amenable to the use of classical extremal results, and in many cases allows us to get asymptotically sharp estimates as well as exact values of $st(n,G)$. From the many results proved here we state the following as an illustration. (1) If $χ(G) \geq 3$ and $χ(D(G)) = χ(G)$, then $st(n,G) = (1+o(1))ex(n,K_{χ(G)})$. (2) If $χ(D(G)) = χ(G) +1$, then $G$ is a complete $χ(G)$-partite graph and $st(n,G) = ex(n,K_{χ(G) +1})$ for $n$ sufficiently large. (3) For $k$ odd, $k\geq 5$, $st(n,C_k) = ex(n,C_k) = ex(n,K_3)$ for $n$ sufficiently large. (4) If $T$ is a tree of order $q$ with diameter $k \geq 2$ and $q \geq k+1 \geq 3$, then $ex(n, \{C_3,...,C_{k+1}\}) \leq st(n,T) \leq ex(n, \{C_3,...,C_{k+1}\}) + (q-1)n$. Many results concerning even cycles, theta graphs, dense bipartite graphs and graphs of the form $G = G^* \cup tK_1$ are obtained, moreover the value of $st(n,G)$ is computed for all graphs on at most 4 vertices.

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.

We study Turán problems for balanced even cycles in simple signed graphs, where signed subgraphs are considered up to switching. For every balanced bipartite signed graph, the signed and ordinary Turán numbers differ by at most a factor of two. Our main structural results concern the underlying graphs that admit a signing in which every $2k$-cycle is unbalanced. We characterize these graphs by the absence of an odd dependence among their $2k$-cycle incidence vectors, give a cohomological formulation, and construct subgraph-minimal obstructions of arbitrarily large order. In particular, there is no finite forbidden-subgraph characterization. We also give an exact closed-walk criterion for cycles in double covers and derive a direct signed breadth-first-search upper bound. As applications, we prove \[ \hex(n,C_{+4})=\left(\frac{\sqrt2}{2}+o(1)\right)n^{3/2} \] and study the signed hexagon number $R_6(n)=\hex(n,\{C_{-3},C_{+6}\})$. We characterize the underlying graphs counted by $R_6$ and express it as an extremal problem for ordinary $C_6$-free graphs with a prescribed involution. For every sufficiently large $n$, we construct examples with $Ω(n^{4/3})$ edges, and we give an equivariant construction attaining the coefficient obtained from the Füredi--Naor--Verstraëte lower bound by double-cover transfer. Finally, we give $n$-vertex $C_{+10}$-free signed graphs with $Ω(n^{6/5})$ edges and use octagon examples to illustrate the limitations of theta-freeness as a signing criterion.

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

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.