Dice Question Streamline Icon: https://streamlinehq.com

Necessity of the logarithmic factor in the Bobkov–Chistyakov–Götze CLT bound

Determine whether the logarithmic factor log n is necessary in the bound of Theorem 1 (Bobkov–Chistyakov–Götze, Prop. 17.5.1), which asserts that for an isotropic random vector X in ℝ^n there exists a set of directions of measure at least 9/10 such that the Kolmogorov distance between the marginal X·θ and a standard Gaussian is at most (C log n / n) · C_P(X).

Information Square Streamline Icon: https://streamlinehq.com

Background

The theorem links Gaussian approximation of most one-dimensional marginals to the Poincaré constant, with an error involving (log n)/n. Removing the logarithmic factor would sharpen quantitative central limit phenomena for log-concave measures and convex bodies.

Current techniques yield C_P(X) ≲ log n for isotropic log-concave X, which combined with Theorem 1 gives nontrivial CLT rates; it is open whether the logarithmic factor is intrinsic.

References

We do not know whether the logarithmic factor in Theorem 1 is necessary.

Isoperimetric inequalities in high-dimensional convex sets (2406.01324 - Klartag et al., 3 Jun 2024) in Section 1 (Applications), after Theorem 1