arXiv++ Combinatorics

In this paper, we determine the graphs with maximum value of the sum number from $k$-clique spectral radius to $(2r-1)$-clique spectral radius among all $2K_{r}$-free graphs on $n$ vertices for $ r\le k$ and large $n$. We also determine the graphs with maximum $3$-clique spectral radius among all $2K_{3}$-free graphs on $n$ vertices. Our results are spectral versions of some results on generalized Turán numbers.

Let $\mathcal{H}$ be a hypergraph and $F$ be a graph. If there exists a bijection between the hyperedges of $\mathcal{H}$ and the edges of $F$ such that each hyperedge contains its image, then we say that $\mathcal{H}$ is a \textit{Berge copy} of $F$, and the collection of Berge copies of $F$ is denoted by Berge-$F$. Given $r$-graphs $\mathcal{F}$ and $\mathcal{H}$, the generalized hyper-Turán number $\text{ex}_r(n, \mathcal{H}, \mathcal{F})$ is the maximum number of copies of $\mathcal{H}$ in $n$-vertex $\mathcal{F}$-free $r$-graphs. We study $\text{ex}_r(n, \mathcal{H}, \text{Berge-}F)$. For general $\mathcal{H}$, we connect this problem to counting copies of the shadow graph of $\mathcal{H}$ in $F$-free graphs and obtain several exact results. In particular, we show that for any hypergraph $\mathcal{H}$, if $k$ is sufficiently large, then $\text{ex}_r(n, \mathcal{H}, \text{Berge-}K_k)$ is achieved by the balanced complete $(k-1)$-partite $r$-graph, generalizing a result of Morrison, Nir, Norin, Rza{ż}ewski and Wesolek [\textit{Journal of Combinatorial Theory, Series B}, 162 (2023) 231--243] to the case of hypergraphs. We show that $\text{ex}_r(n,K_s^r,\text{Berge-}F)\le \text{ex}_s(n,\text{Berge-}F)$ and present sufficient conditions for equality. We also consider the connected generalized Turán number for Berge paths.

The generalized Turán number $\text{ex}(n, H, F)$ denotes the maximum number of copies of $H$ in an $n$-vertex $F$-free graph. Let $kK_{r+1}$ be the disjoint union of $k$ copies of the complete graph $K_{r+1}$. Recently, Gerbner determined $\text{ex}(n, K_{t},kK_{r+1})$ for all sufficiently large $n$. In this paper, we study a spectral analogue of this problem via the $t$-clique tensor of a graph. We prove that if an $n$-vertex $kK_{r+1}$-free graph $G$ maximizes the $t$-clique spectral radius, then for sufficiently large $n$, $G$ is the join of a complete graph $K_{k-1}$ and the $r$-partite Turán graph $T_{r}(n-k+1)$. This establishes a spectral counterpart of Gerbner's Theorem. Moreover, in the case $t=2$, our result recovers a theorem of Ni, Wang, and Kang on the maximum spectral radius of $kK_{r+1}$-free graphs.

The Turán number of a graph $F$, $ex(n,F)$, is the maximum number of edges in a graph on $n$ vertices which does not contain $F$ as a subgraph. Let $S_{a,b}$ denote a double star with a central edge $uv$, $a$ leaves connected to $u$ and $b$ leaves connected to $v$. The function $ex(n,S_{a,b})$ has been studied for $a=1,2$, their extremal graphs are disjoint copies of $K_{a+b+1}$ and either a small clique or a near $b$-regular graph. In this paper, we further study $ex(n,S_{3,b})$ and determine the extremal graphs, which have more structures than those of $a=1,2$.

LDPC codes have attracted significant attention because of their superior performance close to the Shannon limit. Elementary trapping sets are the main cause of the error floor phenomenon in LDPC codes. We consider typical graphs related to trapping sets, including theta graphs, dumbbell graphs, and short cycles with chords. Based on the Turán numbers of $θ(2,2,2)$, $θ(1,3,3)$ and $D(4,4;0)$, we prove that any $(a,b)$-ETS with $g=8$ variable-regular $γ$ satisfies the inequality $b\geq aγ-\frac{a(\sqrt{24a-23}-1)}{4}$, provided that any two 8-cycles in the Tanner graph do not share common variable node. In addition, we can also eliminate ETSs by removing certain short-cycle structures with chords. The minimum sizes of ETSs obtained through these methods are significantly increased. To assess practical impact , we analyze spectral radii of the ETSs and construct QC-LDPC codes to show frame error rates in the error floor region.

