[논문 리뷰] On perfect powers that are sums of cubes of a three term arithmetic progression

Alejandro Argáez-García, Vandita Patel|arXiv (Cornell University)|2017. 11. 17.

Algebraic Geometry and Number Theory참고 문헌 20인용 수 10

한 줄 요약

이 논문은 $n \geq 5$ 소수이고 $0 < r \leq 10^6$일 때, $(x-r)^3 + x^3 + (x+r)^3 = y^n$의 정수해가 $xy = 0$를 만족하는 자명한 해 외에는 존재하지 않음을 증명한다. 이를 위해 프레이-헬레고아르 곡선, 모듈라리티, 갈루아 표현, 로그의 선형형식에 기반한 경계값을 사용한다. 이 결과는 삼항 등차수열에서의 세 제곱수의 합에 관한 이전 연구를 확장하며, $k=3$과 큰 $n$에 대해 비자명한 완전거듭제곱해가 존재하지 않음을 확인한다.

ABSTRACT

Using only elementary arguments, Cassels and Uchiyama (independently) determined all squares that are sums of three consecutive cubes. Zhongfeng Zhang extended this result and determined all perfect powers that are sums of three consecutive cubes. Recently, the equation $(x-r)^k + x^k + (x+r)^k$ has been studied for $k=4$ by Zhongfeng Zhang and for $k=2$ by Koutsianas. In this paper, we complement the work of Cassels, Koutsianas and Zhang by considering the case when $k=3$ and showing that the equation $(x-r)^3+x^3+(x+r)^3=y^n$ with $n\geq 5$ a prime and $0 &lt; r \leq 10^6$ only has trivial solutions $(x,y,n)$ which satisfy $xy=0$.

연구 동기 및 목표

• 지수 $n \geq 5$에 대해, 세 항의 등차수열에서 제곱수의 합으로서의 완전거듭제곱에 대한 이해의 격차를 메우기.
• 카슬스, 우치야마, 장이 $r=1$인 경우에 대해 $n=2$와 $n \geq 2$를 각각 해결한 바를 일반 $r$로 확장하기.
• 특히 $k=3$에 대해, $(x-r)^3 + x^3 + (x+r)^3 = y^n$이 $n \geq 5$ 소수이고 $r \leq 10^6$일 때 비자명한 정수해를 가지지 않음을 입증하기.
• 서로소 조건 $\gcd(x,r) = 1$ 하에서 고급 수론 기법을 활용해 비자명한 해를 제거하기.
• $10^6$을 초과하는 더 넓은 $r$ 범위에 적용 가능한 계산 및 이론적 프레임워크 제공하기.

제안 방법

• 원래 디오판틴 방정식을 $y = 3w$로 치환함으로써 삼항형 $x(x^2 + 2r^2) = 3^{p-1}w^p$로 변환하기.
• x의 홀짝성과 3의 배수 여부에 따라 네 가지 케이스로 나누어 내림내림 기법을 적용하여 $(p,p,p)$ 또는 $(p,p,2)$ 서식의 방정식 유도하기.
• 유도된 삼항 방정식과 연결된 프레이-헬레고아르 타원곡선을 이용해 모듈라리티와 레벨강하 논증 적용하기.
• 로그의 선형형식에 기반한 경계값(Mignotte의 결과)을 적용해 가능한 해를 제한하기.
• Magma를 사용해 국소 해가 존재하는지 검사하고, 내림내림 및 툴 방정식 해법을 통해 잔여 후보자들 처리하기.
• 레마 7.1, 7.2, 7.3을 적용하여 갈루아 표현과 국소 장벽 기법을 통해 해 제거하기.

실험 결과

연구 질문

• RQ1 지수 $n \geq 5$ 소수이고 $0 < r \leq 10^6$일 때, $(x-r)^3 + x^3 + (x+r)^3 = y^n$에 비자명한 정수해가 존재하는가?
• RQ2 모듈러 방법과 갈루아 표현 기법을 사용해 $k=3$인 경우 완전거듭제곱에 대한 비자명한 해를 배제할 수 있는가?
• RQ3 $\gcd(x,r) = 1$이라는 가정이 스케일링에 의한 인위적 해를 방지하는 데 충분한가? 이 조건은 해 공간을 어떻게 제약하는가?
• RQ4 툴 방정식 해법과 계산 수론의 조합이 초기 필터링 이후 잔여 후보자들을 모두 제거할 수 있는가?
• RQ5 유사한 이론적 프레임워크를 사용해 $r \leq 10^6$을 초월하는 범위로 해의 범위를 확장할 수 있는 통일된 방법이 존재하는가?

주요 결과

• $p \geq 5$ 소수이고 $0 < r \leq 10^6$일 때, $(x-r)^3 + x^3 + (x+r)^3 = y^p$는 $\gcd(x,r) = 1$ 조건을 만족하는 비자명한 정수해를 가지지 않는다.
• 초기 계산적 필터링 과정에서 케이스 3과 4에서 총 14개의 방정식이 살아남았으며, 이 중 13개는 $r = 2^k$, $k \geq 5$인 경우 레마 10.1에 의해 제거되었다.
• 남은 14개의 방정식 중 777개는 케이스 4($2 \nmid x$, $3 \nmid x$)에서 유래했고, 13개는 케이스 3($2 \nmid x$, $3 \mid x$)에서 유래했으며, 모두 $p \geq 5$를 만족한다.
• Magma의 해법기를 통해 툴 방정식을 풀었을 때, 남은 778개의 방정식 중 비자명한 해는 발견되지 않아 증명이 완료되었다.
• 최종 결과로 모든 정수해는 $xy = 0$를 만족함을 확인하여, 자명한 해 외에는 존재하지 않음을 입증하였다.
• 계산 시간은 케이스 3에 약 66시간, 케이스 4에 약 70시간이 소요되었으며, $r \leq 10^6$에 대해 전반적인 필터링이 적용되었다.