Concentration of measure via approximated Brunn--Minkowski inequalities

Masayoshi Watanabe

DOI: https://doi.org/10.48550/arXiv.0805.0902

2008-05-07

Abstract:We prove that an approximated version of the Brunn--Minkowski inequality with volume distortion coefficient implies a Gaussian concentration-of-measure phenomenon. Our main theorem is applicable to discrete spaces.

Differential Geometry,Probability

What problem does this paper attempt to address?

The Lp-Brunn-Minkowski Inequality for P < 1

Shibing Chen,Yong Huang,Qi-Rui Li,Jiakun Liu

DOI: https://doi.org/10.1016/j.aim.2020.107166

IF: 1.675

2020-01-01

Advances in Mathematics

Abstract:In this paper, we confirm the Lp-Brunn-Minkowski inequality conjecture for p close to 1. The logarithmic-Brunn-Minkowski inequality is also verified for convex bodies close to the unit ball in Hausdorff distance.
$L_p$-Brunn-Minkowski inequality for $pin (1-frac{c}{n^{frac{3}{2}}}, 1)$

Shibing Chen,Yong Huang,Qi-rui Li,Jiakun Liu

2018-01-01

Abstract:Kolesnikov-Milman [9] established a local $L_p$-Brunn-Minkowski inequality for $pin(1-c/n^{frac{3}{2}},1).$ Based on their local uniqueness results for the $L_p$-Minkowski problem, we prove in this paper the (global) $L_p$-Brunn-Minkowski inequality. Two uniqueness results are also obtained: the first one is for the $L_p$-Minkowski problem when $pin (1-c/n^{frac{3}{2}}, 1)$ for general measure with even positive $C^{alpha}$ density, and the second one is for the Logarithmic Minkowski problem when the density of measure is a small $C^{alpha}$ even perturbation of the uniform density.
On the Brunn-Minkowski inequality for general measures with applications to new isoperimetric-type inequalities

Galyna Livshyts,Arnaud Marsiglietti,Piotr Nayar,Artem Zvavitch

DOI: https://doi.org/10.48550/arXiv.1504.04878

2015-07-09

Abstract:In this paper we present new versions of the classical Brunn-Minkowski inequality for different classes of measures and sets. We show that the inequality \[ \mu(\lambda A + (1-\lambda)B)^{1/n} \geq \lambda \mu(A)^{1/n} + (1-\lambda)\mu(B)^{1/n} \] holds true for an unconditional product measure $\mu$ with decreasing density and a pair of unconditional convex bodies $A,B \subset \mathbb{R}^n$. We also show that the above inequality is true for any unconditional $\log$-concave measure $\mu$ and unconditional convex bodies $A,B \subset \mathbb{R}^n$. Finally, we prove that the inequality is true for a symmetric $\log$-concave measure $\mu$ and a pair of symmetric convex sets $A,B \subset \mathbb{R}^2$, which, in particular, settles two-dimensional case of the conjecture for Gaussian measure proposed by R. Gardner and the fourth named author. In addition, we deduce the $1/n$-concavity of the parallel volume $t \mapsto \mu(A+tB)$, Brunn's type theorem and certain analogues of Minkowski first inequality.

Probability
Efficient Concentration with Gaussian Approximation

Morgane Austern,Lester Mackey

2024-05-22

Abstract:Concentration inequalities for the sample mean, like those due to Bernstein and Hoeffding, are valid for any sample size but overly conservative, yielding confidence intervals that are unnecessarily wide. The central limit theorem (CLT) provides asymptotic confidence intervals with optimal width, but these are invalid for all sample sizes. To resolve this tension, we develop new computable concentration inequalities with asymptotically optimal size, finite-sample validity, and sub-Gaussian decay. These bounds enable the construction of efficient confidence intervals with correct coverage for any sample size and efficient empirical Berry-Esseen bounds that require no prior knowledge of the population variance. We derive our inequalities by tightly bounding non-uniform Kolmogorov and Wasserstein distances to a Gaussian using zero-bias couplings and Stein's method of exchangeable pairs.

Probability,Statistics Theory
Stability for the Brunn-Minkowski and Riesz Rearrangement Inequalities, with Applications to Gaussian Concentration and Finite Range Non-local Isoperimetry

Eric Carlen,Francesco Maggi

