[论文解读] On the support of the Kloosterman paths

Emmanuel Kowalski, Will Sawin|arXiv (Cornell University)|Sep 15, 2017

Analytic Number Theory Research参考文献 12被引用 4

一句话总结

本文刻画了与Kloosterman路径相关的极限随机傅里叶级数的支集，证明一个连续函数属于支集当且仅当其与线性函数的偏差函数的傅里叶系数满足特定的衰减与虚轴条件。该结果使得对模素数的Kloosterman和的部分和实现精确的统计控制，表明支集中的任意函数均被模p下正密度的参数对(a,b)实现。

ABSTRACT

We obtain statistical results on the possible distribution of all partial sums of a Kloosterman sum modulo a prime, by computing explicitly the support of the limiting random Fourier series of our earlier functional limit theorem for Kloosterman paths.

研究动机与目标

• 确定当素数p趋于无穷时，Kloosterman路径的极限随机傅里叶级数的精确支集。
• 建立算术密度结果，表明支集中的任意函数均被模p下Kloosterman和路径的正比例实现。
• 探索支集的隐藏对称性与重参数化性质，特别是关于对称同胚的情形。
• 研究支集中是否存在填满空间的曲线，以及结果是否可推广至复值函数。
• 将支集结构与经典傅里叶分析问题（如Bohr-Pál定理与傅里叶系数衰减）相联系。

提出的方法

• 利用先前工作中提出的函数极限定理，该定理建立了Kloosterman路径依分布收敛于具有Sato-Tate分布系数的随机傅里叶级数。
• 应用一个关于连续函数可被具有可控系数的Faber-Schauder展开一致逼近的概率引理。
• 运用傅里叶分析，通过偏差函数g(t) = f(t) - t f(1)的傅里叶系数条件刻画支集。
• 施加约束条件：f(0) = 0，f(1) ∈ [-2,2]，且对所有h ≠ 0，傅里叶系数ĝ(h)位于虚轴上，且满足|ĝ(h)| ≤ 1/(π|h|)。
• 通过满足φ(1−t) = 1−φ(t)的同胚φ进行对称重参数化，将结果推广至满足f(t) + f(1−t) = f(1)的函数。
• 利用Bohr-Pál型定理与傅里叶系数衰减结果，证明此类重参数化保持支集条件。

实验结果

研究问题

• RQ1 模素数的Kloosterman和的归一化部分和的极限中，可出现的连续函数的精确集合是什么？
• RQ2 是否每个满足f(t) + f(1−t) = f(1)且|f(1)| ≤ 2的连续函数，均可通过一个满足φ(1−t) = 1−φ(t)的对称同胚φ实现为极限随机级数的支集元素？
• RQ3 支集中是否包含C([0,1])中的填满空间的曲线？
• RQ4 该重参数化结果能否推广至满足f(t) + f̄(1−t) = f(1)的复值函数？
• RQ5 与Kloosterman和类似的特征和部分和的支集结构是怎样的？

主要发现

• 极限随机傅里叶级数K(t)的支集S恰好由满足f(0) = 0，f(1) ∈ [-2,2]，且偏差函数g(t) = f(t) − t f(1)的傅里叶系数ĝ(h) ∈ iℝ，且对所有h ≠ 0满足|ĝ(h)| ≤ 1/(π|h|)的连续函数f ∈ C([0,1])构成。
• 对任意f ∈ S及ε > 0，当p → ∞时，满足在所有j处归一化部分和路径与f的ε-邻近的(a,b) ∈ F×p × F×p的比例有正的下界。
• 若f ∉ S，则存在δ > 0，使得当p → ∞时，路径在δ-邻近f的(a,b)的比例趋于零。
• 通过满足φ(1−t) = 1−φ(t)的同胚φ进行适当对称重参数化后，支集包含所有满足f(t) + f(1−t) = f(1)且|f(1)| ≤ 2的函数。
• 该结果意味着零函数属于支集，因此对任意ε > 0，存在正密度的Kloosterman路径在所有部分和处均保持在原点的ε-邻近。
• 支集在对称重参数化下不变，且Faber-Schauder展开在中点的系数保持不变，从而限制了此类变换的范围。