Strong isotropic constant conjecture for general convex bodies
Let for a convex body , and let be the standard simplex. The strong isotropic constant conjecture for general convex bodies.
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
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 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
- OpenAI-101-01-A-sharp-entropy-bound-and-the-simplex-inequality-for-isotropic-constants.pdfOpen