arxiv: v1 [math.dg] 10 Dec 2014

Transcription

1 Li-Yau inequality on finite graphs via non-linear curvature dimension conditions Florentin Münch arxiv: v [math.dg] 0 Dec 204 October 8, 208 Abstract We introduce a new version of a curvature-dimension inequality for non-negative curvature. We use this inequality to prove a logarithmic Li-Yau inequality on finite graphs. To formulate this inequality, we introduce a non-linear variant of the calculus of Bakry and Émery. In the case of manifolds, the new calculus and the new curvaturedimension inequality coincide with the common ones. In the case of graphs, they coincide in a limit. In this sense, the new curvature-dimension inequality gives a more general concept of curvature on graphs and on manifolds. We show that Ricciflat graphs have a non-negative curvature in this sense. Moreover, a variety of nonlogarithmic Li-Yau type gradient estimates can be obtained by using the new Bakry- Émery type calculus. Furthermore, we use these Li-Yau inequalities to derive Harnack inequalities on graphs. Contents Introduction 2 2 Basics 4 3 The Γ ψ -calculus 7 3. The operator ψ The CDψ condition and Γ ψ The gradient form Γ ψ The Γ ψ -calculus on manifolds A limit theorem on graphs Li-Yau inequalities 9 4. A proof via the maximum principle A proof via semigroup methods

2 5 Harnack inequalities Preliminaries Main theorem Examples Ricci-flat graphs Special cases for the function ψ Harnack inequalities on Ricci-flat graphs Introduction In 986, Li and Yau proved a gradient estimate for manifolds, later known as Li-Yau inequality cf. [4]). This states that for positive solutions u to the heat equation Lu) 0 with L t ) on a d-dimensional compact manifold without boundary, the following implication holds. Ricc 0 logux,t) d 2t..) The term Ricc denotes the Ricci curvature of the manifold. An important application of this inequality is the Harnack inequality diffusion) which can be seen as an integrated form of the Li-Yau inequality. The different forms of the Harnack inequality logarithmic, harmonic, diffusion) are closely related. In 2006, Bakry and Ledoux generalized the Li-Yau inequality result to more general Laplacians that satisfy the chain rule and improved the result by using a curvature-dimension inequality CD-inequality) instead of the non-negative Ricci curvature and by giving a characterization of the CD-inequality via a logarithmic Sobolev inequality containing the Li-Yau inequality cf. [4]). The CD-inequality will be introduced in the next subsection. After Li s and Yau s breakthrough in 986, great effort was made to establish an analog result on graphs. This turned out to be very complicated since all known proofs of the Li-Yau inequality had made an extensive use of the chain rule, but this chain rule does not hold on graphs. As a first step to consider graphs with non-negative curvature, Chung and Yau introduced the concept of Ricci-flat graphs in 996 cf. [8]) and obtained the following results for graphs. d-ricci-flat Harnack inequality logarithmic). Ricci-flat graphs are a slight generalization of Abelian Cayley graphs cf. Subsection 6.). It remains unclear, whether there are Ricci-flat graphs which are not Abelian Cayley graphs. In 202, Chung, Lin, and Yau found a first Li-Yau type result using the CDd,0) inequality on graphs cf. [0]). They showed for graphs d-ricci-flat CDd, 0).2) Harnack inequality harmonic). 2

3 One year later, in 203, Bauer, Horn, Lin, Lippner, Mangoubi, and Yau proved a result on graphs which is very similar to the original Li-Yau inequality from 986 cf. [6]). This result is the following. If G is a graph and u C V R + 0 ) is a positive solution to the heat equation on G, then d-ricci-flat CDEd, 0).3) Γ u) t u d.4) u u 2t Harnack inequality diffusion). The CDEd, 0) condition is the exponential curvature-dimension inequality, a substitute of CDd,0). The gradient form Γ has been introduced by Bakry and Émery cf. [2]). We will define this in the next subsection. There are many generalizations of this statement. In [6], general curvature bounds and potentials have been discussed. In [22], the gradient estimate have been proven with time dependent coefficients. Obviously, the gradient estimate.4) which we will call the Li-Yau inequality, has a different form than the logarithmic Li- Yau inequality.). Additionally, we can see in the following that in the CDE inequality, there is a break of analogy to the original result on manifolds. In the examples section Section 6), we will explain this break of analogy and why it occurs. They overcome the missing chain rule in a remarkable way by observing that a version of the chain rule for the square root surprisingly also holds on graphs. In this article, we prove an inequality on graphs which has the same form as the logarithmic Li-Yau inequality.) from 986. To do so, we introduce a new version of the CD inequality to avoid the use of the chain rule cf. Subsection 3.2). We will show dc log -Ricci-flat CDlogd,0).5) logux,t) d 2t Harnack inequality diffusion),.6) where u C V R + 0 ) is a positive solution to the heat equation, and C log is a positive constant. The CD logd, 0) inequality is a new curvature-dimension condition on graphs. If there is a chain rule for the Laplacian as in the case of manifolds, the CDlogd,0) inequality is equivalent to the CDd, 0) inequality cf. Subsection 3.4). In the case of graphs, the CD logd, 0) inequality implies the CDd, 0) inequality cf. Subsection 3.5). When establishing our results, we even introduce a more general concept by replacing the logarithm by a concave function ψ C R + ). This leads us to the non-linear Laplacian ψ cf. Subsection 3.) as a substitution for the expression log ). With the choice ψ respectively ψ log, we obtain the logarithmic respectively the Li-Yau inequality cf. Example 3.3). As discussed above, one goal of this article is to use these Li-Yau estimates to deduce Harnack-inequalities which have the form ux,t ) uy,t 2 ) Cdx,y),T,T 2 ) with a positive solution u C V R + 0 ) to the heat equation, positive real numbers T < T 2, and a constant Cdx,y),T,T 2 ) depending only on the distance of x,t ) and y,t 2 ) in space-time. 3

4 It turns out that the Harnack-estimates presented here are stronger than the ones of Bauer, Horn, Lin, Lippner, Mangoubi, and Yau in [6] cf. Corollary 6.3). In this article, we use finite graphs as the basis of our discrete setting. In future work, we plan to also consider infinite graphs or even Dirichlet forms as a more general setting. Acknowledgements I wish to thank Matthias Keller and Daniel Lenz, who have been the supervisors of my master thesis which is presented here in this article, for many useful discussions and for providing a very enjoyable and constructive atmosphere. Moreover, I wish to acknowledge Matthias Keller for proposing the topic of my master thesis. 2 Basics We are interested in giving discrete analoga of the so called Li-Yau inequality on manifolds. Definition 2. Graph). A pair G V,E) with a finite set V and a relation E V V is called a finite graph if v,v) / E for all v V and if v,w) E implies w,v) E for v,w V. For v,w V, we write v w if v,w) E. In this case, we say that the vertices v and w are adjacent. For v V, we denote degv : #{w V : w v}. Definition 2.2 Path metric on graphs). Let G V,E) be a finite graph. A sequence v 0,...,v n ) V n+ is called a path of the length n from v 0 to v n if all v i are pairwise distinct and v i v i for all i {,...,n}. We call d : V V [0, ], dx,y) : inf{n N : there is a path of the length n from x to y} the distance of x and y. The finite graph G is called connected if there is a path from x to y for all x,y V. A well studied Laplacian on manifolds is the Laplace-Beltrami operator. On graphs, there is an analogon of this operator. Definition 2.3 Laplacian ). Let G V,E) be a finite graph. The domain of the Laplacian is CV) : R V : {f : V R }. The Laplacian : CV) CV) is defined for f CV) and v V as fv) : w vfw) fv)). Remark 2.4. Following the definition of Li and Yau in [4], we deal with the Laplacian with a negative sign. We introduce the Γ-calculus by Bakry and Émery cf. [2]). Note that such a calculus can be defined whenever a sufficiently nice Laplacian is given. Especially, it is useful on manifolds and on graphs. On manifolds, this calculus has been studied e.g. in [2, 3, 4], and on graphs, it has been studied in [5, 6, 0, 3, 5, 6]. 4

