Faster Sampling from Log-Concave Distributions over Polytopes via a Soft-Threshold Dikin Walk

06/19/2022
by   Oren Mangoubi, et al.
0

We consider the problem of sampling from a d-dimensional log-concave distribution π(θ) ∝ e^-f(θ) constrained to a polytope K defined by m inequalities. Our main result is a "soft-threshold” variant of the Dikin walk Markov chain that requires at most O((md + d L^2 R^2) × md^ω-1) log(w/δ)) arithmetic operations to sample from π within error δ>0 in the total variation distance from a w-warm start, where L is the Lipschitz-constant of f, K is contained in a ball of radius R and contains a ball of smaller radius r, and ω is the matrix-multiplication constant. When a warm start is not available, it implies an improvement of Õ(d^3.5-ω) arithmetic operations on the previous best bound for sampling from π within total variation error δ, which was obtained with the hit-and-run algorithm, in the setting where K is a polytope given by m=O(d) inequalities and LR = O(√(d)). When a warm start is available, our algorithm improves by a factor of d^2 arithmetic operations on the best previous bound in this setting, which was obtained for a different version of the Dikin walk algorithm. Plugging our Dikin walk Markov chain into the post-processing algorithm of Mangoubi and Vishnoi (2021), we achieve further improvements in the dependence of the running time for the problem of generating samples from π with infinity distance bounds in the special case when K is a polytope.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
11/07/2021

Sampling from Log-Concave Distributions with Infinity-Distance Guarantees and Applications to Differentially Private Optimization

For a d-dimensional log-concave distribution π(θ)∝ e^-f(θ) on a polytope...
research
05/05/2019

Faster algorithms for polytope rounding, sampling, and volume computation via a sublinear "Ball Walk"

We study the problem of "isotropically rounding" a polytope K⊆R^n, that ...
research
02/21/2019

Online Sampling from Log-Concave Distributions

Given a sequence of convex functions f_0, f_1, ..., f_T, we study the pr...
research
12/15/2022

A New Berry-Esseen Theorem for Expander Walks

We prove that the sum of t boolean-valued random variables sampled by a ...
research
04/08/2023

A Simple Proof of the Mixing of Metropolis-Adjusted Langevin Algorithm under Smoothness and Isoperimetry

We study the mixing time of Metropolis-Adjusted Langevin algorithm (MALA...
research
03/13/2019

The Log-Concave Maximum Likelihood Estimator is Optimal in High Dimensions

We study the problem of learning a d-dimensional log-concave distributio...
research
09/29/2020

On the mixing time of coordinate Hit-and-Run

We obtain a polynomial upper bound on the mixing time T_CHR(ϵ) of the co...

Please sign up or login with your details

Forgot password? Click here to reset