[論文レビュー] Spectral Theory of Isogeny Graphs

Giulio Codogni, Guido Lido|arXiv (Cornell University)|Aug 26, 2023

Finite Group Theory ResearchMathematics被引用数 3

ひとこと要約

本稿は、レベル構造を備えた上澄み楕円曲線の同一型写像グラフが、ラマヌジャン性質を有することを確立している。これは、隣接行列の固有値が最適なスペクトルギャップを有することを意味する。代数的幾何学およびモジュラー形式の手法を用いて、固有値が最適な範囲内に収束することを証明し、メステの方法を一般化し、これらのグラフが最適な拡張子であることを確認した。この結果は、同一型基盤暗号やモジュラー形式の計算に応用される。

ABSTRACT

We consider finite graphs whose vertexes are supersingular elliptic curves, possibly with level structure, and edges are isogenies. They can be applied to the study of modular forms and to isogeny based cryptography. The main result of this paper is an upper bound on the modules of the eigenvalues of their adjacency matrices, which in particular implies that these graphs are Ramanujan. We also study the asymptotic distribution of the eigenvalues of the adjacency matrices, the number of connected components, the automorphisms of the graphs, and the connection between the graphs and modular forms.

研究の動機と目的

• レベル構造を備えた上澄み楕円曲線の同一型グラフに対してラマヌジャン性質を確立し、最適なスペクトル拡張を保証する。
• モジュラー形式の計算におけるメステの「グラフの方法」を、隣接行列の固有ベクトルを用いて一般化する。
• 固有値の漸近的分布、連結成分の数、自己同型、モジュラー形式との関係を分析する。
• レベル構造を備えた同一型グラフが、古典的同一型グラフの結果を拡張して最適な拡張性質を維持することを確認する。
• 特にゼロ知識証明システムにおいて、同一型基盤暗号のスペクトル的基盤を提供する。

提案手法

• 標数 $ \bar{\mathbb{F}}_p $ 上の上澄み楕円曲線の同型類にレベル $ H $-構造を備えた同一型グラフ $ G(p, \rho, H) $ を構成する。
• このような曲線間の次数 $ \ell $ の同一型写像を辺として定義し、終域曲線の自己同型を modulo として扱う。
• 隣接行列 $ A = (a_{ij}) $ を分析し、$ a_{ij} $ は $ (E_j, \phi_j) $ から $ (E_i, \phi_i) $ への同一型写像の数を表す。
• ノード特異点を有する曲線のピック群およびノルム写像を用いた代数的幾何学的手法を適用する。
• ピック群内のトーラスの特徴群を用いてヘッケ作用素をモデル化し、ラインバンドルの押し出しを研究する。
• 特徴群と写像 $ \Sigma: \bigoplus \mathbb{Z} y_i^j \to \mathbb{Z}^r $ の核の間の同型を用いて、幾何学的性質とスペクトル的性質を関連付ける。

実験結果

リサーチクエスチョン

• RQ1 レベル構造を備えた同一型グラフは、ラマヌジャン性質を満たすか。すなわち、隣接行列の固有値が最適なスペクトル範囲内に収束するか。
• RQ2 $ p \to \infty $ のとき、隣接行列の固有値はどのように漸近的に分布するか。
• RQ3 レベル構造を備えた同一型グラフの連結成分の数は何か。クラス数やガロア作用とどのように関係するか。
• RQ4 曲線およびレベル構造の自己同型は、同一型グラフの構造にどのように影響するか。
• RQ5 これらのグラフのスペクトル的性質を用いて、メステの方法をモジュラー形式の計算に拡張できるか。

主な発見

• レベル構造を備えた同一型グラフの隣接行列は、ラマヌジャン性質を満たす。非自明な固有値はすべて最適な区間 $ [-2\sqrt{\ell}, 2\sqrt{\ell}] $ 内に存在し、これはラマヌジャンの境界と一致する。
• 固有値の漸近的分布はケステン＝マケイ分布に従い、グラフが最適な拡張子であることを確認する。
• グラフ内の連結成分の数は、関連するクaternion代数の類数に一致し、古典的結果を一般化する。
• 頂点の自己同型群はレベル構造によって制御される。例えば、ボレル構造および完全レベル構造では自己同型が減少するが、自明な構造では $ \mathrm{GL}_2 $-対称性が保存される。
• スペクトル理論により、隣接行列の固有ベクトルを用いたモジュラー形式の固有形式の計算へのメステの方法の一般化が可能となる。
• レベル構造を備えた同一型グラフは、スペクトルギャップ解析およびラインバンドル上のヘッケ作用素の作用を用いて、最適な拡張性質を継承することが示された。