[논문 리뷰] On the generalized circle problem for a random lattice in large dimension

Andreas Strömbergsson, Anders Södergren|arXiv (Cornell University)|2016. 11. 19.

Stochastic processes and statistical mechanics인용 수 1

한 줄 요약

이 논문은 고차원에서 무작위 격자에 대한 일반화된 원 문제에서 오차 항에 대한 기능적 중심극한정리(central limit theorem)를 수립한다. 새로운 버전의 로저스의 평균값 공식과 모멘트 수렴 기법을 사용하여, 척도 함수 f(n)의 온건한 성장 조건 하에서 차원 n → ∞일 때 정규화된 오차 항이 브라운 운동으로 수렴함을 증명한다. 이 결과는 고차원 무작위 격자에서 격자 점 수의 보편적인 가우시안 변동 행동을 확인한다.

ABSTRACT

In this note we study the error term R_{n,L}(x) in the generalized circle problem for a ball of volume x and a random lattice L of large dimension n. Our main result is the following functional central limit theorem: Fix an arbitrary function f(n) from the positive integers to the positive real line, tending to infinity with n but with subexponential growth. Then, the random function t -> (2f(n))^{-1/2} R_{n,L}(t f(n)) on the interval [0,1] converges in distribution to one-dimensional Brownian motion as n tends to infinity. The proof goes via convergence of moments, and for the computations we develop a new version of Rogers' mean value formula. For the individual k:th moment of the variable (2f(n))^{-1/2} R_{n,L}(f(n)) we prove convergence to the corresponding Gaussian moment more generally for functions f satisfying f(n)<<e^{cn} for any fixed c in an interval 0<c<c_k, where c_k is a constant depending on k whose optimal value we determine.

연구 동기 및 목표

• 고차원 n에서 무작위 격자에 대해 일반화된 원 문제의 오차 항 Rn,L(x)의 점근적 분포를 이해하기 위해.
• 정규화된 오차 항에 대해 n → ∞일 때 기능적 중심극한정리를 수립하기 위해.
• 정규화된 오차의 k차 모멘트가 표준 가우시안 모멘트로 수렴하는 데 필요한 f(n)의 최적 성장률을 결정하기 위해.
• 이전의 격자 벡터 길이의 포isson 분포 결과를 더 넓은 범주로 확장하기 위해.

제안 방법

• 오차 항의 모멘트를 다루기 위해 SL(n,R) 위에서의 통합을 위한 로저스의 평균값 공식의 새로운 버전을 개발하기 위해.
• 모멘트 수렴 기법을 사용하여 정규화된 오차 과정이 브라운 운동으로 약한 수렴함을 증명하기 위해.
• 모멘트 전개에서 다양한 행렬 D의 기여를 분석하고, Mk,n에 포함된 것들과 극한에서 사라지는 것들을 구분하기 위해.
• 비자명한 행렬에 의한 尾(꼬리) 기여를 제어하기 위해 지수 적분과 격자 행렬식 항목에 대한 추정을 적용하기 위해.
• eVx가 x ≥1에서 엄격히 감소하고 볼록함을 이용하여 모멘트 기여를 비교하고 경계하기 위해.
• 수렴이 성립하는 임계 성장률 ck를 설정하여, c < ck이면 수렴이 성립하고 c > ck이면 실패함을 증명하기 위해.

실험 결과

연구 질문

• RQ1 무작위 격자 L이 차원 n에 있을 때, n → ∞일 때 정규화된 오차 항 Rn,L(f(n))/√(2f(n))가 분포적으로 표준 정규 랜덤 변수로 수렴하는가?
• RQ2 정규화된 오차의 k차 모멘트가 표준 가우시안의 k차 모멘트로 수렴하는 데 필요한 f(n)의 최적 성장률은 무엇인가?
• RQ3 벡터 수가 n에 따라 증가할 때 고차원에서 격자 벡터 길이의 분포는 어떻게 행동하는가?
• RQ4 벡터 길이의 수열에 대해 포아송 과정 극한을, n에 대해 지수적으로 증가하지 않는 N(n)개의 벡터로 확장할 수 있는가?
• RQ5 f(n) = e^{cn}일 때 수렴이 성립하는 임계 상수 ck는 무엇인가? c < ck이면 성립하고 c > ck이면 실패한다.

주요 결과

• 모든 f(n)이 f(n) → ∞ 이고 f(n) = Oε(e^{εn})를 만족할 때, n → ∞일 때 t ↦ Rn,L(tf(n))/√(2f(n))는 [0,1]에서 일차원 브라운 운동으로 분포 수렴한다.
• f(n) = O(e^{cn}) 이고 c < ck일 때, 모든 k ≥1에 대해 정규화된 오차 항의 k차 모멘트는 표준 가우시안의 k차 모멘트로 수렴한다. 여기서 ck는 명시적으로 결정된 임계 상수이다.
• 임계 상수 ck는 k ≥3일 때 ck = −2 log eVk−1 / (k−2) 로 주어지며, c > ck이면 모멘트 수렴이 실패한다.
• f(n)이 지수적으로 증가하지 않는 경우, 오차 항은 보편적인 가우시안 변동을 보이며, 고차원 무작위 격자에서 격자 점 수에 대한 중심극한정리가 성립함을 시사한다.
• 각 열에 하나의 비영원소만을 갖는 행렬 D의 기여만이 극한에서 남고, 열당 하나 이상의 비영원소를 갖는 행렬 D의 기여는 극한에서 사라진다.
• Södergren(2016)의 정리 1.1에서 격자 벡터 길이의 포아송 분포 결과를 더 넓은 척도 함수의 범주로 확장하였으며, N(n)이 n에 대해 지수적으로 증가하지 않는 경우에도 포아송 행동이 유지됨을 확인하였다.