[논문 리뷰] Orthogonal and symplectic n-level densities

Amy M. Mason, N. C. Snaith|arXiv (Cornell University)|2015. 09. 17.

Analytic Number Theory Research참고 문헌 65인용 수 2

한 줄 요약

이 논문은 오르토고널 또는 심플렉틱 대칭을 가진 L함수 가족에서 제로의 n-레벨 밀도에 대한 명시적 추측을 Ratios Conjectures 프레임워크를 사용하여 수립한다. 무작위 행렬 이론의 방법—특히 L함수의 비율 평균 계산—을 응용하여, 하위항을 포함한 공식을 유도하며, 이는 기존의 무작위 행렬 통계의 극한과 일치하여, SO(2N) 및 USp(2N) 군에 대한 Katz-Sarnak 추측과의 일致성을 확인한다.

ABSTRACT

In this paper we apply to the zeros of families of $L$-functions with orthogonal or symplectic symmetry the method that Conrey and Snaith used to calculate the $n$-correlation of the zeros of the Riemann zeta function. This method uses the Ratios Conjectures for averages of ratios of zeta or $L$-functions. Katz and Sarnak conjecture that the zero statistics of families of $L$-functions have an underlying symmetry relating to one of the classical compact groups $U(N)$, $O(N)$ and $USp(2N)$. Here we complete the work already done with $U(N)$ to show how new methods for calculating the $n$-level densities of eigenangles of random orthogonal or symplectic matrices can be used to create explicit conjectures for the $n$-level densities of zeros of $L$-functions with orthogonal or symplectic symmetry, including all the lower order terms. We show how the method used here results in formulae that are easily modified when the test function used has a restricted range of support, and this will facilitate comparison with rigorous number theoretic $n$-level density results.

연구 동기 및 목표

• 이전에 U(N) 행렬과 리만 제타 함수에 적용된 Ratios 추측 방법을, 오르토고널(SO(2N)) 및 심플렉틱(USp(2N)) 대칭을 가진 L함수 가족으로 체계적으로 확장하기 위해.
• 무작위 행렬 이론의 주요 극한을 초월하는 하위항 보정 항을 포함한, L함수의 제로에 대한 n-레벨 밀도에 대한 명시적이고 계산 가능한 공식을 도출하기 위해.
• 결과로 도출된 추측이, 특히 시험 함수의 지지 집합이 제한된 경우에 정밀한 수론적 결과와 비교 가능한 형태가 되도록 보장하기 위해.
• 대규모 N 근처에서 추측된 n-레벨 밀도가 오르토고널 및 심플렉틱 무작위 행렬 군의 고유값 상관관계에 대한 알려진 행렬식 형태로 수렴하는지 확인하기 위해.

제안 방법

• 오르토고널 또는 심플렉틱 대칭을 가진 가족에서 L함수의 비율 평균을 계산하기 위해 Ratios Conjectures 프레임워크 [21]를 적응 적용한다.
• 적분 변환과 경로 변형 기법을 사용하여, 제로 합을 특수 함수인 ψ′/ψ 및 제타 비율과 연결함으로써 평균을 평가한다.
• 복소 평면의 임계점에서의 유수 계산을 적용하여, 특히 α = −β, α = 0, β = 0에서의 영향을 계산하며, 부호와 대칭성을 정확히 추적한다.
• 지표 부분집합(K, L, M)에 대한 체계적 전개를 통해 n-레벨 밀도 공식을 유도하며, 포함-배제 원리에 따라 다중 적분에 기여하는 부호 요소 (−1)^|M| 를 포함한다.
• 가족의 도수를 제한하는 X → ∞의 근처에서 점근 분석을 수행하여, SO(2N) 및 USp(2N) 고유값 상관핵으로의 수렴을 확인한다.
• Euler-Maclaurin 공식과 로그 근사법을 사용하여 점근 전개에서 주요 항(L² 계수)을 추출하며, 여기서 L = log(√(MX)/(2π))이다.

실험 결과

연구 질문

• RQ1 Ratios 추측 방법은 이전에 유니터리 경우에만 적용된 바가 있으나, 오르토고널 또는 심플렉틱 대칭을 가진 L함수 가족으로 체계적으로 확장될 수 있는가?
• RQ2 이러한 가족에서 제로의 n-레벨 밀도에 대해 하위항 보정 항까지 포함한 명시적 공식을 도출할 수 있는가?
• RQ3 시험 함수의 지지 집합이 제한된 경우 이러한 추측된 밀도는 어떻게 행동하며, 정밀한 수론적 결과와 비교할 수 있는가?
• RQ4 대규모 N 근처에서 추측된 n-레벨 밀도가 SO(2N) 및 USp(2N) 무작위 행렬 군의 고유값 상관관계에 대한 알려진 행렬식 형태로 수렴하는가?

주요 결과

• 도수 d ≤ X 이고 ω_E = +1 인 타원곡선 L함수 가족의 n-레벨 밀도는 J*E(A,B)를 포함하는 경로 적분 표현으로 주어지며, 극과 유수 항의 명시적 기여가 포함된다.
• 오르토고널 경우에 대한 추측된 n-레벨 밀도는 X → ∞의 극한에서 알려진 커널 K_SO,even(θ₁,θ₂) = [sin(π(θ₂−θ₁))/π(θ₂−θ₁)] + [sin(π(θ₂+θ₁))/π(θ₂+θ₁)]로 수렴한다.
• n-레벨 밀도의 주요 점근적 행동은 L² 비례하며, 여기서 L = log(√(MX)/(2π)) 이다. 이는 무작위 행렬 이론에서 예상되는 척도와 일致함을 확인한다.
• α = −β 및 α = 0, β = 0에서의 유수 기여는 명시적으로 계산되었으며, 전개에서 상수항과 선형항에 영향을 미친다.
• 이 방법은 SO(2N) 행렬에 대해 알려진 극한 커널을 성공적으로 재현하여, 기존의 무작위 행렬 결과와의 일致성을 검증한다.
• 공식은 시험 함수의 지지 집합이 제한된 경우에 쉽게 수정 가능하도록 구성되어 있어, 정밀한 수론적 n-레벨 밀도 정리와 직접 비교할 수 있다.