Showing 1–25 of 25 results for author: Takatsu, A

Disintegrated optimal transport for metric fiber bundles

Authors: Jun Kitagawa, Asuka Takatsu

Abstract: We define a new two-parameter family of metrics on a subspace of Borel probability measures on a metric fiber bundle, called the disintegrated Monge--Kantorovich metrics. We then prove the disintegrated Monge--Kantorovich metrics are complete, separable (except an endpoint case), geodesic spaces, with a dual representation. Additionally, we prove existence and duality for an associated barycenter… ▽ More We define a new two-parameter family of metrics on a subspace of Borel probability measures on a metric fiber bundle, called the disintegrated Monge--Kantorovich metrics. We then prove the disintegrated Monge--Kantorovich metrics are complete, separable (except an endpoint case), geodesic spaces, with a dual representation. Additionally, we prove existence and duality for an associated barycenter problem, and provide conditions for uniqueness of a barycenter. These results on barycenter problems for the disintegrated Monge--Kantorovich metrics also yield the corresponding existence, duality, and uniqueness results for classical Monge--Kantorovich barycenters in a wide variety of spaces, including a uniqueness result on any connected, complete Riemannian manifold, with or without boundary, with no restriction on the geometry of any kind. △ Less

Submitted 1 July, 2024; originally announced July 2024.

Comments: 66 pages. Comments welcome! arXiv admin note: substantial text overlap with arXiv:2311.15874

MSC Class: 49Q22; 30L05; 28A50

Non-preservation of concavity properties by the Dirichlet heat flow on Riemannian manifolds

Authors: Kazuhiro Ishige, Asuka Takatsu, Haruto Tokunaga

Abstract: We prove that no concavity properties are preserved by the Dirichlet heat flow in a totally convex domain of a Riemannian manifold unless the sectional curvature vanishes everywhere on the domain. We prove that no concavity properties are preserved by the Dirichlet heat flow in a totally convex domain of a Riemannian manifold unless the sectional curvature vanishes everywhere on the domain. △ Less

Submitted 6 May, 2024; originally announced May 2024.

Comments: 18 pages. Comments welcome!

MSC Class: 35E10; 58J35

Sliced optimal transport: is it a suitable replacement?

Authors: Jun Kitagawa, Asuka Takatsu

Abstract: We introduce a one-parameter family of metrics on the space of Borel probability measures on Euclidean space with finite $p$th moment for $1\leq p <\infty$, called the $\textit{sliced Monge--Kantorovich metrics}$, which include the sliced Wasserstein and max-sliced Wasserstein metrics. We then show that these are complete, separable metric spaces that are topologically equivalent to the classical… ▽ More We introduce a one-parameter family of metrics on the space of Borel probability measures on Euclidean space with finite $p$th moment for $1\leq p <\infty$, called the $\textit{sliced Monge--Kantorovich metrics}$, which include the sliced Wasserstein and max-sliced Wasserstein metrics. We then show that these are complete, separable metric spaces that are topologically equivalent to the classical Monge--Kantorovich metrics and these metrics have a dual representation. However, we also prove these sliced metrics are $\textit{not}$ bi-Lipschitz equivalent to the classical ones in most cases, and also the spaces are (except for an endpoint case) $\textit{not}$ geodesic. The completeness, duality, and non-geodesicness are new even in the sliced and max-sliced Wasserstein cases, and non bi-Lipschitz equivalence is only known for a few specific cases. In particular this indicates that sliced and max-sliced Wasserstein metrics are not suitable direct replacements for the classical Monge--Kantorovich metrics in problems where the specific metric or geodesic structure are critical. △ Less

Submitted 28 May, 2024; v1 submitted 27 November, 2023; originally announced November 2023.

Comments: 26 pages, added results on non bi-Lipschitz equivalence when q is infinity, split off results on disintegrated metrics (to be posted separately), changed title. Comments welcome!

MSC Class: 49Q22; 44A12

Error estimate for regularized optimal transport problems via Bregman divergence

Authors: Keiichi Morikuni, Koya Sakakibara, Asuka Takatsu

