[논문 리뷰] Equidistribution of primitive vectors, and the shortest solutions to their GCD equations

Tal Horesh, Yakov Karasik|arXiv (Cornell University)|2019. 03. 04.

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일 때에만 르베그 측도임을 보여주기 위해.
• 균조 동역학의 방법을 사용하여 방향과 수직 격자의 형태에 대한 효과적 균일분포를 확립하기 위해.
• 정밀한 이와사와 분해와 잘 둘러싸인 가족을 사용하여 리 군 내 격자점 수를 세는 프레임워크를 개발하기 위해.

제안 방법

• SLₙ(ℝ) 내 잘 둘러싸인 가족의 집합에 대한 효과적 격자점 수 계산 방법을 Gorodnik와 Nevo의 방법에 따라 적용한다.
• SLₙ(ℝ)의 정밀한 이와사와 분해를 사용하여 행렬을 매개변수화하고 격자 및 방향에 대한 기본 영역을 정의한다.
• 해의 기하학적 구조와 SLₙ(ℝ)의 구조를 연결하기 위해 이와사와 랜덤형사(이와사와 roundomorphism)를 도입한다.
• 관련된 산술적 및 기하적 매개변수를 포괄하는 기본 집합과 영역 가족(예: Ω_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에 대한 지수적 요소보다 작은 인자로 유계됨.