arXiv++ Combinatorics

We establish a tensor spectral stability theorem for uniform hypergraphs with bounded matching number. More precisely, for fixed integers $k\geq 3$ and $β\geq2$, and sufficiently large $n$, we prove that every $n$-vertex $k$-uniform hypergraph $H$ with matching number at most $β$ and tensor spectral radius close to the maximum possible value among all such hypergraphs must be structurally close to the extremal hypergraph $S_{n,k,β}$, whose edges consist of all $k$-sets intersecting a fixed set of $β$ vertices. Furthermore, we show that every edge of $H$ intersects this distinguished vertex set and that $H$ contains all but a small proportion of the edges of $S_{n,k,β}$. As an application, we obtain a new proof of the spectral version of the Erdős matching conjecture for sufficiently large $n$.

Let $K$ be an $r$-dimensional simplicial complex. We prove that the spectrum of its $(r - 1)$-dimensional up-Laplacian is majorized by the conjugate degree sequence of its $(r - 1)$-dimensional faces: \[ {\mathbfλ}_{r-1}(K) \preccurlyeq {\mathbf d}_{r-1}^\top(K). \] We also establish a Brouwer-type inequality: for every integer $\ell \geq 1$, \[ \sum_{i = 1}^{\ell}λ_{r-1,i}(K) \leq \frac{r + 1}{2}f_r(K) + \frac{f_{r - 2}(K)}{r} \binom{\ell + 1}{2}, \] where $λ_{r-1,i}(K)$ denotes the $i$-th largest eigenvalue in the spectrum ${\mathbfλ}_{r-1}(K)$, and $f_t(K)$ denotes the number of $t$-dimensional faces of $K$. These results provide higher-dimensional analogs of the Grone-Merris-Bai theorem and the Brouwer-Kothari-Tudose theorem and recover the corresponding graph results when $r=1$. We show that the Duval-Reiner conjecture on the majorization by the conjugate degree sequence of vertices fails in every dimension $r \geq 2$. More precisely, for every $n \geq r + 5$, we construct a pure $r$-dimensional complex on $n$ vertices that violates the conjectured inequality at the fifth partial sum.

Two graphs are degree-similar if their adjacency matrices and degree matrices are simultaneously similar. Godsil and Sun asked whether non-isomorphic degree-similar unicyclic graphs exist. We prove that they do not exist. Every graph degree-similar to a unicyclic graph is isomorphic to it. The proof uses a symbolic leaf-peeling algorithm to recover the rooted trees attached to the unique cycle, and a rigidity lemma for colored cycles to identify automorphisms of the cycle.

In this paper, we study the signless Laplacian spectral radius of pure simplicial complexes under local homological restrictions on links. Let $K$ be a pure $r$-dimensional complex on $n$ vertices, ${\mathfrak q}_{r-1}(K)$ be the spectral radius of the $(r-1)$-up signless Laplacian of $K$, and ${\operatorname{lk}}_K(σ)$ be the link of a face $σ$ in $K$. We prove that if the homology $\widetilde H_t({\operatorname{lk}}_K(σ), {\mathbb R})=0$ for every face $σ\in K$ with $|σ|=r-t$, then \[ {\mathfrak q}_{r-1}(K)\le tn-(t-1)(r+1).\] Moreover, if $K$ is $r$-down path connected and $n\ge r+2+\binom{r+1}{t}\binom{r}{t}$, equality holds if and only if $K \cong Δ_{r+1-t} \star Δ_{n-r-1+t}^{t}$, where $Δ_n$ denotes a simplex on $n$ vertices, $Δ_n^{p}$ denotes the $(p-1)$-skeleton of $Δ_n$, and $\star$ denotes the join of two complexes.

