AI 中文总结
该研究针对离散比较几何中的Lichnerowicz-尖锐图，证明移除特定边后所得图的规范丛结构，推导顶点度恒定时为超立方体丛的结论，并构造了非超立方体纤维的此类图，丰富了正曲率离散图的结构理论。
AI 中文摘要
超立方体图是离散比较几何中正曲率的基本模型空间。设G是有限、连通、简单、未加权图，其Bakry-Émery曲率下界为K。若G的第一个非零未归一化拉普拉斯特征值λ₁=K，则称G为Lichnerowicz-尖锐图。我们证明：移除每个K-特征函数为常数的规范边集合后，所得图具有规范丛结构，其纤维正则，结构与超立方体相似，且与超立方体拉普拉斯共谱，但纤维本身不必是超立方体。若基图非平凡，则满足CD(K,∞)且第一个特征值严格大于K。由此推出：若G中每个规范纤维的顶点度恒定，则每个纤维为超立方体且G是超立方体丛；反之，对每个d≥4，我们构造了度为d、具有非超立方体规范纤维的Lichnerowicz-尖锐图。
英文摘要
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, after removing a canonical collection of edges on which every $K$-eigenfunction is constant, the resulting graph has a canonical bundle structure. Its fibers are regular, have similar structure with hypercubes, and are Laplacian-cospectral with hypercubes, although they need not themselves be hypercubes. If the base graph is nontrivial, then it satisfies $\mathrm{CD}(K,\infty)$ and has first eigenvalue strictly greater than $K$. As a consequence, if the vertex degree in $G$ is constant along each canonical fiber, then every fiber is a hypercube and $G$ is a hypercube bundle. Conversely, for every $d\geq 4$, we construct Lichnerowicz-sharp graphs with non-hypercube canonical fibers of degree $d$.
Comments45 pages, 4 figures
