arXiv++ Combinatorics

Let $\mathcal{F}$ be a family of subsets of $[n]$. The diameter of $\mathcal{F}$ is the maximum size of symmetric differences among pairs of its members. Resolving a conjecture of Erdős, Kleitman determined the maximum size of a family with fixed diameter, which states that a family with diameter $s$ has cardinality at most that of a Hamming ball of radius $s/2$. Specifically, if $\mathcal{F} \subseteq 2^{[n]}$ is a family with diameter $s$, then for $s=2d$, $|\mathcal{F}|\le \sum_{i=0}^d {n \choose i}$; for $s=2d+1$, $|\mathcal{F}|\le \sum_{i=0}^d {n \choose i} + {n-1 \choose d}$. This result is known as the Kleitman diameter theorem, which generalizes both the Katona union theorem and the Erdős--Ko--Rado theorem. In 2017, Frankl provided a complete characterization of the extremal families of Kleitman's theorem and provided a stability result. In this paper, we determine the extremal families of Frankl's theorem and establish a further stability result of Kleitman's theorem. This solves a recent problem proposed by Li and Wu. Our findings constitute the second stability for the Kleitman diameter theorem.

Two families $\mathcal{F}$ and $\mathcal{G}$ are called cross-intersecting if for every $F\in \mathcal{F}$ and $G\in \mathcal{G}$, the intersection $F\cap G$ is non-empty. It is significant to determine the maximum sum of sizes of cross-intersecting families under the additional assumption that one of the two families is intersecting. Such a pair of families is said to be hemi-bundled. In particular, Frankl (2016) proved that for $k \geq 1, t\ge 0$ and $n \geq 2 k+t$, if $\mathcal{F} \subseteq\binom{[n]}{k+t}$ and $\mathcal{G} \subseteq\binom{[n]}{k}$ are cross-intersecting families, in which $\mathcal{F}$ is non-empty and $(t+1)$-intersecting, then $|\mathcal{F}|+|\mathcal{G}| \leq\binom{n}{k}-\binom{n-k-t}{k}+1$. This bound can be attained when $\mathcal{F}$ consists of a single set. In this paper, we generalize this result under the constraint $|\mathcal{F}| \geq r$ for every $r\leq n-k-t+1$. Moreover, we investigate the stability results of Katona's theorem for non-uniform families with the $s$-union property. Our result extends the stabilities established by Frankl (2017) and Li and Wu (2024). As applications, we revisit a recent result of Frankl and Wang (2024) as well as a result of Kupavskii (2018). Furthermore, we determine the extremal families in these two results.

The well-known Erdős--Ko--Rado theorem states that for $n> 2k$, every intersecting family of $k$-sets of $[n]:=\{1,\ldots ,n\}$ has at most $ {n-1 \choose k-1}$ sets, and the extremal family consists of all $k$-sets containing a fixed element (called a full star). The Hilton--Milner theorem provides a stability result by determining the maximum size of a uniform intersecting family that is not a subfamily of a full star. The further stabilities were studied by Han and Kohayakawa (2017) and Huang and Peng (2024). Two families $\mathcal{F}$ and $\mathcal{G}$ are called cross-intersecting if for every $F\in \mathcal{F}$ and $G\in \mathcal{G}$, the intersection $F\cap G$ is non-empty. Let $k \geq 1, t\ge 0$ and $n \geq 2 k+t$ be integers. Frankl (2016) proved that if $\mathcal{F} \subseteq\binom{[n]}{k+t}$ and $\mathcal{G} \subseteq\binom{[n]}{k}$ are cross-intersecting families, and $\mathcal{F}$ is non-empty and $(t+1)$-intersecting, then $|\mathcal{F}|+|\mathcal{G}| \leq\binom{n}{k}-\binom{n-k-t}{k}+1$. Recently, Wu (2023) sharpened Frankl's result by establishing a stability variant. The aim of this paper is two-fold. Inspired by the above results, we first prove a further stability variant that generalizes both Frankl's result and Wu's result. Secondly, as an interesting application, we illustrate that the aforementioned results on cross-intersecting families could be used to establish the stability results of the Erdős--Ko--Rado theorem. More precisely, we present new short proofs of the Hilton--Milner theorem, the Han--Kohayakawa theorem and the Huang--Peng theorem. Our arguments are more straightforward, and it may be of independent interest.

