We can describe difussion of a quantity associated with node in a network with adjacency matrix , with the equation:
where is the diffusion constant. In vector form:
where is the diagonal matrix of degrees, and is the (combinatorial) graph laplacian, which is then:
We can solve this diffusion equation by writting any initial condition as a linear combination of eigenvectors of , 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, . This is defined by first labelling the ends of each edge as and . Then:
Then, , from which one can show that the eigenvalues of 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 .
In particular the vector always has eigenvalue (this implies is singular). It can be shown, that more generally, the number of eigenvectors with 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.