Abstract: Regularization by the Shannon entropy enables us to efficiently and approximately solve optimal transport problems on a finite set. This paper is concerned with regularized optimal transport problems via Bregman divergence. We introduce the required properties for Bregman divergences, provide a non-asymptotic error estimate for the regularized problem, and show that the error estimate becomes fast… ▽ More Regularization by the Shannon entropy enables us to efficiently and approximately solve optimal transport problems on a finite set. This paper is concerned with regularized optimal transport problems via Bregman divergence. We introduce the required properties for Bregman divergences, provide a non-asymptotic error estimate for the regularized problem, and show that the error estimate becomes faster than exponentially. △ Less

Submitted 20 September, 2023; originally announced September 2023.

Comments: 19 pages, 1 figure

Report number: RIKEN-iTHEMS-Report-23 MSC Class: 52A41; 90C05; 65K10

Equal area partitions of the sphere with diameter bounds, via optimal transport

Authors: Jun Kitagawa, Asuka Takatsu

Abstract: We prove existence of equal area partitions of the unit sphere via optimal transport methods, accompanied by diameter bounds written in terms of Monge--Kantorovich distances. This can be used to obtain bounds on the expectation of the maximum diameter of partition sets, when points are uniformly sampled from the sphere. An application to the computation of sliced Monge--Kantorovich distances is al… ▽ More We prove existence of equal area partitions of the unit sphere via optimal transport methods, accompanied by diameter bounds written in terms of Monge--Kantorovich distances. This can be used to obtain bounds on the expectation of the maximum diameter of partition sets, when points are uniformly sampled from the sphere. An application to the computation of sliced Monge--Kantorovich distances is also presented. △ Less

Submitted 28 June, 2023; originally announced June 2023.

Comments: 12pages. Comments welcome!

MSC Class: 41A55; 49Q22

Characterization of $F$-concavity preserved by the Dirichlet heat flow

Authors: Kazuhiro Ishige, Paolo Salani, Asuka Takatsu

Abstract: $F$-concavity is a generalization of power concavity and, actually, the largest available generalization of the notion of concavity. We characterize the $F$-concavities preserved by the Dirichlet heat flow in convex domains on ${\mathbb R}^n… ▽ More $F$-concavity is a generalization of power concavity and, actually, the largest available generalization of the notion of concavity. We characterize the $F$-concavities preserved by the Dirichlet heat flow in convex domains on ${\mathbb R}^n$, and complete the study of preservation of concavity properties by the Dirichlet heat flow, started by Brascamp and Lieb in 1976 and developed in some recent papers. More precisely: (1) we discover hot-concavity, which is the strongest $F$-concavity preserved by the Dirichlet heat flow; (2) we show that log-concavity is the weakest $F$-concavity preserved by the Dirichlet heat flow; quasi-concavity is also preserved only for $n=1$; (3) we prove that if $F$-concavity does not coincide with log-concavity and it is not stronger than log-concavity and $n\ge 2$, then there exists an $F$-concave initial datum such that the corresponding solution to the Dirichlet heat flow is not even quasi-concave, hence losing any reminiscence of concavity. Furthermore, we find a sufficient and necessary condition for $F$-concavity to be preserved by the Dirichlet heat flow. We also study the preservation of concavity properties by solutions of the Cauchy--Dirichlet problem for linear parabolic equations with variable coefficients and for nonlinear parabolic equations such as semilinear heat equations, the porous medium equation, and the parabolic $p$-Laplace equation. △ Less

Submitted 18 September, 2023; v1 submitted 27 July, 2022; originally announced July 2022.

Comments: 45pages. Comments are welcome

Spectral convergence of high-dimensional spheres to Gaussian spaces

Authors: Asuka Takatsu

Abstract: We prove that the spectral structure on the $N$-dimensional standard sphere of radius $(N-1)^{1/2}$ compatible with a projection onto the first $n$-coordinates converges to the spectral structure on the $n$-dimensional Gaussian space with variance $1$ as $N\to \infty$. We also show the analogue for the first Dirichlet eigenvalue and its eigenfunction on a ball in the sphere and on a half-space in… ▽ More We prove that the spectral structure on the $N$-dimensional standard sphere of radius $(N-1)^{1/2}$ compatible with a projection onto the first $n$-coordinates converges to the spectral structure on the $n$-dimensional Gaussian space with variance $1$ as $N\to \infty$. We also show the analogue for the first Dirichlet eigenvalue and its eigenfunction on a ball in the sphere and on a half-space in the Gaussian space. △ Less

