The Poincaré constant of a probability
measure on
is the least constant for which
for every sufficiently regular function , where
is its variance.
This is the Poincaré inequality for
.
The Kannan-Lovász-Simonovits conjecture asserts a universal upper bound on for isotropic logarithmically
concave distributions. Bizeul et al. (2026) reported a proof of this bound.