5 Definition 2.5 Γ-calculus). Let G V,E) be a finite graph. Then, the gradient form or carré du champ operator Γ : CV) CV) CV) is defined by 2Γf,g) : fg) f g g f. Similarly, the second gradient form Γ 2 : CV) CV) CV) is defined by 2Γ 2 f,g) : Γf,g) Γf, g) Γg, f). We write Γf) : Γf,f) and Γ 2 f) : Γ 2 f,f). On manifolds, there is a nice relation between its Ricci curvature and the second gradient form which is a consequence of Bochner s formula cf. [7]). This relation is Γ 2 f) d f)2 +Ricc f) for all f, where d is the dimension of the manifold and Ricc is the Ricci curvature. Especially, if Ricc 0, then Γ 2 f) d f)2. This motivates to introduce a curvature-dimension inequality on graphs, where no suitable explicit definition of the Ricci curvature is known yet. Definition 2.6. We write R + : 0, ) and R + 0 Let G V,E) be a finite graph. Then, we write : [0, ). C + V) : {f : V R + }. Definition 2.7 CDd,0) condition). Let G V,E) be a finite graph and d R +. We say G satisfies the curvature-dimension inequality CDd, 0) if for all f CV), Γ 2 f) d f)2. We can interpret this as meaning that that the graph G has a dimension at most) d and a non-negative Ricci curvature. Remark 2.8. This curvature-dimension inequality has been studied on manifolds e.g. by Bakry and Émery in [2, 3, 4]. On graphs, it has been studied in [5, 6, 0, 3, 5, 6]. There is a great interest in giving generalizations of the Ricci curvature. Apart from the Bakry Émery approach, there is a well studied concept of Ricci curvature on metric measure spaces via optimal transport cf. [7, 8, 9, 2]). Connections between these different approaches are given in [, 3]. A notion of Ricci curvature on cell complexes by counting neighboring cells is presented in []. Definition 2.9 C I) for intervals I). Let I R be a not necessarily open) interval and let φ : I R be a function. We call φ continuously) differentiable if φ can be extended to a continuously) differentiable function on an open interval J with I J R. The derivative of φ is the derivative of that extension of φ restricted to I. We write C I) : {φ : I R φ is continuously differentiable }, CI) : {φ : I R φ is continuous }. 5

6 We will be mostly interested in the case I {R,R +,R + 0 }. Since the Li-Yau inequality deals with solutions to the heat equation, we define the heat operator. Definition 2.0 Heat operator L). Let G V,E) be a graph. The domain of the heat operator L is C V R + ) : {u : V R + R u is continuously differentiable in the second variable}. For u C V R + ) we write u t v) : uv,t) for all v V and t R +. We call t R + the time, and we call v V the location respectively position. The range of the heat operator is CV R + ) : {u : V R + R u is continuous in the second variable}. The heat operator is defined by Lu) : u t u for all u C V R + ). We call a function u C V R + 0 ) a solution to the heat equation on G if Lu) 0. Later we will also use the heat operator on C V I) for an interval I R. The definition above can be extended to this case in a natural way. Most proofs of the Li-Yau inequality on manifolds make an extensive use of the chain rule for the Laplace-Beltrami operator given in the next proposition. Proposition 2. Chain rule on manifolds). Let be the Laplace-Beltrami operator on a complete, connected manifold M with its Riemannian measure) and Φ C R + ) and f,g C M) with f > 0. Then, the chain rules are valid. Proof. A proof of this claim is given in [3]. Φf) Φ f) f +Φ f)γf), 2.) ΓΦf),g) Φ f)γf,g), 2.2) Γf,gh) hγf,g)+gγf,h) 2.3) Remark 2.2. There is an established theory of more general Laplace operators which satisfy the three equations above. These operators are said to be diffusion operators cf. [2, 3, 4]). Unfortunately, there is no chain rule for the Laplacian on graphs. So, we have to find a way to bypass the chain rule, as we want to prove the Li-Yau inequality. We will use a key identity for Γ 2 in the case of manifolds to introduce a new second gradient by which we can avoid the use of the chain rule. This identity states that for all solutions u C V R + 0 ) to the heat equation, one has Lu logu)) 2uΓ 2 logu). 6

7 Note that this statement is not true in general if there is no chain rule. But in the next section, we will define a scaling invariant Laplacian ψ and a second gradient Γ ψ 2, such that Lu ψ u)) 2uΓ ψ 2 u) holds for all solutions u C V R + 0 ) to the heat equation and no chain rule is needed. 3 The Γ ψ -calculus We start this section with a short summary of its contents: As the basis for our new calculus, we will introduce the operator ψ as a scaling invariant and non-linear generalization of the Laplacian with the parameter ψ C R + ) {φ : R + R φ is continuous}. Using this, we introduce new gradients Γ ψ and Γ ψ 2. Let G V,E) be a finite graph. Our goal is to generalize the Li-Yau inequality to a ψ-li-yau inequality with the form ψ u d 2t 3.) for all positive solutions u C V R + 0 ) to the heat equation which satisfy the CDψd,0) inequality which states Γ ψ 2 f) d ψ f) 2 for all positive f CV). The second ψ-gradient Γ ψ 2 will be defined in the CDψ subsection Subsection 3.2). With appropriate choices of ψ, we obtain log log and u) Γ u) u u 2u for all positive functions u cf. Example 3.3). Especially with these two choices, the ψ-li-inequality 3.) turns into the logarithmic Li-Yau inequality.6), respectively into the Li-Yau inequality.4). We will introduce a first ψ-gradient in Subsection 3.3. We will need this to prove Harnack inequalities. In the manifolds subsection Subsection 3.4) of this section, we will show among others that, in the case of manifolds for suitable ψ, one has ψ log ), Γ ψ Γlog )), Γ ψ 2 Γ 2 log )). In the limit theorem subsection Subsection 3.5), we will describe the classical operators as a limit of the ψ-operators. I.e. for all f CV) and all concave ψ C R + ), one has lim ε 0 ε ψ +εf) ψ ) f, lim ε 0 lim ε 0 ε 2Γψ +εf) ψ )Γf), ε 2Γψ 2 +εf) ψ )Γ 2 f). 7

