Showing 1–32 of 32 results for author: Fradelizi, M

On a Santaló point for Nakamura-Tsuji's Laplace transform inequality

Authors: Dario Cordero-Erausquin, Matthieu Fradelizi, Dylan Langharst

Abstract: Nakamura and Tsuji recently obtained an integral inequality involving a Laplace transform of even functions that implies, at the limit, the Blaschke-Santaló inequality in its functional form. Inspired by their method, based on the Fokker-Planck semi-group, we extend the inequality to non-even functions. We consider a well-chosen centering procedure by studying the infimum over translations in a do… ▽ More Nakamura and Tsuji recently obtained an integral inequality involving a Laplace transform of even functions that implies, at the limit, the Blaschke-Santaló inequality in its functional form. Inspired by their method, based on the Fokker-Planck semi-group, we extend the inequality to non-even functions. We consider a well-chosen centering procedure by studying the infimum over translations in a double Laplace transform. This requires a new look on the existing methods and leads to several observations of independent interest on the geometry of the Laplace transform. Application to reverse hypercontractivity is also given. △ Less

Submitted 9 September, 2024; originally announced September 2024.

Comments: 33 pages

MSC Class: Primary: 52A40 and 44A10; Secondary: 35K05 and 52A21

Entropy, slicing problem and functional Mahler's conjecture

Authors: Matthieu Fradelizi, Francisco Marín Sola

Abstract: In a recent work, Bo'az Klartag showed that, given a convex body with minimal volume product, its isotropic constant is related to its volume product. As a consequence, he obtained that a strong version of the slicing conjecture implies Mahler's conjecture. In this work, we extend these geometrical results to the realm of log-concave functions. In this regard, the functional analogues of the proje… ▽ More In a recent work, Bo'az Klartag showed that, given a convex body with minimal volume product, its isotropic constant is related to its volume product. As a consequence, he obtained that a strong version of the slicing conjecture implies Mahler's conjecture. In this work, we extend these geometrical results to the realm of log-concave functions. In this regard, the functional analogues of the projective perturbations of the body are the log-Laplace perturbations of the function. The differentiation along these transformations is simplified thanks to the known properties of the log-Laplace transform. Moreover, we show that achieving such an analogous result requires the consideration of the suitable version of the isotropic constant, notably the one incorporating the entropy. Finally, an investigation into the equivalences between the functional and geometrical strong forms of the slicing conjecture is provided. △ Less

Submitted 11 June, 2024; originally announced June 2024.

Weighted Brunn-Minkowski Theory II: Inequalities for Mixed Measures and Applications

Authors: Matthieu Fradelizi, Dylan Langharst, Mokshay Madiman, Artem Zvavitch

Abstract: In "Weighted Brunn-Minkowski Theory I", the prequel to this work, we discussed how recent developments on concavity of measures have laid the foundations of a nascent weighted Brunn-Minkowski theory. In particular, we defined the mixed measures of three convex bodies and obtained its integral representation. In this work, we obtain inequalities for mixed measures, such as a generalization of Fench… ▽ More In "Weighted Brunn-Minkowski Theory I", the prequel to this work, we discussed how recent developments on concavity of measures have laid the foundations of a nascent weighted Brunn-Minkowski theory. In particular, we defined the mixed measures of three convex bodies and obtained its integral representation. In this work, we obtain inequalities for mixed measures, such as a generalization of Fenchel's inequality; this provides a new, simpler proof of the classical volume case. Moreover, we show that mixed measures are connected to the study of log-submodularity and supermodularity of the measure of Minkowski sums of convex bodies. This elaborates on the recent investigations of these properties for the Lebesgue measure. We conclude by establishing that the only Radon measures that are supermodular over the class of compact, convex sets are multiples of the Lebesgue measure. Motivated by this result, we then discuss weaker forms of supermodularity by restricting the class of convex sets. △ Less

Submitted 15 February, 2024; originally announced February 2024.

Comments: 34-36 pages. arXiv admin note: text overlap with arXiv:2212.13522

MSC Class: 52A20 and 52A21; Secondary: 46T12 2 52A20 and 52A21; Secondary: 46T12 2 52A20; 52A21; 46T12

Some obstructions to contraction theorems on the half-sphere

Authors: Max Fathi, Matthieu Fradelizi, Nathael Gozlan, Simon Zugmeyer

Abstract: Caffarelli's contraction theorem states that probability measures with uniformly logconcave densities on R d can be realized as the image of a standard Gaussian measure by a globally Lipschitz transport map. We discuss some counterexamples and obstructions that prevent a similar result from holding on the half-sphere endowed with a uniform measure, answering a question of Beck and Jerison. Caffarelli's contraction theorem states that probability measures with uniformly logconcave densities on R d can be realized as the image of a standard Gaussian measure by a globally Lipschitz transport map. We discuss some counterexamples and obstructions that prevent a similar result from holding on the half-sphere endowed with a uniform measure, answering a question of Beck and Jerison. △ Less

Submitted 7 February, 2024; originally announced February 2024.

On the monotonicity of discrete entropy for log-concave random vectors on $\mathbb{Z}^d$

Authors: Matthieu Fradelizi, Lampros Gavalakis, Martin Rapaport