DOI: https://doi.org/10.4153/cjm-2016-026-9

2017-10-01

Canadian Journal of Mathematics

Abstract:Abstract We provide a simple, general argument to obtain improvements of concentration-type inequalities starting from improvements of their corresponding isoperimetric-type inequalities. We apply this argument to obtain robust improvements of the Brunn-Minkowski inequality (for Minkowski sums between generic sets and convex sets) and of the Gaussian concentration inequality. The former inequality is then used to obtain a robust improvement of the Riesz rearrangement inequality under certain natural conditions. These conditions are compatible with the applications to a finite-range nonlocal isoperimetric problem arising in statistical mechanics
New Brunn--Minkowski and functional inequalities via convexity of entropy

Gautam Aishwarya,Liran Rotem

2024-02-23

Abstract:We study the connection between the concavity properties of a measure $\nu$ and the convexity properties of the associated relative entropy $D(\cdot \Vert \nu)$ along optimal transport. As a corollary we prove a new dimensional Brunn-Minkowski inequality for centered star-shaped bodies, when the measure $\nu$ is log-concave with a p-homogeneous potential (such as the Gaussian measure). Our method allows us to go beyond the usual convexity assumption on the sets that is fundamentally essential for the standard differential-geometric technique in this area. We then take a finer look at the convexity properties of the Gaussian relative entropy, which yields new functional inequalities. First we obtain curvature and dimensional reinforcements to Otto--Villani's "HWI" inequality in the Gauss space, when restricted to even strongly log-concave measures. As corollaries, we obtain improved versions of Gross' logarithmic Sobolev inequality and Talgrand's transportation cost inequality in this setting.

Metric Geometry,Information Theory,Probability
The strong Brunn–Minkowski inequality and its equivalence with the [math] condition

Mattia Magnabosco,Lorenzo Portinale,Tommaso Rossi

DOI: https://doi.org/10.1142/s0219199724500251

2024-08-24

Communications in Contemporary Mathematics

Abstract:Communications in Contemporary Mathematics, Ahead of Print. In the setting of essentially non-branching metric measure spaces, we prove the equivalence between the curvature dimension condition [math], in the sense of Lott–Sturm–Villani [Sturm, On the geometry of metric measure spaces. I, Acta Math. 196(1) (2006) 65–131; On the geometry of metric measure spaces. II, Acta Math. 196(1) (2006) 133–177; Ricci curvature for metric-measure spaces via optimal transport, Ann. of Math. (2) 169(3) (2009) 903–991], and a newly introduced notion that we call strong Brunn–Minkowski inequality [math]. This condition is a reinforcement of the generalized Brunn–Minkowski inequality [math], which is known to hold in [math] spaces. Our result is a first step toward providing a full equivalence between the [math] condition and the validity of [math], which has been recently proved in [M. Magnabosco, L. Portinale and T. Rossi, The Brunn–Minkowski inequality implies the CD condition in weighted Riemannian manifolds, Nonlinear Anal. 242 (2024) 113502] in the framework of weighted Riemannian manifolds.

mathematics, applied
The sharp doubling threshold for approximate convexity

Peter van Hintum,Peter Keevash

2023-04-04

Abstract:We show for $A,B\subset\mathbb{R}^d$ of equal volume and $t\in (0,1/2]$ that if $|tA+(1-t)B|< (1+t^d)|A|$, then (up to translation) $|\text{co}(A\cup B)|/|A|$ is bounded. This establishes the sharp threshold for Figalli and Jerison's quantative stability of the Brunn-Minkowski inequality. We additionally establish a similar sharp threshold for iterated sumsets.

Metric Geometry,Combinatorics
Near equality in the two-dimensional Brunn-Minkowski inequality

Michael Christ

DOI: https://doi.org/10.48550/arXiv.1206.1965

2012-07-21

Abstract:If a pair of subsets of two-dimensional Euclidean space nearly achieves equality in the Brunn-Minkowski inequality, in the sense that the measure of the associated sumset is nearly equal to the lower bound provided by the inequality, then these sets must nearly coincide with a pair of homothetic convex sets. The proof relies on a continuum analogue of a theorem of Freiman which characterizes finite sets of integers whose sumsets are of nearly minimal size. Small corrections and clarifications have been made in this draft.

