Showing 1–16 of 16 results for author: Pivovarov, P

Empirical forms of the Petty projection inequality

Authors: Grigoris Paouris, Peter Pivovarov, Kateryna Tatarko

Abstract: The Petty projection inequality is a fundamental affine isoperimetric principle for convex sets. It has shaped several directions of research in convex geometry which forged new connections between projection bodies, centroid bodies, and mixed volume inequalities. We establish several different empirical forms of the Petty projection inequality by re-examining these key relationships from a stocha… ▽ More The Petty projection inequality is a fundamental affine isoperimetric principle for convex sets. It has shaped several directions of research in convex geometry which forged new connections between projection bodies, centroid bodies, and mixed volume inequalities. We establish several different empirical forms of the Petty projection inequality by re-examining these key relationships from a stochastic perspective. In particular, we derive sharp extremal inequalities for several multiple-entry functionals of random convex sets, including mixed projection bodies and mixed volumes. △ Less

Submitted 30 December, 2024; originally announced January 2025.

From intersection bodies to dual centroid bodies: a stochastic approach to isoperimetry

Authors: Radoslaw Adamczak, Grigoris Paouris, Peter Pivovarov, Paul Simanjuntak

Abstract: We establish a family of isoperimetric inequalities for sets that interpolate between intersection bodies and dual Lp centroid bodies. This provides a bridge between the Busemann intersection inequality and the Lutwak--Zhang inequality. The approach depends on new empirical versions of these inequalities. We establish a family of isoperimetric inequalities for sets that interpolate between intersection bodies and dual Lp centroid bodies. This provides a bridge between the Busemann intersection inequality and the Lutwak--Zhang inequality. The approach depends on new empirical versions of these inequalities. △ Less

Submitted 29 November, 2022; originally announced November 2022.

MSC Class: Primary 52A21. Secondary 52A22; 52A38

Limit theorems for the volumes of small codimensional random sections of $\ell_p^n$-balls

Authors: Radosław Adamczak, Peter Pivovarov, Paul Simanjuntak

Abstract: We establish Central Limit Theorems for the volumes of intersections of $B_{p}^n$ (the unit ball of $\ell_p^n$) with uniform random subspaces of codimension $d$ for fixed $d$ and $n\to \infty$. As a corollary we obtain higher order approximations for expected volumes, refining previous results by Koldobsky and Lifschitz and approximations obtained from the Eldan--Klartag version of CLT for convex… ▽ More We establish Central Limit Theorems for the volumes of intersections of $B_{p}^n$ (the unit ball of $\ell_p^n$) with uniform random subspaces of codimension $d$ for fixed $d$ and $n\to \infty$. As a corollary we obtain higher order approximations for expected volumes, refining previous results by Koldobsky and Lifschitz and approximations obtained from the Eldan--Klartag version of CLT for convex bodies. We also obtain a Central Limit Theorem for the Minkowski functional of the intersection body of $B_p^n$, evaluated on a random vector distributed uniformly on the unit sphere. △ Less

Submitted 28 June, 2022; originally announced June 2022.

Comments: 32 pages

MSC Class: 60D05; 52A22; 60F05

Stochastic forms of Brunn's principle

Authors: P. Pivovarov, J. Rebollo Bueno

Abstract: A number of geometric inequalities for convex sets arising from Brunn's concavity principle have recently been shown to yield local stochastic formulations. Comparatively, there has been much less progress towards stochastic forms of related functional inequalities. We work towards a stochastic geometry of concave functions to establish local versions of dimensional forms of Brunn's principle a la… ▽ More A number of geometric inequalities for convex sets arising from Brunn's concavity principle have recently been shown to yield local stochastic formulations. Comparatively, there has been much less progress towards stochastic forms of related functional inequalities. We work towards a stochastic geometry of concave functions to establish local versions of dimensional forms of Brunn's principle a la Borell, Brascamp-Lieb, and Rinott. To do so, we define shadow systems of convex epigraphs and hypographs, and revisit Rinott's approach in the context of multiple integral rearrangement inequalities. △ Less

Submitted 28 November, 2020; v1 submitted 8 July, 2020; originally announced July 2020.

A stochastic Prekopa-Leindler inequality for log-concave functions

Authors: Peter Pivovarov, Jesus Rebollo Bueno

