[논문 리뷰] On the computation of coefficients of modular forms: the reduction modulo p approach

Jinxiang Zeng, Linsheng Yin|arXiv (Cornell University)|2012. 11. 06.

Analytic Number Theory Research참고 문헌 17인용 수 4

한 줄 요약

이 논문은 레벨 1의 모듈라 형식 계수를 계산하기 위한 확률적 알고리즘을 제시하며, 라마누잔의 타우 함수에 중점을 둔다. 소수 모듈로로 문제를 축소하고 중국인의 나머지 정리에 의해 재구성함으로써, 헤스의 알고리즘을 이용해 모듈라 곡선의 아벨 다양체 위에서 갈로아 표현을 계산하며, τ(p)에 대해 O(log⁶⁺²⁰⁺δ⁺ε p)의 시간 복잡도를 달성한다.

ABSTRACT

In this paper we present a probabilistic algorithm to compute the coefficients of modular forms of level one. Focus on the Ramanujan's tau function, we give out the explicit complexity of the algorithm. From a practical viewpoint, the algorithm is particularly well suited for implementations.

연구 동기 및 목표

• 레벨 1의 모듈라 형식 계수, 특히 라마누잔의 타우 함수를 효율적으로 계산하는 알고리즘을 개발하기 위해.
• 기존 다항식 시간 알고리즘의 명시적 복잡도 분석과 실용적 구현 전략의 부족을 해결하기 위해.
• 소수 모듈로 축소와 중국인의 나머지 정리를 활용해 모듈라 형식과 관련된 갈로아 표현을 재구성하기 위해.
• 레hmaer의 비영성 추측에 대한 기존의 경계를 향상시키기 위해.
• 명시적 시간 복잡도를 제공하는 실용적이고 분석 가능한 방법으로 τ(p)를 계산하기 위해.

제안 방법

• 모듈라 형식 Δ(q)와 관련된 mod-ℓ 갈로아 표현 ρℓ을 이용해, O(log p) 이내의 모든 소수 ℓ에 대해 τ(p) mod ℓ를 계산한다.
• ρℓ은 모듈라 곡선 X1(ℓ)의 아벨 다양체 J1(ℓ)의 ℓ- torsion 내에 있는 라마누잔 부분공간 Vℓ를 통해 실현된다.
• 소수 p에 대해 Vℓ를 소수 모듈로에서 Zeta 함수와 헤스의 아벨 다양체 산술 알고리즘을 이용해 계산한다.
• 함수체의 점들 위에서 헤케 연산자의 작용은 캐스프와의 대응을 통해 계산되며, 이는 Vℓ mod p의 명시적 계산을 가능하게 한다.
• 다양한 소수 모듈로에서의 결과를 중국인의 나머지 정리를 사용해 조합하여 Vℓ를 재구성하고, 이를 통해 τ(p)를 재구성한다.
• 복잡도를 감소시키기 위해 유한체 위에서의 효율적 이소지 계산과 헤케 대수의 유계 높이 생성자를 활용한다.

실험 결과

연구 질문

• RQ1 레벨 1의 모듈라 형식 계수는 명시적 복잡도 경계를 제공하면서 효율적으로 계산될 수 있는가?
• RQ2 소수 모듈로 축소 접근법을 어떻게 활용해 라마누잔 타우 함수와 관련된 갈로아 표현을 계산할 수 있는가?
• RQ3 유한체 위에서 모듈라 형식과 아벨 다양체 산술을 사용해 τ(p)를 계산할 때의 계산 복잡도는 무엇인가?
• RQ4 작은 소수 모듈로에서의 축소로부터 라마누잔 부분공간 Vℓ를 어떻게 재구성할 수 있는가?
• RQ5 τ(n) ≠ 0인 최대의 n은 무엇이며, 계산 방법을 통해 이 경계를 향상시킬 수 있는가?

주요 결과

• 알고리즘은 τ(p)를 O(log⁶⁺²⁰⁺δ⁺ε p)의 시간 복잡도로 계산하며, 이는 이 계산에 대해 처음으로 명시적 복잡도 경계를 제공한다.
• 라마누잔 부분공간 Vℓ는 O(ℓ⁵⁺²⁰⁺δ⁺ε)의 시간 복잡도로 계산되며, 이는 전체 부분공간에 대해 처음으로 제시된 복잡도 추정이다.
• 모든 n < 9.82 × 10²⁰에 대해 τ(n)의 비영성이 확인되었으며, 이는 이전의 2 × 10¹⁹ 경계를 크게 향상시킨 것이다.
• 레벨 13의 경우, Q₁₃(X)의 계산은 수분 내로 이루어졌고, 양호한 소수의 52자리 곱을 사용하였으며, ΓC(X) 재구성에는 몇 시간이 소요되었다.
• 레벨 31의 경우, 다항식 f₃₁는 작은 계수를 가진 차수 32의 다항식으로 압축되었으며, 그 분해체의 갈로아 군은 PGL₂(F₃₁)임을 확인하여 정확성을 입증하였다.
• 알고리즘은 이전 표에서 누락된 부호를 성공적으로 수정하였고, τ(10¹⁰⁰⁰ + 1357) ≡ ±18 mod 31를 계산하였다.