[논문 리뷰] Evaluating Whittaker functions and Maass forms for SL(3,Z)

Borislav Mezhericher|ArXiv.org|2009. 10. 18.

Advanced Algebra and Geometry참고 문헌 6인용 수 3

한 줄 요약

이 논문은 SL(3,Z)에 대한 Jacquet의 Whittaker 함수를 수치적으로 평가하기 위한 알고리즘을 제시하고 성능을 비교하며, Fourier 전개를 통한 Maass 형식의 계산에 가장 효율적인 방법을 규명한다. 저자들은 이 방법을 알려진 Langlands 매개수를 가진 일반적인 Maass 형식에 적용하여 SL(3,Z)-동치인 점들에서의 값 간에 고정밀도 일치를 도출하였으며, 이는 그 형식의 자동형성에 대한 강력한 수치적 증거를 제공한다.

ABSTRACT

We present and compare several algorithms for evaluating Jacquet's Whittaker functions for SL(3, Z). The most suitable algorithm is then applied to the problem of evaluating a Maass form for SL(3, Z) with known eigenvalues and Fourier coefficients.

연구 동기 및 목표

• SL(3,Z)에 대한 Jacquet의 Whittaker 함수를 수치적으로 평가하기 위한 알고리즘을 개발하고 비교하는 것. 이는 고계수 자동형 함수 이론에서의 핵심 과제이다.
• Goldfeld가 정의한 바와 같이 Fourier 전개를 이용한 SL(3,Z)에 대한 Maass 형식의 수치적 실험을 가능하게 하는 것.
• 최근 3차 L-함수의 발견에 비추어, L-함수와 자동형 형식에 대한 가설을 시험할 수 있는 계산 도구를 제공하는 것.
• Bian와 Booker가 발견한 일반적인 Maass 형식의 자동형성에 대한 수치적 증거를 제공하는 것.
• 이전에 수치 탐색을 제한시켰던 고계수 Whittaker 함수에 대한 계산 결과의 부족을 보완하는 것.

제안 방법

• 논문은 Barnes 유형의 적분과 Mellin-Barnes 표현을 활용하여 Whittaker 함수를 감마 함수 비율의 경로 적분으로 표현한다.
• 이 적분은 경로를 이동시키고 잔여물을 합산함으로써 수치적으로 평가되며, Pochhammer 기호와 알려진 감마 함수 잔여물 공식을 사용한다.
• 성능 벤치마킹을 통해 핵심 알고리즘을 선정함: 각 평가의 계산 비용을 줄이기 위해 $ D = (m_1 y_1)^2 m_2 y_2 $의 곱을 고정하는 방식이다.
• Maass 형식의 Fourier 전개는 $ m_1, m_2 $ 및 $ c,d $에 대해 합산되며, $ ext{gcd}(c,d)=1 $, $ c \geq 1 $ 조건을 만족하고, 지수 감쇠와 $ |cz_2 + d| $의 경계에 기반한 절단 조건을 적용한다.
• 최적화된 Whittaker 함수 평가 방법을 활용하여 일반화된 상반평면 $ \mathfrak{h}^3 $ 내 특정 점들, 즉 항등원 및 $ SL(3,\mathbb{Z}) $에 의한 변환된 점들에서 Maass 형식의 값을 계산한다.
• 수치 정밀도는 기여도가 $ 10^{-12} $ 이하로 떨어질 때 합을 절단함으로써 제어되며, 군 작용에 따른 동치 점들에서의 값 비교를 통해 수렴성을 검증한다.

실험 결과

연구 질문

• RQ1 SL(3,Z)에 대한 Jacquet의 Whittaker 함수를 수치적으로 평가하기 위한 가장 효율적인 알고리즘은 무엇인가?
• RQ2 Maass 형식을 Fourier 전개와 Whittaker 함수 평가를 통해 정확하게 계산할 수 있는가?
• RQ3 SL(3,\mathbb{Z})-동치인 점들에서 Maass 형식의 값은 어떻게 비교되며, 이는 자동형성에 어떤 함의를 갖는가?
• RQ4 L-함수 탐지에 약 20개의 계수로 충분한 데 비해, 고정밀도 평가에 필요한 Fourier 계수의 수가 예상을 초월하는 정도는 어느 정도인가?
• RQ5 동치 점들에서의 값 간 수치적 일치가 후보 Maass 형식의 자동형성을 뒷받침하는 증거로 작용할 수 있는가?

주요 결과

• 고정된 $ D = (m_1 y_1)^2 m_2 y_2 $를 기반으로 한 선택된 Whittaker 함수 평가 알고리즘이 Maass 형식 계산에 가장 효율적이었다.
• 항등행렬에서 올린 Maass 형식의 평가는 최대 1806개의 Fourier 계수와 최대 972초(펜티엄 D 2.80GHz 기준)가 소요되었으며, 정밀도는 $ 10^{-12} $ 이내였다.
• Langlands 매개수 $ (-14.141638, -2.380388, 16.522027) $ 를 가진 일반적인 Maass 형식에 대해, $ z_0 $ 와 $ \gamma z_0 $ (여기서 $ \gamma \in SL(3,\mathbb{Z}) $) 에서의 값은 허수부에서 $ 10^{-4} $ 이내, 실수부에서 $ 10^{-3} $ 이내로 일치하였다.
• 여러 테스트 점들에서 $ f(z_0) $ 와 $ f(\gamma z_0) $ 의 일치는 Bian의 예시에 대한 자동형성에 대한 강력한 수치적 증거를 제공한다.
• 예를 들어 $ r = 26.056918 $ 에서 861개의 계수가 필요했음에도 불구하고, 이 방법은 고정밀도 평가를 달성하였으며, 대칭 전개에서의 최적화 가능성을 시사한다.
• 결과는 고계수 Maass 형식의 수치적 평가가 가능하며, 자동형 L-함수에 대한 의미 있는 통찰을 제공할 수 있음을 보여준다.