arxiv: v1 [math.co] 1 Jan 2013

Transcription

1 Ricci-flat graphs with girth at least five arxiv: v1 [math.co] 1 Jan 2013 Yong Lin Renmin Universit of China S.-T. Yau Harvard Universit Januar 3, 2013 Abstract Linuan Lu Universit of South Carolina A graph is called Ricci-flat if its Ricci-curvatures vanish on all edges. Here we use the definition of Ricci-cruvature on graphs given in [Lin- Lu-Yau, Tohoku Math., 2011], which is a variation of [Ollivier, J. Funct. Math., 2009]. In this paper, we classified all Ricci-flat connected graphs with girth at least five: the are the infinite path, ccle C n (n 6), the dodecahedral graph, the Petersen graph, and the half-dodecahedral graph. We also construct man Ricci-flat graphs with girth 3 or 4 b using the root sstems of simple Lie algebras. 1 Introduction The Ricci curvature plas a ver important role in geometric analsis on Riemannian manifolds. Ricci-flat manifolds are Riemannian maniflods with Ricci curvature vanishes. In phsics, the represent vacuum solutions to the analogues of Einstein s equations for Riemannian manifolds of an dimension, with vanishing cosmological constant. The important class of Ricci-flat manifolds is Calabi-Yau manifolds. This follows from Yau s proof of the Calabi conjecture, which implies that a compact Kähler manifold with a vanishing first real Chern class has a Kähler metric in the same class with vanishing Ricci curvature. The are man works to find the Calabi-Yau manifolds. Yau conjectured that there are finitel man topological tpes of compact Calabi-Yau manifolds in each dimension. This conjecture is still open. In this paper, we will stud this question on graphs. First we will give a short histor of the definition of Ricci curvature in discrete setting. Renmin Universit of China, Beijing , China,(linong01@ruc.edu.cn). Supported b National Natural Science Foundation of China (Grant Nos ). Universit of South Carolina, Columbia, SC 29208, (lu@math.sc.edu). Supported in part b NSF grant DMS Harvard Universit, Cambridge, MA 02138,(au@math.harvard.edu). 1

2 The definition of the Ricci curvature on metric spaces was first from the well-known Bakr and Emer notation. Bakr and Emer[1] found a wa to define the lower Ricci curvature bound through the heat semigroup (P t ) t 0 on a metric measure space M. There are some recent works on giving a good notion for a metric measure space to have a lower Ricci curvature bound, see [20], [17] and [18]. Those notations of Ricci curvature work on so-called length spaces. In 2009, Ollivier [19] gave a notion of coarse Ricci curvature of Markov chains valid on arbitrar metric spaces, such as graphs. Graphs and manifolds are quite different in their nature. But the do share some similar properties through Laplace operators, heat kernels, and random walks, etc. Man pioneering works were done b Chung, Yau, and their coauthors [2, 3, 4, 5, 6, 7, 9, 10, 11, 13, 12]. A graph G = (V,E) is a pair of the verte-set V and the edge-set E. Each edge is an unordered pair of two vertices. Unless otherwise specified, we alwas assume a graph G is simple (no loops and no multi-edges) and connected. It ma have infinite but countable number of vertices. For each verte v, the degree d v is alwas bounded. Starting from a verte v 1 we select a verte v 2 in the neighborhood of v 1 at random and move to v 2 then we select a verte v 3 in the neighborhood of v 2 at random and move to v 3, etc. The random sequence of vertices selected this wa is a random walk on the graph. Ollivier [19] s definition of the coarse Ricci curvature of Markov chains on metric space can be naturall defined over such graphs. The first definition of Ricci curvature on graphs was introduced b Fan Chung and Yau in 1996 [5]. In the course of obtaining a good log-sobolev inequalit, the found the following definition of Ricci curvature to be useful: We sa that a regular graph G has a local k-frame at a verte if there eist injective mappings η 1,...,η k from a neighborhood of into V so that (1) is adjacent to η i for 1 i k; (2) η i η j if i j. The graph G is said to be Ricci-flat at if there is a local k-frame in a neighborhood of so that for all i, (η i η j ) = (η j η i ). j j For a more general definition of Ricci curvature, in [16], Lin and Yau give a generalization of lower Ricci curvature bound in the framework of graphs in term the notation of Bakr and Emer. In our previous paper [15], the Ricci curvature on graphs is defined based on Ollivier s definition of Ricci curvature for Markov chains on graphs. It is natural to define a Ricci-flat graph to be a graph where Ricci-curvature vanishes on ever edge. This definition does not require a graph to be regular; which is an advantage over the Chung-Yau s definition. The Ricci flat graphs defined b Chung and Yau are not necessaril Ricci-flat in the sense of our definition. However, the Ricci curvatures of those graphs are alwas non-negative. In the last section, we constructed man Ricci-flat graphs under both definitions. 2

