Rule 184
- Rule 184 can be used as a simple model for traffic flow in a single lane of a highway, and forms the basis for many cellular automaton models of traffic flow with greater sophistication. In this model, particles (representing vehicles) move in a single direction, stopping and starting depending on the cars in front of them. The number of particles remains unchanged throughout the simulation. Because of this application, Rule 184 is sometimes called the "traffic rule".
- Rule 184 also models a form of deposition of particles onto an irregular surface, in which each local minimum of the surface is filled with a particle in each step. At each step of the simulation, the number of particles increases. Once placed, a particle never moves.
- Rule 184 can be understood in terms of ballistic annihilation, a system of particles moving both leftwards and rightwards through a one-dimensional medium. When two such particles collide, they annihilate each other, so that at each step the number of particles remains unchanged or decreases.
The apparent contradiction between these descriptions is resolved by different ways of associating features of the automaton's state with particles.
The name of Rule 184 is a Wolfram code that defines the evolution of its states. The earliest research on Rule 184 is by Li (1987) and Krug & Spohn (1988). In particular, Krug and Spohn already describe all three types of particle system modeled by Rule 184.
Definition
A state of the Rule 184 automaton consists of a one-dimensional array of cells, each containing a binary value (0 or 1). In each step of its evolution, the Rule 184 automaton applies the following rule to each of the cells in the array, simultaneously for all cells, to determine the new state of the cell:
current pattern | 111 | 110 | 101 | 100 | 011 | 010 | 001 | 000 |
---|---|---|---|---|---|---|---|---|
new state for center cell | 1 | 0 | 1 | 1 | 1 | 0 | 0 | 0 |
An entry in this table defines the new state of each cell as a function of the previous state and the previous values of the neighboring cells on either side. The name for this rule, Rule 184, is the Wolfram code describing the state table above: the bottom row of the table, 10111000, when viewed as a binary number, is equal to the decimal number 184.
The rule set for Rule 184 may also be described intuitively, in several different ways:
- At each step, whenever there exists in the current state a 1 immediately followed by a 0, these two symbols swap places. Based on this description, Krug & Spohn (1988) call Rule 184 a deterministic version of a "kinetic Ising model with asymmetric spin-exchange dynamics".
- At each step, if a cell with value 1 has a cell with value 0 immediately to its right, the 1 moves rightwards leaving a 0 behind. A 1 with another 1 to its right remains in place, while a 0 that does not have a 1 to its left stays a 0. This description is most apt for the application to traffic flow modeling.
- If a cell has state 0, its new state is taken from the cell to its left. Otherwise, its new state is taken from the cell to its right. That is, each cell can be implemented by a two-way demultiplexer with the two adjacent cells being inputs, and the cell itself acting as the selector line. Each cell's next state is determined by the demultiplexer's output. This operation is closely related to a Fredkin gate.
Dynamics and majority classification
From the descriptions of the rules above, two important properties of its dynamics may immediately be seen. First, in Rule 184, for any finite set of cells with periodic boundary conditions, the number of 1s and the number of 0s in a pattern remains invariant throughout the pattern's evolution. Rule 184 and its reflection are the only nontrivial elementary cellular automata to have this property of number conservation. Similarly, if the density of 1s is well-defined for an infinite array of cells, it remains invariant as the automaton carries out its steps. And second, although Rule 184 is not symmetric under left-right reversal, it does have a different symmetry: reversing left and right and at the same time swapping the roles of the 0 and 1 symbols produces a cellular automaton with the same update rule.
Patterns in Rule 184 typically quickly stabilize, either to a pattern in which the cell states move in lockstep one position leftwards at each step, or to a pattern that moves one position rightwards at each step. Specifically, if the initial density of cells with state 1 is less than 50%, the pattern stabilizes into clusters of cells in state 1, spaced two units apart, with the clusters separated by blocks of cells in state 0. Patterns of this type move rightwards. If, on the other hand, the initial density is greater than 50%, the pattern stabilizes into clusters of cells in state 0, spaced two units apart, with the clusters separated by blocks of cells in state 1, and patterns of this type move leftwards. If the density is exactly 50%, the initial pattern stabilizes (more slowly) to a pattern that can equivalently be viewed as moving either leftwards or rightwards at each step: an alternating sequence of 0s and 1s.
The majority problem is the problem of constructing a cellular automaton that, when run on any finite set of cells, can compute the value held by a majority of its cells. In a sense, Rule 184 solves this problem, as follows. if Rule 184 is run on a finite set of cells with periodic boundary conditions, with an unequal number of 0s and 1s, then each cell will eventually see two consecutive states of the majority value infinitely often, but will see two consecutive states of the minority value only finitely many times. The majority problem cannot be solved perfectly if it is required that all cells eventually stabilize to the majority state but the Rule 184 solution avoids this impossibility result by relaxing the criterion by which the automaton recognizes a majority.
Traffic flow
If one interprets each 1-cell in Rule 184 as containing a particle, these particles behave in many ways similarly to automobiles in a single lane of traffic: they move forward at a constant speed if there is open space in front of them, and otherwise they stop. Traffic models such as Rule 184 and its generalizations that discretize both space and time are commonly called particle-hopping models. Although very primitive, the Rule 184 model of traffic flow already predicts some of the familiar emergent features of real traffic: clusters of freely moving cars separated by stretches of open road when traffic is light, and waves of stop-and-go traffic when it is heavy.
It is difficult to pinpoint the first use of Rule 184 for traffic flow simulation, in part because the focus of research in this area has been less on achieving the greatest level of mathematical abstraction and more on verisimilitude: even the earlier papers on cellular automaton based traffic flow simulation typically make the model more complex in order to more accurately simulate real traffic. Nevertheless, Rule 184 is fundamental to traffic simulation by cellular automata. Wang, Kwong & Hui (1998), for instance, state that "the basic cellular automaton model describing a one-dimensional traffic flow problem is rule 184." Nagel (1996) writes "Much work using CA models for traffic is based on this model." Several authors describe one-dimensional models with vehicles moving at multiple speeds; such models degenerate to Rule 184 in the single-speed case. Gaylord & Nishidate (1996) extend the Rule 184 dynamics to two-lane highway traffic with lane changes; their model shares with Rule 184 the property that it is symmetric under simultaneous left-right and 0-1 reversal. Biham, Middleton & Levine (1992) describe a two-dimensional city grid model in which the dynamics of individual lanes of traffic is essentially that of Rule 184. For an in-depth survey of cellular automaton traffic modeling and associated statistical mechanics, see Maerivoet & De Moor (2005) and Chowdhury, Santen & Schadschneider (2000).
When viewing Rule 184 as a traffic model, it is natural to consider the average speed of the vehicles. When the density of traffic is less than 50%, this average speed is simply one unit of distance per unit of time: after the system stabilizes, no car ever slows. However, when the density is a number ρ greater than 1/2, the average speed of traffic is . Thus, the system exhibits a second-order kinetic phase transition at ρ = 1/2. When Rule 184 is interpreted as a traffic model, and started from a random configuration whose density is at this critical value ρ = 1/2, then the average speed approaches its stationary limit as the square root of the number of steps. Instead, for random configurations whose density is not at the critical value, the approach to the limiting speed is exponential.
Surface deposition
As shown in the figure, and as originally described by Krug & Spohn (1988), Rule 184 may be used to model deposition of particles onto a surface. In this model, one has a set of particles that occupy a subset of the positions in a square lattice oriented diagonally (the darker particles in the figure). If a particle is present at some position of the lattice, the lattice positions below and to the right, and below and to the left of the particle must also be filled, so the filled part of the lattice extends infinitely downward to the left and right. The boundary between filled and unfilled positions (the thin black line in the figure) is interpreted as modeling a surface, onto which more particles may be deposited. At each time step, the surface grows by the deposition of new particles in each local minimum of the surface; that is, at each position where it is possible to add one new particle that has existing particles below it on both sides (the lighter particles in the figure).
To model this process by Rule 184, observe that the boundary between filled and unfilled lattice positions can be marked by a polygonal line, the segments of which separate adjacent lattice positions and have slopes +1 and −1. Model a segment with slope +1 by an automaton cell with state 0, and a segment with slope −1 by an automaton cell with state 1. The local minima of the surface are the points where a segment of slope −1 lies to the left of a segment of slope +1; that is, in the automaton, a position where a cell with state 1 lies to the left of a cell with state 0. Adding a particle to that position corresponds to changing the states of these two adjacent cells from 1,0 to 0,1, so advancing the polygonal line. This is exactly the behavior of Rule 184.
Related work on this model concerns deposition in which the arrival times of additional particles are random, rather than having particles arrive at all local minima simultaneously. These stochastic growth processes can be modeled as an asynchronous cellular automaton.
Ballistic annihilation
Ballistic annihilation describes a process by which moving particles and antiparticles annihilate each other when they collide. In the simplest version of this process, the system consists of a single type of particle and antiparticle, moving at equal speeds in opposite directions in a one-dimensional medium.
This process can be modeled by Rule 184, as follows. The particles are modeled as points that are aligned, not with the cells of the automaton, but rather with the interstices between cells. Two consecutive cells that both have state 0 model a particle at the space between these two cells that moves rightwards one cell at each time step. Symmetrically, two consecutive cells that both have state 1 model an antiparticle that moves leftwards one cell at each time step. The remaining possibilities for two consecutive cells are that they both have differing states; this is interpreted as modeling a background material without any particles in it, through which the particles move. With this interpretation, the particles and antiparticles interact by ballistic annihilation: when a rightwards-moving particle and a leftwards-moving antiparticle meet, the result is a region of background from which both particles have vanished, without any effect on any other nearby particles.
The behavior of certain other systems, such as one-dimensional cyclic cellular automata, can also be described in terms of ballistic annihilation. There is a technical restriction on the particle positions for the ballistic annihilation view of Rule 184 that does not arise in these other systems, stemming from the alternating pattern of the background: in the particle system corresponding to a Rule 184 state, if two consecutive particles are both of the same type they must be an odd number of cells apart, while if they are of opposite types they must be an even number of cells apart. However this parity restriction does not play a role in the statistical behavior of this system.
Pivato (2007) uses a similar but more complicated particle-system view of Rule 184: he not only views alternating 0–1 regions as background, but also considers regions consisting solely of a single state to be background as well. Based on this view he describes seven different particles formed by boundaries between regions, and classifies their possible interactions. See Chopard & Droz (1998, pp. 188–190) for a more general survey of the cellular automaton models of annihilation processes.
Context-free parsing
In his book A New Kind of Science, Stephen Wolfram points out that rule 184, when run on patterns with density 50%, can be interpreted as parsing the context-free language describing strings formed from nested parentheses. This interpretation is closely related to the ballistic annihilation view of rule 184: in Wolfram's interpretation, an open parenthesis corresponds to a left-moving particle while a close parenthesis corresponds to a right-moving particle.
See also
Notes
- ^ E.g. see Fukś (1997).
- ^ One can find many later papers that, when mentioning Rule 184, cite the early papers of Stephen Wolfram. However, Wolfram's papers consider only automata that are symmetric under left-right reversal, and therefore do not describe Rule 184.
- ^ This rule table is already given in a shorthand form in the name "Rule 184", but it can be found explicitly e.g. in Fukś (1997).
- ^ For the definition of this code, see Wolfram (2002), p.53. For the calculation of this code for Rule 184, see e.g. Boccara & Fukś (1998).
- ^ See, e.g., Boccara & Fukś (1998).
- ^ Li (1992). Li used this interpretation as part of a generalization of Rule 184 to nonlocal neighborhood structures.
- ^ Rules 170, 204, and 240 trivially exhibit this property, as in each of these rules, every cell is simply copied from one of the three cells above it on each step.
- ^ Boccara & Fukś (1998); Alonso-Sanz (2011).
- ^ Boccara & Fukś (1998) have investigated more general automata with similar conservation properties, as has Moreira (2003).
- ^ Li (1987).
- ^ Capcarrere, Sipper & Tomassini (1996); Fukś (1997); Sukumar (1998).
- ^ Land & Belew (1995).
- ^ Nagel (1996); Chowdhury, Santen & Schadschneider (2000).
- ^ Tadaki & Kikuchi (1994).
- ^ For several models of this type see Nagel & Schreckenberg (1992), Fukui & Ishibashi (1996), and Fukś & Boccara (1998). Nagel (1996) observes the equivalence of these models to rule 184 in the single-speed case and lists several additional papers on this type of model.
- ^ See also Tadaki & Kikuchi (1994) for additional analysis of this model.
- ^ Fukś & Boccara (1998).
- ^ See also Belitsky & Ferrari (1995) and Chopard & Droz (1998, p. 29).
- ^ Krug & Spohn (1988).
- ^ Also discussed by Krug & Spohn (1988).
- ^ Redner (2001).
- ^ Krug & Spohn (1988); Belitsky & Ferrari (1995).
- ^ Belitsky & Ferrari (1995).
- ^ Wolfram (2002, pp. 989, 1109).
References
- Alonso-Sanz, Ramon (2011). "Number-preserving rules". Discrete Systems with Memory. World Scientific series on nonlinear science, Ser. A. Vol. 75. World Scientific. pp. 55–57. ISBN 9789814343633.
- Belitsky, Vladimir; Ferrari, Pablo A. (1995). "Ballistic annihilation and deterministic surface growth". Journal of Statistical Physics. 80 (3–4): 517–543. Bibcode:1995JSP....80..517B. CiteSeerX 10.1.1.4.7901. doi:10.1007/BF02178546. S2CID 16293185.
- Biham, Ofer; Middleton, A. Alan; Levine, Dov (1992). "Self-organization and a dynamic transition in traffic-flow models". Physical Review A. 46 (10): R6124–R6127. arXiv:cond-mat/9206001. Bibcode:1992PhRvA..46.6124B. doi:10.1103/PhysRevA.46.R6124. PMID 9907993. S2CID 14543020.
- Boccara, Nino; Fukś, Henryk (1998). "Cellular automaton rules conserving the number of active sites". Journal of Physics A: Mathematical and General. 31 (28): 6007–6018. arXiv:adap-org/9712003. Bibcode:1998JPhA...31.6007B. doi:10.1088/0305-4470/31/28/014. S2CID 14807539.
- Capcarrere, Mathieu S.; Sipper, Moshe; Tomassini, Marco (1996). "Two-state, r = 1 cellular automaton that classifies density" (PDF). Physical Review Letters. 77 (24): 4969–4971. Bibcode:1996PhRvL..77.4969C. doi:10.1103/PhysRevLett.77.4969. PMID 10062680.
- Chopard, Bastien; Droz, Michel (1998). Cellular Automata Modeling of Physical Systems. Cambridge University Press. ISBN 978-0-521-67345-7.
- Chowdhury, Debashish; Santen, Ludger; Schadschneider, Andreas (2000). "Statistical physics of vehicular traffic and some related systems". Physics Reports. 329 (4): 199–329. arXiv:cond-mat/0007053. Bibcode:2000PhR...329..199C. doi:10.1016/S0370-1573(99)00117-9. S2CID 119526662.
- Fukś, Henryk (1997). "Solution of the density classification problem with two similar cellular automata rules". Physical Review E. 55 (3): R2081–R2084. arXiv:comp-gas/9703001. Bibcode:1997PhRvE..55.2081F. doi:10.1103/PhysRevE.55.R2081. S2CID 118954791.
- Fukś, Henryk; Boccara, Nino (1998). "Generalized deterministic traffic rules" (PDF). International Journal of Modern Physics C. 9 (1): 1–12. arXiv:adap-org/9705003. Bibcode:1998IJMPC...9....1F. doi:10.1142/S0129183198000029. S2CID 119938282. Archived from the original (PDF) on 27 September 2007.
- Fukui, M.; Ishibashi, Y. (1996). "Traffic flow in 1D cellular automaton model including cars moving with high speed". Journal of the Physical Society of Japan. 65 (6): 1868–1870. Bibcode:1996JPSJ...65.1868F. doi:10.1143/JPSJ.65.1868.
- Gaylord, Richard J.; Nishidate, Kazume (1996). "Traffic Flow". Modeling Nature: Cellular Automata Simulations with Mathematica. Springer-Verlag. pp. 29–34. ISBN 978-0-387-94620-7.
- Krug, J.; Spohn, H. (1988). "Universality classes for deterministic surface growth". Physical Review A. 38 (8): 4271–4283. Bibcode:1988PhRvA..38.4271K. doi:10.1103/PhysRevA.38.4271. PMID 9900880.
- Land, Mark; Belew, Richard (1995). "No perfect two-state cellular automata for density classification exists". Physical Review Letters. 74 (25): 1548–1550. Bibcode:1995PhRvL..74.5148L. doi:10.1103/PhysRevLett.74.5148. PMID 10058695.
- Li, Wentian (1987). "Power spectra of regular languages and cellular automata" (PDF). Complex Systems. 1: 107–130. Archived from the original (PDF) on 2007-10-07.
- Li, Wentian (1992). "Phenomenology of nonlocal cellular automata". Journal of Statistical Physics. 68 (5–6): 829–882. Bibcode:1992JSP....68..829L. CiteSeerX 10.1.1.590.1708. doi:10.1007/BF01048877. S2CID 17337112.
- Maerivoet, Sven; De Moor, Bart (2005). "Cellular automata models of road traffic". Physics Reports. 419 (1): 1–64. arXiv:physics/0509082. Bibcode:2005PhR...419....1M. doi:10.1016/j.physrep.2005.08.005. S2CID 41394950.
- Moreira, Andres (2003). "Universality and decidability of number-conserving cellular automata". Theoretical Computer Science. 292 (3): 711–721. arXiv:nlin.CG/0306032. Bibcode:2003nlin......6032M. doi:10.1016/S0304-3975(02)00065-8. S2CID 14909462.
- Nagel, Kai (1996). "Particle hopping models and traffic flow theory". Physical Review E. 53 (5): 4655–4672. arXiv:cond-mat/9509075. Bibcode:1996PhRvE..53.4655N. doi:10.1103/PhysRevE.53.4655. PMID 9964794. S2CID 20466753.
- Nagel, Kai; Schreckenberg, Michael (1992). "A cellular automaton model for freeway traffic". Journal de Physique I. 2 (12): 2221–2229. Bibcode:1992JPhy1...2.2221N. doi:10.1051/jp1:1992277. S2CID 37135830.
- Pivato, M. (2007). "Defect particle kinematics in one-dimensional cellular automata". Theoretical Computer Science. 377 (1–3): 205–228. arXiv:math.DS/0506417. doi:10.1016/j.tcs.2007.03.014. S2CID 12650387.
- Redner, Sidney (2001). "8.5 Ballistic Annihilation". A Guide to First-Passage Processes. Cambridge University Press. p. 288. ISBN 9780521652483.
- Sukumar, N. (1998). "Effect of boundary conditions on cellular automata that classify density". arXiv:comp-gas/9804001.
- Tadaki, Shin-ichi; Kikuchi, Macato (1994). "Jam phases in a two-dimensional cellular automaton model of traffic flow". Physical Review E. 50 (6): 4564–4570. arXiv:patt-sol/9409004. Bibcode:1994PhRvE..50.4564T. doi:10.1103/PhysRevE.50.4564. PMID 9962535. S2CID 17516156.
- Wang, Bing-Hong; Kwong, Yvonne-Roamy; Hui, Pak-Ming (1998). "Statistical mechanical approach to Fukui-Ishibashi traffic flow models". Physical Review E. 57 (3): 2568–2573. Bibcode:1998PhRvE..57.2568W. doi:10.1103/PhysRevE.57.2568.
- Wolfram, Stephen (2002). A New Kind of Science. Wolfram Media.