2025-11-10T02:52:05.854014

An alternative proof of the asymptotic formula for the Fourier coefficients of the elliptic modular $j$-function

Ikeda

In 1997, BÃ¡ez-Duarte gave a probabilistic proof of the asymptotic formula for the partition function, which had originally been proved by Hardy-Ramanujan. Based on the probabilistic approach, this paper proves an asymptotic formula for the coefficients of the elliptic modular $j$-function using various expressions in terms of modular functions having simple infinite products.

academic

타원 모듈러 $j$ -함수의 푸리에 계수 점근 공식의 대안적 증명

기본 정보

논문 ID: 2510.10598
제목: An alternative proof of the asymptotic formula for the Fourier coefficients of the elliptic modular $j$ -function
저자: Karin Ikeda (Kyushu University)
분류: math.NT (정수론)
발표 시간: 2025년 10월 12일
논문 링크: https://arxiv.org/abs/2510.10598

초록

본 논문은 Báez-Duarte가 1997년에 제시한 확률론적 방법에 기반하여 타원 모듈러 $j$ -함수의 푸리에 계수 점근 공식의 새로운 증명을 제시한다. 이 방법은 단순한 무한곱 표현식을 갖는 모듈러 함수의 다양한 표현을 이용하여 확률론적 기법을 통해 고전적인 점근 공식 $c_n \sim \frac{e^{4\pi\sqrt{n}}}{\sqrt{2}n^{3/4}}$ 을 증명한다.

연구 배경 및 동기

핵심 문제: 본 논문은 타원 모듈러 $j$ -함수의 푸리에 계수의 점근 거동을 연구한다. $j$ -함수는 다음과 같이 정의된다: $j(\tau) = \frac{E_4(\tau)^3}{\eta(\tau)^{24}} = \frac{1}{q} + 744 + 196884q + 21493760q^2 + \cdots$
문제의 중요성:
- $j$ -함수는 모듈러 형식 이론의 핵심 대상이며, "Monster" 단순군과 깊은 연관이 있다
- 그 푸리에 계수의 점근 공식은 해석적 정수론의 고전적 문제이다
- 이 공식은 수학 물리학과 대수 기하학에서 중요한 응용을 가진다
기존 방법의 한계:
- 전통적 증명은 원 방법(circle method)을 사용하며, Petersson과 Rademacher에 의해 독립적으로 완성되었다
- 후속 증명은 특이 모듈의 대각합 공식에 기반하며, 기술이 복잡하다
- 직관적인 확률론적 해석이 부족하다
연구 동기: 분할 함수에 대한 Báez-Duarte의 확률론적 증명에서 영감을 받아, 더 직관적이고 통일된 증명 방법을 추구한다

핵심 기여

새로운 확률론적 증명 방법 제시: Báez-Duarte의 확률론적 기법을 $j$ -함수의 푸리에 계수 분석으로 확장
다양한 모듈러 함수 표현 확립: 세타 함수와 Hauptmodul의 서로 다른 표현식을 이용하여 여러 독립적 증명 제공
강한 가우스 조건 증명: 관련 무한곱 함수에 대해 확률론적 중심극한정리 확립
통일된 틀: 일반 에타 몫 함수의 점근 분석을 위한 체계적 방법 제공

방법 상세 설명

작업 정의

$j$ -함수의 푸리에 계수의 점근 공식 증명: $c_n \sim \frac{e^{4\pi\sqrt{n}}}{\sqrt{2}n^{3/4}} \quad (n \to \infty)$

핵심 방법 구조

1. 확률론적 틀

멱급수 $F(t) = \sum_{n=0}^{\infty} f_n t^n$ 에 대해 확률변수 $X_t$ 를 정의한다: $P[X_t = n] := \frac{f_n t^n}{F(t)}$

주요 량:

평균: $m(t) = t\frac{d}{dt}\log F(t)$
분산: $\sigma^2(t) = t\frac{d}{dt}m(t)$
특성함수: $E[e^{i\theta X_t}] = \frac{F(e^{i\theta}t)}{F(t)}$

2. 강한 가우스 조건

표준화 확률변수 $Z(t) = \frac{X(t)-m(t)}{\sigma(t)}$ 를 정의하면, 강한 가우스 조건은 다음을 요구한다: $\lim_{t \to R} \int_{-\pi\sigma(t)}^{\pi\sigma(t)} |E[e^{i\theta Z(t)}] - e^{-\frac{1}{2}\theta^2}|d\theta = 0$

3. 점근 공식 보조정리

보조정리 2.2: $F(t)$ 가 강한 가우스 조건을 만족하면: $f_n \sim \frac{F(\tau_n)}{\sqrt{2\pi\tilde{\sigma}(\tau_n)}\tau_n^n}$ 여기서 $\tau_n$ 은 방정식 $\tilde{m}(\tau_n) = n$ 의 해이다.

