A full-dimensional logarithmically concave distribution on is a statistical
distribution whose probability density
function can be written as
, where
is a convex
function. Allowing
permits the density to vanish outside a convex
set. Uniform distributions on convex
bodies are examples.
Such a distribution is isotropic when its mean is zero and its covariance matrix is the identity matrix. The Kannan-Lovász-Simonovits conjecture asserts a universal bound on its Poincaré constant in this normalization (Bizeul et al. 2026).
For a real random variable
with a density that is a logarithmically
concave function, mean zero,
and variance 1, Pinelis (2026) proved the sharp bound
.
Equality is attained by the uniform distribution
on
.
Pinelis (2026) reports ChatGPT assistance with auxiliary lemmas, proof
simplification, and checks.