[论文解读] Equidistribution of primitive vectors, and the shortest solutions to their GCD equations

Tal Horesh, Yakov Karasik|arXiv (Cornell University)|Mar 4, 2019

Advanced Algebra and Geometry参考文献 24被引用 4

一句话总结

该论文通过证明当向量范数趋于无穷时，其方向、正交格点以及最大公因数方程的归一化最短解在 ℤⁿ 中实现有效的联合等分布，建立了 ℤⁿ 中本原向量的等分布。关键结果是当 n ≥ 3 时，归一化解长度在 [0,1] 上关于非勒贝格测度等分布，从而解决了 n=2 时 Risager 和 Rudnick 等分布结果的高维类比。

ABSTRACT

We prove effective joint equidistribution of several natural parameters associated to primitive vectors in $\mathbb{Z}^{n}$, as the norm of these vectors tends to infinity. These parameters include the direction, the orthogonal lattice, and the length of the shortest solution to the associated $\gcd$ equation. We show that the first two parameters equidistribute w.r.t. the Haar measure on the corresponding spaces, which are the unit sphere and the space of unimodular rank $n-1$ lattices in $\mathbb{R}^{n}$ respectively. The main novelty is the equidistribution of the shortest solutions to the $\gcd$ equations: we show that, when normalized by the covering radius of the orthogonal lattice, the lengths of these solutions equidistribute in the interval $\left[0,1 ight]$ w.r.t. a measure that is Lebesgue only when $n=2$, and non-Lebesgue otherwise. These equidistribution results are deduced from effectively counting lattice points in domains which are defined w.r.t. a generalization of the Iwasawa decomposition in simple algebraic Lie groups, where we apply a method due to A. Gorodnik and A. Nevo.

研究动机与目标

• 解决当 n ≥ 3 时，ℤⁿ 中最大公因数解的高维类比等分布结果，即 Risager 和 Rudnick 在 n=2 时的结果。
• 确定在维度 n ≥ 3 时，最大公因数方程最短解的正确归一化方式，因为 ‖w_v‖/‖v‖ 无法实现等分布。
• 确定归一化最短解长度在 [0,1] 上的极限测度，并证明该测度仅在 n=2 时为勒贝格测度。
• 利用齐性动力系统的方法，建立方向和正交格点形状的有效等分布。
• 基于改进的 Iwasawa 分解和拟正则族，发展用于李群中格点计数的框架。

提出的方法

• 应用 Gorodnik 和 Nevo 提出的方法，对 SLₙ(ℝ) 中拟正则族集合实现有效的格点计数。
• 利用 SLₙ(ℝ) 的改进 Iwasawa 分解来参数化矩阵，并定义格点与方向的基本区域。
• 引入 Iwasawa 圆化同态，将解的几何结构与 SLₙ(ℝ) 的群结构联系起来。
• 定义基集和区域族（例如 Ω_T^S(Ψ)），以捕捉相关的算术与几何参数。
• 证明计数区域同时满足 LWR（局部拟正则）和 BLC（有界利普希茨常数）条件，从而可应用有效等分布定理。
• 应用定理 8.4 进行格点计数，误差项依赖于谱间隙 τ(Γ) 和维度。

实验结果

研究问题

• RQ1 在维度 n ≥ 3 时，最大公因数方程 a₁x₁ + ⋯ + aₙxₙ = 1 的最短解的正确归一化方式是什么？
• RQ2 归一化最短解落在哪个区间？它们相对于何种测度实现等分布？
• RQ3 本原向量的正交格点的方向与形状是否在各自空间中实现等分布？
• RQ4 能否同时对三个参数——方向、正交格点形状和归一化解长度——证明有效的等分布结果？
• RQ5 等分布的收敛速率如何？它如何依赖于格点的谱间隙 τ(Γ)？

主要发现

• 归一化最短解长度在 [0,1] 上关于测度实现等分布，该测度仅在 n=2 时为勒贝格测度，否则为非勒贝格测度。
• 当 ‖v‖ → ∞ 时，满足 ‖w_v‖/‖v‖ → 0 的本原向量集合在 ℤⁿ_prim 中具有全密度，表明对 n ≥ 3，以 ‖v‖ 归一化是无效的。
• 本原向量的方向关于单位球面 Sⁿ⁻¹ 上的哈尔测度实现等分布。
• 正交格点 Λ_v 的形状关于空间 SO_{n−1}(ℝ)\SL_{n−1}(ℝ)/SL_{n−1}(ℤ) 上的不变测度实现等分布。
• 等分布结果中的计数误差项为 O_Ψ,ε(e^{nT(1−τ+δ+ε)}), 表明收敛具有有效性，且误差显式依赖于谱间隙 τ(Γ)。
• 计数公式的主项渐近正比于 μ(Ω_T^S(Ψ))/μ(G/Γ)，误差项被 T 的次指数因子所控制。