Classical Analysis and ODEs
Boundary restricted Brunn–Minkowski inequalities

Shiri Artstein-Avidan,Tomer Falah,Boaz A. Slomka

DOI: https://doi.org/10.1142/s0219199723500566

2024-01-01

Communications in Contemporary Mathematics

Abstract:Communications in Contemporary Mathematics, Ahead of Print. In this paper, we explore questions regarding the Minkowski sum of the boundaries of convex sets. Motivated by a question suggested to us by V. Milman regarding the volume of [math] where [math] and [math] are convex bodies, we prove sharp volumetric lower bounds for the Minkowski average of the boundaries of sets with connected boundary, as well as some related results.

mathematics, applied
Exact Exponents for Concentration and Isoperimetry in Product Polish Spaces

Lei Yu

2024-05-30

Abstract:In this paper, we derive variational formulas for the asymptotic exponents (i.e., convergence rates) of the concentration and isoperimetric functions in the product Polish probability space under certain mild assumptions. These formulas are expressed in terms of relative entropies (which are from information theory) and optimal transport cost functionals (which are from optimal transport theory). Hence, our results verify an intimate connection among information theory, optimal transport, and concentration of measure or isoperimetric inequalities. In the concentration regime, the corresponding variational formula is in fact a dimension-free bound in the sense that this bound is valid for any dimension. A cardinality bound for the alphabet of the auxiliary random variable in the expression of the asymptotic isoperimetric exponent is provided, which makes the expression computable by a finite-dimensional program for the finite alphabet case. We lastly apply our results to obtain an isoperimetric inequality in the classic isoperimetric setting, which is asymptotically sharp under certain conditions. The proofs in this paper are based on information-theoretic and optimal transport techniques.

Probability,Information Theory,Functional Analysis,Metric Geometry
Boundary restricted Brunn-Minkowski inequalities

Shiri Artstein-Avidan,Tomer Falah,Boaz A. Slomka

DOI: https://doi.org/10.1142/S0219199723500566

2024-07-29

Abstract:In this paper we explore questions regarding the Minkowski sum of the boundaries of convex sets. Motivated by a question suggested to us by V.~Milman regarding the volume of $\partial K+ \partial T$ where $K$ and $T$ are convex bodies, we prove sharp volumetric lower bounds for the Minkowski average of the boundaries of sets with connected boundary, as well as some related results.

Metric Geometry
Refining Concentration for Gaussian Quadratic Chaos

Kamyar Moshksar

2024-12-05

Abstract:We visit and slightly modify the proof of Hanson-Wright inequality (HW inequality) for concentration of Gaussian quadratic chaos where we are able to tighten the bound by increasing the absolute constant in its formulation from its largest currently known value of 0.125 to at least 0.145 in the symmetric case. We also present a sharper version of the so-called Laurent-Massart inequality (LM inequality) through which we are able to increase the absolute constant in HW inequality from its largest currently available value of 0.134 due to LM inequality itself to at least 0.152 in the positive-semidefinite case. Generalizing HW inequality in the symmetric case, we derive a sequence of concentration bounds for Gaussian quadratic chaos indexed over m = 1, 2, 3,... that involves the Schatten norms of the underlying matrix. The case m = 1 reduces to HW inequality. These bounds exhibit a phase transition in behaviour in the sense that m = 1 results in the tightest bound if the deviation is smaller than a critical threshold and the bounds keep getting tighter as the index m increases when the deviation is larger than the aforementioned threshold. Finally, we derive a concentration bound that is asymptotically tighter than HW inequality both in the small and large deviation regimes.

Probability,Information Theory
Concentration Inequalities for Bounded Random Vectors

Xinjia Chen

DOI: https://doi.org/10.48550/arXiv.1309.0003

2013-08-31

Abstract:We derive simple concentration inequalities for bounded random vectors, which generalize Hoeffding's inequalities for bounded scalar random variables. As applications, we apply the general results to multinomial and Dirichlet distributions to obtain multivariate concentration inequalities.

Probability,Machine Learning,Statistics Theory
A Brunn-Minkowski theory for coconvex sets of finite volume

Rolf Schneider

DOI: https://doi.org/10.48550/arXiv.1706.03573

2017-11-07

