[논문 리뷰] On Congruences with Products of Variables from Short Intervals and Applications

Jean Bourgain, Moubariz Z. Garaev외 2명|arXiv (Cornell University)|2012. 02. 29.

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

한 줄 요약

이 논문은 소수 $p$ 모듈로에서 짧은 간격에서 변수의 곱을 포함하는 합동식의 해의 수에 대한 새로운 상계를 도출하며, 첨단의 덧셈 조합론과 캐릭터 합 추정 기법을 사용한다. 주요 기여는 $h < p^{1/(\nu^2-1)}$ 조건 하에 $K_{\nu}(p,h,s)$, 즉 $(x_1+s)\cdots(x_\nu+s) \equiv (y_1+s)\cdots(y_\nu+s) \not\equiv 0 \pmod{p}$ 를 만족하는 해의 수에 대한 비자명한 상계를 제공하는 것으로, 이는 이전의 지수합, 약수 함수를 포함한 캐릭터 합, 이중 캐릭터 합에 대한 결과들을 향상시킨다.

ABSTRACT

We obtain upper bounds on the number of solutions to congruences of the type $$ (x_1+s)...(x_ν+s)\equiv (y_1+s)...(y_ν+s) ot\equiv0 \pmod p $$ modulo a prime $p$ with variables from some short intervals. We give some applications of our results and in particular improve several recent estimates of J. Cilleruelo and M. Z. Garaev on exponential congruences and on cardinalities of products of short intervals, some double character sum estimates of J. B. Friedlander and H. Iwaniec and some results of M.-C. Chang and A. A. Karatsuba on character sums twisted with the divisor function.

연구 동기 및 목표

• 소수 $p$ 모듈로에서 짧은 간격에서 변수의 곱을 포함하는 대칭 합동식의 해 수에 대한 비자명한 상계를 도출하는 것.
• 지수합 합동식, 약수 함수를 포함한 캐릭터 합, 이중 캐릭터 합에 대한 기존 추정치를 확장하고 정밀화하는 것.
• 유한체 위에서 짧은 간격 내의 곱의 분포와 관련된 해석적 수론의 열린 문제들을 다루는 것.
• 순환 행렬과 캐릭터 합 기법을 기반으로 한 틀을 개발하여 희박한 집합 내의 곱셈적 구조를 분석하는 것.

제안 방법

• 지수합 합동식 $J_\nu(p,h,s;\lambda)$ 의 대칭형을 도입하며, 이를 $K_\nu(p,h,s)$ 로 표기하여 $[1,h]$ 내의 변수를 가진 $\prod (x_i+s) \equiv \prod (y_j+s) \not\equiv 0 \pmod{p}$ 를 만족하는 해의 수를 세는 것.
• 새로운 순환 행렬 $A(m,n,\sigma)$ 와 그 블록 확장의 구성 기법을 사용하여 해의 구조를 분석하고 특정 표시된 원소들에 대한 불변 합을 도출하는 것.
• 특히 지수합의 추정치와 딜리클레 캐릭터의 곱셈성에 기반한 덧셈 조합론 및 캐릭터 합 기법을 적용하는 것.
• 이중 분할과 짧은 간격 내 소수에 대한 평균화를 통해 캐릭터 합 추정치의 오차 항을 제어하는 것.
• 큰 선형체와 카라츠바 및 다른 이들의 캐릭터 합 상쇄 결과를 활용하여, 간격 길이에 대한 약한 가정 하에 비자명한 상계를 도출하는 것.
• 큰 캐릭터 합 크기의 가정에 기반한 모순 추론을 통해 특정 집합 $\mathcal{U}$ 의 크기에 하한을 설정하고, 이는 기존의 캐릭터 합 상쇄 결과와 모순됨을 보이는 것.

실험 결과

연구 질문

• RQ1 변수가 $[1,h]$ 내에 있을 때, 대칭 합동식 $\prod_{i=1}^\nu (x_i + s) \equiv \prod_{j=1}^\nu (y_j + s) \not\equiv 0 \pmod{p}$ 의 최대 해 수는 얼마인가?
• RQ2 이러한 해 수의 비자명한 상계가 성립하는 $h$ 의 범위를 이전 결과를 초월해 개선할 수 있는가?
• RQ3 $K_\nu(p,h,s)$ 의 상계는 짧은 간격에서의 지수합 추정치를 얼마나 강화할 수 있는가?
• RQ4 이러한 상계는 약수 함수로 휘감긴 캐릭터 합 또는 이중 캐릭터 합의 추정치에 어떤 영향을 미치는가?
• RQ5 이 방법은 고차수 곱셈 함수나 더 일반적인 다항식 합동식을 다루는 데로 확장될 수 있는가?

주요 결과

• 논문은 $h < p^{1/(\nu^2-1)}$ 조건 하에 $K_\nu(p,h,s)$, 즉 대칭 곱 합동식의 해 수에 대한 비자명한 상계를 확립하며, 이는 이전 결과를 향상시킨다.
• $\nu=4$ 인 경우, 이 상계는 실로 풀리지 않은 문제를 해결하며, 실로 Cilleruelo와 Garaev가 제기한 비자명한 추정치 존재성 문제를 해결한다.
• 이 방법은 짧은 간격 내 지수합 합동식에 대한 개선된 상계를 이끌어내며, 비자명한 추정치가 성립하는 $h$ 의 범위를 확장한다.
• 저자들은 Friedlander와 Iwaniec의 이중 캐릭터 합 추정치를 개선하여, 일부 희박한 부분 집합에서 더 강한 상쇄 효과를 제공한다.
• $N \geq p^{1/3 + \varepsilon}$ 인 경우, 모든 $a$ 가 $p$ 와 서로소일 때, $S_a(N) = \sum_{n \leq N} \chi(a + n^2)$ 의 비자명한 상계를 확립하며, 이는 카라츠바의 이전 결과($|a| \leq p^{1/2}$)를 초월한다.
• 이 틀은 약수 함수 $\tau_k(n)$ 을 포함하는 합으로 확장되어, 비자명한 추정치가 가능한 $a$ 의 범위를 개선한다.