[论文解读] Rationality conditions for the eigenvalues of normal finite Cayley graphs

Chris Godsil, Pablo Spiga|arXiv (Cornell University)|Feb 22, 2014

Graph theory and applications参考文献 7被引用 7

一句话总结

该论文证明：对于一个有限群 G 的正规有限 Cayley 图 Cay(G,C)，其中 C 是 G 的共轭类的并集，所有特征值为整数当且仅当 C 是幂封闭的——即对任意 x ∈ C 及任意生成与 x 相同循环子群的 y，都有 y ∈ C。该结果基于特征值的伽罗瓦理论分析与分圆域理论，将经典关于阿贝尔群的结果推广至非阿贝尔情形。

ABSTRACT

Given a finite group G, we say that a subset C of G is power-closed if, for every x in C and y in with =, we have that y lies in C. In this paper we are interested in finite Cayley digraphs Cay(G,C) over G with connection set C, where C is a union of conjugacy classes of G. We show that each eigenvalue of Cay(G,C) is integral if and only if C is power-closed. This result will follow from a discussion of some more general rationality conditions on the eigenvalues of Cay(G,C).

研究动机与目标

• 确定正规 Cayley 有向图 Cay(G,C) 的所有特征值为整数的充要条件。
• 将经典关于阿贝尔群 Cayley 图中整特征值结果推广至非阿贝尔群。
• 利用伽罗瓦群作用于特征标值与分圆域，建立特征值有理性的条件。
• 刻画在正规 Cayley 图中产生有理（因而为整数）特征值的连接集 C 的结构。

提出的方法

• Cay(G,C) 的特征值通过 G 的不可约特征标表示为：λ_χ = (1/χ(1)) ∑_{x∈C} χ(x)。
• 利用域 Q(m)，其中 m 是 G 的指数，分析特征值的代数结构，因为所有特征值都属于 Q(m)。
• 伽罗瓦群 Γ_Q ≅ (Z/mZ)* 通过单位根共轭诱导的自同构作用于特征值。
• 证明：连接集 C 在 Γ_K 作用下不变，当且仅当所有特征值属于子域 K ⊆ Q(m)。
• 证明使用 |x| 的归纳法，并通过从循环子群诱导特征标，分析 C 在 t 次幂作用下的不变性，其中 t ∈ Γ_K。
• 关键步骤利用高斯定理：|x|-次本原单位根构成 Q 上的基，强制线性组合中系数相等，从而推出 x^t ∈ C。

实验结果

研究问题

• RQ1 何时正规 Cayley 有向图 Cay(G,C) 的所有特征值为整数？
• RQ2 连接集 C 需满足何种结构条件，才能保证 Cay(G,C) 的所有特征值属于给定子域 K ⊆ Q(m)？
• RQ3 伽罗瓦群在分圆域上的作用如何与 Cayley 图中特征值的有理性相关联？
• RQ4 经典结论（即阿贝尔群中整特征值当且仅当 C 对取幂封闭）能否推广至非阿贝尔群？
• RQ5 C 的幂封闭性与伽罗瓦自同构（由指数化诱导）作用下 C 的不变性之间存在何种精确关系？

主要发现

• Cay(G,C) 的每个特征值为整数，当且仅当连接集 C 是幂封闭的。
• C 的幂封闭性蕴含 C 也是逆封闭的，因此 Cayley 有向图是无向图。
• 若 Cay(G,C) 的所有特征值属于子域 K ⊆ Q(m)，则 C 在伽罗瓦群 Γ_K 作用下不变，Γ_K 对应于 (Z/mZ)* 中元素的指数化。
• 对任意 x ∈ C 及 t ∈ Γ_K，若特征值属于 K 且 |x| 的真因子满足归纳假设，则 x^t ∈ C。
• 证明依赖于本原单位根在 Q 上的线性无关性，强制在特征标和展开中系数相等。
• 该结果通过去除阿贝尔性假设并以幂封闭性条件替代，推广了 Bridges 和 Mena 对阿贝尔群的定理。