Abstract:Let $C$ be a closed convex cone in ${\mathbb R}^n$, pointed and with interior points. We consider sets of the form $A=C\setminus A^\bullet$, where $A^\bullet\subset C$ is a closed convex set. If $A$ has finite volume (Lebesgue measure), then $A$ is called a $C$-coconvex set. The family of $C$-coconvex sets is closed under the addition $\oplus$ defined by $C\setminus(A_1\oplus A_2)= (C\setminus A_1)+(C\setminus A_2)$. We develop first steps of a Brunn--Minkowski theory for $C$-coconvex sets, which relates this addition to the notion of volume. In particular, we establish the equality conditions for a Brunn--Minkowski type inequality (with reversed inequality sign), introduce mixed volumes and their integral representations, and prove a Minkowski-type uniqueness theorem for $C$-coconvex sets with equal surface area measures.

Metric Geometry
Some sharp inequalities of Mizohata--Takeuchi-type

Anthony Carbery,Marina Iliopoulou,Hong Wang

2024-08-19

Abstract:Let $\Sigma$ be a strictly convex, compact patch of a $C^2$ hypersurface in $\mathbb{R}^n$, with non-vanishing Gaussian curvature and surface measure $d\sigma$ induced by the Lebesgue measure in $\mathbb{R}^n$. The Mizohata--Takeuchi conjecture states that \begin{equation*} \int |\widehat{gd\sigma}|^2w \leq C \|Xw\|_\infty \int |g|^2 \end{equation*} for all $g\in L^2(\Sigma)$ and all weights $w:\mathbb{R}^n\rightarrow [0,+\infty)$, where $X$ denotes the $X$-ray transform. As partial progress towards the conjecture, we show, as a straightforward consequence of recently-established decoupling inequalities, that for every $\epsilon>0$, there exists a positive constant $C_\epsilon$, which depends only on $\Sigma$ and $\epsilon$, such that for all $R \geq 1$ and all weights $w:\mathbb{R}^n\rightarrow [0,+\infty)$ we have \begin{equation*} \int_{B_R} |\widehat{gd\sigma}|^2w \leq C_\epsilon R^\epsilon \sup_T \left(\int _T w^{\frac{n+1}{2}}\right)^{\frac{2}{n+1}}\int |g|^2, \end{equation*} where $T$ ranges over the family of all tubes in $\mathbb{R}^n$ of dimensions $R^{1/2} \times \dots \times R^{1/2} \times R$. From this we deduce the Mizohata--Takeuchi conjecture with an $R^{\frac{n-1}{n+1}}$-loss; i.e., that \begin{equation*} \int_{B_R} |\widehat{gd\sigma}|^2w \leq C_\epsilon R^{\frac{n-1}{n+1}+ \epsilon}\|Xw\|_\infty\int |g|^2 \end{equation*} for any ball $B_R$ of radius $R$ and any $\epsilon>0$. The power $(n-1)/(n+1)$ here cannot be replaced by anything smaller unless properties of $\widehat{gd\sigma}$ beyond 'decoupling axioms' are exploited. We also provide estimates which improve this inequality under various conditions on the weight, and discuss some new cases where the conjecture holds.

Classical Analysis and ODEs,Analysis of PDEs
Optimal constants in concentration inequalities on the sphere and in the Gauss space

Guillaume Aubrun,Justin Jenkinson,Stanislaw J. Szarek

2024-10-19

Abstract:We show several variants of concentration inequalities on the sphere stated as subgaussian estimates with optimal constants. For a Lipschitz function, we give one-sided and two-sided bounds for deviation from the median as well as from the mean. For example, we show that if $\mu$ is the normalized surface measure on $S^{n-1}$ with $n\geq 3$, $f : S^{n-1} \to \mathbb{R}$ is $1$-Lipschitz, $M$ is the median of $f$, and $t >0$, then $\mu\big(f \geq M +t\big) \leq \frac 12 e^{-nt^2/2}$. If $M$ is the mean of $f$, we have a two-sided bound $\mu\big(|f - M| \geq t\big) \leq e^{-nt^2/2}$. Consequently, if $\gamma$ is the standard Gaussian measure on $\mathbb{R}^n$ and $f : \mathbb{R}^{n} \to \mathbb{R}$ (again, $1$-Lipschitz, with the mean equal to $M$), then $\gamma \big(|f - M| \geq t\big) \leq e^{-t^2/2}$. These bounds are slightly better and arguably more elegant than those available elsewhere in the literature.

