Current browse context:
math.MG
Change to browse by:
References & Citations
Mathematics > Metric Geometry
Title: On a conjectural symmetric version of Ehrhard's inequality
(Submitted on 21 Mar 2021 (v1), last revised 6 Feb 2022 (this version, v3))
Abstract: We formulate a plausible conjecture for the optimal Ehrhard-type inequality for convex symmetric sets with respect to the Gaussian measure. Namely, letting $J_{k-1}(s)=\int^s_0 t^{k-1} e^{-\frac{t^2}{2}}dt$ and $c_{k-1}=J_{k-1}(+\infty)$, we conjecture that the function $F:[0,1]\rightarrow\mathbb{R},$ given by $$F(a)= \sum_{k=1}^n 1_{a\in E_k}\cdot(\beta_k J_{k-1}^{-1}(c_{k-1} a)+\alpha_k)$$ (with an appropriate choice of a decomposition $[0,1]=\cup_{i} E_i$ and coefficients $\alpha_i, \beta_i$) satisfies, for all symmetric convex sets $K$ and $L,$ and any $\lambda\in[0,1]$, $$ F\left(\gamma(\lambda K+(1-\lambda)L)\right)\geq \lambda F\left(\gamma(K)\right)+(1-\lambda) F\left(\gamma(L)\right). $$ We explain that this conjecture is "the most optimistic possible", and is equivalent to the fact that for any symmetric convex set $K,$ its \emph{Gaussian concavity power} $p^s(K,\gamma)$ is greater than or equal to $p_s(RB^k_2\times \mathbb{R}^{n-k},\gamma),$ for some $k\in \{1,...,n\}$. We call the sets $RB^k_2\times \mathbb{R}^{n-k}$ round $k$-cylinders; they also appear as the conjectured Gaussian isoperimetric minimizers for symmetric sets, see Heilman \cite{Heilman}. In this manuscript, we make progress towards this question, and prove certain inequality for which the round k-cylinders are the only equality cases. As an auxiliary result on the way to the equality case characterization, we characterize the equality cases in the "convex set version" of the Brascamp-Lieb inequality, and moreover, obtain a quantitative stability version in the case of the standard Gaussian measure; this may be of independent interest.
Submission history
From: Galyna Livshyts [view email][v1] Sun, 21 Mar 2021 16:33:00 GMT (378kb,D)
[v2] Wed, 30 Jun 2021 21:11:32 GMT (371kb,D)
[v3] Sun, 6 Feb 2022 14:03:16 GMT (371kb,D)
Link back to: arXiv, form interface, contact.