Abstract: The Brunn-Minkowski and Prékopa-Leindler inequalities admit a variety of proofs that are inspired by convexity. Nevertheless, the former holds for compact sets and the latter for integrable functions so it seems that convexity has no special signficance. On the other hand, it was recently shown that the Brunn-Minkowski inequality, specialized to convex sets, follows from a local stochastic dominan… ▽ More The Brunn-Minkowski and Prékopa-Leindler inequalities admit a variety of proofs that are inspired by convexity. Nevertheless, the former holds for compact sets and the latter for integrable functions so it seems that convexity has no special signficance. On the other hand, it was recently shown that the Brunn-Minkowski inequality, specialized to convex sets, follows from a local stochastic dominance for naturally associated random polytopes. We show that for the subclass of $\log$-concave functions and associated stochastic approximations, a similar stochastic dominance underlies the Prékopa-Leindler inequality. △ Less

Submitted 14 December, 2019; originally announced December 2019.

Randomized Urysohn-type inequalities

Authors: Thomas Hack, Peter Pivovarov

Abstract: As a natural analog of Urysohn's inequality in Euclidean space, Gao, Hug, and Schneider showed in 2003 that in spherical or hyperbolic space, the total measure of totally geodesic hypersurfaces meeting a given convex body K is minimized when K is a geodesic ball. We present a random extension of this result by taking K to be the convex hull of finitely many points drawn according to a probability… ▽ More As a natural analog of Urysohn's inequality in Euclidean space, Gao, Hug, and Schneider showed in 2003 that in spherical or hyperbolic space, the total measure of totally geodesic hypersurfaces meeting a given convex body K is minimized when K is a geodesic ball. We present a random extension of this result by taking K to be the convex hull of finitely many points drawn according to a probability distribution and by showing that the minimum is attained for uniform distributions on geodesic balls. As a corollary, we obtain a randomized Blaschke--Santalo inequality on the sphere. △ Less

Submitted 25 October, 2019; originally announced October 2019.

Remarks on the Rényi Entropy of a sum of IID random variables

Authors: Benjamin Jaye, Galyna V. Livshyts, Grigoris Paouris, Peter Pivovarov

Abstract: In this note we study a conjecture of Madiman and Wang which predicted that the generalized Gaussian distribution minimizes the Rényi entropy of the sum of independent random variables. Through a variational analysis, we show that the generalized Gaussian fails to be a minimizer for the problem. In this note we study a conjecture of Madiman and Wang which predicted that the generalized Gaussian distribution minimizes the Rényi entropy of the sum of independent random variables. Through a variational analysis, we show that the generalized Gaussian fails to be a minimizer for the problem. △ Less

Submitted 10 December, 2019; v1 submitted 16 April, 2019; originally announced April 2019.

Comments: To appear in IEEE Transactions in Information Theory

Spherical centroid bodies

Authors: Florian Besau, Thomas Hack, Peter Pivovarov, Franz E. Schuster

Abstract: The spherical centroid body of a centrally-symmetric convex body in the Euclidean unit sphere is introduced. Two alternative definitions - one geometric, the other probabilistic in nature - are given and shown to lead to the same objects. The geometric approach is then used to establish a number of basic properties of spherical centroid bodies, while the probabilistic approach inspires the proof o… ▽ More The spherical centroid body of a centrally-symmetric convex body in the Euclidean unit sphere is introduced. Two alternative definitions - one geometric, the other probabilistic in nature - are given and shown to lead to the same objects. The geometric approach is then used to establish a number of basic properties of spherical centroid bodies, while the probabilistic approach inspires the proof of a spherical analogue of the classical polar Busemann-Petty centroid inequality. △ Less

Submitted 27 February, 2019; originally announced February 2019.

MSC Class: 52A55; 28A75; 52A22; 52A40

Affine isoperimetric inequalities on flag manifolds

Authors: Susanna Dann, Grigoris Paouris, Peter Pivovarov

Abstract: Building on work of Furstenberg and Tzkoni, we introduce ${\bf r}$-flag affine quermassintegrals and their dual versions. These quantities generalize affine and dual affine quermassintegrals as averages on flag manifolds (where the Grassmannian can be considered as a special case). We establish affine and linear invariance properties and extend fundamental results to this new setting. In particula… ▽ More Building on work of Furstenberg and Tzkoni, we introduce ${\bf r}$-flag affine quermassintegrals and their dual versions. These quantities generalize affine and dual affine quermassintegrals as averages on flag manifolds (where the Grassmannian can be considered as a special case). We establish affine and linear invariance properties and extend fundamental results to this new setting. In particular, we prove several affine isoperimetric inequalities from convex geometry and their approximate reverse forms. We also introduce functional forms of these quantities and establish corresponding inequalities. △ Less