A fundamental result in extremal graph theory attributes to Mantel's theorem, which states that every graph on $n$ vertices with more than $\lfloor n^2/4 \rfloor$ edges contains a triangle. About half of a century ago, Lovász and Simonovits (1975) provided a supersaturation phenomenon, which asserts that for $q< n/2$, every graph with $\lfloor n^2/4 \rfloor +q$ edges contains at least $q\lfloor n/2 \rfloor$ triangles. This result solved a conjecture proposed by Erdős in 1962. In this paper, we establish a spectral version of the result of Lovász and Simonovits. Let $Y_{n,2,q}$ be the graph obtained from the bipartite Turán graph $T_{n,2}$ by embedding a matching with $q$ edges into the vertex part of size $\lceil n/2\rceil$. Using the supersaturation-stability method and the classical spectral techniques, we firstly prove that for $n\ge 300q^2$, each graph $G$ on $n$ vertices with $λ(G) \ge λ(Y_{n,2,q})$ contains at least $q\lfloor n/2 \rfloor$ triangles. Moreover, let $T_{n,2,q}$ be the graph obtained from $T_{n,2}$ by embedding a star with $q$ edges into the vertex part of size $\lceil n/2\rceil$. Secondly, we show further that $T_{n,2,q}$ is the unique spectral extremal graph that contains at most $q\lfloor n/2 \rfloor$ triangles and attains the maximum of the spectral radius. This result answers a spectral triangle counting problem due to Ning and Zhai (2023). Thirdly, we present an asymptotically spectral stability result under a specific constraint on the triangle covering number. The third result could be regarded as a spectral extension of a recent result proved by Balogh and Clemen (2023), and independently by Liu and Mubayi (2022).

Recently, Ning and Zhai (2023) proved that every $n$-vertex graph $G$ with $λ(G) \ge \sqrt{\lfloor n^2/4\rfloor}$ has at least $\lfloor n/2\rfloor -1$ triangles, unless $G=K_{\lceil \frac{n}{2} \rceil, \lfloor \frac{n}{2} \rfloor}$. The aim of this paper is two-fold. Using the supersaturation-stability method, we prove a stability variant of Ning-Zhai's result by showing that such a graph $G$ contains at least $n-3$ triangles if no vertex is in all triangles of $G$. This result could also be viewed as a spectral version of a result of Xiao and Katona (2021). The second part concerns with the spectral supersaturation for the bowtie, which consists of two triangles sharing a common vertex. A theorem of Erdős, Füredi, Gould and Gunderson (1995) says that every $n$-vertex graph with more than $\lfloor n^2/4\rfloor +1$ edges contains a bowtie. For graphs of given order, the spectral supersaturation problem has not been considered for substructures that are not color-critical. In this paper, we give the first such theorem by counting the number of bowties. Let $K_{\lceil \frac{n}{2} \rceil, \lfloor \frac{n}{2} \rfloor}^{+2}$ be the graph obtained from $K_{\lceil \frac{n}{2} \rceil, \lfloor \frac{n}{2} \rfloor}$ by embedding two disjoint edges into the vertex part of size $\lceil \frac{n}{2} \rceil$. Our result shows that every graph $G$ with $n\ge 8.8 \times 10^6$ vertices and $λ(G)\ge λ(K_{\lceil \frac{n}{2} \rceil, \lfloor \frac{n}{2} \rfloor}^{+2})$ contains at least $\lfloor \frac{n}{2} \rfloor$ bowties, and $K_{\lceil \frac{n}{2} \rceil, \lfloor \frac{n}{2} \rfloor}^{+2}$ is the unique spectral extremal graph. This gives a spectral correspondence of a theorem of Kang, Makai and Pikhurko (2020). The method used in our paper provides a probable way to establish the spectral counting results for other graphs, even for non-color-critical graphs.

