Displacement convexity of the relative entropy in the discrete h
|
|
- Iris Lamb
- 5 years ago
- Views:
Transcription
1 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 geometry Roscoff, June 2012
2 General problem (X, d) a complete separable metric space.
3 General problem (X, d) a complete separable metric space. Definition [Relative entropy] Let µ, ν be two Borel probability measures on X H(ν µ) := log dν dµ dν if ν is absolutely continuous with respect to µ (otherwise we set H(ν µ) = ).
4 General problem (X, d) a complete separable metric space. Definition [Relative entropy] Let µ, ν be two Borel probability measures on X H(ν µ) := log dν dµ dν if ν is absolutely continuous with respect to µ (otherwise we set H(ν µ) = ). The map ν H(ν µ) is always convex in the usual sense: H((1 t)ν 0 + tν 1 µ) (1 t)h(ν 0 µ) + th(ν 1 µ), t [0, 1].
5 General problem (X, d) a complete separable metric space. Definition [Relative entropy] Let µ, ν be two Borel probability measures on X H(ν µ) := log dν dµ dν if ν is absolutely continuous with respect to µ (otherwise we set H(ν µ) = ). The map ν H(ν µ) is always convex in the usual sense: H((1 t)ν 0 + tν 1 µ) (1 t)h(ν 0 µ) + th(ν 1 µ), t [0, 1]. Problem: Examine the convexity of H along other types of paths (ν t) t [0,1] interpolating between ν 0 and ν 1.
6 General problem (X, d) a complete separable metric space. Definition [Relative entropy] Let µ, ν be two Borel probability measures on X H(ν µ) := log dν dµ dν if ν is absolutely continuous with respect to µ (otherwise we set H(ν µ) = ). The map ν H(ν µ) is always convex in the usual sense: H((1 t)ν 0 + tν 1 µ) (1 t)h(ν 0 µ) + th(ν 1 µ), t [0, 1]. Problem: Examine the convexity of H along other types of paths (ν t) t [0,1] interpolating between ν 0 and ν 1. Convexity along geodesics of the Wasserstein W 2 distance has connections with curvature of the underlying space and functional inequalities (Log-Sobolev, Talagrand) or Brunn-Minkowski type inequalities.
7 Outline Based on a joint work in progress with C. Roberto, P-M Samson and P. Tetali I. Displacement convexity of the entropy in a continuous setting. Link with curvature and functional inequalities. II. Displacement convexity in discrete setting. General framework and the example of the discrete hypercube.
8 I. Displacement convexity of the entropy in a continuous setting.
9 Geodesic spaces A metric space (E, d) is said geodesic if for all x 0, x 1 E there is at least one path γ : [0, 1] E such that γ(0) = x 0 and γ(1) = x 1 and d(γ(s), γ(t)) = t s d(x 0, x 1), t, s [0, 1]. Such a path is called a constant speed geodesic between x 0 and x 1.
10 Geodesics in the Wasserstein space Let P p(x ), p 1, be the set of Borel probability measures having a finite p-th moment. Definition [L p-wasserstein distance] Let ν 0, ν 1 P p(x ); W p p (ν 0, ν 1) = inf π P(ν 0,ν 1 ) where P(ν 0, ν 1) is the set of couplings of ν 0 and ν 1. d p (x 0, x 1) π(dx 0dx 1),
11 Geodesics in the Wasserstein space Let P p(x ), p 1, be the set of Borel probability measures having a finite p-th moment. Definition [L p-wasserstein distance] Let ν 0, ν 1 P p(x ); W p p (ν 0, ν 1) = inf π P(ν 0,ν 1 ) where P(ν 0, ν 1) is the set of couplings of ν 0 and ν 1. d p (x 0, x 1) π(dx 0dx 1), Theorem If p > 1, the space (P p(x ), W p) is geodesic if and only if (X, d) is geodesic.
12 Displacement convexity of the entropy and the Bakry-Emery criterion Theorem Let (M, g) be a complete connected Riemannian manifold and suppose that µ P(M) is absolutely continuous with µ(dx) = e V (x) dx. The following are equivalent: 1 µ verifies the CD(K, ) condition, for some K R: Ric + Hess V Kg 2 The relative entropy functional is K-displacement convex with respect to the W 2 metric: for all ν 0, ν 1 P 2(M), absolutely continuous with respect to µ, there is a W 2-geodesic (ν t) t [0,1] connecting ν 0 to ν 1 such that H(ν t µ) (1 t)h(ν 0 µ)+th(ν 1 µ) K t(1 t) W2 2 (ν 0, ν 1), t [0, 1] 2 Mc Cann, Cordero-McCann-Schmuckenschläger, Sturm-Von Renesse, Lott-Villani, Sturm.
13 Consequences 1. This equivalence sets the ground of a possible definition of the condition CD(K, ) on geodesic spaces (Lott-Sturm-Villani).
14 Consequences 1. This equivalence sets the ground of a possible definition of the condition CD(K, ) on geodesic spaces (Lott-Sturm-Villani). 2. Brunn-Minkowski type inequalities. Suppose K 0, then µ([a, B] t) µ(a) 1 t µ(b) t e Kt(1 t) d 2 2 (A,B), t [0, 1], where [A, B] t = {x M; (a, b) A B, d(x, a) = (1 t)d(a, b) and d(x, b) = td(a, b)}.
15 Consequences 1. This equivalence sets the ground of a possible definition of the condition CD(K, ) on geodesic spaces (Lott-Sturm-Villani). 2. Brunn-Minkowski type inequalities. Suppose K 0, then µ([a, B] t) µ(a) 1 t µ(b) t e Kt(1 t) d 2 2 (A,B), t [0, 1], where [A, B] t = {x M; (a, b) A B, d(x, a) = (1 t)d(a, b) and d(x, b) = td(a, b)}. 3. Talagrand s inequality. Suppose K > 0, then W 2 2 (ν 0, µ) 2 K H(ν0 µ), ν0 P2(M).
16 Consequences 1. This equivalence sets the ground of a possible definition of the condition CD(K, ) on geodesic spaces (Lott-Sturm-Villani). 2. Brunn-Minkowski type inequalities. Suppose K 0, then µ([a, B] t) µ(a) 1 t µ(b) t e Kt(1 t) d 2 2 (A,B), t [0, 1], where [A, B] t = {x M; (a, b) A B, d(x, a) = (1 t)d(a, b) and d(x, b) = td(a, b)}. 3. Talagrand s inequality. Suppose K > 0, then W 2 2 (ν 0, µ) 2 K H(ν0 µ), ν0 P2(M). 4. HWI inequality. Suppose K R, then H(ν 0 µ) I (ν 0 µ)w 2(ν 0, µ) K 2 W 2 2 (ν 0, µ), ν 0 P 2(M), where the Fisher information is defined by h 2 I (ν µ) = dµ, h ν = hµ.
17 5. Log-Sobolev inequality. Suppose K > 0, then H(ν 0 µ) 2 K I (ν0 µ), ν0.
18 5. Log-Sobolev inequality. Suppose K > 0, then H(ν 0 µ) 2 K I (ν0 µ), ν0. 6. Prekopa-Leindler type inequalities. Suppose K R, and fix t (0, 1). If f, g, h : M R are such that h(z) (1 t)f (x)+tg(y) then ( e h(z) µ(dz) Kt(1 t) d 2 (x, y), 2 ) 1 t ( e f (x) µ(dx) x, y M, z [x, y] t ) t e g(y) µ(dy)
19 II. Displacement convexity of the entropy in a discrete setting.
20 Extension to discrete setting Question: Is it possible to extend this theory to discrete settings, for example finite graphs?
21 Extension to discrete setting Question: Is it possible to extend this theory to discrete settings, for example finite graphs? Two obstructions: Talagrand s inequality W 2 2 (ν 0, µ) CsteH(ν 0 µ), ν 0 does not hold in discrete setting unless µ is a Dirac.
22 Extension to discrete setting Question: Is it possible to extend this theory to discrete settings, for example finite graphs? Two obstructions: Talagrand s inequality W 2 2 (ν 0, µ) CsteH(ν 0 µ), ν 0 does not hold in discrete setting unless µ is a Dirac. W 2-geodesics do not exist in discrete setting. Namely, if ν t is a W 2 geodesic between δ x and δ y, then it is easy to see that ν t is supported in [x, y] t. But in discrete, [x, y] t can be empty. For example, if x, y are neighbors in a graph, then [x, y] t =, for all t (0, 1).
23 Extension to discrete setting Question: Is it possible to extend this theory to discrete settings, for example finite graphs? Two obstructions: Talagrand s inequality W 2 2 (ν 0, µ) CsteH(ν 0 µ), ν 0 does not hold in discrete setting unless µ is a Dirac. W 2-geodesics do not exist in discrete setting. Namely, if ν t is a W 2 geodesic between δ x and δ y, then it is easy to see that ν t is supported in [x, y] t. But in discrete, [x, y] t can be empty. For example, if x, y are neighbors in a graph, then [x, y] t =, for all t (0, 1). W 2 is not adapted neither for defining the path ν t nor for measuring the convexity defect/excess of the entropy.
24 Recent results Ollivier, Ollivier-Villani, Bonciocat-Sturm, Maas, Erbar-Maas, Mielke, Hillion, Léonard, Lehec, Joulin, Veysseire...
25 Recent results Ollivier, Ollivier-Villani, Bonciocat-Sturm, Maas, Erbar-Maas, Mielke, Hillion, Léonard, Lehec, Joulin, Veysseire... Ollivier-Villani:Brunn-Minkowski type inequality on the discrete hypercube Ω n = {0, 1} n equipped with the Hamming distance d(x, y) = n i=1 1I x i y i. [A, B] 1/2 A 1/2 B 1/2 e 1 16n d2 (A,B), A, B Ω n
26 Recent results Ollivier, Ollivier-Villani, Bonciocat-Sturm, Maas, Erbar-Maas, Mielke, Hillion, Léonard, Lehec, Joulin, Veysseire... Ollivier-Villani:Brunn-Minkowski type inequality on the discrete hypercube Ω n = {0, 1} n equipped with the Hamming distance d(x, y) = n i=1 1I x i y i. [A, B] 1/2 A 1/2 B 1/2 e 1 16n d2 (A,B), A, B Ω n Consequence of the following property: ν 0, ν 1, ν 1/2 such that H(ν 1/2 µ) 1 2 H(ν0 µ) H(ν1 µ) 1 16n W 2 1 (ν 0, ν 1), where µ is the uniform measure on Ω n.
27 Recent results Maas-Erbar: Displacement convexity of the entropy on the discrete hypercube Ω n = {0, 1} n. H(ν t µ) (1 t)h(ν 0 µ) + th(ν 1 µ) t(1 t) W2 2 (ν 0, ν 1) n
28 Recent results Maas-Erbar: Displacement convexity of the entropy on the discrete hypercube Ω n = {0, 1} n. t(1 t) H(ν t µ) (1 t)h(ν 0 µ) + th(ν 1 µ) W2 2 (ν 0, ν 1) n The (finite dimensional) space P(Ω n) is equipped with a Riemannian metric.
29 Recent results Maas-Erbar: Displacement convexity of the entropy on the discrete hypercube Ω n = {0, 1} n. t(1 t) H(ν t µ) (1 t)h(ν 0 µ) + th(ν 1 µ) W2 2 (ν 0, ν 1) n The (finite dimensional) space P(Ω n) is equipped with a Riemannian metric. This metric is made in such a way that the continuous time simple random walk becomes a gradient flow of the function H( µ) (with respect to the Riemannian structure). [This construction is very general and holds for every reversible Markov kernel on a finite graph].
30 Recent results Maas-Erbar: Displacement convexity of the entropy on the discrete hypercube Ω n = {0, 1} n. t(1 t) H(ν t µ) (1 t)h(ν 0 µ) + th(ν 1 µ) W2 2 (ν 0, ν 1) n The (finite dimensional) space P(Ω n) is equipped with a Riemannian metric. This metric is made in such a way that the continuous time simple random walk becomes a gradient flow of the function H( µ) (with respect to the Riemannian structure). [This construction is very general and holds for every reversible Markov kernel on a finite graph]. The pseudo Wasserstein distance W 2 corresponds to the geodesic distance on P(Ω n) and ν t is a geodesic connecting ν 0 to ν 1.
31 Recent results Maas-Erbar: Displacement convexity of the entropy on the discrete hypercube Ω n = {0, 1} n. t(1 t) H(ν t µ) (1 t)h(ν 0 µ) + th(ν 1 µ) W2 2 (ν 0, ν 1) n The (finite dimensional) space P(Ω n) is equipped with a Riemannian metric. This metric is made in such a way that the continuous time simple random walk becomes a gradient flow of the function H( µ) (with respect to the Riemannian structure). [This construction is very general and holds for every reversible Markov kernel on a finite graph]. The pseudo Wasserstein distance W 2 corresponds to the geodesic distance on P(Ω n) and ν t is a geodesic connecting ν 0 to ν 1. The function W 2 2 is not a transport cost.
32 Recent results Maas-Erbar: Displacement convexity of the entropy on the discrete hypercube Ω n = {0, 1} n. t(1 t) H(ν t µ) (1 t)h(ν 0 µ) + th(ν 1 µ) W2 2 (ν 0, ν 1) n The (finite dimensional) space P(Ω n) is equipped with a Riemannian metric. This metric is made in such a way that the continuous time simple random walk becomes a gradient flow of the function H( µ) (with respect to the Riemannian structure). [This construction is very general and holds for every reversible Markov kernel on a finite graph]. The pseudo Wasserstein distance W 2 corresponds to the geodesic distance on P(Ω n) and ν t is a geodesic connecting ν 0 to ν 1. The function W 2 2 is not a transport cost. This implies some versions of LSI and HWI, and a Talagrand type inequality for the W 2 and W 1 distances with sharp constants.
33 Our approach similar approach developed independently by E Hillion
34 Our approach similar approach developed independently by E Hillion We seek to prove convexity of the entropy along (pseudo)-w 1 -geodesics ν t connecting ν 0 to ν 1 :
35 Our approach similar approach developed independently by E Hillion We seek to prove convexity of the entropy along (pseudo)-w 1 -geodesics ν t connecting ν 0 to ν 1 : There is some K 0 such that for all ν 0, ν 1 there is some pseudo W 1-geodesic ν t connecting ν 0 to ν 1 such that for all t [0, 1] H(ν t µ) (1 t)h(ν 0 µ) + th(ν 1 µ) Kt(1 t) 2.
36 Our approach similar approach developed independently by E Hillion We seek to prove convexity of the entropy along (pseudo)-w 1 -geodesics ν t connecting ν 0 to ν 1 : There is some K 0 such that for all ν 0, ν 1 there is some pseudo W 1-geodesic ν t connecting ν 0 to ν 1 such that for all t [0, 1] H(ν t µ) (1 t)h(ν 0 µ) + th(ν 1 µ) Kt(1 t) 2 A good candidate for the transport term in the right hand side is W 2 1 (ν 0, ν 1)..
37 Our approach similar approach developed independently by E Hillion We seek to prove convexity of the entropy along (pseudo)-w 1 -geodesics ν t connecting ν 0 to ν 1 : There is some K 0 such that for all ν 0, ν 1 there is some pseudo W 1-geodesic ν t connecting ν 0 to ν 1 such that for all t [0, 1] H(ν t µ) (1 t)h(ν 0 µ) + th(ν 1 µ) Kt(1 t) 2 A good candidate for the transport term in the right hand side is W 2 1 (ν 0, ν 1).. Another better candidate is the transport cost W 2 2 (ν 0, ν 1), introduced by Marton, which is stronger than W 1 and weaker than W 2.
38 Our main example - the discrete hypercube Ω n Theorem [GRST] Let µ be a probability on {0, 1} and denote by µ n its n-fold tensor product. The following displacement convexity properties of the entropy hold true. For all ν 0, ν 1 P(Ω n), there is a coupling π P(ν 0, ν 1) such that for all t [0, 1], it holds
39 Our main example - the discrete hypercube Ω n Theorem [GRST] Let µ be a probability on {0, 1} and denote by µ n its n-fold tensor product. The following displacement convexity properties of the entropy hold true. For all ν 0, ν 1 P(Ω n), there is a coupling π P(ν 0, ν 1) such that for all t [0, 1], it holds (1) H(ν π t µ n ) (1 t)h(ν 0 µ n ) + th(ν 1 µ n ) 2t(1 t) W1 2 (ν 0, ν 1) n
40 Our main example - the discrete hypercube Ω n Theorem [GRST] Let µ be a probability on {0, 1} and denote by µ n its n-fold tensor product. The following displacement convexity properties of the entropy hold true. For all ν 0, ν 1 P(Ω n), there is a coupling π P(ν 0, ν 1) such that for all t [0, 1], it holds and (1) H(ν π t µ n ) (1 t)h(ν 0 µ n ) + th(ν 1 µ n ) (2) H(ν π t µ n ) (1 t)h(ν 0 µ n ) + th(ν 1 µ n ) 2t(1 t) W1 2 (ν 0, ν 1) n t(1 t) W 2 2 (ν 0, ν 1), 2
41 Our main example - the discrete hypercube Ω n Theorem [GRST] Let µ be a probability on {0, 1} and denote by µ n its n-fold tensor product. The following displacement convexity properties of the entropy hold true. For all ν 0, ν 1 P(Ω n), there is a coupling π P(ν 0, ν 1) such that for all t [0, 1], it holds and (1) H(ν π t µ n ) (1 t)h(ν 0 µ n ) + th(ν 1 µ n ) (2) H(ν π t µ n ) (1 t)h(ν 0 µ n ) + th(ν 1 µ n ) where ν π t = x 0,x 1 Ω n π(x 0, x 1) z x 0,x 1 t d(x 0,z) (1 t) d(z,x 1) δ z, 2t(1 t) W1 2 (ν 0, ν 1) n t(1 t) W 2 2 (ν 0, ν 1), 2 where z x 0, x 1 means that z belongs to some geodesic joining x 0 to x 1.
42 Our main example - the discrete hypercube Ω n Theorem [GRST] Let µ be a probability on {0, 1} and denote by µ n its n-fold tensor product. The following displacement convexity properties of the entropy hold true. For all ν 0, ν 1 P(Ω n), there is a coupling π P(ν 0, ν 1) such that for all t [0, 1], it holds and (1) H(ν π t µ n ) (1 t)h(ν 0 µ n ) + th(ν 1 µ n ) (2) H(ν π t µ n ) (1 t)h(ν 0 µ n ) + th(ν 1 µ n ) where ν π t = x 0,x 1 Ω n π(x 0, x 1) z x 0,x 1 t d(x 0,z) (1 t) d(z,x 1) δ z, 2t(1 t) W1 2 (ν 0, ν 1) n t(1 t) W 2 2 (ν 0, ν 1), 2 where z x 0, x 1 means that z belongs to some geodesic joining x 0 to x 1. We will define Marton s distance W 2 later on. It verifies W 2 2 (ν 0, ν 1) 2 n W 2 1 (ν 0, ν 1). So (2) is stronger than (1) (up to a factor 2).
43 A first consequence - Transport inequalities and concentration µ n verifies the following transport-entropy inequalities W 2 1 (ν 0, µ n ) n 2 H(ν0 µn ), ν 0 P(Ω n) and W 2 2 (ν 0, µ n ) 2 H(ν 0 µ n ), ν 0 P(Ω n).
44 A first consequence - Transport inequalities and concentration µ n verifies the following transport-entropy inequalities W1 2 (ν 0, µ n ) n 2 H(ν0 µn ), ν 0 P(Ω n) and W 2 2 (ν 0, µ n ) 2 H(ν 0 µ n ), ν 0 P(Ω n). They imply respectively, the following well known concentration inequalities µ n (f µ n (f ) + t) e n 2 t2, t 0, for all function f : Ω n R, 1-Lipschitz with respect to Hamming distance.
45 A first consequence - Transport inequalities and concentration µ n verifies the following transport-entropy inequalities W1 2 (ν 0, µ n ) n 2 H(ν0 µn ), ν 0 P(Ω n) and W 2 2 (ν 0, µ n ) 2 H(ν 0 µ n ), ν 0 P(Ω n). They imply respectively, the following well known concentration inequalities µ n (f µ n (f ) + t) e n 2 t2, t 0, for all function f : Ω n R, 1-Lipschitz with respect to Hamming distance. µ n (f µ n (f ) + t) e t2 4, t 0, for all f : [0, 1] n R convex and 1-Lipschitz for the Euclidean distance on R n.
46 A first consequence - Transport inequalities and concentration µ n verifies the following transport-entropy inequalities W1 2 (ν 0, µ n ) n 2 H(ν0 µn ), ν 0 P(Ω n) and W 2 2 (ν 0, µ n ) 2 H(ν 0 µ n ), ν 0 P(Ω n). They imply respectively, the following well known concentration inequalities µ n (f µ n (f ) + t) e n 2 t2, t 0, for all function f : Ω n R, 1-Lipschitz with respect to Hamming distance. µ n (f µ n (f ) + t) e t2 4, t 0, for all f : [0, 1] n R convex and 1-Lipschitz for the Euclidean distance on R n. We will see other consequences of (2) (Prekopa-Leindler - HWI) later on.
47 A general framework. In all the sequel, G = (V, E) will be a finite connected graph equipped with the classical graph distance d. If γ = (x 0, x 1,..., x n) (n = d(x, y)) is a geodesic between x and y, we write γ(k) = x k.
48 W 1 -geodesics Definition [L 1-Wasserstein distance] For all ν 0, ν 1 P(V ), W 1(ν 0, ν 1) = inf π P(ν0,ν 1 ) d(x0, x 1) π(dx 0dx 1). Important example: Let V = {0, 1,..., n}; consider the Binomial distribution B(n, t) defined by ( ) n n B(n, t) = t k (1 t) n k δ k P(V ). k k=0 Then (B(n, t)) t [0,1] is a W 1 constant speed geodesic connecting δ 0 to δ n.
49 Construction of (pseudo)-w 1 geodesic. Let π be a coupling between ν 0 and ν 1 and (X 0, X 1) a random variable with law π.
50 Construction of (pseudo)-w 1 geodesic. Let π be a coupling between ν 0 and ν 1 and (X 0, X 1) a random variable with law π. For all x 0, x 1 V let G(x 0, x 1) be the set of geodesics connecting x 0 to x 1 and consider the following random variables:
51 Construction of (pseudo)-w 1 geodesic. Let π be a coupling between ν 0 and ν 1 and (X 0, X 1) a random variable with law π. For all x 0, x 1 V let G(x 0, x 1) be the set of geodesics connecting x 0 to x 1 and consider the following random variables: - Γ x 0,x 1 is a random variable uniformly distributed over G(x 0, x 1) and independent of (X 0, X 1).
52 Construction of (pseudo)-w 1 geodesic. Let π be a coupling between ν 0 and ν 1 and (X 0, X 1) a random variable with law π. For all x 0, x 1 V let G(x 0, x 1) be the set of geodesics connecting x 0 to x 1 and consider the following random variables: - Γ x 0,x 1 is a random variable uniformly distributed over G(x 0, x 1) and independent of (X 0, X 1). - for all t [0, 1], N x 0,x 1 t is a random variable following a B(n, t) distribution with n = d(x 0, x 1) independent of Γ x 0,x 1 and of (X 0, X 1).
53 Construction of (pseudo)-w 1 geodesic. Let π be a coupling between ν 0 and ν 1 and (X 0, X 1) a random variable with law π. For all x 0, x 1 V let G(x 0, x 1) be the set of geodesics connecting x 0 to x 1 and consider the following random variables: - Γ x 0,x 1 is a random variable uniformly distributed over G(x 0, x 1) and independent of (X 0, X 1). - for all t [0, 1], N x 0,x 1 t is a random variable following a B(n, t) distribution with n = d(x 0, x 1) independent of Γ x 0,x 1 and of (X 0, X 1). Finally, set X t = Γ X 0,X 1 (N X 0,X 1 t ) and ν π t = Law(X t).
54 Construction of (pseudo)-w 1 geodesic. Let π be a coupling between ν 0 and ν 1 and (X 0, X 1) a random variable with law π. For all x 0, x 1 V let G(x 0, x 1) be the set of geodesics connecting x 0 to x 1 and consider the following random variables: - Γ x 0,x 1 is a random variable uniformly distributed over G(x 0, x 1) and independent of (X 0, X 1). - for all t [0, 1], N x 0,x 1 t is a random variable following a B(n, t) distribution with n = d(x 0, x 1) independent of Γ x 0,x 1 and of (X 0, X 1). Finally, set X t = Γ X 0,X 1 (N X 0,X 1 t ) and ν π t = Law(X t). Proposition [GRST] If π is an optimal coupling between ν 0 and ν 1 then νt π between ν 0 and ν 1. is a W 1-geodesic
55 Construction of (pseudo)-w 1 geodesic. Let π be a coupling between ν 0 and ν 1 and (X 0, X 1) a random variable with law π. For all x 0, x 1 V let G(x 0, x 1) be the set of geodesics connecting x 0 to x 1 and consider the following random variables: - Γ x 0,x 1 is a random variable uniformly distributed over G(x 0, x 1) and independent of (X 0, X 1). - for all t [0, 1], N x 0,x 1 t is a random variable following a B(n, t) distribution with n = d(x 0, x 1) independent of Γ x 0,x 1 and of (X 0, X 1). Finally, set X t = Γ X 0,X 1 (N X 0,X 1 t ) and ν π t = Law(X t). Proposition [GRST] If π is an optimal coupling between ν 0 and ν 1 then νt π between ν 0 and ν 1. is a W 1-geodesic When ν 0 = δ x and ν 1 = δ y, we write ν x,y t. When π is not optimal we say that νt π is a pseudo W 1-geodesic.
56 Explicit formula for ν π t Proposition For all ν 0, ν 1 P(V ), and t [0, 1], νt π = π(x 0, x ( ) d(x 0, x 1) 1) t d(x0,z) (1 t) d(z,x 1) G(x 0, z, x 1) δ z, d(x x 0,x 1 z V 0, z) G(x 0, x 1) where G(x 0, x 1) is the set of geodesic connecting x 0 to x 1. G(x 0, z, x 1) is the set of geodesics connecting x 0 to x 1 and crossing the vertex z.
57 Explicit formula for ν π t Proposition For all ν 0, ν 1 P(V ), and t [0, 1], νt π = π(x 0, x ( ) d(x 0, x 1) 1) t d(x0,z) (1 t) d(z,x 1) G(x 0, z, x 1) δ z, d(x x 0,x 1 z V 0, z) G(x 0, x 1) where G(x 0, x 1) is the set of geodesic connecting x 0 to x 1. G(x 0, z, x 1) is the set of geodesics connecting x 0 to x 1 and crossing the vertex z. In particular, on the cube, if z x 0, x 1 and so we recover G(x 0, x 1) = d(x 0, x 1)! G(x 0, z, x 1) = d(x 0, z)!d(z, x 1)! ν π t = x 0,x 1 Ω n π(x 0, x 1) z x 0,x 1 t d(x 0,z) (1 t) d(z,x 1) δ z
58 Marton s weak W 2 distance Let ν 0, ν 1 P(V ).
59 Marton s weak W 2 distance Let ν 0, ν 1 P(V ). If π P(ν 0, ν 1), consider its conditional disintegration w.r.t the first coordinate: π(dx 0dx 1) = ν 0(dx 0)p(x o, dx 1), where p : V P(V ) is a probability kernel.
60 Marton s weak W 2 distance Let ν 0, ν 1 P(V ). If π P(ν 0, ν 1), consider its conditional disintegration w.r.t the first coordinate: π(dx 0dx 1) = ν 0(dx 0)p(x o, dx 1), where p : V P(V ) is a probability kernel. Definition [Marton s transport cost] ( T 2(ν 1 ν 0) = inf π P(ν 0,ν 1 ) d(x 0, x 1) p(x 0, dx 1)) 2 ν 0(dx 0).
61 Marton s weak W 2 distance Let ν 0, ν 1 P(V ). If π P(ν 0, ν 1), consider its conditional disintegration w.r.t the first coordinate: π(dx 0dx 1) = ν 0(dx 0)p(x o, dx 1), where p : V P(V ) is a probability kernel. Definition [Marton s transport cost] ( T 2(ν 1 ν 0) = inf π P(ν 0,ν 1 ) d(x 0, x 1) p(x 0, dx 1)) 2 ν 0(dx 0). By Jensen, W 2 2 (ν 0, ν 1) T 2(ν 1 ν 0).
62 Marton s weak W 2 distance Let ν 0, ν 1 P(V ). If π P(ν 0, ν 1), consider its conditional disintegration w.r.t the first coordinate: π(dx 0dx 1) = ν 0(dx 0)p(x o, dx 1), where p : V P(V ) is a probability kernel. Definition [Marton s transport cost] ( T 2(ν 1 ν 0) = inf π P(ν 0,ν 1 ) d(x 0, x 1) p(x 0, dx 1)) 2 ν 0(dx 0). By Jensen, W 2 2 (ν 0, ν 1) T 2(ν 1 ν 0). Define W 2 2 (ν 0, ν 1) = T 2(ν 0 ν 1) + T 2(ν 1 ν 0).
63 Marton s weak W 2 distance Proposition On any space X equipped with the trivial distance 1I x y, the following holds [ ] 2 T 2(ν 1 ν 0) = 1 f1 f 0 dµ, f 0 + where ν 0 = f 0 µ, ν 1 = f 1 µ. This formula will be useful on the two point space {0, 1} or more generally on the complete graph K n.
64 The two point space On the two point space whatever the coupling π is. ν π t = (1 t)ν 0 + tν 1
65 The two point space On the two point space whatever the coupling π is. ν π t = (1 t)ν 0 + tν 1 Differentiating twice the function H(t) := H((1 t)ν 0 + tν 1 µ) it is easy to check that [ ] 2 [ ] 2 H (t) 1 f1 f 0 dµ + 1 f0 f 1 dµ = f 0 + f W 2 2 (ν 0, ν 1). 1 +
66 The two point space On the two point space whatever the coupling π is. ν π t = (1 t)ν 0 + tν 1 Differentiating twice the function H(t) := H((1 t)ν 0 + tν 1 µ) it is easy to check that [ ] 2 [ ] 2 H (t) 1 f1 f 0 dµ + 1 f0 f 1 dµ = f 0 + f W 2 2 (ν 0, ν 1). 1 + So Proposition For all probability measure µ on Ω 1 = {0, 1}, it holds H(ν π t µ) (1 t)h(ν 0 µ) + th(ν 1 µ) t(1 t) W 2 2 (ν 0, ν 1). 2
67 The two point space On the two point space whatever the coupling π is. ν π t = (1 t)ν 0 + tν 1 Differentiating twice the function H(t) := H((1 t)ν 0 + tν 1 µ) it is easy to check that [ ] 2 [ ] 2 H (t) 1 f1 f 0 dµ + 1 f0 f 1 dµ = f 0 + f W 2 2 (ν 0, ν 1). 1 + So Proposition For all probability measure µ on Ω 1 = {0, 1}, it holds H(ν π t µ) (1 t)h(ν 0 µ) + th(ν 1 µ) t(1 t) W 2 2 (ν 0, ν 1). 2 To get the result for the hypercube Ω n, we use a general tensorisation technique.
68 Tensorisation Theorem [GRST] Assume that a probability µ on V verifies the following property: There is K 0 such that for all ν 0, ν 1 P(V ), there is some π P(ν 0, ν 1) such that for all t [0, 1], it holds H(ν π t µ) (1 t)h(ν 0 µ) + th(ν 1 µ) K t(1 t) W 2 2 (ν 0, ν 1). 2
69 Tensorisation Theorem [GRST] Assume that a probability µ on V verifies the following property: There is K 0 such that for all ν 0, ν 1 P(V ), there is some π P(ν 0, ν 1) such that for all t [0, 1], it holds H(ν π t µ) (1 t)h(ν 0 µ) + th(ν 1 µ) K t(1 t) W 2 2 (ν 0, ν 1). 2 Then the product measure µ n, verifies the following property: for all ν 0, ν 1 P(V n ), there is some ˆπ P(ν 0, ν 1) such that for all t [0, 1], it holds H(ν ˆπ t µ n ) (1 t)h(ν 0 µ n ) + th(ν 1 µ n ) K t(1 t) W 2,n(ν 2 0, ν 1), 2 with the same constant K as above, where W 2,n is the tensorised Marton s distance.
70 Tensorisation Ingredients of the proof:
71 Tensorisation Ingredients of the proof: 1 Tensorisation of the pseudo W 1 geodesic. Denoting by ν x,y t the W 1-geodesic connecting δ x to δ y, x, y V n. Then ν x,y t = n i=1 ν x i,y i t. Strongly connected to the choice of the Binomial distributions.
72 Tensorisation Ingredients of the proof: 1 Tensorisation of the pseudo W 1 geodesic. Denoting by ν x,y t the W 1-geodesic connecting δ x to δ y, x, y V n. Then ν x,y t = n i=1 ν x i,y i t. Strongly connected to the choice of the Binomial distributions. 2 Knothe-Rosenblatt construction. (n = 2) Write ν 0(dx 1dx 2) = ν 1 0(dx 1)ν 2 0(dx 2 x 1) and ν 1(dy 1dy 2) = ν 1 1(dy 1)ν 2 1(dy 2 y 1).
73 Tensorisation Ingredients of the proof: 1 Tensorisation of the pseudo W 1 geodesic. Denoting by ν x,y t the W 1-geodesic connecting δ x to δ y, x, y V n. Then ν x,y t = n i=1 ν x i,y i t. Strongly connected to the choice of the Binomial distributions. 2 Knothe-Rosenblatt construction. (n = 2) Write ν 0(dx 1dx 2) = ν 1 0(dx 1)ν 2 0(dx 2 x 1) and ν 1(dy 1dy 2) = ν 1 1(dy 1)ν 2 1(dy 2 y 1). Suppose that π 1 P(ν 1 0, ν 1 1) and π 2( x 1, y 1) P(ν 2 0( x 1), ν 2 1( y 1)).
74 Tensorisation Ingredients of the proof: 1 Tensorisation of the pseudo W 1 geodesic. Denoting by ν x,y t the W 1-geodesic connecting δ x to δ y, x, y V n. Then ν x,y t = n i=1 ν x i,y i t. Strongly connected to the choice of the Binomial distributions. 2 Knothe-Rosenblatt construction. (n = 2) Write ν 0(dx 1dx 2) = ν 1 0(dx 1)ν 2 0(dx 2 x 1) and ν 1(dy 1dy 2) = ν 1 1(dy 1)ν 2 1(dy 2 y 1). Suppose that π 1 P(ν 1 0, ν 1 1) and π 2( x 1, y 1) P(ν 2 0( x 1), ν 2 1( y 1)). Then ˆπ is obtained as follows ˆπ(dx 1dx 2dy 1dy 2) = π 1(dx 1dy 1)π 2(dx 2dy 2 x 1, y 1) P(ν 0, ν 1).
75 Consequences in terms of functional inequalities Theorem [GRST] Suppose that a probability µ on V verifies the following property: K 0 such that ν 0, ν 1 P(V ), π P(ν 0, ν 1) such that t [0, 1], it holds H(ν π t µ) (1 t)h(ν 0 µ) + th(ν 1 µ) K t(1 t) (I 2(π) + 2 Ī2(π)). Then, for all n N, the following HWI inequality holds: for all ν 0 P(V n ), π P(ν 0, µ), H(ν 0 µ) x V n i=1 n z N i (x) [ log ν0(x) ] ν0(z) log µ(x) µ(z) + where N i (x) = {y V n ; x i y i and d(x, y) = 1}. K 2 2 ν 0(x) I (n) 2 (π) (I (n) 2 (π) + Ī (n) 2 (π)),
76 A weak Log-Sobolev Theorem [GRST] Suppose that a probability µ on V verifies the following property: K 0 such that ν 0, ν 1 P(V ), π P(ν 0, ν 1) such that t [0, 1], it holds H(ν π t µ) (1 t)h(ν 0 µ) + th(ν 1 µ) K t(1 t) W 2 2 (ν 0, ν 1). 2 Then, for all n N, the following HWI inequality holds: for all ν 0 P(V n ), H(ν 0 µ) 2 n 2 [ log ν0(x) ] ν0(z) log ν 0(x) K µ(x) µ(z) + x V n i=1 z N i (x) This LSI applied to the hypercube gives back Log-Sobolev for the Gaussian measure using the central limit theorem.
77 Discrete forms of the Prekopa-Leindler inequality Theorem [GRST] Suppose that a probability µ on V verifies the following property: K 0 such that ν 0, ν 1 P(V ), π P(ν 0, ν 1) such that t [0, 1], it holds H(ν π t µ) (1 t)h(ν 0 µ) + th(ν 1 µ) K t(1 t) W 2 2 (ν 0, ν 1). 2
78 Discrete forms of the Prekopa-Leindler inequality Theorem [GRST] Suppose that a probability µ on V verifies the following property: K 0 such that ν 0, ν 1 P(V ), π P(ν 0, ν 1) such that t [0, 1], it holds H(ν π t µ) (1 t)h(ν 0 µ) + th(ν 1 µ) K t(1 t) W 2 2 (ν 0, ν 1). 2 Then, for all n N and for all triple of functions f, g, h : V n R such that for some t (0, 1) and for all m P(V n ), h(z) ν x,y t (dz) m(dy) (1 t)f (x) + t Kt(1 t) 2 i=1 g(y) m(dy) n ( 2 d(x i, y i ) m(dy)), x V n,
79 Discrete forms of the Prekopa-Leindler inequality Theorem [GRST] Suppose that a probability µ on V verifies the following property: K 0 such that ν 0, ν 1 P(V ), π P(ν 0, ν 1) such that t [0, 1], it holds H(ν π t µ) (1 t)h(ν 0 µ) + th(ν 1 µ) K t(1 t) W 2 2 (ν 0, ν 1). 2 Then, for all n N and for all triple of functions f, g, h : V n R such that for some t (0, 1) and for all m P(V n ), h(z) ν x,y t (dz) m(dy) (1 t)f (x) + t Kt(1 t) 2 i=1 g(y) m(dy) n ( 2 d(x i, y i ) m(dy)), x V n, it holds ( e h(z) µ n (dz) ) 1 t ( e f (x) µ n (dx) e g(y) µ n (dy)) t.
80 Discrete forms of the Prekopa-Leindler inequality The proof follows easily from the following general duality formula ( ) { } log e h dµ = sup ν P(X ) h dν H(ν µ). Consequences: PL implies a form of the log-sobolev inequality and a transport-entropy inequality involving Marton s transport costs.
81 Thank you for your attention! Congratulations to Alain!
Discrete 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 informationLogarithmic Sobolev Inequalities
Logarithmic Sobolev Inequalities M. Ledoux Institut de Mathématiques de Toulouse, France logarithmic Sobolev inequalities what they are, some history analytic, geometric, optimal transportation proofs
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 informationHeat Flows, Geometric and Functional Inequalities
Heat Flows, Geometric and Functional Inequalities M. Ledoux Institut de Mathématiques de Toulouse, France heat flow and semigroup interpolations Duhamel formula (19th century) pde, probability, dynamics
More informationcurvature, mixing, and entropic interpolation Simons Feb-2016 and CSE 599s Lecture 13
curvature, mixing, and entropic interpolation Simons Feb-2016 and CSE 599s Lecture 13 James R. Lee University of Washington Joint with Ronen Eldan (Weizmann) and Joseph Lehec (Paris-Dauphine) Markov chain
More informationEntropic curvature-dimension condition and Bochner s inequality
Entropic curvature-dimension condition and Bochner s inequality Kazumasa Kuwada (Ochanomizu University) joint work with M. Erbar and K.-Th. Sturm (Univ. Bonn) German-Japanese conference on stochastic analysis
More informationarxiv: v1 [math.pr] 21 Jul 2012
DISPLACEMENT CONVEXITY OF ENTROPY AND RELATED INEQUALITIES ON GRAPHS arxiv:107.5116v1 [math.pr] 1 Jul 01 NATHAEL GOZLAN, CYRIL ROBERTO, PAUL-MARIE SAMSON, PRASAD TETALI Abstract. We introduce the notion
More informationApproximations of displacement interpolations by entropic interpolations
Approximations of displacement interpolations by entropic interpolations Christian Léonard Université Paris Ouest Mokaplan 10 décembre 2015 Interpolations in P(X ) X : Riemannian manifold (state space)
More informationRicci curvature for metric-measure spaces via optimal transport
Annals of athematics, 169 (2009), 903 991 Ricci curvature for metric-measure spaces via optimal transport By John Lott and Cédric Villani* Abstract We define a notion of a measured length space having
More informationStability results for Logarithmic Sobolev inequality
Stability results for Logarithmic Sobolev inequality Daesung Kim (joint work with Emanuel Indrei) Department of Mathematics Purdue University September 20, 2017 Daesung Kim (Purdue) Stability for LSI Probability
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 informationarxiv:math/ v3 [math.dg] 30 Jul 2007
OPTIMAL TRANSPORT AND RICCI CURVATURE FOR METRIC-MEASURE SPACES ariv:math/0610154v3 [math.dg] 30 Jul 2007 JOHN LOTT Abstract. We survey work of Lott-Villani and Sturm on lower Ricci curvature bounds for
More informationMetric measure spaces with Riemannian Ricci curvature bounded from below Lecture I
1 Metric measure spaces with Riemannian Ricci curvature bounded from below Lecture I Giuseppe Savaré http://www.imati.cnr.it/ savare Dipartimento di Matematica, Università di Pavia Analysis and Geometry
More informationSpaces with Ricci curvature bounded from below
Spaces with Ricci curvature bounded from below Nicola Gigli March 10, 2014 Lessons Basics of optimal transport Definition of spaces with Ricci curvature bounded from below Analysis on spaces with Ricci
More informationStein s method, logarithmic Sobolev and transport inequalities
Stein s method, logarithmic Sobolev and transport inequalities M. Ledoux University of Toulouse, France and Institut Universitaire de France Stein s method, logarithmic Sobolev and transport inequalities
More informationLogarithmic Sobolev inequalities in discrete product spaces: proof by a transportation cost distance
Logarithmic Sobolev inequalities in discrete product spaces: proof by a transportation cost distance Katalin Marton Alfréd Rényi Institute of Mathematics of the Hungarian Academy of Sciences Relative entropy
More informationRESEARCH STATEMENT MICHAEL MUNN
RESEARCH STATEMENT MICHAEL MUNN Ricci curvature plays an important role in understanding the relationship between the geometry and topology of Riemannian manifolds. Perhaps the most notable results in
More informationCOMMENT ON : HYPERCONTRACTIVITY OF HAMILTON-JACOBI EQUATIONS, BY S. BOBKOV, I. GENTIL AND M. LEDOUX
COMMENT ON : HYPERCONTRACTIVITY OF HAMILTON-JACOBI EQUATIONS, BY S. BOBKOV, I. GENTIL AND M. LEDOUX F. OTTO AND C. VILLANI In their remarkable work [], Bobkov, Gentil and Ledoux improve, generalize and
More informationOllivier 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 OF FINITE MARKOV CHAINS VIA CONVEXITY OF THE ENTROPY
RICCI CURVATURE OF FINITE MARKOV CHAINS VIA CONVEXITY OF THE ENTROPY MATTHIAS ERBAR AND JAN MAAS Abstract. We study a new notion of Ricci curvature that applies to Markov chains on discrete spaces. This
More informationFokker-Planck Equation on Graph with Finite Vertices
Fokker-Planck Equation on Graph with Finite Vertices January 13, 2011 Jointly with S-N Chow (Georgia Tech) Wen Huang (USTC) Hao-min Zhou(Georgia Tech) Functional Inequalities and Discrete Spaces Outline
More informationGeneralized Ricci Bounds and Convergence of Metric Measure Spaces
Generalized Ricci Bounds and Convergence of Metric Measure Spaces Bornes Généralisées de la Courbure Ricci et Convergence des Espaces Métriques Mesurés Karl-Theodor Sturm a a Institut für Angewandte Mathematik,
More informationWEAK CURVATURE CONDITIONS AND FUNCTIONAL INEQUALITIES
WEA CURVATURE CODITIOS AD FUCTIOAL IEQUALITIES JOH LOTT AD CÉDRIC VILLAI Abstract. We give sufficient conditions for a measured length space (, d, ν to admit local and global Poincaré inequalities, along
More informationN. GOZLAN, C. ROBERTO, P-M. SAMSON
FROM DIMENSION FREE CONCENTRATION TO THE POINCARÉ INEQUALITY N. GOZLAN, C. ROBERTO, P-M. SAMSON Abstract. We prove that a probability measure on an abstract metric space satisfies a non trivial dimension
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 informationMoment Measures. Bo az Klartag. Tel Aviv University. Talk at the asymptotic geometric analysis seminar. Tel Aviv, May 2013
Tel Aviv University Talk at the asymptotic geometric analysis seminar Tel Aviv, May 2013 Joint work with Dario Cordero-Erausquin. A bijection We present a correspondence between convex functions and Borel
More informationContents 1. Introduction 1 2. Main results 3 3. Proof of the main inequalities 7 4. Application to random dynamical systems 11 References 16
WEIGHTED CSISZÁR-KULLBACK-PINSKER INEQUALITIES AND APPLICATIONS TO TRANSPORTATION INEQUALITIES FRANÇOIS BOLLEY AND CÉDRIC VILLANI Abstract. We strengthen the usual Csiszár-Kullback-Pinsker inequality by
More informationDistance-Divergence Inequalities
Distance-Divergence Inequalities Katalin Marton Alfréd Rényi Institute of Mathematics of the Hungarian Academy of Sciences Motivation To find a simple proof of the Blowing-up Lemma, proved by Ahlswede,
More informationarxiv: v1 [math.mg] 28 Sep 2017
Ricci tensor on smooth metric measure space with boundary Bang-Xian Han October 2, 2017 arxiv:1709.10143v1 [math.mg] 28 Sep 2017 Abstract Theaim of this note is to studythemeasure-valued Ricci tensor on
More informationFree Talagrand Inequality, a Simple Proof. Ionel Popescu. Northwestern University & IMAR
Free Talagrand Inequality, a Simple Proof Ionel Popescu Northwestern University & IMAR A Joke If F : [0, 1] Ris a smooth convex function such that F(0)=F (0)=0, then F(t) 0 for any t [0, 1]. Proof. F is
More informationGENERALIZATION OF AN INEQUALITY BY TALAGRAND, AND LINKS WITH THE LOGARITHMIC SOBOLEV INEQUALITY
GENERALIZATION OF AN INEQUALITY BY TALAGRAND, AND LINKS WITH THE LOGARITHIC SOBOLEV INEQUALITY F. OTTO AND C. VILLANI Abstract. We show that transport inequalities, similar to the one derived by Talagrand
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 informationNEW FUNCTIONAL INEQUALITIES
1 / 29 NEW FUNCTIONAL INEQUALITIES VIA STEIN S METHOD Giovanni Peccati (Luxembourg University) IMA, Minneapolis: April 28, 2015 2 / 29 INTRODUCTION Based on two joint works: (1) Nourdin, Peccati and Swan
More informationOn the Geometry of Metric Measure Spaces. II.
Extended Version On the Geometry of etric easure Spaces. II. Karl-Theodor Sturm This is a continuation of our previous paper [St04] On the Geometry of etric easure Spaces where we introduced and analyzed
More informationBOUNDS ON THE DEFICIT IN THE LOGARITHMIC SOBOLEV INEQUALITY
BOUNDS ON THE DEFICIT IN THE LOGARITHMIC SOBOLEV INEQUALITY S. G. BOBKOV, N. GOZLAN, C. ROBERTO AND P.-M. SAMSON Abstract. The deficit in the logarithmic Sobolev inequality for the Gaussian measure is
More informationAlexandrov meets Lott-Villani-Sturm
Münster J. of Math. 4 (2011), 53 64 Münster Journal of Mathematics urn:nbn:de:hbz:6-32449569769 c Münster J. of Math. 2011 lexandrov meets Lott-Villani-Sturm nton Petrunin (Communicated by Burkhard Wilking)
More informationA note on the convex infimum convolution inequality
A note on the convex infimum convolution inequality Naomi Feldheim, Arnaud Marsiglietti, Piotr Nayar, Jing Wang Abstract We characterize the symmetric measures which satisfy the one dimensional convex
More informationInverse Brascamp-Lieb inequalities along the Heat equation
Inverse Brascamp-Lieb inequalities along the Heat equation Franck Barthe and Dario Cordero-Erausquin October 8, 003 Abstract Adapting Borell s proof of Ehrhard s inequality for general sets, we provide
More informationMetric measure spaces with Ricci lower bounds, Lecture 1
Metric measure spaces with Ricci lower bounds, Lecture 1 Andrea Mondino (Zurich University) MSRI-Berkeley 20 th January 2016 Motivation-Smooth setting:comparison geometry Question: (M, g) smooth Riemannian
More informationPOINCARÉ, MODIFIED LOGARITHMIC SOBOLEV AND ISOPERIMETRIC INEQUALITIES FOR MARKOV CHAINS WITH NON-NEGATIVE RICCI CURVATURE
POINCARÉ, MODIFIED LOGARITHMIC SOBOLEV AND ISOPERIMETRIC INEQUALITIES FOR MARKOV CHAINS WITH NON-NEGATIVE RICCI CURVATURE MATTHIAS ERBAR AND MAX FATHI Abstract. We study functional inequalities for Markov
More informationSome geometric consequences of the Schrödinger problem
Some geometric consequences of the Schrödinger problem Christian Léonard To cite this version: Christian Léonard. Some geometric consequences of the Schrödinger problem. Second International Conference
More informationHarnack inequalities and Gaussian estimates for random walks on metric measure spaces. Mathav Murugan Laurent Saloff-Coste
Harnack inequalities and Gaussian estimates for random walks on metric measure spaces Mathav Murugan Laurent Saloff-Coste Author address: Department of Mathematics, University of British Columbia and Pacific
More informationConcentration inequalities: basics and some new challenges
Concentration inequalities: basics and some new challenges M. Ledoux University of Toulouse, France & Institut Universitaire de France Measure concentration geometric functional analysis, probability theory,
More informationOptimal transport and Ricci curvature in Finsler geometry
ASP.tex : 2010/1/22 (15:59) page: 1 Advanced Studies in Pure athematics, pp. 1 20 Optimal transport and Ricci curvature in Finsler geometry Abstract. Shin-ichi Ohta This is a survey article on recent progress
More informationarxiv: v2 [math.mg] 10 Apr 2015
lexandrov meets Lott Villani Sturm nton Petrunin arxiv:1003.5948v2 [math.mg] 10 pr 2015 bstract Here I show compatibility of two definition of generalized curvature bounds the lower bound for sectional
More informationA few words about the MTW tensor
A few words about the Ma-Trudinger-Wang tensor Université Nice - Sophia Antipolis & Institut Universitaire de France Salah Baouendi Memorial Conference (Tunis, March 2014) The Ma-Trudinger-Wang tensor
More informationCURVATURE BOUNDS FOR CONFIGURATION SPACES
CURVATURE BOUNDS FOR CONFIGURATION SPACES MATTHIAS ERBAR AND MARTIN HUESMANN Abstract. We show that the configuration space Υ over a manifold M inherits many curvature properties of the manifold. For instance,
More informationIntertwinings for Markov processes
Intertwinings for Markov processes Aldéric Joulin - University of Toulouse Joint work with : Michel Bonnefont - Univ. Bordeaux Workshop 2 Piecewise Deterministic Markov Processes ennes - May 15-17, 2013
More informationDisplacement convexity of generalized relative entropies. II
Displacement convexity of generalized relative entropies. II Shin-ichi Ohta and Asuka Takatsu arch 3, 23 Abstract We introduce a class of generalized relative entropies inspired by the Bregman divergence
More informationProbabilistic Methods in Asymptotic Geometric Analysis.
Probabilistic Methods in Asymptotic Geometric Analysis. C. Hugo Jiménez PUC-RIO, Brazil September 21st, 2016. Colmea. RJ 1 Origin 2 Normed Spaces 3 Distribution of volume of high dimensional convex bodies
More informationConcentration Properties of Restricted Measures with Applications to Non-Lipschitz Functions
Concentration Properties of Restricted Measures with Applications to Non-Lipschitz Functions S G Bobkov, P Nayar, and P Tetali April 4, 6 Mathematics Subject Classification Primary 6Gxx Keywords and phrases
More informationSYNTHETIC THEORY OF RICCI CURVATURE BOUNDS
SYNTHETIC THEORY OF RICCI CURVATURE BOUNDS CÉDRIC VILLANI Abstract. Synthetic theory of Ricci curvature bounds is reviewed, from the conditions which led to its birth, up to some of its latest developments.
More informationA REPRESENTATION FOR THE KANTOROVICH RUBINSTEIN DISTANCE DEFINED BY THE CAMERON MARTIN NORM OF A GAUSSIAN MEASURE ON A BANACH SPACE
Theory of Stochastic Processes Vol. 21 (37), no. 2, 2016, pp. 84 90 G. V. RIABOV A REPRESENTATION FOR THE KANTOROVICH RUBINSTEIN DISTANCE DEFINED BY THE CAMERON MARTIN NORM OF A GAUSSIAN MEASURE ON A BANACH
More informationNeedle decompositions and Ricci curvature
Tel Aviv University CMC conference: Analysis, Geometry, and Optimal Transport KIAS, Seoul, June 2016. A trailer (like in the movies) In this lecture we will not discuss the following: Let K 1, K 2 R n
More informationOptimal Transport for Data Analysis
Optimal Transport for Data Analysis Bernhard Schmitzer 2017-05-16 1 Introduction 1.1 Reminders on Measure Theory Reference: Ambrosio, Fusco, Pallara: Functions of Bounded Variation and Free Discontinuity
More informationThe dynamics of Schrödinger bridges
Stochastic processes and statistical machine learning February, 15, 2018 Plan of the talk The Schrödinger problem and relations with Monge-Kantorovich problem Newton s law for entropic interpolation The
More informationICM 2014: The Structure and Meaning. of Ricci Curvature. Aaron Naber ICM 2014: Aaron Naber
Outline of Talk Background and Limit Spaces Structure of Spaces with Lower Ricci Regularity of Spaces with Bounded Ricci Characterizing Ricci Background: s (M n, g, x) n-dimensional pointed Riemannian
More informationAn Alexandroff Bakelman Pucci estimate on Riemannian manifolds
Available online at www.sciencedirect.com Advances in Mathematics 232 (2013) 499 512 www.elsevier.com/locate/aim An Alexandroff Bakelman Pucci estimate on Riemannian manifolds Yu Wang, Xiangwen Zhang Department
More informationFree Energy, Fokker-Planck Equations, and Random walks on a Graph with Finite Vertices
Free Energy, Fokker-Planck Equations, and Random walks on a Graph with Finite Vertices Haomin Zhou Georgia Institute of Technology Jointly with S.-N. Chow (Georgia Tech) Wen Huang (USTC) Yao Li (NYU) Research
More informationLarge deviations for random projections of l p balls
1/32 Large deviations for random projections of l p balls Nina Gantert CRM, september 5, 2016 Goal: Understanding random projections of high-dimensional convex sets. 2/32 2/32 Outline Goal: Understanding
More informationAN OPTIMAL TRANSPORT VIEW ON SCHRÖDINGER S EQUATION
AN OPTIAL TRANSPORT VIEW ON SCHRÖDINGER S EQUATION ax-k. von Renesse Abstract We show that the Schrödinger equation is a lift of Newton s third law of motion Ẇ µ µ = W F (µ) on the space of probability
More informationSome Applications of Mass Transport to Gaussian-Type Inequalities
Arch. ational Mech. Anal. 161 (2002) 257 269 Digital Object Identifier (DOI) 10.1007/s002050100185 Some Applications of Mass Transport to Gaussian-Type Inequalities Dario Cordero-Erausquin Communicated
More informationMATH MEASURE THEORY AND FOURIER ANALYSIS. Contents
MATH 3969 - MEASURE THEORY AND FOURIER ANALYSIS ANDREW TULLOCH Contents 1. Measure Theory 2 1.1. Properties of Measures 3 1.2. Constructing σ-algebras and measures 3 1.3. Properties of the Lebesgue measure
More informationTransport Continuity Property
On Riemannian manifolds satisfying the Transport Continuity Property Université de Nice - Sophia Antipolis (Joint work with A. Figalli and C. Villani) I. Statement of the problem Optimal transport on Riemannian
More informationSOME RECENT DEVELOPMENTS IN FUNCTIONAL INEQUALITIES
SOME RECENT DEVELOPMENTS IN FUNCTIONAL INEQUALITIES EMMANUEL BOISSARD, NATHAEL GOZLAN, JOSEPH LEHEC, CHRISTIAN LÉONARD, GEORG MENZ, AND ANDRÉ SCHLICHTING 1. Introduction This paper presents different recent
More informationApplications of the time derivative of the L 2 -Wasserstein distance and the free entropy dissipation
Applications of the time derivative of the L 2 -Wasserstein distance and the free entropy dissipation Hiroaki YOSHIDA Ochanomizu University Tokyo, Japan at Fields Institute 23 July, 2013 Plan of talk 1.
More informationThe second and the fourth authors were partially supported by the ANR project GeMeCoD. ANR 2011 BS Emmanuel Boissard
ESAIM: PROCEEDINGS, January 2014, Vol. 44, p. 338-354 SMAI Groupe MAS Journées MAS 2012 Session thématique SOME RECENT DEVELOPMENTS IN FUNCTIONAL INEQUALITIES Emmanuel Boissard 1, Nathael Gozlan 2, Joseph
More informationMinimal time mean field games
based on joint works with Samer Dweik and Filippo Santambrogio PGMO Days 2017 Session Mean Field Games and applications EDF Lab Paris-Saclay November 14th, 2017 LMO, Université Paris-Sud Université Paris-Saclay
More informationA new Hellinger-Kantorovich distance between positive measures and optimal Entropy-Transport problems
A new Hellinger-Kantorovich distance between positive measures and optimal Entropy-Transport problems Giuseppe Savaré http://www.imati.cnr.it/ savare Dipartimento di Matematica, Università di Pavia Nonlocal
More informationNeedle decompositions in Riemannian geometry. Bo az Klartag
Needle decompositions in Riemannian geometry Bo az Klartag Author address: School of athematical Sciences, Tel Aviv University, Tel Aviv 69978, Israel. E-mail address: klartagb@tau.ac.il Contents Chapter
More informationPseudo-Poincaré Inequalities and Applications to Sobolev Inequalities
Pseudo-Poincaré Inequalities and Applications to Sobolev Inequalities Laurent Saloff-Coste Abstract Most smoothing procedures are via averaging. Pseudo-Poincaré inequalities give a basic L p -norm control
More informationON A METHOD TO DISPROVE GENERALIZED BRUNN MINKOWSKI INEQUALITIES
ON A METHOD TO DISPROVE GENERALIZED BRUNN MINKOWSKI INEQUALITIES NICOLAS JUILLET Abstract. We present a general method to disprove generalized Brunn Minkowski inequalities. We initially developed this
More informationDynamic and Stochastic Brenier Transport via Hopf-Lax formulae on Was
Dynamic and Stochastic Brenier Transport via Hopf-Lax formulae on Wasserstein Space With many discussions with Yann Brenier and Wilfrid Gangbo Brenierfest, IHP, January 9-13, 2017 ain points of the
More informationHeat flow on Alexandrov spaces
Heat flow on Alexandrov spaces Nicola Gigli, Kazumasa Kuwada, Shin-ichi Ohta January 19, 2012 Abstract We prove that on compact Alexandrov spaces with curvature bounded below the gradient flow of the Dirichlet
More informationEXAMPLE OF A FIRST ORDER DISPLACEMENT CONVEX FUNCTIONAL
EXAMPLE OF A FIRST ORDER DISPLACEMENT CONVEX FUNCTIONAL JOSÉ A. CARRILLO AND DEJAN SLEPČEV Abstract. We present a family of first-order functionals which are displacement convex, that is convex along the
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 informationOptimal Transport: A Crash Course
Optimal Transport: A Crash Course Soheil Kolouri and Gustavo K. Rohde HRL Laboratories, University of Virginia Introduction What is Optimal Transport? The optimal transport problem seeks the most efficient
More informationConcentration of Measure: Logarithmic Sobolev Inequalities
Concentration o Measure: Logarithmic Sobolev Inequalities Aukosh Jagannath September 15, 13 Abstract In this note we'll describe the basic tools to understand Log Sobolev Inequalities and their relation
More informationGeneralized Orlicz spaces and Wasserstein distances for convex concave scale functions
Bull. Sci. math. 135 (2011 795 802 www.elsevier.com/locate/bulsci Generalized Orlicz spaces and Wasserstein distances for convex concave scale functions Karl-Theodor Sturm Institut für Angewandte Mathematik,
More informationInvariances in spectral estimates. Paris-Est Marne-la-Vallée, January 2011
Invariances in spectral estimates Franck Barthe Dario Cordero-Erausquin Paris-Est Marne-la-Vallée, January 2011 Notation Notation Given a probability measure ν on some Euclidean space, the Poincaré constant
More informationChapter 4. Measure Theory. 1. Measure Spaces
Chapter 4. Measure Theory 1. Measure Spaces Let X be a nonempty set. A collection S of subsets of X is said to be an algebra on X if S has the following properties: 1. X S; 2. if A S, then A c S; 3. if
More informationLecture 6 Basic Probability
Lecture 6: Basic Probability 1 of 17 Course: Theory of Probability I Term: Fall 2013 Instructor: Gordan Zitkovic Lecture 6 Basic Probability Probability spaces A mathematical setup behind a probabilistic
More informationSpectral Gap and Concentration for Some Spherically Symmetric Probability Measures
Spectral Gap and Concentration for Some Spherically Symmetric Probability Measures S.G. Bobkov School of Mathematics, University of Minnesota, 127 Vincent Hall, 26 Church St. S.E., Minneapolis, MN 55455,
More informationINTERPOLATION BETWEEN LOGARITHMIC SOBOLEV AND POINCARÉ INEQUALITIES
INTERPOLATION BETWEEN LOGARITHMIC SOBOLEV AND POINCARÉ INEQUALITIES ANTON ARNOLD, JEAN-PHILIPPE BARTIER, AND JEAN DOLBEAULT Abstract. This paper is concerned with intermediate inequalities which interpolate
More informationMAXIMAL COUPLING OF EUCLIDEAN BROWNIAN MOTIONS
MAXIMAL COUPLING OF EUCLIDEAN BOWNIAN MOTIONS ELTON P. HSU AND KAL-THEODO STUM ABSTACT. We prove that the mirror coupling is the unique maximal Markovian coupling of two Euclidean Brownian motions starting
More informationON THE POINCARÉ CONSTANT OF LOG-CONCAVE MEASURES. Université de Toulouse Université Clermont-Auvergne
ON THE POINCARÉ CONSTANT OF LOG-CONCAVE MEASURES. PATRICK CATTIAUX AND ARNAUD GUILLIN Université de Toulouse Université Clermont-Auvergne Abstract. The goal of this paper is to push forward the study of
More informationGeometric Inference for Probability distributions
Geometric Inference for Probability distributions F. Chazal 1 D. Cohen-Steiner 2 Q. Mérigot 2 1 Geometrica, INRIA Saclay, 2 Geometrica, INRIA Sophia-Antipolis 2009 June 1 Motivation What is the (relevant)
More informationOlivier s Ricci curvature and applications
Olivier s Ricci curvature and applications Sunhyuk Lim Ohio State University lim.991@osu.edu April 5th, 2018 Overview 1 Goal 2 Background Ricci curvature and entropy Entropy and robustness Robustness and
More informationSMOOTHING AND NON-SMOOTHING VIA A FLOW TANGENT TO THE RICCI FLOW
SMOOTHING AND NON-SMOOTHING VIA A FLOW TANGENT TO THE RICCI FLOW MATTHIAS ERBAR AND NICOLAS JUILLET Abstract. We study a transformation of metric measure spaces introduced by Gigli and Mantegazza consisting
More informationGLUING LEMMAS AND SKOROHOD REPRESENTATIONS
GLUING LEMMAS AND SKOROHOD REPRESENTATIONS PATRIZIA BERTI, LUCA PRATELLI, AND PIETRO RIGO Abstract. Let X, E), Y, F) and Z, G) be measurable spaces. Suppose we are given two probability measures γ and
More informationTransport Inequalities, Gradient Estimates, Entropy and Ricci Curvature
Transport Inequalities, Gradient Estimates, Entropy and Ricci Curvature Karl-Theodor Sturm & ax-konstantin von Renesse University of Bonn 1 Abstract. We present various characterizations of uniform lower
More informationConcentration inequalities and the entropy method
Concentration inequalities and the entropy method Gábor Lugosi ICREA and Pompeu Fabra University Barcelona what is concentration? We are interested in bounding random fluctuations of functions of many
More informationFrom the Brunn-Minkowski inequality to a class of Poincaré type inequalities
arxiv:math/0703584v1 [math.fa] 20 Mar 2007 From the Brunn-Minkowski inequality to a class of Poincaré type inequalities Andrea Colesanti Abstract We present an argument which leads from the Brunn-Minkowski
More informationPeacocks nearby: approximating sequences of measures
Peacocks nearby: approximating sequences of measures Stefan Gerhold TU Wien sgerhold@fam.tuwien.ac.at I. Cetin Gülüm TU Wien ismail.cetin.gueluem@gmx.at October 2, 2017 Abstract A peacock is a family of
More informationSMOOTH OPTIMAL TRANSPORTATION ON HYPERBOLIC SPACE
SMOOTH OPTIMAL TRANSPORTATION ON HYPERBOLIC SPACE JIAYONG LI A thesis completed in partial fulfilment of the requirement of Master of Science in Mathematics at University of Toronto. Copyright 2009 by
More informationPATH FUNCTIONALS OVER WASSERSTEIN SPACES. Giuseppe Buttazzo. Dipartimento di Matematica Università di Pisa.
PATH FUNCTIONALS OVER WASSERSTEIN SPACES Giuseppe Buttazzo Dipartimento di Matematica Università di Pisa buttazzo@dm.unipi.it http://cvgmt.sns.it ENS Ker-Lann October 21-23, 2004 Several natural structures
More informationEntropy and Ergodic Theory Lecture 17: Transportation and concentration
Entropy and Ergodic Theory Lecture 17: Transportation and concentration 1 Concentration in terms of metric spaces In this course, a metric probability or m.p. space is a triple px, d, µq in which px, dq
More informationPACKING DIMENSIONS, TRANSVERSAL MAPPINGS AND GEODESIC FLOWS
Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 29, 2004, 489 500 PACKING DIMENSIONS, TRANSVERSAL MAPPINGS AND GEODESIC FLOWS Mika Leikas University of Jyväskylä, Department of Mathematics and
More informationIsodiametric problem in Carnot groups
Conference Geometric Measure Theory Université Paris Diderot, 12th-14th September 2012 Isodiametric inequality in R n Isodiametric inequality: where ω n = L n (B(0, 1)). L n (A) 2 n ω n (diam A) n Isodiametric
More information