# Ordering dynamics of the multi-state voter model

## Abstract

The voter model is a paradigm of ordering dynamics. At each time step, a random node is selected and copies the state of one of its neighbors. Traditionally, this state has been considered as a binary variable. Here, we address the case in which the number of states is a parameter that can assume any value, from to , in the thermodynamic limit. We derive mean-field analytical expressions for the exit probability, the consensus time, and the number of different states as a function of time for the case of an arbitrary number of states. We finally perform a numerical study of the model in low dimensional lattices, comparing the case of multiple states with the usual binary voter model. Our work sheds light on the role of the parameter accounting for the number of states.

###### pacs:

89.65.-s, 05.40.-a, 89.75.-k## 1 Introduction

Models of ordering dynamics have since long been considered as paradigms of opinion dynamics and consensus formation in social systems (1). Most of them share the fundamental feature that order results from the self-organization of local and usually short-range pairwise interactions between agents, as it is well illustrated by the simplest and most analyzed of them, the so-called voter model (2); (3). In its basic formulation, the voter model is defined as follows: Each individual in a population (agent) is endowed with a binary spin variable, representing two alternative opinions, and taking values . At each time step, an agent is selected at random together with one nearest neighbor and the state of the system is updated as , the first agent copying the opinion of its neighbor. Starting from a disordered initial state, this dynamics leads in finite systems to a uniform state with all individuals sharing the same opinion (the so-called consensus).

From the point of view of social dynamics, the interest in this kind of models is mainly focused on the way in which consensus is reached. The approach to this state is characterized in terms of the exit probability and the consensus time , defined as the probability that the final state corresponds to all agents in the state and the average time needed to reach consensus in a system of size , respectively, when starting from a homogeneous initial condition with a fraction of agents in state (1). Due to its simplicity, the voter model dynamics can be exactly solved in regular lattices for any number of dimensions (4); (5). Thus, considering the average conservation of magnetization , it can be shown that the exit probability is always a linear function, . On the other hand, the consensus time starting from the homogeneous symmetric initial condition scales with system size as , with in , in , and in (at the mean-field level) (5). Finally, the dependence of consensus time with the initial density of spins, starting from homogeneous initial conditions, takes the form

(1) |

for (6).

Different variants of the voter model have been considered in the past, including the presence of quenched disorder in the form of “zealots” which do not change opinion (7); (8), memory and noise reduction (9), inertia (10), non-conservative voters (11), non-linear interactions (12); (13), etc.; see Ref. (1) for an extended bibliography on this subject. A variant that has been considered in several contexts is the multi-state voter model, in which each agent can be in one of different exclusive states or opinions, in analogy of the Potts model (14). The multi-state voter model has been considered in the past theoretically in terms of mappings of coarsening of the Potts model on the Ising model with constant magnetization (15) or in terms of duality properties (16) and has found applications in understanding the fragmentation transition in adaptive networks (17), in neutral models of biodiversity (18); (19) or in ecological models (20). Variants of the pure multi-state voter model, introducing non-equivalent states, have also been discussed in the literature (21); (22); (23).

In this paper we focus in the study the ordering dynamics of the symmetric multi-state voter model, focusing in particular on the limit of a large number of initial states. Each agent can be in one of different but dynamically equivalent states. Agents follow the same dynamical update rules than in the binary version, with time being update at every dynamical step as . Expressions for the consensus time in this model at the mean-field level have already been provided in the literature (24); (25); (26). The derivations presented so far rely however on heavy mathematics. Here, building on the Fokker-Planck formalism presented in Ref. (27), we rederive in a simple way the expressions for the exit probability and the consensus times in the general case of states. We find that the consensus time increases very slowly with the number of states, and its difference with the binary case saturates as ; we rationalize this finding by comparing it with the case of the mutant invasion in the ordinary two-state voter model. We also investigate the decay of the number of states as a function of time, providing a mean-field expression in excellent agreement with simulations. We finally consider the dynamics of the multi-state voter model on low dimensional lattices. Lacking of specific analytical insights, we compare the numerically observed phenomenology to the mean-field case, and point out similarities and differences, focusing on the effect of the number of initial states and their configuration.

## 2 Mean-field analysis

