arXiv++ Combinatorics

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$.

In this note, we prove that, on weighted graphs, the Lin--Lu--Yau curvature coincides with the $p$-Ollivier curvature up to scaling whenever the idleness parameter $p\geq 1/2$. Moreover, the threshold $1/2$ is sharp. This extends an earlier result of Bourne et al. (Ollivier--Ricci idleness functions of graphs, SIAM J. Discrete Math., 32 (2018), no. 2, 1408-1424), where combinatorial graphs were considered. This observation yields a simple proof for the global existence and uniqueness of solutions of the Lin--Lu--Yau curvature flow in Bai et al. (Ollivier Ricci-flow on weighted graphs, Amer. J. Math. 146 (2024), 1723-1747).

We prove an extremal theorem for positive Ollivier/Lin--Lu--Yau curvature: every graph of order \(n\geq 8\) with more than \[ T(n)=\frac{n^2-3n}{2}-\left\lceil\frac{n}{2}\right\rceil+2 \] edges has positive Ollivier/Lin--Lu--Yau curvature, and this threshold is optimal. Moreover, for even $n\geq 12$, there exists a unique graph with $T(n)$ edges that has an edge with non-positive curvature. For $n=8,10$ and odd $n\geq 9$, the extremal graphs are not unique. This suggests a new class of extremal graph-theoretic problems arising from discrete curvature notions.

Let $N_α(d)$ denote the maximum number of equiangular lines in $\mathbb{R}^d$ with common angle $\arccos(α)$. Balla conjectured that, if the spectral radius order $κ_{\frac{1-α}{2α}}$ of $\frac{1-α}{2α}$ is finite, then $$N_α(d)\leq \max\left\{\frac{(1-α^2)(1-2α^2)}{2α^4},\left\lfloor\frac{κ_{\frac{1-α}{2α}}(d-1)}{κ_{\frac{1-α}{2α}}-1}\right\rfloor\right\},$$ for any $d\geq 1$. The conjecture has previously been verified only for $α\in\left\{\frac{1}{3},\frac{1}{5},\frac{1}{1+2\sqrt{2}}\right\}$. In this paper, we prove that this conjecture holds for $α=\frac{1}{1+2\sqrt{3}}$ and $α=\sqrt{5}-2$. On the other hand, we show that Balla's conjecture fails for infinitely many $α$.

Hypercube graphs are fundamental model spaces of positive curvature in discrete comparison geometry. We establish the following spectral rigidity theorem. Let $G$ be a finite, connected, simple, unweighted graph with Bakry--Émery curvature bounded below by $K>0$. Denote by $Δ$ the maximum degree of $G$, and let $0=λ_0<λ_1\leq\cdots$ be the eigenvalues of the non-normalized Laplacian. Then $$ λ_{Δ-1}=K \quad\Longrightarrow\quad G\cong H_Δ, $$ where $H_Δ$ is the $Δ$-dimensional hypercube graph. Thus, in the unweighted setting, the multiplicity condition $λ_Δ=K$ appearing in the hypercube rigidity theorem of Liu, Münch, and Peyerimhoff can be weakened to $λ_{Δ-1}=K$. This improvement is optimal. The restriction to unweighted graphs is essential: the strengthened rigidity statement fails in the weighted setting. Our argument is built upon an interplay between the global spectral embedding induced by the first eigenspace and a local analysis of curvature matrices.

We investigate forbidden subgraph conditions in the complement of a graph that guarantee positive Lin--Lu--Yau curvature. In particular, we prove that every graph whose complement contains no $4$-cycles has positive Lin--Lu--Yau curvature, with the only exception of the $4$-vertex path. We further prove that, for any integer $t\ge2$, every graph on at least $\max\{t^2-2t+2, 8t\}$ vertices whose complement contains no $K_{2,t}$ has positive curvature. In addition, this lower bound on the number of vertices is optimal for $t\geq 10$. Finally, we construct examples showing that, in general, the forbidden subgraphs in these results cannot be replaced by cycles of length other than $4$ or by complete bipartite graphs $K_{s,t}$ with $s> 2$ and $t> 2$.

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.

