[論文レビュー] Gap statistics and higher correlations for geometric progressions modulo one

Christoph Aistleitner, Simon Baker+2 more|arXiv (Cornell University)|Oct 20, 2020

Analytic Number Theory Research参考文献 27被引用数 6

ひとこと要約

本稿は、AistleitnerとBakerの予想を解決し、ほとんどすべての α > 1 に対して、幾何級数 (αⁿ)ₙ≥₁ の分数部分が、1 を法とするポアソン的 k 点相関および正規化されたギャップ統計を示すことを証明している。著者らは、振動積分推定に基づく解析的手法を用いてこれを達成し、結果を部分ラクーン的（sub-lacunary）な数列のクラスへと拡張している。

ABSTRACT

Koksma's equidistribution theorem from 1935 states that for Lebesgue almost every $\\alpha>1$, the fractional parts of the geometric progression $(\\alpha^{n})_{n\\geq1}$ are equidistributed modulo one. In the present paper we sharpen this result by showing that for almost every $\\alpha>1$, the correlations of all finite orders and hence the normalized gaps of $(\\alpha^{n})_{n\\geq1}$ mod 1 have a Poissonian limit distribution, thereby resolving a conjecture of the two first named authors. While an earlier approach used probabilistic methods in the form of martingale approximation, our reasoning in the present paper is of an analytic nature and based upon the estimation of oscillatory integrals. This method is robust enough to allow us to extend our results to a natural class of sub-lacunary sequences.

研究の動機と目的

• 幾何級数 (αⁿ) を 1 を法として、k 点相関および正規化されたギャップのポアソン分布に関する Aistleitner と Baker の予想を解決すること。
• Lebesgue 動的測度でほとんどすべての α > 1 に対して、すべての有限 k ≥ 2 について、(αⁿ)ₙ≥₁ がポアソン的 k 点相関を持つことを確立すること。
• 従来の確率的マルティングルール法に代わる、幾何級数の Koksma の等分布定理の新しい解析的証明を提供すること。
• 同じ解析的枠組みを用いて、自然な部分ラクーン的数列のクラスへと結果を拡張すること。
• 振動積分推定に基づく手法が、不等分布論における高階相関構造に対しても十分に頑健であることを示すこと。

提案手法

• k 点相関関数に由来する指数和を制御するためのコアな解析的道具として、振動積分推定を用いる。
• 停留点法および van der Corput 型推定を用いて、相関和におけるインデックス構成の指数和を評価する。
• 指数和における異なる変数の数とその重複度に基づいて、インデックス構成をケースに分ける。
• 重み付き数え上げ論法を用いて、重複度が有界なインデックス集合に対して、位相関数の非退化性に起因する振動積分の減衰を利用する。
• パrametrized 系列 (e^{αaₙ}) と α ∈ 𝒥 を用いて、ほとんど everywhere 収束を示す Borel-Cantelli 型の議論を適用する。
• パrameter 空間における L² の減衰と、列の a.e. 収束を結びつける [23] の命題 7.1 の変種を用いて、相関和の L² 収束を確立する。

実験結果

リサーチクエスチョン

• RQ1 ほとんどすべての α > 1 に対して、(αⁿ)ₙ≥₁ を 1 を法として、k 点相関がポアソン分布に収束するか？
• RQ2 確率的アプローチに代わる解析的手法を用いて、幾何級数の正規化されたギャップおよび高階相関のポアソン的極限分布を確立できるか？
• RQ3 振動積分推定に基づく手法は、ラクーン的数列を超えて、成長が遅い部分ラクーン的数列へと拡張可能か？
• RQ4 パrameter 空間における、経験的相関和とポアソン極限との L² 差の正確な減衰速度は何か？
• RQ5 典型的な α > 1 に対して、すべての有限の k ≥ 2 について、ポアソン的挙動が一様に成立するか？

主な発見

• Lebesgue 動的測度でほとんどすべての α > 1 に対して、(αⁿ)ₙ≥₁ を 1 を法として、すべての k ≥ 2 について k 点相関がポアソン分布に収束する。
• 1 を法とした (αⁿ)ₙ≥₁ の正規化ギャップはポアソン的極限分布に従い、Aistleitner と Baker の予想を確認する。
• 相関和のポアソン極限からの L² ノルムの減衰率が O(N^{−1+ε}) であることを確立し、これは a.e. 収束を十分に保証する。
• 振動積分推定に基づく手法は、自然な部分ラクーン的数列のクラスへと拡張可能な頑健なフレームワークを提供する。
• 従来のマルティングルールに基づく確率的議論に代えて、直接的な解析的アプローチを導入し、より強い一様性と広範な適用可能性を実現する。
• 主な技術的評価は ∑|I(u,t)| ≪ N^{(2k−1)(1+ε)} であり、これが相関和の誤差を制御し、望ましい収束に導く。