[논문 리뷰] Numerical computation of Petersson inner products and $q$-expansions

Dan J. Collins|arXiv (Cornell University)|2018. 02. 27.

Algebraic Geometry and Number Theory참고 문헌 10인용 수 9

한 줄 요약

이 논문은 푸리에 계수의 선형 보간을 통한 보조형의 q-전개를 임의의 정점에서 수치적으로 계산하는 두 가지 수치 알고리즘을 제시한다. 이를 통해 넬슨의 공식을 이용한 페르스폰 내적의 효율적 평가가 가능해지며, 주요 기여는 높은 정밀도로 내적과 L-값을 계산함으로써 이치노의 삼중곱 공식의 이론적 상수를 수치적으로 검증할 수 있는 실용적인 방법을 제공한다는 점이다. 이는 명시적 사례에서 이론적 상수의 확인을 가능하게 한다.

ABSTRACT

In this paper we discuss the problem of numerically computing Petersson inner products of modular forms, given their $q$-expansion at $\infty$. A formula of Nelson reduces this to obtaining $q$-expansions at all cusps, and we describe two algorithms based on linear interpolation for numerically obtaining such expansions. We apply our methods to numerically verify constants arising in an explicit version of Ichino's triple-product formula relating $\langle fg,h angle$ to the central value of $L(f imes g imes \bar{h},s)$, for three modular forms $f,g,h$ of compatible weights and characters.

연구 동기 및 목표

• 무한대에서의 q-전개만 주어진 경우, 모든 정점에서 보조형의 q-전개를 수치적으로 계산할 수 있는 방법을 개발한다.
• 각 정점에서의 전개 계수와 수정된 베셀 함수 항을 포함하는 넬슨의 공식을 이용해, 보조형 공간 전체를 다루지 않고도 정확한 페르스폰 내적을 계산할 수 있도록 한다.
• 이치노의 삼중곱 공식의 명시적 형태에서 ⟨fg,h⟩와 L(f×g×h̄,s) 사이의 관계를 수치적으로 검증하기 위해, 내적과 L-값을 고정밀도로 계산한다.
• 특히 수준이 크거나 서로소인 경우에 대해 전체 보조형 공간 계산의 계산 효율적인 대안을 제공한다.
• 이치노의 공식에서 예측한 이론적 상수를, 수치적으로 계산한 내적 비율과 L-값을 비교하여 이론적 상수의 타당성을 검증한다.

제안 방법

• 상반평면의 특정 점들에서 f|γ_k의 값을 선형 보간하여, f|γ_k의 무한대에서의 q-전개를 재구성함으로써, γ(∞)에서 f의 정점 전개를 구한다.
• 변형된 보조형 f|γ_k를 철저히 선택된 점들에서 샘플링하여 최소 제곱법을 적용함으로써, 정점에서의 q-전개 계수를 근사화한다.
• 두 가지 변형을 구현: 일반 보조형을 위한 알고리즘 2.3과 고유형식의 구조를 활용해 계산 비용을 줄이는 알고리즘 2.6.
• 넬슨의 공식을 활용해 페르스폰 내적을 각 정점에서의 전개 계수와 베셀 함수 항을 포함하는 정점 합으로 표현한다.
• 비교를 위해 도크히트서의 알고리즘을 사용하여 L-값을 계산함으로써 고정밀도 수치 검증을 확보한다.
• 이 방법을 적용하여 |⟨fg,h⟩|²와 L(f×g×h̄,m−1)의 비율을 계산하고, 이치노의 공식에서 예측한 이론적 상수와 비교한다.

실험 결과

연구 질문

• RQ1 무한대에서의 q-전개만 주어졌을 때, 임의의 정점에서의 보조형 q-전개를 고정밀도로 수치적으로 계산할 수 있는가?
• RQ2 보조형 공간 전체를 다루지 않고도 페르스폰 내적을 효율적으로 계산할 수 있는 방법은 무엇인가?
• RQ3 |⟨fg,h⟩|² / L(f×g×h̄,m−1)의 수치적 값이 이치노의 공식에서 예측한 이론적 상수와 일치하는가?
• RQ4 이 방법은 L-함수의 초구형, 주요 시리즈, 또는 비분해 가능한 국소 성분을 포함하는 경우에도 신뢰성 있게 처리할 수 있는가?
• RQ5 다양한 국소 표현을 가진 다양한 사례에서 이치노의 공식을 검증할 때의 수치 정밀도와 계산 비용은 어떠한가?

주요 결과

• 선형 보간을 통한 모든 정점에서의 q-전개 계산 방법이 성공적으로 구현되어, 넬슨의 공식을 통한 페르스폰 내적의 수치적 평가가 가능해졌다.
• f의 무게 6, 수준 4, 자명한 특성, g=Δ, h의 무게 18, 수준 1인 초구형 케이스에서, 계산된 비율은 이론적 상수와 매우 높은 정밀도로 일치하였다: ≈6.4929462×10⁻²⁵.
• 두 개의 비분해형과 하나의 초구형 표현이 포함된 케이스에서, 계산된 비율은 (1+1/p)⁻²과 대수적 인자들을 포함하는 이론적 표현과 일치하여 공식의 정당성을 확인하였다.
• 두 개의 동형 초구형과 하나의 비분해형 표현이 포함된 케이스에서, 계산된 비율은 α와 c=2를 포함하는 이론적 표현과 일치하였으며, ≈2.63747667×10⁻¹⁸로 계산되었다.
• c=4이면서 비자명한 사타케 매개변수를 가진 케이스에서, 계산된 비율은 (α² + 1 + α⁻² − 1/p)²를 포함하는 이론적 표현과 일치하였으며, ≈5.23125495×10⁻¹⁸로 확인되었다.
• 다양한 사례에서의 수치적 일치는 이치노의 공식에 포함된 이론적 상수가 정확하며, 추가적인 요소나 2의 거듭제곱 요소가 없는 강력한 증거를 제공한다.