Abstract: We prove the following type of discrete entropy monotonicity for sums of isotropic, log-concave, independent and identically distributed random vectors $X_1,\dots,X_{n+1}$ on $\mathbb{Z}^d$: $$ H(X_1+\cdots+X_{n+1}) \geq H(X_1+\cdots+X_{n}) + \frac{d}{2}\log{\Bigl(\frac{n+1}{n}\Bigr)} +o(1), $$ where $o(1)$ vanishes as $H(X_1) \to \infty$. Moreover, for the $o(1)$-term, we obtain a rate of converg… ▽ More We prove the following type of discrete entropy monotonicity for sums of isotropic, log-concave, independent and identically distributed random vectors $X_1,\dots,X_{n+1}$ on $\mathbb{Z}^d$: $$ H(X_1+\cdots+X_{n+1}) \geq H(X_1+\cdots+X_{n}) + \frac{d}{2}\log{\Bigl(\frac{n+1}{n}\Bigr)} +o(1), $$ where $o(1)$ vanishes as $H(X_1) \to \infty$. Moreover, for the $o(1)$-term, we obtain a rate of convergence $ O\Bigl({H(X_1)}{e^{-\frac{1}{d}H(X_1)}}\Bigr)$, where the implied constants depend on $d$ and $n$. This generalizes to $\mathbb{Z}^d$ the one-dimensional result of the second named author (2023). As in dimension one, our strategy is to establish that the discrete entropy $H(X_1+\cdots+X_{n})$ is close to the differential (continuous) entropy $h(X_1+U_1+\cdots+X_{n}+U_{n})$, where $U_1,\dots, U_n$ are independent and identically distributed uniform random vectors on $[0,1]^d$ and to apply the theorem of Artstein, Ball, Barthe and Naor (2004) on the monotonicity of differential entropy. In fact, we show this result under more general assumptions than log-concavity, which are preserved up to constants under convolution. In order to show that log-concave distributions satisfy our assumptions in dimension $d\ge2$, more involved tools from convex geometry are needed because a suitable position is required. We show that, for a log-concave function on $\mathbb{R}^d$ in isotropic position, its integral, barycenter and covariance matrix are close to their discrete counterparts. Moreover, in the log-concave case, we weaken the isotropicity assumption to what we call almost isotropicity. One of our technical tools is a discrete analogue to the upper bound on the isotropic constant of a log-concave function, which extends to dimensions $d\ge1$ a result of Bobkov, Marsiglietti and Melbourne (2022). △ Less

Submitted 7 July, 2024; v1 submitted 27 January, 2024; originally announced January 2024.

Comments: 26 pages, no figures. In the updated version we relax the hypotheses of the main theorems. Section 2 now has the proofs of the main results under the weaker assumptions and Section 3 is devoted to proving that log-concavity implies these new assumptions. Definition 2, Proposition 13 and Theorem 18 are new. The quantitative estimate in Lemma 14 has been improved from the previous version

MSC Class: Primary: 94A17 Secondary: 52C07; 39B62

Transport-entropy forms of direct and Converseblaschke-Santal{ó} inequalities

Authors: Matthieu Fradelizi, Nathael Gozlan, Shay Sadovsky, Simon Zugmeyer

Abstract: We explore alternative functional or transport-entropy formulations of the Blaschke-Santal{ó} inequality and of its conjectured counterpart due to Mahler. In particular, we obtain new direct and reverse Blaschke-Santal{ó} inequalities for s-concave functions. We also obtain new sharp symmetrized transport-entropy inequalities for a large class of spherically invariant probability measures, includi… ▽ More We explore alternative functional or transport-entropy formulations of the Blaschke-Santal{ó} inequality and of its conjectured counterpart due to Mahler. In particular, we obtain new direct and reverse Blaschke-Santal{ó} inequalities for s-concave functions. We also obtain new sharp symmetrized transport-entropy inequalities for a large class of spherically invariant probability measures, including the uniform measure on the unit Euclidean sphere and generalized Cauchy and Barenblatt distributions. Finally, we show that the Mahler's conjecture is equivalent to some reinforced log-Sobolev type inequality on the sphere. △ Less

Submitted 10 July, 2023; originally announced July 2023.

Volume Product

Authors: Matthieu Fradelizi, Mathieu Meyer, Artem Zvavitch

Abstract: Our purpose here is to give an overview of known results and open questions concerning the volume product ${\mathcal P}(K)=\min_{z\in K}{\rm vol}(K){\rm vol}((K-z)^*)$ of a convex body $K$ in ${\mathbb R}^n$. We present a number of upper and lower bounds for ${\mathcal P}(K)$, in particular, we discuss the Mahler's conjecture on the lower bound of ${\mathcal P}(K)$, which is still open. We also sh… ▽ More Our purpose here is to give an overview of known results and open questions concerning the volume product ${\mathcal P}(K)=\min_{z\in K}{\rm vol}(K){\rm vol}((K-z)^*)$ of a convex body $K$ in ${\mathbb R}^n$. We present a number of upper and lower bounds for ${\mathcal P}(K)$, in particular, we discuss the Mahler's conjecture on the lower bound of ${\mathcal P}(K)$, which is still open. We also show connections of ${\mathcal P}(K)$ with different parts of modern mathematics, including Geometric Number Theory, Convex Geometry, Analysis, Harmonic Analysis as well as Systolic and Symplectic Geometries and Probability. △ Less

Submitted 15 January, 2023; originally announced January 2023.

