arXiv++ Combinatorics

In this paper, we establish the entropy-Perron bridge, and then use it to prove that for any color-critical graph $F$ with chromatic number $χ(F)=r+1\ge 4$, there exists a constant $λ_0=λ_0(F)$ such that if $G$ is an $F$-free graph with $λ(G)\ge λ_0$, then for every $\ell\ge 1$, \[ λ^\ell (G) \le \Big(1-\frac1r\Big)w_\ell(G), \] with equality if and only if $G$ is a regular complete $r$-partite graph, possibly together with isolated vertices when $\ell \ge 2$. For odd $\ell$, the hypothesis can be relaxed to $χ(F)\ge 3$, while at $\ell =2$, it cannot, since the bound fails for several forbidden graphs, e.g., $C_{2t+1}$ with $t\ge 2$. Moreover, walks may also be replaced by the homomorphism counts of unbalanced trees. As further applications, we extend a spectral supersaturation result of Bollobás and Nikiforov [J. Combin. Theory Ser. B (2007)], and also extend the entropic Turán theorem of Chao and Yu [J. London Math. Soc. (2026)] from $K_{r+1}$-free graphs to $F$-free graphs with $F$ color-critical. We provide a framework by passing through weighted Turán theorems of independent interest. If $G$ is $F$-free and $\mathbf{p}$ is a probability vector on $V(G)$ with $\lVert \mathbf{p}\rVert_\infty$ sufficiently small, then \[ 2\sum_{uv\in E(G)}p_up_v \le 1-\frac1r + o(1), \] and the error term $o(1)$ can be removed if and only if $F$ is color-critical. This is a Motzkin-Straus-type inequality in which the clique number of $G$ is replaced by $χ(F)-1$. The proof of this weighted result combines a blow-up argument, the graph removal lemma, the Erdős-Simonovits stability theorem, a probabilistic sampling argument, and an exact estimate near a complete $r$-partite graph. The bridge linking spectral inequalities to weighted inequalities is based on the entropy method for the Markov chain attached to the Perron vector.

Let $F$ denote the Fano plane, the $3$-uniform hypergraph with $7$ vertices and $7$ edges. Frankl and Füredi, and independently Keevash and Sudakov, proved that the largest $F$-free subhypergraph of $K_n^{(3)}$ is bipartite. In this paper, we determine the sharp threshold for this property in the random setting. We show that for $\hat{p} = Θ_F \cdot n^{-2/3} \left(\log n\right)^{1/6}$, where $Θ_F$ is an explicit constant depending on $F$, we have: (i) if $(1+ε) \hat{p} \le p = o(1)$, then with high probability every largest $F$-free subhypergraph of $G_{n,p}^{(3)}$ is bipartite; and (ii) if $\frac{1}{n^2} \ll p \le (1-ε) \hat{p}$, then with high probability every largest $F$-free subhypergraph of $G_{n,p}^{(3)}$ is not bipartite. To the best of our knowledge, this work provides the first sharp threshold result obtained for a Turán-type problem in random hypergraphs.

Let $G$ be an $n$-vertex graph with clique number $ω(G)$, and let $s^+(G)$ denote the sum of the squared positive adjacency eigenvalues. We prove that $$ \sqrt{s^+(G)}\le\left(1-\frac{1}{ω(G)}\right)n. $$ This strengthens Wilf's classical spectral Turán theorem and resolves a conjecture of Elphick and Wocjan. Adopting the relaxation of our companion paper on the square-energy conjecture, we reduce the theorem to a Motzkin--Straus inequality for doubly nonnegative matrices, which we prove via a local inverse-probability estimate for the Caro--Wei greedy algorithm on the complement.

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.

We prove that every $K_5$-free $n$-vertex graph with sublinear independence number can be made bipartite by removing at most $n^2(1/18+o(1))$ edges, where the constant $1/18$ is best possible. The proof method is related to extensions of Turán Theorem in edge-weighted settings, and part of the proof uses flag algebra.

In this paper, we extend localized Turán theorems to signed graphs and study the corresponding spectral Turán problems. Firstly, we establish a vertex-localized Turán-type inequality for signed graphs and characterize the extremal graphs reaching this bound. Secondly, we derive a sharp upper bound for the largest eigenvalue of a signed graph via localized Turán parameters, and identify the extremal graphs attaining equality. Finally, we generalize a walk-based local spectral Turán inequality to signed graphs. Our results generalize and improve several existing theorems for unsigned and signed graphs.

