arxiv: v2 [math.co] 4 Jul 2017
|
|
- Christine Jefferson
- 5 years ago
- Views:
Transcription
1 Ollivier-Ricci idleness functions of graphs D. P. Bourne, D. Cushing, S. Liu, F. Münch 3, and N. Peyerimhoff Department of Mathematical Sciences, Durham University School of Mathematical Sciences, University of Science and Technology of China 3 Institute of Mathematics, Universität Potsdam arxiv: v [math.co] 4 Jul 07 July 5, 07 Abstract We study the Ollivier-Ricci curvature of graphs as a function of the chosen idleness. We show that this idleness function is concave and piecewise linear with at most 3 linear parts, with at most linear parts in the case of a regular graph. We then apply our result to show that the idleness function of the Cartesian product of two regular graphs is completely determined by the idleness functions of the factors. Introduction and statement of results Ricci curvature plays a very important role in the study of Riemannian manifolds. In the discrete setting of graphs, there is very active recent research on various types of Ricci curvature notions and their applications. In [9] Ollivier developed a notion of Ricci curvature of Markov chains valid on metric spaces including graphs. In this notion an idleness parameter, p [0,], must be set in order to obtain a curvature κ p. Ollivier considered idleness 0 and. For graphs, Ollivier s notion for idleness 0 has been studied further in [,, 3, 5, ]. In [0] Ollivier and Villani considered idleness d+, where d is the degree of a regular graph, in order to investigate the curvature of the hypercube. In [4], Lin, Lu, and Yau modified the definition of Ollivier- Ricci curvature to compute the derivative of the curvature with respect to the idleness, which they denote by κ. We will show that for a regular graph the following holds: κ = κ = d+ d κ. d+ Therefore some of these different curvature notions are related to each other by scaling factors. In [], Bhattacharya and Mukherjee derive exact expressions of Ollivier-Ricci curvature for bipartite graphs in the special case of idleness p = 0 and for graphs of girth at least 5. They use this result to classify all graphs with κ 0 = 0 for all edges (called Ricci flat in
2 their paper) and girth at least 5. There is a small overlap between some of our methods and theirs in this paper (for example they discuss the existence of integer-valued optimal Kantorovich potentials in the special case of vanishing idleness (p = 0)). To our knowledge, the global piecewise linear structure of the function p κ p has not yet been established and the only concrete examples in the literature, where the full idleness function is computed are the hypercube and the complete graphs; see [4]. However, some properties of this function have been discussed. In [4], it was shown that the idleness function is concave. It was shown in [7] that κ p is linear close to idleness p =, and in [] it was shown that κ p is linear if a certain condition is satisfied (see the introductory part of Section 5). Throughout this article, let G = (V,E) be a locally finite graph with vertex set V, edge set E, and which contains no multiple edges or self loops. Let d x denote the degree of the vertex x V and d(x,y) denote the length of the shortest path between two vertices x and y, that is, the combinatorial distance. We denote the existence of an edge between x and y by x y. We define the following probability measures µ x for any x V, p [0,]: p, if z = x, µ p p x(z) = d x, if z x, 0, otherwise. Let W denote the -Wasserstein distance between two probability measures on V, see [3] page. The p Ollivier-Ricci curvature of an edge x y in G = (V,E) is κ p (x,y) = W (µ p x,µp y ). Y. Lin, L. Lu, and S.T. Yau introduced in [4] the following Ollivier-Ricci curvature: κ(x,y) = lim p κ p (x,y) p. Note that their curvature notion does not have an idleness index, which distinguishes their notion from the idleness functionp κ p (x,y) in this paper, which we call the Ollivier-Ricci idleness function. We will show that [ ] for all p max{d, x,d y}+ that κ(x,y) = κ (x,y). κ p (x,y) = ( p)κ(x,y) and that κ 0 (x,y) κ(x,y) κ 0 (x,y) + max{d x,d y}. Observe Next, we give some examples of graphs and their Ollivier-Ricci idleness function at a particular edge x y. Examples: Below is the one-path and a plot of the corresponding idleness function:
3 κ p x y 0 p We now present the idleness function for 3,4 and 5 cycles: κ p x y 0 p 3 κ p 3 x y 0 p 3 κ p x y p For cycles of length 6 or greater the idleness function at every edge vanishes identically (we call those edges bone idle; see Section 7). So far we have only seen idleness functions with at most linear parts. We will show that if d x = d y, then this is always the case. However, if d x d y, then 3 linear parts may occur, as shown in the following example: 3
4 κ p x y p In fact the Ollivier-Ricci idleness function is piecewise linear with at most 3 parts always, a fundamental fact which is included in the following theorem (our main result): Theorem.. Let G = (V,E) be a locally finite graph. Let x,y V with x y. Then the function p κ p (x,y) is concave and piecewise linear over [0,] with at most 3 linear parts. Furthermore κ p (x,y) is linear on the intervals [ 0, lcm(d x,d y )+ ] and [ max(d x,d y )+, Thus, if we have the further condition d x = d y, then κ p (x,y) has at most two linear parts. In our above example of 3 linear parts the changes in slope occurs at max(d x,d y)+ ]. lcm(d x,d y)+ and. However this need not always be the case. Consider the following example: κ p x y p Here the first change in gradient did occur at lcm(d = x,d y)+ 3, but the second change in gradient occurs before max(d = x,d y)+ 5. Remark.. Since κ p (x,y) = W (µ p x,µ p y) and W (µ p x,µ p y) is the supremum of affine functions of p (by the Kantorovich Duality Theorem), then p W (µ p x,µ p y) is convex and so p κ p (x,y) is concave. An alternative proof of concavity was given in [4]. A consequence of Theorem. and the results in [4] is the following Corollary. Corollary.3. Let G = (V G,E G ) be a d G -regular graph and H = (V H,E H ) be a d H - regular graph. Let x,x V G with x x and y V H. Then κp G H { dg = ((x,y),(x,y)) κ G p (x,x )+ d Gd H (κ G (x,x ) κ G 0 (x,x ))p, if p [0, + ], d G κ G (x,x )( p), if p [ +,]. 4
5 This result shows that the idleness function of the Cartesian product of two regular graphs is completely determined by the idleness functions of the factors. We finish this introduction with an outline of the rest of this paper. In Section we present the relevant notation and background material. In Section 3 we show that p κ p is piecewise linear with at most3linear parts. In Sections 4 and 5 we give bounds on the size of the first and last linear part. We prove Corollary.3 in Section 6. Finally, in Section 7, we present some open questions. Moreover we discuss the problem of characterising edges with globally linear curvature functions. Definitions and notation We now introduce the relevant definitions and notation we will need in this paper. First, we recall the Wasserstein distance and the Ollivier-Ricci curvature. Definition.. Let G = (V,E) be a locally finite graph. Let µ,µ be two probability measures on V. The Wasserstein distance W (µ,µ ) between µ and µ is defined as W (µ,µ ) = inf d(x, y)π(x, y), (.) π Π(µ,µ ) y V x V where Π(µ,µ ) = π : V V [0,] : µ (x) = π(x,y), µ (y) = π(x, y). y V x V The transportation plan π moves a mass distribution given by µ into a mass distribution given by µ, and W (µ,µ ) is a measure for the minimal effort which is required for such a transition. If π attains the infimum in (.) we call it an optimal transport plan transporting µ to µ. Definition.. The p Ollivier-Ricci curvature of an edge x y in G = (V,E) is where p is called the idleness. κ p (x,y) = W (µ p x,µp y ), A fundamental concept in optimal transport theory and vital to our work is Kantorovich duality. First we recall the notion of Lipschitz functions and then state the Kantorovich Duality Theorem. Definition.3. Let G = (V,E) be a locally finite graph, φ : V R. We say that φ is -Lipschitz if φ(x) φ(y) d(x,y) for all x,y V. Let Lip denote the set of all Lipschitz functions on V. 5
6 Theorem. (Kantorovich duality [3]). Let G = (V,E) be a locally finite graph. Let µ,µ be two probability measures on V. Then W (µ,µ ) = sup φ(x)(µ (x) µ (x)). φ:v R x V φ Lip If φ Lip attains the supremum we call it an optimal Kantorovich potential transporting µ to µ. 3 Properties of the idleness function In this section we prove that the Ollivier-Ricci idleness function has at most 3 linear parts. Two ingredients of this proof are the integer-valuedness of optimal Kantorovich potentials and the Complementary Slackness Theorem, which we state and prove now. Lemma 3.. Let G = (V,E) be a locally finite graph. Let x,y V with x y. Let p [0, ]. Let π and φ be an optimal transport plan and an optimal Kantorovich potential transporting µ p x to µ p y, respectively. Let u,v V with π(u,v) 0. Then φ(u) φ(v) = d(u,v). This follows from the Complementary Slackness Theorem (see, for example, [8, page 49]) or from standard results in optimal transport theory [3, page 88]. For the sake of completeness we include a short proof here. Proof. By the definitions of φ and π we have and Then W (µ p x,µp y ) = w V φ(w)(µ p x µp y )(w) = w V π(w,z) = µ p y(z), w V W (µ p x,µp y ) = w V d(w, z)π(w, z), z V π(w,z) = µ p x(w). z V φ(w)µ p x (w) z V φ(z)µ p y (z) = φ(w) π(w,z) φ(z) w V z V z V w V = (φ(w) φ(z))π(w, z) w V z V d(w, z)π(w, z) w V z V = W (µ p x,µ p y). π(w, z) Thus w V z V(φ(w) φ(z))π(w,z) = w V d(w, z)π(w, z). z V 6
7 Therefore φ(w) φ(z) < d(w,z) = π(w,z) = 0, thus completing the proof. As mentioned in the introduction, in [] the authors discuss the existence of integer-valued optimal Kantorovich potentials in the special case of vanishing idleness (p = 0). We first introduce the floor and ceiling of functions and then state a corresponding result for the case of arbitrary idleness. Definition 3.. Let G = (V,E) be a locally finite graph and let φ : V R. Define the functions φ and φ as follows: φ : V R v φ(v), φ : V R v φ(v). Lemma 3.. Let G = (V,E) be a locally finite graph. Let φ Lip. Then φ, φ Lip. Proof. For each v V set δ v = φ(v) φ(v). Note that δ v [0,). Then φ(v) φ(w) = φ(v) δ v φ(w)+δ w d(v,w) + δ v δ w. Since δ v δ w (,) we have φ(v) φ(w) < d(v,w)+ and so φ(v) φ(w) d(v, w) since φ(v) φ(w) is integer valued. Thus φ Lip. The proof that φ Lip follows similarly. Lemma 3.3 (Integer-Valuedness). Let G = (V,E) be a locally finite graph. Let x,y V with x y. Let p [0,]. Then there exists φ Lip such that W (µ p x,µp y ) = w V φ(w)(µ p x (w) µp y (w)), and φ(w) Z for all w V. Proof. Let Φ be an optimal Kantorovich potential transporting µ p x to µ p y. Let π be an optimal transport plan transporting µ p x to µ p y. Consider the following graph H with vertices V and edges given by the following adjacency matrix A: A(v,w) = if π(v,w) = or π(w,v) =, A(v,w) = 0 otherwise. Let (W i ) n i= denote the connected components of H. Fix u,v W i for some i {,...,n}. By Lemma 3. we have Φ(u) Φ(v) = d(u,v). Define φ : V R as follows φ(v) = sup{ψ(v) : ψ : V Z, ψ Lip, ψ Φ}. 7
8 By definition, φ is an integer-valued Lipschitz function and φ Φ. Note that φ = Φ since Φ Lip by Lemma 3.. Finally we must show that φ is optimal. For each v V set δ v = Φ(v) Φ(v) = Φ(v) φ(v). Note that µ p x(w i ) = µ p y(w i ) for all i (since no mass is transported between different connected components W i ), and that δ u = δ v if u,v belong to the same component W i, for some i. Set δ i = δ u for any u W i. Then φ(w)(µ p x(w) µ p y(w)) = w V(Φ(w) δ w )(µ p x(w) µ p y(w)) w V Therefore φ is optimal, as required. Now we formulate our main result of this section. n = (Φ(w) δ w )(µ p x(w) µ p y(w)) i= w W i n = Φ(w)(µ p x (w) µp y (w)) i= w W i n δ w (µ p x (w) µp y (w)) i= w W i = n Φ(w)(µ p x(w) µ p y(w)) δ i (µ p x(w i ) µ p y(w i )) }{{} w V i= =0 =W (µ p x,µp y ). Theorem 3.4. Let G = (V,E) be a locally finite graph. Let x,y V with x y. Then p κ p (x,y) is piecewise linear over [0,] with at most 3 linear parts. Proof. For φ : V R, let F(φ) = d y φ(z) d x φ(z). (3.) For j {,0,}, define and define the constants Finally we define the linear maps z x z y z y z x A j = {φ : V Z : φ(x) = j, φ(y) = 0, φ Lip} (3.) f j (p) = c j = sup φ A j F(φ). ( p p ) j + p c j. d y d x d y 8
9 Then W (µ p x,µp y ) = sup Therefore φ Lip w V = sup φ Lip φ:v Z φ(y)=0 = sup φ Lip φ:v Z φ(y)=0 = sup φ Lip φ:v Z φ(y)=0 = sup φ Lip φ:v Z φ(y)=0 = max φ(w)(µ p x (w) µp y (w)) φ(w)(µ p x(w) µ p y(w)) w V φ(x) φ(x) sup j {,0,} φ A j = max j {,0,} = max j {,0,} ( p p ) + p d y d x w x w y ( p p ) + p d y d y d x d y { ( φ(x) p p ) + p } F(φ) d y d x d y { j { ( j p p ( p p d y { ( j p p d y d y φ(w) p d y w x w y ) + p } F(φ) d x d y ) + p sup F(φ) d x d y φ A j } ) + p d x d y c j w y w x φ(w) φ(w) d x φ(w) } w y w x = max{f (p),f 0 (p),f (p)}. (3.3) κ p (x,y) = max{f (p),f 0 (p),f (p)}. Since max{f (p),f 0 (p),f (p)} is the maximum of three linear functions of p, it is convex and piecewise linear in p with at most 3 linear parts, thus completing the proof. 4 Length of the last linear part Before discussing the size of the last linear part we first need the following lemma about some of the assumptions we can impose on an optimal transport plan. We then show that, if different idlenesses p < p share a joint optimal Kantorovich potential, then the Ollivier-Rici idleness function is linear on the whole interval [p,p ]. This was already mentioned in [] for the special case p =. Lemma 4.. Let µ and µ be probability measures on V. Then there exists an optimal transport plan π transporting µ to µ with the following property: For all x V with µ (x) µ (x) we have π(x,x) = µ (x). 9
10 This Lemma could be proved using Corollary.6 in [3] (Invariance of Kantorovich- Rubinstein distance under mass subtraction) but we present a proof in our much simpler context, for the reader s convenience. Proof. Let π be an optimal transport plan transporting µ to µ. Assume there exists an x V with µ (x) µ (x), but π(x,x) < µ (x). Let I = {z V \{x} : π(z,x) > 0} and O = {w V \{x} : π(x,w) > 0}. Since π is optimal, we must have I O =. Then the relavent part of π can be depicted as I O µ (x) π(x,x) µ (x) µ (x) π(x, x) µ (x) π(x,x) x We now modify π to obtain a new transport plan π as follows: I µ (x) π(x,x) µ (x) O µ (x) µ (x) x This new transport plan π is still optimal (by the triangle inequality). Note that { π π(z,z) if z x, (z,z) = µ (x) if z = x. Repeating this modification at all other vertices that violate the condition of the lemma successively gives us our required optimal transport plan. Lemma 4.. Let G = (V,E) be a locally finite graph. Let x,y V with x y. Let 0 p p. If there exists a Lipschitz function φ which is an optimal Kantorovich potential transporting µ p x to µ p y and transporting µ p x to µ p y, then W xy : [0,] R, W xy (p) = W (µ p x,µ p y), is linear on [p,p ]. Proof. Let α [0,]. The convexity of W xy, see Remark., implies that αw xy (p )+( α)w xy (p ) W xy (αp +( α)p ). It only remains to show the above inequality is in fact an equality. Observe that µ αp +( α)p x = αµ p x +( α)µp x, µ αp +( α)p y = αµ p y +( α)µ p y. 0
11 Then, setting p = αp +( α)p, we have W xy (p) w V = w V φ(w)(µ αp +( α)p x (w) µ αp +( α)p y (w)) φ(w) ( αµ p x (w)+( α)µp x (w) αµp y (w) ( α)µp y (w)) =α φ(w) ( µ p x (w) µ p y (w) ) +( α) φ(w) ( µ p x (w) µ p y (w) ) w V w V =αw xy (p )+( α)w xy (p ). Lemma ( 4.3. Let ] G = (V,E) be a locally finite graph. Let x,y V with x y and d x d y. Let p +d x,. Let φ be an optimal Kantorovich potential transporting µ p x to µ p y. Then φ(x) φ(y) =. Proof. Let π be an optimal transport plan transporting µ p x to µ p y. We may assume that π satisfies the conditions of Lemma 4.. Since p > +d x, then µ p x(y) = p < dxp d x = p = µ p y(y), therefore there exists z B (x) \ {y} such that π(z,y) > 0. If z = x then φ(x) φ(y) =, by Lemma 3.. Suppose z y and z x. Then observe that µ p x(z) = p d x p d y = µ p y(z). Thus π(z,y) = 0, by Lemma 4., which contradicts our assumption that π(z,y) > 0. The only case left to consider is z x, z y, z y. Then d(z,y) =, in which case we have φ(z) φ(y) =, by Lemma 3.. Then which implies φ(x) φ(y) =. = φ(z) φ(y) = φ(z) φ(x)+φ(x) φ(y) +φ(x) φ(y), We are now ready to prove the main theorem of this section. Theorem 4.4. Let G = (V,E) be a locally [ finite ] graph and let x,y V with x y and d x d y. Then p κ p (x,y) is linear over d, x+. Proof. Let > p 0 > d and φ be an optimal Kantorovich potential transporting x+ µp 0 x to µ p 0 y. Then, by Lemma 4.3, we have φ(x) φ(y) =. Note that any Lipschitz ψ satisfying ψ(x) ψ(y) is an optimal Kantorovich potential transporting µ x to µ y. Thus, by Lemma 4., [ p κ p ] (x,y) is linear over [p 0,]. By continuity of p κ p (x,y), this linearity extends to d, x+. Remark 4.5. Note that the above proof shows the existence a Lipschitz [ function φ with φ(x) φ(y) =, which is an optimal Kantorovich potential for all p d, x+ ]: We choose d x
12 φ to be an optimal Kantorovich potential transporting µ p 0 x to µ p 0 y for some > p 0 > d x+ and satisfying φ(x) φ(y) =, as in the proof of Theorem 4.4. Then both W xy and the function p φ(w)(µ p x(w) µ p y(w)) w V are linear over [ d,] and agree at p = p x+ 0 and p =. Therefore, they agree on the whole [ interval and, consequently, φ is an optimal Kantorovich potential for all p d, x+ ]. 5 Length of the first linear part Lemma 5.. Let G = (V,E) be a locally finite graph. Let F be as defined in equation (3.). Then sup φ Lip φ:v Z φ(x)=φ(y)=0 F(φ) = sup φ Lip φ:v Z/ φ(x)=φ(y)=0 F(φ). Proof. Pick φ 0 Lip such that φ 0 : V Z/,φ 0 (x) = φ 0 (y) = 0 and F(φ 0 ) = sup F(φ). φ Lip φ:v Z/ φ(x)=φ(y)=0 Note that φ 0 (v) = φ 0(v) + φ 0 (v), for all v V. Thus F(φ 0 ) = F( φ 0 )+F( φ 0 ). By combining this with F(φ 0 ) F( φ 0 ) and F(φ 0 ) F( φ 0 ) we obtain F(φ 0 ) = F( φ 0 ) = F( φ 0 ). Since φ 0 : V Z this completes the proof. The rest of this section is devoted to the proof of the following result. Theorem 5.. Let G = (V,E) be a locally finite graph. Let[ x,y ] V with x y and d x d y. Let l = lcm(d x,d y ). Then p κ p (x,y) is linear over 0, l+. Proof. Let F,A j,c j,f j be as defined in the proof of Theorem 3.4. In order to bound the length of the first linear part of κ p, we look at the intersection points of the functions f j. First we derive inequalities between the constants c j. Note that f j ( d y + ( for j {,0,}. We claim that f d y+ c c. We now prove the claim: ) = ) (d y +)d x c j, f j ( d y+ ). It then follows that c c 0 and
13 [ ] Note that d y+ d, x+ and that, by Remark 4.5, there exists an optimal Kantorovich potential φ at idleness d y+ with φ(x) φ(y) =. Therefore, by equation (3.3), ( ) ( ) f = W xy d y + d y + which proves the claim. { ( ) ( ) ( )} = max f,f 0,f, d y + d y + d y + Let φ j A j satisfy F(φ j ) = c j = max Aj F. Let ψ = φ +φ. Note that ψ is Lipschitz and ψ(x) = ψ(y) = 0. The function ψ may fail to be integer-valued but we note that ψ : V Z/ and so, by Lemma 5., we have ( ) φ +φ c 0 F = c +c c. (5.) Therefore c c 0 c. Let g = gcd(d x,d y ). Since the constants c j are integer linear combinations of d x and d y, we have g c j for j {,0,}. For the computation of the possible intersection points of f j, we will make use of the following simple observation. Let b > 0 and suppose that 0 a a+b. Then a > 0. Suppose that p satisfies f (p ) = f 0 (p ). Then p = d x (c 0 c ) d x d y +d x (c 0 c ). We can write c 0 c = d x Kg for some K Z. Then p = Kg d x d y +Kg = K l+k, with l = lcm(d x,d y ). Since 0 p we have K 0. Thus the smallest strictly positive intersection point is p = l+. Now suppose that p satisfies f (p ) = f 0 (p ). Then p = d x (c c 0 ) d x d y +d x (c c 0 ). We can write c c 0 = d x Kg for some K Z. Then p = Kg d x d y +Kg = K l+k. Since 0 p we have K 0. Thus the smallest strictly positive intersection point is again p = l+. Now suppose that p satisfies f (p ) = f (p ). Then f (p ) = (f (p )+f (p )) = p c +c d x d y 3 (5.) p d x d y c 0 = f 0 (p ).
14 In particular f (p ) = f (p ) = (f (p )+f (p )) f 0 (p ). Thus either f 0 (p ) > f (p ) and f 0 (p ) > f (p ), in which case there is no turning point at p, or f 0 (p ) = f (p ) = f (p ), in which case p is one of the points we have already considered. Thus p κ p (x,y) is linear over [0, l+ ]. Let us finish this section with some observations about relations between various different curvature values. Assume that d y d x. Then lcm(d x,d y ) = max(d x,d y ) and so, by Theorem., p κ p (x,y) has at most two linear parts. We can give a formula for κ p (x,y) in terms of the curvatures κ 0 (x,y) and κ(x,y) by using the fact that κ p (x,y) can change its slope only at p = d and that κ x+ = 0, κ = κ. This formula, given in the following theorem, emerges via a straightforward calculation and applies, in particular, to all regular graphs. Theorem 5.3. Let G = (V,E) be a locally finite graph. Let x,y V with x y and d y d x. Then { (d x κ(x,y) (d x +)κ 0 (x,y))p+κ 0 (x,y), if p [0, κ p (x,y) = d ], x+ ( p)κ(x,y), if p [ d,]. x+ Remark 5.4. As mentioned earlier κ,κ and κ have been studied in various articles. d+ In fact, the identity κ p (x,y) = ( p)κ(x,y) (5.) holds true at all edges (even those [ whose Ollivier-Ricci idleness function has three linear parts) and for all values p max{d, x,d y}+ ]. Equation (5.) follows from Theorem 4.4 and the fact that κ = 0, κ = κ. As a consequence, we have κ = κ = d+ d κ. d+ We end this section with a connection between κ and κ 0. Theorem 5.5. Let G = (V,E) be a locally finite graph. Let x,y V with x y and d x d y. Then κ 0 (x,y) κ(x,y) κ 0 (x,y)+ d x. Proof. The first inequality follows from the fact that the graph of a concave function lies below its tangent line at each point and that κ = 0, κ = κ : κ 0 κ +κ (0 ) = κ. Now we prove the second inequality. Let φ be a Lipschitz function with φ(y) = 0 such that W xy (0) = φ(w)(µ 0 x(w) µ 0 y(w)) = φ(x)+ φ(z) φ(z). d y d x d y w V z x z y z y z x 4
15 Then ( ) W xy d x + w V = φ(w)(µ ( d x + dx+ x (w) µ d x (d x +)d y dx+ y (w)) ) φ(x)+ d x + d x φ(z) φ(z). (d x +)d y z x z y z y z x Thus ( ) ( d x + W xy ) d x d x + d x d y φ(x)+ φ(z) φ(z) d x d y z x z y z y z x = W xy (0)+ d x φ(x) = W xy (0)+ d x (φ(x) φ(y)) since φ is Lipschitz. Therefore W xy (0) d x Finally, by (5.), κ (x,y) + dx+ d x + d x d x + W xy(0) = d x + + d x d x + ( W xy(0)) = d x + + d x d x + κ 0(x,y). κ(x,y) = d x + κ (x,y) κ 0 (x,y)+. d x dx+ d x Remark 5.6. Let G = (V,E) be a locally finite d-regular graph. Let x,y V with x y. Then by the above theorem we have κ 0 (x,y) κ(x,y) κ 0 (x,y)+ d. Furthermore, by [7], κ 0 (x,y) Z/d. Similar arguments show that κ(x,y) Z/d. Thus where C {0,,}. κ(x,y) = κ 0 (x,y)+ C d, 6 Application to the Cartesian product In [4] the authors proved the following results on the curvature of Cartesian products of graphs: 5
16 Theorem 6. ([4]). Let G = (V G,E G ) be a d G -regular graph and H = (V H,E H ) be a d H -regular graph. Let x,x V G with x x and y V H. Then d G κ G H ((x,y),(x,y)) = κ G (x,x ), κ G H 0 ((x,y),(x,y)) = d G κ G 0 (x,x ). Using our formula from Theorem 5.3, we extend this result and derive relations between the full Ollivier-Ricci idleness functions involved in the Cartesian product. Corollary.3. Let G = (V G,E G ) be a d G -regular graph and H = (V H,E H ) be a d H - regular graph. Let x,x V G with x x and y V H. Then κp G H { dg = ((x,y),(x,y)) κ G p (x,x )+ d Gd H (κ G (x,x ) κ G 0 (x,x ))p, if p [0, + ], d G κ G (x,x )( p), if p [ +,]. Proof. For ease of reading, we define κ G H p := κ G H p ((x,y),(x,y)) and κ G p := κ G p (x,x ). Let p [0, + ]. Then, by Theorem 5.3, κ G H p = (( )κ G H ( +)κ G H 0 )p+κ G H 0 d G { = ((dg +d H )κ G ( +)κ G 0 )p+κ G } 0 d G { = (dg κ G (d G +)κ G 0 d G +d )p+κg 0 H d G = κ G p d G +d + d Gd H (κ G κ G 0 H d G +d )p. H Now suppose p [ +,]. Then κ G H p = κ G H ( p) = } + d G d H (κ G κ G 0 )p d G κ G ( p). 7 Bone idleness and some open questions We finish this article with a discussion of when the Ollivier-Ricci idleness function p κ p (x,y) is globally linear for all edges. First we introduce the notion bone idle. Definition 7.. Let G = (V,E) be a locally finite graph. We say an edge x y is bone idle if κ p (x,y) = 0 for every p [0,]. We say that G is bone idle if every edge is bone idle. Remark 7.. Note that κ p (x,y) = 0 for all p [0,] if and only if κ 0 (x,y) = κ(x,y) = 0. This follows from the concavity of κ p (x,y). 6
17 It is an interesting problem to classify the graphs which are bone idle. Due to the above remark this question is closely related to various notions of Ricci flatness. The following two results allows us to classify bone idle graphs with girth at least 5. Recall that the girth of a graph is the length of its shortest non-trivial cycle. Theorem 7. ([6]). Let G = (V,E) be a locally finite graph with girth at least 5. Suppose that κ(x, y) = 0 for all x, y V with x y. Then G is isomorphic to one of the following graphs: (i) The infinite path; (ii) The cyclic graph C n for n 6; (iii) The dodecaheral graph; (iv) The Petersen graph; (v) The half-dodecahedral graph. Theorem 7.3 ([]). Let G = (V,E) be a locally finite graph with girth at least 5. Suppose that κ 0 (x,y) = 0 for all x,y V with x y. Then G is isomorphic to one of the following graphs: (i) The infinite path; (ii) The cyclic graph C n for n 6; (iii) The path P n for n ; (iv) The Star graph S n for n 3. Combining Theorems 7., 7.3 and Remark 7. gives the following: Corollary 7.4. Let G = (V,E) be a locally finite graph with girth at least 5. Suppose that G is bone idle. Then G is isomorphic to one of the following graphs: (i) The infinite path; (ii) The cyclic graph C n for n 6. Remark 7.5. Note that the above Corollary shows that there exists no bone idle graph with girth equal to 5. The full classification of bone idle graphs is still open. The condition of bone idleness of an edge x y can be weakened to only require that p κ p (x,y) is globally linear on [0,]. This is equivalent to κ 0 (x,y) = κ(x,y). It is a natural desire to understand this weaker condition better. Recall that κ κ 0. The Petersen graph has κ(x,y) = 0 and κ 0 (x,y) < 0 for all edges x y. It is thus a natural question to ask whether there exists a graph G with an edge x y satisfying κ(x,y) > 0 and κ 0 (x,y) < 0. We do not know of any such example. 7
18 Acknowledgements DC and NP thank UTSC (Hefei) and TSIMF (Sanya) for their hospitality where a lot of the above work was carried out. FM wants to thank the German National Merit Foundation for financial support. DC wants to thank the EPSRC for financial support through his postdoctoral prize. Thanks to George Stagg (Newcastle University) for his continued computing assistance. References [] B. B. Bhattacharya and S. Mukherjee, Exact and asymptotic results on coarse Ricci curvature of graphs, Discrete Math. 338 (05), 3 4. [] S. Im, H. Kim, J. Maeng, J. Yu, Y. Cha and S.H. Paeng, On the mean square displacement of a random walk on a graph, European J. Combin. 5 (006), [3] J. Jost and S. Liu, Ollivier s Ricci curvature, local clustering and curvature-dimension inequalities on graphs, Discrete Comput. Geom. 5 (04), [4] Y. Lin, L. Lu, and S.-T. Yau, Ricci curvature of graphs, Tohoku Math. J. 63 (0), [5] Y. Lin and S.-T. Yau, Ricci curvature and eigenvalue estimate on locally finite graphs, Math. Res. Lett. 7 (00), [6] Y. Lin, L. Lu, and S. T. Yau, Ricci-flat graphs with girth at least five, Comm. Anal. Geom. (04), [7] B. Loisel and P. Romon, Ricci curvature on polyhedral surfaces via optimal transportation. Axioms 3 (04), [8] M. Minoux, Mathematical programming: theory and algorithms, John Wiley & Sons, 986. [9] Y. Ollivier, Ricci curvature of Markov chains on metric spaces, J. Funct. Anal. 56 (009), [0] Y. Ollivier, C. Villani, A curved Brunn-Minkowski inequality on the discrete hypercube, or: what is the Ricci curvature of the discrete hypercube?, SIAM J. Discrete Math. 6 (0), [] S.H. Paeng, Volume and diameter of a graph and Ollivier s Ricci curvature, European J. Combin. 33 (0), [] J. D. H. Smith, Ricci curvature, circulants, and a matching condition, Discrete Math. 39 (04), [3] C. Villani, Topics in optimal transportation, American Mathematical Society,
Ollivier Ricci curvature for general graph Laplacians
for general graph Laplacians York College and the Graduate Center City University of New York 6th Cornell Conference on Analysis, Probability and Mathematical Physics on Fractals Cornell University June
More informationRICCI CURVATURE, CIRCULANTS, AND A MATCHING CONDITION
RICCI CURVATURE, CIRCULANTS, AND A MATCHING CONDITION JONATHAN D. H. SMITH Abstract. The Ricci curvature of graphs, as recently introduced by Lin, Lu, and Yau following a general concept due to Ollivier,
More informationarxiv: v2 [math.dg] 18 Nov 2016
BARY-ÉMERY CURVATURE AND DIAMETER BOUNDS ON GRAPHS SHIPING LIU, FLORENTIN MÜNCH, AND NORBERT PEYERIMHOFF arxiv:168.7778v [math.dg] 18 Nov 16 Abstract. We prove diameter bounds for graphs having a positive
More informationarxiv: v1 [math.co] 27 Jul 2012
Harnack inequalities for graphs with non-negative Ricci curvature arxiv:1207.6612v1 [math.co] 27 Jul 2012 Fan Chung University of California, San Diego S.-T. Yau Harvard University May 2, 2014 Abstract
More informationarxiv: v1 [math.co] 14 Apr 2012
arxiv:1204.3168v1 [math.co] 14 Apr 2012 A brief review on geometry and spectrum of graphs 1 Introduction Yong Lin April 12, 2012 Shing-Tung Yau This is a survey paper. We study the Ricci curvature and
More informationarxiv: v2 [math.co] 2 Jul 2013
OLLIVIER-RICCI CURVATURE AND THE SPECTRUM OF THE NORMALIZED GRAPH LAPLACE OPERATOR FRANK BAUER, JÜRGEN JOST, AND SHIPING LIU arxiv:11053803v2 [mathco] 2 Jul 2013 Abstract We prove the following estimate
More informationarxiv: v1 [math.co] 1 Jan 2013
Ricci-flat graphs with girth at least five arxiv:1301.0102v1 [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
More informationMax-Planck-Institut für Mathematik in den Naturwissenschaften Leipzig
Max-Planck-Institut für Mathematik in den Naturwissenschaften Leipzig Generalized Ricci curvature and the geometry of graphs by Frank Bauer, Bobo Hua, Jürgen Jost, and Shiping Liu Preprint no.: 26 205
More informationPartial cubes: structures, characterizations, and constructions
Partial cubes: structures, characterizations, and constructions Sergei Ovchinnikov San Francisco State University, Mathematics Department, 1600 Holloway Ave., San Francisco, CA 94132 Abstract Partial cubes
More informationLocal semiconvexity of Kantorovich potentials on non-compact manifolds
Local semiconvexity of Kantorovich potentials on non-compact manifolds Alessio Figalli, Nicola Gigli Abstract We prove that any Kantorovich potential for the cost function c = d / on a Riemannian manifold
More informationDiscrete Ricci curvature via convexity of the entropy
Discrete Ricci curvature via convexity of the entropy Jan Maas University of Bonn Joint work with Matthias Erbar Simons Institute for the Theory of Computing UC Berkeley 2 October 2013 Starting point McCann
More informationCharacterization of Self-Polar Convex Functions
Characterization of Self-Polar Convex Functions Liran Rotem School of Mathematical Sciences, Tel-Aviv University, Tel-Aviv 69978, Israel Abstract In a work by Artstein-Avidan and Milman the concept of
More information2.2 Some Consequences of the Completeness Axiom
60 CHAPTER 2. IMPORTANT PROPERTIES OF R 2.2 Some Consequences of the Completeness Axiom In this section, we use the fact that R is complete to establish some important results. First, we will prove that
More informationCS229T/STATS231: Statistical Learning Theory. Lecturer: Tengyu Ma Lecture 11 Scribe: Jongho Kim, Jamie Kang October 29th, 2018
CS229T/STATS231: Statistical Learning Theory Lecturer: Tengyu Ma Lecture 11 Scribe: Jongho Kim, Jamie Kang October 29th, 2018 1 Overview This lecture mainly covers Recall the statistical theory of GANs
More informationA NOTION OF NONPOSITIVE CURVATURE FOR GENERAL METRIC SPACES
A NOTION OF NONPOSITIVE CURVATURE FOR GENERAL METRIC SPACES MIROSLAV BAČÁK, BOBO HUA, JÜRGEN JOST, MARTIN KELL, AND ARMIN SCHIKORRA Abstract. We introduce a new definition of nonpositive curvature in metric
More informationSpaces with Ricci curvature bounded from below
Spaces with Ricci curvature bounded from below Nicola Gigli February 23, 2015 Topics 1) On the definition of spaces with Ricci curvature bounded from below 2) Analytic properties of RCD(K, N) spaces 3)
More informationAverage degrees of edge-chromatic critical graphs
Average degrees of edge-chromatic critical graphs Yan Cao a,guantao Chen a, Suyun Jiang b,c, Huiqing Liu d, Fuliang Lu e a Department of Mathematics and Statistics, Georgia State University, Atlanta, GA
More informationMetric Space Topology (Spring 2016) Selected Homework Solutions. HW1 Q1.2. Suppose that d is a metric on a set X. Prove that the inequality d(x, y)
Metric Space Topology (Spring 2016) Selected Homework Solutions HW1 Q1.2. Suppose that d is a metric on a set X. Prove that the inequality d(x, y) d(z, w) d(x, z) + d(y, w) holds for all w, x, y, z X.
More informationDiscrete Ricci curvature: Open problems
Discrete Ricci curvature: Open problems Yann Ollivier, May 2008 Abstract This document lists some open problems related to the notion of discrete Ricci curvature defined in [Oll09, Oll07]. Do not hesitate
More informationA new proof of Gromov s theorem on groups of polynomial growth
A new proof of Gromov s theorem on groups of polynomial growth Bruce Kleiner Courant Institute NYU Groups as geometric objects Let G a group with a finite generating set S G. Assume that S is symmetric:
More informationCitation Osaka Journal of Mathematics. 49(3)
Title ON POSITIVE QUATERNIONIC KÄHLER MAN WITH b_4=1 Author(s) Kim, Jin Hong; Lee, Hee Kwon Citation Osaka Journal of Mathematics. 49(3) Issue 2012-09 Date Text Version publisher URL http://hdl.handle.net/11094/23146
More informationEmbeddings of finite metric spaces in Euclidean space: a probabilistic view
Embeddings of finite metric spaces in Euclidean space: a probabilistic view Yuval Peres May 11, 2006 Talk based on work joint with: Assaf Naor, Oded Schramm and Scott Sheffield Definition: An invertible
More informationBichain graphs: geometric model and universal graphs
Bichain graphs: geometric model and universal graphs Robert Brignall a,1, Vadim V. Lozin b,, Juraj Stacho b, a Department of Mathematics and Statistics, The Open University, Milton Keynes MK7 6AA, United
More informationADJACENT VERTEX DISTINGUISHING TOTAL COLORING OF GRAPHS WITH LOWER AVERAGE DEGREE. Weifan Wang and Yiqiao Wang
TAIWANESE JOURNAL OF MATHEMATICS Vol. 12, No. 4, pp. 979-990, July 2008 This paper is available online at http://www.tjm.nsysu.edu.tw/ ADJACENT VERTEX DISTINGUISHING TOTAL COLORING OF GRAPHS WITH LOWER
More informationProperly forking formulas in Urysohn spaces
Properly forking formulas in Urysohn spaces Gabriel Conant University of Notre Dame gconant@nd.edu March 4, 2016 Abstract In this informal note, we demonstrate the existence of forking and nondividing
More informationIntroduction to Real Analysis Alternative Chapter 1
Christopher Heil Introduction to Real Analysis Alternative Chapter 1 A Primer on Norms and Banach Spaces Last Updated: March 10, 2018 c 2018 by Christopher Heil Chapter 1 A Primer on Norms and Banach Spaces
More informationDedicated to Professor Linda Rothchild on the occasion of her 60th birthday
REARKS ON THE HOOGENEOUS COPLEX ONGE-APÈRE EQUATION PENGFEI GUAN Dedicated to Professor Linda Rothchild on the occasion of her 60th birthday This short note concerns the homogeneous complex onge-ampère
More informationLogarithmic Harnack inequalities
Logarithmic Harnack inequalities F. R. K. Chung University of Pennsylvania Philadelphia, Pennsylvania 19104 S.-T. Yau Harvard University Cambridge, assachusetts 02138 1 Introduction We consider the relationship
More informationDiscrete Geometry. Problem 1. Austin Mohr. April 26, 2012
Discrete Geometry Austin Mohr April 26, 2012 Problem 1 Theorem 1 (Linear Programming Duality). Suppose x, y, b, c R n and A R n n, Ax b, x 0, A T y c, and y 0. If x maximizes c T x and y minimizes b T
More informationLecture 4 Lebesgue spaces and inequalities
Lecture 4: Lebesgue spaces and inequalities 1 of 10 Course: Theory of Probability I Term: Fall 2013 Instructor: Gordan Zitkovic Lecture 4 Lebesgue spaces and inequalities Lebesgue spaces We have seen how
More informationTopology. Xiaolong Han. Department of Mathematics, California State University, Northridge, CA 91330, USA address:
Topology Xiaolong Han Department of Mathematics, California State University, Northridge, CA 91330, USA E-mail address: Xiaolong.Han@csun.edu Remark. You are entitled to a reward of 1 point toward a homework
More informationDavid Hilbert was old and partly deaf in the nineteen thirties. Yet being a diligent
Chapter 5 ddddd dddddd dddddddd ddddddd dddddddd ddddddd Hilbert Space The Euclidean norm is special among all norms defined in R n for being induced by the Euclidean inner product (the dot product). A
More informationON THE REGULARITY OF SAMPLE PATHS OF SUB-ELLIPTIC DIFFUSIONS ON MANIFOLDS
Bendikov, A. and Saloff-Coste, L. Osaka J. Math. 4 (5), 677 7 ON THE REGULARITY OF SAMPLE PATHS OF SUB-ELLIPTIC DIFFUSIONS ON MANIFOLDS ALEXANDER BENDIKOV and LAURENT SALOFF-COSTE (Received March 4, 4)
More informationINVERSE FUNCTION THEOREM and SURFACES IN R n
INVERSE FUNCTION THEOREM and SURFACES IN R n Let f C k (U; R n ), with U R n open. Assume df(a) GL(R n ), where a U. The Inverse Function Theorem says there is an open neighborhood V U of a in R n so that
More informationDisplacement convexity of the relative entropy in the discrete h
Displacement convexity of the relative entropy in the discrete hypercube LAMA Université Paris Est Marne-la-Vallée Phenomena in high dimensions in geometric analysis, random matrices, and computational
More informationThe Generalised Randić Index of Trees
The Generalised Randić Index of Trees Paul Balister Béla Bollobás Stefanie Gerke December 10, 2006 Abstract The Generalised Randić index R α (T ) of a tree T is the sum over the edges uv of T of (d(u)d(v))
More informationOLLIVIER RICCI CURVATURE AND THE SPECTRUM OF THE NORMALIZED GRAPH LAPLACE OPERATOR
Math Res Lett 19 (2012), no 06, 1185 1205 c International Press 2012 OLLIVIER RICCI CURVATURE AND THE SPECTRUM OF THE NORMALIZED GRAPH LAPLACE OPERATOR Frank Bauer, Jürgen Jost and Shiping Liu Abstract
More informationEXISTENCE RESULTS FOR QUASILINEAR HEMIVARIATIONAL INEQUALITIES AT RESONANCE. Leszek Gasiński
DISCRETE AND CONTINUOUS Website: www.aimsciences.org DYNAMICAL SYSTEMS SUPPLEMENT 2007 pp. 409 418 EXISTENCE RESULTS FOR QUASILINEAR HEMIVARIATIONAL INEQUALITIES AT RESONANCE Leszek Gasiński Jagiellonian
More informationMetric Spaces and Topology
Chapter 2 Metric Spaces and Topology From an engineering perspective, the most important way to construct a topology on a set is to define the topology in terms of a metric on the set. This approach underlies
More information5.5 Deeper Properties of Continuous Functions
5.5. DEEPER PROPERTIES OF CONTINUOUS FUNCTIONS 195 5.5 Deeper Properties of Continuous Functions 5.5.1 Intermediate Value Theorem and Consequences When one studies a function, one is usually interested
More information- Well-characterized problems, min-max relations, approximate certificates. - LP problems in the standard form, primal and dual linear programs
LP-Duality ( Approximation Algorithms by V. Vazirani, Chapter 12) - Well-characterized problems, min-max relations, approximate certificates - LP problems in the standard form, primal and dual linear programs
More informationMath 127C, Spring 2006 Final Exam Solutions. x 2 ), g(y 1, y 2 ) = ( y 1 y 2, y1 2 + y2) 2. (g f) (0) = g (f(0))f (0).
Math 27C, Spring 26 Final Exam Solutions. Define f : R 2 R 2 and g : R 2 R 2 by f(x, x 2 (sin x 2 x, e x x 2, g(y, y 2 ( y y 2, y 2 + y2 2. Use the chain rule to compute the matrix of (g f (,. By the chain
More information1.3 Vertex Degrees. Vertex Degree for Undirected Graphs: Let G be an undirected. Vertex Degree for Digraphs: Let D be a digraph and y V (D).
1.3. VERTEX DEGREES 11 1.3 Vertex Degrees Vertex Degree for Undirected Graphs: Let G be an undirected graph and x V (G). The degree d G (x) of x in G: the number of edges incident with x, each loop counting
More informationPerfect matchings in highly cyclically connected regular graphs
Perfect matchings in highly cyclically connected regular graphs arxiv:1709.08891v1 [math.co] 6 Sep 017 Robert Lukot ka Comenius University, Bratislava lukotka@dcs.fmph.uniba.sk Edita Rollová University
More informationBasic Properties of Metric and Normed Spaces
Basic Properties of Metric and Normed Spaces Computational and Metric Geometry Instructor: Yury Makarychev The second part of this course is about metric geometry. We will study metric spaces, low distortion
More information6.2 Deeper Properties of Continuous Functions
6.2. DEEPER PROPERTIES OF CONTINUOUS FUNCTIONS 69 6.2 Deeper Properties of Continuous Functions 6.2. Intermediate Value Theorem and Consequences When one studies a function, one is usually interested in
More informationOn Projective Planes
C-UPPSATS 2002:02 TFM, Mid Sweden University 851 70 Sundsvall Tel: 060-14 86 00 On Projective Planes 1 2 7 4 3 6 5 The Fano plane, the smallest projective plane. By Johan Kåhrström ii iii Abstract It was
More informationarxiv: v1 [cs.ds] 2 Oct 2018
Contracting to a Longest Path in H-Free Graphs Walter Kern 1 and Daniël Paulusma 2 1 Department of Applied Mathematics, University of Twente, The Netherlands w.kern@twente.nl 2 Department of Computer Science,
More informationThe Generalised Randić Index of Trees
The Generalised Randić Index of Trees Paul Balister Béla Bollobás Stefanie Gerke January 18, 2007 Abstract The Generalised Randić index R α (T) of a tree T is the sum over the edges uv of T of (d(u)d(v))
More informationarxiv: v1 [math.co] 7 Aug 2017
Locally Searching for Large Induced Matchings Maximilian Fürst, Marilena Leichter, Dieter Rautenbach arxiv:1708.008v1 [math.co] 7 Aug 017 Institut für Optimierung und Operations Research, Universität Ulm,
More informationCycles in 4-Connected Planar Graphs
Cycles in 4-Connected Planar Graphs Guantao Chen Department of Mathematics & Statistics Georgia State University Atlanta, GA 30303 matgcc@panther.gsu.edu Genghua Fan Institute of Systems Science Chinese
More informationON TWO-DIMENSIONAL MINIMAL FILLINGS. S. V. Ivanov
ON TWO-DIMENSIONAL MINIMAL FILLINGS S. V. Ivanov Abstract. We consider Riemannian metrics in the two-dimensional disk D (with boundary). We prove that, if a metric g 0 is such that every two interior points
More informationThe Singapore Copyright Act applies to the use of this document.
Title On graphs whose low polynomials have real roots only Author(s) Fengming Dong Source Electronic Journal of Combinatorics, 25(3): P3.26 Published by Electronic Journal of Combinatorics This document
More informationCommutative Banach algebras 79
8. Commutative Banach algebras In this chapter, we analyze commutative Banach algebras in greater detail. So we always assume that xy = yx for all x, y A here. Definition 8.1. Let A be a (commutative)
More informationStrong oriented chromatic number of planar graphs without short cycles
Discrete Mathematics and Theoretical Computer Science DMTCS vol. 10:1, 008, 1 4 Strong oriented chromatic number of planar graphs without short cycles Mickaël Montassier 1, Pascal Ochem, and Alexandre
More informationLecture 7: Semidefinite programming
CS 766/QIC 820 Theory of Quantum Information (Fall 2011) Lecture 7: Semidefinite programming This lecture is on semidefinite programming, which is a powerful technique from both an analytic and computational
More informationCAYLEY NUMBERS WITH ARBITRARILY MANY DISTINCT PRIME FACTORS arxiv: v1 [math.co] 17 Sep 2015
CAYLEY NUMBERS WITH ARBITRARILY MANY DISTINCT PRIME FACTORS arxiv:1509.05221v1 [math.co] 17 Sep 2015 TED DOBSON AND PABLO SPIGA Abstract. A positive integer n is a Cayley number if every vertex-transitive
More informationThe geometry of secants in embedded polar spaces
The geometry of secants in embedded polar spaces Hans Cuypers Department of Mathematics Eindhoven University of Technology P.O. Box 513 5600 MB Eindhoven The Netherlands June 1, 2006 Abstract Consider
More informationCombined degree and connectivity conditions for H-linked graphs
Combined degree and connectivity conditions for H-linked graphs FLORIAN PFENDER Universität Rostock Institut für Mathematik D-18055 Rostock, Germany Florian.Pfender@uni-rostock.de Abstract For a given
More informationThree-coloring triangle-free graphs on surfaces V. Coloring planar graphs with distant anomalies
Three-coloring triangle-free graphs on surfaces V. Coloring planar graphs with distant anomalies Zdeněk Dvořák Daniel Král Robin Thomas Abstract We settle a problem of Havel by showing that there exists
More informationChapter 4. Inverse Function Theorem. 4.1 The Inverse Function Theorem
Chapter 4 Inverse Function Theorem d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d dd d d d d This chapter
More informationCourse 212: Academic Year Section 1: Metric Spaces
Course 212: Academic Year 1991-2 Section 1: Metric Spaces D. R. Wilkins Contents 1 Metric Spaces 3 1.1 Distance Functions and Metric Spaces............. 3 1.2 Convergence and Continuity in Metric Spaces.........
More informationLecture Notes in Real Analysis Anant R. Shastri Department of Mathematics Indian Institute of Technology Bombay
Lecture Notes in Real Analysis 2010 Anant R. Shastri Department of Mathematics Indian Institute of Technology Bombay August 6, 2010 Lectures 1-3 (I-week) Lecture 1 Why real numbers? Example 1 Gaps in the
More informationOn the connectivity of the direct product of graphs
AUSTRALASIAN JOURNAL OF COMBINATORICS Volume 41 (2008), Pages 45 56 On the connectivity of the direct product of graphs Boštjan Brešar University of Maribor, FEECS Smetanova 17, 2000 Maribor Slovenia bostjan.bresar@uni-mb.si
More informationarxiv: v1 [math.co] 25 Dec 2017
Planar graphs without -cycles adjacent to triangles are DP--colorable Seog-Jin Kim and Xiaowei Yu arxiv:1712.08999v1 [math.co] 25 Dec 2017 December 27, 2017 Abstract DP-coloring (also known as correspondence
More informationMaths 212: Homework Solutions
Maths 212: Homework Solutions 1. The definition of A ensures that x π for all x A, so π is an upper bound of A. To show it is the least upper bound, suppose x < π and consider two cases. If x < 1, then
More informationGEOMETRIC APPROACH TO CONVEX SUBDIFFERENTIAL CALCULUS October 10, Dedicated to Franco Giannessi and Diethard Pallaschke with great respect
GEOMETRIC APPROACH TO CONVEX SUBDIFFERENTIAL CALCULUS October 10, 2018 BORIS S. MORDUKHOVICH 1 and NGUYEN MAU NAM 2 Dedicated to Franco Giannessi and Diethard Pallaschke with great respect Abstract. In
More informationON DOMINATING THE CARTESIAN PRODUCT OF A GRAPH AND K 2. Bert L. Hartnell
Discussiones Mathematicae Graph Theory 24 (2004 ) 389 402 ON DOMINATING THE CARTESIAN PRODUCT OF A GRAPH AND K 2 Bert L. Hartnell Saint Mary s University Halifax, Nova Scotia, Canada B3H 3C3 e-mail: bert.hartnell@smu.ca
More informationAnalysis II - few selective results
Analysis II - few selective results Michael Ruzhansky December 15, 2008 1 Analysis on the real line 1.1 Chapter: Functions continuous on a closed interval 1.1.1 Intermediate Value Theorem (IVT) Theorem
More informationRelationships between cycles spaces, gain graphs, coverings, path homology, and graph curvature
Relationships between cycles spaces, gain graphs, coverings, path homology, and graph curvature Mark Kempton Florentin Münch Shing-Tung Yau September 12, 2017 Abstract We prove a homology vanishing theorem
More informationDiscrete transport problems and the concavity of entropy
Discrete transport problems and the concavity of entropy Bristol Probability and Statistics Seminar, March 2014 Funded by EPSRC Information Geometry of Graphs EP/I009450/1 Paper arxiv:1303.3381 Motivating
More informationHypercube Coloring and the Structure of Binary Codes
Hypercube Coloring and the Structure of Binary Codes by James Gregory Rix A THESIS SUBMITTED IN PARTIAL FULFILLMENT OF THE REQUIREMENTS FOR THE DEGREE OF MASTER OF SCIENCE in The College of Graduate Studies
More informationA simplified discharging proof of Grötzsch theorem
A simplified discharging proof of Grötzsch theorem Zdeněk Dvořák November 29, 2013 Abstract In this note, we combine ideas of several previous proofs in order to obtain a quite short proof of Grötzsch
More informationarxiv: v2 [math.mg] 14 Apr 2014
An intermediate quasi-isometric invariant between subexponential asymptotic dimension growth and Yu s Property A arxiv:404.358v2 [math.mg] 4 Apr 204 Izhar Oppenheim Department of Mathematics The Ohio State
More informationTHE ASYMPTOTIC BEHAVIOUR OF HEEGAARD GENUS
THE ASYMPTOTIC BEHAVIOUR OF HEEGAARD GENUS MARC LACKENBY 1. Introduction Heegaard splittings have recently been shown to be related to a number of important conjectures in 3-manifold theory: the virtually
More informationarxiv: v1 [cs.dm] 26 Apr 2010
A Simple Polynomial Algorithm for the Longest Path Problem on Cocomparability Graphs George B. Mertzios Derek G. Corneil arxiv:1004.4560v1 [cs.dm] 26 Apr 2010 Abstract Given a graph G, the longest path
More informationDiscrete Mathematics
Discrete Mathematics 3 (0) 333 343 Contents lists available at ScienceDirect Discrete Mathematics journal homepage: wwwelseviercom/locate/disc The Randić index and the diameter of graphs Yiting Yang a,
More informationProblem Set 2: Solutions Math 201A: Fall 2016
Problem Set 2: s Math 201A: Fall 2016 Problem 1. (a) Prove that a closed subset of a complete metric space is complete. (b) Prove that a closed subset of a compact metric space is compact. (c) Prove that
More informationLYAPUNOV STABILITY OF CLOSED SETS IN IMPULSIVE SEMIDYNAMICAL SYSTEMS
Electronic Journal of Differential Equations, Vol. 2010(2010, No. 78, pp. 1 18. ISSN: 1072-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu LYAPUNOV STABILITY
More informationFine Structure of 4-Critical Triangle-Free Graphs II. Planar Triangle-Free Graphs with Two Precolored 4-Cycles
Mathematics Publications Mathematics 2017 Fine Structure of 4-Critical Triangle-Free Graphs II. Planar Triangle-Free Graphs with Two Precolored 4-Cycles Zdeněk Dvořák Charles University Bernard Lidicky
More informationarxiv: v1 [cs.dm] 29 Oct 2012
arxiv:1210.7684v1 [cs.dm] 29 Oct 2012 Square-Root Finding Problem In Graphs, A Complete Dichotomy Theorem. Babak Farzad 1 and Majid Karimi 2 Department of Mathematics Brock University, St. Catharines,
More informationCOMPLETION OF A METRIC SPACE
COMPLETION OF A METRIC SPACE HOW ANY INCOMPLETE METRIC SPACE CAN BE COMPLETED REBECCA AND TRACE Given any incomplete metric space (X,d), ( X, d X) a completion, with (X,d) ( X, d X) where X complete, and
More informationFIVE-LIST-COLORING GRAPHS ON SURFACES II. A LINEAR BOUND FOR CRITICAL GRAPHS IN A DISK
FIVE-LIST-COLORING GRAPHS ON SURFACES II. A LINEAR BOUND FOR CRITICAL GRAPHS IN A DISK Luke Postle 1 Department of Combinatorics and Optimization University of Waterloo Waterloo, ON Canada N2L 3G1 and
More informationTechnische Universität Graz
Technische Universität Graz Stability of the Laplace single layer boundary integral operator in Sobolev spaces O. Steinbach Berichte aus dem Institut für Numerische Mathematik Bericht 2016/2 Technische
More informationMinimal Paths and Cycles in Set Systems
Minimal Paths and Cycles in Set Systems Dhruv Mubayi Jacques Verstraëte July 9, 006 Abstract A minimal k-cycle is a family of sets A 0,..., A k 1 for which A i A j if and only if i = j or i and j are consecutive
More informationIntroduction to Correspondences
Division of the Humanities and Social Sciences Introduction to Correspondences KC Border September 2010 Revised November 2013 In these particular notes, all spaces are metric spaces. The set of extended
More informationAPPROXIMATE YANG MILLS HIGGS METRICS ON FLAT HIGGS BUNDLES OVER AN AFFINE MANIFOLD. 1. Introduction
APPROXIMATE YANG MILLS HIGGS METRICS ON FLAT HIGGS BUNDLES OVER AN AFFINE MANIFOLD INDRANIL BISWAS, JOHN LOFTIN, AND MATTHIAS STEMMLER Abstract. Given a flat Higgs vector bundle (E,, ϕ) over a compact
More informationarxiv: v1 [math.co] 28 Oct 2016
More on foxes arxiv:1610.09093v1 [math.co] 8 Oct 016 Matthias Kriesell Abstract Jens M. Schmidt An edge in a k-connected graph G is called k-contractible if the graph G/e obtained from G by contracting
More informationCS-E4830 Kernel Methods in Machine Learning
CS-E4830 Kernel Methods in Machine Learning Lecture 3: Convex optimization and duality Juho Rousu 27. September, 2017 Juho Rousu 27. September, 2017 1 / 45 Convex optimization Convex optimisation This
More informationMath 104: Homework 7 solutions
Math 04: Homework 7 solutions. (a) The derivative of f () = is f () = 2 which is unbounded as 0. Since f () is continuous on [0, ], it is uniformly continous on this interval by Theorem 9.2. Hence for
More informationUNIFORM EMBEDDINGS OF BOUNDED GEOMETRY SPACES INTO REFLEXIVE BANACH SPACE
UNIFORM EMBEDDINGS OF BOUNDED GEOMETRY SPACES INTO REFLEXIVE BANACH SPACE NATHANIAL BROWN AND ERIK GUENTNER ABSTRACT. We show that every metric space with bounded geometry uniformly embeds into a direct
More informationarxiv: v1 [math.co] 29 Jul 2010
RADIO NUMBERS FOR GENERALIZED PRISM GRAPHS PAUL MARTINEZ, JUAN ORTIZ, MAGGY TOMOVA, AND CINDY WYELS arxiv:1007.5346v1 [math.co] 29 Jul 2010 Abstract. A radio labeling is an assignment c : V (G) N such
More informationLECTURE 15: COMPLETENESS AND CONVEXITY
LECTURE 15: COMPLETENESS AND CONVEXITY 1. The Hopf-Rinow Theorem Recall that a Riemannian manifold (M, g) is called geodesically complete if the maximal defining interval of any geodesic is R. On the other
More informationOn the difference between the revised Szeged index and the Wiener index
On the difference between the revised Szeged index and the Wiener index Sandi Klavžar a,b,c M J Nadjafi-Arani d June 3, 01 a Faculty of Mathematics and Physics, University of Ljubljana, Slovenia sandiklavzar@fmfuni-ljsi
More informationTHE RADIO NUMBERS OF ALL GRAPHS OF ORDER n AND DIAMETER n 2
LE MATEMATICHE Vol LXVIII (2013) Fasc II, pp 167 190 doi: 104418/201368213 THE RADIO NUMBERS OF ALL GRAPHS OF ORDER n AND DIAMETER n 2 K F BENSON - M PORTER - M TOMOVA A radio labeling of a simple connected
More informationVariational inequalities for set-valued vector fields on Riemannian manifolds
Variational inequalities for set-valued vector fields on Riemannian manifolds Chong LI Department of Mathematics Zhejiang University Joint with Jen-Chih YAO Chong LI (Zhejiang University) VI on RM 1 /
More informationE. The Hahn-Banach Theorem
E. The Hahn-Banach Theorem This Appendix contains several technical results, that are extremely useful in Functional Analysis. The following terminology is useful in formulating the statements. Definitions.
More informationOn disconnected cuts and separators
On disconnected cuts and separators Takehiro Ito 1, Marcin Kamiński 2, Daniël Paulusma 3 and Dimitrios M. Thilikos 4 1 Graduate School of Information Sciences, Tohoku University, Aoba-yama 6-6-05, Sendai,
More informationGraph Theory. Thomas Bloom. February 6, 2015
Graph Theory Thomas Bloom February 6, 2015 1 Lecture 1 Introduction A graph (for the purposes of these lectures) is a finite set of vertices, some of which are connected by a single edge. Most importantly,
More informationStructure of R. Chapter Algebraic and Order Properties of R
Chapter Structure of R We will re-assemble calculus by first making assumptions about the real numbers. All subsequent results will be rigorously derived from these assumptions. Most of the assumptions
More information