The form of the consensus time in the multi-state voter model at the mean-field level has been discussed in the past, mainly in the context of population genetics dynamics (24); (25); (26). Here we present a simple derivation of this expression, based in the Fokker-Plank formalism developed in Ref. (27). The Fokker-Plank equation for the multi-state voter model can be simply obtained as follows: Let us denote as a generic configuration of the system (not unique) with voters in state , , with a normalization . The probability of finding the system in the configuration at time , , evolves in terms of a master equation that is defined by the transition rates from the state to the state . At each time step only one voter changes its state, consequently we can write a new configuration of a transition as , being and the state of the voter before and after the transition, respectively. The transition rates and are given by

(2) |

where is the natural microscopic time step of the model, while the transitions rates and have the form

(3) |

It is now possible to derive the associated master equation. Under the diffusion approximation (28), valid for large , we consider the frequencies of the states and we rescale the time by a factor , so that one time step measures updates of the voters. A generic configuration is therefore denoted by , and lies in the standard simplex . The set of the vertices of the simplex, is the absorbing boundary of the dynamics. We note that the constraint reduces the number of independent variables from to , so we can choose to be dependent on the others. Expanding the master equation in terms of we finally obtain, up to order , the final Fokker-Plank equation in continuous time (27)

(4) |

where .

The Fokker-Plank equation for the multi-state voter model at mean-field level does not have a drift term. This implies that the ensemble average density of each state is constant in time. This observation allows to extend the calculation of the exit probability in the standard voter model to general boundary conditions in the multi-state case. Let us define the generalized exit probability as the probability that the system, starting in some random initial configuration , orders in some configuration , being an arbitrary subset of the absorbing boundary . During the evolution of the system, the average densities are conserved. Let us define the quantity , which is also conserved. In the final consensus state, will have a value with probability , and a value with probability . We hence obtain the generalized exit probability

(5) |

The consensus time for a given initial condition is given, on the other hand, by the general equation (28)

(6) |

subject to the boundary conditions

(7) |

We can solve in a simple way this equation by noting that the consensus time has to be symmetric under any exchange with . Thus, we can impose the ansatz form

(8) |

where the function is independent of . Introducing this ansatz into Eq. (6) we obtain

(9) |

where we have defined

(10) |

From Eq. (9) and the normalization condition for , se can see that the only possible values of are or . Considering now the solution for the case in Eq. (1), we can see that the correct solution is given by the second case, which, after integration of Eq. (10), applying the boundary conditions , leads to

(11) |

This solution generalizes the “entropic” form corresponding to the standard voter model, Eq. (1), recovering in a considerably simpler way the formal result previously obtained in (24); (25); (26).

From Eq. (11), we can analyze the behavior of the system in the limit of a large number of initial states. In particular, considering the homogeneous initial conditions , we have

(12) |

That is, as we could naively expect, the consensus time increases with the number of states allowed (the system is initially more disordered and therefore requires more time to order), but its growth is very slow and saturates in the limit . In fact, in the worst case scenario in a finite system, in which , we have in the limit of large , being only a factor larger that the binary case . This result can be rationalized considering that, when , we are effectively describing an initial condition in which every agent has a different state, and the ordering occurs when one of this individuals manages to impose its state at the population level. It is therefore not surprising that we recover the behavior observed in the binary model when the initial condition consists of a given state of one species in a population of individuals of the opposite state, and, crucially, only the runs in which the state of the mutant gets fixated are considered. From Eq. 12 we can obtain the form in which the saturation at large is reached, namely,

(13) |

where the last expression is asymptotically valid in the limit of large .

Another interesting property of the ordering dynamics of the multi-state voter model is the number of different states at time , starting from an initial condition with states. We define the number of surviving states as , where if , and otherwise. Expressions for this quantity have been given in the past in an implicit form (24); (26). Here we present a transparent derivation of its explicit form, based on the form of the consensus time, Eq. (11). We start by considering the average consensus time for a random initial configuration with different states that can be computed by averaging the consensus time over all the initial conditions in the simplex ,

(14) |

where is the volume of the standard simplex . The integral in Eq. (14) can be computed using the variables , which respect the constraint , and noting that

(15) |

From here it follows that

(16) |

Now, assuming that the average time to go from to states is , for , we have

(17) |

By integrating and inverting this relation we obtain that the number of surviving states starting with random initial conditions with states decays as