A well-known theorem of Mantel states that every $n$-vertex graph with more than $\lfloor n^2/4\rfloor $ edges contains a triangle. An interesting problem in extremal graph theory studies the minimum number of edges contained in triangles among graphs with a prescribed number of vertices and edges. Erdős, Faudree and Rousseau (1992) showed that a graph on $n$ vertices with more than $\lfloor n^2/4\rfloor $ edges contains at least $2\lfloor n/2\rfloor +1$ edges in triangles. Such edges are called triangular edges. In this paper, we present a spectral version of the result of Erdős, Faudree and Rousseau. Using the supersaturation-stability and the spectral technique, we prove that every $n$-vertex graph $G$ with $λ(G) \ge \sqrt{\lfloor n^2/4\rfloor}$ contains at least $2 \lfloor {n}/{2} \rfloor -1$ triangular edges, unless $G$ is a balanced complete bipartite graph. The method in our paper has some interesting applications. Firstly, the supersaturation-stability can be used to revisit a conjecture of Erdős concerning with the booksize of a graph, which was initially proved by Edwards (unpublished), and independently by Khadžiivanov and Nikiforov (1979). Secondly, our method can improve the bound on the order $n$ of the spectral extremal graph when we forbid the friendship graph as a substructure. We drop the condition that requires the order $n$ to be sufficiently large, which was investigated by Cioabă, Feng, Tait and Zhang (2020) using the triangle removal lemma. Thirdly, this method can be utilized to deduce the classical stability for odd cycles and it gives more concise bounds on parameters. Finally, the supersaturation-stability could be applied to deal with the spectral graph problems on counting triangles, which was recently studied by Ning and Zhai (2023).

A classical result of Erdős and Rademacher (1955) indicates a supersaturation phenomenon. It says that if $G$ is a graph on $n$ vertices with at least $\lfloor {n^2}/{4} \rfloor +1$ edges, then $G$ contains at least $\lfloor {n}/{2}\rfloor$ triangles. We prove a spectral version of Erdős--Rademacher's theorem. Moreover, Mubayi [Adv. Math. 225 (2010)] extends the result of Erdős and Rademacher from a triangle to any color-critical graph. It is interesting to study the extension of Mubayi from a spectral perspective. However, it is not apparent to measure the increment on the spectral radius of a graph comparing to the traditional edge version (Mubayi's result). In this paper, we provide a way to measure the increment on the spectral radius of a graph and propose a spectral version on the counting problems for color-critical graphs.

A well-known result of Nosal states that a graph $G$ with $m$ edges and $λ(G) > \sqrt{m}$ contains a triangle. Nikiforov [Combin. Probab. Comput. 11 (2002)] extended this result to cliques by showing that if $λ(G) > \sqrt{2m(1-1/r)}$, then $G$ contains a copy of $K_{r+1}$. Let $C_k^+$ be the graph obtained from a cycle $C_k$ by adding an edge to two vertices with distance two, and let $F_k$ be the friendship graph consisting of $k$ triangles that share a common vertex. Recently, Zhai, Lin and Shu [European J. Combin. 95 (2021)], Sun, Li and Wei [Discrete Math. 346 (2023)], and Li, Lu and Peng [Discrete Math. 346 (2023)] proved that if $ m\ge 8$ and $λ(G) \ge \frac{1}{2} (1+\sqrt{4m-3})$, then $G$ contains a copy of $C_5,C_5^+$ and $F_2$, respectively, unless $G=K_2\vee \frac{m-1}{2}K_1$. In this paper, we give a unified extension by showing that such a graph contains a copy of $V_5$, where $V_5=K_1\vee P_4$ is the join of a vertex and a path on four vertices. Our result extends the aforementioned results since $C_5,C_5^+$ and $F_2$ are proper subgraphs of $V_5$. In addition, we prove that if $m\ge 33$ and $λ(G) \ge 1+ \sqrt{m-2}$, then $G$ contains a copy of $F_3$, unless $G=K_3\vee \frac{m-3}{3}K_1$. This confirms a conjecture on the friendship graph $F_k$ in the case $k=3$. Finally, we conclude some spectral extremal graph problems concerning the large fan graphs and wheel graphs.

