[논문 리뷰] Computing points of small height for cubic polynomials

Robert L. Benedetto, Benjamin Dickman외 4명|ArXiv.org|2008. 07. 03.

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

한 줄 요약

이 논문은 140억 개의 삼차다항식을 통해 ℚ 위의 삼차다항식에 대한 역학적 균일 유계성 추측과 캐논ical 높이 하한 추측을 검토한다. 작은 높이를 가진 유리수 전주기점들을 체계적으로 계산함으로써, 어떤 삼차다항식도 열한 개를 초과하는 유리수 전주기점을 가질 수 없고, 관측된 최소의 스케일링된 높이 비율은 약 0.00025로, 작은 높이 행동에 대한 강력한 유계성을 시사한다.

ABSTRACT

Let f in Q[z] be a polynomial of degree d at least two. The associated canonical height \hat{h}_f is a certain real-valued function on Q that returns zero precisely at preperiodic rational points of f. Morton and Silverman conjectured in 1994 that the number of such points is bounded above by a constant depending only on d. A related conjecture claims that at non-preperiodic rational points, \hat{h}_f is bounded below by a positive constant (depending only on d) times some kind of height of f itself. In this paper, we provide support for these conjectures in the case d=3 by computing the set of small height points for several billion cubic polynomials.

연구 동기 및 목표

• 다항식의 차수 d ≥ 2에 대해 유리수 전주기점의 수에 대한 균일한 상한이 존재한다는 가정인 역학적 균일 유계성 추측에 대한 계산적 증거를 제공하는 것.
• 다항식의 높이에 비례하는 양의 상수배 이상의 캐논ical 높이를 가진 비전주기 유리수 점이 존재한다는 관련 추측을 검증하는 것.
• 모든 가능한 전주기적 구조와 삼차다항식의 작은 높이 현상이 유한하고 낮은 높이 범위의 다항식 내에서 발생하는지 탐색하는 것.
• 작은 캐논ical 높이 비율이 반복적 적용 시 반복값의 크기가 지연되어 증가하는 현상(즉, 반복값의 분자·분모 크기가 증가하기 이르기까지 많은 반복을 견디는)을 나타내며, 이는 작은 높이 행동을 지닌 점을 암시한다는 히ュ리스틱을 조사하는 것.

제안 방법

• 유리수 계수를 가진 삼차다항식 φ(z) = az³ + bz + c에 대해, 캐논ical 높이가 작은 점들과 전주기점들을 체계적으로 탐색하기 위한 알고리즘을 구현하였다.
• 높이가 작을 경우(최대 log(19) ≈ 2.94)의 모든 삼차다항식에 대해 검색을 수행하였으며, 이는 약 140억 개의 다항식을 포함한다.
• 각 다항식에 대해, 유리수 점의 반복값을 계산하여 전주기 궤도를 식별하고, 비전주기 점의 캐논ical 높이  ĥφ(x)를 추정하였다.
• 스케일링된 높이 비율  ĥφ(x)/h(φ)를 계산하여 하한 추측을 검증하였으며, 특히 0.001 이하 및 0.0007 이하의 값을 집중적으로 분석하였다.
• p-진 동역학과 산술적 높이 이론을 활용하여 캐논ical 높이를 효율적으로 계산하고, 반복 과정에서 분자 및 분모 크기가 최소한으로 증가하는 점들을 식별하였다.
• 암허스트 칼리지의 고성능 컴퓨팅 자원을 활용하여 삼차다항식의 매개변수 공간 전반에 걸친 철저한 검색을 수행하였다.

실험 결과

연구 질문

• RQ1 모든 가능한 삼차다항식의 유리수 전주기적 구조가 낮은 높이를 가진 다항식들에서 나타나는가? 이는 유일한 행동 패tern의 유한 집합이 존재함을 암시하는가?
• RQ2 삼차다항식의 비전주기 유리수 점들에 대해 스케일링된 캐논ical 높이 비율  ĥφ(x)/h(φ)의 최소값은 얼마인가?
• RQ3 ℚ 위의 삼차다항식은 최대 몇 개의 유리수 전주기점을 가질 수 있으며, 이에 대한 균일한 상한이 존재하는가?
• RQ4 다항식의 높이가 증가함에 따라 작은 높이의 점의 수가 증가하는가, 아니면 낮은 높이 다항식에 국한되어 있는가?
• RQ5 반복값의 크기 증가 지연(즉, 분자·분모 크기가 증가하기까지의 반복 횟수)은 스케일링된 높이 비율의 크기와 관련이 있는가?

주요 결과

• 낮은 높이를 가진 140억 개의 삼차다항식 중에서, 어떤 다항식도 열한 개를 초과하는 유리수 전주기점을 가진 바가 없었으며, 열한 개 또는 열 개를 가진 경우는 몇 예외적 사례뿐이었고, 이는 균일한 상한을 지지하는 바이다.
• 관측된 최소의 스케일링된 높이 비율  ĥφ(x)/h(φ)는 약 0.00025였으며, 이는 φ(z) = -25/24 z³ + 97/24 z + 1 및 x = -7/5에서 얻어졌고, 이 경우 반복값 크기의 '폭발'이 일곱 번의 반복 이후에 지연되었다.
• az³ + bz + 1 형태의 삼차다항식 중에서 스케일링된 높이 비율이 0.0007 이하인 것은 총 아홉 개뿐이었으며, 최소값은 검색 초반에 발견되어 더 작은 비율을 찾는 것은 거의 불가능할 것으로 보인다.
• 매우 작은 스케일링된 높이 비율(≤ 0.0007)을 가진 모든 다항식은 az³ + bz + 1 형태였으며, 이는 이 가족이 작은 높이 행동을 지지하는 데 구조적으로 유리하다는 것을 암시한다.
• 상수항이 없는 az³ + bz 형태의 다항식들은 상대적으로 더 큰 최소 스케일링된 높이 비율(예: 0.00591)을 보였으며, 이는 상수항이 작은 높이 역학을 가능하게 하는 데 핵심적인 역할을 할 수 있음을 시사한다.
• 자료는 총 소수 높이 점의 수가 유계되어 있음을 지지한다. 왜냐하면 어떤 다항식도 열한 개를 초과하는 점을 가지지 않았고, 모든 알려진 구조들이 낮은 높이 다항식에서 나타났으며, 이는 추측과 일치한다.