[論文レビュー] Spatial statistics for lattice points on the sphere I: Individual results

Jean Bourgain, Zeév Rudnick+1 more|arXiv (Cornell University)|Jun 19, 2016

Point processes and geometric inequalities被引用数 9

ひとこと要約

本稿は、大きな整数を3つの平方数の和として表す際の球面上の格子点の空間的分布を調査する。一般化リーマン予想の下で、これらの点は漸近的に最適なリエス $ s $-エネルギーを示し、リプリー関数において予想されるランダムな振る舞いを満たす。これは、スケール $ N_n^{-1+\theta} $ においてほぼ一様で、剛性のない分布であることを示唆する。この結果は、2つの平方数の和の被覆半径とギャップに関する知見をもたらす。

ABSTRACT

We study the spatial distribution of point sets on the sphere obtained from the representation of a large integer as a sum of three integer squares. We examine several statistics of these point sets, such as the electrostatic potential, Ripley's function, the variance of the number of points in random spherical caps, and the covering radius. Some of the results are conditional on the Generalized Riemann Hypothesis.

研究の動機と目的

• 整数解 $ x_1^2 + x_2^2 + x_3^2 = n $ から得られる正規化された格子点 $ \widehat{\mathcal{E}}(n) \subset S^2 $ の空間的分布を分析すること。
• 電磁的エネルギー、リプリー関数、被覆半径といった統計的指標を用いて、これらの配置をランダム点集合や剛性のある格子構造と比較すること。
• GRHの下でリエス $ s $-エネルギーの漸近的最適性を確立し、ペア相関統計におけるランダムな振る舞いの予想を提示すること。
• スieves法および $ \mathcal{S}_2 $ の性質を用いて、2つの平方数の和のギャップの分布に関する帰結を導出すること。

提案手法

• 大規模な $ n $ に対して、空間統計に注目した正規化点集合 $ \widehat{\mathcal{E}}(n) = \frac{1}{\sqrt{n}} \mathcal{E}(n) \subset S^2 $ を分析する。
• $ 0 < s < 2 $ に対してリエス $ s $-エネルギー $ E_s(P_1, \dots, P_N) = \sum_{i \neq j} |P_i - P_j|^{-s} $ を用い、GRHの下で漸近的最適性を証明する。
• 距離 $ r $ 以内の点対を数えるリプリー関数 $ K_r $ を用い、$ N_n^{-1+\epsilon} \leq r \leq 2 $ の範囲で、GRHの下で $ O(N^2 r^2) $ の上界を確立する。
• 特に、球面の小領域における点数の分散を制御するため、$ \left| \sum_{\zeta \in \widehat{\mathcal{E}}(n)} e^{2\pi i \zeta \cdot \omega} \right|^2 $ の評価を含む調和解析と指数和の技法を用いる。
• 被覆半径の予想を応用し、スieves法および $ \mathcal{S}_2 $ の性質を用いて、2つの平方数の和のギャップに関する境界を導出する。
• 特に、シーゲル零点の不在（完全なGRHより弱い条件）を仮定することで、小領域における点数の分散の見積もりに重要な推論を得る。

実験結果

リサーチクエスチョン

• RQ1 一般化リーマン予想の下で、球面上の正規化された格子点 $ \widehat{\mathcal{E}}(n) $ は、$ 0 < s < 2 $ に対して漸近的に最適なリエス $ s $-エネルギーを示すか？
• RQ2 スケール $ r \sim N_n^{-1+\epsilon} $ において、リプリー関数 $ K_r $ で測定される $ \widehat{\mathcal{E}}(n) $ のペア相関行動は、ランダム点集合のそれと整合するか？
• RQ3 $ \widehat{\mathcal{E}}(n) $ の被覆半径の漸近的挙動は何か？ また、これは2乗数の和の数論的性質とどのように関係するか？
• RQ4 被覆半径の予想は、連続する2つの平方数の和の間の最大ギャップに境界をもたらすか？
• RQ5 $ \widehat{\mathcal{E}}(n) $ の空間的統計は、ハチの巣格子のような剛性のある配置と比べてどう異なるか？

主な発見

• 一般化リーマン予想の下で、リエス $ s $-エネルギーは $ E_s(\widehat{\mathcal{E}}(n)) = I(s)N^2 + O(N^{2-\delta}) $（$ \delta > 0 $）を満たし、これは漸近的最適性を示している。
• $ N_n^{-1+\epsilon} \leq r \leq 2 $ の範囲で、リプリー関数は $ K_r(\widehat{\mathcal{E}}(n)) \ll_\epsilon N^2 r^2 $ を満たし、近接する点対の数がランダムな場合に比べて定数倍以内に抑えられていることを示している。
• 予想1.6の下で、$ \widehat{\mathcal{E}}(n) $ の被覆半径は $ \ll N_n^{-1/4} $ で抑えられ、点群が相対的に一様に分布していることを示している。
• 被覆半径の予想1.8は、$ [Y, 2Y) $ 内の連続する2つの平方数の和の間の最大ギャップ $ G(Y) $ に対して、$ G(Y) \ll Y^\epsilon $（任意の $ \epsilon > 0 $）が成り立つことを示唆し、やや弱いスieves仮定のもとで成立する。
• 半径 $ \rho $ の球面の小領域における点数の分散は $ V(n; \rho_1, \rho_2) \ll_{\epsilon} N_n^{1+\epsilon'} $ を満たし、ランダムなフラクチュエーションの予想を支持している。
• $ N_n^{-1/2} $ でスケーリングされた最近傍距離分布は、リプリー関数の予想される挙動の下で、ランダムな場合と整合することが示されている。