Isoperimetry for spherically symmetric log-concave probability measures (Q533383): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(4 intermediate revisions by 3 users not shown) | |||
Property / review text | |||
An isoperimetric inequality for probability measures \(\mu\) on \({\mathbb R}^n\) with density proportional to \(\exp (-\phi(\lambda|x|))\) is proved. The isoperimetric function of \(\mu\) is the largest function \(Is_{\mu}\) on \([0,1]\) such that for all Borel sets \(A\), \(\mu^+(\partial A)\geq Is_{\mu(A)}\) holds, where \(\mu^+(\partial A)=\liminf_{\varepsilon \rightarrow 0^+}\frac{\mu(A_{\varepsilon})-\mu(A)}{\varepsilon}\) and \(A_{\varepsilon}=\{ x\in X: d(x,A) \leq \varepsilon\}\). Let \(\phi: {\mathbb R}^+ \rightarrow {\mathbb R}^+\) be a convex non-decreasing function of class \(C^2\) such that \(\phi(0)=0\); we say then that \(\phi\) satisfies \((H0)\). The following probability measure on \({\mathbb R}^n\) is considered: \[ \mu_{n,\phi} (dx)=\frac{e^{-\phi(|x|)}dx}{Z_{n,\phi}}. \] Also, for \(\phi\) satisfying \((H0)\), a continuous function \(J_{n,\phi}\), symmetric around \(\frac 12\), is defined on \([0,\frac 12]\) by \[ J_{n,\phi}(a)= \frac{\phi^{-1}(n)}{\sqrt n}\frac{a\log \frac 1a}{\phi^{-1}(\log \frac 1a)} \] if \(a\leq e^{-n} \) and \(J_{n,\phi}(a)= a\sqrt{\log \frac 1a}\) if \( a\geq e^{-n}.\) Let us introduce some other symbols: {\parindent6mm \begin{itemize}\item[a)] We say that \(\phi\) satisfies \((H1)\) if \(\phi\) satisfies \((H0)\) and \(x\mapsto \phi(x)/x^2\) is non-increasing. \item[b)] We say that \(\phi\) satisfies \((H2)\) if \(\phi\) satisfies \((H0)\) and \(x\mapsto \phi(x)/x^2\) is non-decreasing. \item[c)] We say that \(\phi\) satisfies \((H2(\alpha,\beta))\) if \(\phi\) satisfies \((H0)\) and there exist \(\alpha \geq \beta \geq 2\) such that \(x\mapsto \phi(x)/x^{\alpha}\) is non-increasing and \(x\mapsto \phi(x)/x^{\beta}\) is non-decreasing. \end{itemize}} The main result is the following theorem. Theorem. a) Let \(\phi\) be a function satisfying \((H1)\) or \((H2)\), and \(n\in {\mathbb N}^*\). Then there exists a universal constant \(C>0\) such that \[ \forall a\in [0,1], \;\;\;Is_{\mu_{n,\phi}} \geq C \frac{\sqrt n}{\phi^{-1}(n)} J_{n,\phi}(a). \] b) Let \(\phi\) be a function satisfying \((H1)\), \(\alpha =2\), and \(\beta = 1\), or \(\phi\) be a function satisfying \((H2(\alpha, \beta))\) with \(\alpha \geq \beta \geq 2\). If we choose \(\lambda >0\) such that \(\mu_{n,\phi_{\lambda}}\) is isotropic, then there exist universal \(n_0\in {\mathbb N}^*\) and \(C>0\) such that, for every \(n\geq n_0\), \[ \forall a\in [0,1], \;\;\;Is_{\mu_{n,\phi}} \geq C (1/\alpha)^{1/\beta} J_{n,\phi}(a). \] Also, isoperimetric inequalities not depending on the dimension \(n\) are deduced. | |||
Property / review text: An isoperimetric inequality for probability measures \(\mu\) on \({\mathbb R}^n\) with density proportional to \(\exp (-\phi(\lambda|x|))\) is proved. The isoperimetric function of \(\mu\) is the largest function \(Is_{\mu}\) on \([0,1]\) such that for all Borel sets \(A\), \(\mu^+(\partial A)\geq Is_{\mu(A)}\) holds, where \(\mu^+(\partial A)=\liminf_{\varepsilon \rightarrow 0^+}\frac{\mu(A_{\varepsilon})-\mu(A)}{\varepsilon}\) and \(A_{\varepsilon}=\{ x\in X: d(x,A) \leq \varepsilon\}\). Let \(\phi: {\mathbb R}^+ \rightarrow {\mathbb R}^+\) be a convex non-decreasing function of class \(C^2\) such that \(\phi(0)=0\); we say then that \(\phi\) satisfies \((H0)\). The following probability measure on \({\mathbb R}^n\) is considered: \[ \mu_{n,\phi} (dx)=\frac{e^{-\phi(|x|)}dx}{Z_{n,\phi}}. \] Also, for \(\phi\) satisfying \((H0)\), a continuous function \(J_{n,\phi}\), symmetric around \(\frac 12\), is defined on \([0,\frac 12]\) by \[ J_{n,\phi}(a)= \frac{\phi^{-1}(n)}{\sqrt n}\frac{a\log \frac 1a}{\phi^{-1}(\log \frac 1a)} \] if \(a\leq e^{-n} \) and \(J_{n,\phi}(a)= a\sqrt{\log \frac 1a}\) if \( a\geq e^{-n}.\) Let us introduce some other symbols: {\parindent6mm \begin{itemize}\item[a)] We say that \(\phi\) satisfies \((H1)\) if \(\phi\) satisfies \((H0)\) and \(x\mapsto \phi(x)/x^2\) is non-increasing. \item[b)] We say that \(\phi\) satisfies \((H2)\) if \(\phi\) satisfies \((H0)\) and \(x\mapsto \phi(x)/x^2\) is non-decreasing. \item[c)] We say that \(\phi\) satisfies \((H2(\alpha,\beta))\) if \(\phi\) satisfies \((H0)\) and there exist \(\alpha \geq \beta \geq 2\) such that \(x\mapsto \phi(x)/x^{\alpha}\) is non-increasing and \(x\mapsto \phi(x)/x^{\beta}\) is non-decreasing. \end{itemize}} The main result is the following theorem. Theorem. a) Let \(\phi\) be a function satisfying \((H1)\) or \((H2)\), and \(n\in {\mathbb N}^*\). Then there exists a universal constant \(C>0\) such that \[ \forall a\in [0,1], \;\;\;Is_{\mu_{n,\phi}} \geq C \frac{\sqrt n}{\phi^{-1}(n)} J_{n,\phi}(a). \] b) Let \(\phi\) be a function satisfying \((H1)\), \(\alpha =2\), and \(\beta = 1\), or \(\phi\) be a function satisfying \((H2(\alpha, \beta))\) with \(\alpha \geq \beta \geq 2\). If we choose \(\lambda >0\) such that \(\mu_{n,\phi_{\lambda}}\) is isotropic, then there exist universal \(n_0\in {\mathbb N}^*\) and \(C>0\) such that, for every \(n\geq n_0\), \[ \forall a\in [0,1], \;\;\;Is_{\mu_{n,\phi}} \geq C (1/\alpha)^{1/\beta} J_{n,\phi}(a). \] Also, isoperimetric inequalities not depending on the dimension \(n\) are deduced. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Sanja Varošanec / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 26D10 / 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: 28A75 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 5883102 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
convex function | |||
Property / zbMATH Keywords: convex function / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
isoperimetric inequalities | |||
Property / zbMATH Keywords: isoperimetric inequalities / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 0902.0743 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2734149 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Levels of concentration between exponential and Gaussian / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Log-concave and spherical models in isoperimetry / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Infinite dimensional isoperimetric inequalities in product spaces with the supremum distance / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Interpolated inequalities between exponential and Gaussian, Orlicz hypercontractivity and isoperimetry / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Isoperimetry between exponential and Gaussian / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Sobolev inequalities for probability measures on the real line / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Extremal properties of half-spaces for log-concave distributions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Isoperimetric and analytic inequalities for log-concave probability measures / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4424439 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Convex measures on locally convex spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A Topological Application of the Isoperimetric Inequality / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Isoperimetric problems for convex bodies and a localization lemma / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A central limit theorem for convex sets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2702147 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2756809 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3160536 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the role of convexity in functional and isoperimetric inequalities / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the role of convexity in isoperimetry, spectral gap and concentration / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An isoperimetric inequality on the \(\ell _p\) balls / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 00:53, 4 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Isoperimetry for spherically symmetric log-concave probability measures |
scientific article |
Statements
Isoperimetry for spherically symmetric log-concave probability measures (English)
0 references
3 May 2011
0 references
An isoperimetric inequality for probability measures \(\mu\) on \({\mathbb R}^n\) with density proportional to \(\exp (-\phi(\lambda|x|))\) is proved. The isoperimetric function of \(\mu\) is the largest function \(Is_{\mu}\) on \([0,1]\) such that for all Borel sets \(A\), \(\mu^+(\partial A)\geq Is_{\mu(A)}\) holds, where \(\mu^+(\partial A)=\liminf_{\varepsilon \rightarrow 0^+}\frac{\mu(A_{\varepsilon})-\mu(A)}{\varepsilon}\) and \(A_{\varepsilon}=\{ x\in X: d(x,A) \leq \varepsilon\}\). Let \(\phi: {\mathbb R}^+ \rightarrow {\mathbb R}^+\) be a convex non-decreasing function of class \(C^2\) such that \(\phi(0)=0\); we say then that \(\phi\) satisfies \((H0)\). The following probability measure on \({\mathbb R}^n\) is considered: \[ \mu_{n,\phi} (dx)=\frac{e^{-\phi(|x|)}dx}{Z_{n,\phi}}. \] Also, for \(\phi\) satisfying \((H0)\), a continuous function \(J_{n,\phi}\), symmetric around \(\frac 12\), is defined on \([0,\frac 12]\) by \[ J_{n,\phi}(a)= \frac{\phi^{-1}(n)}{\sqrt n}\frac{a\log \frac 1a}{\phi^{-1}(\log \frac 1a)} \] if \(a\leq e^{-n} \) and \(J_{n,\phi}(a)= a\sqrt{\log \frac 1a}\) if \( a\geq e^{-n}.\) Let us introduce some other symbols: {\parindent6mm \begin{itemize}\item[a)] We say that \(\phi\) satisfies \((H1)\) if \(\phi\) satisfies \((H0)\) and \(x\mapsto \phi(x)/x^2\) is non-increasing. \item[b)] We say that \(\phi\) satisfies \((H2)\) if \(\phi\) satisfies \((H0)\) and \(x\mapsto \phi(x)/x^2\) is non-decreasing. \item[c)] We say that \(\phi\) satisfies \((H2(\alpha,\beta))\) if \(\phi\) satisfies \((H0)\) and there exist \(\alpha \geq \beta \geq 2\) such that \(x\mapsto \phi(x)/x^{\alpha}\) is non-increasing and \(x\mapsto \phi(x)/x^{\beta}\) is non-decreasing. \end{itemize}} The main result is the following theorem. Theorem. a) Let \(\phi\) be a function satisfying \((H1)\) or \((H2)\), and \(n\in {\mathbb N}^*\). Then there exists a universal constant \(C>0\) such that \[ \forall a\in [0,1], \;\;\;Is_{\mu_{n,\phi}} \geq C \frac{\sqrt n}{\phi^{-1}(n)} J_{n,\phi}(a). \] b) Let \(\phi\) be a function satisfying \((H1)\), \(\alpha =2\), and \(\beta = 1\), or \(\phi\) be a function satisfying \((H2(\alpha, \beta))\) with \(\alpha \geq \beta \geq 2\). If we choose \(\lambda >0\) such that \(\mu_{n,\phi_{\lambda}}\) is isotropic, then there exist universal \(n_0\in {\mathbb N}^*\) and \(C>0\) such that, for every \(n\geq n_0\), \[ \forall a\in [0,1], \;\;\;Is_{\mu_{n,\phi}} \geq C (1/\alpha)^{1/\beta} J_{n,\phi}(a). \] Also, isoperimetric inequalities not depending on the dimension \(n\) are deduced.
0 references
convex function
0 references
isoperimetric inequalities
0 references
0 references
0 references