[논문 리뷰] Combinatorics of lower order terms in the moment conjectures for the Riemann zeta function

Paul-Olivier Dehaye|arXiv (Cornell University)|2012. 01. 21.

Analytic Number Theory Research참고 문헌 18인용 수 4

한 줄 요약

이 논문은 대칭 함수, 대칭군의 표현 이론, 알파벳 조작을 통해 리만 제타 함수의 모멘트 추측에서의 하위항을 이해하기 위한 조합론적 프레임워크를 제공한다. 주요 결과는 모멘트 다항식 $ P_k(x) $의 계수를 비틀린 분할의 차원과 소수 제타 함수로부터 유도된 산술 인자로 표현함으로써, $ L $-함수 가족 전반에 걸쳐 조합론적 요소와 산술적 요소를 통합한다.

ABSTRACT

Conrey, Farmer, Keating, Rubinstein and Snaith have given a recipe that conjecturally produces, among others, the full moment polynomial for the Riemann zeta function. The leading term of this polynomial is given as a product of a factor explained by arithmetic and a factor explained by combinatorics (or, alternatively, random matrices). We explain how the lower order terms arise, and clarify the dependency of each factor on the exponent $k$ that is considered. We use extensively the theory of symmetric functions and representations of symmetric groups, ideas of Lascoux on manipulations of alphabets, and a key lemma, due in a basic version to Bump and Gamburd. Our main result ends up involving dimensions of skew partitions, as studied by Olshanski, Regev, Vershik, Ivanov and others. In this article, we also lay the groundwork for later unification of the combinatorial computations for lower order terms in the moments conjectures across families of $L$-functions of unitary, orthogonal and symplectic types.

연구 동기 및 목표

• 리만 제타 함수의 모멘트 다항식 $ P_k(x) $에서 하위항 계수의 기원과 구조를 명확히 하기.
• 모멘트 추측을 산술적 요소와 조합론적 요소로 분해하여, 각 요소가 지수 $ k $ 에 따라 어떻게 의존하는지 보여주기.
• 특히 주로항 이외의 항에 중점을 두고, $ P_k(x) $의 계수 $ c_N(k) $ 를 체계적으로 계산하는 방법 개발.
• 유니타리, 옥타드럴, 심플렉틱 유형의 $ L $-함수 가족 전반에 걸쳐 조합론적 계산을 통합하는 기초 마련.
• 대칭 함수, 표현 이론, 소수 제타 함수와 같은 특수 함수를 사용하여 계수에 대한 명시적 공식 제공.

제안 방법

• 이 방법은 대칭 함수와 대칭군의 표현을 활용하며, 특히 슈어 함수와 푸워 합성 함수를 중심으로 한다.
• 라스코우의 알파벳 조작 이론을 사용하여 대칭 함수의 다양한 기저, 예를 들어 $ rak{p}_ u $, $ rak{s}_ u $, $ rak{m}_ u $ 간의 관계를 설정한다.
• 핵심 요소로는 모멘트 생성 함수의 조합론적 구조를 다루기 위해 빅스-감버드 보조정리를 활용하는 것이다.
• 계수 $ c_N(k) $ 는 $ d_{ u u'} $ 를 포함한 가중치를 가진 분할 $ u, u' $ 에 대한 합으로 표현되며, 이 $ d_{ u u'} $ 는 소수 제타 함수의 지수 생성함수로부터 유도된다.
• 시리즈의 더 좋은 수렴성을 위해, $ W_{ u u'} $ 는 소수 제타 함수의 도함수들의 합으로 계산되며, 이를 통해 효율적인 재조정이 가능해진다.
• 최종적으로 $ c_N(k) $ 는 $ d_{ u u'} $, 비틀린 분할의 차원 $ ext{dim}( u, S_k( u')) $, 그리고 유리 함수 $ B(k) $ 를 포함한 표현으로 나타난다.

실험 결과

연구 질문

• RQ1 리만 제타 함수의 모멘트 다항식 $ P_k(x) $에서 하위항 계수는 산술적 요소와 조합론적 요소의 상호작용으로 어떻게 유도되는가?
• RQ2 각 계수 $ c_N(k) $ 는 지수 $ k $ 에 대해 정확히 어떻게 의존하는가? 이를 대수적으로 어떻게 기술할 수 있는가?
• RQ3 다양한 유형의 $ L $-함수 가족(유니타리, 옥타드럴, 심플렉틱) 간에 모멘트 추측의 조합론적 구조를 어떻게 통합할 수 있는가?
• RQ4 대칭 함수와 대칭군의 표현은 $ P_k(x) $ 계수 계산에 어떤 역할을 하는가?
• RQ5 계수 $ c_N(k) $ 는 비틀린 분할의 차원과 알려진 산술 함수로 표현될 수 있는가?

주요 결과

• 모멘트 다항식 $ P_k(x) $ 의 계수 $ c_N(k) $ 는 $ c_N(k) = \frac{1}{(k^2 - N)!} \times \text{sum over } \nu, \nu' \text{ of } d_{\nu\nu'} \times \text{dim}(\nu, S_k(\nu')) $ 로 주어진다.
• 차원 $ \text{dim}(\nu, S_k(\nu')) $ 는 $ \frac{g_k B(k)}{k^2 (k^2 - 1) \times \text{lower terms}} $ 로 표현되며, $ B(k) \notin \bbQ(k) $ 이므로 초월적 의존성을 나타낸다.
• $ d_{\nu\nu'} $ 는 지수 생성함수 $ \text{exp}( \text{sum } W_{\nu\nu'} \frak{p}_\nu(\bX) \frak{p}_{\nu'}(\bY) ) $ 에서 유도되며, 여기서 $ W_{\nu\nu'} $ 는 소수 제타 함수의 도함수를 포함한다.
• $ W_{\nu\nu'} $ 의 구조는 $ \text{sum}_r V^r_{\nu\nu'} F^{(|\nu|+|\nu'|)}_r $ 로 주어지며, $ V^r_{\nu\nu'} $ 는 다항계수와 구조 상수 $ f_{\rho\tau} $ 를 포함한다.
• 이 방법은 더 큰 $ k $ 에서도 $ P_k(x) $ 의 효율적 수치 계산을 가능하게 하여, [CFK+05] 에서의 $ 2k $-중 적분의 한계를 극복한다.
• 이 프레임워크는 $ P_k(x) $ 를 대수적 및 산술적 구성요소로 표현함으로써, $ k $ 에 대한 해석적 계속성의 길을 열어, 린델뢰프 추측과 관련된 중요성을 지닌다.