Submitted 31 October, 2021; v1 submitted 17 June, 2021; originally announced June 2021.

Comments: 22pages. Comments are welcome!

MSC Class: 58J50; 35P20

Power concavity and Dirichlet heat flow

Authors: Kazuhiro Ishige, Paolo Salani, Asuka Takatsu

Abstract: We show that log-concavity is the weakest power concavity preserved by the Dirichlet heat flow in $N$-dimensional convex domains, where $N\ge 2$ (indeed, we prove that starting with a negative power concave initial datum may result in losing immediately any reminiscence of concavity). Jointly with what we already know, i.e. that log-concavity is the strongest power concavity preserved by the Diric… ▽ More We show that log-concavity is the weakest power concavity preserved by the Dirichlet heat flow in $N$-dimensional convex domains, where $N\ge 2$ (indeed, we prove that starting with a negative power concave initial datum may result in losing immediately any reminiscence of concavity). Jointly with what we already know, i.e. that log-concavity is the strongest power concavity preserved by the Dirichlet heat flow, we see that log-concavity is indeed the only power concavity preserved by the Dirichlet heat flow. △ Less

Submitted 27 July, 2022; v1 submitted 6 May, 2021; originally announced May 2021.

Comments: The authors withdrew this preprint because its conclusion is now contained as a corollary in arXiv:2207.13449 (see Corollary 1.7)

Relaxation of optimal transport problem via strictly convex functions

Authors: Asuka Takatsu

Abstract: An optimal transport problem on finite spaces is a linear program. Recently, a relaxation of the optimal transport problem via strictly convex functions, especially via the Kullback--Leibler divergence, sheds new light on data sciences. This paper provides the mathematical foundations and an iterative process based on a gradient descent for the relaxed optimal transport problem via Bregman diverge… ▽ More An optimal transport problem on finite spaces is a linear program. Recently, a relaxation of the optimal transport problem via strictly convex functions, especially via the Kullback--Leibler divergence, sheds new light on data sciences. This paper provides the mathematical foundations and an iterative process based on a gradient descent for the relaxed optimal transport problem via Bregman divergences. △ Less

Submitted 2 March, 2021; v1 submitted 14 February, 2021; originally announced February 2021.

Comments: 20pages. Comments are welcome!

MSC Class: 49Q22; 90C25

Change the coefficients of conditional entropies in extensivity

Authors: Asuka Takatsu

Abstract: The Boltzmann--Gibbs entropy is a functional on the space of probability measures. When a state space is countable, one characterization of the Boltzmann--Gibbs entropy is given by the Shannon--Khinchin axioms, which consist of continuity, maximality, expandability and extensivity. Among these four properties, the extensivity is generalized in various ways. The extensivity of a functional is inter… ▽ More The Boltzmann--Gibbs entropy is a functional on the space of probability measures. When a state space is countable, one characterization of the Boltzmann--Gibbs entropy is given by the Shannon--Khinchin axioms, which consist of continuity, maximality, expandability and extensivity. Among these four properties, the extensivity is generalized in various ways. The extensivity of a functional is interpreted as the property that, for any random variables $(X,Y)$ taking finitely many values in $\mathbb{N}$, the difference between the value of the functional at the joint law of $(X,Y)$ and that at the law of $X$ coincides with the linear combinations of the values at the conditional laws of $Y$ given $X=n$ with coefficients given by the probabilities of each event $X=n$. A generalization of the extensivity obtained by replacing the coefficients with a power of the probabilities of the events $X=n$ provides a characterization of the Tsallis entropy. In this paper, we first prove the impossibility to replace the coefficients with a non-power function of the probabilities of the events $X=n$. Then we estimate the difference between the value at the joint law of $(X,Y)$ and that at the law of $X$ for a general functional. △ Less

Submitted 16 November, 2020; originally announced November 2020.

