[论文解读] Spectral Theory of Isogeny Graphs

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

Finite Group Theory ResearchMathematics被引用 3

一句话总结

本文证明了具有水平结构的超奇异椭圆曲线的同源图具有Ramanujan性质，即其邻接矩阵具有最优谱间隙。通过代数几何与模形式理论，作者证明了特征值被限制在最优范围内，推广了Mestre的方法，并确认这些图是最佳扩展图，对同源基密码学与模形式计算具有重要意义。

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.

研究动机与目标

• 建立具有水平结构的超奇异椭圆曲线同源图的Ramanujan性质，确保最优谱扩展。
• 推广Mestre的“图法”（Méthode des graphes）以通过邻接矩阵特征向量计算模形式。
• 分析特征值的渐近分布、连通分量数、自同构群，以及与模形式的关联。
• 确认具有水平结构的同源图保持最优扩展性质，扩展经典同源图的结果。
• 为同源基密码学提供谱基础，特别是在零知识证明系统中的应用。

提出的方法

• 构建同源图 $ G(p, \rho, H) $，其顶点为 $ \bar{\mathbb{F}}_p $ 上具有水平 $ H $-结构的超奇异椭圆曲线的同构类。
• 定义边为在目标曲线自同构下等价的度 $ \ell $ 同源。
• 分析邻接矩阵 $ A = (a_{ij}) $，其中 $ a_{ij} $ 表示从 $ (E_j, \phi_j) $ 到 $ (E_i, \phi_i) $ 的同源数量。
• 应用代数几何技术，包括具有节点奇点的曲线上的Picard群与范数映射。
• 利用Picard群中环的特征群来建模Hecke算子，并研究线丛的上拉。
• 通过特征群与映射 $ \Sigma: \bigoplus \mathbb{Z} y_i^j \to \mathbb{Z}^r $ 的核之间的同构，将几何与谱性质关联。

实验结果

研究问题

• RQ1 具有水平结构的同源图是否满足Ramanujan性质，即其邻接矩阵的特征值是否被限制在最优谱范围内？
• RQ2 当 $ p \to \infty $ 时，邻接矩阵的特征值如何渐近分布？
• RQ3 具有水平结构的同源图中连通分量的数量是多少？其与类数或Galois作用的关系如何？
• RQ4 曲线与水平结构的自同构如何影响同源图的结构？
• RQ5 这些图的谱性质能否用于扩展Mestre的方法以通过邻接矩阵特征向量计算模形式？

主要发现

• 具有水平结构的同源图的邻接矩阵满足Ramanujan性质：所有非平凡特征值均位于最优区间 $ [-2\sqrt{\ell}, 2\sqrt{\ell}] $ 内，符合Ramanujan界。
• 特征值的渐近分布符合Kesten-McKay律，证实这些图为最佳扩展图。
• 图中连通分量的数量对应于相关四元数代数的类数，推广了经典结果。
• 顶点的自同构群受水平结构控制：例如，Borel结构与全水平结构会减少自同构，而平凡结构则保持完整的 $ \mathrm{GL}_2 $-对称性。
• 谱理论为推广Mestre方法提供了框架，可通过邻接矩阵特征向量计算特征形式。
• 具有水平结构的同源图继承了最优扩展性质，通过谱间隙分析与线丛上Hecke算子作用得以证明。