BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Galyna V. Livshyts appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We provide a new construction for a set of boxes approximating axis-parallel boxes of fixed volume in $[0, 1]^d$. This improves upper bounds for the minimal dispersion of a point set in the unit cube and its inverse in both the periodic and non-periodic settings in certain regimes. Up to double logarithmic factor, our bounds are sharp. We also apply our construction to $k$-dispersion.
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(β_k J_{k-1}^{-1}(c_{k-1} a)+α_k)$$ (with an appropriate choice of a decomposition $[0,1]=\cup_{i} E_i$ and coefficients $α_i, β_i$) satisfies, for all symmetric convex sets $K$ and $L,$ and any $λ\in[0,1]$, $$ F\left(γ(λK+(1-λ)L)\right)\geq λF\left(γ(K)\right)+(1-λ) F\left(γ(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,γ)$ is greater than or equal to $p_s(RB^k_2\times \mathbb{R}^{n-k},γ),$ 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.
We study several of the recent conjectures in regards to the role of symmetry in the inequalities of Brunn-Minkowski type, such as the $L_p$-Brunn-Minkowski conjecture of Böröczky, Lutwak, Yang and Zhang, and the Dimensional Brunn-Minkowski conjecture of Gardner and Zvavitch, in a unified framework. We obtain several new results for these conjectures. We show that when $K\subset L,$ the multiplicative form of the $L_p$-Brunn-Minkowski conjecture holds for Lebesgue measure for $p\geq 1-Cn^{-0.75}$, which improves upon the estimate of Kolesnikov and Milman in the partial case when one body is contained in the other. We also show that the multiplicative version of the $L_p$-Brunn-Minkowski conjecture for the standard Gaussian measure holds in the case of sets containing sufficiently large ball (whose radius depends on $p$). In particular, the Gaussian Log-Brunn-Minkowski conjecture holds when $K$ and $L$ contain $\sqrt{0.5 (n+1)}B_2^n.$ We formulate an a-priori stronger conjecture for log-concave measures, extending both the $L_p$-Brunn-Minkowski conjecture and the Dimensional one, and verify it in the case when the sets are dilates and the measure is Gaussian. We also show that the Log-Brunn-Minkowski conjecture, if verified, would yield this more general family of inequalities. Our results build up on the methods developed by Kolesnikov and Milman as well as Colesanti, Livshyts, Marsiglietti. We furthermore verify that the local version of these conjectures implies the global version in the setting of general measures, and this step uses methods developed recently by Putterman.
It was shown in \cite{GL} that the maximal surface area of a convex set in $\mathbb{R}^n$ with respect to a rotation invariant log-concave probability measure $γ$ is of order $\frac{\sqrt{n}}{\sqrt[4]{Var|X|} \sqrt{\mathbb{E}|X|}}$, where $X$ is a random vector in $\mathbb{R}^n$ distributed with respect to $γ$. In the present paper we discuss surface area of convex polytopes $P_K$ with $K$ facets. We find tight bounds on the maximal surface area of $P_K$ in terms of $K$. We show that $γ(\partial P_K)\lesssim \frac{\sqrt{n}}{\mathbb{E}|X|}\cdot\sqrt{\log K}\cdot\log n$ for all $K$. This bound is better then the general bound for all $K\in [2,e^{\frac{c}{\sqrt{Var|X|}}}]$. Moreover, for all $K$ in that range the bound is exact up to a factor of $\log n$: for each $K\in [2,e^{\frac{c}{\sqrt{Var|X|}}}]$ there exists a polytope $P_K$ with at most $K$ facets such that $γ(\partial P_K)\gtrsim \frac{\sqrt{n}}{\mathbb{E}|X|}\sqrt{\log K}.$ %For the measures $γ_p$ with densities $C_{n,p} e^{-\frac{|y|^p}{p}}$ (where $p>0$) we obtain: $γ_p(\partial P_K)\lesssim \frac{\sqrt{n}}{\mathbb{E}X}\sqrt{\log K},$ which was obtained for the standard Gaussian measure $γ_2$ by F. Nazarov.