[논문 리뷰] On integral points on biquadratic curves and near-multiples of squares in Lucas sequences

Max A. Alekseyev, Tengely, Szabolcs|arXiv (Cornell University)|2013. 06. 04.

Algebraic Geometry and Number Theory참고 문헌 26인용 수 11

한 줄 요약

이 논문은 이차형식 $y^2 = ax^4 + bx^2 + c$ 위의 정수점 탐색 문제를 유한 개의 Thue 방정식으로 감소시키는 간단한 알고리즘을 제시한다. 이는 기존의 해법기반 소프트웨어를 통해 효율적인 계산을 가능하게 한다. 이 방법은 루카스 수열에서 제곱수에 가까운 수를 찾는 데 적용되었으며, 피보나치 수열에서 $2m^2 + 2$ 형태로 나타나는 수는 오직 2와 34뿐이며, $m^2 - 3$ 형태로 나타나는 수는 오직 1, 13, 1597뿐임을 증명하였다. 이 접근법은 새로움과 실용성을 동시에 갖추고 있으며, 대수적 수론 기법에 대한 구조적인 대안을 제공한다.

ABSTRACT

We describe an algorithmic reduction of the search for integral points on a curve y^2 = ax^4 + bx^2 + c with nonzero ac(b^2-4ac) to solving a finite number of Thue equations. While existence of such reduction is anticipated from arguments of algebraic number theory, our algorithm is elementary and to best of our knowledge is the first published algorithm of this kind. In combination with other methods and powered by existing software Thue equations solvers, it allows one to efficiently compute integral points on biquadratic curves. We illustrate this approach with a particular application of finding near-multiples of squares in Lucas sequences. As an example, we establish that among Fibonacci numbers only 2 and 34 are of the form 2m^2+2; only 1, 13, and 1597 are of the form m^2-3; and so on. As an auxiliary result, we also give an algorithm for solving a Diophantine equation k^2 = f(m,n)/g(m,n) in integers m,n,k, where f and g are homogeneous quadratic polynomials.

연구 동기 및 목표

• 이차형식 $y^2 = ax^4 + bx^2 + c$ 위의 정수점 문제를 다루는 알고리즘적 감소 기법을 개발한다. 여기서 $ac(b^2 - 4ac) \neq 0$이다.
• 이전의 이론적 접근 방식과 달리 고급 대수적 수론을 피하는 실용적이고 간단한 방법을 제공한다.
• 루카스 수열에서 제곱수의 곱에 가까운 수, 예를 들어 $am^2 + b$ 형태의 항을 효율적으로 계산할 수 있도록 한다.
• 기존 방법을 확장하여 감소 과정에서 기약형과 비기약형을 포함한 Thue 유사 방정식을 모두 다룰 수 있도록 한다.
• 피보나치, 루카스, 펠, 펠-루카스 수열에서의 명시적 계산을 통해 이 방법의 실용성을 입증한다.

제안 방법

• 이차형식 $y^2 = ax^4 + bx^2 + c$ 를 동차 이차다항식 $f$와 $g$를 가진 디오판틴 방정식 $k^2 = f(m,n)/g(m,n)$ 로 감소시킨다.
• 기초 대수적 변환을 통해 유한 개의 4차 Thue 방정식으로 변환한다.
• 기존에 알려진 Thue 방정식 해법 알고리즘을 적용하며, SAGE와 PARI/GP 또는 MAGMA 해법기와 같은 소프트웨어를 활용한다.
• 루카스 수열 이론과 기본 항등식 $V_n^2 - D U_n^2 = 4Q^n$ 을 활용하여 $am^2 + b$ 형태의 항을 Thue 방정식의 해와 연결한다.
• 특수 케이스로 $V(P, \pm 1)$ 수열에서 $b = \pm 2$ 인 경우, 필요에 따라 Thue 방정식과 펠-페르마 방정식으로 감소시킨다.
• SAGE에서 알고리즘을 구현하여 타원곡선과 Thue 방정식 기법을 결합하며, 필요에 따라 Thue 해법기로의 백업을 제공한다.

실험 결과

연구 질문

• RQ1 이차형식 $y^2 = ax^4 + bx^2 + c$ 위의 정수점 탐색 문제를 간단한 방법으로 유한 개의 Thue 방정식으로 감소시킬 수 있는가?
• RQ2 루카스 수열 $U(P, \pm 1)$ 및 $V(P, \pm 1)$ 에서 $am^2 + b$ 형태의 항을 효율적으로 찾는 계산 방법이 존재하는가?
• RQ3 루카스 수열에서 $am^2 + b$ 형태의 해의 구조는 어떻게 되며, 이러한 항이 유한한지 무한한지 언제인가?
• RQ4 이 방법은 실용적으로 구현 가능하며, 기존의 Thue 방정식 해법 소프트웨어와 통합 가능한가?
• RQ5 접근성과 계산 가능성 측면에서 이 방법은 대수적 수론 접근법과 비교해 어떻게 되는가?

주요 결과

• 피보나치 수열에서 $2m^2 + 2$ 형태로 나타나는 수는 오직 2와 34뿐이며, $m^2 - 3$ 형태로 나타나는 수는 오직 1, 13, 1597뿐이다.
• 루카스 수열 $V(1, -1)$ (루카스 수)는 항등식 $V_{4n+2} = V_{2n+1}^2 + 2$ 와 $V_{4n} = V_{2n}^2 - 2$ 에 의해 $m^2 + 2$ 와 $m^2 - 2$ 형태로 나타나는 항이 무한히 많다.
• $V(P, \pm 1)$ 수열에서 $b = \pm 2$ 인 경우, 이 방법은 유한 개의 Thue 방정식과 펠-페르마 방정식으로 감소되며, 이는 무한히 많은 해를 가질 수 있다.
• 알고리즘은 피보나치, 루카스, 펠, 펠-루카스 수열에서 $1 \leq a \leq 3$ 및 $-3 \leq b \leq 3$ 인 모든 $am^2 + b$ 형태의 항을 성공적으로 계산하였으며, 표 1에 정리되어 있다.
• 이 방법은 SAGE에 구현되어 공개되어 있으며, 타원곡선과 Thue 방정식 접근법을 융합하여 안정성과 효율성을 확보하였다.
• 이 연구는 일반 이차형식 곡선을 Thue 방정식으로 감소시키는 최초의 공개된 간단한 알고리즘으로, 대수적 수론 기법에 대한 실용적인 대안을 제공한다.