arXiv++ Combinatorics

Let $K$ be a finite pure $k$-dimensional simplicial complex, with $k\ge1$, on the vertex set $[n]$ and with facet family $K_k$. Let $λ_1(K)\geλ_2(K)\ge\cdots>0$ be the nonzero eigenvalues of its $(k-1)$-dimensional up-Laplacian, and, after ordering the vertices so that $°_K(1)\ge\cdots\ge°_K(n)$, let $\dvT{r}(K)$ be the number of vertices contained in at least $r$ facets. A complex is \emph{shifted} if replacing a vertex of a face by a smaller vertex outside the face always yields another face. We prove that there is a shifted family $\HH$ of $(k+1)$-element subsets of $[n]$, with the same number of members as $K_k$, such that \[ \tfrac12\bigl|K_k\,\triangle\,\HH\bigr| \;\le\; \tfrac12\left[\sum_{r\ge1}\bigl(\dvT{r}(K)\bigr)^{2}-\sum_{r}λ_r(K)^{2}\right]. \] The left-hand side counts the facets that have to be exchanged to reach $\HH$; thus one half of the gap between the second power sums of the two sequences bounds the distance of $K_k$ to a shifted family. The characterization $λ(K)=\dv(K)^{\mathsf T}\iff K$ is isomorphic to a shifted complex was established in \cite{Gupta} from the identity that this gap equals twice the number of failed elementary shifts. The present paper converts that identity into a quantitative stability statement and recovers the equality characterization at zero defect. For $k=1$ this bounds the number of edge exchanges needed to reach a threshold graph with the same number of edges.

Let $K$ be a finite $k$-dimensional simplicial complex with at least two $k$-faces, and let $\Lup_{k-1}(K)=\partial_k\partial_k^{\T}$ be its $(k-1)$-dimensional up-Laplacian. Writing $d_2(K)$ for the second largest upper degree of a $(k-1)$-face, we prove the sharp bound \[ λ_2\bigl(\Lup_{k-1}(K)\bigr)\ \ge\ d_2(K)+k-1 . \] For $k=1$, this recovers the graph inequality $λ_2(L(G))\ge d_2(G)$ of Li and Pan. We also show that the full graph inequality of Brouwer and Haemers does not extend directly to simplicial complexes: the natural candidate $λ_m(\Lup_{k-1}(K))\ge d_m(K)-m+k+1$ already fails for $m=3$.

Let $T$ be a tree. Suppose $λ$ is an eigenvalue of the Laplacian matrix of $T$ with multiplicity $m_{T}(λ)$. It is known that $m_{T}(λ) \leq p(T)-1$, where $p(T)$ is the number of pendant vertices of $T$. In this paper, we characterize all trees $T$ for which there exists an eigenvalue $λ$ such that $m_{T}(λ)=p(T)-1$. We show that such trees are precisely either paths, or there exists an integer $q$ such that if $α$ and $β$ are two distinct pendant vertices, then the distance $d(α,β)$ satisfies $d(α, β) \equiv 2q ~{\rm{mod}}~(2q+1)$. As a consequence, we show that $1$ is an eigenvalue of $L_T$ with multiplicity $p(T)-1$ if and only if $d(α,β) \equiv 2\,\mbox{mod}\, 3$ for all distinct pendant vertices $α$ and $β$ of $T$.

We show that all off-diagonal entries in the Moore-Penrose inverse of the distance Laplacian matrix of a tree are non-positive.

Distance matrices of some star like graphs are investigated in \cite{JAK}. These graphs are trees which are stars, wheel graphs, helm graphs and gear graphs. Except for gear graphs in the above list of star like graphs, there are precise formulas available in the literature to compute the inverse/Moore-Penrose inverse of their distance matrices. These formulas tell that if $D$ is the distance matrix of $G$, then $D^\dagger = -\frac{1}{2}L+uu'$, where $L$ is a Laplacian-like matrix which is positive semidefinite and all row sums equal to zero. The matrix $L$ and the vector $u$ depend only on the degree and number of vertices in $G$ and hence, can be written directly from $G$. The earliest formula obtained is for distance matrices of trees in Graham and Lovász \cite{GL}. In this paper, we obtain an elegant formula of this kind to compute the Moore-Penrose inverse of the distance matrix of a gear graph.