MSC Class: 52A20; 52A40; 32A25; 46E22; 42B35

Weighted Brunn-Minkowski Theory I: On Weighted Surface Area Measures

Authors: Matthieu Fradelizi, Dylan Langharst, Mokshay Madiman, Artem Zvavitch

Abstract: The Brunn-Minkowski theory in convex geometry concerns, among other things, the volumes, mixed volumes, and surface area measures of convex bodies. We study generalizations of these concepts to Borel measures with density in $\mathbb{R}^n$-- in particular, the weighted versions of mixed volumes (the so-called mixed measures) when dealing with up to three distinct convex bodies. We then formulate a… ▽ More The Brunn-Minkowski theory in convex geometry concerns, among other things, the volumes, mixed volumes, and surface area measures of convex bodies. We study generalizations of these concepts to Borel measures with density in $\mathbb{R}^n$-- in particular, the weighted versions of mixed volumes (the so-called mixed measures) when dealing with up to three distinct convex bodies. We then formulate and analyze weighted versions of classical surface area measures, and obtain a new integral formula for the mixed measure of three bodies. As an application, we prove a Bézout-type inequality for rotational invariant log-concave measures, generalizing a result by Artstein-Avidan, Florentin and Ostrover. The results are new and interesting even for the special case of the standard Gaussian measure. △ Less

Submitted 3 May, 2023; v1 submitted 27 December, 2022; originally announced December 2022.

Comments: 30 pages, Keywords: Brunn-Minkowski theory, surface area, Gaussian measure, zonoids, mixed volumes, mixed measures. Previously titled "Weighted surface area measures and Brunn-Minkowski theory", the paper was split and improved upon

MSC Class: 52A20; 52A21; 46T12

Journal ref: Journal of Mathematical Analysis and Applications, Vol. 529, No. 2, January 2024

On the volume of the Minkowski sum of zonoids

Authors: Matthieu Fradelizi, Mokshay Madiman, Mathieu Meyer, Artem Zvavitch

Abstract: We explore some inequalities in convex geometry restricted to the class of zonoids. We show the equivalence, in the class of zonoids, between a local Alexandrov-Fenchel inequality, a local Loomis-Whitney inequality, the log-submodularity of volume, and the Dembo-Cover-Thomas conjecture on the monotonicity of the ratio of volume to the surface area. In addition to these equivalences, we confirm the… ▽ More We explore some inequalities in convex geometry restricted to the class of zonoids. We show the equivalence, in the class of zonoids, between a local Alexandrov-Fenchel inequality, a local Loomis-Whitney inequality, the log-submodularity of volume, and the Dembo-Cover-Thomas conjecture on the monotonicity of the ratio of volume to the surface area. In addition to these equivalences, we confirm these conjectures in ${\mathbb R}^3$ and we establish an improved inequality in ${\mathbb R^2}$. Along the way, we give a negative answer to a question of Adam Marcus regarding the roots of the Steiner polynomial of zonoids. We also investigate analogous questions in the $L_p$-Brunn-Minkowski theory, and in particular, we confirm all of the above conjectures in the case $p=2$, in any dimension. △ Less

Submitted 5 June, 2022; originally announced June 2022.

MSC Class: 52A40; 52A39; 52A20

Journal ref: Journal of Functional Analysis, Vol. 286, No. 3, February 2024

Sumset estimates in convex geometry

Authors: Matthieu Fradelizi, Mokshay Madiman, Artem Zvavitch

Abstract: Sumset estimates, which provide bounds on the cardinality of sumsets of finite sets in a group, form an essential part of the toolkit of additive combinatorics. In recent years, probabilistic or entropic analogs of many of these inequalities were introduced. We study analogues of these sumset estimates in the context of convex geometry and Lebesgue measure on ${\mathbb R}^n$. First, we observe tha… ▽ More Sumset estimates, which provide bounds on the cardinality of sumsets of finite sets in a group, form an essential part of the toolkit of additive combinatorics. In recent years, probabilistic or entropic analogs of many of these inequalities were introduced. We study analogues of these sumset estimates in the context of convex geometry and Lebesgue measure on ${\mathbb R}^n$. First, we observe that, with respect to Minkowski summation, volume is supermodular to arbitrary order on the space of convex bodies. Second, we explore sharp constants in the convex geometry analogues of variants of the Plünnecke-Ruzsa inequalities. In the last section of the paper, we provide connections of these inequalities to the classical Rogers-Shephard inequality. △ Less

Submitted 3 June, 2022; originally announced June 2022.

MSC Class: 52A40; 52A39; 52A20; 39B62

Asymptotics of the Inertia Moments and the Variance Conjecture in Schatten Balls

Authors: Benjamin Dadoun, Matthieu Fradelizi, Olivier Guédon, Pierre-André Zitt

Abstract: We study the first and second orders of the asymptotic expansion, as the dimension goes to infinity, of the moments of the Hilbert-Schmidt norm of a uniformly distributed matrix in the p-Schatten unit ball. We consider the case of matrices with real, complex or quaternionic entries, self-adjoint or not. When p > 3, this asymptotic expansion allows us to establish a generalized version of the varia… ▽ More We study the first and second orders of the asymptotic expansion, as the dimension goes to infinity, of the moments of the Hilbert-Schmidt norm of a uniformly distributed matrix in the p-Schatten unit ball. We consider the case of matrices with real, complex or quaternionic entries, self-adjoint or not. When p > 3, this asymptotic expansion allows us to establish a generalized version of the variance conjecture for the family of p-Schatten unit balls of self-adjoint matrices. △ Less