Balogh, Clemen, and Lidický proved that the $\ell_{2}$-norm Turán problem for $K_{5}^{3}$ is asymptotically solved by the balanced bipartite construction, and they further conjectured that this construction is uniquely extremal for all sufficiently large $n$. We confirm this conjecture. We also determine exactly the maximum number of cliques in an $n$-vertex $K_{5}^{3}$-free $3$-uniform hypergraph for all sufficiently large $n$, thereby verifying the corresponding case of a conjecture of Frankl, Gryaznov, and Talebanfard. The main ingredients are Turán-type theorems for vertex-colored graphs forbidding balanced cliques, including an edge bound, an $\ell_{2}$-norm bound, and a sharp crossing-triangle theorem in the two-colored balanced $K_{4}$-free case. We also use a local modification procedure within the stability method. This reduces the exact hypergraph problems to proving that the relevant objective function increases under suitable local changes near the bipartite construction.

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.

A graph is called $F$-free if it does not contain a copy of $F$. Let $G(r,s)$ denote a $K_{r+1}$-free graph of order $n$ with chromatic number at least $s$ that maximizes the spectral radius. Nikiforov [Linear Algebra Appl., 2007] proved the spectral Turán theorem, which implies that $G(r,s)$ is the $r$-partite Turán graph $T_{n,r}$ for $s\leq r$. Lin, Ning, and Wu [Combin. Probab. Comput., 2021] characterized the unique spectral extremal graph $G(2,3)$. This result was later extended by Li and Peng [SIAM J. Discrete Math., 2023] to all $s=r+1\geq 3$. In this paper, we push the characterization further by determining the unique extremal graph $G(2,4)$ for all sufficiently large $n$. Specifically, we show that $G(2,4)$ is precisely a blow-up of the Grötzsch graph. Interestingly, under the same conditions, $G(2,4)$ also coincides with the unique edge-extremal graph identified by Ren, Wang, Wang, and Yang [arXiv:2404.07486v2].

Let $G$ be an $n$-vertex graph, and let $λ(G)$ and $λ_n(G)$ denote the largest and smallest eigenvalues of its adjacency matrix. Write $e(G)$ for the number of edges of $G$, $d(G)=2e(G)/n$ for its average degree, and $T_r(n)$ for the $r$-partite Turán graph on $n$ vertices. We prove four sharp results in spectral Turán theory. First, we confirm Guiduli's spectral dense-neighborhood conjecture (1996) in a stronger form: if $λ(G)\ge λ(T_r(n))$, then either $G\cong T_r(n)$, or there exists a vertex $v$ such that $λ(G[N(v)]) > λ(T_{r-1}(d(v)))$. Moreover, when $λ(G)>λ(T_r(n))$, every vertex attaining the maximum entry in any nonnegative Perron eigenvector of $G$ has this property. Second, we answer a problem of Nikiforov (2009) by showing that the exact Turán edge threshold is detected by the exact spectral threshold: for every $r\ge 2$ and every $n$, $λ(G)<λ(T_r(n))$, implying $e(G)<e(T_r(n)).$ Our proof also determines the equality cases. Third, we answer another question of Nikiforov (2009) by showing that his least-eigenvalue clique bound \[ ω(G)\ge 1+\frac{2e(G)}{(n-d(G))(d(G)-λ_n(G))} \] does imply the concise form of Turán's theorem. Finally, we discuss an open problem proposed by Ai et al. (2026) in \cite{ALNS26+}.

For a vertex $v$, let $c_G(v)$ be the order of the largest clique containing $v$, and let $w_r(v)$ be the number of walks with $r$ vertices starting at $v$. We prove that, for every finite simple graph $G$ and every integer $r\ge 1$, \begin{flalign*} λ_1(G)^r \le \sum_{v\in V(G)} w_r(v)\frac{c_G(v)-1}{c_G(v)}. \end{flalign*} This confirms a conjecture of Kannan, Kumar, and Pragada. It strengthens Nikiforov's walk inequality and extends, in a unified form, the localized Wilf theorem and the degree-local Turán inequality of Liu and Ning. The proof is based on the stationary distribution of a Markov chain whose transition matrix is constructed from a Perron vector of $A(G)$, together with a weighted local spectral Turán theorem. We determine all the extremal graphs.

