Search arXivSearch

arXiv · 1502.04587

Unravelling the puzzling intermediate states in the Biham-Middleton-Levine traffic mode

Abstract

The Biham-Middleton-Levine (BML) traffic model, a cellular automaton with east-bound and north-bound cars moving by turns on a square lattice, has been an underpinning model in the study of collective behaviour by cars, pedestrians and even internet packages. Contrary to initial beliefs that the model exhibits a sharp phase transition from freely flowing to fully jammed, it has been reported that it shows intermediate stable phases, where jams and freely flowing traffic coexist, but there is no clear understanding of their origin. Here, we analyze the model as an anisotropic system with a preferred fluid direction (north-east) and find that it exhibits two differentiated phase transitions: either if the system is longer in the flow direction (longitudinal) or perpendicular to it (transversal). The critical densities where these transitions occur enclose the density interval of intermediate states and can be approximated by mean-field analysis, all derived from the anisotropic exponent relating the longitudinal and transversal correlation lengths. Thus, we arrive to the interesting result that the puzzling intermediate states in the original model are just a superposition of these two different behaviours of the phase transition, solving by the way most mysteries behind the BML model, which turns to be a paradigmatic example of such anisotropic critical systems.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

L. E. Olmos, J. D. Muñoz. 2015-02-16. Unravelling the puzzling intermediate states in the Biham-Middleton-Levine traffic mode. https://doi.org/10.1103/physreve.91.050801

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Dimension-dependent continuum limits in tissue mechanics

Continuum descriptions of epithelial tissue mechanics can replace expensive individual-based simulations with tractable macroscopic models, yet the link between cell-scale forces and tissue-scale transport remains poorly understood. We show that dimensionality controls this link: long-time mechanical relaxation rates reveal generalized porous-media-type nonlinear transport phenomena, $D(ρ)\proptoρ^γ$. Exponents in nonlinear diffusivities are fixed by microscopic mechanics and dimensionality, providing a novel physical mechanism for emergent macroscopic transport phenomena.

nlin.CG

Gliders on Aperiodic Monotilings: Cellular Automata on the Hat and Spectre

The hat and spectre monotiles, discovered in 2023, tile the plane only aperiodically; no cellular automaton dynamics on these tilings has previously been reported. Cellular automata are studied here on patches generated by finite-state transducers, so that every experiment regenerates deterministically from a small record. Within edge-adjacency semi-totalistic rules, exhaustive and evolutionary searches find only mortal travelers: gliders are absent. Guided by a reproduction of the known Penrose-tiling glider, the rule space is extended to vertex neighborhoods and to priority-table rules whose non-quiescent states are visible to neighbors. Evolutionary search then discovers gliders on both monotilings; tracked by a sliding window that regenerates the patch along the flight, they travel one million rings at constant speed and heading. All headings are quantized, to millidegrees, onto a six-spoke compass - the fast axes of the tiling's graph metric. An ablation shows both rule-space extensions are individually necessary. All results replay exactly in an accompanying interactive essay.

nlin.CG

Diagonal Bases and Diagonal Periods of Elementary Cellular Automata

Which cellular-automaton diagonal families form bases in every finite window? For canonical polynomial lifts of elementary rules, two truth-table bits determine triangularity, and units on the matrix diagonal determine invertibility. Exactly 24 rules give universal binary bases; all remain universal over every modulus. Among triangular binary coordinate maps, the Pascal transform is uniquely characterized by converting OR convolution into pointwise multiplication, while increment becomes strict prefix summation. Explicit inverses and coordinate comparisons distinguish sparsity from evaluation cost. A Rule 30 polynomial construction gives Fibonacci bounds on interpolation order and prime-modulus periods. Exact additive periods anchor a finite census modulo two and three. These results separate all-window basis classification from optimization of a representation and from period patterns observed in finite windows.

nlin.CG