Submitted 16 February, 2022; v1 submitted 15 November, 2021; originally announced November 2021.

Transport proofs of some functional inverse Santal{ó} inequalities

Authors: Matthieu Fradelizi, Nathael Gozlan, Simon Zugmeyer

Abstract: In this paper, we present a simple proof of a recent result of the second author which establishes that functional inverse-Santal{ó} inequalities follow from Entropy-Transport inequalities. Then, using transport arguments together with elementary correlation inequalities, we prove these sharp Entropy-Transport inequalities in dimension 1. We also revisit the proof of the functional inverse-Santal{… ▽ More In this paper, we present a simple proof of a recent result of the second author which establishes that functional inverse-Santal{ó} inequalities follow from Entropy-Transport inequalities. Then, using transport arguments together with elementary correlation inequalities, we prove these sharp Entropy-Transport inequalities in dimension 1. We also revisit the proof of the functional inverse-Santal{ó} inequalities in the n dimensional unconditional case using these ideas. △ Less

Submitted 9 September, 2021; v1 submitted 2 September, 2021; originally announced September 2021.

The functional form of Mahler conjecture for even log-concave functions in dimension $2$

Authors: Matthieu Fradelizi, Elie Nakhle

Abstract: Let $Φふぁい$ : R n $\rightarrow$ R $\cup$ {+$\infty$} be an even convex function and L$Φふぁい$ be its Legendre transform. We prove the functional form of Mahler conjecture concerning the functional volume product P ($Φふぁい$) = e --$Φふぁい$ e --L$Φふぁい$ in dimension 2: we give the sharp lower bound of this quantity and characterize the equality case. The proof uses the computation of the derivative in t of P (t$Φふぁい$) and i… ▽ More Let $Φふぁい$ : R n $\rightarrow$ R $\cup$ {+$\infty$} be an even convex function and L$Φふぁい$ be its Legendre transform. We prove the functional form of Mahler conjecture concerning the functional volume product P ($Φふぁい$) = e --$Φふぁい$ e --L$Φふぁい$ in dimension 2: we give the sharp lower bound of this quantity and characterize the equality case. The proof uses the computation of the derivative in t of P (t$Φふぁい$) and ideas due to Meyer [M] for unconditional convex bodies, adapted to the functional case by Fradelizi-Meyer [FM2] and extended for symmetric convex bodies in dimension 3 by Iriyeh-Shibata [IS] (see also [FHMRZ]). △ Less

Submitted 11 April, 2023; v1 submitted 20 January, 2021; originally announced January 2021.

Geometry and volume product of finite dimensional Lipschitz-free spaces

Authors: Matthew Alexander, Matthieu Fradelizi, Luis C. García-Lirola, Artem Zvavitch

Abstract: The goal of this paper is to study geometric and extremal properties of the convex body $B_{\mathcal F(M)}$, which is the unit ball of the Lipschitz-free Banach space associated with a finite metric space $M$. We investigate $\ell_1$ and $\ell_\infty$-sums, in particular we characterize the metric spaces such that $B_{\mathcal F(M)}$ is a Hanner polytope. We also characterize the finite metric spa… ▽ More The goal of this paper is to study geometric and extremal properties of the convex body $B_{\mathcal F(M)}$, which is the unit ball of the Lipschitz-free Banach space associated with a finite metric space $M$. We investigate $\ell_1$ and $\ell_\infty$-sums, in particular we characterize the metric spaces such that $B_{\mathcal F(M)}$ is a Hanner polytope. We also characterize the finite metric spaces whose Lipschitz-free spaces are isometric. We discuss the extreme properties of the volume product $\mathcal{P}(M)=|B_{\mathcal F(M)}|\cdot|B_{\mathcal F(M)}^\circ|$, when the number of elements of $M$ is fixed. We show that if $\mathcal P(M)$ is maximal among all the metric spaces with the same number of points, then all triangle inequalities in $M$ are strict and $B_{\mathcal F(M)}$ is simplicial. We also focus on the metric spaces minimizing $\mathcal P(M)$, and in the Mahler's conjecture for this class of convex bodies. △ Less

Submitted 14 April, 2020; v1 submitted 24 November, 2019; originally announced November 2019.

Comments: 21 pages

MSC Class: 52A38 (Primary) 52A21; 52A40; 54E45; 05C12 (Secondary)

Volume of the Minkowski sums of star-shaped sets

Authors: Matthieu Fradelizi, Zsolt Lángi, Artem Zvavitch

Abstract: For a compact set $A \subset {\mathbb R}^d$ and an integer $k\ge 1$, let us denote by $$ A[k] = \left\{a_1+\cdots +a_k: a_1, \ldots, a_k\in A\right\}=\sum_{i=1}^k A$$ the Minkowski sum of $k$ copies of $A$. A theorem of Shapley, Folkmann and Starr (1969) states that $\frac{1}{k}A[k]$ converges to the convex hull of $A$ in Hausdorff distance as $k$ tends to infinity. Bobkov, Madiman and Wang (2011)… ▽ More For a compact set $A \subset {\mathbb R}^d$ and an integer $k\ge 1$, let us denote by $$ A[k] = \left\{a_1+\cdots +a_k: a_1, \ldots, a_k\in A\right\}=\sum_{i=1}^k A$$ the Minkowski sum of $k$ copies of $A$. A theorem of Shapley, Folkmann and Starr (1969) states that $\frac{1}{k}A[k]$ converges to the convex hull of $A$ in Hausdorff distance as $k$ tends to infinity. Bobkov, Madiman and Wang (2011) conjectured that the volume of $\frac{1}{k}A[k]$ is non-decreasing in $k$, or in other words, in terms of the volume deficit between the convex hull of $A$ and $\frac{1}{k}A[k]$, this convergence is monotone. It was proved by Fradelizi, Madiman, Marsiglietti and Zvavitch (2016) that this conjecture holds true if $d=1$ but fails for any $d \geq 12$. In this paper we show that the conjecture is true for any star-shaped set $A \subset {\mathbb R}^d$ for $d=2$ and $d=3$ and also for arbitrary dimensions $d \ge 4$ under the condition $k \ge (d-1)(d-2)$. In addition, we investigate the conjecture for connected sets and present a counterexample to a generalization of the conjecture to the Minkowski sum of possibly distinct sets in ${\mathbb R}^d$, for any $d \geq 7$. △ Less

Submitted 23 June, 2021; v1 submitted 14 October, 2019; originally announced October 2019.

MSC Class: 52A40; 52A38; 60E15

Equipartitions and Mahler volumes of symmetric convex bodies

Authors: Matthieu Fradelizi, Alfredo Hubard, Mathieu Meyer, Edgardo Roldán-Pensado, Artem Zvavitch

Abstract: Following ideas of Iriyeh and Shibata we give a short proof of the three-dimensional Mahler conjecture {\mf for symmetric convex bodies}. Our contributions include, in particular, simple self-contained proofs of their two key statements. The first of these is an equipartition (ham sandwich type) theorem which refines a celebrated result of Hadwiger and, as usual, can be proved using ideas from equ… ▽ More Following ideas of Iriyeh and Shibata we give a short proof of the three-dimensional Mahler conjecture {\mf for symmetric convex bodies}. Our contributions include, in particular, simple self-contained proofs of their two key statements. The first of these is an equipartition (ham sandwich type) theorem which refines a celebrated result of Hadwiger and, as usual, can be proved using ideas from equivariant topology. The second is an inequality relating the product volume to areas of certain sections and their duals. We observe that these ideas give a large family of convex sets in every dimension for which the Mahler conjecture holds true. Finally we give an alternative proof of the characterization of convex bodies that achieve the equality case and establish a {\mf new} stability result. △ Less

Submitted 20 January, 2021; v1 submitted 24 April, 2019; originally announced April 2019.

Comments: 12 pages, 1 figure

Random polytopes and the wet part for arbitrary probability distributions

Authors: Imre Bárány, Matthieu Fradelizi, Xavier Goaoc, Alfredo Hubard, Günter Rote

Abstract: We examine how the measure and the number of vertices of the convex hull of a random sample of $n$ points from an arbitrary probability measure in $\mathbf{R}^d$ relates to the wet part of that measure. This extends classical results for the uniform distribution from a convex set [Bárány and Larman 1988]. The lower bound of Bárány and Larman continues to hold in the general setting, but the upper… ▽ More We examine how the measure and the number of vertices of the convex hull of a random sample of $n$ points from an arbitrary probability measure in $\mathbf{R}^d$ relates to the wet part of that measure. This extends classical results for the uniform distribution from a convex set [Bárány and Larman 1988]. The lower bound of Bárány and Larman continues to hold in the general setting, but the upper bound must be relaxed by a factor of $\log n$. We show by an example that this is tight. △ Less

Submitted 18 February, 2019; originally announced February 2019.

Comments: 13 pages, 1 figure

MSC Class: 60D05

Journal ref: Annales Henri Lebesgue 3 (2020), 701-715

Polytopes of Maximal Volume Product

Authors: Matthew Alexander, Matthieu Fradelizi, Artem Zvavitch

Abstract: For a convex body $K \subset {\mathbb R}^n$, let $K^z = \{y\in{\mathbb R}^n : \langle y-z, x-z\rangle\le 1, \mbox{\ for all\ } x\in K\}$ be the polar body of $K$ with respect to the center of polarity $z \in {\mathbb R}^n$. The goal of this paper is to study the maximum of the volume product $\mathcal{P}(K)=\min_{z\in {\rm int}(K)}|K||K^z|$, among convex polytopes $K\subset {\mathbb R}^n$ with a n… ▽ More For a convex body $K \subset {\mathbb R}^n$, let $K^z = \{y\in{\mathbb R}^n : \langle y-z, x-z\rangle\le 1, \mbox{\ for all\ } x\in K\}$ be the polar body of $K$ with respect to the center of polarity $z \in {\mathbb R}^n$. The goal of this paper is to study the maximum of the volume product $\mathcal{P}(K)=\min_{z\in {\rm int}(K)}|K||K^z|$, among convex polytopes $K\subset {\mathbb R}^n$ with a number of vertices bounded by some fixed integer $m \ge n+1$. In particular, we prove that the supremum is reached at a simplicial polytope with exactly $m$ vertices and we provide a new proof of a result of Meyer and Reisner showing that, in the plane, the regular polygon has maximal volume product among all polygons with at most $m$ vertices. Finally, we treat the case of polytopes with $n+2$ vertices in ${\mathbb R}^n$. △ Less

Submitted 25 August, 2017; originally announced August 2017.

MSC Class: 52A20; 53A15; 52B10

The convexification effect of Minkowski summation

Authors: Matthieu Fradelizi, Mokshay Madiman, Arnaud Marsiglietti, Artem Zvavitch

Abstract: Let us define for a compact set $A \subset \mathbb{R}^n$ the sequence $$ A(k) = \left\{\frac{a_1+\cdots +a_k}{k}: a_1, \ldots, a_k\in A\right\}=\frac{1}{k}\Big(\underset{k\ {\rm times}}{\underbrace{A + \cdots + A}}\Big). $$ It was independently proved by Shapley, Folkman and Starr (1969) and by Emerson and Greenleaf (1969) that $A(k)$ approaches the convex hull of $A$ in the Hausdorff distance ind… ▽ More Let us define for a compact set $A \subset \mathbb{R}^n$ the sequence $$ A(k) = \left\{\frac{a_1+\cdots +a_k}{k}: a_1, \ldots, a_k\in A\right\}=\frac{1}{k}\Big(\underset{k\ {\rm times}}{\underbrace{A + \cdots + A}}\Big). $$ It was independently proved by Shapley, Folkman and Starr (1969) and by Emerson and Greenleaf (1969) that $A(k)$ approaches the convex hull of $A$ in the Hausdorff distance induced by the Euclidean norm as $k$ goes to $\infty$. We explore in this survey how exactly $A(k)$ approaches the convex hull of $A$, and more generally, how a Minkowski sum of possibly different compact sets approaches convexity, as measured by various indices of non-convexity. The non-convexity indices considered include the Hausdorff distance induced by any norm on $\mathbb{R}^n$, the volume deficit (the difference of volumes), a non-convexity index introduced by Schneider (1975), and the effective standard deviation or inner radius. After first clarifying the interrelationships between these various indices of non-convexity, which were previously either unknown or scattered in the literature, we show that the volume deficit of $A(k)$ does not monotonically decrease to 0 in dimension 12 or above, thus falsifying a conjecture of Bobkov et al. (2011), even though their conjecture is proved to be true in dimension 1 and for certain sets $A$ with special structure. On the other hand, Schneider's index possesses a strong monotonicity property along the sequence $A(k)$, and both the Hausdorff distance and effective standard deviation are eventually monotone (once $k$ exceeds $n$). Along the way, we obtain new inequalities for the volume of the Minkowski sum of compact sets, falsify a conjecture of Dyn and Farkhi (2004), demonstrate applications of our results to combinatorial discrepancy theory, and suggest some questions worthy of further investigation. △ Less

Submitted 16 May, 2018; v1 submitted 18 April, 2017; originally announced April 2017.

Comments: 60 pages, 7 figures. v2: Title changed. v3: Added Section 7.2 resolving Dyn-Farkhi conjecture

MSC Class: 60E15 11B13 (Primary); 94A17 60F15 (Secondary)

Journal ref: EMS Surveys in Mathematical Sciences, 2018

On the volume of sections of a convex body by cones

Authors: Matthieu Fradelizi, Mathieu Meyer, Vlad Yaskin

Abstract: Let $K$ be a convex body in $\mathbb R^n$. We prove that in small codimensions, the sections of a convex body through the centroid are quite symmetric with respect to volume. As a consequence of our estimates we give a positive answer to a problem posed by M. Meyer and S. Reisner regarding convex intersection bodies. Let $K$ be a convex body in $\mathbb R^n$. We prove that in small codimensions, the sections of a convex body through the centroid are quite symmetric with respect to volume. As a consequence of our estimates we give a positive answer to a problem posed by M. Meyer and S. Reisner regarding convex intersection bodies. △ Less

Submitted 12 April, 2016; originally announced April 2016.

Comments: 13 pages

MSC Class: 52A20; 52A40

Do Minkowski averages get progressively more convex?

Authors: Matthieu Fradelizi, Mokshay Madiman, Arnaud Marsiglietti, Artem Zvavitch

Abstract: Let us define, for a compact set $A \subset \mathbb{R}^n$, the Minkowski averages of $A$: $$ A(k) = \left\{\frac{a_1+\cdots +a_k}{k} : a_1, \ldots, a_k\in A\right\}=\frac{1}{k}\Big(\underset{k\ {\rm times}}{\underbrace{A + \cdots + A}}\Big). $$ We study the monotonicity of the convergence of $A(k)$ towards the convex hull of $A$, when considering the Hausdorff distance, the volume deficit and a no… ▽ More Let us define, for a compact set $A \subset \mathbb{R}^n$, the Minkowski averages of $A$: $$ A(k) = \left\{\frac{a_1+\cdots +a_k}{k} : a_1, \ldots, a_k\in A\right\}=\frac{1}{k}\Big(\underset{k\ {\rm times}}{\underbrace{A + \cdots + A}}\Big). $$ We study the monotonicity of the convergence of $A(k)$ towards the convex hull of $A$, when considering the Hausdorff distance, the volume deficit and a non-convexity index of Schneider as measures of convergence. For the volume deficit, we show that monotonicity fails in general, thus disproving a conjecture of Bobkov, Madiman and Wang. For Schneider's non-convexity index, we prove that a strong form of monotonicity holds, and for the Hausdorff distance, we establish that the sequence is eventually nonincreasing. △ Less

Submitted 6 February, 2016; v1 submitted 5 December, 2015; originally announced December 2015.

Comments: 6 pages, including figures. Contains announcement of results that will be part of a more comprehensive, forthcoming paper. Version 2 corrects a typo

Journal ref: Comptes Rendus de l'Academies des Sciences Paris, Serie I Mathematique, vol. 354, no. 2, pp. 185-189, February 2016

Concentration of information content for convex measures

Authors: Matthieu Fradelizi, Jiange Li, Mokshay Madiman

Abstract: We establish sharp exponential deviation estimates of the information content as well as a sharp bound on the varentropy for the class of convex measures on Euclidean spaces. This generalizes a similar development for log-concave measures in the recent work of Fradelizi, Madiman and Wang (2016). In particular, our results imply that convex measures in high dimensions are concentrated in an annulus… ▽ More We establish sharp exponential deviation estimates of the information content as well as a sharp bound on the varentropy for the class of convex measures on Euclidean spaces. This generalizes a similar development for log-concave measures in the recent work of Fradelizi, Madiman and Wang (2016). In particular, our results imply that convex measures in high dimensions are concentrated in an annulus between two convex sets (as in the log-concave case) despite their possibly having much heavier tails. Various tools and consequences are developed, including a sharp comparison result for Rényi entropies, inequalities of Kahane-Khinchine type for convex measures that extend those of Koldobsky, Pajor and Yaskin (2008) for log-concave measures, and an extension of Berwald's inequality (1947). △ Less

Submitted 23 February, 2020; v1 submitted 4 December, 2015; originally announced December 2015.

Comments: Added some references

Journal ref: Electron. J. Probab. 25(20):1-22, 2020

Optimal Concentration of Information Content For Log-Concave Densities

Authors: Matthieu Fradelizi, Mokshay Madiman, Liyao Wang

Abstract: An elementary proof is provided of sharp bounds for the varentropy of random vectors with log-concave densities, as well as for deviations of the information content from its mean. These bounds significantly improve on the bounds obtained by Bobkov and Madiman ({\it Ann. Probab.}, 39(4):1528--1543, 2011). An elementary proof is provided of sharp bounds for the varentropy of random vectors with log-concave densities, as well as for deviations of the information content from its mean. These bounds significantly improve on the bounds obtained by Bobkov and Madiman ({\it Ann. Probab.}, 39(4):1528--1543, 2011). △ Less

Submitted 26 October, 2015; v1 submitted 17 August, 2015; originally announced August 2015.

Comments: 15 pages. Changes in v2: Remark 2.5 (due to C. Saroglou) added with more general sufficient conditions for equality in Theorem 2.3. Also some minor corrections and added references

Journal ref: C. Houdré et al. (eds.), High Dimensional Probability VII, Progress in Probability 71, Springer, 2016

Functional versions of L_p-affine surface area and entropy inequalities

Authors: U. Caglar, M. Fradelizi, O. Guedon, J. Lehec, C. Schuett, E. M. Werner

Abstract: In contemporary convex geometry, the rapidly developing L_p-Brunn Minkowski theory is a modern analogue of the classical Brunn Minkowski theory. A cornerstone of this theory is the L_p-affine surface area for convex bodies. Here, we introduce a functional form of this concept, for log concave and s-concave functions. We show that the new functional form is a generalization of the original L_p-affi… ▽ More In contemporary convex geometry, the rapidly developing L_p-Brunn Minkowski theory is a modern analogue of the classical Brunn Minkowski theory. A cornerstone of this theory is the L_p-affine surface area for convex bodies. Here, we introduce a functional form of this concept, for log concave and s-concave functions. We show that the new functional form is a generalization of the original L_p-affine surface area. We prove duality relations and affine isoperimetric inequalities for log concave and s-concave functions. This leads to a new inverse log-Sobolev inequality for s-concave densities. △ Less

Submitted 13 February, 2014; originally announced February 2014.

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.

Thin-shell concentration for convex measures

Authors: Matthieu Fradelizi, Olivier Guédon, Alain Pajor

Abstract: We prove that for $s<0$, $s$-concave measures on ${\mathbb R}^n$ satisfy a thin shell concentration similar to the log-concave one. It leads to a Berry-Esseen type estimate for their one dimensional marginal distributions. We also establish sharp reverse Hölder inequalities for $s$-concave measures. We prove that for $s<0$, $s$-concave measures on ${\mathbb R}^n$ satisfy a thin shell concentration similar to the log-concave one. It leads to a Berry-Esseen type estimate for their one dimensional marginal distributions. We also establish sharp reverse Hölder inequalities for $s$-concave measures. △ Less

Submitted 1 October, 2014; v1 submitted 28 June, 2013; originally announced June 2013.

On the analogue of the concavity of entropy power in the Brunn-Minkowski theory

Authors: Matthieu Fradelizi, Arnaud Marsiglietti

Abstract: Elaborating on the similarity between the entropy power inequality and the Brunn-Minkowski inequality, Costa and Cover conjectured in {\it On the similarity of the entropy power inequality and the Brunn-Minkowski inequality} (IEEE Trans. Inform. Theory 30 (1984), no. 6, 837-839) the $\frac{1}{n}$-concavity of the outer parallel volume of measurable sets as an analogue of the concavity of entropy p… ▽ More Elaborating on the similarity between the entropy power inequality and the Brunn-Minkowski inequality, Costa and Cover conjectured in {\it On the similarity of the entropy power inequality and the Brunn-Minkowski inequality} (IEEE Trans. Inform. Theory 30 (1984), no. 6, 837-839) the $\frac{1}{n}$-concavity of the outer parallel volume of measurable sets as an analogue of the concavity of entropy power. We investigate this conjecture and study its relationship with geometric inequalities. △ Less

Submitted 25 February, 2013; originally announced February 2013.

MSC Class: 52A40; 94A17

Stability of the functional forms of the Blaschke-Santalo inequality

Authors: Franck Barthe, Karoly J. Boroczky, Matthieu Fradelizi

Abstract: Stability versions of the functional forms of the Blaschke-Santalo inequality due to Ball, Artstein-Klartag-Milman, Fradelizi-Meyer and Lehec are proved. Stability versions of the functional forms of the Blaschke-Santalo inequality due to Ball, Artstein-Klartag-Milman, Fradelizi-Meyer and Lehec are proved. △ Less

Submitted 2 June, 2012; originally announced June 2012.

The Logarithmic Sobolev Constant of The Lamplighter

Authors: Evgeny Abakumov, Anne Beaulieu, François Blanchard, Matthieu Fradelizi, Nathaël Gozlan, Bernard Host, Thiery Jeantheau, Magdalena Kobylanski, Guillaume Lecué, Miguel Martinez, Mathieu Meyer, Marie-Hélène Mourgues, Frédéric Portal, Francis Ribaud, Cyril Roberto, Pascal Romon, Julien Roth, Paul-Marie Samson, Pierre Vandekerkhove, Abdellah Youssfi

Abstract: We give estimates on the logarithmic Sobolev constant of some finite lamplighter graphs in terms of the spectral gap of the underlying base. Also, we give examples of application. We give estimates on the logarithmic Sobolev constant of some finite lamplighter graphs in terms of the spectral gap of the underlying base. Also, we give examples of application. △ Less

Submitted 8 November, 2010; originally announced November 2010.

Journal ref: Journal of Mathematical Analysis and applications 399 (2013) 576-585

Concentration inequalities for $s$-concave measures of dilations of Borel sets and applications

Authors: Matthieu Fradelizi

Abstract: We prove a sharp inequality conjectured by Bobkov on the measure of dilations of Borel sets in $\mathbb{R}^n$ by a $s$-concave probability. Our result gives a common generalization of an inequality of Nazarov, Sodin and Volberg and a concentration inequality of Guédon. Applying our inequality to the level sets of functions satisfying a Remez type inequality, we deduce, as it is classical, that t… ▽ More We prove a sharp inequality conjectured by Bobkov on the measure of dilations of Borel sets in $\mathbb{R}^n$ by a $s$-concave probability. Our result gives a common generalization of an inequality of Nazarov, Sodin and Volberg and a concentration inequality of Guédon. Applying our inequality to the level sets of functions satisfying a Remez type inequality, we deduce, as it is classical, that these functions enjoy dimension free distribution inequalities and Kahane-Khintchine type inequalities with positive and negative exponent, with respect to an arbitrary $s$-concave probability. △ Less

Submitted 1 July, 2008; originally announced July 2008.

Comments: 22 pages, submitted

MSC Class: 46B07; 46B09; 60B11; 52A20; 26D05

Some functional forms of Blaschke-Santaló inequality

Authors: Matthieu Fradelizi, Mathieu Meyer

Abstract: We establish new functional versions of the Blaschke-Santaló inequality on the volume product of a convex body which generalize to the non-symmetric setting an inequality of K. Ball and we give a simple proof of the case of equality. As a corollary, we get some inequalities for $\log$-concave functions and Legendre transforms which extend the recent result of Artstein, Klartag and Milman, with i… ▽ More We establish new functional versions of the Blaschke-Santaló inequality on the volume product of a convex body which generalize to the non-symmetric setting an inequality of K. Ball and we give a simple proof of the case of equality. As a corollary, we get some inequalities for $\log$-concave functions and Legendre transforms which extend the recent result of Artstein, Klartag and Milman, with its equality case. △ Less

Submitted 20 September, 2006; originally announced September 2006.

Comments: 19 pages, to appear in Mathematische Zeitschrift

MSC Class: 52A40

Elementary solution to the Busemann-Petty problem

Authors: Franck Barthe, Matthieu Fradelizi, Bernard Maurey

Abstract: A unified analytic solution to the Busemann-Petty problem was recently found by Gardner, Koldobsky and Schlumprecht. We give an elementary proof of their formulas for the inverse Radon transform. A unified analytic solution to the Busemann-Petty problem was recently found by Gardner, Koldobsky and Schlumprecht. We give an elementary proof of their formulas for the inverse Radon transform. △ Less

Submitted 15 April, 1998; v1 submitted 4 February, 1998; originally announced February 1998.

Comments: 5 pages

Report number: Banach Archive 2/05/98 MSC Class: 52A40; 52A38; 44A12