Let $C_k$ denote the cycle of length $k$, $S_t$ be a star with $t$ edges. And let $B_t$ be the graph consisting of $t$ copies of $C_4$ sharing one fixed edge. Equivalently, $B_t=K_2 \mathbin{\square} S_t$, which is the Cartesian product of a star with $t$ edges and an edge. Recently, Gao, Janzer, Liu and Xu [\textit{Israel J. Math. 269(2025)}] proved that the Turán number of $K_2\mathbin{\square} C_{2l}$ is $Θ(n^{\frac{3}{2}})$ for every $l\ge 4$. In this paper, we obtain upper and lower estimates for the Turán number of $B_t$ in both the general and bipartite settings for every $t\geq 2$. For the lower bound, we use random construction based on the extremal structure of $C_4$. These results imply that $\frac{1}{2\sqrt{2}}\leq \lim_{t\to \infty} \frac{\mathrm{ex}(n,B_t)}{\sqrt{t}}\leq \frac{1}{2}$, and $\frac{1}{4}\leq \lim_{t\to \infty} \frac{\mathrm{ex}_{bip}(n,B_t)}{\sqrt{t}}\leq \frac{1}{2\sqrt{2}}.$ In the case of $B_2$, we obtain sharper estimates. We show that the Turán number of $B_2$ is approximately between $(0.518+o(1))n^{\frac{3}{2}}$ and $(0.603+o(1))n^{\frac{3}{2}}$. And in the bipartite setting, it is approximately between $(0.385+o(1))n^{\frac{3}{2}}$ and $(0.468+o(1))n^{\frac{3}{2}}$. Moreover, in the bipartite setting, we give a more general result, which shows that for every tree $T$ with $t$ edges, the bipartite Turán number of $K_2\mathbin{\square}T$ is at most $\frac{\sqrt{t}}{2\sqrt{2}}(1+o(1))n^{\frac{3}{2}}$.

We say a hypergraph $\mathcal{H}$ contains a hypergraph $\mathcal{G}$ as trace if there exists a vertex subset $S \subseteq V(\mathcal{H})$ such that $|S| = |V(\mathcal{G})|$ and $\{e \cap S: e \in E(\mathcal{H})\}$ contains $\mathcal{G}$ as a sub-hypergraph. We use $\mathrm{ex}_r(n, \mathrm{Tr}_r(\mathcal{G}))$ to denote the maximum number of hyperedges in an $r$-uniform hypergraph on $n$ vertices not containing $\mathcal{G}$ as a trace. The study of Turán numbers for traces was initiated by Mubayi and Zhao who studied the case when $\mathcal{G}$ is a complete graph. Let $M_{s+1}$ denote the graph of a matching with $s+1$ edges. In this paper, we give the upper bound of $\mathrm{ex}_r(n, \mathrm{Tr}_r(M_{s+1}))$ which is sharp asymptotically. When $r=3$, we give the exact value of $\mathrm{ex}_3 (n, \mathrm{Tr}_3 (M_{s+1}))$. We also consider the generalized Turán number in the case of matching. That is, the maximum number of copies of clique $\mathcal{K}_t^r$ in hypergraphs forbidding $\mathrm{Tr}_r (M_{s+1})$ as a trace. We give an upper bound which is sharp asymptotically and when $r=3$, we give the exact value. The Turán number of forbidding a matching and the other graph is another well studied topic initiated by Alon and Frankl. We also consider an analogue problem for the trace version, i.e., forbidding trace of matching and trace of complete graph as subgraphs.

