Graph Laplacians and their basic properties
In the following we always assume that is an undirected, weighted graph with weight matrix , where . When using eigenvectors of a matrix, we will not necessarily assume that they are normalized. For example, the constant vector and multiple for some a 6= 0 will be considered as the same eigenvectors. Eigenvalues will always be ordered increasingly
, respecting multiplicities.By "the first k eigenvectors" we refer to the eigenvectors corresponding to the k smallest eigenvalues.
The unnormalized graph Laplacian
The unnormalized graph Laplacian matrix is defined as
.Proposition 1 (Properties of L) The matrix satisfies the following properties:
(1). For every vector we have
(3). The smallest eigenvalue of is 0, the corresponding eigenvectoris the constant one vector .
(4). has non-negative, real-valued eigenvalues .Proposition 2 (Number of connected components and the spectrum of L) Let be an undirected graph with non-negative weights. Then the multiplicity of the eigenvalue 0 of equals the number of connected components in the graph. The eigenspace of eigenvalue 0 is spanned by the indicator vectors of those components. //证明咩看懂
The normalized graph Laplacians
There are two matrices which are called normalized graph Laplacians in the literature. Both matrices are closely related to each other and are defined as
.Proposition 3 (Properties of and ) The normalized Laplacians satisfy the following properties:
(1). For every we have
(3). is an eigenvalue of with eigenvector if and only if and solve the generalized eigenproblem
(4). 0 is an eigenvalue of with the constant one vector as eigenvector. 0 is an eigenvalue of with eigenvector .
(5). and are positive semi-definite and have n non-negative real-valued eigenvalues.
Proposition 4 (Number of connected components and spectra of and ) Let be an undirected graph with non-negative weights. Then the multiplicity of the eigenvalue 0 of both and equals the number of connected components in the graph. For , the eigenspace of 0 is spanned by the indicator vectors of those components. For , the eigenspace of 0 is spanned by the vectors .