3 A well-known Bonnet-Mers theorem on Riemannian geometr said that if a complete Riemannian manifolds with Ricci curvature bounded below b a positive constant, then it is compact and has a finite fundamental group. In the paper of [15], we prove the first part result of Bonnet-Mers theorem on graphs with Ricci curvature bounded below b a positive constant. In the paper of [14], Forman introduced the Ricci curvature on cell complees and also obtained the Mers theorem on the fundamental group of the complees. In this paper, we classified Ricci flat graphs with large girth (using our definition). Theorem 1 Suppose that G is a Ricci flat graph with girth g(g) 5. Then G is one of the following graphs, 1. the infinite path, 2. ccle C n with n 6, 3. the dodecahedral graph, 4. the Petersen graph, 5. the half-dodecahedral graph. Dodecahedral graph Petersen graph Half-dodecaheral graph The paper is organized as follows. In the section 2, we will review the definitions and some facts about Ricci curvature on graphs. Theorem 1 will be proved in section 3. In the last section, we will discuss general constructions using Cartesian product, strong graph covering, and lattice graphs constructed b the root sstems of simple Lie algebras. Combining these methods, we constructed man Ricci-flat graphs with girth 3 or 4. 2 Notations and Lemmas Let G = (V,E) be a simple graph. A probabilit distribution (over the verteset V(G)) is a mapping m: V [0,1] satisfing V m() = 1. Suppose 3

4 that two probabilit distributions m 1 and m 2 have finite support. A coupling between m 1 and m 2 is a mapping A: V V [0,1] with finite support so that A(,) = m 2 (). V A(,) = m 1 () and V The transportation distance between two probabilit distributions m 1 and m 2 is defined as follows. W(m 1,m 2 ) = inf A(, )d(, ), (1) A, V where the infimum is taken overall couplings A between m 1 and m 2. A function f over G is c-lipschitz if f() f() cd(,) for all, V. B the dualit theorem of a linear optimization problem, the transportation distance can also be written as follows. W(m 1,m 2 ) = sup f f()[m 1 () m 2 ()], (2) V where the supremum is taken over all 1-Lipschitz function f. For an verte, let Γ() denote the set of neighbors of. I.e, Γ() = {v v E(G)}. Let N() = Γ() {}. For an α [0,1] and an verte, the probabilit measure m α is defined as α if v = ; m α (v) = 1 α if v Γ(); (3) 0 otherwise. For an, V, we define α-ricci-curvature κ α to be The Ricci curvature κ(,) is defined as κ α (,) = 1 W(mα,m α ). (4) d(, ) κ α (,) lim α 1 1 α. Let ǫ = 1 α. Then m α can be viewed as the ball of radius ǫ and centered at. Under this setting, the Ricci curvature capture the approimation of the transportation distance between two balls of radius ǫ: W(m 1 ǫ,m 1 ǫ ) = (1 ǫκ(,)+o(ǫ))d(,). (5) 4

