[논문 리뷰] On the Diophantine equation $(5pn^{2}-1)^{x}+(p(p-5)n^{2}+1)^{y}=(pn)^{z}$

Elif Kızıldere Mutlu, Gökhan Soydan|arXiv (Cornell University)|2020. 02. 26.

Advanced Mathematical Theories and Applications인용 수 2

한 줄 요약

이 논문은 소수 $p > 3$ 이고 $p \equiv 3 \pmod{4}$ 이며 $pn \equiv \pm1 \pmod{5}$ 를 만족할 때, 지수 디오판틴 방정식 $(5pn^2 - 1)^x + (p(p-5)n^2 + 1)^y = (pn)^z$ 는 유일한 해 $(x, y, z) = (1, 1, 2)$ 를 가짐을 증명한다. 자코비 기호의 성질과 로그의 선형 형식에 대한 베이커의 방법을 사용하여 효과적인 상한을 확립하고, MAGMA와 같은 계산 도구를 통해 유한한 수의 경우를 검증함으로써, 제시된 조건 하에 해의 유일성이 확인된다.

ABSTRACT

Let $p$ be a prime number with $p>3$, $p\equiv 3\pmod{4}$ and let $n$ be a positive integer. In this paper, we prove that the Diophantine equation $(5pn^{2}-1)^{x}+(p(p-5)n^{2}+1)^{y}=(pn)^{z}$ has only the positive integer solution $(x,y,z)=(1,1,2)$ where $pn \equiv \pm1 \pmod 5$. As an another result, we show that the Diophantine equation $(35n^{2}-1)^{x}+(14n^{2}+1)^{y}=(7n)^{z}$ has only the positive integer solution $(x,y,z)=(1,1,2)$ where $n\equiv \pm 3% \pmod{5}$ or $5\mid n$. On the proofs, we use the properties of Jacobi symbol and Baker's method.

연구 동기 및 목표

• 특정 수론적 제약 조건 하에서 지수 디오판틴 방정식 $(5pn^2 - 1)^x + (p(p-5)n^2 + 1)^y = (pn)^z$ 의 모든 양의 정수해를 구하는 것.
• 대수적 수론을 활용하여 해의 구조를 분석함으로써 이전의 피라일 타입 방정식 결과를 확장하는 것.
• 로그의 선형 형식과 $p$-진 값매김 기법을 사용하여 해에 대한 효과적인 상한을 확립하는 것.
• 제한된 매개변수 범위 내에서 계산적 점검을 통해 $(1,1,2)$ 를 초월한 해의 부재를 확인하는 것.
• 특수 케이스 $(35n^2 - 1)^x + (14n^2 + 1)^y = (7n)^z$ 에 대해 $n \equiv \pm3 \pmod{5}$ 또는 $5 \mid n$ 일 때에 대한 보조정리 증명

제안 방법

• 대수적 수의 로그 선형 형식을 추정하여, 해 $x$, $y$, $z$ 에 대한 효과적인 상한을 도출하기 위해 베이커의 방법을 적용한다.
• 자코비 기호를 사용하여 4와 5를 모듈로로 하는 합동 조건을 분석함으로써, 특정 가정 하에 $x$ 는 홀수, $y$ 는 짝수여야 한다는 것을 유도한다.
• 부게아의 결과를 통한 $p$-진 값매김 기법을 활용하여 대수적 정수의 거듭제곱을 포함하는 표현의 $p$-진 값매김을 유계화한다.
• 연속 분수 수렴근을 사용하여 $\log v / \log w$ 의 유리수 근사 문제로 문제를 환원함으로써 잠재적 해를 제거한다.
• 원래 방정식을 $w^t - v^y = w^2 - v$ 또는 $w^z - v^y = w^2 - v$ 와 같은 형태로 변환하여 로그 부등식을 적용한다.
• MAGMA 계산을 통해 유도된 상한 내의 모든 후보 해를 체계적으로 점검하여 $(1,1,2)$ 를 초월한 해가 존재하지 않음을 확인한다.

실험 결과

연구 질문

• RQ1 조건 $p > 3$, $p \equiv 3 \pmod{4}$, $pn \equiv \pm1 \pmod{5}$ 를 만족할 때, 방정식 $(5pn^2 - 1)^x + (p(p-5)n^2 + 1)^y = (pn)^z$ 는 $(1,1,2)$ 를 초월한 양의 정수해를 가질까?
• RQ2 이 조건 하에서 $p$ 와 $n$ 에 대한 $x$, $y$, $z$ 의 효과적인 상한은 어떻게 표현될 수 있는가?
• RQ3 특수 케이스 $p = 7$ 에서 $n \equiv \pm3 \pmod{5}$ 또는 $5 \mid n$ 일 때, 해 $(1,1,2)$ 는 유일한 해가 될까?
• RQ4 자코비 기호와 $p$-진 값매김의 성질이 이 지수 디오판틴 방정식의 가능한 해를 어떻게 제약하는가?
• RQ5 연속 분수 이론과 로그의 선형 형식 이론은 이러한 방정식에서 허위 해를 제거하는 데 얼마나 효과적으로 활용될 수 있는가?

주요 결과

• 조건 $p > 3$, $p \equiv 3 \pmod{4}$, $pn \equiv \pm1 \pmod{5}$ 를 만족할 때, 방정식 $(5pn^2 - 1)^x + (p(p-5)n^2 + 1)^y = (pn)^z$ 는 정확히 하나의 양의 정수해를 가진다: $(x, y, z) = (1, 1, 2)$.
• 로그 추정 기반으로 $n \equiv 3 \pmod{4}$ 일 경우 $n \leq 192$, $n \equiv 1 \pmod{4}$ 일 경우 $n \leq 187$ 인 유계 상한이 확립된다.
• 특수 케이스 $p = 7$ 에서 방정식 $(35n^2 - 1)^x + (14n^2 + 1)^y = (7n)^z$ 는 $n \equiv \pm3 \pmod{5}$ 또는 $5 \mid n$ 일 때에만 해 $(1,1,2)$ 를 유일하게 가진다.
• 로그 및 $p$-진 상한 기반으로 $n \equiv 1 \pmod{4}$ 일 때 $p < 6307$, $n \equiv 3 \pmod{4}$ 일 때 $p < 12610$ 이다.
• MAGMA 를 사용하여 유도된 상한 내의 모든 후보 해를 점검하였고, $(1,1,2)$ 를 초월한 해는 발견되지 않았다.
• 증명은 $z/y$ 가 $\log v / \log w$ 의 수렴근이어야 한다는 것을 보여주며, 이 조건은 $y < 2521 \log(pn)$ 일 때 실패하므로 추가 해가 존재하지 않음을 제거한다.