[논문 리뷰] Pairs of k-free Numbers, consecutive square-full Numbers

Thomas Reuss|arXiv (Cornell University)|2012. 12. 13.

Analytic Number Theory Research참고 문헌 6인용 수 24

한 줄 요약

이 논문은 개선된 근사 행렬식 방법을 사용하여 $k$-자유 정수 쌍과 $k$-자유 정수 $r$-튜플에 대한 점 渐近 공식의 오차 항을 향상시킨다. 이는 히프브라운, 브랜드스, 다이트만–마르몬, 진상 이전의 작업보다 더 날카로운 오차 지수를 달성하며, 펠 방정식의 기본 단위에 대한 경계를 유도하는 데 응용되어 거의 모든 $D$에 대해 $\epsilon_D > D^\theta$ ($\theta < 3$)임을 보여준다. 핵심적 진전은 최적의 매개변수 선택을 통한 행렬식 방법을 이용한 정밀한 추정이다.

ABSTRACT

We consider the error term of the asymptotic formula for the number of pairs of $k$-free integers up to $x$. Our error term improves results by Heath-Brown, Brandes and Dietmann/Marmon. We then extend our results to $r$-tuples of $k$-free numbers and improve previous results by Tsang. Furthermore, we establish an error term for consecutive square-full integers. Finally, we will show that for all $θ&lt;3$ and for almost all $D$, the fundamental solution $ε_D$ associated to the Pell equation $x^2-Dy^2=1$ satisfies $ε_D&gt; D^θ$. This improves/recovers previous results by Fouvry and Jouve. The main tool of our work is the approximate determinant method.

연구 동기 및 목표

• 최근 히프브라운, 브랜드스, 다이트만–마르몬의 결과를 초월하여 $x$ 이하의 $k$-자유 정수 쌍 수에 대한 점 渐近 공식의 오차 항을 개선하는 것.
• 이전의 Tsang의 결과를 초월하여 $k$-자유 정수 $r$-튜플에 대한 오차 항 분석을 확장하는 것.
• 관련되지만 다를 수 있는 산술적 수세기 문제인 연속된 제곱완전 정수에 대한 새로운 오차 항을 확립하는 것.
• 모든 $\theta < 3$에 대해 펠 방정식 $x^2 - Dy^2 = 1$의 기본 단위 $\epsilon_D$가 거의 모든 $D$에 대해 $\epsilon_D > D^\theta$를 만족함을 증명하여, 후브리와 줌의 결과를 복구하고 개선하는 것.

제안 방법

• 주요 도구는 $d,e,u,v$의 크기 제약 조건을 만족하는 다양체 $e^k v^l - d^k u^l = h$ 위의 정수 점 수를 세는 데 적응된 일반화된 근사 행렬식 방법의 변형이다.
• 이 방법은 기하학적 수론을 활용하여 $t = s^{k/l}$ 곡선 근처의 유리점 수를 세는 문제로 문제를 환원한다. 여기서 $t = v/u$, $s = d/e$이다.
• 핵심적 혁신은 오차를 통제하는 데 사용되는 매개변수 $M$의 도입으로, $\log M = \frac{9}{8} \frac{\log(DE)\log(UV)}{\log x}$ 로 정의된다.
• 증명은 정리 1을 적용하여 해의 수 $\mathcal{N}(x;D,E)$를 유계화하고, $\mathcal{N}(x;D,E) \ll_{\epsilon,k,l,h} x^\epsilon \min\{(DEM)^{1/2} + D + E, (UVM)^{1/2} + U + V\}$ 라는 추정을 도출한다.
• $k$-자유 쌍에 대한 적용에서는 $l=1$로 설정하고, 오차 지수 $\omega(k)$를 bound 내의 매개변수 $\psi$에 대한 최적화를 통해 유도한다.
• 이 방법은 펠 방정식 단위에 대한 응용을 위해, $\epsilon_D$의 크기를 관련 디오판틴 방정식의 해의 수와 연결함으로써 동일한 행렬식 프레임워크를 사용하여 확장된다.

실험 결과

연구 질문

• RQ1 현재 알려진 최고의 경계를 초월하여 $k$-자유 정수 쌍에 대한 점 渐近 공식의 오차 항을 개선할 수 있는가?
• RQ2 $r$-튜플의 $k$-자유 정수에 대한 최적의 오차 지수 $\omega(k)$는 무엇이며, 현대 분석 방법을 사용해 이를 향상시킬 수 있는가?
• RQ3 근사 행렬식 방법을 보다 정교하게 다듬어 연속된 제곱완전 정수에 대해 더 강력한 경계를 도출할 수 있는가?
• RQ4 거의 모든 $D$에 대해 $\epsilon_D > D^\theta$가 성립하는 데 최적으로 가능한 지수 $\theta$는 무엇인가? 펠 방정식 $x^2 - Dy^2 = 1$에서.

주요 결과

• $k=2$일 때 $\omega(k) = \frac{26 + \sqrt{433}}{81} \approx 0.578$ 이고 $k \geq 3$일 때 $\omega(k) = \frac{169}{144k}$ 이며, 이는 브랜드스와 다이트만–마르몬의 이전 경계보다 작다. 이에 따라 $k$-자유 정수 쌍에 대한 오차 항은 $O_{\epsilon,k,h}(x^{\omega(k)+\epsilon})$로 향상된다.
• $r$-튜플의 $k$-자유 정수에 대해, 이 방법은 히스탄의 결과를 초월하는 점 渐近 공식과 오차 항을 도출하지만, 개요에서는 정확한 지수를 명시하지 않는다.
• 연속된 제곱완전 정수에 대한 오차 항이 확립되어, 이 방법의 적용 범위가 $k$-자유 정수를 초월하여 확장됨을 보여준다.
• 논문은 모든 $\theta < 3$에 대해 펠 방정식 $x^2 - Dy^2 = 1$의 기본 단위 $\epsilon_D$가 거의 모든 $D$에 대해 $\epsilon_D > D^\theta$임을 증명하며, 후브리와 줄의 결과를 복구하고 개선한다.
• $D,E,U,V,x$에 대한 조건 하에 $M$이 $\log(DE)$와 $\log(UV)$를 포함하는 로그 표현식으로 정의된 조건에서 $\mathcal{N}(x;D,E) \ll_{\epsilon} x^\epsilon \min\{(DEM)^{1/2} + D + E, (UVM)^{1/2} + U + V\}$ 라는 경계가 도출된다.
• 최적의 오차 지수 $\omega(k)$는 bound 내의 매개변수 $\psi$에 대한 최적화를 통해 달성되며, 함수 $f(\psi)$의 최댓값은 $\psi = 2/5$에서 발생하고, 이때 $f(2/5) = 29/100$이 된다.