Reversible-jump Markov Chain Monte Carlo
   HOME

TheInfoList



OR:

In computational statistics, reversible-jump Markov chain Monte Carlo is an extension to standard
Markov chain Monte Carlo In statistics, Markov chain Monte Carlo (MCMC) is a class of algorithms used to draw samples from a probability distribution. Given a probability distribution, one can construct a Markov chain whose elements' distribution approximates it – that ...
(MCMC) methodology, introduced by Peter Green, which allows
simulation A simulation is an imitative representation of a process or system that could exist in the real world. In this broad sense, simulation can often be used interchangeably with model. Sometimes a clear distinction between the two terms is made, in ...
(the creation of samples) of the
posterior distribution The posterior probability is a type of conditional probability that results from updating the prior probability with information summarized by the likelihood via an application of Bayes' rule. From an epistemological perspective, the posterior ...
on
space Space is a three-dimensional continuum containing positions and directions. In classical physics, physical space is often conceived in three linear dimensions. Modern physicists usually consider it, with time, to be part of a boundless ...
s of varying
dimension In physics and mathematics, the dimension of a mathematical space (or object) is informally defined as the minimum number of coordinates needed to specify any point within it. Thus, a line has a dimension of one (1D) because only one coo ...
s. Thus, the simulation is possible even if the number of
parameter A parameter (), generally, is any characteristic that can help in defining or classifying a particular system (meaning an event, project, object, situation, etc.). That is, a parameter is an element of a system that is useful, or critical, when ...
s in the
model A model is an informative representation of an object, person, or system. The term originally denoted the plans of a building in late 16th-century English, and derived via French and Italian ultimately from Latin , . Models can be divided in ...
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 than the poorer ones.


Details on the RJMCMC process

Let n_m\in N_m=\ \, be a model
indicator Indicator may refer to: Biology * Environmental indicator of environmental health (pressures, conditions and responses) * Ecological indicator of ecosystem health (ecological processes) * Health indicator, which is used to describe the health o ...
and M=\bigcup_^I \R^ the parameter space whose number of dimensions d_m depends on the model n_m. The model indication need not be finite. The stationary distribution is the joint posterior distribution of (M,N_m) that takes the values (m,n_m). The proposal m' can be constructed with a mapping g_ of m and u, where u is drawn from a random component U with density q on \R^. The move to state (m',n_m') can thus be formulated as : (m',n_m')=(g_(m,u),n_m') \, The function : g_:=\Bigg((m,u)\mapsto \bigg((m',u')=\big(g_(m,u),g_(m,u)\big)\bigg)\Bigg) \, must be ''one to one'' and differentiable, and have a non-zero support: : \mathrm(g_)\ne \varnothing \, so that there exists an
inverse function In mathematics, the inverse function of a function (also called the inverse of ) is a function that undoes the operation of . The inverse of exists if and only if is bijective, and if it exists, is denoted by f^ . For a function f\colon ...
:g^_=g_ \, that is differentiable. Therefore, the (m,u) and (m',u') must be of equal dimension, which is the case if the dimension criterion :d_m+d_=d_+d_ \, is met where d_ is the dimension of u. This is known as ''dimension matching''. If \R^\subset \R^ then the dimensional matching condition can be reduced to :d_m+d_=d_ \, with :(m,u)=g_(m). \, The acceptance probability will be given by : a(m,m')=\min\left(1, \frac\left, \det\left(\frac\right)\\right), where , \cdot , denotes the absolute value and p_mf_m is the joint posterior probability : p_mf_m=c^{-1}p(y, m,n_m)p(m, n_m)p(n_m), \, where c is the normalising constant.


Software packages

There is an experimental RJ-MCMC tool available for the open source BUGs package. Th
Gen probabilistic programming system
automates the acceptance probability computation for user-defined reversible jump MCMC kernels as part of it
Involution MCMC feature


References

Computational statistics Markov chain Monte Carlo