[논문 리뷰] Rational points near curves and small nonzero |x^3-y^2| via lattice reduction

Noam D. Elkies|ArXiv.org|2000. 05. 14.

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

한 줄 요약

이 논문은 다항 곡선 근처의 유리점, 특히 |x³ − y²|의 작은 비영인 값에 대해 효율적으로 계산하는 데 기반한 새로운 격자 감소 알고리즘을 제안한다. 이는 헬의 추측과 관련이 있다. 선형 근사와 격자 감소를 활용함으로써, x ≤ X인 모든 해를 찾는 데 히우리스틱 시간 복잡도 O(X¹/² log^O(1) X)를 달성하며, 이는 x¹/² / |x³ − y²| = 46.60인 새로운 기록을 설정하여 이전의 기준을 거의 10배 향상시켰다.

ABSTRACT

We give a new algorithm using linear approximation and lattice reduction to efficiently calculate all rational points of small height near a given plane curve C. For instance, when C is the Fermat cubic, we find all integer solutions of |x^3+y^3-z^3|>N, using only O(log N) space. Since the number of solutions should be asymptotically proportional to M log N (as long as M

연구 동기 및 목표

• 평면 곡선 근처의 낮은 높이의 유리점을 효율적으로 찾는 알고리즘을 개발하는 것.
• x ≤ X인 0 < |x³ − y²| ≪ x¹/²인 모든 정수 해를 지수 시간 이하로 계산함으로써 헬의 추측을 다루는 것.
• |x³ − y²|의 작은 값을 찾는 데 있어 이전 기록을 초월하는 기준인 x¹/² / |x³ − y²|의 계산 기준을 향상시키는 것.
• 알고리즘의 엄밀한 시간 복잡도를 활용하여 유리수 c에 대해 (cx)³/²의 모듈로 1 분포에 관한 새로운 결과를 증명하는 것.
• 이를 고차원 대상과 비대수적 해석 곡선으로 일반화하여, 유리점의 희소성에 관한 이론적 결과를 도출하는 것.

제안 방법

• 알고리즘은 곡선 근처의 유리점 찾기 문제를 고차원 공간에서의 격자 감소 문제로 변환하기 위해 선형 근사를 사용한다.
• |x³ − y²| < δ인 해를 찾는 문제를 곡선의 매개변수화로부터 유도된 격자 내의 짧은 벡터를 찾는 문제로 변환한다.
• 격자 기저 감소(예: LLL 알고리즘)를 적용하여 |x³ − y²|의 절대값이 작은 후보 정수 해 (x, y)를 효율적으로 찾는다.
• 검색 공간을 독립적인 부분문제로 나누어 자연스러운 병렬 처리를 가능하게 하며, 메모리 사용량을 O(log N)으로 줄인다.
• 헬의 추측에 대해, 제곱근의 형태를 가진 삼차 곡선 y² = x³ + k의 구조를 활용하여, (cx)³/²의 유리 근사에 기반해 검색 시간을 O(X¹/² log^O(1) X)로 줄인다.
• 디오판틴 근사 이론을 통해 후보 격자 벡터의 수를 제한함으로써, 시간 복잡도를 히우리스틱이 아닌 엄밀하게 증명한다.

실험 결과

연구 질문

• RQ1 주어진 평면 곡선 근처의 낮은 높이의 유리점을 브루트 포스 탐색보다 더 효율적으로 계산할 수 있는가?
• RQ2 x ≤ 10¹⁸일 때 |x³ − y²|의 최소값은 얼마이며, x¹/² / |x³ − y²| > 46인 해를 찾을 수 있는가?
• RQ3 격자 감소 기법을 사용하여 양의 유리수 c에 대해 (cx)³/²의 모듈로 1 분포에 관한 새로운 결과를 증명할 수 있는가?
• RQ4 x ≤ X인 |x³ − y²| < x¹/²인 모든 해를 시간 복잡도 O(X¹/² log^O(1) X) 내에 찾을 수 있으며, 이는 이전 방법과 어떻게 비교되는가?
• RQ5 이 알고리즘을 고차원 대상이나 비대수적 곡선에서의 유리점 찾기에 일반화할 수 있는가?

주요 결과

• 알고리즘은 x ≤ 10¹⁸인 0 < |x³ − y²| < x¹/²인 모든 해를 O(X¹/² log^O(1) X) 시간 내에 계산하며, O(log X) 메모리만 사용한다.
• x = 5,853,886,516,781,223과 |x³ − y²| = 1,641,843일 때, 비율 r = x¹/² / |x³ − y²| = 46.60인 새로운 기록을 수립하였으며, 이는 이전 기록을 거의 10배 향상시켰다.
• x < 10¹⁸인 |x³ − y²| < ½√x인 해 25개를 발견하였으며, 이 중 13개는 이전에 알려지지 않았고 GPZ 목록에도 포함되어 있지 않았다.
• 알고리즘의 시간 복잡도는 엄밀하게 증명되었으며, 이는 임의의 양의 유리수 c에 대해 (cx)³/²의 모듈로 1 분포에 관한 새로운 정리로 이어졌다.
• |x³ − y²| < Cx인 해의 수는 O(X¹/² log X)로 유계이며, 임의의 θ ∈ (0,1)에 대해 구간 [θX, X] 내에 Ω(X¹/²)개의 해가 존재한다.
• 또한 이 방법은 n > 2인 다항식 가중치의 작은 |zⁿ − yⁿ − xⁿ|를 위한 새로운 다항식 가중치를 생성하였으며, 이는 1000 미만의 몇몇 정수 d를 세 개의 정수의 세제곱 합으로 표현하는 데 있어 처음으로 알려진 표현을 포함한다.