A hypergraph $H$ is said to be \emph{linear} if every pair of vertices lies in at most one hyperedge. Given a family $\mathcal{F}$ of $r$-uniform hypergraphs (also called $r$-graphs), an $r$-graph $H$ is said to be \emph{$\mathcal{F}$-free} if it contains no member of $\mathcal{F}$ as a subhypergraph. The \emph{linear Turán number} $ex_r^{\mathrm{lin}}(n,\mathcal{F})$ denotes the maximum number of edges in an $\mathcal{F}$-free linear $r$-graph on $n$ vertices. The crown is a linear $3$-graph obtained from three pairwise disjoint edges by adding an edge that intersects each of them in a distinct vertex. Recently, Gyárfás, Ruszinkó, and Sárközy~[\emph{Linear Turán numbers of acyclic triple systems}, European J.\ Combin.\ (2022)] initiated the study of bounds on the linear Turán number for acyclic $3$-uniform linear hypergraphs, including that of the crown. We extend the notion of a crown by defining a $k$-crown, denoted by $C_{1,k}^r$, to be a linear $r$-graph consisting of one base edge together with $k$ pairwise disjoint edges, each intersecting the base in a distinct vertex. In this paper, we establish an upper bound on $ex_r^{\mathrm{lin}}(n,C_{1,k}^r)$, which in particular improves the recent bound of Zhang, Broersma, and Wang~[\emph{Generalized Crowns in Linear $r$-Graphs}, Electron.\ J.\ Combin.\ (2025)] for all $r \geq 4$, without forbidding any auxiliary configuration. We also note that the cases $k\in\{1,2\}$ correspond to the short linear paths $P_2^r$ and $P_3^r$, and can be treated separately.

Given a graph $F$, a Berge copy of $F$ (Berge-$F$ for short) is a hypergraph obtained by enlarging the edges arbitrarily. Győri, Salia and Zamora [\textit{European J. Combin.} 96 (2021) 103353] determined the maximum number of hyperedges in a connected $r$-uniform hypergraph on $n$ vertices containing no Berge path of length $k-1$ for $k\geq 2r+14$ and sufficiently large $n$, and asked for the minimum $k_0$ such that this extremal number holds for all $k\geq k_0$. In this paper, we prove that the extremal number holds for all $k\geq 2r+2$ and fails for $k\le 2r+1$, thereby completely resolving the problem posed by Gyori, Salia and Zamora. Moreover, we also improve the result of Füredi, Kostochka and Luo [\textit{Electron. J. Comb.} 26(4) (2019) 4--31], who determined the maximum number of hyperedges in a $2$-connected $n$-vertex $r$-uniform hypergraph containing no Berge cycle of length at least $k$ for $k\geq 4r$ and sufficiently large $n$, by showing that this extremal number holds for all $k\geq 2r+2$ and fails for $k\le 2r+1$. Our approach reduces the Berge-Turán problem to a graph extremal problem, and applies recent work of Ai, Lei, Ning and Shi [\textit{Canad. J. Math.} (2025) 1--27] on the feasibility of graph parameters and the Kelmans operation.

Given a graph $T$ and a family of graphs $\mathcal{F}$, the generalized Turán number $\mathrm{ex}(n,T,\mathcal{F})$ is the maximum number of copies of $T$ in an $n$-vertex $\mathcal{F}$-free graph. We prove a general theorem which states that for any tree $T$, any family $\mathcal{F}$, and any integer $k$, either $\mathrm{ex}(n,T,\mathcal{F})$ is at least $Ω(n^{k+1})$ or at most $O(\mathrm{ex}(n,\mathcal{F})^{k})$, from which we derive a number of consequences. Our proofs rely on new variants of the classical Helly Theorem for trees which may be of independent interest. As far as we are aware, this is the first known application of Helly theorems for Turán type problems.

Motivated by the Ruzsa-Szemerédi problem, Imolay, Karl, Nagy, and Váli studied a variant of Turán number $ex_F(n,G)$ (called the $F$-multicolor Turán number of $G$), defined as the maximum number of edge-disjoint copies of $F$ on $n$-vertex set such that there is no copies of $G$ whose edges come from distinct copies of $F$. They proved that if there is no homomorphism from $G$ to $F$, then $n^2/v(F)^2+o(n^2)\leq ex_F(n,G)\leq ex(n,G)/e(F)+o(n^2)$, and otherwise $ex_F(n,G) = o(n^2)$. The quantity $ex_F(n,G)$ asymptotically equals the maximum size of an $F$-packing in an $n$-vertex $G$-free graph, and attains the upper bound $ex(n,G)/e(F)+o(n^2)$ if and only if $χ(G) > χ(F)$. In this paper, we provide conditions under which $ex_F(n,G)$ does not achieve the lower bound $n^2/v(F)^2 + o(n^2)$, and describe additional graph pairs that attain this lower bound via graph blow-ups. Especially, we proved that $ex_{C_k(s)}(n,C_{k-2})=n^2/(sk)^2+o(n^2)$ for any $k\geq 5$. For degenerate cases, we show that if $χ(F) = 3$ and $G$ and $F$ share the same odd girth, then $ex_F(n,G)$ satisfies the $(6,3)$-type bound $n^{2-o(1)}$, generalizing a result of Kovács and Nagy. We also prove that $ex_{C_{2k+1}}(n,C_{2\ell+1})=O(n^{1+1/(\ell-k+1)})$ for any integers $k,\ell$ with $\ell>k$, extending a result of Füredi and Özkahya. Additionally, we establish $ex_{C_4}(n,C_4)=\sqrt{2}n^{3/2}/8+O(n)$.

