arXiv subjects

Yi-Min Song

Publications and source records attributed to Yi-Min Song.

6 recordsLinked to original sources

arXiv2026

Maximizing the signless Laplacian spectral radius of simplicial 2-complexes with a prescribed second Betti number

We study how a prescribed second Betti number constrains the largest eigenvalue of the signless Laplacian on edges of a pure two-dimensional simplicial complex. For each fixed positive second Betti number, we determine all maximizing complexes provided that the number of vertices is sufficiently large. Every maximizer consists of a full cone over a complete graph together with a family of triangles avoiding the apex, any two of which share an edge; the number of added triangles equals the prescribed Betti number. The maximizer is unique up to isomorphism except when this number is three or four, for which we describe all additional extremal complexes. The proof uses homological constraints and Perron vector estimates to establish the full cone structure, followed by an exact Schur complement comparison to classify the added triangles. We also obtain an asymptotic expansion of the maximum spectral radius and extend the extremal result to Betti numbers growing more slowly than the fourth root of the number of vertices. These results provide a two-dimensional counterpart of spectral extremal theorems for connected graphs with a prescribed cyclomatic number.

math.CO↗

arXiv2026

Degree Majorization and Laplacian Eigenvalue Sums for Simplicial Complexes

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.

math.CO↗

arXiv2025

The spectra of Laplace operators on covering simplicial complexes

We give a decomposition of the Laplace operator (in matrix form) of a covering simplicial complex as a direct sum of several matrices, one of which is the Laplace operator of the base complex. It follows that the spectrum of a covering simplicial complex is a multiset union of the spectrum of the base simplicial complex and the spectra of other relevant matrices, which implies the spectral inclusion property of Horak and Jost. In the case of a $2$-fold covering, we show that the spectrum is a multiset union of the spectrum of the base complex and that of an incidence-signed simplicial complex, thereby generalizing a result of Bilu and Linial from graphs to simplicial complexes. Additionally, we show that the dimension of the cohomology of a covering complex is greater than or equal to that of the base complex. Our arguments exploit the coverings of incidence graphs of simplicial complexes and the representation theory of permutation groups.

math.CO↗

arXiv2024

Hypergraph coverings and Ramanujan Hypergraphs

In this paper we investigate Ramanujan hypergraphs by using hypergraph coverings. We first show that the spectrum of a $k$-fold covering $\bar{H}$ of a connected hypergraph $H$ contains the spectrum of $H$, and that it is the union of the spectrum of $H$ and the spectrum of an incidence-signed hypergraph with $H$ as underlying hypergraph if $k=2$, which generalizes Bilu-Linial result on graph coverings. We give a lower bound for the second largest eigenvalue of a $d$-regular hypergraph by universal cover, which generalizes Alon-Boppana bound on $d$-regular graphs and Feng-Li bound on $(d,r)$-regular hypergraphs. By using interlacing family of polynomials, we prove that every $(d,r)$-regular hypergraph has a right-sided Ramanujan $2$-covering, and has a left-sided Ramanujan $2$-covering if the roots of the matching polynomial of its incident graph satisfy some condition. By Ramanujan $2$-coverings, we prove the existence of some families of infinite many left-sided or right-sided $(d,r)$-regular Ramanujan hypergraphs under certain conditions on $d$ and $r$.

math.CO↗

arXiv2023

The spectral property of hypergraph coverings

Let $H$ be a connected $m$-uniform hypergraph, and let $\mathcal{A}(H)$ be the adjacency tensor of $H$ whose spectrum is simply called the spectrum of $H$. Let $s(H)$ denote the number of eigenvectors of $\mathcal{A}(H)$ associated with the spectral radius, and $c(H)$ denote the number of eigenvalues of $\mathcal{A}(H)$ with modulus equal to the spectral radius, which are respectively called the stabilizing index and cyclic index of $H$. Let $\bar{H}$ be a $k$-fold covering of $H$ which can be obtained from some permutation assignment in the symmetric group $\mathbf{S}_k$ on $H$. In this paper, we first characterize the connectedness of $\bar{H}$ by its incidence graph and the permutation assignment, and then investigate the relationship between the spectral property of $H$ and that of $\bar{H}$. By applying module theory and group representation, if $\bar{H}$ is connected, we prove that $s(H) \mid s(\bar{H})$ and $c(H) \mid c(\bar{H})$. In particular, when $\bar{H}$ is a $2$-fold covering of $H$, if $m$ is even, we show that regardless of multiplicities, the spectrum of $\bar{H}$ contains the spectrum of $H$ and the spectrum of a signed hypergraph with $H$ as underlying hypergraph; if $m$ is odd, we give an explicit formula for $s(\bar{H})$. We also find some differences on the spectral property between hypergraph coverings and graph coverings by examples.

math.CO↗

arXiv2022

The trace and Estrada index of uniform hypergraphs with cut vertices

Let $\mathcal{H}$ be an $m$-uniform hypergraph, and let $\mathcal{A}(\mathcal{H})$ be the adjacency tensor of $\mathcal{H}$ which can be viewed as a system of homogeneous polynomials of degree $m-1$. Morozov and Shakirov generalized the traces of linear systems to nonlinear homogeneous polynomial systems and obtained explicit formulas for multidimensional resultants. Sun, Zhou and Bu introduced the Estrada index of uniform hypergraphs which is closely related to the traces of their adjacency tensors. In this paper we give formulas for the traces of $\mathcal{A}(\mathcal{H})$ when $\mathcal{H}$ contains cut vertices, and obtain results on the traces and Estrada index when $\mathcal{H}$ is perturbed under local changes. We prove that among all hypertrees with fixed number of edges, the hyperpath is the unique one with minimum Estrada index and the hyperstar is the unique one with maximum Estrada index.

math.CO↗