[논문 리뷰] Spatial statistics for lattice points on the sphere I: Individual results

Jean Bourgain, Zeév Rudnick외 1명|arXiv (Cornell University)|2016. 06. 19.

Point processes and geometric inequalities인용 수 9

한 줄 요약

이 논문은 큰 정수를 세 제곱수의 합으로 표현함으로써 얻어진 구 위의 격자점들의 공간적 분포를 조사한다. 일반화된 리만 가설(GRH) 하에, 이러한 점들은 渐近적으로 최적의 리에스 $ s $-에너지와 리플리 함수에서 추측된 난수와 유사한 행동을 보이며, 척도 $ N_n^{-1+\theta} $ 에서 근사적으로 균일하고 비강성 있는 분포를 나타낸다. 이는 두 제곱수의 합의 덮개 반경과 간격에 대한 영향을 미친다.

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 $-에너지의 渐近 최적성과 쌍상관 통계에서 난수와 유사한 행동을 추측하는 것.
• 선형체 방법과 $ \mathcal{S}_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 $ 의 유계성을 확보하여, 구의 캡 내 점 수의 분산을 제어하기 위해 조화 분석과 지수 합을 활용한다.
• 덮개 반경 추측을 적용하여, 선형체 방법과 $ \mathcal{S}_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) $ 의 덮개 반경의 渐近 행동은 무엇이며, 두 제곱수의 합의 수론적 성질과 어떻게 관련되는가?
• RQ4 덮개 반경 추측이 연속된 두 제곱수의 합 사이의 최대 간격에 대한 유계를 이끌어낼 수 있는가?
• RQ5 $ \widehat{\mathcal{E}}(n) $ 의 공간 통계는 꿀벌집 격자와 같은 강성 있는 구성과 어떻게 비교되는가?

주요 결과

• 일반화된 리만 가설 하에, $ \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) $ 내에서 연속된 두 제곱수의 합 사이의 최대 간격 $ G(Y) $ 가 $ G(Y) \ll Y^\epsilon $ 이며, 모든 $ \epsilon > 0 $ 에 대해 성립함을 암시한다.
• 반경 $ \rho $ 의 구 캡 내 점 수의 분산은 $ V(n; \rho_1, \rho_2) \ll_{\epsilon} N_n^{1+\epsilon'} $ 를 만족하며, 난수와 유사한 변동성의 추측을 지지한다.
• $ N_n^{-1/2} $ 로 스케일된 최근접 이웃 거리 분포는 리플리 함수의 추측된 행동 하에 난수 경우와 일치함을 보였다.