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 ${\lambda }_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 ${\lambda }_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)\ge d-3$. Interestingly, our result leads to the following spectral rigidity theorem of hypercubes. For a graph $G$ with maximum degree $\Delta$, if the multiplicity $m_K(G)\ge \Delta -1$, then $G$ is a $\Delta$-dimensional hypercube. This improves, in the unweighted setting, the multiplicity condition $m_K(G)\ge \Delta$ appearing in the hypercube rigidity theorem of Liu, Münch, and Peyerimhoff. This improvement is optimal.

42 pages, 5 figures, this version is to update our main theorem