Let $K$ be a finite $r$-dimensional simplicial complex with vertex set $V$ of size $n$. We study the largest eigenvalue of the combinatorial $(r-1)$-up Laplacian $L^{\operatorname{up}}_{r-1}(K)$. It is known that \[ λ_{\max}\bigl(L^{\operatorname{up}}_{r-1}(K)\bigr)\le n. \] We first give a homological equality criterion for this universal bound, namely, the equality holds if and only if the $r$-dimensional complement $K^c$ of $K$ has a nonzero reduced homology $\widetilde H_{r-1}(K^c,\mathbb{R})$. For $r=1$, this is the classical graph condition that the complement graph is disconnected. Secondly, we prove a sharper upper bound for $λ_{\max}(L^{\operatorname{up}}_{r-1}(K))$: \[ λ_{\max}(L^{\operatorname{up}}_{r-1}(K)) \le \max_{F\in S_r(K)} \bigl|\bigcup_{E \in \partial F} N_K(E) \bigr| \le n,\] where, for an $(r-1)$-face $E$, $N_K(E)$ denotes the set of vertices $u$ outside $E$ such that the union $E \cup \{u\}$ is an $r$-face of $K$. This is the high-dimensional analog of the graph Laplacian bound. We give an explicit characterization of the equality case, and construct a broad family attaining the bound, namely, the partite semiregular complexes with admissible additions.

Godsil and Sun asked whether, for a strongly regular graph $X$ and any two different edges $e$ and $f$, the edge-deleted graphs $X\setminus e$ and $X\setminus f$ are degree-similar. We give an affirmative answer to the problem of Godsil and Sun. In fact, we prove the stronger statement that if $X$ is a $1$-walk-regular graph, then for any two edges $e$ and $f$ of $X$, the graphs $X\setminus e$ and $X\setminus f$ are orthogonally degree-similar. The proof is based on an edge version of the orthogonal-intertwiner method: the equality of the Gram matrices of the projected endpoint vectors in every eigenspace yields an orthogonal matrix commuting with the adjacency matrix and sending one pair of ordered endpoint vectors to the other.

Let $L_μ(G)=A(G)-μD(G)$ be the generalized $μ$-adjacency matrix of a finite graph $G$. Fan, Xing, Zhang, and Wang constructed pairs of non-degree-similar trees for which the Smith normal forms of the matrices $tI-L_μ(G)$ over $\mathbb{Q}(μ)[t]$ coincide, and conjectured that their construction remains valid when the attached rooted path is replaced by an arbitrary rooted tree. We prove this conjecture as a consequence of a more general coalescence theorem: if a finite graph $H$ has two vertices $u$ and $v$ that are cospectral for $L_μ(H)$, then, for every finite rooted graph $R$ with root $r$, the matrices \[ tI-L_μ(R(r)\odot H(u)) \quad\text{and}\quad tI-L_μ(R(r)\odot H(v)) \] have the same Smith normal form over $\mathbb{Q}(μ)[t]$, where $\odot$ denotes coalescence of rooted graphs. The proof uses an orthogonal intertwiner over a real closed extension field.

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.

An $r$-dimensional wheel is defined as the join of an $(r-2)$-simplex and a cycle. In this paper, we study the maximum signless Laplacian spectral radius of $n$-vertex $r$-dimensional pure simplicial complexes that contain no $r$-dimensional wheels. For sufficiently large $n$, we determine the extremal complexes that attain this maximum. Our result generalizes the corresponding extremal results of signless Laplacian on graphs and provides a spectral anlogue of a theorem of Sós, Erdős and Brown on the maximum number of facets of simplicial complexes in the case $r=2$.

In this paper we establish an asymptotic formula for the signless Laplacian spectral radius of a $2$-dimensional simplicial complex with given $2$-th Betti number. Furthermore, we characterize the $2$-dimensional simplicial complex that achieves the maximum signless Laplacian spectral radius among all-dimensional simplicial complex with the $2$-th Betti number equal to $1$ or $2$.

Let $G$ be a graph with adjacency matrix $A(G)$ and degree matrix $D(G)$, and let $L_μ(G):=A(G)-μD(G)$. Two graphs $G_1$ and $G_2$ are called \emph{degree-similar} if there exists an invertible matrix $M$ such that $M^{-1} A(G_1) M =A(G_2)$ and $M^{-1} D(G_1) M =D(G_2)$. In this paper, we address three problems concerning degree-similar graphs proposed by Godsil and Sun. First, we present a new characterization of degree-similar graphs using degree partition, from which we derive methods and examples for constructing cospectral graphs and degree-similar graphs. Second, we construct infinite pairs of non-degree-similar trees $G_1$ and $G_2$ such that $tI- L_μ(G_1)$ and $tI-L_μ(G_2)$ have the same Smith normal form over $\Q(μ)[t]$, which provides a negative answer to a problem posed by Godsil and Sun. Third, we establish several invariants of degree-similar graphs and obtain results on unicyclic graphs that are degree-similar determined. Lastly we prove that for a strongly regular graph $G$ and any two edges $e$ and $f$ of $G$, $G \backslash e$ and $G \backslash f$ have identical $μ$-polynomial, i.e., $\det(tI-L_μ(G \backslash e))=\det(tI-L_μ(G \backslash f))$, which enables the construction of pairs of non-isomorphic graphs with same $μ$-polynomial, where $G \backslash e$ denotes the graph obtained from $G$ by deleting the edge $e$.

