[논문 리뷰] Diophantine Equation $X^4+Y^4=2(U^4+V^4)$

Farzali Izadi, Kamran Nabardi|arXiv (Cornell University)|2015. 01. 23.

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

한 줄 요약

이 논문은 타원곡선 이론을 활용하여 다항 디오판틴 방정식 $X^4 + Y^4 = 2(U^4 + V^4)$에 대해 무한히 많은 정수해를 생성한다. 특히, 동치수 곡선 $y^2 = x^3 - 36x$를 이용하며, 주요 기여는 Mordell-Weil 군의 계수 1 및 생성자 $(-3, 9)$를 통해 유도된 매개변수 해족을 도출하는 것이다. 이는 점의 반복 곱셈과 정규화를 통해 기약 해를 도출한다.

ABSTRACT

In this paper, the theory of elliptic curves is used for finding the solutions of the quartic Diophantine equation $X^4+Y^4=2(U^4+V^4)$ Keywords: Diophantine equation, Elliptic curve, Congruent number

연구 동기 및 목표

• 사차 디오판틴 방정식 $X^4 + Y^4 = 2(U^4 + V^4)$에 대해 무한히 많은 정수해를 찾는 것.
• 특히 동치수 곡선을 포함한 타원곡선 이론을 적용하여 이 방정식의 해를 매개변수화하는 것.
• 타원곡선 $E_6: y^2 = x^3 - 36x$ 상의 유리점에서 유도된 정수해를 정규화하여 기약 해를 생성하는 것.
• 관련 타원곡선의 Mordell-Weil 군 구조를 활용하여 이 방정식이 무한히 많은 해를 가짐을 보여주는 것.

제안 방법

• 대체 $X = U + t$, $Y = U - t$를 통해 방정식 $X^4 + Y^4 = 2(U^4 + V^4)$를 변형하여 $6t^2U^2 + t^4 = V^4$를 도출한다.
• 식 $6Z^2 = V^4 - t^4$를 $Z = tU$로 놓아 일반화된 동치수 문제와 연결한다.
• Proposition 1.1을 적용하여 $X^4 - Y^4 = cZ^2$의 해가 $E_c: y^2 = x^3 - c^2x$ 상의 유리점과 연결됨을 보이며, $c = 6$인 경우를 적용한다.
• 계수 1 및 생성자 $P = (-3, 9)$를 가진 $E_6(bQ)$를 이용해 스칼라 곱셈 $nP$를 통해 무한히 많은 유리점 시퀀스를 생성한다.
• 해를 분할 다항식 $\psi_n$, $\phi_n$, $\omega_n$을 $(-3, 9)$에서 평가하여 $X_n, Y_n, U_n, V_n$에 대한 매개변수 공식을 도출한다.
• 각 해를 $d_n = \gcd(X_n, Y_n, U_n, V_n)$로 나누어 기약 해 $(A_n, B_n, C_n, D_n)$를 얻는다.

실험 결과

연구 질문

• RQ1 디오판틴 방정식 $X^4 + Y^4 = 2(U^4 + V^4)$는 무한히 많은 정수해를 갖는가?
• RQ2 타원곡선 이론을 활용하여 이 사차 방정식의 해를 매개변수화할 수 있는가?
• RQ3 동치수 곡선은 $X^4 + Y^4 = 2(U^4 + V^4)$를 해결하는 데 어떤 역할을 하는가?
• RQ4 타원곡선 $E_6: y^2 = x^3 - 36x$ 상의 유리점은 어떻게 이 방정식의 정수해를 생성하는가?
• RQ5 해의 집합은 어떤 구조를 가지며, 기약 해는 체계적으로 어떻게 추출할 수 있는가?

주요 결과

• 타원곡선 $E_6: y^2 = x^3 - 36x$는 계수 1을 가지며 생성자 $(-3, 9)$를 갖는다. 이는 무한히 많은 유리점을 생성할 수 있음을 의미한다.
• 가장 작은 알려진 해 $(X, Y, U, V) = (21, 19, 20, 7)$는 점 $2P = (-3, 9)$에서 유도되며, 9배의 스케일링을 거친 결과이다.
• n = 2일 때 기약 해는 $(A_2, B_2, C_2, D_2) = (988521, -1661081, -336280, -1437599)$이다.
• n = 3일 때 기약 해는 $(A_3, B_3, C_3, D_3) = (-22394369951939, -59719152671941, -41056761311940, 43690772126393)$이다.
• n = 4일 때 해의 크기는 약 $10^{21}$ 수준에 도달하며, 예를 들어 $A_4 = 5009010521962601088594641$이다.
• n = 5일 때 해 성분은 $10^{28}$을 초월하며, $A_5 = 385103462588108468740542460457075040101$로 확인되어 해 시퀀스의 급격한 증가를 확인한다.