[論文レビュー] 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 の共轭類の和集合である C を持つ正規有限ケイリー図 Cay(G,C) に対して、すべての固有値が整数であるための必要十分条件を確立している。その条件は、C が「べき閉性（power-closed）」であること、すなわち、任意の 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).

研究の動機と目的

• 正規ケイリードイグラフ Cay(G,C) のすべての固有値が整数であるための必要十分条件を特定すること。
• アーベル群における整数固有値に関する古典的結果を非アーベル群へ一般化すること。
• 特徴指標値と円分体へのガロア群作用を用いて、固有値の有理数性条件を確立すること。
• 正規ケイリー図において有理数（したがって整数）固有値をもたらす接続集合 C の構造を特徴づけること。

提案手法

• Cay(G,C) の固有値は、G の既約指標を用いて表される：λ_χ = (1/χ(1)) ∑_{x∈C} χ(x)。
• G の指数 m に対して、体 Q(m) を用いて固有値の代数的構造を解析する。すべての固有値は Q(m) に属する。
• ガロア群 Γ_Q ≅ (Z/mZ)* は、単位根の共役作用によって誘導される自己同型により、固有値に作用する。
• 接続集合 C が体 K ⊆ Q(m) に対して Γ_K の作用に関して不変であることは、すべての固有値が K に属するための必要十分条件である。
• |x| に関する帰納法と、巡回部分群から指標を誘導する手法を用いて、t ∈ Γ_K に対して x^t が C に属することを解析する。
• 鍵となるステップでは、ガウスの定理（原始 |x|-乗根が Q 上で線形独立である）を用い、係数の等しさを導出することで、x^t ∈ C を示す。

実験結果

リサーチクエスチョン

• RQ1 正規ケイリードイグラフ Cay(G,C) のすべての固有値が整数であるのはいつか？
• RQ2 固有値が与えられた部分体 K ⊆ Q(m) に属するようにする接続集合 C の構造的条件は何か？
• RQ3 円分体へのガロア群作用は、ケイリー図における固有値の有理数性とどのように関係するか？
• RQ4 アーベル群に対して成り立つ古典的結果（整数固有値が発生するのは C がべき演算について閉じているとき）を非アーベル群へ拡張できるか？
• RQ5 C のべき閉性と、指数演算によって誘導されるガロア自己同型による C の不変性との正確な関係は何か？

主な発見

• Cay(G,C) の各固有値が整数であるための必要十分条件は、接続集合 C がべき閉性を満たすことである。
• C がべき閉性を満たすことは、C が逆元についても閉じていることを意味するため、ケイリードイグラフは無向グラフである。
• Cay(G,C) のすべての固有値が部分体 K ⊆ Q(m) に属するならば、C はガロア群 Γ_K の作用に関して不変である。Γ_K は (Z/mZ)* の元による指数演算に対応する。
• 任意の x ∈ C と t ∈ Γ_K に対して、固有値が K に属し、|x| の真の約数についての帰納法の仮定が成り立つ限り、x^t は C に属する。
• この証明は、有理数体上での原始根の線形独立性に依拠しており、指標和展開における係数の等しさを強制する。
• この結果は、アーベル群に対するブリッジズとメナの定理を、アーベル性の仮定を外し、べき閉性条件に置き換えることで一般化する。