Strong isotropic constant conjecture for general convex bodies

About 2 years old · traced to

Let C(K)=∣K∣2/det⁡Cov⁡(K)=1/LK2n\mathcal{C}(K)=\lvert K\rvert^2/\det\operatorname{Cov}(K)=1/L_K^{2n} for a convex body K⊆RnK\subseteq\mathbb{R}^n, and let Δn,0\Delta_{n,0} be the standard simplex. The strong isotropic constant conjecture for general convex bodies.

C(K)≥C(Δn,0)=(n+2)n(n+1)n+1(n!)2.\mathcal{C}(K)\geq\mathcal{C}(\Delta_{n,0})=\frac{(n+2)^n(n+1)^{n+1}}{(n!)^2}.

Equivalently, the isotropic constant is maximized by the simplex among general convex bodies. The conjecture is described as a strong version of the isotropic constant conjecture; its status is not otherwise resolved in the supplied text.

References

Primary source

Vlassis Mastrantonis and Yanir A. Rubinstein, “Two-dimensional Błocki, L^p-Mahler, and Bourgain conjectures”, arXiv:2401.10992 (2024).

Progress summary

Never refreshed

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

Solutions 1

RemarkAI-assistedClaimed by OpenAI. For every integer n >= 1 and every convex body K in R^n, claims L_K <= (n!)^(1/n)/((n+1)^((n+1)/(2*n))*sqrt(n+2)), with equality if and only if K is a simplex. Also claims the stated covariance-dependent sharp entropy bound for log-concave densities.See full solutionHide full solution

Claimed by OpenAI. For every integer n >= 1 and every convex body K in R^n, claims L_K <= (n!)^(1/n)/((n+1)^((n+1)/(2*n))*sqrt(n+2)), with equality if and only if K is a simplex. Also claims the stated covariance-dependent sharp entropy bound for log-concave densities.

GitHub repository: https://github.com/openai/math

Manuscript: https://github.com/openai/math/blob/adc7f1241b42e322a6451854ab7e4b4c146bf78a/preprints/A-sharp-entropy-bound-and-the-simplex-inequality-for-isotropic-constants-October-5-2026/isotropic-simplex.pdf

  • OpenAI-101-01-A-sharp-entropy-bound-and-the-simplex-inequality-for-isotropic-constants.pdf567,145 bytesOpen