Probability,Functional Analysis
Vector-valued concentration inequalities on the biased discrete cube

Miriam Gordin

2024-10-13

Abstract:We present vector-valued concentration inequalities for the biased measure on the discrete hypercube with an optimal dependence on the bias parameter and the Rademacher type of the target Banach space. These results allow us to obtain novel vector-valued concentration inequalities for the measure given by a product of Poisson distributions. Furthermore, we obtain lower bounds on the average distortion with respect to the biased measure of embeddings of the hypercube into Banach spaces of nontrivial type which imply average non-embeddability.

Probability
Brunn-Minkowski inequalities in product metric measure spaces

Manuel Ritoré,Jesús Yepes Nicolás

DOI: https://doi.org/10.48550/arXiv.1704.07717

2017-05-05

Abstract:Given one metric measure space $X$ satisfying a linear Brunn-Minkowski inequality, and a second one $Y$ satisfying a Brunn-Minkowski inequality with exponent $p\ge -1$, we prove that the product $X\times Y$ with the standard product distance and measure satisfies a Brunn-Minkowski inequality of order $1/(1+p^{-1})$ under mild conditions on the measures and the assumption that the distances are strictly intrinsic. The same result holds when we consider restricted classes of sets. We also prove that a linear Brunn-Minkowski inequality is obtained in $X\times Y$ when $Y$ satisfies a Prékopa-Leindler inequality. In particular, we show that the classical Brunn-Minkowski inequality holds for any pair of weakly unconditional sets in $\mathbb{R}^n$ (i.e., those containing the projection of every point in the set onto every coordinate subspace) when we consider the standard distance and the product measure of $n$ one-dimensional real measures with positively decreasing densities. This yields an improvement of the class of sets satisfying the Gaussian Brunn-Minkowski inequality. Furthermore, associated isoperimetric inequalities as well as recently obtained Brunn-Minkowski's inequalities are derived from our results.

Metric Geometry,Functional Analysis
A concentration-compactness principle for perturbed isoperimetric problems with general assumptions

Jules Candau-Tilh

2024-06-24

Abstract:Derived from the concentration-compactness principle, the concept of generalized minimizer can be used to define generalized solutions of variational problems which may have components ``infinitely'' distant from each other. In this article and under mild assumptions we establish existence and density estimates of generalized minimizers of perturbed isoperimetric problems. Our hypotheses encapsulate a wide class of functionals including the classical, anisotropic and fractional perimeter. The perturbation term may for instance take the form of a potential, a translation invariant kernel or a nonlocal term involving the Wasserstein distance.

Analysis of PDEs

Concentration of measure via approximated Brunn--Minkowski inequalities

The Lp-Brunn-Minkowski Inequality for P < 1

$L_p$-Brunn-Minkowski inequality for $pin (1-frac{c}{n^{frac{3}{2}}}, 1)$

On the Brunn-Minkowski inequality for general measures with applications to new isoperimetric-type inequalities

Efficient Concentration with Gaussian Approximation

Stability for the Brunn-Minkowski and Riesz Rearrangement Inequalities, with Applications to Gaussian Concentration and Finite Range Non-local Isoperimetry

New Brunn--Minkowski and functional inequalities via convexity of entropy

The strong Brunn–Minkowski inequality and its equivalence with the [math] condition

The sharp doubling threshold for approximate convexity

Near equality in the two-dimensional Brunn-Minkowski inequality

Boundary restricted Brunn–Minkowski inequalities

Exact Exponents for Concentration and Isoperimetry in Product Polish Spaces

Boundary restricted Brunn-Minkowski inequalities

Refining Concentration for Gaussian Quadratic Chaos

Concentration Inequalities for Bounded Random Vectors

A Brunn-Minkowski theory for coconvex sets of finite volume

Some sharp inequalities of Mizohata--Takeuchi-type

Optimal constants in concentration inequalities on the sphere and in the Gauss space

Vector-valued concentration inequalities on the biased discrete cube

Brunn-Minkowski inequalities in product metric measure spaces

A concentration-compactness principle for perturbed isoperimetric problems with general assumptions