Submitted 24 February, 2019; originally announced February 2019.

Journal ref: Can. J. Math.-J. Can. Math. 77 (2025) 252-281

On a quantitative reversal of Alexandrov's inequality

Authors: Grigoris Paouris, Peter Pivovarov, Petros Valettas

Abstract: Alexandrov's inequalities imply that for any convex body $A$, the sequence of intrinsic volumes $V_1(A),\ldots,V_n(A)$ is non-increasing (when suitably normalized). Milman's random version of Dvoretzky's theorem shows that a large initial segment of this sequence is essentially constant, up to a critical parameter called the Dvoretzky number. We show that this near-constant behavior actually exten… ▽ More Alexandrov's inequalities imply that for any convex body $A$, the sequence of intrinsic volumes $V_1(A),\ldots,V_n(A)$ is non-increasing (when suitably normalized). Milman's random version of Dvoretzky's theorem shows that a large initial segment of this sequence is essentially constant, up to a critical parameter called the Dvoretzky number. We show that this near-constant behavior actually extends further, up to a different parameter associated with $A$. This yields a new quantitative reverse inequality that sits between the approximate reverse Urysohn inequality, due to Figiel--Tomczak-Jaegermann and Pisier, and the sharp reverse Urysohn inequality for zonoids, due to Hug--Schneider. In fact, we study concentration properties of the volume radius and mean width of random projections of $A$ and show how these lead naturally to such reversals. △ Less

Submitted 21 February, 2017; v1 submitted 19 February, 2017; originally announced February 2017.

Comments: Corrected the probability estimate in the lower small deviation inequality (1.12) in Theorem 1.2

Randomized isoperimetric inequalities

Authors: Grigoris Paouris, Peter Pivovarov

Abstract: We discuss isoperimetric inequalities for convex sets. These include the classical isoperimetric inequality and that of Brunn-Minkowski, Blaschke-Santalo, Busemann-Petty and their various extensions. We show that many such inequalities admit stronger randomized forms in the following sense: for natural families of associated random convex sets one has stochastic dominance for various functionals s… ▽ More We discuss isoperimetric inequalities for convex sets. These include the classical isoperimetric inequality and that of Brunn-Minkowski, Blaschke-Santalo, Busemann-Petty and their various extensions. We show that many such inequalities admit stronger randomized forms in the following sense: for natural families of associated random convex sets one has stochastic dominance for various functionals such as volume, surface area, mean width and others. By laws of large numbers, these randomized versions recover the classical inequalities. We give an overview of when such stochastic dominance arises and its applications in convex geometry and probability. △ Less

Submitted 2 July, 2016; originally announced July 2016.

Random ball-polyhedra and inequalities for intrinsic volumes

Authors: Grigoris Paouris, Peter Pivovarov

Abstract: We prove a randomized version of the generalized Urysohn inequality relating mean-width to the other intrinsic volumes. To do this, we introduce a stochastic approximation procedure that sees each convex body K as the limit of intersections of Euclidean balls of large radii and centered at randomly chosen points. The proof depends on a new isoperimetric inequality for the intrinsic volumes of such… ▽ More We prove a randomized version of the generalized Urysohn inequality relating mean-width to the other intrinsic volumes. To do this, we introduce a stochastic approximation procedure that sees each convex body K as the limit of intersections of Euclidean balls of large radii and centered at randomly chosen points. The proof depends on a new isoperimetric inequality for the intrinsic volumes of such intersections. If the centers are i.i.d. and sampled according to a bounded continuous distribution, then the extremizing measure is uniform on a Euclidean ball. If one additionally assumes that the centers have i.i.d. coordinates, then the uniform measure on a cube is the extremizer. We also discuss connections to a randomized version of the extended isoperimetric inequality and symmetrization techniques. △ Less

Submitted 29 June, 2016; v1 submitted 25 October, 2015; originally announced October 2015.

Comments: Sections 4 and 5 have been rewritten, along with the relevant motivation for these in the introduction. We now compare our results with kindred work on intersections of random halfspaces. We also discuss further consequences of the stochastic dominance in Theorem 1.1

On sharp bounds for marginal densities of product measures

Authors: Galyna Livshyts, Grigoris Paouris, Peter Pivovarov