Comments: 8 pages. Comments are welcome!

MSC Class: 94A17; 62B10

New characterizations of log-concavity

Authors: Kazuhiro Ishige, Paolo Salani, Asuka Takatsu

Abstract: We introduce a notion of $F$-concavity which largely generalizes the usual concavity. By the use of the notions of closedness under positive scalar multiplication and closedness under positive exponentiation we characterize power concavity and power log-concavity among nontrivial $F$-concavities, respectively. In particular, we have a characterization of log-concavity as the only $F$-concavity whi… ▽ More We introduce a notion of $F$-concavity which largely generalizes the usual concavity. By the use of the notions of closedness under positive scalar multiplication and closedness under positive exponentiation we characterize power concavity and power log-concavity among nontrivial $F$-concavities, respectively. In particular, we have a characterization of log-concavity as the only $F$-concavity which is closed both under positive scalar multiplication and positive exponentiation. Furthermore, we discuss the strongest $F$-concavity preserved by the Dirichlet heat flow, characterizing log-concavity also in this connection. △ Less

Submitted 28 April, 2020; v1 submitted 28 April, 2020; originally announced April 2020.

Comments: 21pages. Comments are welcome!

MSC Class: 26B25; 35K05

Power concavity for elliptic and parabolic boundary value problems on rotationally symmetric domains

Authors: Kazuhiro Ishige, Paolo Salani, Asuka Takatsu

Abstract: We study power concavity of rotationally symmetric solutions to elliptic and parabolic boundary value problems on rotationally symmetric domains in Riemannian manifolds. As applications of our results to the hyperbolic space ${\bf H}^N$ we have: $\bullet$ The first Dirichlet eigenfunction on a ball in ${\bf H}^N$ is strictly positive power concave; $\bullet$ Let $Γ$ be the heat kernel on… ▽ More We study power concavity of rotationally symmetric solutions to elliptic and parabolic boundary value problems on rotationally symmetric domains in Riemannian manifolds. As applications of our results to the hyperbolic space ${\bf H}^N$ we have: $\bullet$ The first Dirichlet eigenfunction on a ball in ${\bf H}^N$ is strictly positive power concave; $\bullet$ Let $Γ$ be the heat kernel on ${\bf H}^N$. Then $Γ(\cdot,y,t)$ is strictly log-concave on ${\bf H}^N$ for $y\in {\bf H}^N$ and $t>0$. △ Less

Submitted 24 February, 2020; originally announced February 2020.

Comments: 24 pages. Comments are welcome!

MSC Class: 58J32; 52A55

Gauge freedom of entropies on $q$-Gaussian measures

Authors: Hiroshi Matsuzoe, Asuka Takatsu

Abstract: A $q$-Gaussian measure is a generalization of a Gaussian measure. This generalization is obtained by replacing the exponential function with the power function of exponent $1/(1-q)$ ($q\neq 1$). The limit case $q=1$ recovers a Gaussian measure. For $1\leq q <3$, the set of all $q$-Gaussian densities over the real line satisfies a certain regularity condition to define information geometric structu… ▽ More A $q$-Gaussian measure is a generalization of a Gaussian measure. This generalization is obtained by replacing the exponential function with the power function of exponent $1/(1-q)$ ($q\neq 1$). The limit case $q=1$ recovers a Gaussian measure. For $1\leq q <3$, the set of all $q$-Gaussian densities over the real line satisfies a certain regularity condition to define information geometric structures such as an entropy and a relative entropy via escort expectations. The ordinary expectation of a random variable is the integral of the random variable with respect to its law. Escort expectations admit us to replace the law to any other measures. A choice of escort expectations on the set of all $q$-Gaussian densities determines an entropy and a relative entropy. One of most important escort expectations on the set of all $q$-Gaussian densities is the $q$-escort expectation since this escort expectation determines the Tsallis entropy and the Tsallis relative entropy. The phenomenon gauge freedom of entropies is that different escort expectations determine the same entropy, but different relative entropies. In this note, we first introduce a refinement of the $q$-logarithmic function. Then we demonstrate the phenomenon on an open set of all $q$-Gaussian densities over the real line by using the refined $q$-logarithmic functions. We write down the corresponding Riemannian metric. △ Less

