Random modulation

The Biham–Middleton–Levine traffic model is a self-organizing cellular automaton traffic flow model. It consists of a number of cars represented by points on a lattice with a random starting position, where each car may be one of two types: those that only move downwards (shown as blue in this article), and those that only move towards the right (shown as red in this article). The two types of cars take turns to move. During each turn, all the cars for the corresponding type advance by one step if they are not blocked by another car. It may be considered the two-dimensional analogue of the simpler Rule 184 model. It is possibly the simplest system exhibiting phase transitions and self-organization.

History

The Biham–Middleton–Levine traffic model was first formulated by Ofer Biham, A. Alan Middleton, and Dov Levine in 1992. Biham et al found that as the density of traffic increased, the steady-state flow of traffic suddenly went from smooth flow to a complete jam. In 2005, Raissa D'Souza found that for some traffic densities, there is an intermediate phase characterized by periodic arrangements of jams and smooth flow. In the same year, Alexander Holroyd et al were the first to rigorously prove that for densities close to one, the system will always jam. Later, in 2006, Tim Austin and Itai Benjamini found that for a square lattice of side N, the model will always self-organize to reach full speed if there are fewer than N/2 cars.

Lattice space

The fundamental polygon of the torus, on which the cars move

The cars are typically placed on a square lattice that is topologically equivalent to a torus: that is, cars that move off the right edge would reappear on the left edge; and cars that move off the bottom edge would reappear on the top edge.

There has also been research in rectangular lattices instead of square ones. For rectangles with coprime dimensions, the intermediate states are self-organized bands of jams and free-flow with detailed geometric structure, that repeat periodically in time. In non-coprime rectangles, the intermediate states are typically disordered rather than periodic.

Phase transitions

Despite the simplicity of the model, it has two highly distinguishable phases – the jammed phase, and the free-flowing phase. For low numbers of cars, the system will usually organize itself to achieve a smooth flow of traffic. In contrast, if there is a high number of cars, the system will become jammed to the extent that no single car will move. Typically, in a square lattice, the transition density is when there are around 32% as many cars as there are possible spaces in the lattice.

File:Biham-Middleton-Levine traffic model self-organized to a free flowing phase.ogv

File:Biham-Middleton-Levine traffic model self-organized to a globally jammed phase.ogv

A 512×512 lattice with density of 27% after 64000 iterations. Traffic is at a free-flowing phase.

A 512×512 lattice with density of 29% after 64000 iterations. Traffic is at a free-flowing phase.

A 512×512 lattice with density of 38% after 64000 iterations. Traffic is at a globally jammed phase.

Mobility with respect to time for above lattice. Mobility is defined as the number of cars that can move as a fraction of the total.

Mobility with respect to time for above lattice. Mobility is defined as the number of cars that can move as a fraction of the total.

Mobility with respect to time for above lattice. Mobility is defined as the number of cars that can move as a fraction of the total.

Intermediate phase

The intermediate phase occurs close to the transition density, combining features from both the jammed and free-flowing phases. There are principally two intermediate phases – disordered (which could be meta-stable) and periodic (which are provably stable). On rectangular lattices with coprime dimensions, only periodic orbits exist. In 2008 periodic intermediate phases were also observed in square lattices. Yet, on square lattices disordered intermediate phases are more frequently observed and tend to dominate densities close to the transition region.

File:Biham-Middleton-Levine traffic model self-organized to a periodic intermediate phase.ogv

File:Biham-Middleton-Levine traffic model self-organized to a disordered intermediate phase.ogv

A 512×512 lattice with density of 31% after 64000 iterations. Traffic is at a disordered intermediate phase.

A 512×512 lattice with density of 33% after 64000 iterations. Traffic is at a disordered intermediate phase.

A 512×512 lattice with density of 37% after 64000 iterations. Traffic is at a disordered intermediate phase.

Mobility with respect to time for above lattice. Mobility is defined as the number of cars that can move as a fraction of the total.

Mobility with respect to time for above lattice. Mobility is defined as the number of cars that can move as a fraction of the total.

Mobility with respect to time for above lattice. Mobility is defined as the number of cars that can move as a fraction of the total.

Rigorous analysis

Despite the simplicity of the model, rigorous analysis is very nontrivial. Nonetheless, there have been mathematical proofs regarding the Biham–Middleton–Levine traffic model. Proofs so far have been restricted to the extremes of traffic density. In 2005, Alexander Holroyd et al proved that for densities close to one, the system will always jam. In 2006, Tim Austin and Itai Benjamini proved that the model will always reach the free-flowing phase if the number of cars is less than half the edge length for a square lattice.

It would be ideal to formulate a rigorous method to predict the end result of any starting position, especially in the intermediate phases. To that end, this model has been the subject of research for several scientists.Template:Cn

Non-orientable surfaces

The model is typically studied on the orientable torus, but it is possible to implement the lattice on a Klein bottle. When the red cars reach the right edge, they reappear on the left edge except flipped vertically; the ones at the bottom are now at the top, and vice versa. More formally, for every $y\in \{0,\mathrm{...},N-1\}$, a red car exiting the site $(N-1,y)$ would enter the site $(0,N-y-1)$. It is also possible to implement it on the real projective plane. In addition to flipping the red cars, the same is done for the blue cars: for every $x\in \{0,\mathrm{...},N-1\}$, a blue car exiting the site $(x,N-1)$ would enter the site $(N-x-1,0)$.

The behaviour of the system on the Klein bottle is much more similar to the one on the torus than the one on the real projective plane. For the Klein bottle setup, the mobility as a function of density starts to decrease slightly sooner than in the torus case, although the behaviour is similar for densities greater than the critical point. The mobility on the real projective plane, decreases more gradually for densities from zero to the critical point. In the real projective plane, local jams may form at the corners of the lattice even though the rest of the lattice is free-flowing.

References

43 year old Petroleum Engineer Harry from Deep River, usually spends time with hobbies and interests like renting movies, property developers in singapore new condominium and vehicle racing. Constantly enjoys going to destinations like Camino Real de Tierra Adentro.

External links

• CUDA implementation by Daniel Lu
• WebGL implementation by Jason Davies
• JavaScript implementation by Maciej Baron