8 By this, we show that the CDψ inequality implies the CD inequality. We will prove below our key identity Lu ψ u)) 2uΓ ψ 2 u) which holds for all solutions u C V R + 0 ) to the heat equation. In the examples section Section 6), we will show that Ricci-flat graphs satisfy the CDψd, 0) inequality with appropriate ψ C R + ) and d R +. We will see that concavity of the function ψ is crucial for deriving Harnack inequalities cf. Section 5) and for proving CDψ inequalities on Ricci-flat graphs cf. Subsection 6.). 3. The operator ψ In this subsection, we will introduce the scaling invariant Laplacian ψ as replacement of log which appeared in the manifold case.. We will show in Subsection 3.4 that both coincide in the case of manifolds if ψ ) ψ ), as holds e.g. for ψ log. Definition 3. ψ-laplacian ψ ). Let ψ C R + ) and let G V,E) be a finite graph. Then, we call ψ : C + V) CV), defined as [ )]) f ψ f)v) : ψ v), fv) the ψ-laplacian. We show that the operator ψ is scaling invariant in the argument and linear in the parameter ψ. In particular, ψ is not a linear operator. Lemma 3.2. Let G V,E) be a graph, φ,ψ C R + ), a,b R, r R +, and f C + V). Then, ) aφ+bψ rf) a φ f +b ψ f, 2) ψ f 0 if f is constant or ψ is constant. Proof. The first claim is a direct consequence of the definition of ψ and the linearity of. The second claim follows from the fact that the Laplacian vanishes on constant functions. With appropriate choices of ψ, the ψ-li-yau inequality 3.) turns into the logarithmic Li-Yau inequality.6) respectively into the Li-Yau inequality.4). This is discussed next. Example 3.3. Let G V,E) be a finite graph. ) If ψ log, and f CV), and v V, then we get [ )] f log fv) log v) logf)v) logfv)) fv) logf)v) 8

9 since fv) is a constant and the Laplacian vanishes on constants. Hence, we have log f logf. This means, the ψ-li-yau inequality 3.) turns into the logarithmic Li-Yau inequality.6). 2) If ψ and u C V R + 0 ) is a positive solution to the heat equation on G and v V, then u ψ u)v) uv) v) uv) uv) since the Laplacian is linear. Thus, ψ u u u Lu)0 [ u 2 ] 2 u u 2u Γ u) u u 2u Γ u) tu u 2u Γ u) t u. u u u 2u This means, the ψ-li-yau inequality 3.) turns into the Li-Yau inequality.4). Remark 3.4. In the Example 3.3.2), we have seen the chain rule for the square root on graphs which is a key identity in [6]. This chain rule states that on finite graphs G V,E) for all f C + V) 2 f f f 2Γ f). There is a useful representation of ψ. Lemma 3.5 Representation of ψ ). Let ψ C R + ). Let G V,E) be a finite graph, let f C + V) and let v V. If ψ) 0, then ψ fv) w vψ ) fw). 3.2) fv) Proof. This claim is obvious, since 0 ψ) ψ ) fv) fv). 3.2 The CDψ condition and Γ ψ 2 In this subsection, we introduce the non bilinear operator Γ ψ 2 and formulate the CDψ condition. Furthermore, we will prove our key identity Lu ψ u)) 2uΓ ψ 2 u) whenever Lu 0. We will use this key identity to characterize the CDψ condition. 9

10 Definition 3.6 Second ψ-gradient Γ ψ 2 ). Let ψ C R + ), and let G V,E) be a finite graph. Then, we define Ω ψ : C + V) CV) by [ ) [ f Ω ψ f)v) : ψ f f fv) fv) f f)v) ]]) v). fv) Furthermore, we define the second ψ-gradient Γ ψ 2 : C+ V) CV) by 2Γ ψ 2 f) : Ωψ f + f ψ f f ψ f ). f f In the next subsection, we will also define the first ψ-gradient Γ ψ. But there is no obvious derivation of Γ ψ 2 fromγψ in a similar way as Γ 2 derives from Γ see Definition 2.5). Instead, one has a variant of our key identity, namely L ) uγ ψ u 2uΓ ψ 2u, if Lu 0. Moreover, in the case of manifolds, one has Γ ψ 2 Γ 2log )) for suitable ψ. This result will be discussed in the manifolds subsection Subsection 3.4) With the previous definition, we have all ingredients for defining the CDψ condition. Definition 3.7 CDψ condition). Let G V,E) be a finite graph and d R +. We say G satisfies the CDψd,0) inequality if for all f C + V), one has Γ ψ 2 f) d ψ f) ) Now, we will give the key identity of the second ψ-gradient Γ ψ 2. It will be used to show the analogy between the classical Bakry-Emery calculus and the Γ ψ -calculus, and to characterize the validity of the CDψ inequality. Lemma 3.8 Representation of Γ ψ 2 ). Let ψ C R + ), let I R be an interval, and let t 0 I. Let G V,E) be a finite graph, u : C V I) a positive function with Lu),t 0 ) 0. Then ) L u ψ u,t 0 ) 2uΓ ψ 2 u),t 0). 3.4) Proof. All computations of the proof of the first claim are taking place at the time t t 0. ) ) L u ψ u u ψ u )+ t u ψ u ) u ψ u + u) ψ u+u t ψ u. 0

11 For all v V we compute )] u t ψ uv) t [ψ v) uv) [ ) )] u u ψ t v) uv) uv) [ ) u ψ uv) ] tu u t uv) uv) uv) 2 v) [ ) [ u ψ u u uv) uv) u uv) ]] v) uv) Ω ψ uv). Putting the two equalities above together results for all v V in ) ) L u ψ u u ψ u + u) ψ u+uω ψ u 2uΓ ψ 2 u). This finishes the proof. Next, we present a characterization of the CDψ condition which is the key to prove the ψ-li-yau inequality 3.). Theorem 3.9 Characterization CDψ). Let G V,E) be a finite graph, ψ C R + ), and d R +. Then, the following statements are equivalent. i) G satisfies the CDψd, 0) inequality. ii) For all positive solutions u C V R + 0 ) to the heat equation on G, one has ) L u ψ u 2 2. d u u) ψ 3.5) This characterization shows the connection between the time-independent CDψ condition and its consequences for solutions to the heat equation. Proof. The implication i) ii) is a direct consequence of the identity 3.4) from the representation lemma of Γ ψ 2, i.e. ) L u ψ 3.4) u 2uΓ ψ i) 2 u) 2 2. u) d u ψ Next, we show ii) i). Given f C + V), there is a positive solution u C V R + 0 ) to the heat equation on G, such that u, 0) f. Such a solution u can be obtained by u t : e t f : k0 t k k f k!

12 for x V and t 0. This statement will be proved in Proposition 4.4. We use the continuity of u and ψ and Γ ψ 2, and we apply 3.4) to get ) 2fΓ ψ 2 f) lim tց0 2uΓψ 3.4) 2 u),t) liml u ψ u,t) tց0 ii) 2 ) lim tց0 d u ψ 2 2. u 2,t) d f f) ψ This finishes the proof. 3.3 The gradient form Γ ψ In this subsection, we introduce the gradient form Γ ψ. This is not necessary to understand the CDψ condition and the ψ-li-yau inequality. But it enables us to formulate the ψ- Li-Yau inequality as a gradient estimate. This formulation is crucial to derive Harnack inequalities. Definition 3.0. For ψ C R + ), we define ψx) : ψ ) x ) ψx) ψ)). If ψ is a concave function, then obviously, one has ψx) 0 for all x > 0. We can see ψ) 0. Hence, if ψ is concave and if G V,E) is a finite graph, then for every v 0 V and every positive f C + V), the function V R with ) fv) v ψ fv 0 ) has a minimum in v v 0. Consequently ψ fv 0 ) ψ This motivates the following definition. ) f 0. fv 0 ) Definition 3. ψ-gradient Γ ψ ). Let ψ C R + ) be a concave function and let G V,E) be a finite graph. We define the ψ-gradient as Γ ψ : C + V) CV), Γ ψ : ψ. Remark 3.2. By using this, we can also introduce a CDψ inequality for a dimension d > 0 with a non-zero curvature bound K R denoted by CDψd, K) via the inequality Γ ψ 2 f) d In this paper, we focus on the case K 0. ψ f) 2 +KΓ ψ f) for all f C + V). In the following lemma, we give a representation of ψ which allows us to understand the ψ-li-yau inequality as a gradient estimate. This lemma will be used in Section 5 to derive Harnack inequalities. 2

