Restricted permutations for the simple exclusion process
in discrete time over graphs
J. Ricardo G. Mendonça***Email: email@example.com
Escola de Artes, Ciências e Humanidades, Universidade de São Paulo
Rua Arlindo Bettio 1000, Vila Guaraciaba, 03828-000 São Paulo, SP, Brazil
Exclusion processes became paradigmatic models of nonequilibrium interacting particle systems of wide range applicability both across the natural and the applied, social and technological sciences. Usually they are defined as a continuous-time stochastic process, but in many situations it would be desirable to have a discrete-time version of them. There is no generally applicable formalism for exclusion processes in discrete-time. In this paper we define the symmetric simple exclusion process in discrete time over graphs by means of restricted permutations over the labels of the vertices of the graphs and describe a straightforward sequential importance sampling algorithm to simulate the process. We investigate the approach to stationarity of the process over loop-augmented Bollobás-Chung “cycle-with-matches” graphs. In all cases the approach is algebraic with an exponent varying between and depending on the number of matches.
Keywords: Restricted permutation - matrix permanent sequential importance sampling interchange process
PACS 2010: 02.50.Ga 05.40.-a 02.10.Ox
Motivations to study exclusion processes in general and exclusion processes over graphs in particular are manifold. In physics, exclusion processes provide simple yet nontrivial models for the relaxation dynamics of a gas or fluid towards the thermodynamic equilibrium [1, 2, 3, 4], together with a whole gamut of fundamental questions in statistical mechanics [5, 6, 7]. They are also relevant in the modeling of biological transport at molecular and cellular levels [8, 9, 10], queueing systems , vehicular and pedestrian traffic [12, 13, 14], and signaling in radio and computer networks [15, 16], among others. Exclusion processes can also be viewed as generalizations of the single random walk problem on graphs and groups, an active field of investigation that has led to many developments in pure and applied probability, statistics, computer science, group theory, and harmonic analysis [17, 18, 19, 20, 21, 23, 24, 22], to name a few.
Exclusion processes are usually modeled as a continuous-time stochastic process, with particles attempting to jump from vertex to vertex after an exponentially distributed waiting time of parameter and succeeding if the target vertex is empty. In discrete time, mixed update schemes for exclusion processes have been proposed in the study of traffic and pedestrian dynamics using cellular automata, such as the “shuffle updates,” in which particles are updated exactly once per time step in a predetermined or random order within each time step [25, 26, 27]. These mixed protocols avoid the difficult problem of enforcing exclusion during a synchronous update—which is exactly the problem that we address here—but are not entirely discrete-time or synchronous, since at any single update clocks tic at different (noninteger) times for different particles.
In this paper we define the symmetric simple exclusion process in discrete time over arbitrary graphs and describe a simple and efficient algorithm for its stochastic simulation. We exemplify the formalism by computing the relaxation time of the process on loop-augmented Bollobás-Chung graphs. Research problems are mentioned in the conclusions.
2 Basic setup
Let be a finite connected graph of order with vertex set and edge set , and let be the adjacency matrix of with elements if the unordered pair , usually denoted by , and otherwise. At our convenience, we augment by taking for all (see discussion below). To each vertex we attach a random variable taking values in . If we say that vertex is occupied by a particle, otherwise we say that vertex is empty. The symmetric simple exclusion process in discrete time over , henceforth referred to as DTSEP(), is the stochastic process according to which at each integer time each particle on the vertices of chooses one of its neighboring vertices equally at random to jump to, with the process evolving if no vertex is targeted simultaneously by two or more particles. At any given , the occupation of the vertices of is denoted by
which we call the state of . The role of the diagonal elements that we added somewhat arbitrarily to now becomes clear, for nothing in the dynamics of DTSEP() precludes a particle from sojourning at its current vertex, which is equivalent to having a loop at every vertex of . Moreover, such device prevents the dynamics from freezing out—think of a tree with particles stuck at the leaves (vertices of degree 1).
The DTSEP() is closely related with the interchange process IP(), a continuous time process in which distinguishable particles hop over by means of transpositions. The IP() enjoyed a revival some time ago related with a conjecture (eventually proved true) about its spectral gap [28, 29, 30, 31]. In mathematical physics there is an analogue question of whether ferromagnetic quantum spin- Heisenberg chains display some ordering of energy levels indexed by total spin (only partially true) [32, 33, 34]. When , the IP() describes the classic problem of shuffling a deck of cards by transpositions [17, 18, 19, 20, 35].
3 Representations for the dynamics
The dynamics of DTSEP() can be described by means of permutations in , the set of permutations of labels. The idea is to evolve the state of by successive applications of suitable random permutations. Permutations are convenient because they automatically conserve particles (are surjective) and enforce exclusion (are injective). Because of the restricted connectivity of , however, the set of “good” permutations contains only permutations that take label to if . This set can be characterized by
The number of restricted permutations in is given by
i. e., by the permanent of . Note that restricted permutations do not, in general, form a group. Pick, for example, the loop-augmented complete graph (we use a tilde to discern loop-augmented graphs) and delete edge : then and are both in , but is not. We note in passing that for this graph , while . We can now define the DTSEP() as the stochastic process , that given an initial occuption state of evolves in discrete time according to
with chosen uniformly at random in . Figure 1 illustrates one time step of the DTSEP() on a generic graph.
Since the objects that move are the particles, all holes being indistinguishable, we can keep track of the positions of the particles instead of the occupation of the vertices. The DTSEP() can thus be described in the following alternative representation. Let be the vector of the particle positions at instant . In this representation the time evolution of DTSEP() is given by
with , as before. In fact, now belongs to the smaller set with the matrix given by , where denotes the th row of . We only need to care about the full if . For example, for the configurations in Figure 1, and
while for we have
Matrix can be viewed as a board of allowed particle positions at instant as well as for the next instant , since, by definition, , because with in or . We see that is but the number of ways indistinguishable non-taking rooks can be placed on the squares of a board with the square removed if . The “rooks representation” of DTSEP() is illustrated in Figure 2. This representation makes it clear that each label performs an independent random walk, with exclusion ensured by the restricted permutations. The burden of DTSEP() rests on . It is also more convenient to study the dynamics of tagged particles.
4 Stochastic simulation
Numerically running (4) or (5) boils down to being able to sample permutations uniformly at random. A straightforward acception-rejection method would be to pick random permutations uniformly from and select only those permutations for which . The acceptance ratio of the method depends heavily on the structure of , and is in general hopelessly small unless is highly dense. A much better option is to employ a sequential importance sampling (SIS) strategy. The idea behind SIS is to sample a composite object like by building up its parts conditioned on what has already been built according to the identity
The theoretical framework for SIS was given in  and is nicely reviewed in [38, 39]. Algorithm S describes a SIS strategy to sample random restricted permutations inspired by the analogous problem of estimating permanents [40, 41, 42, 43, 44, 45]. Algorithm S can be optimized by reordering the rows and columns of in ascending order of row sums to minimize the probability of collisions between labels chosen later in the procedure with those chosen before. The extra processing pays off for graphs with vertices of widely varying degrees, as it happens, e. g., when is a small-world network with hubs. A careful implementation of line 5 (for instance, avoiding a linear search) can significantly improve its run time.
For a - matrix, line 3 of Algorithm S counts the number of images available to choose for label , if any, and the probability in line 5 becomes the uniform distribution over the remaining images available. Note that the product of the output by Algorithm S provides a one-sample unbiased estimate for , i. e., [40, 41, 42, 43, 44, 45].
5 Dtsep() on Bollobás-Chung graphs
Let denote the set of configurations with particles on a single-component graph of size and let be the uniform measure that puts mass on every in . Clearly, is an invariant subspace of DTSEP() and is stationary, since
is invariant under permutations of , , from , where denotes the configuration with the particles occupying vertices , , of . Note the explicit particle-hole symmetry of the process (). The occupation density of each vertex in the stationary state (9) is . On the other hand, the empirical distribution of vertex occupancy up to time is
where we discard the initial from the average. We expect that as . The distance between a realization of and the stationary can be calculated as
We measured the speed of convergence of DTSEP() to stationarity on loop-augmented Bollobás-Chung graphs obtained by adding (originally ) random matches (an edge with, say, and ) to the loop-augmented cycle graph . Note that , the loop-augmented cycle graph. We fix , (“quarter-filling”), and obtain as an average over independent realizations of and, for , also over realizations of . We found algebraic decay at late times in all cases, with an exponent depending on . See Figure 3. The “beats” in the distance at multiples of echo the cyclic structure of , which is, however, inexact for . The for DTSEP() recalls the behavior of the simple random walk and the symmetric simple exclusion process on —their spectral gap closes as , and the observables approach stationarity diffusively. The discrete time version preserves that; this follows from Aldous’ conjecture [28, 29, 30, 31]. The other exponents are less immediate to understand. Simulations indicate that on the loop-augmented as well as on Erdős-Rényi random graphs independently of as long as the graph is simply connected. Bollobás-Chung graphs interpolate between the two extremes given by and . The dependence of on the diameter of the graphs seems to be worth investigating in general.
6 Summary and outlook
In this paper we pursued a modest goal: to define the DTSEP() and to investigate its stochastic simulation. One advantage of the setup with loop-augmented graphs (besides the fact that is never empty) is that one recovers the usual simple exclusion process (or, under a more general interpretation, the interchange process) over by limiting the dynamics to a single transposition per time step. The formalism applies to asymmetric exclusion processes as well, with a digraph and asymmetric. From the computational point of view, the “rooks representation” of DTSEP() is more efficient when or is sparse, because we do not have to worry about empty vertices. This representation is also more convenient to study systems of different (or tagged) particles with different dynamics by overlaying different edge sets for different classes of particles—think of a bird flying over a landscape looking after worms that crawl on a lesser graph. Discussions about reversibility, the asymmetric case, whether Algorithm S samples uniformly, comparisons with simple random walks (), dependence of on the diameter of random graphs, and related issues will be published elsewhere.
The author thanks Fábio T. Reale (USP) for useful conversations and the São Paulo State Research Foundation – FAPESP (Brazil) for partial support through grants 2015/21580-0 and 2017/22166-9.
-  T. M. Liggett, Interacting Particle Systems (Springer, Berlin, 1985).
-  H. Spohn, Large Scale Dynamics of Interacting Particles (Springer, Heidelberg, 1991).
-  B. Derrida, E. Domany, and D. Mukamel, An exact solution of a one-dimensional asymmetric exclusion model with open boundaries, J. Stat. Phys. 69, 667 (1992).
-  G. M. Schütz, Exactly solvable models for many-body systems far from equilibrium, in Phase Transitions and Critical Phenomena, Vol. 19, edited by C. Domb and J. L. Lebowitz (Academic Press, San Diego, 2001), pp. 1–251.
-  B. Derrida and J. L. Lebowitz, Exact large deviation function in the asymmetric exclusion process, Phys. Rev. Lett. 80, 209 (1998); T. Bodineau and B. Derrida, Current fluctuations in nonequilibrium diffusive systems: An additivity principle, Phys. Rev. Lett. 92, 180601 (2004).
-  M. Gorissen, A. Lazarescu, K. Mallick, and C. Vanderzande, Exact current statistics of the asymmetric simple exclusion process with open boundaries, Phys. Rev. Lett. 109, 170601 (2012); T. Imamura, K. Mallick, and T. Sasamoto, Large deviations of a tracer in the symmetric exclusion process, Phys. Rev. Lett. 118, 160601 (2017).
-  S. C. Kapfer and W. Krauth, Irreversible local Markov chains with rapid convergence towards equilibrium, Phys. Rev. Lett. 119, 240603 (2017).
-  C. T. MacDonald, J. H. Gibbs, and A. C. Pipkin, Kinetics of biopolymerization on nucleic acid templates, Biopolymers 6, 1 (1968); C. T. MacDonald and J. H. Gibbs, Concerning the kinetics of polypeptide synthesis of polyribosomes, Biopolymers 7, 707 (1969).
-  L. B. Shaw, R. K. Zia, and K. H. Lee, Totally asymmetric exclusion process with extended objects: A model for protein synthesis, Phys. Rev. E 68, 021910 (2003); T. Chou, K. Mallick, and R. K. P. Zia, Non-equilibrium statistical mechanics: From a paradigmatic model to biological transport, Rep. Prog. Phys. 74, 116601 (2011).
-  I. Neri, N. Kern, and A. Parmeggiani, Totally asymmetric simple exclusion process on networks, Phys. Rev. Lett. 107, 068702 (2011); I. Neri, N. Kern, and A. Parmeggiani, Modeling cytoskeletal traffic: An interplay between passive diffusion and active transport, Phys. Rev. Lett. 110, 098102 (2013).
-  C. Arita, Queueing process with excluded-volume effect, Phys. Rev. E 80 (2009) 051119; C. Arita and D. Yanagisawa, Exclusive queueing process with discrete time, J. Stat. Phys. 141 (2010) 829.
-  N. Rajewsky, L. Santen, A. Schadschneider, and M. Schreckenberg, The asymmetric exclusion process: Comparison of update procedures, J. Stat. Phys. 92, 151 (1998).
-  D. Chowdhury, L. Santen, and A. Schadschneider, Statistical physics of vehicular traffic and some related systems, Phys. Rep. 329, 199 (2000).
-  M. Schreckenberg, A. Schadschneider, K. Nagel, and N. Ito, Discrete stochastic models for traffic flow, Phys. Rev. E 51, 2939 (1995).
-  C. Gkantsidis, M. Mihail, and A. Saberi, Random walks in peer-to-peer networks: Algorithms and evaluation, Perform. Eval. 63, 241 (2006).
-  S. Srinivasa and M. Haenggi, A statistical mechanics-based framework to analyze ad hoc networks with random access, IEEE Trans. Mob. Comput. 11, 618 (2012).
-  D. Aldous, Random walks on finite groups and rapidly mixing Markov chains, in Séminaire de Probabilités (Strasbourg) XVII 1981/1982, edited by J. Azéma and M. Yor (Springer, Berlin, 1983), pp. 243–297.
-  D. Aldous and P. Diaconis, Shuffling cards and stopping times, Amer. Math. Month. 93, 333 (1986).
-  D. Aldous and J. A. Fill, Reversible Markov Chains and Random Walks on Graphs, unfinished monograph, 2002 (recompiled version, 2014). Available at: http://www.stat.berkeley.edu/~aldous/RWG/book.html.
-  P. Diaconis, Group Representations in Probability and Statistics (Institute of Mathematical Statistics, Hayward, CA, 1988).
-  T. Ceccherini-Silberstein, F. Scarabotti, and F. Tolli, Harmonic Analysis on Finite Groups (Cambridge University Press, Cambridge, 2008).
-  D. A. Levin and Y. Peres, Markov Chains and Mixing Times, 2nd ed. (AMS, Providence, 2017).
-  L. Lovász, Random walks on graphs: A survey, in Combinatorics, Paul Erdős is Eighty (Keszthely, 1993), Vol. 2, edited by D. Miklós, V. T. Sós, and T. Szőnyi (János Bolyai Math. Society, Budapest, 1996), pp. 353–398.
-  L. Saloff-Coste, Random walks on finite groups, in Probability on Discrete Structures, edited by H. Kesten (Springer, Berlin, 2004), pp. 263–346.
-  A. Keßel, H. Klüpfel, J. Wahle, and M. Schreckenberg, Microscopic simulation of pedestrian crowd motion, in Pedestrian and Evacuation Dynamics 2001, edited by M. Schreckenberg and S. D. Sharma (Springer, Berlin, 2002), pp. 193–202.
-  M. Wölki, A. Schadschneider, and M. Schreckenberg, Asymmetric exclusion processes with shuffled dynamics, J. Phys. A: Math. Gen. 39, 33 (2006).
-  C. Appert-Rolland, J. Cividini, and H. Hilhorst, Frozen shuffle update for an asymmetric exclusion process on a ring, J. Stat. Mech. 2011, P07009 (2011).
-  S. Handjani and D. Jungreis, Rate of convergence for shuffling cards by transpositions, J. Theor. Probab. 9, 983 (1996).
-  P. Caputo, T. M. Liggett, and T. Richthammer, Proof of Aldous’ spectral gap conjecture, J. Amer. Math. Soc. 23, 831 (2010).
-  F. Cesi, On the eigenvalues of Cayley graphs on the symmetric group generated by a complete multipartite set of transpositions, J. Algeb. Combin. 32, 155 (2010); A. B. Dieker, Interlacings for random walks on weighted graphs and the interchange process, SIAM J. Discrete Math. 24, 191 (2010).
-  G. Alon and G. Kozma, Ordering the representations of using the interchange process, Canad. Math. Bull. 56, 13 (2013); G. Alon and G. Kozma, The probability of long cycles in interchange processes, Duke Math. J. 162, 1567 (2013); N. Berestycki and G. Kozma, Cycle structure of the interchange process and representation theory, arXiv:1205.4753 [math.PR].
-  P. Caputo and F. Martinelli, Relaxation time of anisotropic simple exclusion processes and quantum Heisenberg models, Ann. Appl. Probab. 13, 691 (2003); B. Nachtergaele, W. Spitzer, and S. Starr, Ferromagnetic ordering of energy levels, J. Stat. Phys. 116, 719 (2004); B. Nachtergaele, W. Spitzer, and S. Starr, Asymptotic ferromagnetic ordering of energy levels for the Heisenberg model on large boxes, arXiv:1509.00907 [math-ph].
-  B. Morris, Spectral gap for the interchange process in a box, Electron. Commun. Probab. 13, 311 (2008); M. Conomos and S. Starr, Asymptotics of the spectral gap for the interchange process on large hypercubes, J. Stat. Mech. 2011, P10018 (2011).
-  J. R. G. Mendonça, Exact eigenspectrum of the symmetric simple exclusion process on the complete, complete bipartite and related graphs, J. Phys. A: Math. Theor. 46, 295001 (2013).
-  P. Diaconis and M. Shahshahani, Generating a random permutation with random transpositions, Z. Wahrsch. verw. Geb. 57, 159 (1981); D. Bayer and P. Diaconis, Trailing the dovetail shuffle to its lair, Ann. Probab. 2, 294 (1992).
-  R. A. Brualdi and H. J. Ryser, Combinatorial Matrix Theory (Cambridge University Press, Cambridge, 1991).
-  J. S. Liu and R. Chen, Sequential Monte Carlo methods for dynamic systems, J. Am. Stat. Assoc. 93, 1032 (1998).
-  P. Diaconis, R. L. Graham, and S. P. Holmes, Statistical problems involving permutations with restricted positions, in State of the Art in Probability and Statistics: Festschrift for Willem R. van Zwet, edited by M. de Gunst, C. Klaassen, and A. Van der Vaart (Institute of Mathematical Statistics, Beachwood, 2001), pp. 195–222.
-  Y. Chen, P. Diaconis, S. P. Holmes, and J. S. Liu, Sequential Monte Carlo methods for statistical analysis of tables, J. Am. Stat. Assoc. 100, 109 (2005).
-  M. Jerrum and A. Sinclair, Approximating the permanent, SIAM J. Comput. 18, 1149 (1989).
-  L. E. Rasmussen, Approximating the permanent: A simple approach, Random Struct. Algor. 5, 349 (1994).
-  N. Y. Kuznetsov, Computing the permanent by importance sampling method, Cybern. Syst. Anal. 32, 749 (1996).
-  P. Smith and B. Dawkins, Estimating the permanent by importance sampling from a finite population, J. Stat. Comput. Simul. 70, 197 (2001).
-  M. Jerrum, A. Sinclair, and E. Vigoda, A polynomial-time approximation algorithm for the permanent of a matrix with nonnegative entries, J. ACM 51, 671 (2004).
-  A. Sinclair, Algorithms for Random Generation and Counting: A Markov Chain Approach (Birkhäuser, Boston, 1993).
-  B. Bollobás and F. R. K. Chung, SIAM J. Discrete Math. 1, 328 (1988).