The Turán problem for hypergraphs and its spectral version is a central and challenging topic in extremal combinatorics. In this paper, we view hypergraphs from the perspective of simplicial complexes, and investigate the spectral version of Turán problem for simplicial complexes. We characterize the simplicial complex that maximizes the signless Laplacian spectral radius among all hole-free simplicial complexes, and establish an upper bound on the spectral radius for simplicial complexes with a prescribed Betti number. As an application, we derive bounds on Turán numbers for both hypergraphs and simplicial complexes via the connection between the spectral radius and the face numbers.

Half a century ago, Bollobás and Erdős [Bull. London Math. Soc. 5 (1973)] proved that every $n$-vertex graph $G$ with $e(G)\ge (1- \frac{1}{k} + \varepsilon )\frac{n^2}{2}$ edges contains a blowup $K_{k+1}[t]$ with $t=Ω_{k,\varepsilon}(\log n)$. A well-known theorem of Nikiforov [Combin. Probab. Comput. 18 (3) (2009)] asserts that if $G$ is an $n$-vertex graph with adjacency spectral radius $λ(G)\ge (1- \frac{1}{k} + \varepsilon)n$, then $G$ contains a blowup $K_{k+1}[t]$ with $t=Ω_{k,\varepsilon}(\log n)$. This gives a spectral version of the Bollobás--Erdős theorem. In this paper, we systematically explore variants of Nikiforov's result in terms of the signless Laplacian spectral radius, extending the supersaturation, blowup of cliques and the stability results.

The spread of a real symmetric matrix is defined as the difference between its largest and smallest eigenvalue. The study of graph-related matrices has attracted considerable attention, leading to a substantial body of findings. In this paper, we investigate a general spread problem related to $A_α$-matrix of graphs. The $A_α$-matrix of a graph $G$, introduced by Nikiforov in 2017, is a convex combinations of its diagonal degree matrix $D(G)$ and adjacency matrix $A(G)$, defined as $A_α (G) = αD(G) + (1-α) A(G)$. Let $λ_1^{(α)} (G)$ and $λ_n^{(α)} (G)$ denote the largest and smallest eigenvalues of $A_α (G)$, respectively. We determined the unique graph that maximizes $λ^{(α)}_1 (G) - β\cdotλ^{(γ)}_n (G)$ among all connected $n$-vertex graphs for sufficiently large $n$, where $0 \leq α< 1$, $1/2\leq γ< 1$ and $0<βγ\leq 1$. As an application, we confirm a conjecture proposed by Lin, Miao, and Guo [Linear Algebra Appl. 606 (2020) 1--22]. In addition, one of main results in [SIAM J. Discrete Math. 38 (2024) 590--608] is a simple corollary of our result by choosing $α= γ= 1/2$ and $β= 1$.

Hu and Ye conjectured that for a $k$-th order and $n$-dimensional tensor $\mathcal{A}$ with an eigenvalue $λ$ and the corresponding eigenvariety $\mathcal{V}_λ(\mathcal{A})$, $$\mathrm{am}(λ) \ge \sum_{i=1}^κ\mathrm{dim}(V_i)(k-1)^{\mathrm{dim}(V_i)-1},$$ where $\mathrm{am}(λ)$ is the algebraic multiplicity of $λ$, and $V_1,\ldots,V_κ$ are all irreducible components of $\mathcal{V}_λ(\mathcal{A})$. In this paper, we prove that if $\mathcal{A}$ is a nonnegative weakly irreducible tensor with spectral radius $ρ$, then $\mathrm{am}(λ) \ge |\mathbb{V}_λ(\mathcal{A})|$ for all eigenvalues $λ$ of $\mathcal{A}$ with modulus $ρ$, where $\mathbb{V}_λ(\mathcal{A})$ is the projective eigenvariety of $\mathcal{A}$ associated with $λ$. Consequently we confirm Hu-Ye's conjecture for the above eigenvalues $λ$ of $\mathcal{A}$ and also the least H-eigenvalue of a weakly irreducible $Z$-tensor. We prove several equality cases in Hu-Ye's conjecture for the eigenvalues of the adjacency tensor or Laplacian tensor of uniform hypergraphs.

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.

