[論文レビュー] 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

ひとこと要約

本稿では、ベクトルのノルムが無限大に近づく際、原始的ベクトルの方向、直交格子、およびgcd方程式の正規化された最短解が、有効に連合分布することを示すことによって、ℤⁿにおける原始的ベクトルの有効な連合分布を確立する。主な結果は、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 のとき、ℤⁿにおけるgcd解のRisagerとRudnickの分布結果の高次元版を解消すること。
• n ≥ 3 の次元において、gcd方程式の最短解の正しい正規化を特定すること。これは、‖w_v‖/‖v‖ が分布しないことから、効果的でない。
• 正規化された最短解長の[0,1]における極限測度を特定し、それがn=2のときのみルベーグ測度であることを示すこと。
• 均質的力学の手法を用いて、方向および直交格子の形状の有効な分布を確立すること。
• Lie群における格子点の数え上げフレームワークを、洗練されたIwasawa分解とwell-rounded族を用いて構築すること。

提案手法

• SLₙ(ℝ)におけるwell-rounded族の集合に対して、GorodnikとNevoの有効な格子点数え上げ法を適用する。
• SLₙ(ℝ)の洗練されたIwasawa分解を用いて、行列をパrameter化し、格子および方向の基本領域を定義する。
• Iwasawaの回転写像を導入し、解の幾何学的構造とSLₙ(ℝ)の群構造との関係を結ぶ。
• 関連する算術的および幾何的パラメータを捉えるための基本集合および領域族（例：Ω_T^S(Ψ)）を定義する。
• 数え上げ領域がLWR（局所的にwell-rounded）かつBLC（有界リプシッツ定数）であることを確立し、有効な分布定理を適用可能にする。
• スぺクトルギャップτ(Γ)および次元に依存する誤差項を伴う定理8.4を用いて、格子点数え上げを適用する。

実験結果

リサーチクエスチョン

• RQ1 n ≥ 3 の次元において、gcd方程式 a₁x₁ + ⋯ + aₙxₙ = 1 の最短解の正しい正規化は何か？
• RQ2 正規化された最短解はどの区間に入るのか？ そして、どの測度に関して分布するのか？
• RQ3 原始的ベクトルに対する直交格子の方向と形状は、それぞれの空間で分布するか？
• RQ4 方向、直交格子の形状、正規化された解の長さという3つのパラメータについて、同時に有効な分布結果を証明できるか？
• 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の指数的でない因子によって有界づけられる。