The abstract chromatic number was introduced by Razborov and Coregliano in 2020 in using the language of model theory, and was used to extend the Erd\H os-Stone-Simonovits theorem to graphs with extra structures. A purely combinatorial version was introduced by Gerbner, Hama Karim and Kucheriya in 2026, who also showed that in addition to the asymptotic bound on the Turán number, the abstract chromatic number determines the asymptotics of several other Turán-type functions. We observe that the chromatic number is used here due to its special role in determining the asymptotics of the Turán number. For other extremal functions, other graph parameters may play a similar role and let us extend results in a similar fashion. We prove the appropriate generalizations and show two examples where this happens.

This paper is concerned with Turán problems for (alternating) multilinear maps, with the aim of determining the maximum dimension $k$, called the isotropy index, for which every such map has an isotropic subspace of dimension $k$. We extend the formula for the isotropy index of alternating bilinear maps [Buhler, Gupta & Harris, J. Algebra, 1987] to alternating multilinear maps of arbitrary order over algebraically closed fields. In particular, this answers an open question posed in [Qiao, Discrete Anal., 2023]. Moreover, we prove that the same formula holds for sufficiently large finite fields. For multilinear maps, we establish a necessary and sufficient condition for the isotropy index to be at least two. Our results have three implications: (1) For algebraically closed fields, we determine the exact value of the Feldman--Propp number, whose lower bound has been known for over thirty years [Feldman & Propp, Adv. Math., 1992] but whose precise value had remained undetermined. (2) We establish the exact values of both the Turán number and the Gow--Quinlan number for alternating multilinear maps of arbitrary order over algebraically closed fields. Specifically, our result greatly extends the existing formula for the Gow--Quinlan number for alternating bilinear maps [Gow & Quinlan, Linear Multilinear Algebra, 2006]. (3) Bridging the lower bound for the Erdős box problem and tensor analytic rank, we show that there is an obstruction to improving the existing lower bound in [Conlon, Pohoata & Zakharov, Discrete Anal., 2021] via the multilinear method.

A Berge path of length $k$ in an $r$-uniform hypergraph is a collection of $k$ hyperedges $h_1,\dots,h_k$ and $k+1$ vertices $v_1,\dots,v_{k+1}$ such that $v_i, v_{i+1}\in h_i$ for each $1\le i\le k$. Győri, Katona and Lemons [\textit{European J. Combin. 58 (2016) 238--246}] generalized the Erdős-Gallai theorem to Berge paths and established bounds for the Turán number of Berge paths. However, these bounds are sharp only when some divisibility conditions hold. Gy\H ori, Lemons, Salia and Zamora [\textit{J. Combin. Theory Ser. B 148 (2021) 239--250}] determined the exact value of the Turán number of Berge paths in the case $k\le r$. In this paper, we settle the final open case $k>r$, thereby completing the determination of the Turán number of Berge paths.

The oriented Turán number of a given oriented graph $\overrightarrow{F}$, denoted by $\exo(n,\overrightarrow{F})$, is the largest number of arcs in $n$-vertex $\overrightarrow{F}$-free oriented graphs. This parameter could be seen as a natural oriented version of the classical Turán number. In this paper, we study the supersaturation phenomenon for oriented Turán problems, and prove oriented versions of the famous Erdős-Simonovits Supersaturation Theorem and Moon-Moser inequality, and supersaturation theorems for transitive tournaments and antidirected complete bipartite graphs.

