[논문 리뷰] Turan's problem 10 revisited

Johan Andersson|ArXiv.org|2006. 09. 11.

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

한 줄 요약

이 논문은 투란의 문제 10을 해결하여 단위 원 위 또는 외부에 있는 복소수에 대한 거듭제곱 합의 최댓값에 대한 날카운 상계를 확립한다. 확률적 방법, 산술적 구성법(Montgomery, Fabrykowski, Andersson), 모멘트 추정, 소수 간격 추정(Baker-Harman-Pintz)을 조합하여, $\nu = 1,\dots,n^2$ 에서 $\left|\sum_{k=1}^n z_k^\nu\right|$ 의 최소 최댓값이 $\sqrt{n} + O(n^{0.2625+\epsilon})$ 임을 증명한다. 이는 에르되시와 레니의 이전 결과인 $O(\sqrt{n\log n})$ 에 비해 향상된 결과이다.

ABSTRACT

In this paper we prove that inf_{|z_k| => 1} max_{v=1,...,n^2} |sum_{k=1}^n z_k^v| = sqrt n+O(n^{0.2625+epsilon}). This improves on the bound O(sqrt (n log n)) of Erdos and Renyi. In the special case of $n+1$ being a prime we have previously proved the much sharper result that the quantity lies in the interval [sqrt(n),sqrt(n+1)] The method of proof combines a general lower bound (of Andersson), explicit arithmetical constructions (of Montgomery, Fabrykowski or Andersson), moments (probabilistic methods) and estimates for the difference of consecutive primes (of Baker, Harman and Pintz). We also prove some (conditional and unconditional) related results.

연구 동기 및 목표

• 일반 정수 $n$ 에 대해 투란의 문제 10을 해결함으로써, 이전에 $n+1$ 이 소수일 때에만 성립하던 결과를 일반화함.
• 거듭제곱 합의 최댓값에 대한 에르되시-레니의 $O(\sqrt{n\log n})$ 추정을 향상시키기 위해, $\nu = 1,\dots,n^2$ 에서의 최댓값에 대해.
• 단위근을 가진 복소수 $z_k$ 에 대해 $\left|\sum_{k=1}^n z_k^\nu\right|$ 의 최소 최댓값에 대한 날카운 渐近 추정을 도출함. 이는 $\sqrt{n}$ 에 수렴한다.

제안 방법

• Andersson의 일반적 하한을 바탕으로 하여, 단위근을 가진 $z_k$ 에 대해 명시적인 산술적 구성법(Montgomery, Fabrykowski, Andersson)을 조합함.
• 확률적 방법과 모멘트 추정을 적용하여 거듭제곱 합 최댓값의 꼬리 행동을 제어함.
• 연속된 소수 간격의 추정(Baker-Harman-Pintz)을 활용하여 상계를 정밀화함.
• Montgomery의 구성법을 새롭게 변형하여, $m$ 이 1에 가까운 $m n^2$ 까지의 $\nu$ 에 대해 $O(\sqrt{n})$ 형식의 상계를 달성함.
• 뉴턴-지라드 항등식과 캐슬스의 보조정리를 활용하여, $\nu$ 가 $n^2 - n + 1$ 이하일 경우에 대해 $\sqrt{n}$ 의 보편적 하한을 도출함. 이는 확률적 추론을 통해 $n^2$ 에까지 확장됨.
• 유한체 위의 캐릭터 합 추정(Katz)을 적용하여, $n^{2m}$ 과 같은 더 높은 $\nu$ 범위에 대해 하한을 도출함.

실험 결과

연구 질문

• RQ1 일반 $n$ 에 대해 거듭제곱 합의 최댓값에 대한 에르되시-레니의 추정 $O(\sqrt{n\log n})$ 을 향상시킬 수 있는가?
• RQ2 일반적으로 $n+1$ 이 소수일 필요가 없을 때, $\left|\sum_{k=1}^n z_k^\nu\right|$ 의 최소 최댓값에 대한 하한 $\sqrt{n}$ 이 날카로운가?
• RQ3 일반적으로 $\alpha > 1$ 일 때, $\inf_{|z_k|\geq 1} \max_{\nu=1,\dots,\lfloor \alpha n^2 \rfloor} \left|\sum_{k=1}^n z_k^\nu\right|$ 의 올바른 渐近 순서는 무엇인가?
• RQ4 일반 $n$ 에 대해 상계를 $\sqrt{n} + o(\sqrt{n})$ 으로 더 좁힐 수 있는가, 아니면 $n^{0.2625+\epsilon}$ 이 최적의 지수인가?
• RQ5 단위근 $|z_k| = 1$ 과 $|z_k| \geq 1$ 의 경우에 대해 점근적 행동이 유의미하게 다를까?

주요 결과

• 논문은 $\inf_{|z_k|\geq 1} \max_{\nu=1,\dots,n^2} \left|\sum_{k=1}^n z_k^\nu\right|$ 에 대해 $\sqrt{n} + O(n^{0.2625+\epsilon})$ 의 상계를 확립하였으며, 이는 에르되시와 레니의 $O(\sqrt{n\log n})$ 추정보다 크게 향상된 결과이다.
• 특수 케이스로 $n+1$ 이 소수일 경우, 이 상계는 날카로운데, $\sqrt{n} \leq \inf \max \left|\sum z_k^\nu \right| \leq \sqrt{n+1}$ 임을 확인하여, 이 경우에 $\sqrt{n}$ 순서가 정확히 날카로운 것으로 입증된다.
• 메서드에서는 확률적 기법과 명시적 구성법(Montgomery, Fabrykowski, Andersson), 소수 간격 추정(Baker-Harman-Pintz)을 조합하여 오차 항을 정밀화함.
• 저자들은 캐슬스의 보조정리와 뉴턴-지라드 항등식을 활용하여, $\nu = 1,\dots,n^2 - n + 1$ 에서 $\max_{\nu=1,\dots,n^2 - n + 1} \left|\sum z_k^\nu\right|$ 에 대해 $\sqrt{n}$ 이 보편적 하한임을 증명함.
• 일반적으로 $\alpha > 0$ 일 때, $\underline{A}(\alpha)\sqrt{n} \leq \inf \max \left|\sum z_k^\nu \right| \leq \overline{A}(\alpha)\sqrt{n}$ 의 추정을 제공하며, $\alpha \leq 1$ 일 경우 $\underline{A}(\alpha) = 1 - \sqrt{1 - \alpha}$ 이고, 이는 $\alpha < 1$ 일 때 $A(\alpha) = 1$ 이라고 추측함.
• 추측 5는 $|z_k| \geq 1$ 이나 $|z_k| = 1$ 이나 상관없이 점근 상수 $A\left(\alpha\right)$ 가 동일하다고 제기하며, 이는 두 상황 모두에서 $\sqrt{n}$ 순서가 강건함을 시사한다.