[논문 리뷰] Sumsets of reciprocals in prime fields and multilinear Kloosterman sums

Jean Bourgain, M. Z. Garaev|arXiv (Cornell University)|2012. 11. 18.

Analytic Number Theory Research참고 문헌 13인용 수 11

한 줄 요약

이 논문은 소수 p에 대한 유한체에서 역수 집합의 덧셈 에너지에 대해 새로운 경계를 설정하며, 다중선형 지수합 추정치를 사용하여 불완전한 다중선형 클루스트르만 합에 대한 향상된 결과를 도출한다. |I| < p^{c/k²} 인 간격 I에 대해 k-중합집합 k(I⁻¹)의 크기는 |I|^{k+o(1)}임을 보이며, 이는 이전 추정치를 크게 향상시키고, 소수와 일반적인 곱셈 함수에 대한 특성합에 대해 더 강력한 경계를 가능하게 한다.

ABSTRACT

We obtain new results on additive properties of the set $$ I^{-1}= \{x^{-1}: \quad x\in I\} $$ where $I$ is an arbitrary interval in the field of residue classes modulo a large prime $p$. We combine our results with multilinear exponential sum estimates and obtain new results on incomplete multilinear Kloosterman sums.

연구 동기 및 목표

• F_p에서 역수를 포함하는 덧셈 합동식의 해의 수에 대한 개선된 상한 경계를 설정하기 위해.
• F_p의 간격 I에 대해 집합 I⁻¹ = {x⁻¹ : x ∈ I}의 덧셈 구조를 분석하기 위해.
• 이 경계를 활용하여 불완전한 다중선형 클루스트르만 합에 대한 새로운 추정치를 도출하기 위해.
• 새로운 합집합 경계를 활용하여 기존의 소수에 대한 특성합 추정치와 곱셈 함수에 대한 추정치를 향상시키기 위해.

제안 방법

• 논문 [6]에서 유래한 다중선형 지수합 추정치를 사용하여 역수 합합 합동식의 해의 수를 근사하기 위해.
• 간격에 대한 특성합에 대한 Weil의 추정치를 적용하여 불완전한 합을 제어하기 위해.
• 이중 분할과 스무딩 기법을 사용하여 이중 범위에서의 합을 다루기 위해.
• Vaughan의 항등식과 부분합을 사용하여 정수에 대한 합과 소수에 대한 합을 연결하기 위해.
• Corollary 5를 통해 간격 크기와 지수합 감쇠를 연결하여 이중합 경계를 유도하기 위해.
• |I| < p^{c/k²} 조건 하에서 k-중합집합 k(I⁻¹)에 대한 최적 경계를 설정하기 위해.

실험 결과

연구 질문

• RQ1 p 모듈로에서 x₁⁻¹ + ... + xₖ⁻¹ ≡ xₖ₊₁⁻¹ + ... + x₂ₖ⁻¹ 를 만족하는 xᵢ ∈ I 인 해의 최대 개수는 |I|가 p에 비해 작을 때 어떻게 되는가?
• RQ2 F_p의 간격 I에 대해 k-중합집합 k(I⁻¹)의 크기는 |I|의 함수로 어떻게 증가하는가?
• RQ3 역수 집합의 덧셈 에너지 추정치로부터 불완전한 다중선형 클루스트르만 합에 대한 개선된 경계를 도출할 수 있는가?
• RQ4 |I| < p^{3/46} 일 때, I⁻¹ + I⁻¹ + I⁻¹ 의 크기에 대한 최적의 지수는 무엇인가?
• RQ5 이 방법은 r > 1 인 x⁻ʳ 또는 소수에 대한 합으로 어떻게 확장될 수 있는가?

주요 결과

• 고정된 k와 c = 1/4 인 경우, |I| < p^{c/k²} 일 때, x₁⁻¹ + ... + xₖ⁻¹ ≡ xₖ₊₁⁻¹ + ... + x₂ₖ⁻¹ mod p 를 만족하는 해의 수는 |I|^{k+o(1)} 이하로 유 bounds된다.
• 이것은 동일한 조건 하에서 k-중합집합 k(I⁻¹)의 크기가 |I|^{k+o(1)} 이상임을 의미한다.
• |I| < p^{1/18} 일 때, x₁⁻¹ + x₂⁻¹ + x₃⁻¹ ≡ x₄⁻¹ + x₅⁻¹ + x₆⁻¹ mod p 를 만족하는 해의 수는 |I|^{3+o(1)} 이하로 유 bounds되며, 따라서 |I⁻¹ + I⁻¹ + I⁻¹| > |I|^{3+o(1)} 이다.
• |I| < p^{3/46} 일 때, x⁻¹ + y⁻¹ + z⁻¹ ≡ λ mod p 를 만족하는 해의 수는 λ ∉ I⁻¹ ∪ {0} 이면 |I|^{2/3+o(1)} 이하로 유 bounds되며, 이는 |I⁻¹ + I⁻¹ + I⁻¹| > |I|^{7/3+o(1)} 를 의미한다.
• 불완전한 다중선형 클루스트르만 합에 대한 경계는 max_{(a,p)=1} |∑_{x<N, x prime} e_p(ax⁻ʳ)| < N^{1−δ} 를 유도하며, p > N^{1/2+ε} 일 때 어떤 δ>0 에 대해 성립한다.
• Vaughan의 항등식과 Corollary 5를 사용하여 ∑_{n≤p} Λ(n)e_p(an⁻ʳ) 는 p^{23/24+o(1)} 이하로 유 bounds되며, Weil 추정치 p^{15/16+o(1)} 보다 향상된다.