Let $F$ be a graph with chromatic number $χ(F) = r+1$. Denote by $ex(n, F)$ and $Ex(n, F)$ the Turán number and the set of all extremal graphs for $F$, respectively. In addition, $ex_{ssp}(n, F)$ and $Ex_{ssp}(n, F)$ are the maximum signless Laplacian spectral radius of all $n$-vertex $F$-free graphs and the set of all $n$-vertex $F$-free graphs with signless Laplacian spectral radius $ex_{ssp}(n, F)$, respectively. It is known that $Ex_{ssp}(n, F)\supset Ex(n, F)$ if $F$ is a triangle. In this paper, employing the regularity method and Füredi's stability theorem, we prove that for a given graph $F$ and $r\geqslant 3$, if $ex(n, F) = t_r(n)+O(1)$, then $ Ex_{ssp}(n, F) \subseteq Ex(n, F)$ for sufficiently large $n$, where $t_r(n)$ is the number of edges in the Turán graph $T_r(n)$.

The Turán number $ex(n,H)$ of a graph $H$ is the maximum number of edges in any $H$-free graph on $n$ vertices. The triangular pyramid of $k$-layers, denoted by $TP_k$, is a generalization of a triangle. The Turán problems of a triangular pyramid with small layers have been studied widely by Liu (E-JC, 2013), Xiao, Katona, Xiao and Zamora (DAM, 2022), Ghosh, Győri, Paulos, Xiao and Zamora (DAM, 2022). Moreover, Ghosh et al. conjectured that $ex(n, TP_4)=\frac{1}{4}n^2+Θ(n^{\frac{4}{3}})$. In this note, we confirm this conjecture.

The oriented Turán number of a given oriented graph $\overrightarrow{F}$, denoted by $\exo(n,\overrightarrow{F})$, is the largest number of arcs in $n$-vertex $\overrightarrow{F}$-free oriented graphs. This concept could be seen as an oriented version of the classical Turán number. In this paper, we first prove several propositions that give exact results for several oriented graphs. In particular, we determine all exact values of $\exo(n,\overrightarrow{F})$ for every oriented graph $\overrightarrow{F}$ with at most three arcs and sufficiently large $n$. After that, we prove a stability result and use it to determine the Turán number of an orientation of $C_4$. Finally, we prove oriented versions of the random zooming theorem by Fernández, Hyde, Liu, Pikhurko and Wu and the almost regular subgraph theorem by Erdős and Simonovits, and use them to obtain an oriented version of the Füredi-Alon-Krivelevich-Sudakov Theorem, which generalizes the famous KST Theorem.

We prove that for any linear 3-graph on $n$ vertices without a path of length 5, the number of edges is at most $\frac{15}{11}n$, and the equality holds if and only if the graph is the disjoint union of $G_0$, a graph with 11 vertices and 15 edges. Thus, $ex_L(n,P_5)\leq \frac{15}{11}n$, and the equality holds if and only if $11|n$.

A hypergraph $H$ is said to be \emph{linear} if every pair of vertices lies in at most one hyperedge. Given a family $\mathcal{F}$ of $r$-uniform hypergraphs, an $r$-uniform hypergraph $H$ is \emph{$\mathcal{F}$-free} if it contains no member of $\mathcal{F}$ as a subhypergraph. The \emph{linear Turán number} $ex_r^{\mathrm{lin}}(n,\mathcal{F})$ denotes the maximum number of hyperedges in an $\mathcal{F}$-free linear $r$-uniform hypergraph on $n$ vertices. Gyárfás, Ruszinkó, and Sárközy~[\emph{Linear Turán numbers of acyclic triple systems}, European J.\ Combin.\ (2022)] initiated the study of bounds on the linear Turán number for acyclic $3$-uniform linear hypergraphs. In this paper, we extend the study of linear Turán number for acyclic systems to higher uniformity. We first give a construction for any linear $r$-uniform tree with $k$ edges that yields the lower bound $ ex_r^{\mathrm{lin}}(n,T_k^r)\ge {n(k-1)}/{r}, $ under mild divisibility and existence assumptions. Next, we study hypertrees with four edges. We prove the exact bound $ ex_r^{\mathrm{lin}}(n,B_4^r)\le {(r+1)n}/{r} $ and characterize the extremal hypergraph class, where $B_4^r$ is formed from $S_3^r$ by appending a hyperedge incident to a degree-one vertex. We also prove the bound $ ex_r^{\mathrm{lin}}(n,E_4^r)\le {(2r-1)n}/{r} $ for the crown $E_4^r$. Finally, we give a construction showing $ ex_r^{\mathrm{lin}}(n,P_4^r)\ge {(r+1)n}/{r} $ under suitable assumptions and conclude with a conjecture on sharp upper bound for $P_4^r$.