[论文解读] Distance spectra and Distance energy of Integral Circulant Graphs

Aleksandar Ili ' c|arXiv (Cornell University)|Apr 6, 2011

Graph theory and applications参考文献 22被引用 3

一句话总结

本文表征了整数循环图（ICGs）的距离谱与距离能量，证明其距离矩阵的特征值为整数。通过利用除数与拉马努金和的数论性质，推导出单位Cayley图的距离能量的精确公式，并构造了两组无限的非同谱、等距离能量ICG：一组中一个图是另一个图的子图，另一组直径为三，均不依赖图积或线图构造。

ABSTRACT

The distance energy of a graph $G$ is a recently developed energy-type invariant, defined as the sum of absolute values of the eigenvalues of the distance matrix of $G$. There was a vast research for the pairs and families of non-cospectral graphs having equal distance energy, and most of these constructions were based on the join of graphs. A graph is called circulant if it is Cayley graph on the circulant group, i.e. its adjacency matrix is circulant. A graph is called integral if all eigenvalues of its adjacency matrix are integers. Integral circulant graphs play an important role in modeling quantum spin networks supporting the perfect state transfer. In this paper, we characterize the distance spectra of integral circulant graphs and prove that these graphs have integral eigenvalues of distance matrix $D$. Furthermore, we calculate the distance spectra and distance energy of unitary Cayley graphs. In conclusion, we present two families of pairs $(G_1, G_2)$ of integral circulant graphs with equal distance energy -- in the first family $G_1$ is subgraph of $G_2$, while in the second family the diameter of both graphs is three.

研究动机与目标

• 表征整数循环图（ICGs）的距离谱，证明其距离特征值为整数。
• 利用数论方法计算单位Cayley图的距离能量。
• 构造不依赖图积或线图的无限非同谱、等距离能量ICG家族。
• 探索与量子自旋网络和完美态传输相关的ICG的结构与谱性质。
• 通过引入除数集与积性函数，拓展现有等距离能量图的结果，提出新颖构造。

提出的方法

• 利用定义：ICG_n(D) 为在 Z_n 上以 gcd(a−b,n) ∈ D 为边的Cayley图，其中 D 是 n 的真因数集。
• 应用拉马努金和 c(r,n) = ∑_{d|gcd(r,n)} μ(d) · e^{2πi r/d}，通过加法组合计算距离特征值 μ_r。
• 使用公式 μ_r = ∑_{d∈D} c(r, n/d) 将距离特征值表示为拉马努金和与因数结构的函数。
• 利用欧拉函数 φ(n) 的乘法性质及 n = 2^k·m 的结构，分析不同情形并推导闭式表达式。
• 基于 gcd(r,n) 进行谱分解与重数计数，将距离能量表示为特征值绝对值之和。
• 通过分析 r 对 n 的因数的模，推导 ICG_n(1) 与 ICG_n(1,p) 等特定 ICG 的距离能量公式。

实验结果

研究问题

• RQ1 整数循环图的距离谱具有何种结构？其距离特征值是否恒为整数？
• RQ2 能否利用数论工具推导出单位Cayley图距离能量的闭式表达式？
• RQ3 是否存在不依赖图积或线图的无限非同谱整数循环图家族，其距离能量相等？
• RQ4 ICG 的直径如何影响其距离能量，特别是在直径为三的情况下？
• RQ5 在何种数论条件下，ICG_n(1) 与 ICG_n(1,p) 具有相等的距离能量？这对量子网络设计有何含义？

主要发现

• 任意整数循环图的距离矩阵均具有整数特征值，确认 ICG 为 D-整数图。
• 对于单位Cayley图 ICG_n(1)，距离能量为 DE(ICG_n(1)) = 6(φ(n)−1)·2 − n + 2(2−p)(2−q)，当 n=pq 时简化为 6(p−1)(q−1)，其中 p,q 为奇素数。
• 存在一组等距离能量 ICG：ICG_{3p}(1) 是 ICG_{3p}(1,p) 的子图，且两者距离能量均为 6(p−1)(2)，其中 p>3。
• 当 n=2pq 且 p,q 为不同奇素数时，图 ICG_{2pq}(1,p) 与 ICG_{2pq}(1,q) 为非同谱且等距离能量，其距离能量为 DE = 12pq − 4p − 4q − 4。
• ICG_{2pq}(1,p) 与 ICG_{2pq}(1,q) 的直径为三，这是首组不基于图积或迭代线图的等距离能量家族。
• 距离特征值通过拉马努金和计算，并按 gcd(r,n) 分组，实现精确重数计数与能量求和。