The Bollobás--Nikiforov conjecture asserts that for any graph $G \neq K_n$ with $m$ edges and clique number $ω(G)$, \[ λ_1^2(G) + λ_2^2(G) \;\leq\; 2\!\left(1 - \frac{1}{ω(G)}\right)m, \] where $λ_1(G) \geq λ_2(G) \geq \cdots \geq λ_n(G)$ are the adjacency eigenvalues of $G$. We prove the conjecture for all complete multipartite graphs $K_{n_1,\ldots,n_r}$ with $n_1 + \cdots + n_r > r$. The proof computes the full spectrum via a secular equation, establishes that $λ_2 = 0$ whenever the graph has more vertices than parts, and then applies Nikiforov's spectral Turán theorem; equality holds if and only if all parts have equal size. We also prove a stability result for $K_4$-free graphs whose spectral radius is near the Turán maximum: such graphs are structurally close to the balanced complete tripartite graph, and as a consequence the conjecture holds for all $K_4$-free graphs with $m = Ω(n^2)$ when $n$ is sufficiently large. Finally, we identify the precise obstruction preventing a Hoffman-bound approach from settling the conjecture for $K_4$-free graphs with independence number $α(G) \geq n/3$.

A classical result of Nosal asserts that every $m$-edge graph with spectral radius $λ(G)> \sqrt{m}$ contains a triangle. A celebrated extension of Nikiforov [35] states that if $G$ is an $m$-edge graph with $λ(G)> \sqrt{(1- {1}/{r})2m}$, then $G$ contains a clique $K_{r+1}$. This result implies the Turán theorem and Wilf theorem, and offers a new perspective on the existence of substructures. The edge-spectral conditions are versatile for enforcing substructures, as they can be applied to any sparse graph regardless of its edge density. In this paper, we prove that for any color-critical graph $F$ with chromatic number $χ(F)=r+1\ge 4$, if $m$ is sufficiently large and $G$ is an $F$-free graph with $m$ edges, then $λ(G)\le \sqrt{(1- {1}/{r})2m}$, with equality if and only if $G$ is a regular complete $r$-partite graph. This settles an open problem proposed by Yu and Li [52] and also gives spectral bounds for graphs forbidding books and wheels. Secondly, we establish an asymptotic formula and structural characterization when we forbid an almost-bipartite graph $F$, where $F$ is called almost-bipartite if it can be made bipartite by removing at most one edge. As applications, we determine the unique $m$-edge spectral extremal graph for every integer $m$ when avoiding certain substructures, including complete bipartite graphs plus an edge, cycles plus an edge, and theta graphs, etc. Our results resolve an open problem proposed by Li, Zhao and Zou [24], as well as two conjectures posed by Liu and Li [31]. The arguments in our proofs are based on the edge-spectral stability method recently established by the authors. In addition, we develop some new spectral techniques, including the stability result for the Perron--Frobenius eigenvector.

Confirming a conjecture of Elphick and Edwards and strengthening a spectral theorem of Wilf, Nikiforov proved that for any $K_{r+1}$-free graph $G$, $λ(G)^2 \leq 2 (1 - 1/r) m$, where $λ(G)$ is the spectral radius of $G$, and $m$ is the number of edges of $G$. This result was later improved in \cite{LiuN26}, where it was shown that for any graph $G$, $λ(G)^2 \leq 2 \sum_{e \in E(G)} \frac{\mathrm{cl}(e) - 1}{\mathrm{cl}(e)}$, where $\mathrm{cl}(e)$ denotes the order of the largest clique containing the edge $e$. In this paper, we further extend this inequality to weighted graphs, proving that \[ λ(G)^2 \leq 2 \sum_{e \in E(G)} \frac{\mathrm{cl}(e) - 1}{\mathrm{cl}(e)} w(e)^2, \] and we characterize all extremal graphs attaining this bound. Our main theorem yields several new consequences, including two vertex-based and vertex-degree-based local versions of Turán's theorem, as well as weighted generalizations of the Edwards--Elphick theorem and the Cvetković theorem, and two localized versions of Wilf's theorems. One of these localized Wilf's theorem confirms a conjecture that originates from Probability and Operator Algebras and was proposed by R. Tripathi independently of us. Moreover, our main result unifies and implies numerous earlier ones from spectral graph theory and extremal graph theory, including Stanley's spectral inequality, Hong's inequality, a localized Turán-type theorem, and a recent extremal theorem by Adak and Chandran. Notably, while Nikiforov's earlier spectral inequality implied Stanley's bound, it did not imply Hong's inequality -- a gap that is now bridged by our result. As a key tool, we establish the inequality $\sum_{e \in E(G)} \frac{2}{\mathrm{cl}(e)} \geq n-1$, which complements an upper bound $\sum_{e \in E(G)} \frac{2}{\mathrm{cl}(e)-1} \leq n^2 - 2m$ due to Bradač, and Malec and Tompkins, independently.

