Pith. sign in

REVIEW 1 cited by

Coupling and Convergence for Hamiltonian Monte Carlo

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 1805.00452 v2 pith:IQJS3YGQ submitted 2018-05-01 math.PR stat.COstat.ML

classification math.PRstat.COstat.ML
keywords hamiltonianboundscarlocouplingexplicitmonterequiredadjusted
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
read the original abstract

Based on a new coupling approach, we prove that the transition step of the Hamiltonian Monte Carlo algorithm is contractive w.r.t. a carefully designed Kantorovich (L1 Wasserstein) distance. The lower bound for the contraction rate is explicit. Global convexity of the potential is not required, and thus multimodal target distributions are included. Explicit quantitative bounds for the number of steps required to approximate the stationary distribution up to a given error are a direct consequence of contractivity. These bounds show that HMC can overcome diffusive behaviour if the duration of the Hamiltonian dynamics is adjusted appropriately.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. High-Order Langevin Diffusion Yields an Accelerated MCMC Algorithm

    stat.ML 2019-08 conditional novelty 8.0 of 10

    A third-order Langevin MCMC algorithm is proven to sample from smooth log-concave distributions in O(d^(1/4)/epsilon^(1/2)) iterations for generalized linear model potentials, improving on the earlier d^(1/3) barrier.

Pith tools