[论文解读] Counting in generic lattices and higher rank actions

Michael Björklund, Alexander Gorodnik|arXiv (Cornell University)|Jan 13, 2021

Mathematical Dynamics and Fractals被引用 1

一句话总结

该论文在 d ≥ 9 的条件下，针对在 Rd 中由线性形式乘积定义的区域内的格点计数问题，建立了归一化偏差的非退化中心极限定理。通过使用动力系统技术，特别是对 unimodular 格点空间上高阶阿贝尔作用的全阶有效指数混合性质，作者证明了归一化偏差依分布收敛于正态分布，从而解决了关于高维中通用格点计数的长期悬而未决问题，并给出了精确的定量误差界。

ABSTRACT

We consider the problem of counting lattice points contained in domains in $\mathbb{R}^d$ defined by products of linear forms and we show that the normalized discrepancies in these counting problems satisfy non-degenerate Central Limit Theorems, provided that $d \geq 9$. We also study more refined versions pertaining to "spiraling of approximations". Our techniques are dynamical in nature and exploit effective exponential mixing of all orders for actions of higher-rank abelian groups on the space of unimodular lattices.

研究动机与目标

• 理解在 Rd 中通用 unimodular 格点的格点计数中偏差函数的渐近分布。
• 确定当区域由线性形式的乘积定义时，归一化偏差是否依分布收敛，特别是是否收敛于高斯分布。
• 将 Beck 和 Levin 关于偏差收敛结果推广至真正通用的格点，而非受限于数论构造的格点。
• 在高维（d ≥ 9）下，为通用格点的格点计数建立误差项的精确定量界。

提出的方法

• 使用配备唯一 SLd(R)-不变概率测度 µ 的 unimodular 格点空间 X 来建模通用格点。
• 分析定义在区域 ΩT(I) 上的偏差函数 DT(Λ) = |Λ ∩ ΩT| − Vol(ΩT)/Vol(Rd/Λ)，其中 ΩT(I) 由 NL(x) ∈ I 和 0 < Li(x) < T 定义。
• 应用对 X 上高阶阿贝尔群作用的全阶有效指数混合性质，以控制计数问题中的误差项。
• 通过在紧致参数空间 (YT, κT) 上进行纤维平均，构造指示函数 χΩT 的光滑逼近 FT，其中参数 εT = Vol(ΩT)^{-η}，η > 1。
• 建立 χΩT 与 FT 之间差值的 Lp 范数的统一有界性，证明 ‖χΩT − FT‖Lp(X) = o(Vol(ΩT)^{1/2}) 对于 p = 1,2 成立。
• 应用一般极限定理（定理 3.17）于光滑函数 FT，利用对 Sobolev 范数 MT 和 MT,q 的统一控制，推导出依分布收敛于正态分布的结论。

实验结果

研究问题

• RQ1 对于高维中由线性形式乘积定义的区域，通用 unimodular 格点的格点计数归一化偏差函数是否依分布收敛？
• RQ2 当 d ≥ 9 且区域由 NL(x) ∈ I 和 0 < Li(x) < T 定义时，偏差函数 DT(Λ) 的渐近分布是什么？
• RQ3 能否为真正通用的格点建立偏差的中心极限定理，而不仅限于数域或环面平移构造的特殊族？
• RQ4 极限正态分布的精确方差 σ(I)^2 如何用区间 I 和黎曼 zeta 函数表示？
• RQ5 全阶有效指数混合性质如何使该设定下非退化 CLT 的证明成为可能？

主要发现

• 当 d ≥ 9 时，归一化偏差函数 Vol(ΩT)^{-1/2} DT(Λ) 沿 T → ∞ 依分布收敛于方差为 σ(I)^2 的正态分布。
• 极限方差显式给出为 σ(I)^2 = (1/ζ(d)) ∑_{p,q=1}^∞ Leb(pdI ∩ qdI)/(pdqd Leb(I))。
• 收敛是非退化的，即极限正态分布具有正的方差，这是对以往退化极限结果的重要改进。
• 用光滑函数 FT 近似指示函数 χΩT 的误差满足 ‖χΩT − FT‖Lp(X) = o(Vol(ΩT)^{1/2}) 对于 p = 1,2 成立，这足以保证 CLT 的收敛性。
• 证明依赖于 unimodular 格点空间上高阶阿贝尔作用的全阶有效指数混合性质，该性质使得对逼近函数的 Sobolev 范数具有统一控制。
• 结果在 d ≥ 9 处建立了精确的临界阈值，因为当 d < 9 时，Sobolev 范数 MT,q 的衰减不足，导致该方法失效。