13 Lemma 3.3 Gradient representation of ψ ). Let G V,E) be a finite graph and let ψ C R) be a concave function. Then for all f C + V), one has ψ f Γ ψ f) ψ ) f f. 3.6) Proof. The claim follows immediately from Lemma 3.2 and from the definition of ψ Definition 3.). 3.4 The Γ ψ -calculus on manifolds In this subsection, we will see that the new Γ ψ calculus can be transferred to the setting of manifolds. Our goal is to show that in this setting, the Γ ψ calculus coincides with the common Γ-calculus by Bakry and Émery cf. [2, 3, 4]). For basics on Riemannian manifolds, we refer the reader to [20]. Definition 3.4 ψ-laplacian on manifolds). Let ψ C R + ) and let be the Laplace- Beltrami operator on a complete, connected Riemannian manifold M. Then, we call ψ : C + M) C M) with the ψ-laplacian. ψ f)v) : [ )]) f ψ v) fv) Analogously, we can transfer the definitions from the previous three subsections to the setting of manifolds. By doing this transfer, the equations 3.4) and 3.6) remain valid also on manifolds. The proofs are analogous to the ones in the graph case. But in contrast to the graph case, the Γ ψ -calculus on manifolds only depends on ψ ) and ψ ). We will discuss this in the following representation theorem. Theorem 3.5 Representation of the ψ-operators). Let ψ C R + ). Let be the Laplace-Beltrami operator on a complete, connected Riemannian manifold M and ψ C R + ). Then for all positive f C M), one has Proof. Let f C M) and x M. First, we prove identity 3.7). We use the chain rule 2.) for ψ f ψ ) f f +ψ ) Γf) f 2, 3.7) Γ ψ ψ )Γlog )), 3.8) Γ ψ 2 ψ )Γ 2 log )). 3.9) Φs) ψ ) s, s > 0 fx) 3

14 to get ψ fx) Φf))x) 2.) Φ fx)) f)x)+φ fx))γf))x) ψ ) fx) f)x)+ ψ ) fx)) 2Γf))x) [ ψ ) f f +ψ ) Γf) f 2 ] x). Since f and x are arbitrary, the claim follows immediately. Next, we show identity 3.8). Since equation 3.6) remains valid on manifolds, we can calculate Γ ψ f) 3.6) ψ ) f f ψ f ψ ) Γf) f 2 2.2) ψ )Γlogf) by using the already proven first statement of the present theorem and the chain rule 2.2). Finally, we prove identity 3.9) in two steps. In the first step, we show Γ log 2 f) Γ 2logf), and in the second step, we show Γ ψ 2 ψ )Γ log 2. We start with Γ log 2 f) Γ 2logf). For all x M, we obtain Ω log f)x) [ ) f [ f f fx) fx) f f)x) fx) [ f f f)x) ]) x) fx) [ ]) f x). f ] ]) x) This implies Ω log f ) f. f Now, we use the chain rules Γlogf,g) Γf,g), f 3.0) logf f f Γf) f 2 3.) 4

15 to obtain 2Γ 2 logf) Γlogf) 2Γlogf, logf) ) 3.0) Γf) f 2 2 f Γf, logf) ) Γf) f 2 [ f logf) f logf f logf] f [ logf + Γf) ] f 2 f logf) + f logf f f 3.) f f Ω log f f logf) f 2Γ log 2 f). ) f logf) + f logf f f + f logf f Before we prove the second step, we establish the equation ) ) L uγ ψ u L u ψ u 2uΓ ψ 2 u 3.2) for all positive solutions u to the heat equation on M R + 0. The proof of the second identity is analogous to the proof of the key identity 3.4) on graphs. For showing the first identity, we write ) L u ψ u [ L u Γ ψ u) ψ ) u )] u ) L uγ ψ u ψ )L u) ) L uγ ψ u. We prove Γ ψ 2 f) Γlog 2 f). We will use the already proven second claim 3.8) of the present theorem, and we will use the identity 3.2) from above. Therefore, we extend the positive function f C M) to a positive function u C M R), such that u,0) f and Lu),0) 0. We can do this by ) f u,t) : f exp f t. At the time t 0, we calculate ) 2fΓ ψ 2 f) 2uΓψ 3.2) 2 u) L uγ ψ 3.8) ) u ψ ) L uγ log u 3.2) ψ ) 2uΓ log 2 u) ψ ) 2fΓ log 2 f). This finishes the proof, since f is an arbitrary positive function. 5

16 Remark 3.6. In the proof of [6, Lemma 3.2], similar computations can be found to show the connection between their CDE condition and the CD condition. With appropriate ψ, the representation of the ψ-operators simplifies to the following corollary. Corollary 3.7 Coincidence of the ψ-operators with the Γ calculus). Let ψ C with ψ ) ψ ), and let be the Laplace-Beltrami operator on a complete, connected Riemannian manifold M. Then for all positive f C M), one has ψ f log f logf, 3.3) Γ ψ f) Γ log f) Γlogf), 3.4) Γ ψ 2 f) Γlog 2 f) Γ 2logf). 3.5) This corollary shows that our replacement log ) ψ is consistent. Moreover, we can see the equivalence of the CD condition and the CDψ condition on manifolds. Proof. If we choose ψ log, then we obtain ψ ) ψ ). Thus, the claim is an easy consequence of the representation of the ψ-operators Theorem 3.5). 3.5 A limit theorem on graphs In this subsection, we will interpret the classical operators,γ,γ 2 as directional derivatives of the corresponding ψ-operators. By this, we can show that the CDψ condition implies the CD condition on graphs. Theorem 3.8 Limit of the ψ-operators). Let G V,E) be a finite graph. Then for all f CV), one has the pointwise limits lim ε 0 ε ψ +εf) ψ ) f for ψ C R + ), 3.6) lim ε 0 lim ε 0 ε 2Γψ +εf) ψ )Γf) for ψ C 2 R + ), 3.7) ε 2Γψ 2 +εf) ψ )Γ 2 f) for ψ C 2 R + ). 3.8) Since all f CV) are bounded, one obviously has +εf > 0 for small enough ε > 0. Remark 3.9. The above limits can be understood as directional derivatives of the ψ- operators to the direction f at the constant function. For a function H : CV) CV) and for f,g CV) and for x V, we can define h : R R, t Hg + tf)x) and the directional derivatives f H, 2 f H : CV) CV) via [ f Hg) ] x) h 0) and [ 2 f Hg) ] x) h 0). By using this notation, for ψ C 2 R + ) with ψ ) 0 ψ ), the above theorem can be written as [ f f ψ] )/ψ ), Γf) [ f 2 2 Γψ] )/ψ ), Γ 2 f) [ ] f 2 2 Γψ 2 )/ψ ). 6

