Regular Lichnerowicz-sharp graphs are hypercube bundles

Abstract

Hypercube graphs are fundamental model spaces of positive curvature in discrete comparison geometry. Let $G$ be a finite, connected, simple, unweighted graph with Bakry--Émery curvature bounded below by $K$. We call $G$ Lichnerowicz-sharp if its first non-zero non-normalized Laplacian eigenvalue $λ_1=K$. We prove that all regular Lichnerowicz-sharp graphs are hypercube bundles with constant Bakry-Émery curvature $2$. A hypercube bundle is a graph bundle whose fiber graphs are hypercubes. As applications, we show that any $d$-regular Lichnerowicz-sharp graph with the multiplicity $m_K(G)$ of $λ_1=K$ at least $d/2$ can split off a hypercube of certain dimension. Moreover, we characterize all $d$-regular Lichnerowicz-sharp graphs with $m_{K}(G)\geq d-3$. Interestingly, our result leads to the following spectral rigidity theorem of hypercubes. For a graph $G$ with maximum degree $Δ$, if the multiplicity $m_K(G)\geq Δ-1$, then $G$ is a $Δ$-dimensional hypercube. This improves, in the unweighted setting, the multiplicity condition $m_K(G)\geq Δ$ appearing in the hypercube rigidity theorem of Liu, Münch, and Peyerimhoff. This improvement is optimal.