imported>Leyo: –

2025-03-23T21:08:42Z

Neue Seite

{{Begriffsklärungshinweis}}
Der '''ASEP''' (für {{enS|asymmetric simple exclusion process|de=asymmetrischer einfacher Ausschluss-Prozess}}) bezeichnet in der [[Mathematik]] und der [[statistische Physik|statistischen Physik]] einen [[stochastischer Prozess|stochastischen Prozess]] und ''wechselwirkendes Teilchensystem'' ({{enS|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 (Mathematik)|Gitter]], die mit einer gewissen Wahrscheinlichkeit von einem Gitterpunkt zu den [[adjazent]]en 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“).

== Regeln ==
Einfachheitshalber beschränken wir uns auf einen eindimensionalen Prozess, d. h. einen Prozess auf einer Untermenge von <math>\mathbb{R}</math>.

Rahmenbedingungen:
*<math>S</math> sei eine [[Abzählbare Menge|höchstens abzählbares]] Gitter. In der Regel ist dies <math>S:=\mathbb{Z}</math> oder <math>S:=\mathbb{Z}_+</math>.
*<math>\eta_t=(\eta_t)_{t\in T}</math> ein Markow-Prozess in kontinuierlicher Zeit <math>T\subseteq \mathbb{R}</math>, der jeder Position <math>i\in S</math> einen Zustand zum Zeitpunkt <math>t</math> zuordnet:
::<math>\eta_t(i)=0</math> bedeutet, die Position <math>i</math> ist frei.
::<math>\eta_t(i)=1</math> bedeutet, die Position <math>i</math> ist mit einem Teilchen besetzt.
: <math>\eta_t</math> ist somit ein Prozess auf dem Zustandsraum <math>\Omega=\{0,1\}^S</math>. Der Prozess wird manchmal auch als <math>\eta(t,i)</math> modelliert.
* Die Position des <math>i</math>-ten Teilchen zum Zeitpunkt <math>t</math> wird mit <math>x_i(t)</math> notiert, es gilt <math>x_i(0)=i</math>. Eine Menge von besetzten Positionen <math>X=\{x_1,x_2,\dots,x_N\}\in S^N</math> für <math>N\in \mathbb{N}</math> nennt man ''Konfiguration''. Wir starten in einer Konfiguration <math>X</math> mit <math>x_1<x_2<\dots < x_{N-1}<x_N</math>.
Regeln:
* Das Wort ''simple'' bedeutet, dass das Teilchen an der Position <math>x</math> sich höchstens zur nächsten Position <math>x+1</math> oder <math>x-1</math> bewegen darf. Ansonsten spricht man von einem ''non-simple'' Prozess.
*Jedes Teilchen besitzt einen eigenen [[Stochastisch unabhängige Zufallsvariablen|unabhängigen]] inneren ''Wecker''. Dieser klingelt nach einer exponentiell verteilten Zufallszeit mit Ereignisrate <math>\lambda=a+b>0</math> für <math>a,b\geq 0</math>. Das Teilchen springt dann
:# mit der Wahrscheinlichkeit <math>p:= a/(a+b)</math> nach rechts, falls der ausgewählte Platz frei ist,
:# mit der Wahrscheinlichkeit <math>q:= b/(a+b)</math> 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 <math>q\neq p</math> gelten muss. Ansonsten hat man einen ''SSEP'' ({{enS|symmetric simple exclusion process}}). Prozesse der Form <math>q=\tfrac{1}{2}(1-\varepsilon^{1/2})</math> und <math>p=\tfrac{1}{2}(1+\varepsilon^{1/2})</math> nennt man auch ''weakly ASEP'' (WASEP).

Als Übergangswahrscheinlichkeiten für ein Teilchen an der Position <math>x</math> ergeben sich somit
:<math>p_t(x,y)=\begin{cases} q, & \text{falls }y=x-1 \text{ und }\eta_t(y)=0, \\
p, & \text{falls } y=x+1 \text{ und }\eta_t(y)=0,\\
1, & \text{falls } y=x \text{ und }\eta_t(x+1)=1,\;\eta_t(x-1)=1,\\
0 & sonst.
\end{cases}</math>

Oft interessiert man sich auch für die Übergangswahrscheinlichkeit, von einer Konfiguration <math>X</math> nach einer bestimmten Zeit in der Konfiguration <math>Y</math> zu landen.

=== TASEP ===
Die Spezialfälle
:<math>q=0</math> und <math>p=1</math>, d. h., die Teilchen springen nur nach rechts,
:<math>q=1</math> und <math>p=0</math>, d. h., die Teilchen springen nur nach links,
werden als TASEP bezeichnet. Manchmal wird jedoch auch hierfür schlicht der Begriff ASEP verwendet.

