[논문 리뷰] Spectral Theory of Isogeny Graphs

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

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.

연구 동기 및 목표

• 수준 구조를 갖춘 초특이 타원곡선의 이소지 그래프에 대해 라마누잔 성질을 확립하여 최적의 스펙트럼 확장을 보장한다.
• 모듈라 형식을 계산하기 위한 메스트의 '그래프 방법'을 인접행렬의 고유벡터를 통해 일반화한다.
• 고유값의 점근적 분포, 연결 성분 수, 자동환의 수, 그리고 모듈라 형식과의 관계를 분석한다.
• 수준 구조를 갖춘 이소지 그래프가 고전적 이소지 그래프의 결과를 확장하여 최적의 확장 성질을 유지함을 확인한다.
• 특히 제로지식 증명 시스템에서의 응용을 위해 이소지 기반 암호에 대한 스펙트럼 기반 기초를 제공한다.

제안 방법

• 수준 $ H $-구조를 갖춘 $ \bar{\mathbb{F}}_p $ 위의 초특이 타원곡선의 동형류를 정점으로 하는 이소지 그래프 $ G(p, \rho, H) $ 를 구성한다.
• 정점 간의 간선을 차수 $ \ell $ 인 이소지로 정의하며, 타겟 곡선의 자동환에 대해 모듈로를 취한다.
• 인접행렬 $ 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}] $ 내에 존재하며, 이는 라마누잔 경계와 일치한다.
• 고유값의 점근적 분포는 케스텐-맥케이 법칙을 따르며, 이는 그래프가 최적의 확장자임을 확인한다.
• 그래프의 연결 성분 수는 관련 힐버트 대수의 클래스 수와 일치하며, 고전적 결과를 일반화한다.
• 정점의 자동환군은 수준 구조에 의해 제어된다: 예를 들어, 보렐 및 완전 수준 구조는 자동환을 감소시키고, 비어 있는 구조는 전체 $ \mathrm{GL}_2 $ 대칭성을 유지한다.
• 스펙트럼 이론은 인접행렬의 고유벡터를 통한 고유형식 계산을 위한 메스트 방법의 일반화를 위한 프레임워크를 제공한다.
• 수준 구조를 갖춘 이소지 그래프는 스펙트럼 간격 분석과 선다발 위의 헤크 연산자 작용을 통해 최적의 확장 성질을 그대로 이어받는다.