In this paper, we derive a tight upper bound for the size of an intersecting $k$-Sperner family of subspaces of the $n$-dimensional vector space $\mathbb{F}_{q}^{n}$ over finite field $\mathbb{F}_{q}$ which gives a $q$-analogue of the Erdős' $k$-Sperner Theorem, and we then establish a general relationship between upper bounds for the sizes of families of subsets of $[n] = \{1, 2, \dots, n\}$ with property $P$ and upper bounds for the sizes of families of subspaces of $\mathbb{F}_{q}^{n}$ with property $P$, where $P$ is either $\mathcal{L}$-intersecting or forbidding certain configuration. Applying this relationship, we derive generalizations of the well known results about the famous Erdős matching conjecture and Erdős-Chvátal simplex conjecture to linear lattices. As a consequence, we disprove a related conjecture on families of subspaces of $\mathbb{F}_{q}^{n}$ by Ihringer [Europ. J. Combin., 94 (2021), 103306].

The study of intersection problems on families of sets is one of the most important topics in extremal combinatorics. As we all know, the extremal problems involving certain intersection constraints are equivalent to that with the union properties by taking complement of sets. A family of sets is called $s$-union if the union of any two sets in this family has size at most $s$. Katona [Acta Math. Hungar. 15 (1964)] provided the maximum size of an $s$-union family of sets of $[n]$, and he also determined the extremal families up to isomorphism. Recently, Frankl [J. Combin. Theory Ser. B 122 (2017) 869--876] sharpened this result by establishing the maximum size of an $s$-union family that is not a subfamily of the so-called Katona family. In this paper, we determine the maximum size of an $s$-union family that is neither contained in the Katona family nor in the Frankl family. Moreover, we characterize all extremal families achieving the upper bounds.

A theorem of Nosal and Nikiforov states that if $G$ is a triangle-free graph with $m$ edges, then $λ(G)\le \sqrt{m}$, where the equality holds if and only if $G$ is a complete bipartite graph. A well-known spectral conjecture of Bollobás and Nikiforov [J. Combin. Theory Ser. B 97 (2007)] asserts that if $G$ is a $K_{r+1}$-free graph with $m$ edges, then $λ_1^2(G) + λ_2^2(G) \le (1-\frac{1}{r})2m$. Recently, Lin, Ning and Wu [Combin. Probab. Comput. 30 (2021)] confirmed the conjecture in the case $r=2$. Using this base case, they proved further that $λ(G)\le \sqrt{m-1}$ for every non-bipartite triangle-free graph $G$, with equality if and only if $m=5$ and $G=C_5$. Moreover, Zhai and Shu [Discrete Math. 345 (2022)] presented an improvement by showing $λ(G) \le β(m)$, where $β(m)$ is the largest root of $Z(x):=x^3-x^2-(m-2)x+m-3$. The equality in Zhai--Shu's result holds only if $m$ is odd and $G$ is obtained from the complete bipartite graph $K_{2,\frac{m-1}{2}}$ by subdividing exactly one edge. Motivated by this observation, Zhai and Shu proposed a question to find a sharp bound when $m$ is even. We shall solve this question by using a different method and characterize three kinds of spectral extremal graphs over all triangle-free non-bipartite graphs with even size. Our proof technique is mainly based on applying Cauchy interlacing theorem of eigenvalues of a graph, and with the aid of a triangle counting lemma in terms of both eigenvalues and the size of a graph.

