Preface
Suppose a new deck of cards is shuffled. Then as the number of shuffles grows,
the distribution of the deck becomes closer an d closer to uniform over th e set of
permutations of the cards. On the other hand, no matter how long you shufflethe
deck, it will never be perfectly uniform over the set of permutations.
This technique—of making small changes to a state in order to move it closer to
some target distribution—is known today as Markov chain Monte Carlo, or MCMC.
Each step brings the chain closer to its target, but it never quite reaches it. With roots
in The Manhattan Project, by the early 1990s this idea had become a cornerstone of
simulation. For statistical physicists it was the only way to get approximately correct
samples in a reasonable amount of time, especially for high d imensional examples
such as the Ising model. For frequentist statisticians, it was the only way to calculate
p-values for complex statistical models. For Bayesian statisticians, it allowed the use
of a d izzying array of non-conjugate priors and models.
For almost half a century MCMC had been used, and still only a finite number
of steps could be taken. No one realized that it might be possible to somehow jump
to an infinite number of steps in a finite number o f time. That changed when James
Propp and David Wilson introduced coupling from the past (CFTP) in 1996. Their
elegant idea allowed users for the first time to sample exactly from the station ary
distribution o f a Markov chain. That paper, “Exact sampling with coupled Markov
chains and applications to statistical mechanics,” gave the first exact sample from the
Ising model at the cr itical temperature on an over 16 million dimensional problem.
The list of applications started to grow. Spatial statistics models, domino tilings,
linear extensions, random spanning trees...the first few years after publication saw
enormous growth in the field. Along the way exact sampling changed to perfect simu-
lation. The term was introduced by Wilfred Kendall in 1998, and immediately caught
on as a way to differentiate the CFTP protocol from o ther Monte Carlo algorithms
that returned samples exactly from the distribution, but without using the peculiar
ideas central to CFTP.
David Wilson created a website entitled, “Perfectly Random Sampling with
Markov Chains” at http://d imacs.rutgers.edu/ dbwilson/exact/ to infor m the nascent
community about developments. As of July 2015 the site still exists; a snapshot of
the early days of the field.
As time went on, variants of the CFTP method were developed. Read-once cou-
pling from the past allowed samples to be taken using less memory, Fill’s method
and FMMR connected CFTP to the much older (and less widely applicable) method
of acceptance/rejection.
xxi