[论文解读] A characterization of limiting functions arising in Mod-* convergence

Emmanuel Kowalski, Joseph Najnudel+1 more|Zurich Open Repository and Archive (University of Zurich)|Apr 8, 2013

Approximation Theory and Sequence Spaces参考文献 8被引用 5

一句话总结

本文刻画了模-∗收敛中的极限函数，这是中心极限定理的一种改进形式，其中特征函数通过参考族（如正态分布、泊松分布或柯西分布）的特征函数进行重归一化。证明了此类极限函数在满足在零点取值为1且具有共轭对称性的连续函数空间中是稠密的，并从数论中提供了模-柯西收敛的新例子，包括戴德金和与模群测地线的 linking 数。

ABSTRACT

In this note, we characterize the limiting functions in mod-Gausssian convergence; our approach sheds a new light on the nature of mod-Gaussian convergence as well. Our results in fact more generally apply to mod-* convergence, where * stands for any family of probability distributions whose Fourier transforms do not vanish. We moreover provide new examples, including two new examples of (restricted) mod-Cauchy convergence from arithmetics related to Dedekind sums and the linking number of modular geodesics.

研究动机与目标

• 刻画模-∗收敛中可能出现的所有极限函数的集合，其中 ∗ 表示具有非零傅里叶变换的分布族。
• 通过确定极限函数所属的函数类，澄清模-正态分布和模-泊松分布收敛的本质。
• 将框架扩展至受限模-∗收敛，其中收敛性仅在傅里叶变量的有限区间上成立。
• 提供新的由数论动机产生的模-柯西收敛例子，展示该框架在数论与几何中的相关性。

提出的方法

• 使用涉及多项式与缩放正态密度卷积的解析技术，构造特征函数空间中的逼近函数。
• 对正态密度 $ f_\sigma $ 应用算子 $ P(D) $，其中 $ D $ 为微分算子，并构造一个扰动密度 $ g_{P,\sigma} $，使其在 $ \sigma $ 足够大时仍保持非负。
• 证明此类扰动密度的特征函数与正态分布特征函数之比在空间 $ S $ 中是稠密的，其中 $ S $ 为满足 $ \phi(0)=1 $、$ \phi(-\lambda)=\overline{\phi\lambda} $ 的连续函数空间。
• 将一般框架应用于特定数论背景：通过戴德金 eta 函数研究戴德金和，通过拉德马赫映射研究模群测地线的 linking 数。
• 利用已知的渐近结果（如塞尔伯格素测地线定理）推导出在受限模-柯西意义下特征函数的收敛性。
• 在需要时使用分部求和法去除测度中的对数权重，确保在重加权下收敛性依然成立。

Figure 1 . $t=\pi/2$

实验结果

研究问题

• RQ1 哪些满足 $ \phi(0) = 1 $ 且 $ \phi(-\lambda) = \overline{\phi(\lambda)} $ 的连续函数 $ \phi: \mathbb{R} \to \mathbb{C} $ 可以作为模-∗收敛中的极限函数？
• RQ2 模-正态分布收敛的极限函数集合是否在满足此类条件的连续函数空间中稠密？
• RQ3 除了经典的模-正态分布和模-泊松分布情形外，还有哪些具有数论意义的模-柯西收敛例子？
• RQ4 模-柯西收敛的收敛性最远可延伸至何处？即限制在 $ |t| < 4\pi/3 $ 或 $ |t| \leq \pi/12 $ 是否最优，还是可以进一步扩展？
• RQ5 模-∗收敛中的极限函数在多大程度上编码了数论对象（如素数或测地线）中依赖结构的信息？

主要发现

• 在紧集上一致收敛下，模-正态分布收敛的极限函数集合 $ S_0 $ 在满足 $ \phi(0) = 1 $ 且 $ \phi(-\lambda) = \overline{\phi(\lambda)} $ 的连续函数空间 $ S $ 中是稠密的。
• 在模群测地线 linking 数的模-柯西收敛中，极限函数 $ \Phi(t) = \frac{1}{1 - \frac{3|t|}{\pi}} $ 成立，且在 $ |t| \leq \pi/12 $ 内有效，其中 $ \gamma_x = \frac{3}{\pi} \log x $。
• 对于戴德金和，归一化和 $ D_N $ 的特征函数满足 $ \mathbb{E}[e^{itD_N}] \exp(\gamma_N |t|) \to \Phi(t) $，其中 $ |t| < 4\pi/3 $，且 $ \gamma_N = \frac{N}{4} $，而 $ \Phi(t) $ 涉及戴德金 eta 函数。
• 在 linking 数例子中，极限函数与 $ \log(y|\eta(z)|^4) $ 的分布函数的逆拉普拉斯变换相关，表明其与模形式存在深刻联系。
• 在两个新例子中，收敛性均受限于傅里叶变量的有限区间，数值证据表明该限制可能是最优的。
• 模-∗收敛框架，尤其是受限形式，为分析经典中心极限定理无法捕捉依赖结构的算术与几何对象提供了强有力的工具。

Figure 2 . $t=\pi$