Log-Sobolev KLS conjecture

From papers

Let μ\mu be a log-concave probability measure on Rn\mathbb R^n, and let fψ2(μ)\|f\|_{\psi_2(\mu)} denote the sub-Gaussian Orlicz norm defined by the best constant CC such that

μ(fr)2exp(r2C2).\mu(|f|\geq r)\leq 2\exp\left(-\frac{r^2}{C^2}\right).

Let DnD_n be the largest log-Sobolev constant among log-concave measures satisfying xθψ2(μ)1\|x\cdot\theta\|_{\psi_2(\mu)}\leq 1 for every direction θ\theta.

Log-Sobolev KLS conjecture.

Dn=O(1).D_n=O(1).

Equivalently, in the log-concave setting, the log-Sobolev constant should be bounded by the largest squared ψ2\psi_2-norm of a linear function. This is presented as the log-Sobolev analogue of the KLS conjecture; the source does not specify whether it has been resolved.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Bo'az Klartag and Joseph Lehec, “Isoperimetric inequalities in high-dimensional convex sets”, arXiv:2406.01324 (2024).

Solutions 0

No solutions have been posted yet.