5 This is similar to the Ricci-curvature in the differential manifolds M of dimension N (see Figures 1 and 2). Let M and v be a unit tangent vector at. Let be a point on the geodesic issuing from v, with d(,) small enough. Then, the average distance between two ǫ-balls centered at and in M is (see [19]): ( ) d(, ) 1 ǫ2 Ric(v,v) 2(N +2) +O(ǫ3 +ǫ 2 d(,)). (6) ǫ ǫ 1 ǫ ǫ ǫ ǫ d ǫ d 1 ǫ ǫ d B B Figure 1: The transportation distance between two ǫ-balls in a graph. Figure 2: The average distance between two ǫ-balls in a manifold. A graph G is called Ricci-flat if κ(,) = 0 for an edge E(G). Lemma 1 Suppose that an edge in a graph G is not in an C 3, C 4, or C 5. Then κ(,) = d 2. Corollar 1 Suppose that is a leaf-verte (i.e., = 1). Let be the onl neighbor of. Then κ(,) > 0. Lemma 2 Suppose that an edge in a graph G is not in an C 3 or C 4. Then κ(,) d 1. Proof: Define f: N() N() R as follows. 0 if u N()\{}, f(u) = 1 if u =, 2 if u N()\{}. Since is not in an C 3 or C 4, f is a Lipschitz function. We have We have W(m α,mα ) f(u)[m α (u) mα (u)] V ) = α+2(1 α) (1 1d 1 α ( 1 = 2 α (1 α) + 2 ). d The proof of Lemma is finished. 1 W(m α κ(,) = lim,mα ) α 1 1 α d 5

6 Lemma 3 Suppose that an edge in a graph G is not in an C 3 or C 4. Without loss of generalit, we assume d. If κ(,) = 0, then one of the following statements holds (See Figure 3). 1. = d = 2. In this case, is not in an C = d = 3. In this case, is shared b two C 5 s. 3. = 2 and d = 3. In this case, let 1 be the other neighbor of other than. Let 1, 2 be twoneighbors of other than. Then {d( 1, 1 ),d( 1, 2 )} = {2,3}. 4. = 2 and d = 4. In this case, let 1 be the other neighbor of other than. Let 1, 2, 3 be three neighbors of other than. Then at least two of 1, 2, 3 have distance 2 from = d = 3 = 2 and d = 3 = 2 and d = 4 Figure 3: Local structures in Lemma Proof: B Lemma 2, we have d 1. Since d, we have 1 3. B Corollar 1, = 2. We have = 2, or 3. If = 2, then d = 2,3,4. If = 3, then d = 3. Case 1: = d = 2 an is in a C 5, then κ(,) > 0. Contradiction! Case 2: = d = 3 an is not shared b two C 5 s. Let 1, 2 be two other neighbors of and 1, 2 are two other neighbors of. Without loss of generalit, we can assume d( 1, 1 ) 3 and d( 1, 2 ) 3. In this case, we can define a Lipschitz function f: N() N() R as follows, f( 1 ) = 1, f( 2 ) = f() = 0, f() = 1, and f( 1 ) = f( 2 ) = 2. Using this function f, we can show κ(,) < 0. Contradiction. Case 3: = 2and d = 3. Let 1 be the otherneighborsofand 1, 2 are two other neighbors of. If d( 1, 1 ) = d( 1, 2 ) = 2, then a similar calculation shows κ(,) > 0. If d( 1, 1 ) = d( 1, 2 ) = 3, then κ(,) = < 0. In both cases, we get contradiction. 6

7 Case 4: = 2 and d = 4. Let 1 be the other neighbors of and 1, 2, 3 are two other neighbors of. If d(, i ) (i = 1,2,3) have at least two 3 s, then κ(, ) < 0. Contradiction! The proof of Lemma is finished. 3 Proof of Theorem 1 Proof of Theorem 1: Suppose g(g) 6. B Lemma 1, for an edge, we have 0 = κ(,) = d 2. The onl integer solution is = d = 2. Hence G is 2-regular graph. Since G is connected, it is either an infinite path or a ccle C n. Now we consider the case g(g) = 5. B Lemma 3, ever verte in G has degree 2, 3, or 4. We have the following three claims: Claim a: G has no verte with degree 4. Suppose that is a verte with degree 4. B Lemma 3, all its neighbors must have degree 2. Let be one of its neighbors an 1 be the other neighbor of other than. The local structure is shown in Figure 3. We observe that 1 have degree at least 3. If 1 = 3, b Lemma 3, 1 can not be shared b two C 5 ; contradiction! If 1 = 4, then all its neighbors have degree 2. Now we have two vertices of degree 2 in a C 5 that are adjacent to each other. This is a contradiction to Item 1 of Lemma 3. Thus, we proved Claim a. Claim b: An C 5 in G can have at most one verte with degree 2. Suppose that u and v are two vertices of degree 2 located in one C 5. B Item 1 of Lemma 3, the vertices with degree 2 are not adjacent to each other. In particular, the other three vertices on this C 5 have degree 3. Let, be two adjacent vertices of degree 3 on a C 5. Appling Lemma 3, there is another C 5 passing through. The other vertices are labeled as shown in Figure 4. v v z w u u w z Figure 4: Two C 5 s. Ifd u = 3, then u isin twoc 5. Asresult, ww mustbe connected. Thenvw isin twoc 5 s. ContradictiontoItem 3 oflemma 3. Hence d u = 2. Similarl, we 7

8 haved v = 2. Note that d w = d w = 3. Note zw is not in an C 5. Contradiction. Claim b is proved. Claim c: Suppose that is an edge of G with = 2 and d = 3. Let 1 and 2 be the other two neighbors of besides. Then one of 1 and 2 has degree two while the other one has degree three. B Lemma 3, ever verte of degree 2 is in a C 5. This C 5 must contain and one of 1 and 2. Without loss of generalit, assume that 1 is in this C 5. B Claim b, 1 must have degree 3. B Lemma 3, 1 is shared b two C 5 s. The second C 5 must pass through 2. Since is onl in one C 5, there is no C 5 containing 2,, an. Thus, d 2 = 2. If G has no verte with degree 2, then G is 3-regular. Ever edge is in two C 5 s. G can be embedded into a surface S. If S is an oriented surface with genus s, then Euler formula gives n e+f = 2 2s. Here e is the number of edges and f is the number of faces. Since G is 3-regular, we have 2e = 3n. Since ever face is a C 5, we have 2e = 5f. Thus 2 2s = n e+f = 2 3 e e2 5 e = 1 15 e > 0. We must s = 0. Hence e = 30, n = 20, and f = 10. In this case, G is the dodecahedral graph. If S is a non-oriented surface with odd genus s, then Euler formula gives n e+f = 2 s. Here e is the number of edges and f is the number of faces. Since G is 3-regular, we have 2e = 3n. Since ever face is a C 5, we have 2e = 5f. Thus 2 s = n e+f = 2 3 e e2 5 e = 1 15 e > 0. We must s = 1. Hence e = 15, n = 10, and f = 6. In this case, G is the Petersen graph. If G contains a verte u with degree 2, then u is in a C 5. The other four vertices have degree 3. B Lemma 3, this forces four C 5 s as shown b Figure 5. B Claim c, we have d v = d w = 2. B Claim b, we have = d = 3. Now the graph continues to epand. It finall results in the half-dodecahedral graph. The proof of Theorem is finished. 4 More Ricci-flat graphs In this section, we will construct man Ricci-flat graphs with girth 3 or 4. Given two graphs G and H, the Cartesian product (denoted b G H) is a graph over the verte set V(G) V(H), where two pairs (u 1,v 1 ) and (u 2,v 2 ) are connected 8

9 v w u Figure 5: A partial graph of the half-dodecahedral graph. if u 1 = u 2 and v 1 v 2 E(H) or u 1 u 2 E(G) and v 1 = v 2. The following theorem is proved in [15]. Theorem (see [15]) Suppose that G is d G -regular and H is d H -regular. Then the Ricci curvature of G H is given b κ G H ((u 1,v),(u 2,v)) = κ G H ((u,v 1 ),(u,v 2 )) = d G κ G (u 1,u 2 ) d G +d H (7) d H κ H (v 1,v 2 ). d G +d H (8) Here u V(G), v V(H), u 1 u 2 E(G), and v 1 v 2 E(H). Corollar 2 If both G and H are Ricci-flat regular graphs, so is the Cartesian product graph G H. Another contruction of Ricci-flat graphs is using a strong graph covering. A graph G is a strong covering graph of another graph H if there is a surjective map f: V(G) V(H) satisfing for an edge uv E(G), f maps the induced graph of G on Γ G (u) Γ G (v) to the induced graph of H on Γ H (f(u)) Γ H (f(v)) bijectivel. Note in the traditional definition of covering graph, it onl requires f maps the induced graph of G on Γ G (u) to H on Γ H (f(u)) bijectivel. A strong covering graph H is alwas a cover graph of H, not vice versa. Observe that κ(u,v) onl depends on the induced graph on Γ(u) Γ(v). We have the following corollar. Corollar 3 If G is a strong covering graph of H, then G is Ricci-flat if and onl if H is Ricci-flat. 9

10 G H Cartesian Product Strong covering graphs A Ricci-flat graph G is called simple if G is neither a Cartesian product of Ricci-flat graphs nor a projection of some Ricci-flat graphs. Man simple Ricci-flat graphs can be constructed using Cale graphs. Suppose that G is a group and S is a subset of G with S = S. The Cale graph Cale(G,S) is a graph with the verte set of all elements in G and where a pair (,) forms an edge if 1 S. Theorem 2 Let G be a torsion-free abelian group and S be a finite subset of G satisfing S = S. Let H := Cale(G,S) be the Cale graph. Suppose that H has following propert for an V, s S, and n 1, the graph distance d H (,+ns) = n. Then H is Ricci-flat. Proof: We first show κ(,) 0 for an edge. We use addition + for the group operation of the abelian G. Note that H is verte-transitive; thus it is regular with degree d := S. For α [0,1], we need construct a transportation A that moves the probabilit distribution m α To mα as follows α if u = and v = ; A(u,v) = 1 α d if u Γ H () and v u = ; 0 otherwise. Observe that A simpl moves ever mass at verte u to v := u + ( ). Since S, uv is alwas an edge. The cost of this transportation is u,v G A(u,v)d(u,v) = 1. B equations (1) and (4), we have κ α(,) 0. Thus, κ(,) 0. Now we show κ(, ) = 0. We will prove it b contradiction. Suppose κ(,) > 0 for some edge E(H). Let s := and ǫ := κ(,). We have κ s S and ǫ > 0. Since lim α(,) α 1 1 α = ǫ, there eists an α < 1 such that κ α (,) > ǫ 2 (1 α). Choose an integer n > 4 ǫ. Consider a path,+s,+2s,...,+ns. For an g G, g acts on H as a graph homomorphism. thus κ(,) = κ(g +,g +). 10

11 In particular, for 1 i n, we have From equation (4), we get κ α (+(i 1)s,+is) = κ α (,) > ǫ 2 (1 α). W(m α +(i 1)s,mα +is ) < 1 ǫ 2 (1 α). From the triangular inequalit of the transportation distance, we have d(,+ns) = W(m 1,m1 +ns )) n W(m 1,mα )+ W(m α +(i 1)s,mα +is ) i=1 +W(m α +ns,m 1 +ns) < (1 α)+n (1 ǫ ) 2 (1 α) +(1 α) ( = n+(1 α) 2 nǫ ) 2 < n. In the last step, we appl 2 < nǫ 2 b our choice of n. Contradiction! Now we appl Theorem 2 to some special lattice graphs whose vertices are the root lattices in some Euclidean spaces. Theorem 3 Let R be a root sstem of tpe A n, B n, C n, D n, F 4, E 6, E 7, or E 8 (ecept G 2 ). Let G be the root lattice, which is viewed as the abelian additive group generated b the roots in R. Let S R satisfing S = S. Then the Cale graph Cale(G, S) is Ricci-flat. Proof: Write H := Cale(G,S). It suffices to show the conditions of Theorem 2 are satisfied. We onl need to verif the following condition: For an G and s S, d H (,+ns) = n. B the triangular inequalit of the graph distance, we have n d H (,+ns) d H (+(i 1)s,+is) n. i=1 We onl to verif d H (, + ns) n. We will compare the graph distance to the Euclidean distance as G is embedded as a root lattice. There are two cases. Case 1: The root sstem A n, D n, E 6, E 7, and E 8 have onl one tpe of length, sa l. For an G and s S, For an, G, d H (,) be the graph distance while d(, ) be the Euclidean distance. Then we have For an s S and integer n, we have d(,) d H (,)l. d H (,+ns) 1 d(,+ns) = nd(0,s) = n. l l 11

