[论文解读] The variance of the number of sums of two squares in $\mathbb{F}_q[T]$ in short intervals

Ofir Gorodetsky, Brad Rodgers|arXiv (Cornell University)|Oct 14, 2018

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

一句话总结

本文研究了在短区间内，$\mathbb{F}_q[T]$ 中可表示为两个平方和的多项式数量的方差，通过函数域类比与 $z$-测度建立联系。利用 Katz 和 Sawin 的等分布结果，推导出在 $q$ 充分大时方差的精确渐近公式，进而提出与数值数据高度吻合的整数情形猜想。

ABSTRACT

Consider the number of integers in a short interval that can be represented as a sum of two squares. What is an estimate for the variance of these counts over random short intervals? We resolve a function field variant of this problem in the large $q$ limit, finding a connection to the $z$-measures first investigated in the context of harmonic analysis on the infinite symmetric group. A similar connection to $z$-measures is established for sums over short intervals of the divisor functions $d_z(n)$. We use these results to make conjectures in the setting of the integers which match very well with numerically produced data. Our proofs depend on equidistribution results of N. Katz and W. Sawin.

研究动机与目标

• 理解 $\mathbb{F}_q[T]$ 中可表示为两个平方和的多项式在短区间内的方差。
• 建立在 $\mathbb{Z}$ 上经典短区间内两个平方和计数问题的函数域类比。
• 将此函数域设定下的方差与出现在无限对称群上的调和分析中的 $z$-测度联系起来。
• 利用深刻的等分布定理，推导出在 $q$ 充分大时方差的渐近公式。
• 基于函数域结果，提出整数情形的猜想，并通过数值数据加以验证。

提出的方法

• 使用函数域类比，其中 $\mathbb{F}_q[T]$ 的角色类似于 $\mathbb{Z}$，通过集合 $S = \{A^2 + T B^2 : A,B \in \mathcal{M}_q\}$ 建模两个平方和。
• 为 $\mathcal{M}_q$ 中的 $f$ 定义指示函数 $b(f)$，若 $f$ 是两个平方和则为 1，否则为 0。
• 应用 N. Katz 和 W. Sawin 的等分布结果，分析 $\mathbb{F}_q[T]$ 中短区间内 $b(f)$ 的方差。
• 使用围道积分与狄利克雷级数推导方差的渐近表达式，特别是在 $q$ 充分大时的情形。
• 通过分析方差生成函数并识别其谱结构，将方差与 $z$-测度联系起来。
• 通过类比推导整数情形的猜想，预测大小为 $X^\delta$ 的短区间中方差由 $K \cdot G(1-\delta)$ 控制，其中 $G$ 是与 $z$-测度相关的函数。

实验结果

研究问题

• RQ1 在 $\mathbb{F}_q[T]$ 中，长度为 $H$ 的短区间内，可表示为两个平方和的多项式数量的渐近方差是什么？
• RQ2 此方差如何与出现在无限对称群上的调和分析中的 $z$-测度相关联？
• RQ3 是否可利用函数域结果，为 $\mathbb{Z}$ 上短区间内两个平方和的方差提出一个猜想？
• RQ4 为何当 $\delta$ 远离零时，大小为 $X^\delta$ 的短区间中方差会偏离猜想 1 所预测的泊松型行为？
• RQ5 当 $\delta \to 0$ 时，大小为 $X^\delta$ 的区间中方差的低阶项起什么作用？

主要发现

• 在 $\mathbb{F}_q[T]$ 中，长度为 $H = X^\delta$ 的短区间内，两个平方和的方差在 $q \to \infty$ 时渐近为 $K_q \cdot G(1 - \delta) \cdot H / \sqrt{\log X}$，其中 $G$ 是与 $z$-测度相关的函数。
• 在函数域设定下，当 $\delta$ 远离零时，方差表现出非泊松结构，$z$-测度精确描述了方差对 $\delta$ 的依赖关系。
• 作者推导出整数情形的猜想：大小为 $X^\delta$ 的区间的方差预测为 $K \cdot G(1 - \delta)$，与数值数据极为吻合。
• 对于大小为 $p$ 的区间（$p$ 为素数且 $X/2 < p < X$），方差 $\mathbb{V}_b(X,p)$ 被证明为 $K + \frac{-K^2 X^\delta + 1 - X^{-\delta}}{\sqrt{\log X}} + O(1/\log X)$，解释了小 $\delta$ 时数值数据中出现的凸起。
• $z$-测度的关联并非通过 Hardy-Littlewood 猜想进行启发式解释，而是直接源于函数域分析与等分布定理。
• 该结果表明，两个平方和在短区间内分布的泊松启发式模型在区间长度超过 $\sqrt{\log X}$ 时失效，而 $z$-测度提供了更精细的模型。