[Running Title]Hamiltonian Monte Carlo
A novel proposal function
[Yifan: edit 2013-11-22] There are many algorithm which can deals with high dimensional sampling. Some are easy to be implemented such as Gibbs, slice Gibbs, block Gibbs, Metropolis Hasting algorithm (Robert 2004), and particle filtering (Arulampalam 2002). But when the target function is highly correlated, Gibbs and HM with Gaussian proposal usually perform poorly (ref). In this manuscript, we mainly described the newly developed MC method Hamiltonian Monte Carlo (HMC). The origin of this algorithm could trace back to molecular dynamics (MD) simulation (Alder 1959) and (Rahman 1964). MD is a computer simulation technique that allows one to predict the time evolution of a system of interacting particles based on classical mechanical Hamiltonian equations, and becomes a very popular procedure for physical research. It is a deterministic technique, which means given initial positions and velocities, the evolution of the system in time is, in principle, completely determined. Besides, it is a statistical mechanics method generating a set of configurations that are distributed according to statistical distribution functions. By ergodecity theory (ref, time average will cause configuration average in large partial system), MC simulations fits well with MD simulations. Basically, MD has been shown work well by nature as a result of its reliance on basis Newtonian mechanics. But it can not be used directly to determine proposal function in Metropolis Hasting algorithm (ref). To overcome this disadvantage, (Duane 1987) introduced Hybrid Monte Carlo. It take the advantage of MD and MH at the same time. On one side, it derives a new position using Hamilton equation in MD. on the other hand, HMC take the advantage of HM type of accept-rejection principle to draw Monte Carlo samples.
Hamiltonian Monte Carlo, as described previously, is highly reliable in high dimensional highly correlated cases. It offers a reasonable proposal function in Metropolis Hasting algorithm. We will first look at some basics of Newtonian mechanics and Hamiltonian mechanics. Then we will introduce Hamiltonian/Hybrid Monte Carlo with leapfrog approach. Some basic properties would be proved. In addition, some tuning methods on leapfrog method would be discussed based on some simulation results.