谱图论是通过分析图的拉普拉斯矩阵的特征值和特征向量研究图的性质。

拉普拉斯矩阵

定义1
对于给定的图谱图论 - 图1及其邻接矩阵谱图论 - 图2,它的拉普拉斯矩阵定义为:
谱图论 - 图3 (1)
式中,谱图论 - 图4为对角矩阵。

定义2
给定的图谱图论 - 图5及其邻接矩阵谱图论 - 图6,它的归一化拉普拉斯矩阵定义为:
谱图论 - 图7 (2)

拉普拉斯矩阵的性质

  1. 拉普拉斯矩阵与任意向量谱图论 - 图8右乘,其结果如下公式3

谱图论 - 图9 (3)
也即是,谱图论 - 图10为节点谱图论 - 图11与其邻居谱图论 - 图12的差的和。

  1. 谱图论 - 图13的结果为相邻节点之间的差的平方和,如下公式4

谱图论 - 图14 (4)

拉普拉斯的特征值和特征向量

定理2.3:
对于图谱图论 - 图15,其拉普拉斯的特征值是非负的。
谱图论 - 图16 (5)

若某个特征向量中的每个元素均相等,则其对应的特征值为0。

定理2.4
给定一个图谱图论 - 图17,其拉普拉斯矩阵的特征值为0的数目等于图中连通分量的数目。
特征值0对应的特征向量为连通分量内节点元素相等,其它元素均为0。