[論文レビュー] On the generalized circle problem for a random lattice in large dimension

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

Stochastic processes and statistical mechanics被引用数 1

ひとこと要約

本稿は、高次元におけるランダムな格子上の一般化円問題における誤差項の関数的中心極限定理を確立する。Rogersの平均値公式の新版本とモーメント収束技術を用いて、スケーリング関数 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 におけるランダムな格子 L に対して、一般化円問題における誤差項 Rn,L(x) の漸近的分布を理解すること。
• 正規化された誤差項が n → ∞ の際に関数的中心極限定理に従うことを確立すること。
• 正規化された誤差の k 階モーメントがガウスモーメントに収束するための f(n) の最適な成長率を特定すること。
• 格子ベクトル長のポisson的分布に関する先行結果を、より広いスケーリング関数のクラスへと拡張すること。

提案手法

• SL(n,R) 上での積分に適したRogersの平均値公式の新バージョンを開発し、誤差項のモーメントを扱う。
• モーメント収束技術を用いて、正規化された誤差過程がブラウン運動に弱収束することを証明する。
• モーメント展開におけるさまざまな行列 D の寄与を分析し、Mk,n に含まれる項と、極限で消える項を区別する。
• 指数積分および格子行列式の項に対する評価を適用し、非自明な行列からの尾部寄与を制御する。
• eVx が x ≥1 で厳密に単調減少かつ凸であることに着目し、モーメント寄与を比較・評価する。
• 収束が成り立つための臨界閾値 ck を確立し、f(n) = O(e^{cn}) に対して c < ck のとき収束が成立し、c > ck のときは失敗することを示す。

実験結果

リサーチクエスチョン

• RQ1 ランダムな格子 L を高次元 n で考えるとき、n → ∞ において正規化誤差項 Rn,L(f(n))/√(2f(n)) は分布収束して標準正規確率変数に収束するか？
• RQ2 正規化誤差の k 階モーメントが標準ガウス分布の k 階モーメントに収束するための f(n) の最適な成長率は何か？
• RQ3 格子ベクトル長の分布は、次元が高くなると、ベクトル数が n に従って増加する条件下でどのように振る舞うか？
• RQ4 ベクトル長の列に対するポisson過程の極限を、n に対して指数的に成長より遅い N(n) 個のベクトルに拡張できるか？
• RQ5 f(n) = e^{cn} のとき、c < ck ならばモーメント収束が成立し、c > ck ならば失敗するような臨界定数 ck は何か？

主な発見

• 任意の f(n) が f(n) → ∞ かつすべての ε > 0 に対して f(n) = Oε(e^{εn}) を満たすとき、n → ∞ において t ↦ Rn,L(tf(n))/√(2f(n)) は [0,1] 上で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) が指数関数的成長より遅い場合、誤差項は普遍的なガウス型フラクチュエーションを示し、高次元ランダム格子における格子点数の中心極限定理を示唆する。
• 1列に1つ以上の非ゼロ成分を持つ行列 D の寄与は極限で消え、唯一1列にちょうど1つの非ゼロ成分を持つ行列のみが、極限モーメントに寄与する。
• Södergren (2016) の定理1.1（格子ベクトル長のポisson的分布）を、より広いスケーリング関数のクラスへと拡張し、N(n) が n に対して指数関数的成長より遅く増加する場合にポisson的挙動が成立することを確認した。