Table of Contents
Fetching ...

On Lichnerowicz sharp distance-regular graphs

Kaizhe Chen, Shiping Liu, Heng Zhang

TL;DR

This work addresses the discrete analogue of the Lichnerowicz rigidity problem in graph theory by classifying all distance-regular graphs that attain equality in the Lin–Lu–Yau curvature bound, i.e., graphs with $λ_1 = \min_{xy\in E} κ(x,y)$. The authors develop a two-pronged approach: first classify amply regular Terwilliger graphs with positive $κ$ via curvature bounds and structural reductions, then leverage spectral relations for line graphs to obtain a complete list of Lichnerowicz sharp distance-regular graphs. The resulting catalogue comprises $CP(n)$, $H(d,n)$, $J(n,k)$, $Q^n_{(2)}$, the Schläfli graph, and the Gosset graph, and it shows that a prior spectral condition is unnecessary. Overall, the paper advances discrete Obata-type rigidity in Lin–Lu–Yau geometry and delivers a precise, highly symmetric graph catalog with extremal spectral-curvature properties.

Abstract

The first non-zero Laplacian eigenvalue $λ_1$ of a finite graph is bounded below by its minimum Lin--Lu--Yau curvature $κ$. This is a discrete analogue of the classical Lichnerowicz Theorem. A graph with $λ_1=κ$ is called Lichnerowicz sharp. In this note, we completely classify all Lichnerowicz sharp distance-regular graphs. Our result substantially strengthens the corresponding classification by Cushing, Kamtue, Koolen, Liu, Münch, and Peyerimhoff (Adv. Math. 2020), which required an extra spectral condition. As a key preparatory step, we provide a classification of all amply regular Terwilliger graphs with positive Lin-Lu-Yau curvature, a result that is interesting of its own right.

On Lichnerowicz sharp distance-regular graphs

TL;DR

This work addresses the discrete analogue of the Lichnerowicz rigidity problem in graph theory by classifying all distance-regular graphs that attain equality in the Lin–Lu–Yau curvature bound, i.e., graphs with . The authors develop a two-pronged approach: first classify amply regular Terwilliger graphs with positive via curvature bounds and structural reductions, then leverage spectral relations for line graphs to obtain a complete list of Lichnerowicz sharp distance-regular graphs. The resulting catalogue comprises , , , , the Schläfli graph, and the Gosset graph, and it shows that a prior spectral condition is unnecessary. Overall, the paper advances discrete Obata-type rigidity in Lin–Lu–Yau geometry and delivers a precise, highly symmetric graph catalog with extremal spectral-curvature properties.

Abstract

The first non-zero Laplacian eigenvalue of a finite graph is bounded below by its minimum Lin--Lu--Yau curvature . This is a discrete analogue of the classical Lichnerowicz Theorem. A graph with is called Lichnerowicz sharp. In this note, we completely classify all Lichnerowicz sharp distance-regular graphs. Our result substantially strengthens the corresponding classification by Cushing, Kamtue, Koolen, Liu, Münch, and Peyerimhoff (Adv. Math. 2020), which required an extra spectral condition. As a key preparatory step, we provide a classification of all amply regular Terwilliger graphs with positive Lin-Lu-Yau curvature, a result that is interesting of its own right.
Paper Structure (8 sections, 24 theorems, 53 equations, 2 figures, 2 tables)

This paper contains 8 sections, 24 theorems, 53 equations, 2 figures, 2 tables.

Key Result

Theorem 1.1

Let $G$ be a connected graph. Let $\lambda_1$ be the first nonzero eigenvalue of the normalized Laplacian $L$. Then we have where $\kappa(x,y)$ is the Lin--Lu--Yau curvature of $xy$.

Figures (2)

  • Figure 1: Icosahedron
  • Figure 2: Line graph of the Petersen graph

Theorems & Definitions (43)

  • Theorem 1.1: Discrete Lichnerowicz Theorem LLY11Ollivier09
  • Definition 1.2: Distance-regular graph BCN89
  • Theorem 1.3
  • Definition 1.4: Amply regular graph BCN89
  • Theorem 1.5
  • Definition 2.1: Wasserstein distance
  • Definition 2.2: $p$-Ollivier curvature Ollivier09 and Lin--Lu--Yau curvature LLY11
  • Lemma 2.3: CKKLMP20
  • Lemma 2.4: CLY
  • Theorem 2.5: BCN89
  • ...and 33 more