[论文解读] A note on the third invariant factor of the Laplacian matrix of a graph

Jian Wang, Yong-Liang Pan|ArXiv.org|Dec 18, 2009

Graph theory and applications参考文献 1被引用 8

一句话总结

该论文证明了任意具有 $ n \geq 5 $ 个顶点的简单连通图 $ G $ 的拉普拉斯矩阵的第三个不变因子 $ s_3(G) $ 满足 $ s_3(G) \leq n $，并完全刻画了满足 $ s_3(G) = n, n-1, n-2, $ 或 $ n-3 $ 的图。该刻画识别出特定家族：$ K_n - e $，$ v \cdot K_{n-1} $，$ K_5 - 2e $，$ K_5 - C_4 $，以及六个例外图，包括 $ K_{2,3} $，$ K_5 - C_3 $，$ K_6 - C_3 $，$ K_7 - 2C_3 $，$ K_{3,3} $，和 $ K_7 - K_{3,3} $。

ABSTRACT

Let $G$ be a simple connected graph with $n\geq 5$ vertices. In this note, we will prove that $s_3(G)\leq n$, and characterize the graphs which satisfy that $s_3(G)=n, n-1, n-2, $ or $n-3$, where $s_3(G)$ is the third invariant factor of the Laplacian matrix of $G$.

研究动机与目标

• 为任意具有 $ n \geq 5 $ 个顶点的简单连通图 $ G $ 的拉普拉斯矩阵的第三个不变因子 $ s_3(G) $ 建立上界 $ s_3(G) \leq n $。
• 完全刻画所有满足 $ s_3(G) = n $，$ n-1 $，$ n-2 $，或 $ n-3 $ 的图，提供完整分类。
• 解决第三不变因子达到其最大可能值 $ n $ 时图的结构，识别出实现较低值的稀有图。
• 将拉普拉斯矩阵不变量的理解扩展至生成树计数之外，利用史密斯标准形区分具有相同生成树数的非同构图。
• 分析图结构（尤其是顶点度数、邻接模式和诱导子图）与拉普拉斯矩阵代数不变量之间的相互作用。

提出的方法

• 利用拉普拉斯矩阵 $ L(G) $ 的史密斯标准形，通过行列式因子 $ \Delta_i(G) $ 计算不变因子 $ s_i(G) = \Delta_i(G)/\Delta_{i-1}(G) $。
• 基于一对非邻接顶点 $ v_1, v_2 $ 及其公共邻点 $ v_3 $ 的邻接结构，进行情形分析，根据其对其他顶点的邻接关系区分 8 种情形。
• 分析 $ L(G) $ 的子行列式，特别是 $ \det(L[\text{行}|\text{列}]) $，以界定 $ s_3(G) $，利用 $ s_3(G) $ 整除所有此类 3×3 子式这一事实。
• 应用数论约束：由于 $ s_3(G) $ 整除所有 3×3 子式，且 $ s_3(G) = n-k $，因此必须整除每个子式的绝对值，从而对度数和子图结构施加可除性条件。
• 使用图的结构分解：通过边删除（$ G-2e $）、环删除（$ G-C_4 $，$ G-2C_3 $）或顶点添加（$ v\cdot G $）来分析图，以识别极值情形。
• 应用矩阵行列式恒等式和分块矩阵分析（例如 $ \det\begin{pmatrix} A & B \\ C & D \end{pmatrix} $），推导对称子矩阵中子式的表达式，特别涉及 $ J_3 $，即全1矩阵。

实验结果

研究问题

• RQ1 对于具有 $ n \geq 5 $ 个顶点的简单连通图 $ G $，其第三不变因子 $ s_3(G) $ 的最大可能值是多少？
• RQ2 哪些图满足 $ s_3(G) = n $，其结构条件是什么？
• RQ3 对于哪些图满足 $ s_3(G) = n-1 $，$ n-2 $，或 $ n-3 $，这些图的唯一结构特征是什么？
• RQ4 顶点的度数以及特定子图（如三角形、$ C_4 $、$ C_3 $）的存在如何影响 $ s_3(G) $ 的值？
• RQ5 不变因子 $ s_3(G) $ 是否可用于区分具有相同生成树数的非同构图？

主要发现

• 任意具有 $ n \geq 5 $ 个顶点的简单连通图 $ G $ 的拉普拉斯矩阵的第三不变因子 $ s_3(G) $ 满足 $ s_3(G) \leq n $，且等号成立当且仅当 $ G = K_n - e $。
• $ s_3(G) = n-1 $ 当且仅当 $ G = v \cdot K_{n-1} $，即一个顶点连接到一个完全图 $ K_{n-1} $。
• $ s_3(G) = n-2 $ 当且仅当 $ n = 5 $ 且 $ G $ 为 $ K_5 - 2e $（两条不相邻的边）或 $ K_5 - C_4 $（移除一个 4-圈）。
• $ s_3(G) = n-3 $ 当且仅当 $ G $ 是以下六个特定图之一：$ K_{2,3} $，$ K_5 - C_3 $，$ K_6 - C_3 $，$ K_7 - 2C_3 $，$ K_{3,3} $，或 $ K_7 - K_{3,3} $。
• 该刻画依赖于可除性约束：$ n-3 $ 必须整除 $ L(G) $ 的某些 3×3 子式的绝对值，这限制了顶点度数和邻接模式。
• 对于 $ s_3(G) = n-3 $，分析表明 $ n = 5, 6, $ 或 $ 7 $，且当 $ n \geq 7 $ 时，仅 $ K_7 - K_{3,3} $ 满足条件，其非边结构唯一地构成 $ K_{3,3} $ 的补图。