[論文レビュー] 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) $ を満たすならば、そのスペクトルによって同型を除いて一意に決定される。さらに、奇素数 $ p $ と $ r > 2 $ に対して、$ 2^r p $ 階の無限族の同スペクトル的だが同型でない巡回グラフを、$ n $ を法とする等差数列から得られる対称的接続集合を用いて構成する。同型性の非成立は群環の台と数論的性質を用いて証明する。

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.

研究の動機と目的

• 巡回グラフが隣接行列のスペクトルによって完全に決定される条件を同定すること。
• 同スペクトル的巡回グラフが常に同型であるとは限らないという知識のギャップを解消すること。
• 特に $ r > 2 $ に対して $ 2^r p $ 階の同スペクトル的だが同型でない巡回グラフの明示的族を構成すること。
• 既存のダイヘドラル群や PSL 群を超えて、より広いアーベル群のクラスにまで構成を拡張すること。
• 複数の接続集合を持つ拡張構成における同型性の未解決問題に取り組むこと。

提案手法

• 巡回グラフの固有値公式を用いる：$ \lambda_x = \sum_{s \in S} \omega^{xs} $、ここで $ \omega $ は $ n $ 乗単位根の原始根。
• $ \mathbb{Z}[\mathbb{Z}_n] $ の群環技術を適用し、$ \varphi(z) = \omega $ を通じて群の元を単位根にマッピングし、台と係数構造を分析する。
• $ n = 2^r p $ を法とする等差数列の和集合として接続集合 $ A $ と $ B $ を定義し、対称性と合同算術によりスペクトル和が等しくなるように保証する。
• 単位元による乗算に関して等価でないことを示し、一方の集合には $ p $ で割り切れる元が含まれ、他方は含まれないことを示し、同型性の非成立を証明する。
• 拡張構成として、$ n $ と互いに素な $ q $ に対して $ \tilde{A} = A \cup qA $、$ \tilde{B} = B \cup qB $ をとる。スペクトルの等しさを保つ。
• Musychuk の Ádám の予想に関する結果を用いて $ n = 4p $ の場合に同型性が成立しないことを確認し、一般の場合については未解決のままとする。

実験結果

リサーチクエスチョン

• RQ1 順序 $ n $ と接続集合サイズ $ m $ に対して、巡回グラフがスペクトルによって一意に決定される条件は何か？
• RQ2 既知の例を超えて、アーベル群に対して同スペクトル的だが同型でない巡回グラフを体系的に構成できるか？
• RQ3 拡張構成 $ \tilde{A} = A \cup qA $、$ \tilde{B} = B \cup qB $ は $ r > 2 $ の場合に同型なグラフをもたらすか？
• 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) $ を満たすならば、同スペクトル的巡回グラフは同型でなければならない。
• $ r > 2 $ に対して $ n = 2^r p $ の場合、接続集合 $ 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 $ の場合の拡張グラフの同型性は未解決であり、本稿の主要な未解決問題の一つである。