12 B Theorem 2, Cale(G, S) is Ricci-flat. Case 2: Now we consider the root sstem of tpe B n, C n, and F 4. Those root sstems have two tpes of lengths. The ratio of the length of the longer root to one of the shorter root is 2. In addition, the angle θ formed between a longer root u and a shorter root v is either π 4, π 2, or 3π 4. We have u,v = u v cosθ = ǫ v 2, (9) where ǫ { 1,0,1}. Let l denote the length of the shorter root. Then the length of the longer root is 2l. Equation (9) implies for an shorter root v and an root u (whether short or long): If s is a longer root, then we have u,v l 2. d H (,+ns) 1 2l d(,+ns) = n d(0,s) 2l = n. We are done. Ifsisashorterrootandd H (,+ns) = k < n,thewecanfinds 1,s 2,...,s k S such that ns = s 1 +s 2 + +s k. Taking an inner product with s, we get nl 2 = ns,s = k < s i,s > kl 2. i=1 We get k n. Contradiction! B Theorem 2, Cale(G, S) is alwas Ricci-flat.. The rank of a root sstem is the dimension of the underlined Euclidean space. The onl rank-1 root sstem is A 1, which consists of two roots α and α. The Cale graph generated b this root sstem is the infinite path. The rank-2 root sstems R are A 2, B 2 = C 2, D 2 = A 1 +A 1, and G 2. Since G 2 is ecluded from Theorem 3, Here we get three lattice graph Cale(G,R). (See Figures 6, 7, 8, where the root sstems are drawn in red.) We didn t get more lattice graphs b taking a subset S R. For eample, for the root sstem B 2 and S consisting of 3 pairs of roots, we get a skewed drawing of the graph generated b A 2. However, for the root sstem R of rank more than 2, we do get more Ricciflat lattice graphs b taking proper subset S R. Combining with the strong covering graph, we get the following corollar. Corollar 4 Let H := Cale(G, S) be the lattice graph constructed in Theorem 3. Let G be a subgroup of G satisfing an two elements in G has a graphdistance at least 6 in H. Define the quotient graph H/G with verte set G/G and edge set u+g v +G if u v SG. Then H/G is Ricci-flat. We get man eamples of finite Ricci-flat graphs, which can be viewed as the discrete analogue of torus. 12

