arxiv: v2 [math.dg] 18 Nov 2016

Transcription

1 BARY-ÉMERY CURVATURE AND DIAMETER BOUNDS ON GRAPHS SHIPING LIU, FLORENTIN MÜNCH, AND NORBERT PEYERIMHOFF arxiv: v [math.dg] 18 Nov 16 Abstract. We prove diameter bounds for graphs having a positive Ricci-curvature bound in the Bakry-Émery sense. Our first result using only curvature and maximal vertex degree is sharp in the case of hypercubes. The second result depends on an additional dimension bound, but is independent of the vertex degree. In particular, the second result is the first Bonnet-Myers type theorem for unbounded graph Laplacians. Moreover, our results improve diameter bounds from [6] and [1] and solve a conjecture from [4]. 1. Introduction The classical Bonnet-Myers theorem states that for a complete, connected Riemannian manifold with Ricci-curvature bounded from below by >, the diameter is bounded by the diameter of the sphere with the same dimension and Ricci-curvature (see [17]). Moreover by Cheng s Rigidy theorem (see [3]), sharpness is obtained if and only if the manifold is a sphere. Bakry and Ledoux [] successfully established this theorem for abstract Markov generators which are diffusion and satisfy Bakry-Émery-Ricci curvature [1] conditions. Our aim is to give a simple proof of this theorem in a discrete setting. Indeed, discrete space Markov generators are not diffusion and therefore, the theory of Bakry and Ledoux is not applicable. However, for many discrete curvature notions there is already a Bonnet- Myers-type result established (for sectional curvature on planar graphs, see [5, 9, 13, ], and for Ollivier-Ricci-curvature, see [18], and for Forman s discrete Ricci curvature, see [7]). In this article, we focus on Bakry-Émery-Ricci-curvature [1, 19, 15, 1]. Under the assumption of finite measure and bounded vertex degree, a discrete Bonnet-Myers theorem has been proven for Bakry-Émery-curvature on discrete Markov-chains [6]. Furthermore, a discrete Bonnet-Myers type theorem was established under the CDE -condition in [1], whereby CDE is stronger than the CD condition [16]. We will prove diameter bounds under CD conditions which give sharp results and improve diameter bounds from [6] and [1]. Moreover, our results solve Conjecture 8.1 from [4]. In contrast to manifolds, we can upper bound the Laplacian by the gradient on graphs, that is, ( f) CΓf for all functions f on the vertices and a constant C > depending only on the maximal vertex degree. This property will give us diameter bounds using the vertex degree instead of the dimension parameter in the curvature-dimension condition Organization of the paper and main results. In Subsection 1., we define Bakry- Émery-Ricci-curvature and discuss different distance and diameter notions. In Section, we give two versions of diameter bounds. Date: November 1, 16. 1

2 LIU, MÜNCH, AND PEYERIMHOFF The first result (Corollary.) is using CD(, ) and bounded vertex degree and gives the sharp estimate diam d (G). This solves Conjecture 8.1 from [4] claiming that for every graph satisfying CD(, ) with >, there should exist an upper diameter bound of the graph only depending on and. The second result (Theorem.4) works in a more general setting, in particular, no boundedness of the vertex degree is needed anymore. But instead, we will assume CD(, n) with finite n to prove n diam ρ π where ρ is the resistance metric (see Definition 1.3). Finally in Subsection.3, we compare these diameter bounds to diameter bounds from [6] and [1]. In comparison to [1], we need a weaker curvature assumption and obtain stronger estimates (see Remark.5). In comparison to [6], we have an improvement by a factor of under the same curvature assumptions (see Remark.7). 1.. Setup and notations. A triple G = (V,w,m) is called a (weighted) graph if V is a countable set, if w : V [, ) is symmetric and zero on the diagonal and if m : V (, ). We call V the vertex set, w the edge weight and m the vertex measure. We define the graph Laplacian as a map R V R V via f(x) := 1 m(x) w(x,y)(f(y) f(x)). In the following, we only consider locally finite graphs, i.e., for every x V there are only finitely many y V with w(x,y) >. We write Deg(x) := y w(x,y) m(x) y and := sup x Deg(x). Definition 1.1 (Bakry-Émery-curvature). The Bakry-Émery-operators are defined via Γ(f,g) := (fg) f g g f and Γ (f,g) := Γ(f,g) Γ(f, g) Γ(g, f). We write Γ(f) := Γ(f,f) and Γ (f) := Γ (f,f). A graph G is said to satisfy the curvature dimension inequality CD(,n) for some R and n (, ] if for all f, Γ (f) 1 n ( f) +Γf. Next, we define combinatorial and resistance metrics and diameters. Definition 1. (Combinatorial metric). Let G = (V,w,m) be a locally finite graph. We define the combinatorial metric d : V [, ) via d(x,y) := min{n : there exist x = x,...,x n = y s.t. w(x i,x i 1 ) > for all i = 1...n} and the combinatorial diameter as diam d (G) := sup x,y V d(x,y). Definition 1.3 (Resistance metric). Let G = (V,w,m) be a locally finite graph. We define the resistance metric ρ : V [, ) via ρ(x,y) := sup{f(y) f(x) : Γf 1} and the resistance diameter as diam ρ (G) := sup x,y V ρ(x,y). In the case of bounded degree, there is a standard estimate between combinatorial and resistance metric.