Submitted 16 February, 2020; v1 submitted 6 February, 2020; originally announced February 2020.

Comments: 22 pages. Comments are welcome!

Invariant metric under deformed Markov embeddings with overlapped supports

Authors: Hiroshi Matsuzoe, Asuka Takatsu

Abstract: Due to Čencov's theorem, there exists a unique family of invariant symmetric $(0,2)$-tensor fields on the space of positive probability measures on a set of $n$-points indexed by $n\in \mathbb{N}$ under Markov embeddings. We deform Markov embeddings kee** sufficiency, and prove existence and uniqueness of invariant families under the embeddings. Due to Čencov's theorem, there exists a unique family of invariant symmetric $(0,2)$-tensor fields on the space of positive probability measures on a set of $n$-points indexed by $n\in \mathbb{N}$ under Markov embeddings. We deform Markov embeddings kee** sufficiency, and prove existence and uniqueness of invariant families under the embeddings. △ Less

Submitted 23 August, 2020; v1 submitted 27 October, 2019; originally announced October 2019.

Comments: 13 pages. The paper is drastically revised

MSC Class: 53B12; 62B05

Equality in the logarithmic Sobolev inequality

Authors: Shin-ichi Ohta, Asuka Takatsu

Abstract: We investigate the rigidity problem for the logarithmic Sobolev inequality on weighted Riemannian manifolds satisfying $\mathrm{Ric}_{\infty} \ge K>0$. Assuming equality holds, we show that the $1$-dimensional Gaussian space is necessarily split off, similarly to the rigidity results of Cheng--Zhou on the spectral gap as well as Morgan on the isoperimetric inequality. The key ingredient of the pro… ▽ More We investigate the rigidity problem for the logarithmic Sobolev inequality on weighted Riemannian manifolds satisfying $\mathrm{Ric}_{\infty} \ge K>0$. Assuming equality holds, we show that the $1$-dimensional Gaussian space is necessarily split off, similarly to the rigidity results of Cheng--Zhou on the spectral gap as well as Morgan on the isoperimetric inequality. The key ingredient of the proof is the needle decomposition method introduced on Riemannian manifolds by Klartag. We also present several related open problems. △ Less

Submitted 18 June, 2019; v1 submitted 20 April, 2019; originally announced April 2019.

Comments: 13pages; to appear in manuscripta mathematica

To logconcavity and beyond

Authors: Kazuhiro Ishige, Paolo Salani, Asuka Takatsu

Abstract: In 1976 Brascamp and Lieb proved that the heat flow preserves logconcavity. In this paper, introducing a variation of concavity, we show that it preserves in fact a stronger property than logconcavity and we identify the strongest concavity preserved by the heat flow. In 1976 Brascamp and Lieb proved that the heat flow preserves logconcavity. In this paper, introducing a variation of concavity, we show that it preserves in fact a stronger property than logconcavity and we identify the strongest concavity preserved by the heat flow. △ Less

Submitted 2 April, 2019; v1 submitted 15 September, 2018; originally announced September 2018.

Comments: We removed one result, Theorem 3.2 of the old version, due to a gap in the proof

Convergence of combinatorial Ricci flows to degenerate circle patterns

Authors: Asuka Takatsu

Abstract: We investigate the combinatorial Ricci flow on a surface of nonpositive Euler characteristic when the necessary and sufficient condition for the convergence of the combinatorial Ricci flow is not valid. This observation addresses one of questions raised by B. Chow and F. Luo. We investigate the combinatorial Ricci flow on a surface of nonpositive Euler characteristic when the necessary and sufficient condition for the convergence of the combinatorial Ricci flow is not valid. This observation addresses one of questions raised by B. Chow and F. Luo. △ Less

Submitted 19 August, 2018; v1 submitted 15 June, 2018; originally announced June 2018.

MSC Class: Primary 53C44; Secondary 52C26

High-dimensional metric-measure limit of Stiefel and Grassmann manifolds

Authors: Takashi Shioya, Asuka Takatsu

