Statistical mechanics, structure of matter Nonequilibrium statistical mechanics Example
Totally asymmetric simple exclusion process
Builds on Asymmetric simple exclusion processInteracting particle system
Example
The totally asymmetric simple exclusion process (TASEP) on is the asymmetric simple exclusion process in which particles jump only to the right. A configuration is , where means that site holds a particle. Each particle carries an independent rate-one exponential clock. When it rings, the particle at moves to if that site is empty, and otherwise stays. Its generator, on functions that depend on finitely many coordinates, is where exchanges the values at and . This is an interacting particle system: the ASEP with and .
Remarks
For each density , the Bernoulli product measure of density is invariant. In that state the mean current across a bond is , the rate of a jump times the probability that the site is occupied and its right neighbour empty. On the hydrodynamic scale the density solves the inviscid Burgers equation . Start from the step initial condition, with all sites occupied and all sites empty. Rost (1981) proved that the macroscopic density at time is the rarefaction fan for . For the same initial condition, Johansson (2000) proved that the number of particles that have crossed the origin has fluctuations of order with the Tracy–Widom GUE law. This makes TASEP a basic exactly solvable model of the Kardar–Parisi–Zhang universality class.
Reading path
To understand this page from the ground up, read these 3 pages in order. The foundations come first.
Show the path as a graph
- no evidence level
Further reading
About this page
| Tag | 1YZQ7H0THE |
|---|---|
| URI | m2://1YZQ7H0THE |
| Kind | example |
| Writing | W0 stub |
| MSC | 82C22, 60K35, 82C23 |
| Instance of | Interacting particle system |
| Uses | Asymmetric simple exclusion process, Interacting particle system |
| Changed | 3 November 2026 |
Markdown · JSON · Edit on GitHub
What this page needs for W1
- an inventory row: the row of the inventory that the node accounts for (0 of 1)
- a source with a locator (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.
What links here
No page links to this page yet.