cs.DSJul 15, 2026

Beyond the d2.5d^{2.5}-mixing bound for Dikin walks on polytopes

Authors: Yunbum Kook

Organizations: Georgia Tech

Abstract

Inspired by interior-point methods (IPM) for structured convex optimization, Kannan and Narayanan introduced the Dikin walk for sampling uniformly from polytopes in 2009. As in IPMs, the Dikin walk is affine-invariant, and its convergence is governed by the barrier geometry used to define its local proposal. They showed that the Dikin walk with the logarithmic barrier for a polytope in Rd\mathbb{R}^{d} with mm linear inequalities mixes in mdmd iterations. In 2017, Chen, Dwivedi, Wainwright, and Yu improved this to d2.5d^{2.5} using a Lewis-weight barrier, and conjectured that the correct mixing time should be d2d^{2}. We make progress toward this conjecture by improving the previous d2.5d^{2.5}-mixing bound. For exponential sampling over a polytope, we prove that the Dikin walk with a scaled Lee--Sidford metric mixes from a warm start in d2.25d^{2.25} iterations. This also yields an improved cold-start complexity via a known annealing framework. The main technical ingredient is improved average self-concordance of the Lee--Sidford metric, which gives high acceptance probability for the Metropolis filter along a random Dikin proposal. While previous analyses were effectively limited to second-order control due to technical difficulties, we develop a principled higher-order analysis. The proof combines a selective higher-order expansion of recursive bottleneck terms, a moving orthonormal-frame calculus for higher derivatives of the Lewis weights, and Wiener-chaos decompositions via multiple stochastic integrals to control the resulting Gaussian polynomials.

Explore similar work

Jun 10, 2026cs.DS

A unified complexity bound for logconcave sampling

We give a simple, unified, and nearly tight bound for sampling arbitrary logconcave distributions from a warm start using the In-and-Out algorithm along with exponential lifting. The main new ingredient in the analysis is an improved bound on the Poincaré constant of a lifted distribution. As a consequence, the resulting convergence rate is nearly tight for both constrained settings (e.g., Gaussian restricted to a convex body) and well-conditioned settings (e.g., strongly logconcave and smooth densities).
Yunbum Kook, Santosh S. Vempala
Mar 26, 2026cs.DS

The Geometry of Efficient Nonconvex Sampling

We present an efficient algorithm for uniformly sampling from an arbitrary compact body X⊂Rn\mathcal{X} \subset \mathbb{R}^n from a warm start under isoperimetry and a natural volume growth condition. Our result provides a substantial common generalization of known results for convex bodies and star-shaped bodies. The complexity of the algorithm is polynomial in the dimension, the Poincaré constant of the uniform distribution on X\mathcal{X} and the volume growth constant of the set X\mathcal{X}.
Santosh S. Vempala, Andre Wibisono
Aug 3, 2026stat.CO

Wasserstein mixing time of the unadjusted Langevin algorithm

We provide new estimates in Wasserstein distance for the asymptotic bias of the unadjusted Langevin algorithm, in the classical setting of log-smooth strongly log-concave measures. Our bound implies a Wasserstein mixing time of order κd/εκ\sqrt{d}/\varepsilon, where κκ is the condition number, dd is the dimension, and ε\varepsilon is the target precision: this improves by a factor of d/ε\sqrt{d}/\varepsilon over the previous state-of-the-art results.
Francesco Pedrotti, Peter A. Whalley