[论文解读] Matrices in the Theory of Signed Simple Graphs

Thomas Zasĺavsky|arXiv (Cornell University)|Mar 13, 2013

Graph theory and applications参考文献 26被引用 119

一句话总结

本文综述了矩阵——特别是邻接矩阵、关联矩阵和基尔霍夫（拉普拉斯）矩阵——在签名简单图理论中的应用，将无符号图论中的概念进行推广。研究结果表明，所有特征值 ≤ 2 的签名图恰好是简单签名图的约化线图，其对应根系为 $D_n$ 和 $E_8$，从而扩展了图论中关于线图和特征值界的传统结果。

ABSTRACT

I discuss the work of many authors on various matrices used to study signed graphs, concentrating on adjacency and incidence matrices and the closely related topics of Kirchhoff (`Laplacian') matrices, line graphs, and very strong regularity.

研究动机与目标

• 将基于矩阵的无符号图论经典概念——邻接矩阵、关联矩阵和基尔霍夫矩阵——推广至签名简单图。
• 研究矩阵性质（尤其是特征值）如何反映签名图的结构与组合特征。
• 阐明具有有界特征值的签名图与已知根系（特别是 $D_n$ 和 $E_8$）之间的联系。
• 在签名图与向量表示的背景下，统一并扩展关于线图与广义线图的研究结果。

提出的方法

• 使用签名图的邻接矩阵，其中边的符号以 +1 或 -1 编码，以分析其谱性质。
• 引入两种关联矩阵：无向型（用于负边）和有向型（用于正边），推广无符号图的关联矩阵。
• 将基尔霍夫矩阵定义为关联矩阵的转置与其自身的乘积，将拉普拉斯矩阵推广至签名图。
• 应用恒等式 $A( ext{line graph}) = M^T M - 2I$，将线图的邻接矩阵与关联矩阵关联起来。
• 采用向量内积表示：若 $2I - A(\theta)$ 是半正定的，则特征值 ≤ 2 意味着在 $\mathbb{R}^m$ 中存在几何实现。
• 利用谱界和矩阵秩论证，证明 $\text{rank}(H^T H) = n - b(\Sigma)$，其中 $b(\Sigma)$ 是贝蒂数，从而推导出特征值重数。

实验结果

研究问题

• RQ1 哪些签名图的所有特征值 ≤ 2？它们在代数与组合上如何表征？
• RQ2 签名图的邻接矩阵、关联矩阵和基尔霍夫矩阵如何推广其无符号对应物？
• RQ3 签名图的约化线图与根系 $D_n$ 和 $E_8$ 之间存在何种关系？
• RQ4 特征值 2 如何作为签名图中诱导子图的阈值？这对谱结构有何含义？
• RQ5 广义线图（如霍夫曼的）能否表示为签名图的约化线图？若可，其条件为何？

主要发现

• 所有特征值 ≤ 2 的签名图恰好是简单签名图的约化线图，其对应根系为 $D_n$ 和 $E_8$。
• 当且仅当 $A(\Sigma)$ 的所有特征值 ≤ 2 时，矩阵 $2I - A(\Sigma)$ 是半正定的，从而可实现为几何向量表示。
• 特征值 2 是一个临界值：若签名图存在特征值 ≥ 2，则其必包含一个最大特征值恰好为 2 的诱导子图。
• 签名图的关联矩阵 $H$ 满足 $\text{rank}(H^T H) = n - b(\Sigma)$，且 $H^T H$ 的零特征值重数为 $|E| - n + b(\Sigma)$。
• 线图 $\Lambda(\Sigma)$ 是反平衡的（所有边为负）当且仅当 $\Sigma$ 与一个普通或广义线图的负版本是开关等价的。
• 霍夫曼的广义线图可表示为 $-\Gamma(m_1,\dots,m_n)$ 的约化线图，即在顶点处附加负二边的负图。