[논문 리뷰] Modeling Convolutions of $L$-Functions

Steven J. Miller, Ralph Morrison|arXiv (Cornell University)|2010. 11. 01.

Analytic Number Theory Research참고 문헌 48인용 수 3

한 줄 요약

이 논문은 라만두안의 타우 $L$-함수와 2차 딜리클레 $L$-함수의 합성곱의 영점들의 일차 밀도에 대한 비율 추측(Ratios Conjecture)의 예측을 검증하며, 제곱근 오차항 정확도를 달성한다. 이는 랜덤 행렬 이론과는 달리 비율 추측이 산술적 의존성에 기인한 고차항을 포착함을 보여주며, 이러한 합성곱에 대해 크로네커乘법의 실패를 보여준다.

ABSTRACT

A number of mathematical methods have been shown to model the zeroes of $L$-functions with remarkable success, including the Ratios Conjecture and Random Matrix Theory. In order to understand the structure of convolutions of families of $L$-functions, we investigate how well these methods model the zeros of such functions. Our primary focus is the convolution of the $L$-function associated to Ramanujan's tau function with the family of quadratic Dirichlet $L$-functions, for which J.B. Conrey and N.C. Snaith computed the Ratios Conjecture's prediction. Our main result is performing the number theory calculations and verifying these predictions for the one-level density for suitably restricted test functions up to square-root error term. Unlike Random Matrix Theory, which only predicts the main term, the Ratios Conjecture detects the arithmetic of the family and makes detailed predictions about their dependence in the lower order terms. Interestingly, while Random Matrix Theory is frequently used to model behavior of L-functions (or at least the main terms), there has been little if any work on the analogue of convolving families of L-functions by convolving random matrix ensembles. We explore one possibility by considering Kronecker products; unfortunately, it appears that this is not the correct random matrix analogue to convolving families.

연구 동기 및 목표

• 비율 추측과 랜덤 행렬 이론이 $L$-함수 가족의 영점들을 얼마나 잘 모델링하는지 조사하기 위해.
• 라만두안의 타우 $L$-함수와 2차 딜리클레 $L$-함수의 합성곱에 대한 일차 밀도에 대한 비율 추측의 예측을 검증하기 위해.
• 일차 밀도의 고차항에 나타나는 산술적 구조를 분석하고, 랜덤 행렬 이론이 주항만 고려하는 것과 대비하기 위해.
• 랜덤 행렬 집합의 크로네커乘법이 $L$-함수 가족의 합성곱에 대해 타당한 유사 모델이 되는지 탐색하기 위해.
• 일차 밀도의 명시적 공식에서 오차항을 계산하고 경계를 설정하여 제곱근 정확도에 도달하기 위해.

제안 방법

• 영점의 합을 소수와 산술 함수의 합으로 연결하기 위해 명시적 공식을 사용한다.
• 콘트리 및 스나이스가 유도한 비율 추측의 일차 밀도 예측을 타우 $L$-함수의 2차 스위치 가족에 적용한다.
• 시험 함수의 푸리에 변환과 메린 변환을 사용하여 경로 적분을 통한 일차 밀도 분석을 수행한다.
• 오일러 곱 전개에서 오차항을 제어하기 위해 라만두안의 타우 함수에 대한 델리그의 경계를 적용한다.
• $\frac{L'}{L}$-함수 접근법을 사용하여 임계점에서 $L$-함수의 로그 도함수를 분석한다.
• 델리그의 정리에 기반하여 $\tau^*(p^k)$의 경계를 활용해 소수 거듭제곱에 대한 합의 점근적 분석을 수행한다.

실험 결과

연구 질문

• RQ1 비율 추측은 타우 $L$-함수와 2차 딜리클레 $L$-함수의 합성곱에 대한 일차 밀도를 어느 정도 정확하게 예측하는가?
• RQ2 일차 밀도의 고차항이 가족의 산술적 불변량을 어떻게 반영하는가? 비율 추측은 이러한 의존성을 포착할 수 있는가?
• RQ3 랜덤 행렬 집합의 크로네커乘법이 $L$-함수 가족의 합성곱을 모델링할 수 있는가? 랜덤 행렬 이론이 개별 $L$-함수를 모델링하는 방식과 유사한가?
• RQ4 일차 밀도 계산의 오차항 크기와 성격은 무엇이며, 제곱근 정확도로 경계를 설정할 수 있는가?
• RQ5 대칭 제곱 $L$-함수의 $\frac{L'}{L}$-함수의 해석적 성질은 일차 밀도와 어떻게 관련되는가?

주요 결과

• 비율 추측의 일차 밀도 예측은 수론적 계산과 제곱근 오차항까지 일치한다.
• 비율 추측은 대칭 제곱 $L$-함수와 리만 제타 함수에 관여하는 고차항의 산술적 의존성을 성공적으로 포착한다.
• 일차 밀도 계산의 오차항은 $O(Q^{-1/2 + \epsilon})$로 경계지어지며, 이는 추측의 제곱근 수준 정확도를 확인한다.
• 랜덤 행렬 이론은 주항만 예측하므로, 일차 밀도에 존재하는 고차항의 산술적 항을 모델링하지 못한다.
• 직교 및 심부플렉틱 행렬의 크로네커乘법은 $L$-함수 가족의 합성곱에 대해 타당한 랜덤 행렬 유사 모델이 되지 못한다.
• 분석 결과, 대칭 제곱 $L$-함수의 $\frac{L'}{L}$-함수는 일차 밀도에 비자명한 항을 기여하며, 이는 비율 추측을 통해 검출 가능하지만 랜덤 행렬 이론에서는 검출되지 않는다.