[논문 리뷰] The variance of the number of sums of two squares in $\mathbb{F}_q[T]$ in short intervals

Ofir Gorodetsky, Brad Rodgers|arXiv (Cornell University)|2018. 10. 14.

Analytic Number Theory Research참고 문헌 36인용 수 5

한 줄 요약

이 논문은 짧은 간격 내에서 $\mathbb{F}_q[T]$의 다항식 중 두 제곱수의 합으로 표현 가능한 것들의 분산을 연구하며, 함수체 이론의 유사체를 통해 $z$-측도와의 연결을 밝혀낸다. 카츠와 사윈의 등분포 결과를 활용하여 $q$가 매우 클 때의 정확한 점근적 공식을 도출함으로써, 정수계의 경우에 대한 추측을 제시하며, 이는 수치 데이터와 매우 밀접하게 일치한다.

ABSTRACT

Consider the number of integers in a short interval that can be represented as a sum of two squares. What is an estimate for the variance of these counts over random short intervals? We resolve a function field variant of this problem in the large $q$ limit, finding a connection to the $z$-measures first investigated in the context of harmonic analysis on the infinite symmetric group. A similar connection to $z$-measures is established for sums over short intervals of the divisor functions $d_z(n)$. We use these results to make conjectures in the setting of the integers which match very well with numerically produced data. Our proofs depend on equidistribution results of N. Katz and W. Sawin.

연구 동기 및 목표

• 짧은 간격 내에서 $\mathbb{F}_q[T]$의 다항식 중 두 제곱수의 합으로 표현 가능한 것들의 수의 분산을 이해하는 것.
• 정수체 $\mathbb{Z}$에서 짧은 간격 내 두 제곱수의 합을 세는 고전 문제의 함수체 유사체를 수립하는 것.
• 이 함수체 설정에서의 분산이 무한 대칭군 위에서의 조화해석학에서 나타나는 $z$-측도와 어떻게 연결되는지 밝히는 것.
• 깊이 있는 등분포 정리들을 활용하여 $q$가 매우 클 때의 분산에 대한 점근적 공식을 도출하는 것.
• 함수체 결과를 바탕으로 정수계에 대한 추측을 제시하며, 이는 수치 데이터로 검증된다.

제안 방법

• 함수체 유사체를 활용하여 $\mathbb{F}_q[T]$가 $\mathbb{Z}$의 역할을 하도록 하고, 두 제곱수의 합으로 표현 가능한 다항식의 집합 $S = \{A^2 + T B^2 : A,B \in \mathcal{M}_q\}$로 모델링하는 것.
• $f \in \mathcal{M}_q$에 대해 $f$가 두 제곱수의 합이면 1, 아니면 0인 지표 함수 $b(f)$를 정의하는 것.
• N. 카츠와 W. 사윈의 등분포 결과를 적용하여 $\mathbb{F}_q[T]$의 짧은 간격에서 $b(f)$의 분산을 분석하는 것.
• 경로 적분과 디리클레 급수를 활용하여 분산의 점근적 표현을 도출하며, 특히 $q$가 매우 클 때의 경우를 중심으로 다루는 것.
• 분산의 생성함수를 분석하고 스펙트럼 구조를 식별함으로써 분산을 $z$-측도와 연결하는 것.
• 함수체 결과를 유추하여 정수계에 대한 추측을 도출하며, 이는 $X^\delta$ 크기의 짧은 간격 내 분산이 $K \cdot G(1-\delta)$에 의해 지배된다고 예측한다. 여기서 $G$는 $z$-측도와 관련된 함수이다.

실험 결과

연구 질문

• RQ1 함수체 $\mathbb{F}_q[T]$에서 길이 $H$의 짧은 간격 내에 두 제곱수의 합으로 표현 가능한 다항식의 수의 점근적 분산은 무엇인가?
• RQ2 이 분산은 무한 대칭군 위에서의 조화해석학에서 나타나는 $z$-측도와 어떻게 관련이 있는가?
• RQ3 함수체 결과를 바탕으로 정수계에서 두 제곱수의 합의 짧은 간격 내 분산에 대한 추측을 제시할 수 있는가?
• RQ4 왜 $\delta$가 0에서 멀리 떨어져 있을 때, 추측 1이 예측하는 포isson 유사 행동과는 다르게 $X^\delta$ 크기의 짧은 간격에서 분산이 벗어나는가?
• RQ5 $\delta \to 0$일 때 $X^\delta$ 크기의 간격에서 분산의 고차항이 어떤 역할을 하는가?

주요 결과

• 함수체 $\mathbb{F}_q[T]$에서 길이 $H = X^\delta$의 짧은 간격 내 두 제곱수의 합의 수의 분산은 $q \to \infty$일 때 점근적으로 $K_q \cdot G(1 - \delta) \cdot H / \sqrt{\log X}$가 된다. 여기서 $G$는 $z$-측도와 관련된 함수이다.
• 함수체 설정에서 $\delta$가 0에서 멀리 떨어져 있을 경우 비포issonian한 구조를 보이며, $z$-측도가 분산이 $\delta$에 따라 어떻게 변하는지를 정확히 묘사한다.
• 저자들은 정수계에 대한 추측을 도출한다: $X^\delta$ 크기의 간격 내 분산은 $K \cdot G(1 - \delta)$로 예측되며, 이는 수치 데이터와 매우 잘 일치한다.
• 소수 $p$에 대해 $X/2 < p < X$이고 간격 크기가 $p$일 때, 분산 $\mathbb{V}_b(X,p)$는 $K + \frac{-K^2 X^\delta + 1 - X^{-\delta}}{\sqrt{\log X}} + O(1/\log X)$로 표현되며, 이는 작은 $\delta$에서 수치 데이터의 돌출 현상을 설명한다.
• $z$-측도 연결은 하디-리틀우드 추측을 통한 히우리스틱적 근거 없이, 직접적으로 함수체 분석과 등분포 정리로부터 유도된다.
• 결과는 짧은 간격이 $\sqrt{\log X}$보다 클 경우 두 제곱수의 분포에 대한 포isson 히ュ리스틱이 붕괴됨을 시사하며, $z$-측도가 보다 정교한 모델을 제공한다.