[论文解读] Open problems in the spectral theory of signed graphs

Francesco Belardo, Sebastian M. Cioabă+2 more|arXiv (Cornell University)|Jul 9, 2019

Graph theory and applications参考文献 54被引用 6

一句话总结

本文综述了符号图谱理论中的开放问题，将经典谱图理论扩展至包含边符号（+1 或 -1）的情形。研究聚焦于邻接矩阵与Seidel矩阵的谱性质，重点探讨特征值特性、切换等价性，以及与强正则图和等角线系的联系，主要贡献包括关于Seidel矩阵特征值和谱能量最小化的未解猜想。

ABSTRACT

Signed graphs are graphs whose edges get a sign $+1$ or $-1$ (the signature). Signed graphs can be studied by means of graph matrices extended to signed graphs in a natural way. Recently, the spectra of signed graphs have attracted much attention from graph spectra specialists. One motivation is that the spectral theory of signed graphs elegantly generalizes the spectral theories of unsigned graphs. On the other hand, unsigned graphs do not disappear completely, since their role can be taken by the special case of balanced signed graphs. Therefore, spectral problems defined and studied for unsigned graphs can be considered in terms of signed graphs, and sometimes such generalization shows nice properties which cannot be appreciated in terms of (unsigned) graphs. Here, we survey some general results on the adjacency spectra of signed graphs, and we consider some spectral problems which are inspired from the spectral theory of (unsigned) graphs.

研究动机与目标

• 识别并系统化符号图谱理论中的开放问题，推广无符号图的经典结果。
• 探讨边符号如何影响谱性质，如特征值、谱能量和矩阵秩。
• 研究切换等价性在保持或变换谱不变量中的作用。
• 考察具有少数不同特征值的符号图的存在性与结构特性，尤其关注其与强正则图和等角线构型的关系。
• 解决关于Seidel矩阵谱和谱能量最小化的长期猜想。

提出的方法

• 通过 ±1 边权将邻接矩阵与Seidel矩阵的定义推广至符号图。
• 利用签名矩阵实施切换变换，以研究符号图的等价类。
• 通过矩阵相似性（SUS = S U S）证明切换保持特征值与谱性质。
• 分析具有三个不同特征值的Seidel矩阵，将其与等角线系及会议图联系起来。
• 运用谱界与秩分析（例如，当 n 为奇数时，rank(S) ≥ n−1）研究极值谱性质。
• 综述已知的分类结果（例如，至阶数 22 的情况）及具有三个特征值的Seidel矩阵的参数集。

实验结果

研究问题

• RQ1 是否存在阶数至少为 14 且恰好具有三个不同特征值的Seidel矩阵，其切换类中不包含正则图？
• RQ2 是否所有具有三个不同有理特征值的Seidel矩阵均可通过切换使其包含一个正则图？
• RQ3 完全图是否是所有阶数为 n 的图中Seidel能量的唯一最小化者？
• RQ4 每个秩为 n−1 的Seidel矩阵是否都存在一个仅含 ±1 入的 0-特征向量？
• RQ5 具有恰好三个不同特征值的Seidel矩阵的组合意义是什么？

主要发现

• 关于Seidel能量最小化的Haemers猜想（S(Γ) ≥ 2(n−1)）已由Akbari等人[2]完全证明，此前Ghorbani[38]已有部分结果。
• Rizzolo[72]已证明：当 n → ∞ 时，满足 |det S| < n−1 的图的比例趋于零。
• Van Dam与Koolen[29]证明存在一个阶数为 n 的图的无限族，其Seidel矩阵的秩为 n−1，但其切换类中不包含正则图。
• 对于具有三个不同特征值且至少有一个单特征值的Seidel矩阵，其切换类中总是包含一个强正则图。
• 阶数 ≤12 的Seidel矩阵中，若具有三个不同特征值，则其切换类中不包含正则图，尽管此类矩阵确实存在。
• Szöllősi与Östergård[77]已将阶数至 22 的具有三个不同特征值的Seidel矩阵分类完成。