13 Figure 6: Lattice graph with root sstem A 1 +A 1. Figure 7: Lattice graph with root sstem A 2. Figure 8: Lattice graph with root sstem B 2. References [1] D. Bakr and M. Emer, Diffusions hpercontractives, Séminaire de probabilités, XIX, 1983/84, , Lecture Notes in Math. 1123, Springer, Berlin, [2] Fan Chung and S.-T. Yau, Eigenvalues of graphs and Sobolev inequalities, Combin. Probab. Comput. 4 (1995), [3] Fan Chung and S.-T. Yau, A Harnack inequalit for homogeneous graphs and subgraphs, Comm. Anal. Geom. 2 (1994), , also in Turkish J. Math. 19 (1995), [4] Fan Chung, A. Grigor an and S.-T. Yau, Upper bounds for eigenvalues of the discrete and continuous Laplace operators, Adv. Math. 117 (1996), [5] Fan Chung and S.-T. Yau, Logarithmic Harnack inequalities, Math. Res. Lett. 3 (1996), [6] Fan Chung and S.-T. Yau, A combinatorial trace formula, Tsing Hua lectures on geometr & analsis (Hsinchu, ), , Int. Press, Cambridge, MA, [7] Fan Chung, A. Grigor an and S.-T. Yau, Eigenvalues and diameters for manifolds and graphs, Tsing Hua lectures on geometr& analsis(hsinchu, ), , Int. Press, Cambridge, MA, [8] Fan Chung and S.-T. Yau, Eigenvalue inequalities for graphs and conve subgraphs, Comm. Anal. Geom. 5 (1997), [9] Fan Chung and S.-T. Yau, Coverings, heat kernels and spanning trees, Electron. J. Combin. 6 (1999), Research Paper 12, 21pp. 13

