[논문 리뷰] On a variant of the large sieve

Ben Green|ArXiv.org|2008. 07. 31.

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

한 줄 요약

이 논문은 걸러내진 잔여류의 덧셈적 구조를 활용하는 대체로 새로운 대형 걸러내기(variant of the large sieve)를 제안한다. $ℤ/\mathbb{Z}/p\mathbb{Z}$에서 간격 기반 걸러내기의 이산 푸리에 계수를 분석함으로써, 걸러지지 않은 집합 $A \subseteq [N]$의 크기 $|A|$는 $|A| \ll N^{1/3+o(1)}$를 만족함을 증명한다. 이는 고전적 대형 걸러내기의 $O(N^{1/2})$ bound를 향상시킨 것이다. 지수 쌍 추측(exponent pairs conjecture) 하에 이 Bound는 $|A| \ll N^{o(1)}$로 강화되며, 리만 가설과 유사한 문제들인 린델뢰프 추측과 가우스 원판 문제와의 깊은 연관성을 시사한다.

ABSTRACT

We introduce a variant of the large sieve and give an example of its use in a sieving problem. Take the interval [N] = {1,...,N} and, for each odd prime p <= N^{1/2}, remove or ``sieve out'' by all n whose reduction mod p lies in some interval I_p of Z/pZ of length (p-1)/2. Let A be the set that remains: then |A| << N^{1/3 + o(1)}, a bound which improves slightly on the bound of |A| << N^{1/2} which results from applying the large sieve in its usual form. This is a very, very weak result in the direction of a question of Helfgott and Venkatesh, who suggested that nothing like equality can occur in applications of the large sieve unless the unsieved set is essentially the set of values of a polynomial (e.g. A is the set of squares). Assuming the ``exponent pairs conjecture'' (which is deep, as it implies a host of classical questions including the Lindelöf hypothesis, Gauss circle problem and Dirichlet divisor problem) the bound can be improved to |A| << N^{o(1)}. This raises the worry that even reasonably simple sieve problems are connected to issues of which we have little understanding at the present time.

연구 동기 및 목표

• 제시된 잔여류 집합의 크기 외에도 그 덧셈적 구조를 활용하는 대형 걸러내기의 새로운 변형을 개발하는 것.
• 모든 홀수 소수 $p \leq \sqrt{N}$에 대해 $\mathbb{Z}/p\mathbb{Z}$에서 길이 $(p-1)/2$인 간격 $I_p$에 속하는 잔여류를 제거하는 특정 걸러내기 문제를 다루는 것.
• 이러한 간격 기반 걸러내기 문제에 대해 고전적 대형 걸러내기의 $O(N^{1/2})$ bound를 향상시키는 것.
• 지수 쌍 추측이 걸러지지 않은 집합의 크기에 대한 다항식 이하의 bound를 얻는 데 어떤 영향을 미치는지 탐구하는 것.
• 이러한 걸러내기 문제들이 리만 가설과 유사한 깊은 수론적 추측들—린델뢰프 추측과 가우스 원판 문제—과 본질적으로 연결되어 있는지 탐색하는 것.

제안 방법