Let $K$ be a simplicial complex, and let $Δ_i^{up}(K)$ be the $i$-th up normalized Laplacian of $K$. Horak and Jost showed that the largest eigenvalue of $Δ_i^{up}(K)$ is at most $i+2$, and characterized the equality case by the orientable or non-orientable circuits. In this paper, by using the balancedness of signed graphs, we show that $Δ_i^{up}(K)$ has an eigenvalue $i+2$ if and only if $K$ has an $(i+1)$-path connected component $K'$ such that the $i$-th signed incidence graph $B_i(K')$ is balanced, which implies Horak and Jost's characterization. We also characterize the multiplicity of $i+2$ as an eigenvalue of $Δ_i^{up}(K)$, which generalizes the corresponding result in graph case. Finally we gave some classes of infinitely many simplicial complexes $K$ with $Δ_i^{up}(K)$ having an eigenvalue $i+2$ by using wedge, Cartesian product and duplication of motifs.

A graph $G$ is factored into graphs $H$ and $K$ via a matrix product if there exist adjacency matrices $A$, $B$, and $C$ of $G$, $H$, and $K$, respectively, such that $A = BC$. In this paper, we study the spectral aspects of the matrix product of graphs, including regularity, bipartiteness, and connectivity. We show that if a graph $G$ is factored into a connected graph $H$ and a graph $K$ with no isolated vertices, then certain properties hold. If $H$ is non-bipartite, then $G$ is connected. If $H$ is bipartite and $G$ is not connected, then $K$ is a regular bipartite graph, and consequently, $n$ is even. Furthermore, we show that trees are not factorizable, which answers a question posed by Maghsoudi et al.

Let $K$ be a simplical complex, and let $\mathcal{L}_i^{up}(K), \mathcal{Q}_i^{up}(K)$ be the $i$-th up Laplacian and signless Laplacian of $K$, respectively. In this paper we proved that the largest eigenvalue of $\mathcal{L}_i^{up}(K)$ is not greater than the largest eigenvalue of $\mathcal{Q}_i^{up}(K)$; furthermore, if $K$ is $(i+1)$-path connected, then the equality holds if and only if the $i$-th incidence signed graph $B_i(K)$ of $K$ is balanced. As an application we provided an upper bound for the largest eigenvalue of the $i$-th up Laplacian of $K$, which improves the bound given by Horak and Jost and generalizes the result of Anderson and Morley on graphs.We characterized the balancedness of simplicial complexes under operations such as wedge sum, join, Cartesian product and duplication of motifs. For each $i \ge 0$, by using wedge sum or duplication of motifs, we can construct an infinitely many $(i+1)$-path connected simplicial complexes $K$ with $B_i(K)$ being balanced.

Let $F$ be a graph, and let $\mathcal{B}_r(F)$ be the class of $r$-uniform Berge-$F$ hypergraphs. In this paper, we establish a relationship between the spectral radius of the adjacency tensor of a uniform hypergraph and its local structure through walks. Based on the relationship, we give a spectral asymptotic bound for $\mathcal{B}_{r}(C_3)$-free linear $r$-uniform hypergraphs and upper bounds for the spectral radii of $\mathcal{B}_{r}(K_{2,t})$-free or $\{\mathcal{B}_{r}(K_{s,t}),\mathcal{B}_{r}(C_{3})\}$-free linear $r$-uniform hypergraphs, where $C_{3}$ and $K_{s,t}$ are respectively the triangle and the complete bipartite graph with one part having $s$ vertices and the other part having $t$ vertices. Our work implies an upper bound for the number of edges of $\{\mathcal{B}_{r}(K_{s,t}),\mathcal{B}_{r}(C_{3})\}$-free linear $r$-uniform hypergraphs and extends some of the existing research on (spectral) extremal problems of hypergraphs.