14 [10] Fan Chung and S.-T. Yau, Spanning trees in subgraphs of lattices, Contemp. Math. 245, , Amer. Math. Soc., Providence, R.I., [11] Fan Chung and S.-T. Yau, A Harnack inequalit for Dirichlet eigenvalues, J. Graph Theor 34 (2000), , [12] Fan Chung, A. Grigor an and S.-T. Yau, Higher eigenvalues and isoperimetric inequalities on Riemannian manifolds and graphs, Comm. Anal. Geom. 8 (2000), [13] Fan Chung and S.-T. Yau, Discrete Green s functions, J. Combin. Theor Ser. A 91 (2000), [14] Robin Forman, Bochner s method for cell complees and combinatorial Ricci curvature, Discrete and computational geometr, Vol. 29, no. 3., , [15] Yong Lin, Linuan Lu, and S.-T. Yau, Ricci Curvature of graphs, Tohoku Mathematics Journal, Vol. 63, no. 4 (2011), [16] Yong Lin and S.-T. Yau, Ricci curvature and eigenvalue estimate on locall finite graphs, Mathematical Research Letters 17(2010), [17] J. Lott and C. Villani, Ricci curvature for metric-measure spaces via optimal transport, Ann. of Math. (2) 169 (2009), [18] S. Ohta, On measure contraction propert of metric measure spaces, Comment. Math. Helv. 82(2007), [19] Y. Ollivier, Ricci curvature of Markov chains on metric spaces, J. Funct. Anal. 256 (3) (2009), [20] K.-T. Sturm, On the geometr of metric measure spaces, (I),(II), Acta Math. 196 (2006), ,