• 이 방법은 $A \subseteq \mathbb{Z}/p\mathbb{Z}$가 길이 $(p-1)/2$인 간격 $I_p$를 피할 경우, $1/p$ 또는 $2/p$ 주파수에서 큰 푸리에 계수를 가지며, 이는 $A$의 특성 함수의 $L^1$-노름에 하한을 제공함을 보여주는 이산 푸리에 분석을 사용한다.
• 핵심 부등식은 다음과 같다: $\max\left(|\sum_{n\in[N]}1_A(n)e(n/p)|, |\sum_{n\in[N]}1_A(n)e(2n/p)|\right) \geq |A|/3$, 간격 조건을 표현하기 위해 삼각항등식을 활용한다.
• 증명은 허들러 부등식과 $L^p$-노름 추정을 사용한 대형 걸러내기 부등식의 변형(정리 2.1)을 적용하며, 항목들을 균형 잡기 위해 $X = N^{1/3}$을 사용한다.
• 이론은 로버츠와 사르고스의 결과에 기반하며, 이는 단위 분수 $\{1/x\}$의 간격을 제어하여 특정 지수 합 부등식의 해의 수를 제어한다.
• 지수 쌍 추측을 사용하여 Bound를 강화한다: 만약 $|\sum_{X \leq x < 2X} e(\xi/x)| \ll X^{1/2+o(1)}$ 이고 $X^2 \leq |\xi| \leq X^{r+1}$ 이면, $|A| \ll N^{1/(r+1)+o(1)}$ 가 되며, $r=1$일 경우 $N^{1/3+o(1)}$ 이다.
• 이 방법은 케이크야형 문제에 유사하며, 걸러진 집합을 다양한 방향의 '선'들의 합집합으로 해석하고, 조화 분석의 제한 추정과 연결한다.

실험 결과

연구 질문

• RQ1 제거된 잔여류 집합이 $\mathbb{Z}/p\mathbb{Z}$에서 간격과 같이 구조화되어 있을 경우, 고전적 대형 걸러내기의 $O(N^{1/2})$ bound를 향상시킬 수 있는가?
• RQ2 각 $I_p \subseteq \mathbb{Z}/p\mathbb{Z}$가 길이 $(p-1)/2$인 간격일 때, $n \mod p \in I_p$ 인 모든 $n$을 제거하는 걸러내기 과정을 거친 후에도 살아남는 집합 $A \subseteq [N]$의 크기의 최선의 상한은 무엇인가?
• RQ3 제거된 집합 $I_p$의 구조가 걸러지지 않은 집합 $A$의 크기에 얼마나 기여하는가? 이는 $A$의 대수적 구조를 탐지하는 데 사용될 수 있는가?
• RQ4 해석적 수론의 깊은 추측들—지수 쌍 추측—이 구조화된 환경에서의 걸러내기 bound 강도에 어떤 영향을 미치는가?
• RQ5 단위 분수의 간격과 걸러내기 문제에서의 지수 합 추정 강도 사이에 본질적인 연결 고리가 존재하는가?

주요 결과

• 논문은 각 $I_p \subseteq \mathbb{Z}/p\mathbb{Z}$가 길이 $(p-1)/2$인 간격일 경우, 걸러지지 않은 집합 $A$의 크기 $|A|$에 대해 새로운 bound $|A| \ll N^{1/3+o(1)}$ 를 확립한다. 이는 고전적 대형 걸러내기의 $O(N^{1/2})$ bound를 향상시킨다.
• 이 향상은 제거된 간격의 덧셈적 구조를 이용해 큰 푸리에 계수를 도출하고, 이를 새로운 대형 걸러내기 부등식 변형을 통해 활용함으로써 발생한다.
• 지수 쌍 추측 하에 이 Bound는 $|A| \ll N^{o(1)}$로 강화되며, 이는 이러한 구조화된 걸러내기 문제들이 해석적 수론의 중심 추측들과 깊이 연결되어 있을 수 있음을 시사한다.
• 증명은 로버츠와 사르고스의 결과에 기반하며, 이는 $|\sum_{i=1}^r 1/x_i - \sum_{i=r+1}^{2r} 1/x_i| \leq 1/X^{r+1}$ 의 해의 수를 제어하며, 이에 대한 bound는 $\ll X^{r+\varepsilon}$ 이다.
• 저자들은 단위 분수의 간격이 $\ll X^{r+\varepsilon}$ 개의 해를 가진다고 추측하며, 이는 일반적인 $r$에 대해 $|A| \ll N^{1/(r+1)+o(1)}$ 를 도출할 것이며, $r=1$일 경우 주요 결과를 얻는다.
• 이 작업은 심지어 간단해 보이는 걸러내기 문제들조차도 린델뢰프 추측, 가우스 원판 문제, 딜레르트 약수 문제와 같은 심오한 미해결 문제들과 연결되어 있을 수 있음을 시사한다.