Abstract: We study the high-dimensional limit of (projective) Stiefel and Grassmann manifolds as metric measure spaces in Gromov's topology. The limits are either the infinite-dimensional Gaussian space or its quotient by an mm-isomorphic group action, which are drastically different from the manifolds. As a corollary, we obtain some asymptotic estimates of the observable diameter of (projective) Stiefel an… ▽ More We study the high-dimensional limit of (projective) Stiefel and Grassmann manifolds as metric measure spaces in Gromov's topology. The limits are either the infinite-dimensional Gaussian space or its quotient by an mm-isomorphic group action, which are drastically different from the manifolds. As a corollary, we obtain some asymptotic estimates of the observable diameter of (projective) Stiefel and Grassmann manifolds. △ Less

Submitted 16 July, 2015; v1 submitted 4 July, 2015; originally announced July 2015.

Comments: 32 pages

MSC Class: 53C23

Isoperimetric profile of radial probability measures on Euclidean spaces

Authors: Asuka Takatsu

Abstract: We derive the isoperimetric profile of Gaussian type for an absolutely continuous probability measure on Euclidean spaces with respect to the Lebesgue measure, whose density is a radial function.The key is a generalization of the Poincaré limit which asserts that the $n$-dimensional Gaussian measure is approximated by the projections of the uniform probability measure on the Euclidean sphere of ap… ▽ More We derive the isoperimetric profile of Gaussian type for an absolutely continuous probability measure on Euclidean spaces with respect to the Lebesgue measure, whose density is a radial function.The key is a generalization of the Poincaré limit which asserts that the $n$-dimensional Gaussian measure is approximated by the projections of the uniform probability measure on the Euclidean sphere of appropriate radius to the first $n$-coordinates as the dimension diverges to infinity. The generalization is done by replacing the projections with certain maps. △ Less

Submitted 31 December, 2012; originally announced December 2012.

Comments: 16pages

MSC Class: 60B10; 60E15; 60D05

Displacement convexity of generalized relative entropies.II

Authors: Shin-ichi Ohta, Asuka Takatsu

Abstract: We introduce a class of generalized relative entropies (inspired by the Bregman divergence in information theory) on the Wasserstein space over a weighted Riemannian or Finsler manifold. We prove that the convexity of all the entropies in this class is equivalent to the combination of the nonnegative weighted Ricci curvature and the convexity of another weight function used in the definition of th… ▽ More We introduce a class of generalized relative entropies (inspired by the Bregman divergence in information theory) on the Wasserstein space over a weighted Riemannian or Finsler manifold. We prove that the convexity of all the entropies in this class is equivalent to the combination of the nonnegative weighted Ricci curvature and the convexity of another weight function used in the definition of the generalized relative entropies. This convexity condition corresponds to Lott and Villani's version of the curvature-dimension condition. As applications, we obtain appropriate variants of the Talagrand, HWI and logarithmic Sobolev inequalities, as well as the concentration of measures. We also investigate the gradient flow of our generalized relative entropy. △ Less

Submitted 8 April, 2013; v1 submitted 23 December, 2011; originally announced December 2011.

Comments: 76 pages, to appear in Communications in Analysis and Geometry

Equivalence of two orthogonalities between probability measures

Authors: Asuka Takatsu

Abstract: Given any two probability measures on a Euclidean space with mean 0 and finite variance, we demonstrate that the two probability measures are orthogonal in the sense of Wasserstein geometry if and only if the two spaces by spanned by the supports of each probability measure are orthogonal. Given any two probability measures on a Euclidean space with mean 0 and finite variance, we demonstrate that the two probability measures are orthogonal in the sense of Wasserstein geometry if and only if the two spaces by spanned by the supports of each probability measure are orthogonal. △ Less

Submitted 13 October, 2011; originally announced October 2011.

Comments: 5 pages

MSC Class: 60D05; 51F20

Behaviors of $φ$-exponential distributions in Wasserstein geometry and an evolution equation

Authors: Asuka Takatsu

