Der ASEP (für englisch asymmetric simple exclusion process ‚asymmetrischer einfacher Ausschluss-Prozess‘) bezeichnet in der Mathematik und der statistischen Physik einen stochastischen Prozess und wechselwirkendes Teilchensystem (englisch interacting particle system). Er ist der Prototyp eines zufälligen Wachstumsmodell. In der statistischen Mechanik spricht man auch von Nicht-Gleichgewicht-Systemen. Der Prozess beschreibt „Teilchen“ auf einem Gitter, die mit einer gewissen Wahrscheinlichkeit von einem Gitterpunkt zu den adjazenten Nachbarn springen, wenn diese noch nicht von einem anderen Teilchen besetzt sind. Jedes Teilchen springt dabei unabhängig von den anderen nach einer eigenen Uhr.

Springen die Teilchen fast sicher nur in eine Richtung, dann nennt man den Prozess TASEP („Totally Asymmetric Simple Exclusion Process“).

Einfachheitshalber beschränken wir uns auf einen eindimensionalen Prozess, d. h. einen Prozess auf einer Untermenge von  .

Rahmenbedingungen:

  •   sei eine höchstens abzählbares Gitter. In der Regel ist dies   oder  .
  •   ein Markow-Prozess in kontinuierlicher Zeit  , der jeder Position   einen Zustand zum Zeitpunkt   zuordnet:
  bedeutet, die Position   ist frei.
  bedeutet, die Position   ist mit einem Teilchen besetzt.
  ist somit ein Prozess auf dem Zustandsraum  . Der Prozess wird manchmal auch als   modelliert.
  • Die Position des  -ten Teilchen zum Zeitpunkt   wird mit   notiert, es gilt  . Eine Menge von besetzten Positionen   für   nennt man Konfiguration. Wir starten in einer Konfiguration   mit  .

Regeln:

  • Das Wort simple bedeutet, dass das Teilchen an der Position   sich höchstens zur nächsten Position   oder   bewegen darf. Ansonsten spricht man von einem non-simple Prozess.
  • Jedes Teilchen besitzt einen eigenen unabhängigen inneren Wecker. Dieser klingelt nach einer exponentiell verteilten Zufallszeit mit Ereignisrate   für  . Das Teilchen springt dann
  1. mit der Wahrscheinlichkeit   nach rechts, falls der ausgewählte Platz frei ist,
  2. mit der Wahrscheinlichkeit   nach links, falls der ausgewählte Platz frei ist.
Das Wort Ausschluss bedeutet, dass eine Regel existiert, wann ein solcher Sprung nicht durchgeführt wird. Sollte die ausgewählte benachbarte Zelle besetzt sein, wird der Sprungversuch verworfen und das Teilchen bleibt auf seinem Platz. Es darf folglich auf jedem Gitterplatz immer nur maximal ein Teilchen vorhanden sein.
  • Das Wort asymmetrisch bedeutet, dass   gelten muss. Ansonsten hat man einen SSEP (englisch symmetric simple exclusion process). Prozesse der Form   und   nennt man auch weakly ASEP (WASEP).

Als Übergangswahrscheinlichkeiten für ein Teilchen an der Position   ergeben sich somit

 

Oft interessiert man sich auch für die Übergangswahrscheinlichkeit, von einer Konfiguration   nach einer bestimmten Zeit in der Konfiguration   zu landen.

Die Spezialfälle

  und  , d. h., die Teilchen springen nur nach rechts,
  und  , d. h., die Teilchen springen nur nach links,

werden als TASEP bezeichnet. Manchmal wird jedoch auch hierfür schlicht der Begriff ASEP verwendet.

Resultate

Bearbeiten
  • Für den TASEP fand Schütz 1997 die Übergangswahrscheinlichkeiten in determinataler Form für   Teilchen (wobei  ).[1]
  • Sei   und  , dann wurde eine Formel für die Übergangswahrscheinlichkeit einer Konfiguration   nach   von Tracy und Widom gefunden.[2]

Sonstiges

Bearbeiten

Bei Betrachtungen von offenen Systemen werden oft am linken Rand Teilchen mit der Wahrscheinlichkeit   eingefügt (wenn der Platz frei ist) und am rechten mit der Wahrscheinlichkeit   aus dem System herausgenommen.

