Expander-Graph

In der Mathematik sind Expander-Graphen Familien von Graphen, die gleichzeitig dünn und hochzusammenhängend sind und sehr gute Stabilitätseigenschaften haben, sich also nicht durch Entfernen relativ weniger Kanten in mehrere Zusammenhangskomponenten zerlegen lassen. Anschaulich heißt das, dass jede „kleine“ Teilmenge von Knoten eine relativ „große“ Nachbarschaft hat.

Ein Graph X = ( E , K ) {\displaystyle X=(E,K)} ist ein ε {\displaystyle \varepsilon } -Expander, wenn seine Cheeger-Konstante die Ungleichung

h ( X ) ≥ ε {\displaystyle h(X)\geq \varepsilon }

erfüllt.

Man spricht von einer Familie von Expander-Graphen, wenn

• es ein ε > 0 {\displaystyle \varepsilon >0} gibt, so dass alle Graphen der Familie ε {\displaystyle \varepsilon } -Expander sind,

und wenn weiterhin

• die Knotenzahl der Graphen gegen Unendlich geht (für jedes N ∈ N {\displaystyle N\in \mathbb {N} } gibt es in der Familie nur endlich viele Graphen der Familie mit weniger als N {\displaystyle N} Knoten)

und

• es eine gleichmäßige obere Schranke v {\displaystyle v} für den Knotengrad der Graphen gibt.

Wegen der Cheeger-Buser-Ungleichung ist die erste Bedingung äquivalent zu der Forderung, dass es ein ε ′ > 0 {\displaystyle \varepsilon ^{\prime }>0} gibt, so dass für alle Graphen der Familie der zweitkleinste Eigenwert λ 1 {\displaystyle \lambda _{1}} der Laplace-Matrix die Ungleichung

λ 1 ( X ) ≥ ε ′ {\displaystyle \lambda _{1}(X)\geq \varepsilon ^{\prime }}

erfüllt.

Der Name „Expander-Graph“ erklärt sich durch die folgende Eigenschaft von ε {\displaystyle \varepsilon } -Expandern mit oberer Schranke v {\displaystyle v} für den Knotengrad: für einen Knoten x {\displaystyle x} ist die Anzahl der Knoten vom Abstand ≤ n {\displaystyle \leq n} mindestens min ( ∣ E ∣ 2 , ( 1 + ε v ) n ) {\displaystyle \min \left({\frac {\mid E\mid }{2}},\left(1+{\frac {\varepsilon }{v}}\right)^{n}\right)} .

• Die Cayley-Graphen von S L ( 2 , Z / n Z ) {\displaystyle SL(2,\mathbb {Z} /n\mathbb {Z} )} sind Expander, denn für sie gilt λ 1 > 3 16 {\displaystyle \lambda _{1}>{\frac {3}{16}}} . Nach der noch unbewiesenen Selberg-Vermutung sollte sogar stets λ 1 ≥ 1 4 {\displaystyle \lambda _{1}\geq {\frac {1}{4}}} sein.

• Ramanujan-Graphen haben optimale Expander-Eigenschaften.

• Der Petersen-Graph ist ein Ramanujan-Graph.

• Lubotzky-Philips-Sarnak konstruieren Familien von Ramanujan-Graphen als Quotienten p-adischer symmetrischer Räume P G L ( 2 , Q p ) / P G L ( 2 , Z p ) {\displaystyle PGL(2,\mathbb {Q} _{p})/PGL(2,\mathbb {Z} _{p})} unter gewissen Gruppenwirkungen.^[1]

• Es gibt verschiedene Argumente, dass bestimmte Klassen von Zufallsgraphen mit positiver Wahrscheinlichkeit oder sogar mit Wahrscheinlichkeit 1 {\displaystyle 1} Expander-Graphen oder sogar Ramanujan-Graphen sind. Historisch wurde die erste solche Klasse 1967 von Kolmogorov-Barzdins beschrieben.^[2]

• Alexander Lubotzky: Discrete groups, expanding graphs and invariant measures. With an appendix by Jonathan D. Rogawski. Progress in Mathematics, 125. Birkhäuser Verlag, Basel, 1994. ISBN 3-7643-5075-X
• Shlomo Hoory, Nathan Linial, Avi Wigderson: Expander Graphs and their Applications, Bulletin of the AMS, Band 43, 2006, S. 439–561, Online

• E. Kowalski: Expander Graphs
• N. Linial, A. Wigderson: Expander Graphs and their applications

1. ↑ Lubotzky, Phillips, Sarnak: Ramanujan graphs. Combinatorica 8 (1988), no. 3, 261–277.
2. ↑ Kolmogorow, Bārzdiņš: On the realization of networks in three-dimensional space. (1967), in: Selected Works of Kolmogorov, Volume 3, Kluwer Academic Publishers, Dordrecht, 1993.