Abstract: We discuss optimal constants in a recent result of Rudelson and Vershynin on marginal densities. We show that if $f$ is a probability density on $\R^n$ of the form $f(x)=\prod_{i=1}^n f_i(x_i)$, where each $f_i$ is a density on $\R$, say bounded by one, then the density of any marginal $π_E(f)$ is bounded by $2^{k/2}$, where $k$ is the dimension of $E$. The proof relies on an adaptation of Ball's… ▽ More We discuss optimal constants in a recent result of Rudelson and Vershynin on marginal densities. We show that if $f$ is a probability density on $\R^n$ of the form $f(x)=\prod_{i=1}^n f_i(x_i)$, where each $f_i$ is a density on $\R$, say bounded by one, then the density of any marginal $π_E(f)$ is bounded by $2^{k/2}$, where $k$ is the dimension of $E$. The proof relies on an adaptation of Ball's approach to cube slicing, carried out for functions. Motivated by inequalities for dual affine quermassintegrals, we also prove an isoperimetric inequality for certain averages of the marginals of such $f$ for which the cube is the extremal case. △ Less

Submitted 2 January, 2016; v1 submitted 28 July, 2015; originally announced July 2015.

Bounding marginal densities via affine isoperimetry

Authors: Susanna Dann, Grigoris Paouris, Peter Pivovarov

Abstract: Let $μ$ be a probability measure on $\mathbb{R}^n$ with a bounded density $f$. We prove that the marginals of $f$ on most subspaces are well-bounded. For product measures, studied recently by Rudelson and Vershynin, our results show there is a trade-off between the strength of such bounds and the probability with which they hold. Our proof rests on new affinely-invariant extremal inequalities for… ▽ More Let $μ$ be a probability measure on $\mathbb{R}^n$ with a bounded density $f$. We prove that the marginals of $f$ on most subspaces are well-bounded. For product measures, studied recently by Rudelson and Vershynin, our results show there is a trade-off between the strength of such bounds and the probability with which they hold. Our proof rests on new affinely-invariant extremal inequalities for certain averages of $f$ on the Grassmannian and affine Grassmannian. These are motivated by Lutwak's dual affine quermassintegrals for convex sets. We show that key invariance properties of the latter, due to Grinberg, extend to families of functions. The inequalities we obtain can be viewed as functional analogues of results due to Busemann--Straus, Grinberg and Schneider. As an application, we show that without any additional assumptions on $μ$, any marginal $π_E(μ)$, or a small perturbation thereof, satisfies a nearly optimal small-ball probability. △ Less

Submitted 5 August, 2015; v1 submitted 9 January, 2015; originally announced January 2015.

Comments: Expanded the abstract and introduction. Included more general versions of Theorems 3.1 and 3.5 (now 3.6 in the present version)

Volume of the polar of random sets and shadow systems

Authors: Dario Cordero-Erausquin, Matthieu Fradelizi, Grigoris Paouris, Peter Pivovarov

Abstract: We obtain optimal inequalities for the volume of the polar of random sets, generated for instance by the convex hull of independent random vectors in Euclidean space. Extremizers are given by random vectors uniformly distributed in Euclidean balls. This provides a random extension of the Blaschke-Santalo inequality which, in turn, can be derived by the law of large numbers. The method involves gen… ▽ More We obtain optimal inequalities for the volume of the polar of random sets, generated for instance by the convex hull of independent random vectors in Euclidean space. Extremizers are given by random vectors uniformly distributed in Euclidean balls. This provides a random extension of the Blaschke-Santalo inequality which, in turn, can be derived by the law of large numbers. The method involves generalized shadow systems, their connection to Busemann type inequalities, and how they interact with functional rearrangement inequalities. △ Less

Submitted 14 November, 2013; originally announced November 2013.

A central limit theorem for projections of the cube

Authors: Grigoris Paouris, Peter Pivovarov, Joel Zinn

Abstract: We prove a central limit theorem for the volume of projections of the N-cube onto a random subspace of dimension n, when n is fixed and N tends to infinity. Randomness in this case is with respect to the Haar measure on the Grassmannian manifold. We prove a central limit theorem for the volume of projections of the N-cube onto a random subspace of dimension n, when n is fixed and N tends to infinity. Randomness in this case is with respect to the Haar measure on the Grassmannian manifold. △ Less

Submitted 3 December, 2012; v1 submitted 25 October, 2012; originally announced October 2012.