[论文解读] Isomorphic and Nonisomorphic, Isospectral Circulant Graphs

Julia M. Nowlin Brown|ArXiv.org|Apr 13, 2009

Finite Group Theory Research参考文献 11被引用 3

一句话总结

本文提出了一类循环图的新型谱特征条件：若一个阶为 $ n = p_1^{r_1} - cdots - p_s^{r_s} $ 的循环图，其连接集大小为 $ m $，且满足 $ p_1 \geq m $，同时满足 $ s=1 $ 或 $ p_2 > p_1(m-1) $，则该图在同构意义下由其谱唯一确定。此外，本文利用模 $ n $ 的等差数列构造了无穷多组阶为 $ 2^r p $（其中 $ p $ 为奇素数且 $ r > 2 $）的同谱但非同构的循环图，通过群环支集与数论性质证明其非同构性。

ABSTRACT

New criteria for which Cayley graphs of cyclic groups of any order can be completely determined--up to isomorphism--by the eigenvalues of their adjacency matrices is presented. Secondly, a new construction for pairs of nonisomorphic Cayley graphs of cyclic groups with the same list of eigenvalues of their adjacency matrices will be presented.

研究动机与目标

• 确定循环图在何种条件下由其邻接矩阵谱完全唯一确定。
• 填补关于同谱循环图是否必同构的知识空白。
• 系统构造显式同谱但非同构的循环图族，尤其针对阶为 $ 2^r p $ 且 $ r > 2 $ 的情形。
• 将现有构造从二面体群与 PSL 群扩展至更广泛的阿贝尔群类。
• 解决扩展构造中含多个连接集时图的同构性问题。

提出的方法

• 使用循环图的特征值公式：$ \lambda_x = \sum_{s \in S} \omega^{xs} $，其中 $ \omega $ 为 $ n $ 次单位原根。
• 在 $ \mathbb{Z}[\mathbb{Z}_n] $ 中应用群环技术，通过映射 $ \varphi(z) = \omega $ 将群元素映射至单位根，并分析支集与系数结构。
• 将连接集 $ A $ 和 $ B $ 定义为模 $ n = 2^r p $ 的等差数列的并集，利用对称性与模运算确保谱和相等。
• 通过证明其中一个集合包含被 $ p $ 整除的元素而另一个不包含，从而在模 $ n $ 的单位乘法下不等价，证明其非同构性。
• 通过取 $ \tilde{A} = A \cup qA $，$ \tilde{B} = B \cup qB $（其中 $ q $ 与 $ n $ 互素）扩展构造，保持谱相等性。
• 利用 Musychuk 关于 Ádám 猜想的结果，在 $ n = 4p $ 时确认非同构性，而一般情形仍保持开放。

实验结果

研究问题

• RQ1 在阶 $ n $ 与连接集大小 $ m $ 满足何种条件时，循环图由其谱唯一确定？
• RQ2 能否系统构造出阿贝尔群中超越已知例子的同谱但非同构的循环图？
• RQ3 对于 $ r > 2 $，扩展构造 $ \tilde{A} = A \cup qA $，$ \tilde{B} = B \cup qB $ 是否产生同构图？
• RQ4 连接集的数论性质（如被 $ p $ 整除）如何影响循环图的同构性？
• RQ5 当 $ r > 2 $ 时，是否存在谱或代数不变量可区分扩展图 $ \tilde{X} $ 与 $ \tilde{Y} $？

主要发现

• 本文建立了新的谱特征：若 $ n = p_1^{r_1} \cdots p_s^{r_s} $，且满足 $ p_1 \geq m $，同时 $ s=1 $ 或 $ p_2 > p_1(m-1) $，则同谱的循环图必同构。
• 对于 $ n = 2^r p $（$ r > 2 $），构造方法可生成同谱但非同构的循环图，其连接集 $ A $ 与 $ B $ 各自大小为 $ 2p $，且均源于模 $ n $ 的等差数列。
• 连接集 $ A $ 与 $ B $ 在模 $ n $ 的单位乘法下不等价，其中一个包含被 $ p $ 整除的元素，而另一个不包含，从而证明其非同构性。
• 扩展图 $ \tilde{X} = \text{Cay}(\mathbb{Z}_n, \tilde{A}) $，$ \tilde{Y} = \text{Cay}(\mathbb{Z}_n, \tilde{B}) $ 具有相同谱，源于特征值分解：$ \tilde{\lambda}_x = \lambda_x + \lambda_{qx} $。
• 当 $ n = 4p $ 时，由于 Musychuk 关于 Ádám 猜想的结果，图是非同构的，因为一个连接集包含被 $ p $ 整除的元素，而另一个不包含。
• 对于 $ r > 2 $，扩展图的同构性仍为开放问题，是本文中一个关键未解难题。