=== Resultate ===
*Für den TASEP fand [[Gunter M. Schütz|Schütz]] 1997 die Übergangswahrscheinlichkeiten in determinataler Form für <math>N</math> Teilchen (wobei <math>N\neq \infty</math>).<ref>{{Literatur|DOI= 10.1007/bf02508478|Datum=1997|Hrsg=Springer Science and Business Media LLC|Band=88|Nummer=1–2|Seiten = 427--445|Autor=Gunter M. Schütz|Titel=Exact solution of the master equation for the asymmetric exclusion process|Sammelwerk=Journal of Statistical Physics}}</ref>
*Sei <math>S=\mathbb{Z}</math> und <math>\lambda=1</math>, dann wurde eine Formel für die Übergangswahrscheinlichkeit einer Konfiguration <math>X</math> nach <math>Y</math> von Tracy und Widom gefunden.<ref>{{Literatur|DOI=10.1007/s00220-008-0443-3|Datum=2008|Hrsg=Springer Science and Business Media|Band=279|Nummer=3|Seiten=815--844|Autor=Craig A. Tracy und Harold Widom|Titel=Integral Formulas for the Asymmetric Simple Exclusion Process|Sammelwerk=Communications in Mathematical Physics}}</ref>

=== Sonstiges ===
Bei Betrachtungen von offenen Systemen werden oft am linken Rand Teilchen mit der Wahrscheinlichkeit <math>\alpha</math> eingefügt (wenn der Platz frei ist) und am rechten mit der Wahrscheinlichkeit <math>\beta</math> 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:
#Wähle zufällig ein Teilchen aus.
#Dieses Teilchen bewegt sich mit der Wahrscheinlichkeit <math>p</math> eine Zelle nach rechts, <math>q</math> nach links. Sollte die ausgewählte benachbarte Zelle besetzt sein, wird der Versuch nicht durchgeführt.

== Zusammenhang mit anderen Systemen ==
Der TASEP mit <math>p=1</math> unterscheidet sich von Regel 184 der [[Stephen Wolfram|Wolfram]]-[[Zellulärer Automat|Zellularautomaten]] – und damit von der einfachsten Version des [[Nagel-Schreckenberg-Modell]]s – 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.<ref>{{Literatur|Autor=Lorenzo Bertini und Giambattista Giacomin|Titel=Stochastic Burgers and KPZ Equations from Particle Systems|Sammelwerk=Comm Math Phys|Band=183|Seiten=571–607|Datum=1997|DOI=10.1007/s002200050044|Online=https://projecteuclid.org/journals/communications-in-mathematical-physics/volume-183/issue-3/Stochastic-Burgers-and-KPZ-equations-from-particle-systems/cmp/1158328658.full}}</ref> 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.<ref>{{Literatur|Titel=Weakly Asymmetric Exclusion and KPZ|Sammelwerk=Proceedings of the International Congress of Mathematicians|Autor=Jeremy Quastel|DOI=10.1142/9789814324359_0147}}</ref>

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 ==
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 [[Ribosom]]en. 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 (Physiker)|Joachim Krug]] entdeckte 1991 [[Phasenübergang|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 ==
Der ASEP dient dazu, das Verhalten von Vielteilchensystemen fern vom [[Thermodynamisches Gleichgewicht|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 [[Biopolymer]]isation, der [[Evakuierungssimulation|Fußgängerdynamik]], [[Molekulare Maschine|molekularen Motoren]], dem Wachstum von [[Adsorption|Oberflächen]], der Proteinsynthese und dem [[Nagel-Schreckenberg-Modell|Straßenverkehr]]. Für bestimmte Simulationsansätze in diesen und anderen Bereichen erfüllt der ASEP daher die Funktion einer [[Drosophila melanogaster|Drosophila]].

== Literatur ==
* 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).

== Weblinks ==
* [https://arxiv.org/find/grp_q-bio,grp_cs,grp_physics,grp_math,grp_nlin/1/OR+all:+EXACT+Asymmetric_Simple_Exclusion_Process+all:+ASEP/0/1/0/all/0/1 Suche nach Veröffentlichungen zum ASEP bei arXiv.org]
* [https://scholar.google.com/scholar?hl=en&lr=&q=%22Asymmetric+simple+exclusion+process%22&btnG=Search Suche nach Veröffentlichungen zum ASEP bei Google Scholar]

== Einzelnachweise ==
<references />

{{DEFAULTSORT:Asep}}
[[Kategorie:Stochastischer Prozess]]
[[Kategorie:Diskrete Mathematik]]
[[Kategorie:Statistische Physik]]
[[Kategorie:Abkürzung]]

ASEP - Versionsgeschichte

imported>Leyo: –