Abstract: A $φ$-exponential distribution is a generalization of an exponential distribution associated to functions $φ$ in an appropriate class, and the space of $φ$-exponential distributions has a dually flat structure. We study features of the space of $φ$-exponential distributions, such as the convexity in Wasserstein geometry and the stability under an evolution equation. From this study, we provide the… ▽ More A $φ$-exponential distribution is a generalization of an exponential distribution associated to functions $φ$ in an appropriate class, and the space of $φ$-exponential distributions has a dually flat structure. We study features of the space of $φ$-exponential distributions, such as the convexity in Wasserstein geometry and the stability under an evolution equation. From this study, we provide the new characterizations to the space of Gaussian measures and the space of $q$-Gaussian measures. △ Less

Submitted 30 September, 2011; originally announced September 2011.

Comments: 13 pages

MSC Class: 60D05; 94A17

Displacement convexity of generalized relative entropies

Authors: Shin-ichi Ohta, Asuka Takatsu

Abstract: We investigate the $m$-relative entropy, which stems from the Bregman divergence, on weighted Riemannian and Finsler manifolds. We prove that the displacement $K$-convexity of the $m$-relative entropy is equivalent to the combination of the nonnegativity of the weighted Ricci curvature and the $K$-convexity of the weight function. We use this to show appropriate variants of the Talagrand, HWI and… ▽ More We investigate the $m$-relative entropy, which stems from the Bregman divergence, on weighted Riemannian and Finsler manifolds. We prove that the displacement $K$-convexity of the $m$-relative entropy is equivalent to the combination of the nonnegativity of the weighted Ricci curvature and the $K$-convexity of the weight function. We use this to show appropriate variants of the Talagrand, HWI and the logarithmic Sobolev inequalities, as well as the concentration of measures. We also prove that the gradient flow of the $m$-relative entropy produces a solution to the porous medium equation or the fast diffusion equation. △ Less

Submitted 4 July, 2011; v1 submitted 8 May, 2010; originally announced May 2010.

Comments: 43pages

MSC Class: 49; 53; 58

Cone structure of $L^2$-Wasserstein spaces

Authors: Asuka Takatsu, Takumi Yokota

Abstract: The purpose of this paper is to understand the geometric structure of the $L^2$-Wasserstein space $\pp$ over the Euclidean space.For this sake, we focus on its cone structure.One of our main results is that the $L^2$-Wasserstein space over a Polish space has a cone structure if and only if so does the underlying space.In particular, $\pp$ turns out to have a cone structure.It is also shown that… ▽ More The purpose of this paper is to understand the geometric structure of the $L^2$-Wasserstein space $\pp$ over the Euclidean space.For this sake, we focus on its cone structure.One of our main results is that the $L^2$-Wasserstein space over a Polish space has a cone structure if and only if so does the underlying space.In particular, $\pp$ turns out to have a cone structure.It is also shown that $\pp$ splits $\R^d$ isometrically but not $\R^{d+1}$. △ Less

Submitted 10 August, 2009; v1 submitted 15 December, 2008; originally announced December 2008.

Comments: 12 pages

MSC Class: 60D05; 51K10; 58B20

On Wasserstein geometry of the space of Gaussian measures

Authors: Asuka Takatsu

Abstract: The space of Gaussian measures on a Euclidean space is geodesically convex in the $L^2$-Wasserstein space. This space is a finite dimensional manifold since Gaussian measures are parameterized by means and covariance matrices. By restricting to the space of Gaussian measures inside the $L^2$-Wasserstein space, we manage to provide detailed descriptions of the $L^2$-Wasserstein geometry from a Ri… ▽ More The space of Gaussian measures on a Euclidean space is geodesically convex in the $L^2$-Wasserstein space. This space is a finite dimensional manifold since Gaussian measures are parameterized by means and covariance matrices. By restricting to the space of Gaussian measures inside the $L^2$-Wasserstein space, we manage to provide detailed descriptions of the $L^2$-Wasserstein geometry from a Riemannian geometric viewpoint. We first construct a Riemannian metric which induces the $L^2$-Wasserstein distance. Then we obtain a formula for the sectional curvatures of the space of Gaussian measures, which is written out in terms of the eigenvalues of the covariance matrix. △ Less

Submitted 11 February, 2009; v1 submitted 15 January, 2008; originally announced January 2008.

Comments: 15pages, 1figures

MSC Class: 60D05; 28A33