3 BARY-ÉMERY CURVATURE AND DIAMETER BOUNDS ON GRAPHS 3 Lemma 1.4. (Combinatorial and resistance metric) Let G = (V,w,m) be a locally finite graph with <. Then for all x,y V, d(x,y ) Degmax ρ(x,y ). Proof. Let f : V R be defined by f(x) := d(x,x ). Then for all x V, Hence, This directly implies the claim. Γf(x) = 1 m(x) 1 m(x) = Deg(x) 1. w(x,y)(f(y) f(x)) y w(x, y) y ρ(x,y ) f(y ) f(x ) = d(y,x ).. Bonnet-Myers via the Bakry-Émery curvature-dimension condition In the first subsection, we obtain sharp diameter bounds for CD(, ). In the second subsection, we obtain diameter bounds for unbounded Laplacians for CD(,n). In the third subsection we show that our results improve the diameter bounds from [1, Theorem 7.1] and from [6, Corollary 6.4]..1. Diameter bounds and CD(, ). The key to prove diameter bounds fromcd(, ) is the semigroup characterization of CD(, ) which is equivalent to ΓP t f e t P t Γf. Here, P t denotes the heat semigroup operator. For details, see e.g. [8, 14]. Theorem.1 (Distance bounds under CD(, )). Let (V,w,m) be a connected graph satisfying CD(, ) and <. Then for all x,y V, Deg(x )+ Deg(y ) ρ(x,y ). Proof. By [14, Theorem 3.1] and <, we have that CD(, ) is equivalent to (.1) ΓP t f e t P t Γf for all bounded functions f : V R. Due to Cauchy-Schwarz, ( g(x)) Deg(x)(Γg)(x) for all x V and all g : V R. We fix x,y V and ε >. Then by definition of ρ, there is a function f : V R s.t. f(y ) f(x ) > ρ(x,y ) ε and Γf 1. W.l.o.g., we can assume that f is bounded. Putting everything together yields for all x V, t P t f(x) = P t f(x) Deg(x)ΓP t f(x) Deg(x)e t P t Γf(x) Deg(x)e t.

4 4 LIU, MÜNCH, AND PEYERIMHOFF By taking the square root and integrating from t = to, we obtain P T f(x) f(x) t P t f(x) dt for all T > and x V. Now, the triangle inequality yields ρ(x,y ) ε f(x ) f(y ) Deg(x)e t dt = Deg(x) P t f(x ) f(x ) + P t f(x ) P t f(y ) + P t f(y ) f(y ) Deg(x )+ Deg(y ) + P t f(x ) P t f(y ) Deg(x )+ Deg(y ) t where P t f(x ) P t f(y ), since the graph is connected and since ΓP t f as t because of (.1). Taking the limit ε finishes the proof. We now use the distance bound to obtain a bound on the combinatorial diameter. Corollary. (Diameter bounds under CD(, )). Let (V,w,m) be a connected graph satisfying CD(, ). Then, diam d (G). Proof. Due to Lemma 1.4 and the above theorem, we have for all x,y, Degmax Degmax Deg(x )+ Deg(y ) d(x,y ) ρ(x,y ). Thus, diam d (G) as claimed. Indeed, this diameter bound is sharp for the n-dimensional hypercube which has diameter n, curvature bound = and vertex degree = n. An interesting question is whether an analog of Cheng s rigidy theorem (see [3]) holds true. In particular, we ask whether hypercubes are the only graphs for which the above diameter bound is sharp... Diameter bounds and CD(, n). We can also give diameter bounds for unbounded Laplacians. We need two ingredients to do so. First, we have to replace the combinatorial metric by a resistance metric. Second, we have to assume a finite dimension bound. Furthermore, we will need completeness of the graph and non-degenerate vertex measure to obtain the semigroup characterization of CD(, n) (see [8, Theorem 3.3], [11, Theorem 1.1]). For definitions of completeness of graphs and non-degenerate vertex measure, see Sections 1 and.1 of [11] or [8, Definition.9, Definition.13]. We start with an easy but useful consequence of Gong and Lin s semigroup characterization of CD(, ), see [8, Theorem 3.3]. Lemma.3 (Semigroup property of CD(,n)). Let G = (V,w,m) be a complete graph with non-degenerate vertex measure. Suppose G satisfies CD(,n). Then for all bounded f : V R with bounded Γf, (.) ΓP t f e t P t Γf 1 e t ( P t f). n

