As mentioned at the start of the chapter, the models discussed in sections 14.3 - 14.5 are special in that their behavior relates to the behavior of processes built up from independent random walks on the underlying graph. In other models this is not necessarily true, and the results in this book have little application.
xxx mention Ising model and contact process.
Consider a continuous-time particle process whose state space is the collection of subsets of vertices of a finite graph (representing the subset of vertices occupied by particles), and where only one state can change occupancy at a time. The simplest stationary distribution would be of the form
each vertex is occupied independently with probability | (14.25) |
where is a parameter. By considering the detailed balance equations (Chapter 3 yyy), such a process will be reversible with stationary distribution (14.25) iff its transition rates satisfy
For configurations which coincide except that vertex is unoccupied in and occupied in , we have .
There are many ways to set up such transition rates. Here is one way, observed by Neuhauser and Sudbury [269]. For each edge at time with occupied,
if is occupied at time , then with chance it becomes unoccupied by time
if is unoccupied at time , then with chance it becomes
occupied by time .
If we exclude the empty configuration
(which cannot be reached from other configurations)
the state space is irreducible and the stationary distribution is
given by (14.25) conditioned on being non-empty.
Convergence times for this model have not been studied, so we ask
Give bounds on the relaxation time in this model.
We mentioned in Chapter 3 yyy that, in the setting of a finite irreducible reversible chain , the fundamental matrix has the property
So by a classical result (e.g. [145] Theorem 3.6.4) there exists a mean-zero Gaussian family such that
(14.26) |
What do such Gaussian random variables represent? It turns out there is a simple interpretation involving occupation measures of “charged particles”. Take two independent copies and of the stationary chain, in continuous time for simplicity. For fixed consider the random variables
Picture one particle with charge and the other particle with charge , and then has units “charge time”. Clearly and it is easy to calculate
and hence
(14.27) |
The central limit theorem for Markov chains (Chapter 2 yyy) implies that the distributional limit of is some mean-zero Gaussian family , and so (14.27) identifies the limit as the family with covariances (14.26).
As presented here the construction may seem an isolated curiousity, but in fact it relates to deep ideas developed in the context of continuous-time-and-space reversible Markov processes. In that context, the Dynkin isomorphism theorem relates continuity of local times to continuity of sample paths of a certain Gaussian process. See [253] for a detailed account. And various interesting Gaussian processes can be constructed via “charged particle” models – see [2] for a readable account of such constructions. Whether these sophisticated ideas can be brought to bear upon the kinds of finite-state problems in this book is a fascinating open problem.