Searcharxiv⌕ Search

arXiv subjects

Alexander V. Kolesnikov

Publications and source records attributed to Alexander V. Kolesnikov.

42 records · Page 3Linked to original sources

Mass transportation and contractions

According to a celebrated result of L. Caffarelli, every optimal mass transportation mapping pushing forward the standard Gaussian measure onto a log-concave measure $e^{-W} dx$ with $D^2 W \ge {Id}$ is 1-Lipschitz. We present a short survey of related results and various applications.

math.PR↗

On global Hölder estimates for optimal transportation

We generalize a well-known result of L. Caffarelli on Lipschitz estimates for optimal transportation $T$ between uniformly log-concave probability measures. Let $T : \R^d \to \R^d$ be an optimal transportation pushing forward $μ= e^{-V}dx$ to $ν= e^{-W}dx$. Assume that 1) the second differential quotient of $V$ can be estimated from above by a power function, 2) modulus of convexity of $W$ can be estimated from below by $A_q |x|^{1+q}$, $q \ge 1$. Under these assumptions we show that $T$ is globally Hölder with a dimension-free coefficient. In addition, we study optimal transportation $T$ between $μ$ and the uniform measure on a bounded convex set $K \subset \R^d$. We get estimates for the Lipschitz constant of $T$ in terms of $d$, ${diam(K)}$ and $D V, D^2 V$.

math.FA↗

Mass transport generated by a flow of Gauss maps

Let $A \subset \mathbb{R}^d$, $d\ge 2$, be a compact convex set and let $μ= \varrho_0 dx$ be a probability measure on $A$ equivalent to the restriction of Lebesgue measure. Let $ν= \varrho_1 dx$ be a probability measure on $B_r := \{x\colon |x| \le r\}$ equivalent to the restriction of Lebesgue measure. We prove that there exists a mapping $T$ such that $ν= μ\circ T^{-1}$ and $T = ϕ\cdot {\rm n}$, where $ϕ\colon A \to [0,r]$ is a continuous potential with convex sub-level sets and ${\rm n}$ is the Gauss map of the corresponding level sets of $ϕ$. Moreover, $T$ is invertible and essentially unique. Our proof employs the optimal transportation techniques. We show that in the case of smooth $ϕ$ the level sets of $ϕ$ are driven by the Gauss curvature flow $\dot{x}(s) = -s^{d-1} \frac{\varrho_1(s {\rm n})}{\varrho_0(x)} K(x) \cdot {\rm n}(x)$, where $K$ is the Gauss curvature. As a by-product one can reprove the existence of weak solutions of the classical Gauss curvature flow starting from a convex hypersurface.

math.DG↗

Mass transport and variants of the logarithmic Sobolev inequality

We develop the optimal transportation approach to modified log-Sobolev inequalities and to isoperimetric inequalities. Various sufficient conditions for such inequalities are given. Some of them are new even in the classical log-Sobolev case. The idea behind many of these conditions is that measures with a non-convex potential may enjoy such functional inequalities provided they have a strong integrability property that balances the lack of convexity. In addition, several known criteria are recovered in a simple unified way by transportation methods and generalized to the Riemannian setting.

math.PR↗

Modified log-Sobolev inequalities and isoperimetry

We find sufficient conditions for a probability measure $μ$ to satisfy an inequality of the type $$ \int_{\R^d} f^2 F\Bigl(\frac{f^2}{\int_{\R^d} f^2 d μ} \Bigr) d μ\le C \int_{\R^d} f^2 c^{*}\Bigl(\frac{|\nabla f|}{|f|} \Bigr) d μ+ B \int_{\R^d} f^2 d μ, $$ where $F$ is concave and $c$ (a cost function) is convex. We show that under broad assumptions on $c$ and $F$ the above inequality holds if for some $δ>0$ and $ε>0$ one has $$ \int_{0}^ε Φ\Bigl(δc\Bigl[\frac{t F(\frac{1}{t})}{{\mathcal I}_μ(t)} \Bigr] \Bigr) dt < \infty, $$ where ${\mathcal I}_μ$ is the isoperimetric function of $μ$ and $Φ= (y F(y) -y)^{*}$. In a partial case $${\mathcal I}_μ(t) \ge k t ϕ^{1-\frac{1}α} (1/t), $$ where $ϕ$ is a concave function growing not faster than $\log$, $k>0$, $1 < α\le 2$ and $t \le 1/2$, we establish a family of tight inequalities interpolating between the $F$-Sobolev and modified inequalities of log-Sobolev type. A basic example is given by convex measures satisfying certain integrability assumptions.

math.PR↗