The Turán number $\mathrm{ex}(n,H)$ of a graph $H$ is the maximum number of edges in an $n$-vertex graph which does not contain $H$ as a subgraph. The Turán number of regular polyhedrons was widely studied in a series of works due to Simonovits. In this paper, we shall present the exact Turán number of the prism $C_{2k+1}^{\square} $, which is defined as the Cartesian product of an odd cycle $C_{2k+1}$ and an edge $ K_2 $. Applying a deep theorem of Simonovits and a stability result of Yuan [European J. Combin. 104 (2022)], we shall determine the exact value of $\mathrm{ex}(n,C_{2k+1}^{\square})$ for every $k\ge 1$ and sufficiently large $n$, and we also characterize the extremal graphs. Moreover, in the case of $k=1$, motivated by a recent result of Xiao, Katona, Xiao and Zamora [Discrete Appl. Math. 307 (2022)], we will determine the exact value of $\mathrm{ex}(n,C_{3}^{\square} )$ for every $n$ instead of for sufficiently large $n$.

Let $F_s$ be the friendship graph obtained from $s$ triangles by sharing a common vertex. For fixed $s\ge 2$ and sufficiently large $n$, the $F_s$-free graphs of order $n$ which attain the maximal spectral radius was firstly characterized by Cioabă, Feng, Tait and Zhang [Electron. J. Combin. 27 (4) (2020)],and later uniquely determined by Zhai, Liu and Xue [Electron. J. Combin. 29 (3) (2022)]. Recently, the spectral extremal problems was widely studied for graphs containing no $H$ as a minor. For instance, Tait [J. Combin. Theory Ser. A 166 (2019)], Zhai and Lin [J. Combin. Theory Ser. B 157 (2022)] solved the case $H=K_r$ and $H=K_{s,t}$, respectively. Motivated by these results, we consider the spectral extremal problems in the case $H=F_s$. We shall prove that $K_s \vee I_{n-s}$ is the unique graph that attain the maximal spectral radius over all $n$-vertex $F_s$-minor-free graphs. Moreover, let $Q_t$ be the graph obtained from $t$ copies of the cycle of length $4$ by sharing a common vertex. We also determine the unique $Q_t$-minor-free graph attaining the maximal spectral radius. Namely, $K_t \vee M_{n-t}$, where $M_{n-t}$ is a graph obtained from an independent set of order $n-t$ by embedding a matching consisting of $\lfloor \frac{n-t}{2}\rfloor$ edges.

Let $F_k$ be the (friendship) graph obtained from $k$ triangles by sharing a common vertex. The $F_k$-free graphs of order $n$ which attain the maximal spectral radius was firstly characterized by Cioabă, Feng, Tait and Zhang [Electron. J. Combin. 27 (4) (2020)], and later uniquely determined by Zhai, Liu and Xue [Electron. J. Combin. 29 (3) (2022)] under the condition that $n$ is sufficiently large. In this paper, we get rid of the condition on $n$ being sufficiently large if $k=2$. The graph $F_2$ is also known as the bowtie. We show that the unique $n$-vertex $F_2$-free spectral extremal graph is the balanced complete bipartite graph adding an edge in the vertex part with smaller size if $n\ge 7$, and the condition $n\ge 7$ is tight. Our result is a spectral generalization of a theorem of Erdős, Füredi, Gould and Gunderson [J. Combin. Theory Ser. B 64 (1995)], which states that $\mathrm{ex}(n,F_2)=\left\lfloor {n^2}/{4} \right\rfloor +1$. Moreover, we study the spectral extremal problem for $F_k$-free graphs with given number of edges. In particular, we show that the unique $m$-edge $F_2$-free spectral extremal graph is the join of $K_2$ with an independent set of $\frac{m-1}{2}$ vertices if $m\ge 8$, and the condition $m\ge 8$ is tight.

