In the mathematical theory of probability, the voter model is an interacting particle system introduced by Richard A. Holley and Thomas M. Liggett in 1975. One can imagine that there is a "voter" at each point on a connected graph, where the connections indicate that there is some form of interaction between a pair of voters (nodes). The opinions of any given voter on some issue changes at random times under the influence of opinions of his neighbours. A voter's opinion at any given time can take one of two values, labelled 0 and 1. At random times, a random individual is selected and that voter's opinion is changed according to a stochastic rule. Specifically, for one of the chosen voter's neighbors is chosen according to a given set of probabilities and that individual's opinion is transferred to the chosen voter. An alternative interpretation is in terms of spatial conflict. Suppose two nations control the areas (sets of nodes) labelled 0 or 1. A flip from 0 to 1 at a given location indicates an invasion of that site by the other nation. Note that only one flip happens each time. Problems involving the voter model will often be recast in terms of the dual system of coalescing Markov chains. Frequently, these problems will then be reduced to others involving independent Markov chains. Definition A voter model is a (continuous time) Markov process with state space and transition rates function , where is a d-dimensional integer lattice, and •,• is assumed to be nonnegative, uniformly bounded and continuous as a function of in the product topology on . Each component is called a configuration. To make it clear that stands for the value of a site x in configuration ; while means the value of a site x in configuration at time . The dynamic of the process are specified by the collection of transition rates. For voter models, the rate at which there is a flip at from 0 to 1 or vice versa is given by a function of site . It has the following properties: for every if or if for every if for all if and is invariant under shifts in Property (1) says that and are fixed points for the evolution. (2) indicates that the evolution is unchanged by interchanging the roles of 0's and 1's. In property (3), means , and implies if ,