Laplace-Matrix

Die Laplace-Matrix ist in der Graphentheorie eine Matrix, welche die Beziehungen der Knoten und Kanten eines Graphen beschreibt. Sie wird unter anderem zur Berechnung der Anzahl der Spannbäume und zur Abschätzung der Expansivität regulärer Graphen benutzt. Sie ist eine diskrete Version des Laplace-Operators.

Laplace-Matrizen u​nd insbesondere i​hre zu kleinen Eigenwerten gehörenden Eigenvektoren werden b​eim Spectral Clustering, e​inem Verfahren d​er Clusteranalyse, verwendet.

Definition

Die Laplace-Matrix ${\displaystyle L}$ eines Graphen mit der Knotenmenge ${\displaystyle V}$ und der Kantenmenge ${\displaystyle E}$ ist eine ${\displaystyle |V|\times |V|}$ Matrix. Sie ist definiert als ${\displaystyle L:=D-A}$, wobei ${\displaystyle D}$ die Gradmatrix und ${\displaystyle A}$ die Adjazenzmatrix des Graphen bezeichnet. Der den Knoten ${\displaystyle v_{i}}$ und ${\displaystyle v_{j}}$ entsprechende Eintrag ist also

${\displaystyle L_{i,j}:={\begin{cases}\deg(v_{i})&{\mbox{falls}}\ i=j\\-1&{\mbox{falls}}\ i\neq j\ {\mbox{und}}\ v_{i}{\mbox{ adjazent zu }}v_{j}\\0&{\mbox{sonst}}\end{cases}}}$

Insbesondere ist die Laplace-Matrix eines ${\displaystyle d}$-regulären Graphen

${\displaystyle L=d\cdot I-A}$

mit der Einheitsmatrix ${\displaystyle I}$.

Beispiel

Nummerierung der Ecken	Gradmatrix	Adjazenzmatrix	Laplace-Matrix
	${\displaystyle \left({\begin{array}{rrrrrr}2&0&0&0&0&0\\0&3&0&0&0&0\\0&0&2&0&0&0\\0&0&0&3&0&0\\0&0&0&0&3&0\\0&0&0&0&0&1\\\end{array}}\right)}$	${\displaystyle \left({\begin{array}{rrrrrr}0&1&0&0&1&0\\1&0&1&0&1&0\\0&1&0&1&0&0\\0&0&1&0&1&1\\1&1&0&1&0&0\\0&0&0&1&0&0\\\end{array}}\right)}$	${\displaystyle \left({\begin{array}{rrrrrr}2&-1&0&0&-1&0\\-1&3&-1&0&-1&0\\0&-1&2&-1&0&0\\0&0&-1&3&-1&-1\\-1&-1&0&-1&3&0\\0&0&0&-1&0&1\\\end{array}}\right)}$

Zusammenhang mit Inzidenzmatrix

Die Laplace-Matrix kann auch durch die Inzidenzmatrix berechnet werden. Sei ${\displaystyle B}$ eine ${\displaystyle |E|\times |V|}$ Inzidenzmatrix, dann ist die Laplace-Matrix gegeben durch

${\displaystyle L=B^{\top }B}$

Eigenschaften

Wir bezeichnen mit ${\displaystyle \lambda _{0}\leq \lambda _{1}\leq \cdots \leq \lambda _{n-1}}$ die Eigenwerte der Laplace-Matrix, siehe Spektrum (Graphentheorie).

• ${\displaystyle L}$ ist symmetrisch.
• ${\displaystyle L}$ ist positiv-semidefinit, insbesondere also ${\displaystyle \lambda _{i}\geq 0}$ für alle ${\displaystyle i}$.
• ${\displaystyle L}$ ist eine M-Matrix.
• Die Spalten- und Zeilensummen sind Null. Insbesondere ist ${\displaystyle \lambda _{0}=0}$ mit Eigenvektor ${\displaystyle \mathbf {v} _{0}=(1,1,\dots ,1)}$.
• Die Vielfachheit des Eigenwertes ${\displaystyle 0}$ ist die Anzahl der Zusammenhangskomponenten des Graphen.