如何证明拉普拉斯矩阵的二次型是邻接矩阵上的二阶差分和函数

设$G=(V,E)$是一个无向图，邻接矩阵为$A\in {\mathbb{R}}^{n\times n}$，度矩阵为$D\in {\mathbb{R}}^{n\times n}$，拉普拉斯矩阵为$L=D-A$，其中$n$为图$G$的顶点数。

邻接矩阵$A$的二阶差分可以定义为$A^2$，即$A_{ij}^2={\sum }_{k=1}^n{A}_{ik}{A}_{kj}$，表示从顶点$i$到顶点$j$的长度为2的路径数。类似地，拉普拉斯矩阵$L$的二次型可以定义为$f(x)=x^{T}Lx={\sum }_{i,j=1}^n{L}_{ij}{x}_i{x}_j$，其中$x\in {\mathbb{R}}^n$为向量。

现在我们来证明拉普拉斯矩阵的二次型是邻接矩阵上的二阶差分和函数。具体来说，我们需要证明：

$$f(x)=x^{T}Lx=\sum _{i,j=1}^n(A^2{)}_{ij}(x_i-x_j{)}^2$$

证明过程如下：

$$\begin{array}{rl}{x}^{T}Lx& =x^T(D-A)x\&=x^{T}Dx-x^{T}Ax\&=\sum _{i=1}^n{D}_{ii}{x}_i^2-\sum _{i,j=1}^n{A}_{ij}{x}_i{x}_j\&=\sum _{i,j=1}^n{D}_{ii}{x}_i^2-\sum _{i,j=1}^n\sqrt{D_{ii}{D}_{jj}}\cdot \frac{A_{ij}}{\sqrt{D_{ii}{D}_{jj}}}\cdot x_i{x}_j\&=\sum _{i,j=1}^n\sqrt{D_{ii}{D}_{jj}}\cdot \left({\delta }_{ij}-\frac{A_{ij}}{\sqrt{D_{ii}{D}_{jj}}}\right)\cdot x_i{x}_j\&=\sum _{i,j=1}^n\frac{A_{ij}^2}{D_{ii}{D}_{jj}}(x_i-x_j{)}^2\&=\sum _{i,j=1}^n(A^2{)}_{ij}(x_i-x_j{)}^2\end{array}$$

其中，${\delta }_{ij}$为Kronecker delta符号，当$i=j$时取值为1，否则为0。

因此，我们证明了拉普拉斯矩阵的二次型是邻接矩阵上的二阶差分和函数，即$f(x)=x^{T}Lx={\sum }_{i,j=1}^n(A^2{)}_{ij}(x_i-x_j{)}^2$。这个结论的意义是，拉普拉斯矩阵的二次型可以看作是邻接矩阵上的二阶差分和函数，它可以用于表示顶点之间的差异或相似程度，从而可以用于聚类、降维、图像分割等任务。