A Function Space HMC Algorithm With Second Order Langevin Diffusion Limit
Abstract
We describe a new MCMC method optimized for the sampling of probability measures on Hilbert space which have a density with respect to a Gaussian; such measures arise in the Bayesian approach to inverse problems, and in conditioned diffusions. Our algorithm is based on two key design principles: (i) algorithms which are well defined in infinite dimensions result in methods which do not suffer from the curse of dimensionality when they are applied to approximations of the infinite dimensional target measure on R^N; (ii) nonreversible algorithms can have better mixing properties compared to their reversible counterparts. The method we introduce is based on the hybrid Monte Carlo algorithm, tailored to incorporate these two design principles. The main result of this paper states that the new algorithm, appropriately rescaled, converges weakly to a second order Langevin diffusion on Hilbert space; as a consequence the algorithm explores the approximate target measures on R^N in a number of steps which is independent of N. We also present the underlying theory for the limiting nonreversible diffusion on Hilbert space, including characterization of the invariant measure, and we describe numerical simulations demonstrating that the proposed method has favourable mixing properties as an MCMC algorithm.
Additional Information
© 2016 ISI/BS. Received September 2013 and revised March 2014. NSP is partially supported by NSF and ONR grants. AMS thanks EPSRC and ERC for support.Attached Files
Published - stuart121.pdf
Submitted - 1308.0543.pdf
Files
Name | Size | Download all |
---|---|---|
md5:7ea63c2196cddf2d1cffda8a7dfb7b40
|
821.6 kB | Preview Download |
md5:92440dc40aee7306930de6d2b33e328f
|
522.1 kB | Preview Download |
Additional details
- Eprint ID
- 69073
- Resolver ID
- CaltechAUTHORS:20160715-161420502
- NSF
- Office of Naval Research (ONR)
- Engineering and Physical Sciences Research Council (EPSRC)
- European Research Council (ERC)
- Created
-
2016-07-19Created from EPrint's datestamp field
- Updated
-
2021-11-11Created from EPrint's last_modified field
- Other Numbering System Name
- Andrew Stuart
- Other Numbering System Identifier
- J121