Let $C_k^{\triangle}$ be the graph obtained from a cycle $C_{k}$ by adding a new vertex connecting two adjacent vertices in $C_{k}$. In this note, we obtain the graph maximizing the spectral radius among all graphs with size $m$ and containing no subgraph isomorphic to $C_6^{\triangle}$. As a byproduct, we will show that if the spectral radius $λ(G)\ge1+\sqrt{m-2}$, then $G$ must contains all the cycles $C_i$ for $3\le i\le 7$ unless $G\cong K_3\nabla \left(\frac{m-3}{3}K_1\right)$.

It is well-known that eigenvalues of graphs can be used to describe structural properties and parameters of graphs. A theorem of Nosal states that if $G$ is a triangle-free graph with $m$ edges, then $λ(G)\le \sqrt{m}$, equality holds if and only if $G$ is a complete bipartite graph. Recently, Lin, Ning and Wu [Combin. Probab. Comput. 30 (2021)] proved a generalization for non-bipartite triangle-free graphs. Moreover, Zhai and Shu [Discrete Math. 345 (2022)] presented a further improvement. In this paper, we present an alternative method for proving the improvement by Zhai and Shu. Furthermore, the method can allow us to give a refinement on the result of Zhai and Shu for non-bipartite graphs without short odd cycles.

A well-known result in extremal spectral graph theory, due to Nosal and Nikiforov, states that if $G$ is a triangle-free graph on $n$ vertices, then $λ(G) \le λ(K_{\lfloor \frac{n}{2}\rfloor, \lceil \frac{n}{2} \rceil })$, equality holds if and only if $G=K_{\lfloor \frac{n}{2}\rfloor, \lceil \frac{n}{2} \rceil }$. Nikiforov [Linear Algebra Appl. 427 (2007)] extended this result to $K_{r+1}$-free graphs for every integer $r\ge 2$. This is known as the spectral Turán theorem. Recently, Lin, Ning and Wu [Combin. Probab. Comput. 30 (2021)] proved a refinement on this result for non-bipartite triangle-free graphs. In this paper, we provide alternative proofs for the result of Nikiforov and the result of Lin, Ning and Wu. Our proof can allow us to extend the later result to non-$r$-partite $K_{r+1}$-free graphs. Our result refines the theorem of Nikiforov and it also can be viewed as a spectral version of a theorem of Brouwer.

Both the Simonovits stability theorem and the Nikiforov spectral stability theorem are powerful tools for solving exact values of Turán numbers in extremal graph theory. Recently, Füredi [J. Combin. Theory Ser. B 115 (2015)] provided a concise and contemporary proof of the Simonovits stability theorem. In this note, we present a unified treatment for some extremal graph problems, including short proofs of Nikiforov's spectral stability theorem and the clique stability theorem proved recently by Ma and Qiu [European J. Combin. 84 (2020)]. Moreover, some spectral extremal problems related to the $p$-spectral radius and signless Laplacian radius are also included.

This survey is two-fold. We first report new progress on the spectral extremal results on the Turán type problems in graph theory. More precisely, we shall summarize the spectral Turán function in terms of the adjacency spectral radius and the signless Laplacian spectral radius for various graphs. For instance, the complete graphs, general graphs with chromatic number at least three, complete bipartite graphs, odd cycles, even cycles, color-critical graphs and intersecting triangles. The second goal is to conclude some recent results of the spectral conditions on some graphical properties. By a unified method, we present some sufficient conditions based on the adjacency spectral radius and the signless Laplacian spectral radius for a graph to be Hamiltonian, $k$-Hamiltonian, $k$-edge-Hamiltonian, traceable, $k$-path-coverable, $k$-connected, $k$-edge-connected, Hamilton-connected, perfect matching and $β$-deficient.

A graph $G$ is $k$-path-coverable if its vertex set $V(G)$ can be covered by $k$ or fewer vertex disjoint paths. In this paper, using the $Q$-index of a connected graph $G$, we present a tight sufficient condition for $G$ with fixed minimum degree and large order to be $k$-path-coverable.