OpenAI reports a zero dimension exponent for well-conditioned log-concave sampling queries

For C² potentials with known minimizer at zero and I≤∇²V≤2I, exact value-and-gradient oracle sampling to total-variation error at most 1/10 uses at most Cε d^ε queries for every ε>0, while every algorithm needs at least c log d queries eventually.

Curated contributions 1

Understand the problem ↓

OpenAI reports a zero dimension exponent for well-conditioned log-concave sampling queries

  • Mathematics

For C² potentials with known minimizer at zero and I≤∇²V≤2I, exact value-and-gradient oracle sampling to total-variation error at most 1/10 uses at most Cε d^ε queries for every ε>0, while every algorithm needs at least c log d queries eventually.

AI involvementAI-led
ImportanceNotable
Technical verificationFormal (Lean 4)
Human understandingFew

Understanding the problem

Read the background

For C² potentials with known minimizer at zero and I≤∇²V≤2I, exact value-and-gradient oracle sampling to total-variation error at most 1/10 uses at most Cε d^ε queries for every ε>0, while every algorithm needs at least c log d queries eventually.

Why it matters

If correct, determines the infimal polynomial dimension exponent of this oracle query problem to be zero.

What counts as progress

Can well-conditioned log-concave distributions be sampled with subpolynomial first-order queries?

Website timeline

Publication dates and editorial changes.