17 Proof. First, we prove 3.7). Let x V, let ψ C 2 R + ) and let f CV). By the definition of Γ ψ, we can write ε 2Γψ +εf)x) ε 2ψ ε f fx) ) +εfx) + x). We recall ψt) ψ )t ) ψt). W.l.o.g., ψ) 0 and, hence, ψ) 0 ψ ) and ψ ) ψ ). We apply Taylor s theorem to ψ at point to obtain ψ ε f fx) ) ) +εfx) + 2 ψ )+ht ε ) t 2 ε with t ε ε f fx) +εfx) and a function h : R R with lim s 0hs) 0. Thus, we can calculate the pointwise limit lim ε 0 ε 2ψ ε f fx) ) +εfx) + 2 ψ )f fx)) 2. Since we are on finite graphs, we can do the following computation at the point x V : lim ε 0 ε 2Γψ +εf) lim ε 0 ε 2ψ ε f fx) ) +εfx) + 2 ψ )f fx)) 2 ψ )Γf). Next, we prove 3.6) similarly. Let f CV) and let ψ C R + ). Since ψ) 0, we observe that ε Γψ +εf)x) ) +εf ε ψ x) [ ψ ε f fx) ) ] +εfx) ε +εfx) + ψ) x) for all x V. Due to Taylor s theorem of the first order and since ψ )0, we can compute the pointwise limit lim ε 0 ε ψ ε f fx) ) +εfx) + ψ )f fx)) 0. Hence, we have ε Γψ + εf) ε 0 0. Lemma 3.3) to obtain We use the gradient representation of ψ cf. ε ψ +εf) ε ψ ) +εf) +εf ε Γψ +εf) ψ f ) +εf ε Γψ +εf) ε 0 ψ ) f. Finally, we prove 3.8). Let x V, let ψ C 2 R + ) and let g C + V). Again, we use the gradient representation of ψ cf. Lemma 3.3) and calculate ) g ψ g) ψ ) g) gγ ψ g). 3.9) 7

18 We recall the non-linear operator Ω ψ from the definition of Γ ψ 2 cf. Definition 3.6). We can write [ ] [ [ ) g g g gω ψ g) x) g ψ gx) gx) g gx) )]] x) gx) [ [ ) ] [ ) ]] g g g ψ g g ψ x). 3.20) gx) gx) gx) We define νt) ψ t) ψ ) and ωt) ψt) tψ t) for t R +. By using the linearity of ψ in the parameter and by resolving gω ψ g) with 3.20) and g ψ g) with 3.9), we obtain [2gΓ ψ 2 g) ] x) [ ] gω ψ g)+ g ψ g g ψ g) x) [ [ ) ] g ν g + g ω g+ gx) gγ ψ g)) ] x). Let f CV). We set g g ε +εf and get [ ] [ [ 2gε ε 2 Γψ 2 +εf) gε x) ε 2 ν ) g ε ]+ ε g ε x) 2 g ε ω g ε + ε 2 g ε Γ ψ g ε )) ] x). Now, we compute the limits of the three summands on the right hand side. We start with the last one and proceed backwards. ε 0 Since g ε and Γ ψ g ε 2 ε ) ε 0 ψ )Γf) which was proven above, one has ) ε 2 g ε Γ ψ ε 0 g ε ) ψ ) Γf). Since ε g ε f and ε ω g ε ) ε 0 ω ) f ψ ) f which was proven above, one has ε 2 g ε ω ε 0 g ε ψ ) f) 2. The function ν is differentiable since ψ C 2 R + ), and obviously, ν) 0. By defining δ : ε f fx) g ε, we obtain ) ε ν gε [ f fx) ε 0 ν+δ) ν) ] ν )f fx)) ψ )f fx)) g ε x) δ g ε and hence, [ ] gε ε 2 ν ) g ε x) g ε x) Putting together the three limits calculated above yields ε 0 [ ψ )f fx)) f ] x) ψ )[f f f f)]x). 2g ε ε 2 Γψ 2 +εf) ε 0 ψ ) [ Γf)+ f) 2 +f f f f) ] ψ )[ Γf) 2Γf, f)] ψ ) 2Γ 2 f). ε 0 Since g ε, we conclude Γ ψ ε 0 ε 2 2 +εf) ψ )Γ 2 f) which finishes the proof. 8

19 Corollary Let ψ C 2 R + ) be concave with ψ ) 0 ψ ) and let d R +. Let G V,E)) be a graph satisfying the CDψd,0) condition. Then, G also satisfies the CD ψ ) d,0 condition. ψ ) 2 Proof. Let f CV). Since G satisfies the CDψd, 0) condition, we have ψ [ ] 2 )Γ 2 f) lim ε 0 ε 2Γψ 2 +εf) lim ε 0 dε 2 ψ ψ ) 2 +εf) f) 2. d Since ψ is concave ) and ψ ) 0, one has ψ ) > 0. Thus, we obtain that G satisfies the CD ψ ) d,0 condition. ψ ) 2 Example 3.2. On finite graphs, the CD logd, 0) condition implies the CDd, 0) condition. The concept of the ψ-laplacian and the CDψ-condition can be extended to infinite graphs. In [2], Hua and Lin show that the CDd,0) condition, together with a geometric completeness property, implies stochastic completeness. Thus, we obtain that the CDψ condition on infinite graphs also implies stochastic completeness. 4 Li-Yau inequalities In this section, we will give two proofs of the ψ-li-yau inequality. First, we will prove the ψ-li-yau inequality via a maximum principle which was used in [4, 6]. After that, we will give another characterization of the CDψ condition by using semigroup methods introduced in [4]. This characterization turns out to be a stronger version of the ψ-li-yau inequality. 4. A proof via the maximum principle First, we present a monotonicity lemma which can be found in [6, Lemma 4.]. This gives an important maximum property of the heat operator. Lemma 4. Monotonicity of L). Let G V,E) be a graph and let g,f : V 0,T] R be differentiable functions, such that g 0 and such that F attains a local maximum in some x 0,t 0 ). Then, one has Proof. A short calculation gives g)fx 0,t 0 ) Lg)Fx 0,t 0 ) LgF)x 0,t 0 ). 4.) y x 0 gy,t 0 )Fx 0,t 0 ) gx 0,t 0 )Fx 0,t 0 ) y x 0 gy,t 0 )Fy,t 0 ) gx 0,t 0 )Fx 0,t 0 ) gf)x 0,t 0 ). 9

20 Similarly, F t gx 0,t 0 ) F t gx 0,t 0 )+g t Fx 0,t 0 ) t gf)x 0,t 0 ) since t F 0 if t 0 0,T) and t F 0 if t 0 T. The difference of these estimates yields the claim. Theorem 4.2 ψ-li-yau inequality). Let G V, E) be a finite graph satisfying CDψD, 0) and u C V R + 0 ) a positive solution to the heat equation on G. Then for all x V and t R +, one has ψ ux,t) d 2t. Proof. We define for x V and t R + 0 Fx,t) : t ψ ux,t). It is sufficient to show that for all T > 0, one has sup Fx,t) d x V,0 t T 2. Since V [0,T] is compact and F is continuous, the restriction F V [0,T] attains its maximum in some x 0,t 0 ). We assume without loss of generality that Fx 0,t 0 ) is positive. Since F,0) 0, we can deduce t 0 > 0 and thus, the maximum is attained on V 0,T]. Hence, we can use the estimate 3.5) from the characterization of CDψ and the estimate 4.) from the monotonicity lemma with g,t) : u t for all t 0,T]. The following computation is understood to take place at the point x 0,t 0 ). We obtain u t 2 0 F Lg)F 4.) ) 3.5) LgF) L u ψ u 2 d u ψ u) 2 2 d u F 2. t 2 0 Since Fx 0,t 0 ) > 0, we can conclude F d A proof via semigroup methods Next, we use semigroup methods to give another proof of the ψ-li-yau inequality. Moreover, we give another characterization of the CDψ condition which is inspired by a similar result that Bakry and Ledoux showed on diffusion semigroups cf. [4]). Definition 4.3 Operator semigroup). Let G V,E) be a finite graph. The Laplacian generates an operator semigroup P t ) t 0 : CV) CV) with P t f : e t f : k0 t k k f k! for all t R + 0 and all f CV). Proposition 4.4 Basic properties of operator semigroups). Let G V,E) be a finite graph with Laplacian and the generated semigroup P t ) t 0. 20

