A new characterization of Talagrand's transport-entropy inequalities and applications (Q533741): Difference between revisions
From MaRDI portal
Created a new Item |
Set OpenAlex properties. |
||
(5 intermediate revisions by 4 users not shown) | |||
Property / review text | |||
The starting point of the paper under review is Talagrand's transportation cost inequality for \(\mu, \nu\in M^1(\mathbb{R}^k)\), a cost function \(c:\mathbb{R}^k\to\mathbb{R}_+\) (with \(c(0)=\nabla c(0)=0\)) and a constant \(C>0\): \[ T_c(\nu,\mu) \leq C\cdot H(\nu|\mu), \tag{\(T_c(C)\)} \] where the optimal transport costs are defined as \[ T_c(\nu,\mu) = \inf_\pi \iint c(x-y)d\pi(x,y), \] the infimum is taken over all \(\pi\in M^1(\mathbb{R}^{2k})\) with marginals \(\nu\) and \(\mu\), respectively, and the relative entropy is respectively defined as \(H(\nu|\mu)=\int \log(d\nu/d\mu) d\nu\) if \(\nu\) is absolutely continuous with respect to \(\mu\), and \(H(\nu|\mu)=\infty\) otherwise, cf., e.g., for Gaussian laws and quadratic cost functions [\textit{M. Talagrand}, ``Transportation cost for Gaussian and other product measures'', Geom. Funct. Anal. 6, No.~3, 587--600 (1996; Zbl 0859.46030)]. These inequalities are closely related to logarithmic Sobolev inequalities, c.f., e.g., [\textit{F. Otto} and \textit{C. Villani}, ``Generalization of an inequality by Talagrand and links with the logarithmic Sobolev inequality'', J. Funct. Anal. 173, No.~2, 361--400 (2000; Zbl 0985.58019)]. In the present investigation, the authors prove (among other results of independent interest) the equivalence of \((T_c(C_1))\) with restricted versions of logarithmic Sobolev inequalities (Theorem 1.5), as \[ \text{Ent}_\mu(e^f) \leq \eta/(1-C_2(\eta+K))\int c^*(\nabla f/\eta)e^f d\mu \] and \[ \text{Ent}_\mu(e^f) \leq 2C_3/(1-KC_3)^2 \int |\nabla f|^2 e^f d\mu \] for \(f\) belonging to a class of functions (\(K\) semi convex functions) \(K, C_i,\eta\) denoting suitable positive constants and \[ \begin{aligned}\text{Ent}_\mu(g)&:=\int g\log g d\mu - \int g d\mu \log\int g d\mu, \\ c^*(u)&:= \sup_{h\in\mathbb{R}^k} \{\langle u,h\rangle -c(h)\}, \end{aligned} \] and particular cost functions \(c(x):=\sum_1^k\alpha_i(x_i)\) with concave \(\alpha_i\in C^1(\mathbb{R})\), \(\alpha_i(0)=\alpha_i'(0)=0\). The paper closes with possible extensions of the main results, as extensions to Riemannian manifolds, relations to other types of logarithmic Sobolev inequalities, and to Poincaré's inequality. (For background, see, e.g., [\textit{S. G. Bobkov, I. Gentil} and \textit{M. Ledoux}, ``Hypercontractivity of Hamilton-Jacobi equations'', J. Math. Pures Appl. (9) 80, No.~7, 669--696 (2001; Zbl 1038.35020); \textit{S. G. Bobkov} and \textit{M. Ledoux}, ``Poincaré's inequalities and Talagrand's concentration phenomenon for the exponential distribution'', Probab. Theory Relat. Fields 107, No.~3, 383--400 (1997; Zbl 0878.60014)]). | |||
Property / review text: The starting point of the paper under review is Talagrand's transportation cost inequality for \(\mu, \nu\in M^1(\mathbb{R}^k)\), a cost function \(c:\mathbb{R}^k\to\mathbb{R}_+\) (with \(c(0)=\nabla c(0)=0\)) and a constant \(C>0\): \[ T_c(\nu,\mu) \leq C\cdot H(\nu|\mu), \tag{\(T_c(C)\)} \] where the optimal transport costs are defined as \[ T_c(\nu,\mu) = \inf_\pi \iint c(x-y)d\pi(x,y), \] the infimum is taken over all \(\pi\in M^1(\mathbb{R}^{2k})\) with marginals \(\nu\) and \(\mu\), respectively, and the relative entropy is respectively defined as \(H(\nu|\mu)=\int \log(d\nu/d\mu) d\nu\) if \(\nu\) is absolutely continuous with respect to \(\mu\), and \(H(\nu|\mu)=\infty\) otherwise, cf., e.g., for Gaussian laws and quadratic cost functions [\textit{M. Talagrand}, ``Transportation cost for Gaussian and other product measures'', Geom. Funct. Anal. 6, No.~3, 587--600 (1996; Zbl 0859.46030)]. These inequalities are closely related to logarithmic Sobolev inequalities, c.f., e.g., [\textit{F. Otto} and \textit{C. Villani}, ``Generalization of an inequality by Talagrand and links with the logarithmic Sobolev inequality'', J. Funct. Anal. 173, No.~2, 361--400 (2000; Zbl 0985.58019)]. In the present investigation, the authors prove (among other results of independent interest) the equivalence of \((T_c(C_1))\) with restricted versions of logarithmic Sobolev inequalities (Theorem 1.5), as \[ \text{Ent}_\mu(e^f) \leq \eta/(1-C_2(\eta+K))\int c^*(\nabla f/\eta)e^f d\mu \] and \[ \text{Ent}_\mu(e^f) \leq 2C_3/(1-KC_3)^2 \int |\nabla f|^2 e^f d\mu \] for \(f\) belonging to a class of functions (\(K\) semi convex functions) \(K, C_i,\eta\) denoting suitable positive constants and \[ \begin{aligned}\text{Ent}_\mu(g)&:=\int g\log g d\mu - \int g d\mu \log\int g d\mu, \\ c^*(u)&:= \sup_{h\in\mathbb{R}^k} \{\langle u,h\rangle -c(h)\}, \end{aligned} \] and particular cost functions \(c(x):=\sum_1^k\alpha_i(x_i)\) with concave \(\alpha_i\in C^1(\mathbb{R})\), \(\alpha_i(0)=\alpha_i'(0)=0\). The paper closes with possible extensions of the main results, as extensions to Riemannian manifolds, relations to other types of logarithmic Sobolev inequalities, and to Poincaré's inequality. (For background, see, e.g., [\textit{S. G. Bobkov, I. Gentil} and \textit{M. Ledoux}, ``Hypercontractivity of Hamilton-Jacobi equations'', J. Math. Pures Appl. (9) 80, No.~7, 669--696 (2001; Zbl 1038.35020); \textit{S. G. Bobkov} and \textit{M. Ledoux}, ``Poincaré's inequalities and Talagrand's concentration phenomenon for the exponential distribution'', Probab. Theory Relat. Fields 107, No.~3, 383--400 (1997; Zbl 0878.60014)]). / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Wilfried Hazod / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 60E15 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 60F10 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 26D10 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 5885397 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
concentration of measure | |||
Property / zbMATH Keywords: concentration of measure / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
transport inequalities | |||
Property / zbMATH Keywords: transport inequalities / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Talagrand inequality | |||
Property / zbMATH Keywords: Talagrand inequality / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Hamilton-Jacobi equations | |||
Property / zbMATH Keywords: Hamilton-Jacobi equations / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
logarithmic Sobolev inequalities | |||
Property / zbMATH Keywords: logarithmic Sobolev inequalities / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1104.1303 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2734149 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Mass transport and variants of the logarithmic Sobolev inequality / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Modified logarithmic Sobolev inequalities on \(\mathbb{R}\) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Hypercontractivity of Hamilton-Jacobi equations. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Exponential integrability and transportation cost related to logarithmic Sobolev inequalities / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Poincaré's inequalities and Talagrand's concentration phenomenon for the exponential distribution / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On quadratic transportation cost inequalities / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5460529 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4399897 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Modified logarithmic Sobolev inequalities and transportation inequalities / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Modified logarithmic Sobolev inequalities in null curvature / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Characterization of Talagrand's like transportation-cost inequalities on the real line / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A characterization of dimension free concentration in terms of transportation inequalities / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Transport Inequalities. A Survey / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Logarithmic Sobolev Inequalities / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Logarithmic Sobolev inequalities and stochastic Ising models / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2756809 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Hamilton-Jacobi semigroup on length spaces and applications / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A simple proof of the blowing-up lemma (Corresp.) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Some deviation inequalities / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Isoperimetric and concentration inequalities: equivalence under curvature lower bound / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Combinatorics on words in symbolic dynamics: The quadratic map / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Generalization of an inequality by Talagrand and links with the logarithmic Sobolev inequality / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Gradient flows and diffusion semigroups in metric spaces under lower curvature bounds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Some inequalities satisfied by the quantities of information of Fisher and Shannon / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4037241 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Transportation cost for Gaussian and other product measures / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Optimal Transport / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W3100376590 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 10:50, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A new characterization of Talagrand's transport-entropy inequalities and applications |
scientific article |
Statements
A new characterization of Talagrand's transport-entropy inequalities and applications (English)
0 references
6 May 2011
0 references
The starting point of the paper under review is Talagrand's transportation cost inequality for \(\mu, \nu\in M^1(\mathbb{R}^k)\), a cost function \(c:\mathbb{R}^k\to\mathbb{R}_+\) (with \(c(0)=\nabla c(0)=0\)) and a constant \(C>0\): \[ T_c(\nu,\mu) \leq C\cdot H(\nu|\mu), \tag{\(T_c(C)\)} \] where the optimal transport costs are defined as \[ T_c(\nu,\mu) = \inf_\pi \iint c(x-y)d\pi(x,y), \] the infimum is taken over all \(\pi\in M^1(\mathbb{R}^{2k})\) with marginals \(\nu\) and \(\mu\), respectively, and the relative entropy is respectively defined as \(H(\nu|\mu)=\int \log(d\nu/d\mu) d\nu\) if \(\nu\) is absolutely continuous with respect to \(\mu\), and \(H(\nu|\mu)=\infty\) otherwise, cf., e.g., for Gaussian laws and quadratic cost functions [\textit{M. Talagrand}, ``Transportation cost for Gaussian and other product measures'', Geom. Funct. Anal. 6, No.~3, 587--600 (1996; Zbl 0859.46030)]. These inequalities are closely related to logarithmic Sobolev inequalities, c.f., e.g., [\textit{F. Otto} and \textit{C. Villani}, ``Generalization of an inequality by Talagrand and links with the logarithmic Sobolev inequality'', J. Funct. Anal. 173, No.~2, 361--400 (2000; Zbl 0985.58019)]. In the present investigation, the authors prove (among other results of independent interest) the equivalence of \((T_c(C_1))\) with restricted versions of logarithmic Sobolev inequalities (Theorem 1.5), as \[ \text{Ent}_\mu(e^f) \leq \eta/(1-C_2(\eta+K))\int c^*(\nabla f/\eta)e^f d\mu \] and \[ \text{Ent}_\mu(e^f) \leq 2C_3/(1-KC_3)^2 \int |\nabla f|^2 e^f d\mu \] for \(f\) belonging to a class of functions (\(K\) semi convex functions) \(K, C_i,\eta\) denoting suitable positive constants and \[ \begin{aligned}\text{Ent}_\mu(g)&:=\int g\log g d\mu - \int g d\mu \log\int g d\mu, \\ c^*(u)&:= \sup_{h\in\mathbb{R}^k} \{\langle u,h\rangle -c(h)\}, \end{aligned} \] and particular cost functions \(c(x):=\sum_1^k\alpha_i(x_i)\) with concave \(\alpha_i\in C^1(\mathbb{R})\), \(\alpha_i(0)=\alpha_i'(0)=0\). The paper closes with possible extensions of the main results, as extensions to Riemannian manifolds, relations to other types of logarithmic Sobolev inequalities, and to Poincaré's inequality. (For background, see, e.g., [\textit{S. G. Bobkov, I. Gentil} and \textit{M. Ledoux}, ``Hypercontractivity of Hamilton-Jacobi equations'', J. Math. Pures Appl. (9) 80, No.~7, 669--696 (2001; Zbl 1038.35020); \textit{S. G. Bobkov} and \textit{M. Ledoux}, ``Poincaré's inequalities and Talagrand's concentration phenomenon for the exponential distribution'', Probab. Theory Relat. Fields 107, No.~3, 383--400 (1997; Zbl 0878.60014)]).
0 references
concentration of measure
0 references
transport inequalities
0 references
Talagrand inequality
0 references
Hamilton-Jacobi equations
0 references
logarithmic Sobolev inequalities
0 references
0 references
0 references
0 references
0 references