Matrice laplacienne

En théorie des graphes, une matrice laplacienne, ou matrice de Laplace, est une matrice représentant un graphe.

Définition

La matrice laplacienne d'un graphe G non orienté et non réflexif est définie par : $L=D-A$ où $D$ est la matrice des degrés de G et $A$ la matrice d'adjacence de G[1]. Formellement :

$L_{i,j}:=\left\{{\begin{matrix}\deg(s_{i})&{\mbox{si }}i=j\\-x&{\mbox{ si }}i\neq j{\mbox{ avec x le nombre d'arêtes reliant directement i à j}}\\0&{\mbox{sinon}}\end{matrix}}\right.$

Intuition

A la différence de la matrice d'adjacence d'un graphe, la matrice laplacienne a une interprétation algébrique ce qui rend son analyse spectrale fructueuse.

Plus précisément la matrice $D^{-1}A$ correspond à l'opérateur de diffusion sur le graphe. Si $x\in \mathbb {R} ^{n}$ correspond à la densité de particules d'un gaz en chacun des $n$ sommets du graphe, il est facile de noter que $D^{-1}Ax$ correspond à la densité après une itération de la diffusion au cours de laquelle chaque particule se déplace de son sommet à un voisin choisi aléatoirement^{[réf. nécessaire]}.

Également, la matrice laplacienne peut être vue comme une forme quadratique caractérisant la régularité d'un vecteur $x\in \mathbb {R} ^{n}$ au regard de la distance définie par le graphe. En effet, on a la formule suivante: $x^{T}Lx=\sum _{(u,v)\in E}(x(u)-x(v))^{2}$ .

Exemple

Graphe non orienté	Matrice des degrés	Matrice d'adjacence	Matrice laplacienne
	$\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)$	$\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)$	$\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)$

Applications

La matrice laplacienne est utilisée par le théorème de Kirchhoff pour calculer le nombre d'arbres couvrants d'un graphe.

Le spectre de la matrice laplacienne est étudiée en théorie spectrale des graphes. Cette étude permet entre autres de définir des méthodes spectrales pour le partitionnement de graphe.

Si les valeurs propres sont triées $0\leq \lambda _{1}\leq ...\leq \lambda _{n}$ On peut par exemple remarquer que $\lambda _{r}=0$ si et seulement si le graphe contient au moins $r$ composantes connexes.

Variantes

Graphe pondéré

Plus généralement, soit un graphe non orienté et non réflexif G = (S, A) à n sommets, pondéré par la fonction poids qui à toute arête $(s_{i},s_{j})$ associe son poids $p(s_{i},s_{j})$ . La matrice laplacienne de G vérifie :

$(L)_{i,j}:=\left\{{\begin{matrix}\deg(s_{i})=\sum _{k=1}^{n}p(s_{i},s_{k})&{\mbox{si }}i=j\\-p(s_{i},s_{j})&{\mbox{si }}i\neq j{\mbox{ et }}(s_{i},s_{j})\in A\\0&{\mbox{sinon}}\end{matrix}}\right.$

Graphe orienté

Ces définitions peuvent se généraliser aux graphes orientés ; dans ce cas, la matrice laplacienne n'est plus symétrique.

Notes et références

Laurent et Pierre Beauguitte, Opérations matricielles et analyse de graphe, automne 2011

Portail des mathématiques

Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.

[1] Laurent et Pierre Beauguitte, Opérations matricielles et analyse de graphe, automne 2011