[논문 리뷰] On a Problem of Mordell with Primitive Roots

Cristian Cobeli|ArXiv.org|2009. 11. 15.

Analytic Number Theory Research참고 문헌 4인용 수 8

한 줄 요약

이 논문은 소수 p에 대한 다중 원시 근을 포함하는 지수합에 관한 린니크-모델의 장기적인 문제를 다룬다. 원시 근 g에 대해 평균을 취함으로써, 형식 ∑_{x=1}^N exp(2πi(ax + b₁g₁^x + ⋯ + bₖgₖ^x)/p)의 평균에 대해 O(p^{23/24+ε})의 비자명한 상한을 확립하여, r ≥ 2 이며 계수들이 p로 나누어지지 않는 경우의 핵심 케이스를 해결한다.

ABSTRACT

We consider the sums of the form $$ S=\sum_{x=1}^{N} \exp\big((ax+b_1g_1^x+... +b_rg_r^x)/p \big) $$, where $p$ is prime and $g_1,..., g_r$ are primitive roots $\pmod p$. An almost forty years old problem of L. J. Mordell asks to find a nontrivial estimate of $S$ when at least two of the coefficients $b_1,...,b_r$ are not divizible by $p$. Here we obtain a nontrivial bound of the average of these sums when $g_1$ runs over all primitive roots $\pmod p$.

연구 동기 및 목표

• 소수 p에 대한 다중 원시 근을 포함하는 지수합에 관한 L. J. 모델이 제기한 장기적인 열린 문제를 해결하기 위해.
• r ≥ 2 이며 적어도 두 개의 계수 bᵢ가 p로 나누어지지 않을 때, 형식 S = ∑_{x=1}^N exp(2πi(ax + b₁g₁^x + ⋯ + bₖgₖ^x)/p)의 비자명한 상한을 제공하기 위해.
• 특히 한 개의 근 g는 평균을 취하고 나머지 근들은 고정된 상태에서, 모든 원시 근 g₁, ..., gᵣ에 대한 비자명한 평균 상한을 확립하기 위해.
• r = 1인 경우의 기존 상한(예: 스톤햄 및 버거스)을 r ≥ 2의 다변수 설정으로 확장하기 위해. 이는 약 40년간 해결되지 않은 상태였다.

제안 방법

• 고정된 원시 근 g₀에 대해 g = g₀^u 이고 gcd(u, p−1) = 1 인 지표 u에 대한 합으로 소수 p에 대한 원시 근 g에 대한 합을 대체한다.
• 평균 합에 코시-슈바르츠 부등식을 적용하여, g^{ux} 및 g^{uy}를 포함하는 지수항이 있는 x, y 및 u에 대한 이중합으로 문제를 축소한다.
• 횔더 부등식을 사용하여 합을 8제곱으로 승격시켜, 곱셈적 특성합 추정과 이중 분할을 사용할 수 있도록 한다.
• 모노비우스 함수의 성질과 t_d = (p−1)/d를 통한 이중 분할을 이용하여, u와 x에 대한 4중 지수합을 추정한다.
• 캔티 등(2002)의 핵심 보조정리를 적용하여 원시 근의 거듭제곱을 포함하는 합동계의 해의 수를 추정하고, H_{a,b}에 대해 O(p^{14/3+ε})의 상한을 도출한다.
• 완전합에 대한 상한을 이용하여, 구간 I ⊆ [1, p−1]에 대한 불완전합을 Fourier 유형의 특성함수와 기하급수 추정을 통해 유계화함으로써 증명을 완성한다.

실험 결과

연구 질문

• RQ1 소수 p에 대한 두 개 이상의 서로 다른 원시 근을 포함하는 지수합에 대해 비자명한 상한을 확립할 수 있는가?
• RQ2 한 원시 근을 모든 가능한 원시 근으로 변화시킬 때, 이러한 합의 평균 크기는 얼마인가?
• RQ3 r=1인 경우에 사용된 방법(예: 스톤햄 및 버거스)이 r ≥ 2의 경우로 확장 가능한가? 만약 가능하면 어떤 평균 조건 하에서 가능한가?
• RQ4 구간 I ⊆ [1, p−1]에 대한 불완전합은 [1, p−1]에 대한 완전합을 기반으로 유계화할 수 있는가?
• RQ5 r ≥ 2 이며 계수가 p로 나누어지지 않을 때, 평균 합에 대한 유계의 최적 지수는 무엇인가?

주요 결과

• 저자는 소수 p에 대한 모든 원시 근 g에 대해 S_N(a, b, b, g, g)의 평균에 대해 O(p^{23/24+ε})의 비자명한 상한을 확립하였으며, 이 경우 r ≥ 2 이고 계수들이 p로 나누어지지 않는다.
• 상한은 먼저 N = p−1인 완전합에 대해 증명하고, 코시-슈바르츠 및 횔더 부등식을 사용한 후 이중 분할과 특성합 추정을 적용함으로써 도출된다.
• 핵심 기술적 단계는 u와 x에 대한 4중 지수합을 유계화하는 것으로, 이는 원시 근의 거듭제곱을 포함하는 합동계의 해의 수를 추정하는 보조정리를 통해 달성된다.
• H_{a,b} = ∑_{y=1}^{p−1} |∑_{u: gcd(u,p−1)=1} e_p(aλ^u + bλ^{uy})|^4 는 O(p^{14/3+ε})로 유계화됨을 보였으며, 이는 이전 결과를 향상시킨다.
• 임의의 구간 I ⊆ [1, p−1]에 대한 불완전합은 |S(I)| ≪ p^{47/24+ε}를 만족함을 보였으며, 이는 완전합에 대한 상한을 사용하여 φ(p−1)로 나누면 평균합이 O(p^{23/24+ε})로 유계화됨을 의미한다.
• 최종 상한 O(p^{23/24+ε})는 기존의 자명한 상한 O(p)를 향상시키며, 관련 지수합 문제에서 알려진 최고의 상한과 일치하므로, 이는 Mordell 문제에 대해 평균적 의미에서 최적임을 의미한다.