We prove a generalised Ramsey--Turán theorem for matchings, which (a) simultaneously generalises the Cockayne--Lorimer Theorem (Ramsey for matchings) and the Erdős--Gallai Theorem (Turán for matchings), and (b) is a generalised Turán theorem in the sense that we can optimise the count of any clique (Turán-type theorems optimise the count of edges). More precisely, for integers $q \ge 1$, $n \ge \ell \ge 2$, and $t_1,\dots,t_q \ge 1$ we determine the maximum number of $\ell$-vertex complete subgraphs in an $n$-vertex graph that admits a $q$-edge-colouring in which, for each $j=1,\dots,q$, the $j$-coloured subgraph has no matching of size $t_j$. We achieve this by identifying two explicit constructions and applying a compression argument to show that one of them achieves the maximum. Our compression algorithm is quite intricate and introduces methods that have not previously been applied to these types of problems: it employs an optimisation problem defined by the Gallai--Edmonds decompositions of each colour.

For an $r$-graph $F$, define Sidorenko exponent $s(F)$ as $$s(F):= \sup \{s \geq 0: \exists \text{$r$-graph $H$ s.t. } t_F(H) = t_{K^{(r)}_r} (H)^s > 0\},$$ where $t_{H_1}(H_2)$ denotes the homomorphism density of $H_1$ in $H_2$. The celebrated Sidorenko's conjecture states that $s(F) = e(F)$ holds for every bipartite graph $F$. It is known that for all $r \geq 3$, the $r$-uniform version of Sidorenko's conjecture is false, and only a few hypergraphs are known to be Sidorenko. In this paper, we discover a new broad class of Sidorenko hypergraphs and obtain general upper bounds on $s(F)$ for certain hypergraphs related to dominating hypergraphs. This makes progress toward a problem raised by Nie and Spiro. We also discover a new connection between Sidorenko exponents and upper bounds on the extremal numbers of a large class of hypergraphs, which generalizes the hypergraph analogue of Kővári--Sós--Turán theorem proved by Erdős.

The well-known Turán theorem states that if $G$ is an $n$-vertex $K_{r+1}$-free graph, then $e(G)\le e(T_{n,r})$, with equality if and only if $G$ is the $r$-partite Turán graph $T_{n,r}$. A graph $F$ is called color-critical if it contains an edge whose deletion reduces its chromatic number. Extending the Turán theorem, Simonovits (1968) proved that for any color-critical graph $F$ with $χ(F)=r+1$ and sufficiently large $n$, the Turán graph $T_{n,r}$ is the unique graph with maximum number of edges among all $n$-vertex $F$-free graphs. Subsequently, Nikiforov [Electron. J. Combin., 16 (1) (2009)] proved a spectral version of the Simonovits theorem in terms of the adjacency spectral radius. In this paper, we show an extension of the Simonovits theorem for the signless Laplacian spectral radius. We prove that for any color-critical graph $F$ with $χ(F)=r+1\ge 4$ and sufficiently large $n$, if $G$ is an $F$-free graph on $n$ vertices, then $q(G)\le q(T_{n,r})$, with equality if and only if $G=T_{n,r}$. Our approach is to establish a signless Laplacian spectral version of the criterion of Keevash, Lenz and Mubayi [SIAM J. Discrete Math., 28 (4) (2014)]. Consequently, we can determine the signless Laplacian spectral extremal graphs for generalized books and even wheels. As an application, our result gives an upper bound on the degree power of an $F$-free graph. We show that if $n$ is sufficiently large and $G$ is an $F$-free graph on $n$ vertices with $m$ edges, then $\sum_{v\in V(G)} d^2(v) \le 2(1- \frac{1}{r})mn$, with equality if and only if $G$ is a regular Turán graph $T_{n,r}$. This extends a result of Nikiforov and Rousseau [J. Combin. Theory Ser B 92 (2004)].

