[论文解读] 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$ 的隨機區間中點數的第三矩收斂至泊松分佈，透過受魯迪尼克–薩爾納克–扎哈雷斯庫與希思-布朗啟發的模計數問題，避開了基於變異數的標準方法。

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$ 的隨機區間中 $\{n^2\alpha\} \mod 1$ 點數的第三矩建立了漸近表達式，適用於 $L > N^{1/4+\varepsilon}$，此一結果顯著優於傳統的 $N^{-1/2}$ 標準。
• 關鍵結果顯示，三重相關函數與其期望值偏差的 $L^2$-範數下界為 $L N^{2k-d-3-\varepsilon} |g(\mathbf{0})|^2$，意味著除非 $L \gg N^{1 - \varepsilon/(2k-3)}$，否則 $L^2$-收斂將失敗。
• 當 $k=3$、$d=2$ 時，此條件表示 $L^2$-收斂失敗，除非 $L \gg N^{(1-\varepsilon)/3}$，這證實了 $N^{1/3}$ 標準為魯迪尼克–薩爾納克障礙的最優值。
• 作者透過將三重相關函數與模計數問題連結，避開了對二階矩的直接控制，從而克服了基於變異數方法的失敗。
• 分析顯示，主要障礙來自 $\alpha \approx 0$ 及分母較小的有理逼近，這些會在被積函數中引發大峰值。
• 本文回答了施泰納貝格的提問，釐清了不均勻性與相關函數之間的關係，顯示僅靠不均勻性估計不足以控制高階相關函數。