[논문 리뷰] Counting in generic lattices and higher rank actions

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

Mathematical Dynamics and Fractals인용 수 1

한 줄 요약

이 논문은 d ≥ 9 조건 하에, Rd에서 선형형식의 곱으로 정의된 영역 내에서 격자점 수를 세는 문제에서 정규화된 불일치에 대해 비퇴화된 중심극한정리(non-degenerate Central Limit Theorem)를 확립한다. 특히, 고순위 아벨 작용에 대한 모든 차수의 효과적 지수혼합성(effective exponential mixing)을 활용한 동역학계 기법을 통해, 정규화된 불일치가 정규분포로 수렴함을 증명하며, 높은 차원에서 일반적인 격자점 세기 문제에 대한 오랜 동안 남아있던 질문을 해결하고, 정량적 경계가 매우 정밀한 결과를 도출한다.

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에서 일반적인 유모듈라 격자에 대해 불일치 함수의 渐近적 분포를 이해하는 것.
• 선형형식의 곱으로 정의된 영역에 대해 정규화된 불일치가 분포 수렴하는가, 특히 정규분포로 수렴하는가를 확인하는 것.
• Beck와 Levin의 불일치 수렴 결과를 수론적 구성에 국한되지 않은 진정으로 일반적인 격자로 확장하는 것.
• 고차원(d ≥ 9)에서 일반적인 격자에 대해 격자점 세기 문제의 오차항에 대해 정밀한 정량적 경계를 확립하는 것.

제안 방법

• 일반적인 격자를 모델링하기 위해 고유한 SLd(R)-불변 확률측도 µ를 지닌 유모듈라 격자 공간 X를 사용한다.
• NL(x) ∈ I 이고 0 < Li(x) < T 인 영역 ΩT(I)에 대해 불일치 함수 DT(Λ) = |Λ ∩ ΩT| − Vol(ΩT)/Vol(Rd/Λ) 를 분석한다.
• X 상의 고순위 아벨 군 작용에 대한 모든 차수의 효과적 지수혼합성을 적용하여 카운팅 문제의 오차항을 제어한다.
• 매개변수 공간 (YT, κT) 상의 콤팩트한 섬유 평균을 이용해 지표함수 χΩT의 부드러운 근사 FT를 구성하며, 매개변수로는 εT = Vol(ΩT)^{-η} (η > 1) 를 사용한다.
• χΩT와 FT의 차이에 대한 Lp 노름에 대한 균일한 경계를 확립하여, p = 1,2 에 대해 ‖χΩT − FT‖Lp(X) = o(Vol(ΩT)^{1/2}) 임을 보인다.
• 일반적인 극한정리(정리 3.17)를 부드러운 함수 FT에 적용하며, Sobolev 노름의 균일한 제어(MT 및 MT,q)를 활용하여 정규분포로의 수렴을 도출한다.

실험 결과

연구 질문

• RQ1 고차원에서 일반적인 유모듈라 격자에 대해 선형형식의 곱으로 정의된 영역 내에서 격자점 세기의 정규화된 불일치 함수가 분포 수렴하는가?
• RQ2 d ≥ 9 이고 영역이 NL(x) ∈ I 이며 0 < Li(x) < T 라면, 불일치 함수 DT(Λ)의 渐近적 분포는 어떻게 되는가?
• RQ3 특수한 가족(예: 수체나 토랄 이동에서 유래한 것들)이 아닌 진정으로 일반적인 격자에 대해 불일치의 중심극한정리를 확립할 수 있는가?
• RQ4 제한 정규분포의 정확한 분산 σ(I)^2 는 구간 I 와 리만 제타함수를 어떻게 표현하는가?
• 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)) 로 주어진다.
• 수렴은 비퇴화되어 있어, 제한 정규분포의 분산이 양수임을 의미하며, 이는 이전 결과에서의 퇴화된 극한과의 핵심적 개선이다.
• 지표함수 χΩT 를 부드러운 함수 FT 로 근사할 오차는 p = 1,2 에 대해 ‖χΩT − FT‖Lp(X) = o(Vol(ΩT)^{1/2}) 를 만족하며, 이는 CLT 수렴에 충분하다.
• 이 증명은 유모듈라 격자 공간 상에서 고순위 아벨 작용에 대한 모든 차수의 효과적 지수혼합성을 바탕으로 하며, 이는 근사 함수의 Sobolev 노름에 대한 균일한 제어를 가능하게 한다.
• 결과는 d ≥ 9 에서의 날카로운 임계점임을 보여주며, d < 9 일 경우 Sobolev 노름 MT,q 의 충분한 감쇠가 없어 방법이 실패하기 때문이다.