(18) |

expression which is valid far from the ordering time of the system . In the case , we expect in surviving runs; that is, averaging over dynamical realizations that have not reached consensus at time . In this case, we will assume that , averaged over all runs, will decay as the survival probability (29). Assuming the exponential form derived in Ref. (29) for the standard voter model, we will expect to observe

(19) |

In Fig. 1 we check this prediction by means of numerical simulations of the multi-state voter model on a complete graph. The plot shows the behavior of for homogeneous initial conditions, which is fully compatible with the analytical predictions in Eqs. (18) and (19).

## 3 Numerical results in finite dimensional lattices

In this section we present and discuss the results of numerical simulations of the multi-state voter model on lattices of dimension and , comparing them with the analytical results obtained at the mean-field level.

### 3.1 Consensus time

We focus in the first place on the behavior of the consensus time as a function of the initial densities of the different states. We consider the simplest case , parametrizing the initial configuration as , with and . This parametrization preserves the normalization, , and has the advantage that, for a given value of , the whole range of values of can be explored.

In Fig. 2 we plot the consensus time computed in lattices of dimension and as a function of , and for different fixed values of . In order to get rid of size-dependent prefactors due to the dimensionality in the consensus time, we normalized it by its value at , which takes the form at mean-field level. The numerical simulations for fit quite precisely the theoretical mean-field prediction of the consensus time dependence on the initial configuration , developed in Sec. 2, with only slight deviations for small and close to . On the other hand, strong deviations are noticeable in dimension , specially for small values of . This result is in agreement with the expectation for the standard voter model, in which the mean-field consensus time Eq. (1) is expected to be exact only for (6).

### 3.2 Effect of the number of states

We have seen that, at the mean field level, and for homogeneous initial conditions for , the consensus time increases with towards it limit value with a power-law form, as given by Eq. (13). In Fig. 3 we plot the rescaled consensus time as a function of for lattices of dimension and and fixed size . From this figure we observe once again that the behavior is well fitted by the mean-field prediction, while the case shows deviations for small . Interestingly, increasing the number of initial states reduces the deviation from the mean-field theory, in a way that the behavior for is very well fitted by Eq. (13).

### 3.3 Number of surviving states

At the mean field level, the number of surviving states , starting from maximally heterogeneous conditions , decays as in the initial time regime, with an exponent , crossing over to a exponential decay at large times. In Fig. 4 we show the number of surviving states as a function of time corresponding to numerical simulations on and lattices.

From the results of Fig. 4, it is clear that the initial decay of the density of surviving states follows, as expected, a power-law form. The decay is, however, slower than the mean-field prediction. In particular, we see that in , , while in numerical data can be fitted to the form , corresponding to mean-field behavior with a logarithmic correction (shown in the inset of Fig. 4). On the other hand, we observe that the tail of the density of surviving states is again exponential; in particular, we find that in the large time regime we can fit for , while for .

The origin of the slowing down in the decay of the number of surviving states in low dimensions can be attributed to the formation of spatial domains of sites in the same state, which have to annihilate diffusively in order to reach the consensus state. In this line, the behavior of the number of surviving states in can be understood by means of a simple argument: At a given time , there will be a number of surviving states . Assuming that sites with the same state form clusters, the activity will be driven by the diffusive fluctuation of the boundaries of those clusters, which will have a length . The number of different clusters will thus be , recovering the observed time dependence.

### 3.4 Effects of correlated initial configurations

Considering the multi-state voter model on a finite lattice allows to investigate the effects of correlated initial configurations in the dynamical approach to the consensus state, which should be particularly important in one-dimensional lattices. We have thus simulated the multi-state voter model in a lattice, stating from an initial configuration of states arranged in contiguous blocks on length in a lattice of size . In Fig. 5 we plot the consensus time for in this correlated initial conditions as a function of , comparing it with the consensus time starting with uncorrelated homogeneous initial conditions, . We find that the effect of starting with correlated initial condition strongly slows down the achievement of consensus. As expected, the difference between the consensus time with correlated and homogeneous initials conditions approaches zero for with a behavior compatible with a power-law form of exponent , i.e.

(20) |

## 4 Conclusions

