Abstract
We provide a characterization of those log-concave distributions in \({{\mathbb {R}}}^n\) that are contoured distributions, through the \(K_p\)-bodies of the distribution, defined by Ball. Our method uses the logarithmic integral for the solution of a Bernstein type approximation problem. In the second part of the paper we state a question for contoured distributions that would provide an alternative approach to the isotropic constant problem.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In this article we provide a characterization of those log-concave distributions in \({{\mathbb {R}}}^n\) that are contoured distributions. The crucial rôle in this characterization is played by the bodies \(K_p(f)\), for \(p>0\), of a log-concave function f on \({\mathbb R}^n\) with finite positive integral, introduced by Keith Ball. These bodies are described in the literature as “associated” to the log-concave distribution f, but it is known to the experts that if f is induced by some convex body, in essence they “recover” the norm and/or the original body. More precisely, if f is of the form \(h(\Vert x\Vert _K)\) for a convex body K, then \(K_p(f)\) is a dilation of K with the magnifying constant depending on \(p>0\) and h (see Proposition 3.2 below). The first main result of this article states that the converse also holds true, and so the following characterization for log-concave densities is valid. A probability distribution in \({{\mathbb {R}}}^n\) is called contoured if its probability density function has the form
where K is a star-shaped set in \({\mathbb {R}}^n\) and \(\phi :[0,+\infty )\rightarrow [0,+\infty )\) is an integrable function such that \(\phi (|x|)\) is a density in \({{\mathbb {R}}}^n\).
Theorem 1.1
Let \(f:{{\mathbb {R}}}^n\rightarrow [0,\infty )\) be a log-concave probability density. Then, f defines a contoured distribution if and only if there exist a convex body K in \({{\mathbb {R}}}^n\) and a sequence \((c_p)_{p\in {{\mathbb {N}}}}\) of positive constants such that \(K_p(f)=c_pK\) for all \(p\in {{\mathbb {N}}}\).
It can be seen that if f is even then the bodies \(K_p(f)\) are all equivalent up to constants depending only on p (see Proposition 2.4 below). This shows that in order to provide an example of an even log-concave distribution that is not contoured we need to find an even log-concave function f for which the bodies \(K_p(f)\) are not multiples of each other although they are equivalent up to constants that do not depend on the dimension.
The proof of Theorem 1.1 is based on an argument that establishes approximation of a function by polynomials in weighted \(L_p\) spaces. Actually, following the same arguments we can also prove that the bodies \(K_p\) characterize a log-concave distribution.
Theorem 1.2
Let f, g be two log-concave densities on \({{\mathbb {R}}}^n\). Then, \(K_p(f)=K_p(g)\) for all \(p\in {{\mathbb {N}}}\) if and only if \(f=g\).
Thus, knowing the bodies \(K_p(f)\) for all \(p\in {{\mathbb {N}}}\) we also know f, since the mapping \(f\mapsto (K_p(f))_{p\in {\mathbb {N}}}\) is one-to-one.
In the second part of this article, we associate to any isotropic log-concave distribution a contoured one that distributes the mass isotropically on \({\mathbb {R}}^n\) and we compare their isotropic constants. This shows that the isotropic constant can be controlled by the isotropic constants for contoured distributions.
2 Preliminaries and Notation
We work in \({{\mathbb {R}}}^n\), equipped with a Euclidean structure \(\langle \cdot ,\cdot \rangle \). We write \(|\cdot |\) for the corresponding Euclidean norm, and \(B_2^n\) stands for the Euclidean unit ball, and \({\mathbb {S}}^{n-1}\) for the Euclidean unit sphere. We write \(\text {int}(A)\) and \(\text {bd}(A)\) for the interior and boundary of a set \(A\subseteq {{\mathbb {R}}}^n\) respectively, and |A| for the volume of A in \({\mathbb {R}}^n\), that is its Lebesgue measure. We write \(\omega _n\) for the volume of \(B_2^n\) and \(\sigma =\sigma _n\) for the rotationally invariant probability measure on \({\mathbb {S}}^{n-1}\).
For any integrable function \(f:{{\mathbb {R}}}^n\rightarrow {{\mathbb {R}}}\), we denote the Lebesgue integral of f by \(\int f(x)\,dx\). Integration in polar coordinates gives that
The letters c, \(c_1\), \(c_2\) etc, denote absolute positive constants whose value may change from line to line. Whenever we write \(a\simeq b\), we mean that there exist absolute constants \(c_1,c_2>0\) such that \(c_1a\le b\le c_2a\). Similarly, if \(A,B\subseteq {\mathbb {R}}^n\) we write \(A\simeq B\) if there exist absolute constants \(c_1, c_2>0\), independent of the dimension n and any defining parameter of A and B, such that \(c_{1}A\subseteq B\subseteq c_{2}A\).
A subset K of \({{\mathbb {R}}}^n\) is called centered if its center of mass lies at the origin i.e. \(\int _K\langle x,\theta \rangle dx=0\) for every \(\theta \in {\mathbb {S}}^{n-1}\), and it is called symmetric if \(-x\in K\) whenever \(x\in K\). Moreover, we say that K is star shaped if \(\lambda x\in K\) whenever \(x\in K\) and \(\lambda \in [0,1]\), and that K is a convex body if it is convex and compact in \({{\mathbb {R}}}^n\) with a non-empty interior. The Minkowski functional of a star shaped set \(K\subseteq {{\mathbb {R}}}^n\) is the function
Note that the Minkowski functional of a symmetric convex body K in \({{\mathbb {R}}}^n\) is a norm in \({{\mathbb {R}}}^n\), and accordingly any norm \(\Vert \cdot \Vert \) in \({{\mathbb {R}}}^n\) defines a symmetric convex body K in \({{\mathbb {R}}}^n\) by \(K=\{x\in {{\mathbb {R}}}^n:\,\Vert x\Vert \le 1\}\).
A function \(u:{\mathbb {R}}^n\rightarrow (-\infty ,+\infty ]\) is convex if
for all x, \(y\in {\mathbb {R}}^n\) and all \(\lambda \in [0,1]\). It is elementary that every convex function u can be altered on the boundary of the convex set
so that its epigraph becomes closed, equivalently u is lower-semicontinuous. Such a function is called closed. Moreover, u is continuous on \(\text {int}(\text {dom}(f))\). All convex functions in this article will be assumed to be closed.
A convex function is proper if it is not identically \(+\infty \). However, in this work we need to also exclude the trivial case where the function is equal to \(+\infty \) with the exception of an affine subspace of \({\mathbb {R}}^n\) of dimension strictly less than n (a point if \(n=1\)). Thus, if \(f:{\mathbb {R}}\rightarrow (-\infty ,+\infty ]\) is a proper convex function then the set \(\text {dom}(f)\) is a subinterval of \({\mathbb {R}}\), as a non trivial convex subset of \({\mathbb {R}}\). We will also assume that all convex functions in this article are proper in the above sense.
A function \(f:{\mathbb {R}}^n\rightarrow [0,\infty )\) is called centered if \(\int _{{{\mathbb {R}}}^n}xf(x)\,dx=0\), and f is called log-concave if \(\log f\) is concave (or equivalently if \(-\log f\) is convex, and so assumed closed and proper throughout this article), that is if \(f((1-\lambda )x+\lambda y) \ge (f(x))^{1-\lambda }(f(y))^\lambda \), for all x, \(y\in {\mathbb {R}}^n\) and all \(\lambda \in (0,1)\).
A basic property of log-concave densities that we will need is that they decay exponentially as \(|x|\rightarrow \infty \) (see [1], Lemma 10.6.1). In particular, this implies that a log-concave density has finite moments of all orders.
Lemma 2.1
For every log-concave density f in \({{\mathbb {R}}}^n\), there exist constants \(A,B>0\),
such that
for all \(x\in {{\mathbb {R}}}^n\). \(\square \)
The next result is due to Fradelizi [8].
Theorem 2.2
If f is a centered log-concave density in \({{\mathbb {R}}}^n\), then
2.1 Isotropicity
A convex body K in \({{\mathbb {R}}}^n\) is isotropic if it has volume 1, it is centered and its inertia matrix is a multiple of the identity, that is there exists a constant \(L_K>0\), called the isotropic constant of K, such that
for every \(\theta \in {{\mathbb {S}}}^{n-1}\).
More generally, for any probability density function \(f:{\mathbb R}^n\rightarrow [0,\infty )\), we define its isotropic constant by
where \(\text {Cov}(f)\) is the covariance matrix of f with entries
We say that a probability density function f in \({\mathbb {R}}^n\) distributes the mass isotropically if it is centered and \(\text {Cov}(f)\) is a multiple of the identity \(n\times n\) matrix. Equivalently the integral
is independent of the vector \(\xi \in {\mathbb {S}}^{n-1}\). If, in particular, \(\text {Cov}(f)\) is the identity, then we say that f is isotropic and we have \(L_f=\sup _{x\in {\mathbb R}^n}f(x)^{1/n}\). Note that a convex body K of volume 1 is isotropic if and only if the log-concave function \(f_K=L_K^n\mathbb {1}_{L_K^{-1}K}\) is isotropic.
One can check that for every log-concave function \(f:{\mathbb R}^n\rightarrow [0,\infty )\) there exist a non-singular affine isomorphism T and a positive number \(\alpha \) so that \(\alpha f\circ T\) is isotropic.
The hyperplane conjecture is a question in the theory of isotropic log-concave measures, asking if there exists an absolute constant \(C>0\) such that
for all \(n\in {{\mathbb {N}}}\). Bourgain proved in [5] that \(L_n \le c\root 4 \of {n}\log {n}\) and later Klartag [11] obtain the bound \(L_n \le c\root 4 \of {n}\) (see also [14]). Chen [7] in a breakthrough work proved that for any \(\varepsilon >0\) there exists a \(n_0(\varepsilon )\in {{\mathbb {N}}}\) such that \(L_n\le n^\varepsilon \), for every \(n\ge n_0(\varepsilon )\). Klartag and Lehec [13] showed then that \(L_n\le c(\log {n})^4\), and shortly after that, Klartag [12] proved that \(L_n\le c\sqrt{\log {n}}\), which is the best known upper bound until now.
2.2 Keith Ball’s Bodies
The bodies \(K_p(f)\) are defined as follows:
Definition 2.3
(K. Ball) Let \(f:{\mathbb {R}}^n\rightarrow [0,+\infty )\) be a measurable function such that \(f(0)>0\). For any \(p>0\) we define the set \(K_p(f)\) as follows:
If \(f_\mu \) is the density of a Borel probability measure \(\mu \) and \(f_\mu (0)>0\), then we define \(K_p(\mu ):=K_p(f_\mu )\).
From the definition it follows that the Minkowski functional of \(K_p(f)\) is given by
Ball showed (see [2]) that if \(f:\mathbb R^n\rightarrow [0,+\infty )\) is a log-concave function such that \(f(0)>0\) and \(0<\int _{{\mathbb {R}}^n}f(x)\,dx<+\infty \) then \(K_p(f)\) is a convex body for all \(p>0\).
Several properties of these bodies are well-known (see for example [1] or [6]). For example, \(K_p(\mathbb {1}_K)=K\) for every convex body K in \({\mathbb {R}}^n\), one always has that \(0\in K_p(f)\), and \(K_p(f)\) is symmetric if f is even. It is also known that the bodies \(K_p(f)\) are equivalent:
Proposition 2.4
Let \(f:{\mathbb {R}}^n\rightarrow [0,+\infty )\) be a log-concave function such that \(f(0)>0\).
-
(1)
If \(0<p\le q\) then
$$\begin{aligned} \frac{\Gamma (p+1)^{1/p}}{\Gamma (q+1)^{1/q}}K_q(f)\subseteq K_p(f)\subseteq \left( \frac{\Vert f\Vert _\infty }{f(0)}\right) ^{\frac{1}{p}-\frac{1}{q}}K_q(f). \end{aligned}$$ -
(2)
If f has its barycenter at the origin then, for every \(0<p\le q\),
These inclusions imply the following estimate for the volume of \(K_p(f)\) for every \(p>0\): if f is a centered log-concave density in \({{\mathbb {R}}}^n\), then for every \(s>0\) we have
Finally note that if f is even then it is easy to see that \(\Vert f\Vert _\infty =f(0)>0\), since by log-concavity \(f(0)\ge \sqrt{f(x)}\sqrt{f(-x)}=f(x)\) for every \(x\in {\mathbb R}^n\). Then, using the estimate \(\Gamma (p+1)^{1/p}\simeq p\), Proposition 2.4 implies that there exists an absolute constant \(c>0\) so that if \(0<p\le q\) then
that is, \(K_p(f)\) are equivalent up to constants independent of the dimension.
A crucial observation is that through the study of \(K_p(f)\) bodies one can provide bounds for the isotropic constant of log-concave probability densities. If \(f:{{\mathbb {R}}}^n\rightarrow [0,\infty )\) is an even log-concave function with finite and positive integral, then Ball showed that \(K_{n+2}(f)\) is a centrally symmetric convex body in \({{\mathbb {R}}}^n\) such that
where \(c_1, c_2 > 0\) are absolute constants. If in addition f is isotropic, then the normalized body \(K_{n+2}(f)/|K_{n+2}(f)|^{1/n}\) is an isotropic convex body.
In the general case where \(f:{{\mathbb {R}}}^n\rightarrow [0,\infty )\) is a centered log-concave function with finite and positive integral, but not necessarily even, one has that \(K_{n+1}(f)\) is a centered convex body in \({{\mathbb {R}}}^n\) with
where \(c_1, c_2 > 0\) are absolute constants.
The reader may find more details about the bodies \(K_p(f)\) and the geometry of isotropic log-concave measures in the books [1] and [6].
2.3 Contoured Distributions
The contoured distributions were introduced in [10] by Guleryuz et al. A distribution on \({{\mathbb {R}}}^n\) is called contoured if it is absolutely continuous and there exists a decomposition of its probability density function f in the form
where c is a positive constant, \(\phi :[0,+\infty )\rightarrow [0,+\infty )\) is an integrable function and \(\lambda :{{\mathbb {R}}}^n\rightarrow [0,\infty )\) is positive away from 0 and positively homogeneous i.e., \(\lambda (tx)=t\lambda (x)\), for any \(t>0\) and \(x\in {{\mathbb {R}}}^n\). We say then that \(\lambda \) is a shape function.
Associated to any shape function \(\lambda \) is the compact star-shaped body
and backwards, associated to any compact star-shaped body K is the shape function defined by the Minkowski functional of K (or the norm \(\Vert \cdot \Vert _K\) if K is a symmetric convex body),
It is known that there exists a one-to-one correspondence between shape functions and compact star-shaped bodies which leads us to the following notation. We say that the distribution of a random vector in \({{\mathbb {R}}}^n\) is contoured if its probability density function has the form
where K is a star-shaped set in \({\mathbb {R}}^n\) and \(\phi :[0,+\infty )\rightarrow [0,+\infty )\) is an integrable function such that \(\phi (|x|)\) is a density in \({{\mathbb {R}}}^n\), which by integration in polar coordinates, is equivalent to
The body K is called the contoured body of the distribution, and \(\phi \) is called the radial profile function of the distribution.
In this paper we only consider contoured distributions such that the contoured body K is a centered convex body in \({{\mathbb {R}}}^n\). We refer to the paper [10] for more details about the definition of a contoured distribution and the normalization (7) of its radial profile function.
3 Characterization of Contoured Log-Concave Distributions
Let \(W:{{\mathbb {R}}}\rightarrow [1,\infty )\) be an even and continuous function satisfying the condition
and for each \(1\le p<+\infty \), consider the Banach space of measurable functions
A classical Bernstein type approximation problem is to determine conditions under which the polynomials are dense in \(L_W^p\). The following is a well known result in this direction that reduces the answer to the logarithmic integral (see [4, 15] and the references therein).
Theorem 3.1
Let \(W:{{\mathbb {R}}}\rightarrow [1,\infty )\) be an even continuous function satisfying (8) such that the map \(t\mapsto \log {W(\exp {t})}\) defines a convex function on \({\mathbb R}\). Then, if
the polynomials are dense in \(L_W^p\), for any \(1\le p<\infty \). Otherwise, if
the polynomials are not dense in any \(L_W^p\), for \(1\le p<\infty \).
It is not hard to see that if f is the density of a contoured distribution in \({{\mathbb {R}}}^n\), then the bodies \(K_p(f)\) are all dilations of the distribution’s contoured body. In the next proposition, for the sake of completeness, we quote this well known fact, along with its simple proof.
Proposition 3.2
Let \(f(x)=f_{K,\phi }(x)=\frac{\omega _n}{|K|}\phi (\Vert x\Vert _K)\) be the density of a contoured distribution in \({{\mathbb {R}}}^n\), with a radial profile function \(\phi \) and a contoured (star-shaped) body K. Then,
where \(\displaystyle { c_p(\phi ):=\frac{1}{\Vert 1\Vert _{K_p(\phi )}} =\left( \frac{p}{\phi (0)}\int _0^\infty t^{p-1} \phi (t)\,dt\right) ^{1/p}}\).
Proof
For all \(p>0\), one has that
Thus, in order to prove Theorem 1.1, we need to establish the following reverse statement.
Theorem 3.3
Let f be a log-concave probability density in \({{\mathbb {R}}}^n\) and let K be a convex body in \({{\mathbb {R}}}^n\) with the property that for every \(p\in {{\mathbb {N}}}\) there exists a constant \(c_p>0\) such that \(K_p(f)=c_p K\). Then f defines a contoured distribution.
We first need a couple of technical elementary lemmata. For the first one notice that by convexity, if \(x_0<y<z\) then \((z-x_0)f(y)\le (z-y)f(x_0)+(y-x_0)f(z)\). It follows that
and using lower semi-continuity we readily get the following.
Lemma 3.4
If \(f:{\mathbb {R}}\rightarrow (-\infty ,+\infty ]\) is a convex and lower semi-continuous function then \(\liminf _{x\rightarrow x_0} f(x)=f(x_0)\) for all \(x_0\in {\mathbb {R}}\), and f is continuous at every \(x\in \text {dom}(f)\).
For the next lemma, note that if u, w are two convex functions on \({\mathbb {R}}\) and \(u(t_0)>w(t_0)\), for some \(t_0\in {\mathbb {R}}\), then by Lemma 3.4 we can find \(\delta ,\epsilon >0\) and \(t_1\in \text {dom}(w)\) with \(|t_1-t_0|<\delta \) so that \(u(t)\ge \inf _{0<|t-t_0|<\delta }u(t)>w(t_1)+\epsilon \), and by continuity of w at \(t_1\) we easily get the following.
Lemma 3.5
Let u, w be two convex functions on \({\mathbb {R}}\) and suppose that there exists \(t_0\in {\mathbb {R}}\) so that \(u(t_0)>w(t_0)\). Then, we can find \(\gamma >0\) and an interval (a, b) so that \(u(t)>w(t)+\gamma \) for all \(t\in (a,b)\).
Proof of Theorem 3.3
First we prove the following claim, as a consequence of Theorem 3.1.
Claim. Assume that \(e^{-u}:{\mathbb R}^n\rightarrow {{\mathbb {R}}}\) is a log-concave density in \({{\mathbb {R}}}^n\) and \(x,y\in {{\mathbb {R}}}^n\setminus \{0\}\) satisfy
Then \(u(tx)=u(ty)\) for every \(t\in {{\mathbb {R}}}\).
Proof of the Claim: Consider the function \(g(t)=e^{-u(tx)}-e^{-u(ty)}\) and assume that \(g(t_0)\ne 0\) for some \(t_0\in {{\mathbb {R}}}\). Then by Lemma 3.5 there exist \(\gamma >0\) and an interval (a, b) in \({{\mathbb {R}}}\), such that
By Lemma 2.1, there exist constants \(A, B>0\) such that \(e^{-u(tx)}\le Ae^{-B|x|\,|t|}\) for all \(t\in {{\mathbb {R}}}\) and \(x\in {{\mathbb {R}}}^n\). Let \(c_{x,y}=B\min \{|x|, |y|\}>0\) and define \(W:{{\mathbb {R}}}\rightarrow [1,+\infty )\) with
Then \(\mathbb {1}_{(a,b)}\in L_W^1\), and W satisfies all the conditions of Theorem 3.1. Thus there exists a sequence of polynomials \((p_m)\) such that
as \(m\rightarrow \infty \). Notice now that by (11), (12) and (13) one has
as \(m\rightarrow \infty \) by (13). This is a contradiction and so g must be identically 0.
To finish the proof, write the log-concave density as \(f(x)=e^{-u(x)}\), where u is a convex function in \({\mathbb {R}}^n\). By the assumption of the theorem we have that \(\Vert x\Vert _{K_p(f)}=c_p^{-1}\Vert x\Vert _K\) for any \(p\in {{\mathbb {N}}}\), which implies that
Thus for any \(p\in {{\mathbb {N}}}\) and any \(x\in \text {bd}(K)\), the function
is constant and in fact it is equal to 1. So by the claim we have that \(u(rx)=u(ry)\) for all \(r\in {\mathbb {R}}\) and \(x, y\in \text {bd}(K)\). To end the proof, fix \(x_0\in \text {bd}(K)\) and define \(\phi (r)=e^{-u(rx_0)}\). It follows that
for every \(x\in {\mathbb {R}}^n\setminus \{0\}\), and so \(f(x)=e^{-u(x)}=\phi (\Vert x\Vert _K)\) completing the proof. \(\square \)
Proof of Theorem 1.2
Let \(f(x)=e^{-u(x)}\) and \(g(x)=e^{-w(x)}\) be two log-concave functions on \({{\mathbb {R}}}^n\), and assume that \(K_p(f)=K_p(g)\) for all \(p\in {{\mathbb {N}}}\). Thus, by the definition of the bodies \(K_p\) we have that, for all \(x\in {{\mathbb {R}}}^n\) and \(p\in {{\mathbb {N}}}\),
Then, the same arguments that we have used in the proof of Theorem 1.1 show that \(u(tx)=w(tx)\) for all \(t\in {\mathbb R}\) and all \(x\in {{\mathbb {R}}}^n\). Thus \(f(x)=g(x)\) for all \(x\in {{\mathbb {R}}}^n\). The other direction is obvious, and hence the proof is complete. \(\square \)
3.1 An Example
As discussed in the introduction, if we want to define a log-concave distribution which avoids being a contoured one, we need to find an example for which the bodies \(K_p(f)\) avoid being multiples of each other but they are all equivalent, in particular up to constants independent of the dimension in the even case. This may appear to be very delicate and definitely supports a related statement in [10]:
It is worth noting, however, that the class of origin-symmetric convex contoured distributions already contains most, if not all, commonly used explicit examples of multidimensional probability distributions.
Here we provide a simple example of a log-concave distribution that is not contoured. Consider the 1-dimensional log-concave densities \(f_1(x)=\frac{1}{2}e^{-|x|}\), \(f_2(x)={\mathbb {1}}_{\left[ -\frac{1}{2},\frac{1}{2}\right] }(x)\), \(x\in {{\mathbb {R}}}\), and the 2-dimensional log-concave density of their product measure
For any \(p>0\) and any \((x,y)\in {{\mathbb {R}}}^2\), a direct computation leads to the formula
Taking (x, y) on the line \(x=\alpha y\), we get that for any \(\alpha >0\),
Thus
for any \(p,q,\alpha >0\), and any \(x\in {{\mathbb {R}}}\). If f was a contoured density, then by Proposition 3.2 we should have that there exists a constant \(C_{p,q}>0\) such that
and this is definitely not the case in our example since, as equation (15) shows, the above norm ratio depends also on \((x,y)\in {{\mathbb {R}}}^2\).
4 Isotropic Constant Reduction
In this section, for any log-concave probability density f and every centered convex body K in \({{\mathbb {R}}}^n\), we introduce a contoured probability density that distributes the mass “similarly” to the way f does. The contoured distribution is defined using spherical averages of f.
Definition 4.1
(Spherical average density) Let \(f:{\mathbb {R}}^n\rightarrow [0,+\infty )\) be a log-concave probability density. We define a function \(\varphi :{\mathbb {R}}\rightarrow [0,+\infty )\) by
and for any centered convex body K in \({{\mathbb {R}}}^n\), we define the spherical average density \(h:{\mathbb R}^n\rightarrow [0,\infty )\) by
Observe that h is a contoured density, since its radial profile function \(\varphi \) satisfies the normalization condition (7). Indeed, using polar coordinates we see that
Remark 4.2
Note also that the center of mass of h lies at the origin since its contoured body K is centered. Truthfully, for any \(\xi \in {{\mathbb {S}}}^{n-1}\), the definition of h and integration in polar coordinates imply that
where
Then, integration in polar coordinates gives
and so
Theorem 4.3
With the above assumptions, if K is an isotropic convex body and f is an isotropic density in \({{\mathbb {R}}}^n\), then so is h and \(L_h\simeq L_fL_K\). Moreover, if we choose K to be the isotropic image of \(K_{n+1}(f)\), then we get that \(L_h\simeq L_f^2\).
Proof
Let f be a log-concave density and K be a centered convex body in \({{\mathbb {R}}}^n\). First note that by Remark 4.2, h is centered. Moreover, for any \(\xi \in {{\mathbb {S}}}^{n-1}\), integration in polar coordinates an Fubini’s theorem imply that
arriving at
If we assume that f distributes the mass isotropically in \({{\mathbb {R}}}^n\), then
If moreover K is isotropic, then by computing \(\int _K|\langle x,\xi \rangle |^2\,dx\) in polar coordinates, we get that
Thus, returning to (17) we finally get
that is, the integral on the left is independent of the direction \(\xi \in {\mathbb {S}}^{n-1}\), and this means that h distributes the mass in \({\mathbb {R}}^n\) isotropically.
To compute the isotropic constant of h we notice that since f is log-concave, by Theorem 2.2 we have that
and so
Now we use the fact that if a density f distributes the mass in \({\mathbb {R}}^n\) isotropically, then
Since both f and h distribute the mass isotropically, by (17), (18), (20) and using the estimate \(\sqrt{n}\omega _n^{1/n}\simeq 1\), we arrive at the formula
which, for K isotropic and by (19), gives that \(L_h\simeq L_K L_f\).
For the second part of the theorem, we assume that f is an isotropic log-concave density in \({{\mathbb {R}}}^n\). Note that if in addition we assume that f is even, then \(K_{n+2}(f)\) is centrally symmetric and distributes the mass isotropically in \({{\mathbb {R}}}^n\). Then by (4) we have that \(L_K\simeq L_f\) and so \(L_h\simeq L_f^2\). Nevertheless, we can prove this result without assuming the evenness of f.
Note that by (5) \(K_{n+1}(f)\) is a centered convex body in \({{\mathbb {R}}}^n\) with \(L_{K_{n+1}(f)}\simeq L_f\). Then, if T is the isotropic image of \(K_{n+1}(f)\), by the affine invariant of the isotropic constant we have that \(L_{T}=L_{K_{n+1}(f)}\simeq L_f\). Thus if we take h to be the spherical average density of f with the isotropic body T, by the first part of the Theorem we have that h is also isotropic and
completing the proof. \(\square \)
Remark 4.4
Notice that the spherical average density h in (16) defines always a contoured distribution, but it is not necessarily log-concave. Nevertheless, if one could prove that there exists a log-concave density \(f_*\) such that \(L_n\) is attained (up to an absolute constant) by \(L_{f*}\) and its spherical average density \(h_*\) is log-concave, then by Theorem 4.3 we would have that
and so \(L_n\) would be bounded by an absolute constant.
We conclude this section with a remark regarding a question that would allow to use contoured distributions for bounding the isotropic constant. We will say that a (probability density) function \(h:{{\mathbb {R}}}^n\rightarrow [0,\infty )\) is sub-log-concave if there exist a log-concave (probability density) function \(g:{{\mathbb {R}}}^n\rightarrow [0,\infty )\) and a constant \(c>0\) such that \(h\le c g\).
Although the spherical average density h in (16) may not be log-concave, since it is defined by a log-concave function f, using Lemma 2.1 we see that it is always sub-log-concave. Define
and then obviously \(L_n\le L_n^{\textrm{sub}}\). Conversely, if it can be proved that \(L_n^{\textrm{sub}}\) is attained (up to an absolute constant) on a log-concave density, say \(f_0\), then using a log-concave density that maximizes \(L_n\), say \(f_{\max }\), by Theorem 4.3 we would get that
from which it would follow that \(L_n\) is bounded by an absolute constant.
Finally, we note that the same argument also works with the class of contoured distributions. More specifically, we define
and similarly to the sub-log-concave case, we see that if \(L_n^\textrm{cont}\) is attained (up to an absolute constant) on a log-concave contoured density function, then \(L_n\) is bounded by an absolute constant.
Data Availability
Not applicable.
References
Artstein-Avidan, S., Giannopoulos, A., Milman, V.D.: Asymptotic Geometric Analysis Mathematical Surveys and Monographs, 202, vol. I. American Mathematical Society, Providence (2015)
Ball, K.M.: Logarithmically concave functions and sections of convex sets in \({\mathbb{R} }^n\). Stud. Math. 8(8), 69–84 (1988)
Borell, C.: Convex measures on locally convex spaces. Ark. Mat. 12, 239–252 (1974)
Borichev, A.: On the closure of polynomials in weighted spaces of functions on the real line. Indiana Univ. Math. J. 50(2), 829–846 (2001)
Bourgain, J.: On the distribution of polynomials on high-dimensional convex sets aspects of functional analysis (Lindenstrauss-Milman eds). Geom. Lecture Notes in Math. 1469, 127–137 (1991)
Brazitikos, S., Giannopoulos, A., Valettas, P., Vritsiou, B.-H.: Geometry of Isotropic Convex Bodies. Mathematical Surveys and Monographs, 196. American Mathematical Society, Providence (2014)
Chen, Y.: An almost constant lower bound of the isoperimetric coefficient in the KLS conjecture. Geom. Funct. Anal. 31, 34–61 (2021)
Fradelizi, M.: Sections of convex bodies through their centroid. Arch. Math. 69, 515–522 (1997)
Gruber, P.M.: Convex and Discrete Geometry. Grundlehren der mathematischen Wissenschaften, Springer, Berlin (2007)
Guleryuz, O.G., Lutwak, E., Yang, D., Zhang, G.: Information-theoretic inequalities for contoured probability distributions. IEEE Trans. Inform. Theory 48(8), 2377–2383 (2002)
Klartag, B.: On convex perturbations with a bounded isotropic constant. Geom. Funct. Anal. 16, 1274–1290 (2006)
Klartag, B.: Logarithmic bounds for isoperimetry and slices of convex sets. Ars Invent. Anal. 4, 17 (2023)
Klartag, B., Lehec, J.: Bourgain’s slicing problem and KLS isoperimetry up to polylog. Geom. Funct. Anal. 32(5), 1134–1159 (2022)
Klartag, B., Milman, E.: Centroid Bodies and the logarithmic Laplace transform: Aunified approach. J. Funct. Anal. 262, 10–34 (2012)
Koosis, P.: The Logarithmic Integral, vol. 1. Cambridge University Press, Cambridge (1988)
Milman, V.D., Schechtman, G.: Asymptotic Theory of Finite Dimensional Normed Spaces. Lecture Notes in Mathematics, 1200. Springer, Berlin (1986)
Pisier, G.: The Volume of Convex Bodies and Banach Space Geometry. Cambridge Tracts in Mathematics, 94. Cambridge University Press, Cambridge (1989)
Schneider, R.: Convex Bodies: The Brunn–Minkowski Theory. Encyclopedia of Mathematics and Its Applications, 151, 2nd edn. Cambridge University Press, Cambridge (2014)
Funding
Open access funding provided by HEAL-Link Greece.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Dafnis, N., Tsolomitis, A. Remarks on the Relation of Log-Concave and Contoured Distributions in \({\mathbb {R}}^n\). J Geom Anal 34, 188 (2024). https://doi.org/10.1007/s12220-024-01634-5
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s12220-024-01634-5