Spectrally positive Bakry-Émery Ricci curvature on graphs
Introduction
Analytic properties of graphs and manifolds such as eigenvalue estimates for the Laplacian or gradient estimates for the heat semigroup depend crucially on curvature conditions. In the last decade, there has been increasing interest in discrete Ricci curvature notions based on [25], [19], [6], [16]. Indeed, most of the research so far is focused on constant curvature bounds.
Recently, authors began to generalize the uniform bounds in the curvature dimension condition to obtain Bonnet-Myers type theorems under almost positivity assumptions with exceptions [14], [17]. A big gap in dealing with almost positive curvature is that it is not clear that Sobolev inequalities hold on graphs even in the case of uniformly positive curvature, such that techniques based on heat kernel estimates do not carry over immediately. To overcome this issue, we deal here with spectrally positive Ricci curvature in the sense that for some , we have where is the non-negative Laplacian of the graph and maps every point to the smallest value of the Bakry-Émery Ricci curvature at a given vertex. This will be made precise in the next section.
Spectrally positive Ricci curvature on Riemannian manifolds proved to be a fruitful analytic generalization for most of the well-known results depending on uniformly bounded Ricci curvature or smallness of its negative part in -sense, see [4]. A very powerful assumption implying spectral positivity is the so-called Kato condition [22], [2], [20], [24], [21]. Denote for its negative part by . The function satisfies the Kato condition if there is a such that where denotes the heat semigroup. The major advantage of this condition is that one can treat mapping properties of perturbed semigroups without knowing anything about the perturbed heat kernel itself, [23], allowing to obtain explicit results as soon as one knows something about the unperturbed heat kernel. Here, we use this condition for the function for some .
In this paper, we will prove Lichnerowicz estimates for Bakry-Émery spectrally positive Ricci curvature, and we prove a Bonnet-Myers type theorem under a Kato condition on the curvature. Therefore, we use a combination of the original proof of Lichnerowicz together with the Perron-Frobenius theorem. Also under spectrally positive Ricci curvature, we prove finiteness of the fundamental group. Assuming additionally that a refinement of (2) holds, we prove a gradient estimate for the perturbed semigroup generated by , and use perturbation results to get elliptic Harnack and Buser inequalities. Originally, Harnack and Buser inequality are stated for non-negatively curvature. Our version requires a Kato condition comparing to positive curvature as some positive curvature is required to compensate the admissible occurrence of negative curvature.
Section snippets
Graph Laplacians and variable Bakry-Émery curvature
A measured and weighted graph (short mwg) is a triple consisting of a countable set V, a symmetric function which is zero on the diagonal, and a function . We always assume that mwg are locally finite, i.e., given and , we always assume that the set of with is finite, and that G is connected. We abbreviate , and define , . Furthermore, we let .
Definition 2.1 Let be a mwg. We define the
Lichnerowicz estimate for spectrally positive curvature
We first prove a Lichnerowicz-type theorem assuming spectrally positive Ricci curvature since it does not depend on the Kato condition.
Theorem 3.1 Let , , , and G a -spectrally positive finite mwg. Then, we have , where is the first positive eigenvalue of L in .
Proof Let f be an eigenfunction to the eigenvalue λ of L, i.e., and let . Then, and thus, Let E be the smallest eigenvalue of
Gradient estimates and Harnack inequality
A modification of the classical Ledoux ansatz leads to the following gradient estimate. Theorem 4.1 Let G be a mwg with satisfying for and . Then, for all bounded , we have the pointwise inequalities and assuming , we get
Proof
As usual, we omit the dependency of the vertex. Define for fixed Then, following the classical Ledoux ansatz, we have , where we used the fact that the
Diameter bounds and curvature in Kato class
Similarly to [12], [14], we apply a gradient estimate (Theorem 4.1) to conclude a diameter bound.
Theorem 5.1 Let , , , G a mwg with and . Suppose Then,
Proof We follow the proof of [12, Theorem 2.1]. First, note that for any , we have , . Fix , , and define . Thanks to , and (3), we have for all and all ,
Fundamental group and spectrally positive curvature
It has been shown in [9] that strictly positive Bakry Emery curvature everywhere implies finiteness of the fundamental group. By the fundamental group we refer to the CW-complex consisting of the graph as 1-skeleton where all cycles of length 3 and 4 are filled with disks. In order to obtain finiteness of the fundamental group, it turns out to be sufficient to assume spectrally positive curvature which is significantly weaker than the Kato condition or a uniform positive lower curvature bound.
Theorem 6.1
Buser's inequality and curvature in Kato class
We prove a Buser inequality under our generalized curvature conditions. Therefore, we need to introduce the Cheeger constant of a finite weighted graph G, that is given by where and .
Buser's inequality gives the counterpart to the well known Cheeger inequality stating that the first positive eigenvalue is larger than the square of the Cheeger constant h up to a constant factor. Buser inequality is the reverse inequality
References (27)
- et al.
Harnack inequalities for graphs with non-negative Ricci curvature
J. Math. Anal. Appl.
(2014) - et al.
Poincaré modified logarithmic Sobolev and isoperimetric inequalities for Markov chains with non-negative Ricci curvature
J. Funct. Anal.
(2018) Buser's inequality on infinite graphs
J. Math. Anal. Appl.
(2019)- et al.
Bakry–Émery curvature and diameter bounds on graphs
Calc. Var. Partial Differ. Equ.
(2018) Ricci curvature of metric spaces
C. R. Math.
(2007)Absorption semigroups, their generators, and Schrödinger semigroups
J. Funct. Anal.
(1986)A note on the isoperimetric constant
Geometric inequalities for manifolds with Ricci curvature in the Kato class
- et al.
Geometric and spectral estimates based on spectral Ricci curvature assumptions
- et al.
Ricci curvature of finite Markov chains via convexity of the entropy
Arch. Ration. Mech. Anal.
(2012)
Ricci curvature on birth-death processes
Discrete curvature and Abelian groups
Can. J. Math.
Relationships between cycle spaces, gain graphs, graph coverings, fundamental groups, path homology, and graph curvature
Cited by (12)
Stability of metric measure spaces with integral Ricci curvature bounds
2021, Journal of Functional AnalysisOn the Lichnerowicz Estimate for Laplacians on Graphs under Spectral Curvature Assumptions
2022, Mathematical Notes