Keevash, Lenz and Mubayi developed a general criterion for hypergraph spectral extremal problems in their seminal work (SIAM J. Discrete Math., 2014). Their framework shows that extremal results on the $α$-spectral radius (for $α> 1$) may be deduced from a corresponding hypergraph Turán problem exhibiting stability properties, provided its extremal construction satisfies certain continuity assumptions. In this paper, we establish a spectral stability result for nondegenerate hypergraphs, extending the Keevash--Lenz--Mubayi criterion. Applying this result, we derive two general spectral Turán theorems for hypergraphs with bipartite or multipartite pattern, thereby transforming spectral Turán problems into the corresponding purely combinatorial problems related to degree-stability in nondegenerate $k$-graph families. As applications, we determine the maximum $α$-spectral radius for several classes of hypergraph and characterize the corresponding extremal hypergraphs, such as the expansion of complete graphs, the generalized fans, the cancellative hypergraphs, the generalized triangles, and a special book hypergraph.

The spectral Turán theorem states that the $k$-partite Turán graph is the unique graph attaining the maximum adjacency spectral radius among all graphs of order $n$ containing no the complete graph $K_{k+1}$ as a subgraph. This result is known to be stronger than the classical Turán theorem. In this paper, we consider hypergraph extensions of spectral Turán theorem. For $k\geq r\geq 2$, let $H_{k+1}^{(r)}$ be the $r$-uniform hypergraph obtained from $K_{k+1}$ by enlarging each edge with a new set of $(r-2)$ vertices. Let $F_{k+1}^{(r)}$ be the $r$-uniform hypergraph with edges: $\{1,2,\ldots,r\} =: [r]$ and $E_{ij} \cup\{i,j\}$ over all pairs $\{i,j\}\in \binom{[k+1]}{2}\setminus\binom{[r]}{2}$, where $E_{ij}$ are pairwise disjoint $(r-2)$-sets disjoint from $[k+1]$. Generalizing the Turán theorem to hypergraphs, Pikhurko [J. Combin. Theory Ser. B, 103 (2013) 220--225] and Mubayi and Pikhurko [J. Combin. Theory Ser. B, 97 (2007) 669--678] respectively determined the exact Turán number of $H_{k+1}^{(r)}$ and $F_{k+1}^{(r)}$, and characterized the corresponding extremal hypergraphs. Our main results show that $T_r(n,k)$, the complete $k$-partite $r$-uniform hypergraph on $n$ vertices where no two parts differ by more than one in size, is the unique hypergraph having the maximum $p$-spectral radius among all $n$-vertex $H_{k+1}^{(r)}$-free (resp. $F_{k+1}^{(r)}$-free) $r$-uniform hypergraphs for sufficiently large $n$. These findings are obtained by establishing $p$-spectral version of the stability theorems. Our results offer $p$-spectral analogues of the results by Mubayi and Pikhurko, and connect both hypergraph Turán theorem and hypergraph spectral Turán theorem in a unified form via the $p$-spectral radius.

In 2002, Nikiforov proved that for an $n$-vertex graph $G$ with clique number $ω$ and edge number $m$, the spectral radius $λ(G)$ satisfies $λ(G) \leq \sqrt{2(1 - 1/ω) m}$, which confirmed a conjecture implicitly suggested by Edwards and Elphick. In this paper, we prove a local version of spectral Turán inequality, which states that $λ^2(G)\leq 2\sum_{e\in E(G)}\frac{c(e)-1}{c(e)}$, where $c(e)$ is the order of the largest clique containing the edge $e$ in $G$. We also characterize the extremal graphs. We prove that our theorem implies Nikiforov's theorem and give an example to show that the difference of Nikiforov's bound and ours is $Ω(\sqrt{m})$ for some cases. Additionally, we establish a spectral counterpart to Ore's problem (1962) which asks for the maximum size of an $n$-vertex graph such that its complement is connected and does not contain $F$ as a subgraph. Our result leads to a new spectral Turán inequality applicable to graphs with connected complements. Finally, we disprove a conjecture of Gregory, asserting that for a connected $n$-vertex graph $G$ with chromatic number $k\geq 2$ and an independent set $S$, we have \[ \sum_{v\in S} x_v^2 \leq \frac{1}{2} - \frac{k-2}{2\sqrt{(k-2)^2 + 4(k-1)(n-k+1)}}, \] where $x_v$ is the component of the Perron vector of $G$ with respect to the vertex $v$. A modified version of Gregory's conjecture is proposed.