Reversible-jump Markov chain Monte Carlo

Short description: Simulation method in statistics

In computational statistics, reversible-jump Markov chain Monte Carlo is an extension to standard Markov chain Monte Carlo (MCMC) methodology, introduced by Peter Green, which allows simulation (the creation of samples) of the posterior distribution on spaces of varying dimensions. Thus, the simulation is possible even if the number of parameters in the model is not known. The "jump" refers to the switching from one parameter space to another during the running of the chain. RJMCMC is useful to compare models of different dimension to see which one fits the data best. It is also useful for predictions of new data points, because we do not need to choose and fix a model, RJMCMC can directly predict the new values for all the models at the same time. Models that suit the data best will be chosen more frequently then the poorer ones.

Details on the RJMCMC process

Let [math]\displaystyle{ n_m\in N_m=\{1,2,\ldots,I\} \, }[/math]be a model indicator and [math]\displaystyle{ M=\bigcup_{n_m=1}^I \R^{d_m} }[/math] the parameter space whose number of dimensions [math]\displaystyle{ d_m }[/math] depends on the model [math]\displaystyle{ n_m }[/math]. The model indication need not be finite. The stationary distribution is the joint posterior distribution of [math]\displaystyle{ (M,N_m) }[/math] that takes the values [math]\displaystyle{ (m,n_m) }[/math].

The proposal [math]\displaystyle{ m' }[/math] can be constructed with a mapping [math]\displaystyle{ g_{1mm'} }[/math] of [math]\displaystyle{ m }[/math] and [math]\displaystyle{ u }[/math], where [math]\displaystyle{ u }[/math] is drawn from a random component [math]\displaystyle{ U }[/math] with density [math]\displaystyle{ q }[/math] on [math]\displaystyle{ \R^{d_{mm'}} }[/math]. The move to state [math]\displaystyle{ (m',n_m') }[/math] can thus be formulated as

[math]\displaystyle{ (m',n_m')=(g_{1mm'}(m,u),n_m') \, }[/math]

The function

[math]\displaystyle{ g_{mm'}:=\Bigg((m,u)\mapsto \bigg((m',u')=\big(g_{1mm'}(m,u),g_{2mm'}(m,u)\big)\bigg)\Bigg) \, }[/math]

must be one to one and differentiable, and have a non-zero support:

[math]\displaystyle{ \mathrm{supp}(g_{mm'})\ne \varnothing \, }[/math]

so that there exists an inverse function

[math]\displaystyle{ g^{-1}_{mm'}=g_{m'm} \, }[/math]

that is differentiable. Therefore, the [math]\displaystyle{ (m,u) }[/math] and [math]\displaystyle{ (m',u') }[/math] must be of equal dimension, which is the case if the dimension criterion

[math]\displaystyle{ d_m+d_{mm'}=d_{m'}+d_{m'm} \, }[/math]

is met where [math]\displaystyle{ d_{mm'} }[/math] is the dimension of [math]\displaystyle{ u }[/math]. This is known as dimension matching.

If [math]\displaystyle{ \R^{d_m}\subset \R^{d_{m'}} }[/math] then the dimensional matching condition can be reduced to

[math]\displaystyle{ d_m+d_{mm'}=d_{m'} \, }[/math]

with

[math]\displaystyle{ (m,u)=g_{m'm}(m). \, }[/math]

The acceptance probability will be given by

[math]\displaystyle{ a(m,m')=\min\left(1, \frac{p_{m'm}p_{m'}f_{m'}(m')}{p_{mm'}q_{mm'}(m,u)p_{m}f_m(m)}\left|\det\left(\frac{\partial g_{mm'}(m,u)}{\partial (m,u)}\right)\right|\right), }[/math]

where [math]\displaystyle{ |\cdot | }[/math] denotes the absolute value and [math]\displaystyle{ p_mf_m }[/math] is the joint posterior probability

[math]\displaystyle{ p_mf_m=c^{-1}p(y|m,n_m)p(m|n_m)p(n_m), \, }[/math]

where [math]\displaystyle{ c }[/math] is the normalising constant.

Software packages

There is an experimental RJ-MCMC tool available for the open source BUGs package.

The Gen probabilistic programming system automates the acceptance probability computation for user-defined reversible jump MCMC kernels as part of its Involution MCMC feature.