Auf dem Computer lässt sich der Prozess durch folgenden Algorithmus definieren. Es erfolgt ein zufällig-sequentieller Update, bei dem die folgenden zwei Schritte beliebig oft wiederholt werden:

  1. Wähle zufällig ein Teilchen aus.
  2. Dieses Teilchen bewegt sich mit der Wahrscheinlichkeit   eine Zelle nach rechts,   nach links. Sollte die ausgewählte benachbarte Zelle besetzt sein, wird der Versuch nicht durchgeführt.

Zusammenhang mit anderen Systemen

Bearbeiten

Der TASEP mit   unterscheidet sich von Regel 184 der Wolfram-Zellularautomaten – und damit von der einfachsten Version des Nagel-Schreckenberg-Modells – nur durch das zufällige sequentielle Update. Würde man ein paralleles Update wählen, d. h. also nach der Regel „Bewege alle Teilchen auf dem Gitter, deren rechter Gitterplatz frei ist, eine Position nach rechts“ Runde um Runde vorgehen, ergäbe sich also exakt Regel 184. Einziger Unterschied wäre die symmetrische Interpretation weißer und schwarzer Zellen bei Wolfram im Vergleich zur Vorstellung von „Teilchen“ und „leerer Platz“ beim ASEP. Die Dynamik würde sich von Regel 184 jedoch in keiner Weise unterscheiden.

Bei sogenannten „Correlated Random Walks“ ist die Asymmetrie in der Bewegung nicht an eine feste Richtung geknüpft, sondern an die Richtung des letzten Schrittes. Meist wird in solchen Systemen eine Tendenz zum Erhalt der Bewegungsrichtung angenommen. Ein Teilchen, das zuletzt nach rechts bewegt wurde, wird auch im nächsten Schritt mit einer Wahrscheinlichkeit größer 0,5 nach rechts bewegt werden.

In einem bestimmten Fluktuations-Bereich und einer gewissen Skalierung wird die Fluktuation der ASEP durch die Burgersgleichung beschrieben.[3] Allgemeiner befindet sich TASEP in der KPZ-Universalitätsklasse, unter bestimmter Skalierung konvergiert der TASEP gegen die Kardar-Parisi-Zhang-Gleichung (kurz: KPZ-Gleichung) und zum KPZ-Fixpunkt. Der ASEP kann als diskrete Variante der Burgersgleichung verstanden werden und seine Höhenfunktion als diskrete Variante der KPZ-Gleichung.[4]

Darüber hinaus gibt es eine Vielzahl von weiteren Abbildungen auf andere Systeme, z. B. auf Polymere in ungeordneten Systemen oder das Bernoulli-Matching-Modell für den Vergleich von Gensequenzen.

Geschichte und Analyse

Bearbeiten

Der ASEP wurde von Carolyn T. MacDonald, Julian H. Gibbs, und Allen C. Pipkin 1968 zum ersten Mal formuliert und zwar als mathematisches Modell für die Kinetik der Proteinsynthese durch Ribosomen. 1970 wurde er unabhängig davon von Frank Spitzer erstmals in der mathematischen Literatur eingeführt. Das Ziel war dabei, makroskopisches hydrodynamisches Verhalten exemplarisch aus einem mikroskopischen Modell rigoros herzuleiten. Joachim Krug entdeckte 1991 Phasenübergänge im ASEP, die von der Rate des Einsetzens (am linken Rand) und Herausnehmens (am rechten Rand) der Teilchen abhängen. Bernard Derrida und Mitarbeiter einerseits und Gunter M. Schütz mit Eytan Domany andererseits fanden 1993 unabhängig voneinander eine exakte Lösung für den ASEP. 2010 gelang es Tomohiro Sasamoto und Herbert Spohn, mit Hilfe des ASEP eine exakte Lösung der KPZ-Gleichung mit weißem Rauschen zu konstruieren.

Bedeutung

Bearbeiten

