/Adaptive Restore 2
The chain is constructed by repeatedly applying a collection of Markov transi-
tion kernels P1, . . . , Pm, each satisfying πPi=πfor i= 1, . . . , m. The Metropolis–
Hastings algorithm (Metropolis et al.,1953;Hastings,1970) is normally used
to construct and simulate from reversible π-invariant Markov transition ker-
nels. A single kernel Pmay be used to represent P1, P2, . . . , Pm, with form
depending on whether a cycle is used (P=P1P2···Pm) or a mixture (P=
[P1+P2+···+Pm]/m). Using multiple kernels allows different dynamics to be
used, for example, by making transitions on the local and global scales.
The MCMC framework described above is restrictive. Firstly, each kernel
must be π-invariant; for example, it is not possible for P1and P2to be indi-
vidually non-π-invariant and yet somehow compensate for each other so that
their combination Pis π-invariant. To achieve this π-invariance, each kernel is
designed to be reversible. This acts as a further restriction; by definition, re-
versible kernels satisfy detailed balance and thus have diffusive dynamics. That
is, chains generated using reversible kernels show random-walk-like behaviour,
which is inefficient. Recently, there has been increasing interest in the use of
non-reversible Markov processes for MCMC (Bierkens, Fearnhead and Roberts,
2019;Bouchard-Cˆot´e, Vollmer and Doucet,2018;Pollock et al.,2020).
A further restriction of the typical MCMC framework is that it is difficult to
make use of regeneration. At regeneration times, a Markov chain effectively starts
again; its future is independent of its past. Regeneration is useful from both the-
oretical and practical perspectives. Nummelin’s splitting technique (Nummelin,
1978) may be used in MCMC algorithms to simulate regeneration events (Myk-
land, Tierney and Yu,1995;Gilks, Roberts and Sahu,1998). However, the tech-
nique scales poorly: regenerations become exponentially rarer with dimension;
see the discussion in Gilks, Roberts and Sahu (1998).
An interesting direction to address these issues appeared in Wang et al.
(2021). The authors introduced the Restore process, defined by enriching an
underlying Markov process, which may not be π-invariant, with regenerations
from some fixed regeneration distribution µat a regeneration rate κso that the
resulting Markov process is π-invariant. The state-dependent regeneration rate
is given by κ= ˜κ+Cµ/π, where ˜κis a functional of the derivatives of log πand
Cis a constant chosen so that κ≥0 pointwise. The segments of the process
between regeneration times, known as tours, are independent and identically dis-
tributed. When applied to Monte Carlo, we refer to this as the Restore sampler.
The process provides a general framework for using non-reversible dynamics,
local and global moves, as well as regeneration within an MCMC sampler. Sam-
ple paths of the continuous-time process are used to form a Monte Carlo sum
to approximate π[f].
An issue with the Restore sampler is the choice Cµ. For a given µand π,
it is difficult to compute how large Cneeds to be to guarantee κ≥0. Fur-
thermore, it is not obvious how to set µin the first place. This issue is in fact
crucial, since the Restore sampler is very sensitive to the choice of µ. One might
consider adapting µto become closer to π. Comparable discrete-time MCMC
methods that use both local and global moves tend to resort to cycle kernels,
for instance combining MALA (Roberts and Tweedie,1996) and Independence