In this paper we have addressed the general scenario of the voter model in which the number of different states allowed in the model can be larger than two, and, in the thermodynamic limit, even unlimited. At the mean-field level, we have presented derivations for the expression of the exit probability, the consensus time (which generalizes naturally the ‘entropic’ form observed for the two-states case), and the density of surviving states as a function of time. We have highlighted that in the limit of the ordering time is only times bigger than in the binary voter model, and with a simple analytic argument we have found the decay of the number of surviving states in times. Finally, we have studied numerically the behavior of the multi state voter model on and dimensional lattices, and compared the results with the binary case. The consensus time in the case is well predicted by the mean-field theory, while the uni-dimensional case behaves differently. Remarkably, it increases with the number of initial states with a power-law form as predicted by the mean-field theory, for both and . We have also addressed the effect of correlated initial conditions on the consensus time, finding out that the relevance of this effect decreases with the number of initial states with a power law behavior. In summary, our results show that the number of states is not a trivial parameter in the voter model, and it affects the overall dynamics in subtle ways.

## Acknowledgments

We acknowledge financial support from the Spanish MEC, under project FIS2010-21781-C02-01, and the Junta de Andalucía, under project No. P09-FQM4682.. R.P.-S. acknowledges additional support through ICREA Academia, funded by the Generalitat de Catalunya.

### References

- Castellano C, Fortunato S and Loreto V 2009 Rev. Mod. Phys. 81 591–646
- Clifford P and Sudbury A 1973 Biometrika 60 581–588
- Holley R A and Liggett T M 1975 Annals of Probability 3 643–663
- Liggett T M 1999 Stochastic interacting particle systems: Contact, Voter, and Exclusion processes (New York: Springer-Verlag)
- Krapivsky P, Redner S and Ben-Naim E 2010 A Kinetic View of Statistical Physics (Cambridge: Cambridge University Press)
- Blythe R A 2010 Journal of Physics A: Mathematical and Theoretical 43 385003
- Mobilia M 2003 Phys. Rev. Lett. 91 028701
- Mobilia M, Petersen A and Redner S 2007 Journal of Statistical Mechanics: Theory and Experiment 2007 P08029
- Dall’Asta L and Castellano C 2007 Europhys. Lett. 77 60005
- Stark H, Tessone C J and Schweitzer F 2008 Phys. Rev. Lett. 101 018701
- Lambiotte R and Redner S 2008 Europhys. Lett. 82 18007
- Cox J T and Durret R 1991 Nonlinear voter models Random Walks, Brownian Motion, and Interacting Particle Systems ed Durrett R and Kesten H (Boston: Birkhauser) pp 189–202
- de Oliveira M, Mendes J and Santos M 1993 J. Phys. A 26 2317–2324
- Wu F Y 1982 Rev. Mod. Phys. 54 235–268
- Sire C and Majumdar S N 1995 Phys. Rev. E 52 244–254
- López F J, Sanz G and Sobottka M 2008 Journal of Statistical Mechanics: Theory and Experiment 2008 P05006
- Böhme G A and Gross T 2012 Phys. Rev. E 85 066117
- Hubbell S 2001 The Unified Neutral Theory of Biodiversity and Biogeography Monographs in Population Biology (Princeton, NJ: Princeton University Press)
- McKane A J, Alonso D and Solé R V 2004 Theoretical Population Biology 65 67 – 73
- Pigolotti S, Flammini A, Marsili M and Maritan A 2005 Proc. Natl. Acad. Sci. USA 102 15747
- Volovik D, Mobilia M and Redner S 2009 Europhy. Lett. 85 48003
- Vázquez F, Krapivsky P L and Redner S 2003 Journal of Physics A: Mathematical and General 36 L61
- Castelló X, Eguíluz V M and Miguel M S 2006 New Journal of Physics 8 308
- Tavaré S 1984 Theoretical Population Biology 26 119–164
- Cox J T 1989 The Annals of Probability 17 1333–1366
- Baxter G J, Blythe R A and McKane A J 2007 Mathematical Biosciences 209 124–170
- Blythe R A and McKane A J 2007 J. Stat. Mech. P07018
- Gardiner C W 1985 Handbook of stochastic methods 2nd ed (Berlin: Springer)
- F Slanina and H Lavicka 2003 Eur. Phys. J. B 35 279–288