21 ) The semigroup satisfies the property P t P s f) P t+s f for all f CV) and all s,t 0. 2) The semigroup gives a solution to the heat equation. I.e. P t f is continuous in t for all t 0 and f CV), and furthermore LP t f) 0 for all t 0 and all f CV). 3) The semigroup satisfies the initial condition P 0 f f for all f CV). 4) If the initial condition f CV) is positive, then P t f CV) is also positive for all t 0. This proposition is a standard one and a proof can be found e.g. in [9]. Theorem 4.5 Semigroup form of the ψ-li-yau inequality). Let ψ C R + ), and let G V,E) be a finite graph with Laplacian which generates the semigroup P t ) t 0. Then, the following statements are equivalent. i) G satisfies CDψd, 0). ii) For all positive functions f C + V) and all t 0, one has P t f ψ P t f P t f ψ f) + 2t ) n ψ P t f. If one of these statements is true, then the ψ-li-yau inequality holds for all f C + V) and all t > 0. ψ P t f n 2t The proof of this theorem is in the spirit of Bakry and Ledoux cf. [4, Theorem ]). In contrast to their proof, we are able to bypass the chain rule by using Theorem 3.9 which is the characterization of the CDψ condition. It seems to be quite a challenge to obtain logarithmic Sobolev inequalities cf. [4, inequalities.0),.)]) on graphs by using our methods. Nevertheless in [9], Chung, Grigor yan and Yau have shown another version of the Sobolev inequality on manifolds and on graphs. Proof. First, we show ii) i). We will use identity 3.4) from the representation lemma 2

22 of Γ ψ 2. For all f C+ V), the assumption ii) implies [ P t f ψ P t f P t f ψ f) 2t 0 lim t 0 2t lim t 0 2t 3.4) ] n P tf ψ f) ψ P t f [ ] P t f ψ P t f P 0 f ψ P 0 f) P t f ψ f P 0 f ψ f)) n f ψ f) 2 [ ] 2 t P t f ψ P t f P t f ψ f) t0 n f ψ f) 2 [ ] t P t f ψ P t f) P 0 f ψ f) 2 t0 n f ψ f) 2 [ ] t P t f ψ P t f) P t f ψ P t f) 2 t0 n f ψ f) 2 2 [L P tf ψ P t f)] t0 n f ψ f) 2 [ ] P t fγ ψ 2 P tf) t0 n f ψ f) 2 fγ ψ 2 f) n f ψ f) 2. Thus, Γ ψ 2 f) n ψ f) 2. Since f is arbitrary, we obtain the CDψn,0) inequality. Next, we show i) ii). Let f CV) and t > 0. Following the notation of Bakry and Ledoux, for s [0,t], we denote g : P s f, A : g ψ g, φs) : P t s P s f ψ P s f) P t s A). We take the derivative of φ. By using identity 3.4) from the representation lemma of Γ ψ 2, we obtain φ s) s P t s A) P t s A)+P t s s A) P t s L A) P t s L g ψ g) 3.4) P t s 2gΓ ψ CDψ 2 g)) 2 ) ) 2 n P t s g ψ g 2 A 2) n P t s g 2 P t s A) 2 n P t s g 2 φs) 2 n P t f 0. In the first inequality, we also used the positivity of P t s. This calculation implies P t f ψ P t f φt) φ0) P t f ψ f). 4.2) 22

23 Suppose ψ P t f 0 and P t f ψ P t f) 0. Then, the claim is obvious. Suppose not. Since φ is monotonically non-decreasing, we can conclude φs) 0 for all s [0,t]. Thus, we obtain ) φ φ φ 2 2 np t f. By integrating this identity from 0 to t, we get φ0) φt) 2t np t f. Since φ0) and φt) have the same sign, we see 2t φt) φ0) φt)φ0) np t f. Substituting φt) and φ0) into this estimation yields the result. Now, we will deduce the ψ-li-yau inequality from the equivalent statements i) and ii). Suppose ψ P t f > 0. Then, the claim is obvious. Suppose not. We have already seen in inequality 4.2) that i) implies P t f ψ P t f P t f ψ f). Thus, 0 P t f ψ P t f P t f ψ f). Consequently, ii) implies + 2t n ψ P t f 0 which is equivalent to the Li-Yau inequality This finishes the proof. ψ P t f n 2t. 5 Harnack inequalities The Harnack inequality states that if u is a solution to the heat equation and if x i,t i ) i,2 are two points in space-time, then ux,t ) ux 2,t 2 ) can be estimated by a function only depending on a certain distance of the points x,t ) and x 2,t 2 ). In this section, we show in which sense the ψ-li-yau inequality can be understood as a gradient estimate and how to use this property to derive Harnack type inequalities. To do so, we will use the methods introduced in [6] which turn out to be applicable here with minor changes. We will note in this section that the concavity of ψ is crucial to derive Harnack inequalities from the ψ-li-yau inequality. Furthermore, we will see in Subsection 6. that we need concavity of ψ to prove CDψ inequalities on Ricci-flat graphs. 23

24 5. Preliminaries To understand the ψ-li-yau inequality as a gradient estimate, we use the ψ-gradient Γ ψ see Subsection 3.3). This is defined as Γ ψ ψ with ψx) ψ ) x ) ψx) ψ)) for all x > 0 and all concave ψ CR + ). We recall the gradient representation of ψ cf. Lemma 3.3). Let G V,E) be a finite graph, and let ψ C R) be a concave function. Then, the gradient representation of ψ states that for all f C + V), one has ψ f Γ ψ f) ψ ) f f. This formulation will turn out to be a convenient basis for deducing Harnack inequalities from the Li-Yau inequality. We only need to introduce one more constant dependent on ψ. Definition 5. Harnack constant). Let ψ C R + ) be a concave function. We define the Harnack-constant H ψ of ψ as logx) 2 H ψ : sup x> ψx) [0, ]. 5.) This constant is defined to give the connection between ψ-li-yau type gradient estimates and Harnack inequalities. The case H ψ is allowed, but this only occurs if ψ ) 0 cf. Lemma 6.7). The following lemma is the key to prove Harnack inequalities by using the methods introduced in [6, Section 5] and gives the link between the Γ ψ -calculus and these methods. Lemma 5.2 Estimate of Γ ψ ). Let ψ C R + ) be a concave function, let G V,E) be a graph, let f C + V) and let v,w V with v w. Then, log fw) fv) H ψ Γ ψ f)v). 5.2) Proof. First, we show the following claim. For all x R +, one has logx H ψ ψx). 5.3) This claim is obvious for x, since we obtain logx 0 in this case. If x >, the claim follows from the definition of H ψ. For the assertion of the lemma, we use ψ 0 and apply inequality 5.3) proven above with 24

