Definition
A measure is log-concave if for all measurable sets and all , we have
\mu(\lambda A + (1-\lambda)B) \geq \mu(A)^\lambda \mu(B)^{1-\lambda},
if the set $\lambda A + (1-\lambda)B$ is measurable.
Equivalently, if if a density can be written as for some concave , then the distribution is log-concave.
If is a log-concave distributed random vector, then we can state a bound on its Orlicz norm, thus demonstrating that it is sub-exponential. In particular, Lemma 2.3 [here] (see also Equation (21) here) demonstrate that
for some and all unit vectors where . This demonstrates that all log-concave distributions are sub-exponential.
Many common distributions are log-concave:
- The normal distribution
- Exponential distribution
- Dirichlet distribution for parameters all at least 1
- Laplace distribution
- and others