Der ASEP dient dazu, das Verhalten von Vielteilchensystemen fern vom thermischen Gleichgewicht exemplarisch zu studieren. Insbesondere erlangt man einerseits auf mikroskopischer Ebene ein detailliertes Verständnis für statistische Ensembles und andererseits lässt sich verständlich machen, wie makroskopische Dynamik von Dichteverteilungen aus mikroskopischen Wechselwirkungen zwischen einzelnen Teilchen hervorgehen. Insbesondere erkennt man, wie Dichtediskontinuitäten mit 'Verkehrsstaus' von Teilchen zusammenhängen, wie sich deterministisches Verhalten auf makroskopischer aus zufälliger Dynamik auf der mikroskopischen Ebene ergibt und schließlich lassen sich auch universelle Eigenschaften von Fluktuationen detailliert studieren. Zur Erforschung des ASEP stehen eine Vielzahl von mathematisch exakten Methoden zur Verfügung, die auch dann greifen, wo die sehr beschränkten traditionellen Methoden der Nichtgleichgewichtsthermodynamik versagen.

Für konkrete Anwendungen ist der ASEP zu einfach, um irgendein reales System realistisch zu simulieren. Seine Bedeutung liegt dann darin, dass er zum einen als Abstraktion bzw. Vereinfachung einer Reihe realitätsnaher Simulationsmodelle betrachtet werden kann und dass er zum anderen – im Gegensatz zu den meisten realitätsnahen Simulationsmodellen – analytischen Untersuchungsmethoden zugänglich ist. Diese realitätsnahen mit ASEP verwandten Modelle existieren in sehr unterschiedlichen Gebieten wie der Fortbewegung von Ameisen, der Biopolymerisation, der Fußgängerdynamik, molekularen Motoren, dem Wachstum von Oberflächen, der Proteinsynthese und dem Straßenverkehr. Für bestimmte Simulationsansätze in diesen und anderen Bereichen erfüllt der ASEP daher die Funktion einer Drosophila.

Literatur

Bearbeiten
  • C.T. MacDonald, J.H. Gibbs, A.C. Pipkin, Kinetics of biopolymerization on nucleic acid templates, Biopolymers 6, 1–25 (1968).
  • F. Spitzer: Interaction of Markov processes. Adv. Math. 5, 246–290 (1970)
  • J. Krug: Boundary-induced phase transitions in driven diffusive systems. Phys. Rev. Lett. 67, 1882 (1991). doi:10.1103/PhysRevLett.67.1882
  • B. Derrida: An exactly soluble non-equilibrium system: the asymmetric simple exclusion process. Phys. Rep., 301, 65–83 (1998). doi:10.1016/S0370-1573(98)00006-4
  • T.M. Liggett: Stochastic Interacting Systems: Contact, Voter and Exclusion Processes. Springer, Berlin, 1999.
  • G.M. Schütz: Exactly solvable models for many-body systems far from equilibrium in C. Domb and J. Lebowitz, eds, `Phase Transitions and Critical Phenomena' Vol. 19, 1–251, Academic Press London, 2001.
  • T. Sasamoto and H. Spohn: One-Dimensional Kardar-Parisi-Zhang Equation: An Exact Solution and its Universality. Phys. Rev. Lett. 104, 230602 (2010).
Bearbeiten

Einzelnachweise

Bearbeiten
  1. Gunter M. Schütz: Exact solution of the master equation for the asymmetric exclusion process. In: Springer Science and Business Media LLC (Hrsg.): Journal of Statistical Physics. Band 88, Nr. 1-2, 1997, S. 427--445, doi:10.1007/bf02508478.
  2. Craig A. Tracy und Harold Widom: Integral Formulas for the Asymmetric Simple Exclusion Process. In: Springer Science and Business Media (Hrsg.): Communications in Mathematical Physics. Band 279, Nr. 3, 2008, S. 815--844, doi:10.1007/s00220-008-0443-3.
  3. Lorenzo Bertini und Giambattista Giacomin: Stochastic Burgers and KPZ Equations from Particle Systems. In: Comm Math Phys. Band 183, 1997, S. 571–607, doi:10.1007/s002200050044 (projecteuclid.org).
  4. Jeremy Quastel: Weakly Asymmetric Exclusion and KPZ. In: Proceedings of the International Congress of Mathematicians. doi:10.1142/9789814324359_0147.