기술적 혁신점

1. 세타 함수 표현법

Kaneko의 항등식을 이용한다: $j(\tau) = 27(\theta_0(\tau)^8 + \theta_2(\tau)^8 + \theta_3(\tau)^8)(\theta_0(\tau)^{-8} + \theta_2(\tau)^{-8} + \theta_3(\tau)^{-8})$

$j$ -함수를 세 부분으로 분해한다:

$H_1(\tau) = 27\left(\left(\frac{\theta_0(\tau)}{\theta_2(\tau)}\right)^8 + \left(\frac{\theta_3(\tau)}{\theta_2(\tau)}\right)^8\right)$
$H_2(\tau) = 27\left(\left(\frac{\theta_0(\tau)}{\theta_3(\tau)}\right)^8 + \left(\frac{\theta_3(\tau)}{\theta_0(\tau)}\right)^8\right)$
$H_3(\tau) = 27\left(\left(\frac{\theta_2(\tau)}{\theta_3(\tau)}\right)^8 + \left(\frac{\theta_2(\tau)}{\theta_0(\tau)}\right)^8\right)$

2. 무한곱 분석

함수 $P_{m,a}(t) = \prod_{n=0}^{\infty}(1-t^{mn+a})^{-1}$ 과 $Q(t) = \prod_{n=1}^{\infty}(1+t^{2n-1})$ 에 대해 다음을 확립한다:

평균 및 분산 추정:

$m_{P_{m,a}}(t) = \frac{\pi^2}{6m\rho^2} + O(\frac{1}{\rho})$
$\sigma^2_{P_{m,a}}(t) = \frac{\pi^2}{3m\rho^3} + O(\frac{1}{\rho^2})$
$m_Q(t) = \frac{\pi^2}{24\rho^2} + O(\frac{1}{\rho})$
$\sigma^2_Q(t) = \frac{\pi^2}{12\rho^3} + O(\frac{1}{\rho^2})$

여기서 $\rho = -\log t$ 이다.

3. 리아푸노프 중심극한정리의 적용

정리 2.4: 리아푸노프 조건을 검증함으로써: $\lim_{n \to \infty} \sum_{k=1}^{r_n} \frac{1}{s_n^{2+\delta}} E[|X_{n,k}|^{2+\delta}] = 0$ 강한 가우스 조건을 확립한다.

실험 설정

이론적 검증 방법

본 논문은 순수 이론 연구이며, 다음 방식으로 검증한다:

다중 표현 검증: 세타 함수 표현과 Hauptmodul 표현 두 가지 서로 다른 방법 사용
성분 분석: $H_1, H_2, H_3$ 의 기여도를 각각 계산하여 주항의 출처 검증
수치적 일관성: 서로 다른 방법이 동일한 점근 공식을 도출함을 확인

계산 복잡도 분석

오일러-맥클로린 공식의 적용은 $O(\log(1/\lambda))$ 정확도 필요
무한곱의 절단 오차는 $O(e^{-c/\lambda})$
전체 계산 복잡도는 다항식 수준

주요 결과

핵심 정리

정리 3.2: $j$ -함수의 푸리에 계수는 다음을 만족한다: $c_n \sim \frac{e^{4\pi\sqrt{n}}}{\sqrt{2}n^{3/4}} \quad (n \to \infty)$

성분 기여도 분석

$H_1$ 의 기여: $h_{1,n}^* \sim \frac{e^{4\pi\sqrt{n}}}{\sqrt{2}n^{27/4}}$
$H_2$ 의 기여: $h_{2,n} \sim \frac{e^{4\pi\sqrt{n}}}{2\sqrt{2}n^{3/4}}$
$H_3$ 의 기여: $h_{3,n} \sim \frac{e^{4\pi\sqrt{n}}}{2\sqrt{2}n^{3/4}}$

핵심 발견: $H_2$ 와 $H_3$ 이 주요 기여를 제공하며, $H_1$ 의 기여는 점근적 의미에서 무시할 수 있다.

Hauptmodul 방법 검증

9개의 서로 다른 Hauptmodul 표현( $N = 2,3,4,5,7,9,13,25$ )을 통해 동일한 점근 공식을 검증했다:

$N$	주항	점근 계수
2	$2^{24}/j_2^2$	$\frac{e^{4\pi\sqrt{n}}}{\sqrt{2}n^{3/4}}$
3	$3^{18}/j_3^3$	$\frac{e^{4\pi\sqrt{n}}}{\sqrt{2}n^{3/4}}$
5	$5^{15}/j_5^5$	$\frac{e^{4\pi\sqrt{n}}}{\sqrt{2}n^{3/4}}$