25 x fw) fv) to compute H ψ This finishes the proof. Γ ψ f)v) H ψ ψ fv) 3.2) H ψ ṽ vψ H ψ ψ log fw) fv). fṽ) fv) ) fw) fv) Next, we give a lemma which is a special case of [6, Lemma 5.3]. Lemma 5.3 Minimal integral estimate). Let T,T 2 R with T 2 > T. Let γ : [T,T 2 ] R + 0 be a continuous function and let C,C 2 R + be positive constants. Then, one has C2 2 C T 2 T ) inf T2 ) C 2 γs) C γt)dt. 5.4) s [T,T 2 ] s We include the proof for convenience of the reader. Proof. We estimate the infimum by an average integral with the weight function φ : [T,T 2 ] R +,s s T. ) T2 inf C s [T,T 2 ] T2 T φs) T2 T 2 T ) 2 T 2 T ) 2 T 2 T ) 2 s γt)dt+c 2 γs) ) T2 C s γt)dt+c 2 γs) )ds T2 T φs)ds T T2 T T2 C 2 2 C T 2 T ). s 2C γs) φt)dt+2c 2 s T ) ) γs) ds T C γs)s T ) 2 +2C 2 s T ) ) γs) ds T C 2 2 C ds In the last estimate, we used C x 2 +2C 2 x C2 2 C with x s T ) γs). 25

26 5.2 Main theorem The following theorem is in the spirit of Bauer, Horn, Lin, Lippner, Mangoubi, and Yau cf. [6, Theorem 5.]). In contrast to their version and in order to focus on our new methods, we do not consider the effect of potentials but instead, we consider more general gradient forms. To prove the Harnack inequality, we require the gradient estimate D Γ ψ u)x,t) t logux,t) D 2 t +D 3 for all positive solutions u C V R + 0 ) to the heat equation and some positive constants D,D 2,D 3 R +. By using the gradient representation Lemma 3.3) ψ f Γ ψ f) ψ ) f f, we will be able to guarantee the required gradient estimate due to the ψ-li-yau inequality Theorem 4.2) ψ ux,t) d 2t for graphs satisfying the CDψd,0) condition. Theorem 5.4 Harnack inequality as a consequence of a ψ-gradient estimate). Let GV,E) be a finite and connected graph, D,D 2,D 3 R + positive constants, and let u C V R + 0 ) be a function satisfying D Γ ψ u)x,t) t logux,t) D 2 t +D 3 5.5) for all x V and t R + 0. Then, ux,t ) ux 2,T 2 ) T2 T ) D2 expd 3 T 2 T ))exp holds for all x,x 2 V and all positive T < T 2. ) Hψ dx,x 2 ) D T 2 T ) The proof of this theorem is very similar to the one given in [6, Theorem 5.]. Proof. First, we consider the case x x 2. Let T < T 2 and s [T,T 2 ]. We use the 26

27 assumption 5.5) of the theorem and the estimate 5.2) of Γ ψ to estimate log ux,t ) ux 2,T 2 ) log ux,t ) ux,s) +log ux,s) ux 2,s) +log ux 2,s) ux 2,T 2 ) 5.5) D Γ ψ 0 s s D2 s T2 D2 t T2 t logux,t)dt+log ux,s) T ux 2,s) t logux 2,t)dt s ) +D 3 D Γ ψ u)x,t) dt+log ux,s) T t ux 2,s) T2 ) D2 + +D 3 D Γ ψ u)x 2,t) dt T t +D 3 ) dt+log ux,s) ux 2,s) 5.2) D 2 log T 2 +D 3 T 2 T ) T + H ψ Γ ψ u)x 2,s) T2 s T2 s D Γ ψ u)x 2,t)dt. D Γ ψ u)x 2,t)dt Now, we take the infimum over all s [T,T 2 ] and, by using the minimal integral estimate 5.4), we obtain log ux,t ) ux 2,T 2 ) D 2 log T 2 +D 3 T 2 T ) T + inf s [T,T 2 ] Hψ Γ ψ u)x 2,s) T2 5.4) D 2 log T 2 H ψ +D 3 T 2 T )+ T D T 2 T ). s ) D Γ ψ u)x 2,t)dt The minimal integral estimate 5.4) was applied with γt) logux 2,t), and C 2 H ψ, and C D. Now, we consider the general case i.e. the vertices x and x 2 are not necessarily adjacent). Denote n : dx,x 2 ). Since G is connected, there is a path x v 0... v n x 2 of length n, and there are positive numbers T t 0 <... < t n T 2 with t i t i T 2 T n for i {,..., n}. Using the estimation from above yields log ux,t ) ux 2,T 2 ) n i log uv i,t i ) uv i,t i ) n D 2 log i t i H ψ +D 3 t i t i )+ t i D t i t i ) D 2 log T 2 T +D 3 T 2 T )+ H ψdx,x 2 ) 2 D T 2 T ). 27

28 Hence, ux,t ) ux 2,T 2 ) T2 T ) D2 expd 3 T 2 T ))exp ) Hψ dx,x 2 ) D T 2 T ) which is the claim of the theorem. Corollary 5.5 Harnack inequalities as a consequence of the CDψ condition). Let ψ C R + ) be a concave function with ψ ), and let G V,E) be a graph satisfying the CDψd,0) inequality for some d R +. Then for all positive solutions u C V R + 0 ) to the heat equation on G, all x,x 2 V, and all positive T < T 2, one has log ux,t ) ux 2,T 2 ) d 2 log T 2 + H ψdx,x 2 ) 2. T T 2 T ) Proof. Since G satisfies the CDψd, 0) inequality, the ψ-li-yau inequality holds. Thus, Γ ψ u) u u ψ u d 2t. Hence, we can apply the Harnack inequality with D, D 2 d 2, and D 3 0, and we obtain the claim. 6 Examples To show that the Harnack inequality presented here is stronger than the one given in [6, Corollary 5.2], we have to assure a unified context for both. Unfortunately, the different curvature-dimension conditions seem to be not unifiable. Instead, so called Ricci-flat graphs will turn out to be an appropriate basis to compare the Harnack inequalities. To do this comparison, we need some preliminary considerations. In the following subsection, we will show that Ricci-flat graphs satisfy the CDψd, 0) condition for suitable ψ. For a given Ricci-flat graph, the dimension bound d depends on the parameter ψ. This dependence can be described by a constant C ψ. In the second subsection of this section, we compute this constant C ψ and the Harnack constant H ψ cf. Definition 5.) for several ψ. We use these computations to discuss the announced break of analogy between the CDE condition introduced in [6, Definition 3.9] and the CD condition cf. Definition 2.7). In the third subsection, we establish a Harnack inequality on Ricci-flat graphs. Finally, we will compare this inequality with the one given in [6, Corollary 5.2]. 6. Ricci-flat graphs Ricci-flat graphs were introduced by Chung and Yau [8] as a generalization of Abelian Cayley graphs to prove Harnack inequalities and log-sobolev inequalities. These graphs have been the basis to establish new notions of Ricci curvature on graphs cf. [6, 5]). The goal of this subsection is to prove that Ricci-flat graphs satisfy the CDψ inequality with curvature bound zero. This subsection is in the spirit of [6, Subsection 6.3], where the CDE condition is proved for Ricci-flat graphs. 28