In this paper, we give a new proof of the Lemmens-Seidel conjecture on the maximum number of equiangular lines with a common angle $\arccos(1/5)$. This conjecture was previously resolved by Cao, Koolen, Lin, and Yu in 2022 through an analysis involving forbidden subgraphs for the smallest Seidel eigenvalue $-5$. Our new proof is based on bounds on eigenvalue multiplicities of graphs with degree no larger than $14$. To control the maximum degree of the graph associated with equiangular lines, we employ a recent inequality of Balla derived by matrix projection techniques. Our strategy also leads to a new proof for the classical result obtained by Lemmens and Seidel in 1973 for the case where the common angle is $\arccos(1/3)$.

Under mild assumptions, we show that a connected weighted graph $G$ with lower Ricci curvature bound $K>0$ in the sense of Bakry-Émery and the $d$-th non-zero Laplacian eigenvalue $λ_d$ close to $K$, with $d$ being the maximal combinatorial vertex degree of $G$, has an underlying combinatorial structure of the $d$-dimensional hypercube graph. Moreover, such a graph $G$ is close in terms of Frobenius distance to a properly weighted hypercube graph. Furthermore, we establish their closeness in terms of eigenfunctions. Our results can be viewed as discrete analogies of the almost rigidity theorem and quantitative Obata's theorem on Rimennian manifolds.

By definition, the edge-connectivity of a connected graph is no larger than its minimum degree. In this paper, we prove that the edge connectivity of a finite connected graph with non-negative Lin-Lu-Yau curvature is equal to its minimum degree. This answers an open question of Chen, Liu and You. Notice that our conclusion would be false if we did not require the graph to be finite. We actually classify all connected graphs with non-negative Lin-Lu-Yau curvature and edge-connectivity smaller than their minimum degree. In particular, they are all infinite.

The concept of spectral radius order plays an crucial role in the breakthrough work on equiangular lines due to Jiang, Tidor, Yao, Zhang, and Zhao [Ann. of Math. (2) 194 (2021), no. 3, 729-743]. However, it is difficult to calculate the spectral radius order explicitly in general, or even to characterize numbers with finite spectral radius order. In this paper, we characterize numbers with finite spectral radius orders in two special classes: quadratic algebraic integers and the numbers no larger than 2. Additionally, we derive precise values of the spectral radius order of two infinite families of quadratic algebraic integers.

We establish a sharp edge-connectivity estimate for graphs with non-negative Bakry-Émery curvature. This leads to a geometric criterion for the existence of a perfect matching. Precisely, we show that any regular graph with non-negative Bakry-Émery curvature and an even or infinite number of vertices has a perfect matching. Through a synthesis of combinatorial and curvature-related techniques, we determine the edge-connectivity of (possibly infinite) amply regular graphs.

For given $Δ>0$ and $0<λ<3/\sqrt{2}$, we show that the maximum multiplicity that $λ$ can appear as the second largest eigenvalue of a connected graph with maximum degree at most $Δ$ is $O_{Δ,λ}(1)$. This result answers a question due to Jiang, Tidor, Yao, Zhang and Zhao [Question 6.4, Ann. of Math. (2) 194 (2021), no. 3, 729-743] in the case of $0<λ<3/\sqrt{2}$, and consequently leads to improvements in their results on equiangular lines. Our proof is based on the concept of nodal domains of eigenfunctions. Indeed, we establish a multiplicity estimate in terms of maximum degree and cyclomatic number of the graph, via a novel construction of eigenfunctions with large number of nodal domains.