5 BARY-ÉMERY CURVATURE AND DIAMETER BOUNDS ON GRAPHS 5 Proof. We first assume that f is compactly supported. By [8, Theorem 3.3], we have (.3) ΓP t f e t P t Γf n t e s P s ( P t s f) ds. Jensen s inequality yields P s g (P s g) for all g and thus by g := P t s f, (.4) n t e s P s ( P t s f) ds n t e s (P s P t s f) ds = 1 e t ( P t f). n Putting (.3) and (.4) together yields the claim for compactly supported f. We now prove the claim for all bounded f with bounded Γ(f) by completeness and a density argument. Completeness implies that there are compactly supported (η k ) k N s.t. η k 1 from below and Γη k 1. Due to compact support, (.) holds for η k f. Obviously since η k 1 from below, we have ΓP t (η k f) ΓP t f and P t (η k f) P t f, pointwise for k. It remains to show P t Γ(η k f) P t Γf, pointwise for k. We observe and thus, [(η k f)(y) (η k f)(x)] = [η k (y)(f(y) f(x))+f(x)(η k (y) η k (x))] [η k (y)(f(y) f(x))] +[f(x)(η k (y) η k (x))] η k (f(y) f(x)) + f (η k(y) η k (x)) Γ(η k f) η k Γf + f Γη k. This implies that Γ(η k f) is uniformly bounded in k and since η k f f pointwise, we obtain P t Γ(η k f) P t Γf as desired. With this semigroup property in hands, we now can prove diameter bounds. We will use similar methods as in the proof of Theorem.1. Theorem.4 (Diameter bounds under CD(,n)). Let G = (V,w,m) be a connected, complete graph with non-degenerate vertex measure. Suppose G satisfies CD(, n) for some > and n <. Then, n diam ρ (G) π. Proof. Suppose the opposite. Then, there are x,y V s.t. ρ(x,y) > π n, and there is a function f : V R s.t. Γf 1 and f(y) f(x) > π n. W.l.o.g., we can assume that f is bounded. By the semigroup property of CD(,n) from Lemma.3 and by ignoring the non-negative term ΓP t f, we have 1 e t ( P t f) e t P t Γf. n Taking square root and applying Γf 1 yields t P t f = P t f e n t 1 e t = 1 n e t 1. Integrating from t = to yields for all T, P T f f 1 n e t 1 dt = n arctan e t 1 = π n t=

