[論文レビュー] On the eigenvalues of cyclic covers of Paley graphs

Natalie Dinin, John A. Lind|arXiv (Cornell University)|Jan 17, 2026

Finite Group Theory Research被引用数 0

ひとこと要約

論文は Paley グラフの翻訳不変的 Z/ell-カバーを分析し、固有値が素数体で同型性を決定することを示す一方、q = p^r (r≥2) ではそうではなく、共スペクトルだが非同型のカバーを構築する。

ABSTRACT

We study covering graphs of the Paley graph associated to a finite field of characteristic p in the case where the covering transformation group is cyclic of prime order distinct from p. When the field has q = p elements, we show that the eigenvalues of the adjacency matrix determine the graph isomorphism class among translation invariant covers. When q = p^r > p, we construct examples of cospectral covering graphs that are not isomorphic as graphs.

研究の動機と目的

• 素数特性を持つ体での循環被覆群を持つ Paley グラフの cyclic covers を調査する。
• これらのカバーの隣接行列固有値を特性和とフーリエ解析を用いて計算する。
• 隣接スペクトルがカバーの同型性を決定する条件を明らかにし、共スペクトル性を用いた反例を構築する。
• カバー間の同型性識別に関する剛性結果（ Cayley 同型性型）を確立する。
• スペクトル等価にもかかわらず非同型を検出する手法を提供する。

提案手法

• Paley グラフ X(F_q) とその Z/ell-covers X^alpha を F_q^× 上の電圧割当 alpha によってモデル化する。
• 隣接固有値 theta^alpha_{a,k} を tr(a s) の指示和と文字の組合せとして表現する: theta^alpha_{a,k} = sum_{s in F_q^×} chi_a(s) psi_k(alpha(s))。
• theta^alpha_{a,0} が Paley 固有値を再現することを示し、実際の値には Davenport–Hasse と Gauss 和を用いる。
• q=p のとき固有値対応と場自動同型を分析して隣接スペクトルが同型性を決定することを示す（定理1 / 定理 3.6）。
• r≤4 または ell>(q−1)/2 の場合に Cayley 同型性型の剛性（定理 4.1）を証明し、同型は F_q^+ × Z/ell の特定の自己同型から生じることを示す。
• q=25 の場合に共スペクトルかつ非同型のカバーを構築する方法を提示し、psi でねじれた隣接行列 A(psi^alpha) で共スペクトル性を検証する一般的手法を示す。

実験結果

リサーチクエスチョン

• RQ1 隣接スペクトルが Paley グラフの翻訳不変 Z/ell-カバーの同型クラスを決定するか（q=p が素数の場合）？
• RQ2 q=p^r (r≥2) の場合、共スペクトルなカバーは必ずしも同型か？
• RQ3 カバー群 F_q^+ × Z/ell に対して Cayley 同型性性質はどの条件で成り立つ？
• RQ4 Paley グラフの Z/ell-カバーを共スペクトルかつ非同型に構築するには？
• RQ5 スペクトルデータから非同型のカバーを区別するための剛性結果は何か？

主な発見

• q=p の場合、翻訳不変的 Z/ell-カバーの同型クラスは隣接スペクトルによって決定される（定理1）。
• q=p^r>p の場合、非同型だが共スペクトルなカバーが存在する（§5 の構築）。
• X^alpha の固有値は theta^alpha_{a,k} = sum_{s in F_q^×} zeta_p^{tr(as)} zeta_ell^{k alpha(s)} (3.2) によって与えられる。
• X^alpha と X^beta が ell>(q−1)/2 または r≤4 のとき同型であれば、同型は f(x,i)=(t x^sigma, i) によるものであり、alpha と beta は beta(ts^sigma)=alpha(s) を満たす（命題 4.2、定理 4.1）。
• psi によるねじれた隣接行列 A(psi^alpha) と A(psi^beta) の共スペクトル性は、theta^alpha_{a,k}=theta^beta_{f(a),k} を与える奇置換多項式 f(T) に対応する（命題 5.2）。
• 論文は q=25 に対して共スペクトルかつ非同型のカバーを生成する構成的手法を提供し、共スペクトル性を確立する一般的手法を論じる。