Selbstmeidender Pfad

Dieser Pfad kehrt nie zu einem bereits besuchten Punkt zurück.
Drei Beispiele auf einem 8x8 Gittergraph

In der mathematischen Theorie der Irrfahrten sind selbstmeidende Pfade Wege auf einem Gitter, die nie zu einem bereits zuvor besuchten Punkt zurückkehren.

Selbstmeidende Pfade sind das einfachste mathematische Modell für die Anordnung langer Polymerketten.

Die Berechnung selbstmeidender Pfade ist ein zentrales Thema der Perkolationstheorie. Es gibt zahlreiche durch empirische Untersuchungen und Heuristiken gestützte Vermutungen über das Verhalten selbstmeidender Pfade. Mathematisch bewiesen ist von diesen Vermutungen aber nur wenig, gerade auch in den für Anwendungen interessanten niedrigen Dimensionen 2 d 4 {\displaystyle 2\leq d\leq 4} .

Definition

Quadratgitter Z 2 {\displaystyle \mathbb {Z} ^{2}}
Hexagonalgitter

Es sei Λ R d {\displaystyle \Lambda \subset \mathbb {R} ^{d}} ein Gitter im d {\displaystyle d} -dimensionalen Raum, zum Beispiel Z d R d {\displaystyle \mathbb {Z} ^{d}\subset \mathbb {R} ^{d}} oder das Hexagonalgitter in der Ebene.

Ein selbstmeidender Pfad im Gitter Λ {\displaystyle \Lambda } ist ein Pfad (Weg), der jeden Gitterpunkt höchstens einmal besucht.

Anzahl selbstmeidender Pfade

Zu einem gegebenen Gitter Λ {\displaystyle \Lambda } sei c n {\displaystyle c_{n}} die Anzahl selbstmeidender Pfade der Länge n {\displaystyle n} . Die Folge c n {\displaystyle c_{n}} ist subadditiv und demzufolge existiert der Grenzwert

μ = lim n c n 1 n {\displaystyle \mu =\lim _{n\to \infty }c_{n}^{\frac {1}{n}}} .

Er wird als die Zusammenhangskonstante (englisch: connective constant) des Gitters bezeichnet.

Das einzige Gitter, für das die Zusammenhangskonstante explizit bekannt ist, ist das Hexagonalgitter. Für dieses haben Duminil-Copin und Smirnow bewiesen, dass

μ = 2 cos ( π 8 ) = 2 + 2 {\displaystyle \mu =2\cos \left({\frac {\pi }{8}}\right)={\sqrt {2+{\sqrt {2}}}}}

ist.[1]

Für das Gitter Z d R d {\displaystyle \mathbb {Z} ^{d}\subset \mathbb {R} ^{d}} gilt die Ungleichung

d μ 2 d 1 {\displaystyle d\leq \mu \leq 2d-1} .

Für d = 2 {\displaystyle d=2} , also für das Quadratgitter Z 2 {\displaystyle \mathbb {Z} ^{2}} , kann man numerisch μ = 2,638 15853 {\displaystyle \mu =2{,}63815853\ldots } berechnen.

Numerische Experimente stützen die Vermutung, dass für alle Gitter asymptotisch c n n 11 32 μ n {\displaystyle c_{n}\sim n^{\frac {11}{32}}\mu ^{n}} gilt, was bedeuten würde, dass im Gegensatz zum exponentiellen Faktor μ n {\displaystyle \mu ^{n}} der subexponentielle Faktor n 11 32 {\displaystyle n^{\frac {11}{32}}} für alle Gitter derselbe wäre.

Siehe auch

  • Springerproblem
  • Hamiltonkreisproblem
  • Snake

Literatur

  • N. Madras, G. Slade: The Self-Avoiding Walk. Birkhäuser, 1996, ISBN 0-8176-3891-1.
  • G. F. Lawler: Intersections of Random Walks. Birkhäuser, 1991, ISBN 0-8176-3892-X.
  • N. Madras, A. D. Sokal: The pivot algorithm – A highly efficient Monte-Carlo method for the self-avoiding walk. In: Journal of Statistical Physics. Band 50, 1988, S. 109–186. doi:10.1007/bf01022990.
  • M. E. Fisher: Shape of a self-avoiding walk or polymer chain. In: Journal of Chemical Physics. Band 44, Nr. 2, 1966, S. 616. bibcode:1966JChPh..44..616F. doi:10.1063/1.1726734.
  • Self Avoiding Walk (MathWorld)
  • Gordon Slade, Self avoiding walk. A brief survey (PDF; 470 kB)

Einzelnachweise

  1. Hugo Duminil-Copin, Stanislav Smirnov: The connective constant of the honeycomb lattice equals 2 + 2 {\displaystyle {\sqrt {2+{\sqrt {2}}}}} . In: Ann. of Math. Band 175, Nr. 3, 2012, S. 1653–1665.