[论文解读] Spanning trees and line graph eigenvalues

Ebrahim Ghorbani|arXiv (Cornell University)|Jan 16, 2012

Graph theory and applications被引用 3

一句话总结

本文建立了图中生成树数量与其拉普拉斯矩阵和无符号拉普拉斯矩阵的特征值性质之间的联系。证明了若一个具有奇数个顶点的图，其生成树数量不能被 4 整除，则其拉普拉斯矩阵不可能有偶数整特征值，其无符号拉普拉斯矩阵不可能有模 4 同余于 2 的整特征值，且至多有一个模 4 同余于 0 的特征值，而这样的特征值必须是单重的。

ABSTRACT

For a graph $G$, let $L(G)$ and $Q(G)$ be the Laplacian and signless Laplacian matrices of $G$, respectively, and $ au(G)$ be the number of spanning trees of $G$. We prove that if $G$ has an odd number of vertices and $ au(G)$ is not divisible by $4$, then (i) $L(G)$ has no even integer eigenvalue, (ii) $Q(G)$ has no integer eigenvalue $\lambda\equiv2\pmod4$, and (iii) $Q(G)$ has at most one eigenvalue $\lambda\equiv0\pmod4$ and such an eigenvalue is simple. As a consequence, we extend previous results by Gutman and Sciriha and by Bapat on the nullity of adjacency matrices of the line graphs. We also show that if $ au(G)=2^ts$ with $s$ odd, then the multiplicity of any even integer eigenvalue of $Q(G)$ is at most $t+1$. Among other things, we prove that if $L(G)$ or $Q(G)$ has an even integer eigenvalue of multiplicity at least $2$, then $ au(G)$ is divisible by $4$. As a very special case of this result, a conjecture by Zhou et al. [On the nullity of connected graphs with least eigenvalue at least $-2$, Appl. Anal. Discrete Math. 7 (2013), 250--261] on the nullity of adjacency matrices of the line graphs of unicyclic graphs follows.

研究动机与目标

• 研究图中生成树数量与其拉普拉斯矩阵和无符号拉普拉斯矩阵特征值的整性性质之间的关系。
• 扩展关于线图邻接矩阵零度的先前结果，特别是 Gutman、Sciriha 和 Bapat 的工作。
• 确定生成树数量的 2-adic 赋值如何影响无符号拉普拉斯矩阵中偶数整特征值的重数。
• 解决 Zhou 等人提出的关于单环图线图的邻接矩阵零度的猜想。

提出的方法

• 分析图 $ G $ 的拉普拉斯矩阵 $ L(G) $ 和无符号拉普拉斯矩阵 $ Q(G) $ 的结构，尤其关注其模 4 的特征值。
• 运用代数图论和行列式性质，将生成树数量 $ \tau(G) $ 与 $ L(G) $ 和 $ Q(G) $ 的特征值联系起来，特别是关注其奇偶性及被 4 整除的性质。
• 应用矩阵-树定理，将 $ \tau(G) $ 表示为 $ L(G) $ 的非零特征值的乘积，并利用此关系推导出对特征值同余类的约束。
• 对特征值应用模运算，特别是模 4，以根据 $ \tau(G) $ 被 2 的幂整除的情况对可能的特征值类型进行分类。
• 基于 $ \tau(G) $ 的 2-adic 赋值建立 $ Q(G) $ 中偶数整特征值重数的上界，表达为 $ t+1 $，其中 $ \tau(G) = 2^t s $，$ s $ 为奇数。
• 证明若 $ L(G) $ 或 $ Q(G) $ 有重数至少为 2 的偶数整特征值，则 $ \tau(G) $ 必须能被 4 整除，使用谱论和组合论证。

实验结果

研究问题

• RQ1 对于具有奇数个顶点的图，其生成树数量对其拉普拉斯矩阵特征值施加了何种约束？
• RQ2 在何种条件下，图的无符号拉普拉斯矩阵可以有模 4 同余于 2 的特征值？
• RQ3 生成树数量的 2-adic 赋值如何影响无符号拉普拉斯矩阵中偶数整特征值的重数？
• RQ4 能否利用 $ L(G) $ 和 $ Q(G) $ 的谱性质来界定或刻画线图邻接矩阵的零度？
• RQ5 若 $ L(G) $ 或 $ Q(G) $ 中存在重数至少为 2 的重复偶数整特征值，是否意味着生成树数量能被 4 整除？

主要发现

• 若图 $ G $ 有奇数个顶点且 $ \tau(G) $ 不能被 4 整除，则 $ L(G) $ 没有偶数整特征值。
• 在相同条件下，$ Q(G) $ 没有满足 $ \lambda \equiv 2 \pmod{4} $ 的整特征值。
• 若 $ \tau(G) $ 不能被 4 整除，则 $ Q(G) $ 至多有一个满足 $ \lambda \equiv 0 \pmod{4} $ 的特征值，且该特征值必须是单重的。
• 若 $ \tau(G) = 2^t s $，其中 $ s $ 为奇数，则 $ Q(G) $ 的任意偶数整特征值的重数至多为 $ t+1 $。
• 若 $ L(G) $ 或 $ Q(G) $ 有重数至少为 2 的偶数整特征值，则 $ \tau(G) $ 必须能被 4 整除。
• 结果确认了 Zhou 等人关于单环图线图邻接矩阵零度的猜想，作为所推导出的一般特征值约束的特例。