[論文レビュー] On the triple correlations of fractional parts of $n^2\alpha$

Niclas Technau, Aled Walker|arXiv (Cornell University)|May 4, 2020

Analytic Number Theory Research参考文献 26被引用数 5

ひとこと要約

本稿は、$\{n^2\alpha\} \mod 1$ の三重相関関数に対する新たな漸近的推定を確立し、$L > N^{1/4+\varepsilon}$ のとき、長さ $L/N$ のランダムな区間内の点数の三番目のモーメントがポアソン分布に収束することを証明する。標準的な分散に基づく手法に代わる、Rudnick–Sarnak–Zaharescu や Heath-Brown の影響を受けるモジュラー数え上げ問題を用いることで、第二モーメントの制御が困難な状況を回避する。

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$ のような非ギャップな系列における三重相関の理解の不足に取り組むこと。第二モーメントの制御が困難である点に注目する。
• 三重相関関数の第二モーメントが制御不能であるために、標準的な分散に基づく手法が失敗する問題を克服すること。
• Rudnick–Sarnakの予想（$\{n^2\alpha\} \mod 1$ におけるポアソン間隔統計）を、$N^{-1/2}$ より小さいスケールで定量的に精密化すること。

提案手法

• Rudnick–Sarnak–Zaharescu や Heath-Brown のアイデアにインspされた議論を用い、三重相関関数をモジュラー数え上げ問題に結びつける。
• ポアソン和分公式を適用して、$\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}$ が必要であり、これは Rudnick–Sarnak の障害に対する $N^{1/3}$ の閾値が最適であることを裏付ける。

実験結果

リサーチクエスチョン

• RQ1 標準的な分散に基づく手法が失敗する中で、$L > N^{1/4+\varepsilon}$ のとき、$\{n^2\alpha\} \mod 1$ の三重相関関数を漸近的に推定できるか？
• RQ2 長さ $L/N$ のランダムな区間内の点数の三番目のモーメントがポアソン分布に収束する最小の $L$ は何か？
• RQ3 なぜ標準的手法は $n^2\alpha \mod 1$ のような非ギャップな系列における三重相関に失敗するのか？ そして、この障害をどのように乗り越えられるか？
• RQ4 不均一性と相関関数の関係は何か、特に Rudnick–Sarnak の予想の文脈で。
• RQ5 三重相関の $L^2$-収束の失敗は、ポアソン間隔モデルに対する根本的障害を示唆するのか、それとも微小弧上で回復可能か？

主な発見

• 本稿は、$L > N^{1/4+\varepsilon}$ の範囲で、$\{n^2\alpha\} \mod 1$ の点数の三番目のモーメントの漸近的表現を確立し、古典的な $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}$ でなければ成立せず、これは Rudnick–Sarnak の障害に対する $N^{1/3}$ の閾値が最適であることを正当化する。
• 第二モーメントの直接制御を避けるために、三重相関をモジュラー数え上げ問題に結びつけることで、分散に基づく手法の失敗を回避する。
• 分析により、主な障害は $\alpha \approx 0$ および分母が小さい有理数近似に起因し、被積分関数に大きなスパイクを引き起こすことが判明する。
• 本稿は Steinerberger が提起した問いに答え、不均一性と相関関数の関係を明確にし、不均一性の推定だけでは高次相関を制御できないことを示す。