Graph laplacian

cosmos 25th August 2017 at 7:32pm
Laplacian

We can describe difussion of a quantity Ψi\Psi_i associated with node ii in a network with adjacency matrix AA, with the equation:

Ψit=jAijC(ΨjΨi)=Cj(Aijδijkj)Ψj)\frac{\partial \Psi_i}{\partial t}=\sum_j A_{ij}C(\Psi_j-\Psi_i)=C\sum_j (A_{ij}-\delta_{ij}k_j)\Psi_j)

where CC is the diffusion constant. In vector form:

Ψt=C(AD)ΨCLΨ\frac{\partial \mathbf{\Psi}}{\partial t}=C(\mathbf{A}-\mathbf{D})\mathbf{\Psi} \equiv -C\mathbf{L}\mathbf{\Psi}

where D=diag(k1,...,kn)\mathbf{D}=diag(k_1,...,k_n) is the diagonal matrix of degrees, and L=DA\mathbf{L}=\mathbf{D}-\mathbf{A} is the (combinatorial) graph laplacian, which is then:

Lij={kiif i=j,1if ij and there is an edge (i,j),0otherwise L_{ij}= \begin{cases} k_i &\text{if } i=j,\\ -1 &\text{if }i\neq j \text{ and there is an edge } (i,j),\\ 0 &\text{otherwise} \end{cases}

We can solve this diffusion equation by writting any initial condition as a linear combination of eigenvectors of LL, and the coefficients will then evolve exponentiall with exponents given by the eigenvalues of the matrix.

The graph laplacian can be related to the edge incidence matrix, B\mathbf{B}. This is defined by first labelling the ends of each edge as 11 and 22. Then:

Bij={+1if end 1 of edge i is attached to vertex j,1if end 2 of edge i is attached to vertex j,0otherwise B_{ij}= \begin{cases} +1 &\text{if end 1 of edge i is attached to vertex j,}\\ -1 &\text{if end 2 of edge i is attached to vertex j,}\\ 0 &\text{otherwise} \end{cases}

Then, L=BTB\mathbf{L}=\mathbf{B}^T\mathbf{B}, from which one can show that the eigenvalues of L\mathbf{L} are not only real (as it is symmetric), but also non-negative. This is an important physical property of the Laplacian, because it means the solutions of the diffusion equation only includes non-diverging solutions, which makes sense since diffusion is constructed to conserve the quantity Ψi\Psi_i.

In particular the vector 1=(1,1,1,...)\mathbf{1}=(1,1,1,...) always has eigenvalue 00 (this implies L\mathbf{L} is singular). It can be shown, that more generally, the number of eigenvectors with 00 eigenvalue is always equal to the number of components in the network. Thus the second eigenvalue of the Laplacian (when arranged in ascending order) is non-zero if and only if the network is connected. This eigenvalue is called the algebraic connectivity or spectral gap, and is useful in a technique known as spectral partitioning.