[논문 리뷰] On the triple correlations of fractional parts of $n^2\alpha$

Niclas Technau, Aled Walker|arXiv (Cornell University)|2020. 05. 04.

Analytic Number Theory Research참고 문헌 26인용 수 5

한 줄 요약

이 논문은 분수부분 $\{n^2\alpha\} \mod 1$의 삼중상관함수에 대한 새로운 渐近적 추정을 수립하며, $L > N^{1/4+\varepsilon}$일 때 길이 $L/N$인 랜덤 구간 내 점의 수의 세 번째 모멘트가 포아송 분포로 수렴함을 증명한다. 이는 루디닉–사르나크–자하레스쿠 및 히스브라운의 영감을 받은 모듈로 수세기 문제를 통해 표준 분산 기반 방법의 실패를 우회한다.

ABSTRACT

For fixed $\\alpha \\in [0,1]$, consider the set $S_{\\alpha,N}$ of dilated squares $\\alpha, 4\\alpha, 9\\alpha, \\dots, N^2\\alpha \\, $ modulo $1$. Rudnick and Sarnak conjectured that for Lebesgue almost all such $\\alpha$ the gap-distribution of $S_{\\alpha,N}$ is consistent with the Poisson model (in the limit as $N$ tends to infinity). In this paper we prove a new estimate for the triple correlations associated to this problem, establishing an asymptotic expression for the third moment of the number of elements of $S_{\\alpha,N}$ in a random interval of length $L/N$, provided that $L > N^{1/4+\\varepsilon}$. The threshold of $1/4$ is substantially smaller than the threshold of $1/2$ (which is the threshold that would be given by a na\\"{i}ve discrepancy estimate). Unlike the theory of pair correlations, rather little is known about triple correlations of the dilations $(\\alpha a_n \\, \ ext{mod } 1)_{n=1}^{\\infty} $ for a non-lacunary sequence $(a_n)_{n=1}^{\\infty} $ of increasing integers. This is partially due to the fact that second moment of the triple correlation function is difficult to control, and thus standard techniques involving variance bounds are not applicable. We circumvent this impasse by using an argument inspired by works of Rudnick--Sarnak--Zaharescu and Heath-Brown, which connects the triple correlation function to some modular counting problems. In an appendix we comment on the relationship between discrepancy and correlation functions, answering a question of Steinerberger.

연구 동기 및 목표

• 일반적인 $\alpha \in [0,1]$ 에 대해 $\{n^2\alpha\} \mod 1$ 의 삼중상관함수에 대한 새로운 점근적 추정을 수립하는 것.
• 특히 $a_n = n^2$ 에서 두 번째 모멘트를 제어하기 어려운 비공백 수열에서 삼중상관함수에 대한 이해 부족을 다루는 것.
• 삼중상관함수의 두 번째 모멘트가 제어되지 않아 표준 분산 기반 기법이 실패하는 문제를 극복하는 것.
• 루디닉–사르나크의 $\{n^2\alpha\} \mod 1$ 에 대한 포아송 간격 통계 추측을 $N^{-1/2}$ 이하 척도에서 정량적으로 정밀화하는 것.

제안 방법

• 루디닉–사르나크–자하레스쿠 및 히스브라운의 영감을 받아 삼중상관함수를 모듈로 수세기 문제와 연결하는 논증을 사용한다.
• 포아송 합성공식을 적용하여 상관함수를 $\alpha$ 에 대한 푸리에 급수로 전개하고, 푸리에 계수 $c_{k,\ell}^{d}(L,N,g)$ 를 통해 표현한다.
• 상관함수의 기대값에서의 $L^2$-노름의 편차를 분석하여 디오판틴 방정식 $\sum a_i(x_i^d - x_{i+1}^d) = \ell$ 의 해 수에 대한 합계로 문제를 축소한다.
• 카우치–슈바르츠 부등식과 $\widehat{g}$ 의 급속한 감쇠성을 활용하여 $\ell$ 에 대한 합을 $|\ell| \leq \rho = N^{d+1+\varepsilon}/L$ 으로 잘라내며 주요 기여도에 집중한다.
• 디오판틴 방정식의 전체 해 수와 관련하여 합 $\sum_{0<|\ell|\leq\rho} |c_{k,\ell}^{d}(L,N,g)|^2$ 의 크기를 추정하여, $L N^{2k-d-3-\varepsilon} |g(\mathbf{0})|^2$ 의 하한을 보인다.
• 상관함수가 포아송 극한으로 $L^2$ 수렴하기 위한 필요 조건을 유도하며, $L \gg N^{1 - \varepsilon/(2k-3)}$ 가 아니면 실패함을 보인다. 이는 $k=3$, $d=2$ 일 때 $L \gg N^{(1-\varepsilon)/3}$ 이어야 함을 의미한다.

실험 결과

연구 질문

• RQ1 표준 분산 기반 방법이 실패하더라도 $L > N^{1/4+\varepsilon}$ 에서 $\{n^2\alpha\} \mod 1$ 의 삼중상관함수를 점근적으로 추정할 수 있는가?
• RQ2 랜덤 구간 길이 $L/N$ 내 점의 수의 세 번째 모멘트가 포아송 분포로 수렴하는 데 필요한 최소 $L$ 은 무엇인가?
• RQ3 왜 비공백 수열인 $n^2\alpha \mod 1$ 에서 삼중상관함수에 대해 표준 기법이 실패하는가? 이 장애는 어떻게 극복할 수 있는가?
• RQ4 불일치와 상관함수 사이의 관계는 무엇이며, 특히 루디닉–사르나크 추측의 맥락에서 어떻게 연결되는가?
• RQ5 $L^2$ 수렴 실패가 포아송 간격 모델에 대한 본질적 장애를 의미하는가, 아니면 미세한 호에서 회복될 수 있는가?

주요 결과

• $L > N^{1/4+\varepsilon}$ 에서 $\{n^2\alpha\} \mod 1$ 에서 랜덤 구간 길이 $L/N$ 내 점의 수의 세 번째 모멘트에 대한 점근적 표현을 수립하였으며, 이는 고전적 기준인 $N^{-1/2}$ 에 비해 상당한 향상이다.
• 핵심 결과는 상관함수의 기대값에서의 $L^2$-노름 편차가 $L N^{2k-d-3-\varepsilon} |g(\mathbf{0})|^2$ 의 하한을 가지며, 이는 $L^2$ 수렴이 $L \gg N^{1 - \varepsilon/(2k-3)}$ 가 아니면 실패함을 시사한다.
• $k=3$ 과 $d=2$ 일 때 이는 $L^2$ 수렴이 $L \gg N^{(1-\varepsilon)/3}$ 여야 함을 의미하며, 이는 루디닉–사르나크 장애에 대해 $N^{1/3}$ 이 최적의 척도임을 정당화한다.
• 저자들은 두 번째 모멘트를 직접 제어하지 않고 삼중상관함수를 모듈로 수세기 문제와 연결함으로써 분산 기반 방법의 실패를 우회한다.
• 분석 결과, 주요 장애는 $\alpha \approx 0$ 과 분모가 작은 분수 근사에서 비롯되며, 이는 integrand 에 큰 스파이크를 유도한다.
• 논문은 스테이너버거의 질문에 답하며, 불일치와 상관함수 사이의 관계를 명확히 하여, 불일치 추정만으로는 고차 상관함수를 제어할 수 없음을 보였다.