6 6 LIU, MÜNCH, AND PEYERIMHOFF t Due to CD(, ) which implies ΓP t f and since G is connected, we infer P t f(x) P t f(y) t. We now apply the triangle inequality and obtain n π < f(y) f(x) P t f(y) f(y) + P t f(y) P t f(x) + P t f(x) f(x) n π + P tf(y) P t f(x) t n π. This is a contradiction and thus, diam ρ (G) π n as claimed. In contrast to Corollary., we cannot have sharpness in Theorem.4 since in the proof, we have thrown away ΓP t f which is strictly positive for t >..3. Comparison with other discrete diameter bounds. In [1, Theorem 7.1], Horn, Lin, Liu and Yau have proven CDE 6Degmax n (,n) = diam d (G) π. Indeed, due to [16, Corollary 3.3] and Theorem.4, this result can be improved to n CDE (,n) = CD(,n) = diam ρ (G) π. In case of <, we have Degmax Degmax n diam d (G) diam ρ (G) π, where the first estimate is due to Lemma 1.4. Remark.5. Summarizing, we can say that our approach improves [1, Theorem 7.1] by a factor of 4 3 and by having weaker curvature assumptions. Let us also compare our results to the results on Markov-chains in [6]. Translated into the graph setting, we have the following result in [6]. Theorem.6. (see [6, Corollary 6.4]) Let G = (V,w,m) be a graph with < and m(v) := xm(x) <. Suppose G satisfies CD(, ) for some >. Then for all x,y V, ( Deg(x)+ ) Deg(y) ρ(x,y). Proof. Indeed, the theorem is just a reformulation of [6, Corollary 6.4]. Let G = (V,w,m) be a graph with m(v) < and <. We define the corresponding Markov kernel as { w(x,y) : x y (x,y) := m(x) 1 Deg(x) : x = y and the corresponding measure µ(x) := m(x)/m(v) for all x V according to [6]. Then, Lf(x) := f(x) y (f(y) f(x))(x,y) = Deg. max

7 BARY-ÉMERY CURVATURE AND DIAMETER BOUNDS ON GRAPHS 7 Since satisfies CD(, ), we have that L satisfies CD(, ). As in [6], we set J(x) := 1 (x,x) = Deg(x). For all x,y V, we have { d Γ (x,y) := sup f(y) f(x) : 1 } L(f ) flf 1 = ρ(x,y). Now, [6, Corollary 6.4] yields for all x,y V, ρ(x, y) = d Γ (x,y) ( ) J(x)+ J(y) Degmax ( Deg(x)+ ) Deg(y) =. Degmax Multiplying with Degmax finishes the proof. Remark.7. We observe that Theorem.1 improves Fathi s and Shu s result [6, Corollary 6.4], see Theorem.6, by a factor of and by the fact, that we allow m(v) = which corresponds to an infinite reversible invariant measure in the Markov-chain setting. Acknowledgement: We gratefully acknowledge partial support by the EPSRC Grant EP/16687/1. FM wants to thank the German Research Foundation (DFG) for financial support. References [1] D. Bakry, M. Émery, Diffusions hypercontractives (French) [Hypercontractive diffusions], Séminaire de probabilités, XIX, 1983/84, Lecture Notes in Math. 113, J. Azéma and M. Yor (Editors), Springer, Berlin, pp , (1985). [] D. Bakry, M. Ledoux, Sobolev inequalities and Myers s diameter theorem for an abstract Markov generator, Duke Math. J. 85 (1), 53-7, (1996). [3] S. Y. Cheng, Eigenvalue comparison theorems and its geometric applications, Math. Z. 143 (3), 89-97, (1975). [4] D. Cushing, S. Liu, N. Peyerimhoff, Bakry-Émery curvature functions of graphs, arxiv: , (16). [5] M. DeVos, B. Mohar, An analogue of the Descartes-Euler formula for infinite graphs and Higuchi s conjecture, Trans. Am. Math. Soc. 359 (7), , (7). [6] M. Fathi, Y. Shu, Curvature and transport inequalities for Markov chains in discrete spaces, arxiv: , (15). [7] R. Forman, Bochner s method for cell complexes and combinatorial Ricci curvature, Discrete Comput. Geom. 9 (3), , (3). [8] C. Gong, Y. Lin, Properties for CD Inequalities with Unbounded Laplacians, arxiv: , (15). [9] Y. Higuchi, Combinatorial Curvature for Planar Graphs, J. Graph Theory 38 (4), -9, (1). [1] P. Horn, Y. Lin, Shuang Liu, S.-T. Yau, Volume doubling, Poincaré inequality and Guassian heat kernel estimate for nonnegative curvature graphs, arxiv: v3, (14). [11] B. Hua, Y. Lin, Stochastic completeness for graphs with curvature dimension conditions, arxiv: 154.8v, (15). [1] B. lartag, G. ozma, P. Ralli, P. Tetali, Discrete curvature and abelian groups, Canad. J. Math. 68 (3), , (16). [13] M. eller, N. Peyerimhoff, F. Pogorzelski, Sectional curvature of polygonal complexes with planar substructures, arxiv: , (14), to appear in Adv. Math. (16), [14] Y. Lin, Shuang Liu, Equivalent Properties of CD Inequality on Graph, arxiv: , (15).

8 8 LIU, MÜNCH, AND PEYERIMHOFF [15] Y. Lin, S.-T. Yau, Ricci curvature and eigenvalue estimate on locally finite graphs, Math. Res. Lett. 17 (), , (1). [16] F. Münch, Remarks on curvature dimension conditions on graphs, arxiv: , (15). [17] S. B. Myers, Riemannian manifolds with positive mean curvature, Duke Math. J. 8, 41-44, (1941). [18] Y. Ollivier, Ricci curvature of Markov chains on metric spaces, J. Funct. Anal. 56 (3), , (9). [19] M. Schmuckenschläger, Curvature of nonlocal Markov generators, Convex geometric analysis (Berkeley, CA, 1996), volume 34 of Math. Sci. Res. Inst. Publ., , Cambridge Univ. Press, Cambridge, [] D. A. Stone, A combinatorial analogue of a theorem of Myers, Illinois J. Math. (1), 1-1, (1976) and Erratum: Illinois J. Math. (3), , (1976). S. Liu, School of Mathematical Sciences, University of Science and Technology of China, Hefei 36, Anhui Province, China address: spliu@ustc.edu.cn F. Münch, Institut für Mathematik, Universität Potsdam, Potsdam, Germany address: chmuench@uni-potsdam.de N. Peyerimhoff, Department of Mathematical Sciences, Durham University, Durham DH1 3LE, United ingdom address: norbert.peyerimhoff@durham.ac.uk