The dimension exponent of first-order query complexity for well-conditioned log-concave sampling

Lineage and corrections

This event attributed to Unreleased internal OpenAI model

Chewi, Log-Concave Sampling (book draft), preface states the open question evidence for this event

Lean challenge statement: LogConcaveQuery.lean evidence for this event

VibeMathed record: The dimension exponent of first-order query complexity for well-conditioned log-concave sampling evidence for this event

The dimension exponent of first-order query complexity for well-conditioned log-concave sampling evidence for this event

The dimension exponent of first-order query complexity for well-conditioned log-concave sampling parent of this event

Theorem 1.1: in the exact first-order oracle model with unrestricted computation between queries, for every $\varepsilon>0$ the worst-case query budget $Q(d)$ for TV error $1/10$ satisfies $Q(d)\le C_\varepsilon d^{\varepsilon}$ for all $d\ge2$, on every execution; and $Q(d)\ge c\log d$ for arbitrary randomized adaptive algorithms. Hence the optimal dimension exponent is $\gamma_*=0$. Not shown: the growth rate of $Q(d)$ beyond the exponent (no polylogarithmic bound is claimed), dependence on the accuracy or condition number, or any running-time bound; the constants and approximation orders depend on $\varepsilon$. parent of this event

Lean solution module: OAI/Probability/LogConcave/Main.lean evidence for this event