29 Definition 6. Ricci-flat graphs). Let D N. A finite graph G V,E) is called D- Ricci-flat in v V if all w Nv) : {v} {w V : w v} have the degree D, and if there are maps η,...,η D : Nv) V, such that for all w Nv) and all i,j {,...,D} with i j, one has η i w) w, 6.) η i w) η j w), 6.2) η k η i v)) η i η k v)). 6.3) k k The graph G is called D-Ricci-flat if it is D-Ricci-flat in all v V. Example 6.2. All Abelian Cayley graphs with degree D are D-Ricci-flat as mentioned already in [8]. In the next lemma, we collect some facts which are already used in [6]. Lemma 6.3 Basic properties of Ricci-flat graphs). Let G V, E) be Ricci-flat in v V with according maps η,...,η D : Nv) V. ) Let f CV) be a function. Then for all i {,...,D}, one has fη k η i v)) fη i η k v)). 6.4) k k 2) For all i {,...,D}, there is a unique j ji), such that η i η j v)) v. Additionally, the map i ji) is a permutation of {,...,D}. Proof. First, we prove ). Since k η kη i v)) k η iη k v)), it is sufficient to show that no vertex in 6.4) is summed up twice. This is clear if k η kη i v)) and if k η iη k v)) are disjoint unions. We know, kη kη i v)) is a disjoint union by 6.2). Since D <, identity 6.3) implies that k η iη k v)) is a disjoint union. Next, we prove 2). The uniqueness of ji) is obvious. Suppose i ji) is not a permutation. Then, there are i,k {,...,D} with i k and j ji) jk). This means η i η j v) η k η j v). Hence, # l η l η j v) < D. This is a contradiction. To prove a CDψ inequality on Ricci-flat graphs, we need to introduce the constant C ψ. Definition 6.4. Let ψ C R + ). Then for all x,y > 0, we write ψx,y) : [ ψ x)+ψ y) ] xy)+x[ψy) ψ/x)]+y[ψx) ψ/y)] and ψx, y) C ψ : inf x,y>0 ψx)+ψy) 2ψ)) 2 [, ]. 29

30 To obtain useful results, we need C ψ > 0. We will discuss this condition in the next subsection. Remark 6.5. For ψ log, it suffices to consider the infimum of the function in C ψ for the diagonal, i.e., x y. This behavior is also indicated by numerical computations for various concave ψ and it would be interesting to know whether this behavior can be established for arbitrary concave ψ. Theorem 6.6 CDψ for Ricci-flat graphs). Let D N, let G V,E) be a D-Ricci-flat graph, and let ψ C R + ) be a concave function, such that C ψ > 0. Then, G satisfies the CDψd,0) inequality with d D/C ψ. The proof and the notation are inspired by the proof of Theorem 6.7 in [6]. Proof. We have to show for all f CV) and all v V that First, we recall the definitions We can assume ψ fv) w vψ Ω ψ fv) w v 2Γ ψ 2 f)v) 2C ψ D ) fw) ψ), fv) ψ fw) fv) 2Γ ψ 2 f) Ωψ f + f ψ f f [ ψ fv)] 2. ) fw) [ fw) fv) fw) fv) ], fv) f ψ f ). ψ) 0 without loss of generality since Γ ψ 2, ψ and C ψ are invariant under adding constants to ψ. Let v V and f CV). Since G is Ricci-flat, there are maps η,...,η D : Nv) V as demanded in the definition. For all i, j {,..., D}, we denote y : fv), y i : fη i v)), f y ij : fη j η i v))), z i : y i /y, z ij : y ij /y i. We use the representation of ψ Lemma 3.5) to obtain the following two identities ψ fv) i ψ fη i v)) j ψz i ), ψz ij ). 30

31 Thus, we can compute f ψ f ) v) f) ψ f v) f f w v fv) ψ fv)+fw) ψ fw) fv) i,j z j ψz ji ) ψz i ) z j )ψz i ) i,j w v fv)+fw)) i ψz i) fv) i,j z j [ψz ji ) ψz i )] and Ω ψ fv) i i,j ψ z i )z i [ f)ηi v)) y i ψ z i )z i z ij z j ) f)v) ] y 6.4) i,j ψ z i )z j z ji z i ). We summarize 2Γ ψ 2 f)v) i,j z j ψ z i )z ji z i ) [ψz ji ) ψz i )] ). 6.5) Since ψ is concave, every summand is positive. As we showed in the second claim of Lemma 6.3, for each i, there is a unique j ji) with η i η j v)) v. Now, we disregard all other summands of 6.5) and use z ji /z ji) if j ji) to estimate 2Γ ψ 2 f)v) i i ) [ z ji) ψ z i ) z i ψ z ji) ψ z i ) ) z ji) ψ + z i ji) i z ji) ) ]) ψz i ) z ji) ψzi ) z i ψ z i ) ). The next step is to symmetrize the sum. Unfortunately, we do not have jji)) i in general. But instead, we can use the rearrangement inequality. This states that for all permutations σ on {,...,D} and all a... a D and all b... b D, one has D a σi) b i i D a D+ i b i. i Since ψ is concave, we observe that the map z ψz) zψ z) is monotonically nondecreasing. Without loss of generality, we have 0 < z... z D. Furthermore, by the 3

32 second claim of Lemma 6.3, the map i ji) is a permutation. Thus, we can apply the rearrangement inequality to obtain z ji) ψzi ) z i ψ z i ) ) z i ψzi ) z i ψ z i ) ) i i with i : D + i. Especially, we have i i. Furthermore, the map i i is a permutation. Hence, z ji) ψ z ji) ψzi ) z i ψ z i ) ) 2Γ ψ 2 f)v) i ψ z i ) i ψ z i ) i i i i i z i ψ z i z ji) ) + i ) + i + ) [ ψ z i ) z i ψ i [ ψ z i ) z i ψ [ ψ z i ) z i ψ z i z i z i ψzi ) z i ψ z i ) ) ) +z i ψzi ) z i ψ z i ) )] ) +z i ψzi ) z i ψ z i ) )] z i ) +z i ψzi ) z i ψ z i ) )]. In the first identity, we used the permutation property of the map i i and its consequence i i. In the second identity, we used i i. Now, we employ the definitions ψx,y) [ψ x)+ψ y)] xy) + x[ψy) ψ/x)] + y[ψx) ψ/y)] and C ψ inf x,y>0 ψx,y)/ψx)+ψy) 2ψ)) 2 from Definition 6.4 to obtain... ψz i,z i ) C ψ [ψz i )+ψz i )] C ψ 2D i 2C ψ D [ ] 2 ψz i )+ψz i ) C ψ 2D i [ 2. fv)] ψ i [ ] 2 2 ψ fv) This finishes the proof since v V and f C + V) are arbitrary. 6.2 Special cases for the function ψ One objective of this subsection is to show that the Harnack inequality on Ricci-flat graphs established in this article is stronger than the one given in [6, Corollary 5.2]. Moreover, we will discuss that there is a break of analogy in the curvature-dimension condition introduced in [6] compared to the CD condition on manifolds. From the perspective of our approach, the authors of [6] consider the instance ψ. We will give examples for the constants C ψ and H ψ. Especially, we are interested in the cases ψ log and ψ. Furthermore, we will give useful criteria, whether C ψ 0 respectively H ψ. These cases should 32