Schramm-Löwner-Evolution
Die Schramm-Löwner-Evolution (SLE, auch Stochastische Löwner Evolution, wobei im Englischen meist Loewner geschrieben wird) aus dem Gebiet der stochastischen Geometrie bezeichnet eine einparametrige Familie von ebenen Kurven, die mit einem Zufallsgesetz gebildet werden. Sie sind konform invariant, was Verbindungen zur komplexen Analysis schafft, und ermöglichten Fortschritte in der strengen Behandlung vieler Modelle der statistischen Mechanik und ihres Verhaltens am kritischen Punkt (Ising-Modell, Perkolationstheorie, Selbstmeidende Pfade, verschiedene Random Walk Varianten wie Loop Erased Random Walk, LERW), dem sogenannten Skalierungsgrenzfall, der einen Phasenübergang beschreibt, in dem das Modell skaleninvariant und damit konform invariant wird. Die Kurven sind Beispiele für Fraktale.
Eingeführt wurde die SLE 2000 von Oded Schramm[1], wobei sich das Loewner auf einen dabei verwendeten Beitrag aus der Funktionentheorie von Charles Loewner von 1923 bezog.
Die SLE war ab den 2000er Jahren eines der aktivsten Forschungsgebiete der Wahrscheinlichkeitstheorie mit zwei Fields-Medaillen für Forschung auf diesem Gebiet (Wendelin Werner, Stanislaw Smirnow).
Geschichte und Motivation
Systeme der statistischen Mechanik am kritischen Punkt (Phasenübergang) wurden seit Ende der 1960er Jahre mit großem Erfolg durch die von Kenneth Wilson entwickelte Methode der Renormierungsgruppe beschrieben, die Methoden benutzte, die ursprünglich aus der Quantenfeldtheorie der Elementarteilchenphysik stammte (nur in euklidischen Räumen statt im Minkowskiraum). Ein weiterer wichtiger Schritt war die Anwendung konformer Feldtheorien auf zweidimensionale Systeme der statistischen Mechanik. Die SLE entstand aus dem Bemühen von Mathematikern, den dabei von Physikern erzielten Ergebnisse und Vermutungen eine mathematisch exakte Grundlage zu geben. Insbesondere suchte man strenge Beweise für Vermutungen wie der von John Cardy, dass bei kritischer Perkolation[2] Cluster die Randpunkte einfach zusammenhängender Gebiete verbinden sollten, in denen das Perkolationsmodell betrachtet wird, und wollte die genaue mathematische Bedeutung der Erfolge der Verwendung konformer Feldtheorien in der statistischen Physik besser verstehen. Dazu untersuchte man die „zeitliche“ Entwicklung (Evolution) einer stetigen Kurve , die vom Rand eines einfach zusammenhängenden Gebiets in der Ebene startet. Diese kann etwa als Modell für die Randkurve eines Clusters in der Perkolationstheorie dienen (die als diskretes Modell auf einem Gitter definiert sind, man kann aber den Kontinuumsgrenzfall verschwindender Gitterabstände betrachten).
Löwner[3] hatte ein ähnliches Modell bei der konformen Abbildung untersucht. Er betrachtete eine Kurve , die von einem Randpunkt eines einfach zusammenhängenden Gebiets der komplexen Ebene startet, wobei die Evolution durch eine reelle stetige Funktion vorgegeben ist. Die Kurve soll sich nicht selbst schneiden. Loewner betrachtete das Verhalten der Kurve nicht direkt, sondern über ihr Komplement , das einfach zusammenhängend war und daher konform in eines der vom Riemannschen Abbildungssatz vorgegebenen Standardgebiete (Inneres der Einheitskreisscheibe, obere Halbebene, Riemannsche Zahlenkugel) abgebildet werden konnte. Löwner zeigte, dass diese Abbildung durch die reelle Funktion (die „treibende Funktion“) bestimmt wird und leitete für die Evolution der Kurve mit seiner Konstruktion eine nach ihm benannte Differentialgleichung ab (einer Evolutionsgleichung mit als unabhängiger Variabler).
Insbesondere konnte die treibende Funktion auch einen Zufallsprozess bei einer Zufallskurve beschreiben. Schramm fand, dass für konforme Invarianz des zugehörigen Wahrscheinlichkeitsmaßes auf der Kurve der Zufallsprozess der Evolution von eine eindimensionale Brownsche Bewegung sein musste, mit einem Parameter in der Art einer Diffusionskonstante.
S in SLE stand bei Schramm für stochastisch, später machte man in Anerkennung von Schramm daraus Schramm-Loewner-Evolution.
Die Theorie sollte nach ihren Voraussetzungen auf alle Modelle der statistischen Mechanik anwendbar sein, in denen ein Kreuzungsverbot für die entsprechenden Kurven existiert und die im Kontinuumsgrenzfall konform invariant sind. Der Kontinuumsgrenzfall entspricht bei Gittermodellen dem Fall, dass die Gitterabstände gegen Null gehen. Konforme Invarianz liegt am kritischen Punkt (Phasenübergang) vor, in der das System über alle Längenskalen ähnlich aussieht. Schramm, Wendelin Werner und Gregory Lawler zeigten in einer Reihe von Arbeiten, dass eine ganze Reihe von Eigenschaften am kritischen Punkt (wie verschiedene kritische Exponenten, die Hausdorff-Dimension verschiedener Begrenzungskurven) mit SLE mathematisch streng abgeleitet werden konnten (falls die erwähnten Voraussetzungen erfüllt waren). Als dann Stanislaw Smirnow konforme Invarianz im Kontinuums-Grenzfall von Perkolation auf dem Dreiecksgitter nachweisen konnte, waren damit die kritischen Exponenten im Fall zweidimensionaler Perkolation mathematisch streng abgeleitet. Es wird vermutet, dass konforme Invarianz im Kontinuumsgrenzfall auch bei anderen wichtigen Gittermodellen der statistischen Mechanik wie den Modellen, dem Isingmodell, dem XY-Modell, dem Potts-Modell vorliegt.[4] Jedes dieser Modelle entspricht einer bestimmten Wahl des Parameters , die zugehörige SLE wird mit bezeichnet.
Definition
Die SLE wird als komplexwertige Lösung der Löwner-Differentialgleichung mit einer treibenden reellen Funktion definiert, die einer eindimensionalen Brownschen Bewegung entspricht. Durch die Konstruktion wird eine Zufallskurve erzeugt, die aber zugleich konform invariant ist. Sie hat einen Parameter . Es wird unterschieden zwischen radialer SLE, chordaler SLE und SLE in der ganzen komplexen Ebene.
Betrachtet wird ein einfach zusammenhängendes offenes Gebiet und eine Kurve () in . Die Endpunkte sind und . Bei chordalen SLE verbindet die Kurve zwei Randpunkte aus , bei der radialen SLE einen Randpunkt mit einem inneren Punkt von , bei der SLE in der gesamten komplexen Ebene zwei Punkte in . Häufig wird für die chordale SLE eine Abbildung der oberen Halbebene genommen (wobei die Randpunkte auf der reellen Achse und im Unendlichen liegen) und für die radiale SLE das Innere des Einheitskreises (wobei die SLE Kurve einen Randpunkt mit dem Ursprung verbindet).
sei zum Beispiel im Fall der chordalen SLE die obere Halbebene (einschließlich des Punkts im Unendlichen) , wobei einen Anfangswert für auf der reellen Achse hat, dann bildet man mit einer analytischen, eineindeutigen Funktion konform auf ab (die unabhängige Variable t erscheint hier als tiefgestellter Index). heißt SLE-Kurve oder auch Spur der SLE. sei die Umkehrfunktion. Für die Evolution der Kurve gilt nach geeigneter Normierung die Löwner-Differentialgleichung
jeweils für die Funktionen .
Wählt man für das Innere des Einheitskreises (radiale SLE) hat man
Dabei besteht durch analytische Fortsetzung der auf definierten Abbildung bzw. ihrer Umkehrabbildung zwischen und :
Für wird die eindimensionale Brownsche Bewegung genommen mit einer Diffusionskonstante . Die damit gebildete Lösung der Differentialgleichung mit Anfangswert heißt .
Spezielle Werte der Diffusionskonstante und Ergebnisse
- Loop Erased Random Walk (eingeführt durch Greg Lawler), diesen Fall behandelte Schramm 2000 in seiner ursprünglichen Arbeit mit dem Beweis durch Lawler, Schramm und Werner 2004[5]. Eng mit ihm verbunden ist der Uniform Spanning Tree (UST) (ein Zufallsbaum, dessen Umrisskurve ist mit verbunden).
- Randkurven der Cluster bei Brownscher Bewegung und vermutlich Skalierungsgrenzwert des Self Avoiding Random Walk[6]
- Randkurven der Cluster im Isingmodell[7]
- die Kurve ist einfach (sie schneidet sich nicht selbst)
- Harmonic Explorer[8]
- die Kurve schneidet sich selbst, jeder Punkt wird von der Kurve umschlossen, aber sie ist nicht raumfüllend.[9]
- für ist die Kurve raumfüllend (mit Wahrscheinlichkeit 1)
- kritische Perkolation auf dem Dreiecksgitter (Smirnov 2001) und vermutlich auch auf anderen Gittern. Dies ermöglichte die strenge Ableitung kritischer Exponenten bei ebener Perkolation[10] (mit älteren Arbeiten von Harry Kesten)[11].
Die SLE entsprechenden konformen Feldtheorien[12][13], haben zentrale Ladung c mit
Für entspricht das zwei Werten von : ein Wert liegt in , der andere ist dazu „dual“ und größer als vier.
Nach Vincent Beffara[14] ist die Hausdorff-Dimension der SLE-Kurven gleich dem Minimum von und (mit Wahrscheinlichkeit 1). Mit anderen Worten die fraktale Dimension wächst vom Wert einer ebenen Kurve im Fall (keine stochastische Bewegung) bis zum Wert ab , dem maximal möglichen Wert in einer Ebene (Dimension 2, raumfüllende Kurve). Mit zeigten Lawler, Schramm und Werner 2001, dass die fraktale Dimension des Randes ebener Brownscher Bewegung ist.[15]
Literatur
Originalarbeiten:
- Oded Schramm: Scaling limits of loop-erased random walks and uniform spanning trees, Israel Journal of Mathematics, Band 118, 2000, S. 221–288, Arxiv
- Oded Schramm: Conformally invariant scaling limits: an overview and a collection of problems, ICM 2006
- Gregory Lawler, Oded Schramm, Wendelin Werner: Values of Brownian intersection exponents, Teil 1–3, Acta Math., Band 187, 2001, S. 237–273, 275–308, Ann. Inst. Henri Poincaré (Statistique), Band 38, 2002, S. 109–123, Teil 1, Arxiv, Teil 2, Arxiv, Teil 3, Arxiv
- Lawler, Schramm, Werner: Conformal invariance of planar loop-erased random walks and uniform spanning trees, Annals of Probability, Band 32, 2004, S. 939–995, Arxiv
- Schramm, Lawler, Werner: Conformal restriction: the chordal case, J. Am. Math. Soc., Band 16, 2003, S. 917–955, Arxiv
- Steffen Rohde, Oded Schramm: Basic properties of SLE, Annals of Mathematics, Band 161, 2005, S. 879–920, Arxiv
- Stanislav Smirnov: Critical percolation in the plane: conformal invariance, Cardy’s formula, scaling limits, C. R. Acad. Sci. Paris, Ser. Math. Band 333, 2001, S. 239–244.
- Stanislav Smirnov: Conformal Invariance of 2D lattice models, ICM 2006, Arxiv
Übersichtsartikel und Bücher:
- Gregory Lawler: Conformally invariant processes in the plane, Mathematical Surveys and Monographs 114, AMS, 2005
- Gregory Lawler: Schramm-Loewner evolution, Park City Lectures 2007, Arxiv
- Wendelin Werner: Random planar curves and Schramm-Loewner evolutions, in: Lectures on probability theory and statistics, Lecture Notes in Mathematics 1840, Springer 2004, S. 107–19, Arxiv
- John Cardy: SLE for theoretical physicists, Annals of Physics, Band 318, 2005, S. 81–118, Arxiv
- Wouter Kager, Bernard Nienhuis: A guide to stochastic Loewner evolution and its applications, J. Stat. Phys., Band 115, 2004, S. 1149–1229, Arxiv
- Vincent Beffara, Hugo Duminil-Copin, Planar percolation with a glimpse at Schramm-Loewner, La Pietra week in probability 2011, Arxiv
Weblinks
Einzelnachweise
- Schramm, Scaling limits of loop-erased random walks and uniform spanning trees", Israel Journal of Mathematics, Band 118, 2000, S. 221–288
- Im Perkolationsmodell bei Überschreiten eines kritischen Wertes, mit der Gitterpunkte besetzt werden
- Löwner, Untersuchungen über schlichte konforme Abbildungen des Einheitskreises, I, Mathematische Annalen, Band 89, 1923, S. 103–121, Digitalisat
- John Cardy, Annals of Physics, Band 318, 2005
- Lawler, Schramm, Werner, Conformal invariance of planar loop-erased random walks and uniform spanning trees, Annals of Probability, Band 32, 2004, S. 939–995
- Lawler, Schramm, Werner, On the scaling limit of planar self-avoiding walk, in: Fractal geometry and applications: a jubilee of Benoit Mandelbrot, Symp. Pure Math. 72, Part 2, AMS, 2004, Arxiv
- Smirnov, Hugo Duminil-Copin, Hongler, Kemppainen, Chelkak, Convergence of Ising interfaces to Schramm's SLE curves, Arxiv 2013
- Schramm, Scott Sheffield, The harmonic explorer and its convergence to SLE(4), Annals of Probability, Band 33, 2005, 2127-2148, Arxiv
- Rohde, Schramm, Basic properties of SLE, Ann. of Math., Band 161, 2005, S. 879
- Smirnov, Werner: Critical exponents for two-dimensional percolation, Math. Res. Lett., Band 8, 2001, S. 729–744, Arxiv
- Kesten, Scaling relations for 2D-percolation, Comm. Math. Phys., Band 109, 1987, S. 109–156
- Michel Bauer, Denis Bernard, growth processes and conformal field theories, Phys. Lett. B, Band 543, 2002, S. 135–138, Arxiv
- Bauer, Bernard, Conformal field theories of Stochastic Loewner Evolutions, Comm. Math. Phys., Band 239, 2003, S. 493–521, Arxiv
- Beffara, The dimension of the SLE curves, Annals of Probability, Band 36, 2008, S. 1421–1452, Arxiv
- Lawler, Schramm, Werner, The dimension of the planar Brownian frontier is 4/3, Mathematical Research Letters, Band 8, 2001, S. 401–411