In this paper, we introduce a magneto-spectral invariant for finite graphs. This invariant vanishes on trees and is maximized by complete graphs. We compute this invariant for cycles, complete graphs, wheel graphs, hypercubes, complete bipartite graphs and suspensions of trees and derive various lower and upper bounds. In particular, we provide a sharp upper bound for regular bipartite graphs and derive a direct relation between the class of graphs assuming this upper bound and the class of unit weighing matrices, which are generalizations of complex Hadamard matrices. Moreover, this class of bipartite graphs has non-negative magnetic Bakry-Émery curvature and is preserved under both the Cartesian product and a partial tensor product for bipartite graphs. The study of our invariant for certain pairs of cospectral graphs indicates also that this invariant allows us to distinguish between them. Finally, we discuss the behaviour of this invariant under various graph operations and investigate relations to the spectral gap.

We prove the monotonic normalized heat diffusion property on distance-regular graphs with classical parameters of diameter $3$. Regev and Shinkar found a Cayley graph for which this property fails. On the other hand, this property has been proved on abelian Cayley graphs, graphs with $3$ distinct eigenvalues and regular bipartite graphs with $4$ distinct eigenvalues by Price, Nica and Kubo-Namba, respectively. A distance regular graph with classical parameters of diameter $3$ has $4$ distinct eigenvalues and is not necessarily bipartite or vertex transitive.

Halin graphs constitute an interesting class of planar and polyhedral graphs. A generalized Halin graph is obtained by connecting all leaves of a planar embedding of a tree via a cycle. A Halin graph is a generalized Halin graph having no vertex of degree two. We classify all generalized Halin graphs with positive Lin-Lu-Yau curvature.

We explore the interaction between connectivity and Lin-Lu-Yau curvature of graphs systematically. The intuition is that connected graphs with large Lin-Lu-Yau curvature also have large connectivity, and vice versa. We prove that the connectivity of a connected graph is lower bounded by the product of its minimum degree and its Lin-Lu-Yau curvature. On the other hand, if the connectivity of a graph $G$ on $n$ vertices is at least $\frac{n-1}{2}$, then $G$ has positive Lin-Lu-Yau curvature. Moreover, the bound $\frac{n-1}{2}$ here is optimal. Furthermore, we prove that the edge-connectivity is equal to the minimum vertex degree for any connected graph with positive Lin-Lu-Yau curvature. As applications, we estimate or determine the connectivity and edge-connectivity of an amply regular graph with parameters $(d,α,β)$ such that $1\neq β\geq α$.

In this paper, we derive new sharp diameter bounds for distance regular graphs, which better answer a problem raised by Neumaier and Penji\' c in many cases. Our proof is built upon a relation between the diameter and long-scale Ollivier Ricci curvature of a graph, which can be considered as an improvement of the discrete Bonnet-Myers theorem. Our method further leads to significant improvements of existing diameter bounds for amply regular graphs and $(s,c,a,k)$-graphs.

Amply regular graphs are graphs with local distance-regularity constraints. In this paper, we prove a weaker version of a conjecture proposed by Qiao, Park, and Koolen on diameter bounds of amply regular graphs and make new progress on Terwilliger's conjecture on finiteness of amply regular graphs. Terwilliger's conjecture can be considered as a natural extension of the Bannai-Ito conjecture about distance-regular graphs confirmed by Bang, Dubickas, Koolen, and Moulton. As a consequence, we show that there are only finitely many amply regular graphs with parameters $(n,d,α,β)$ satisfying $α\leq 6β-9$. We achieve these results by a significantly improved Lin--Lu--Yau curvature estimate and new Bakry--Émery curvature estimates. We further discuss applications of our curvature estimates to bounding eigenvalues, isoperimetric constants, and expansion properties. In addition, we obtain a volume estimate, which is sharp for hypercubes.

We present a relation between volumes of certain lower dimensional simplices associated to a full-dimensional primal and polar dual polytope in R^k. We then discuss an application of this relation to a geometric construction of a Colin de Verdiere matrix by Ivan Izmestiev. In the second part of the paper, we introduce a variation of vertex transitive polytopes, translate their associated Colin de Verdiere matrices into random walk matrices, and investigate extremality properties of the spectral gaps of these random walk matrices in two concrete examples - permutahedra of Coxeter groups and polytopes associated to the pure rotational tetrahedral group - where maximal spectral gaps correspond to equilateral polytopes.