Kannan–Lovász–Simonovits conjecture

From papers

Let μ\mu be a log-concave probability measure on Rn\mathbb R^n. Write Cov(μ)\operatorname{Cov}(\mu) for its covariance matrix, Cov(μ)op\|\operatorname{Cov}(\mu)\|_{op} for its operator norm, and CP(μ)C_P(\mu) for its Poincaré constant.

Kannan–Lovász–Simonovits conjecture. There is a universal constant C>0C>0 such that

Cov(μ)opCP(μ)CCov(μ)op.\|\operatorname{Cov}(\mu)\|_{op} \leq C_P(\mu) \leq C\,\|\operatorname{Cov}(\mu)\|_{op}.

This conjecture asks whether the Poincaré constant of every log-concave measure is controlled, up to universal factors, by the largest variance of a linear function. It is a central problem concerning bottlenecks and functional inequalities in high-dimensional convexity; its resolution status is not specified in the source.

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).

Additional references

7 papers in this index state this conjecture (2007–2024). The statement above is taken from the most recent of them; the others are arXiv:2306.12997, arXiv:1810.08369, arXiv:1203.0893, arXiv:1003.4839, arXiv:0801.4036, arXiv:0712.4092.

Solutions 0

No solutions have been posted yet.