[논문 리뷰] On the Hermite problem for cubic irrationalities

Nadir Murru|arXiv (Cornell University)|2013. 05. 14.

Advanced Mathematical Identities참고 문헌 16인용 수 3

한 줄 요약

이 논문은 삼차 무리수에 대해 허르미트 문제를 해결하며, 유리수 부분 몫을 가진 주기적인 삼항 연분수를 구성하여 임의의 삼차 무리수로 수렴하는 방법을 제시한다. 이 방법은 자코비 알고리즘을 수정하여 전기(period) 길이 2, 주기 길이 3를 가지며, 동시에 유리수 근사값을 제공하고, 삼차 무리수의 대수적 성질과 선형 재귀 수열을 통해 주기성을 증명한다.

ABSTRACT

In this paper, the Hermite problem has been approached finding a periodic representation (by means of periodic rational or integer sequences) for any cubic irrationality. In other words, the problem of writing cubic irrationals as a periodic sequence of rational or integer numbers has been solved. In particular, a periodic multidimensional continued fraction (with pre--period of length 2 and period of length 3) is proved convergent to a given cubic irrationality, by using the algebraic properties of cubic irrationalities and linear recurrent sequences. This multidimensional continued fraction is derived from a modification of the Jacobi algorithm, which is proved periodic if and only if the inputs are cubic irrationals. Moreover, this representation provides simultaneous rational approximations for cubic irrationals.

연구 동기 및 목표

• 다차원 연분수를 사용하여 삼차 무리수에 대한 주기적 표현을 찾는 열린 문제를 해결하기 위해.
• 모든 삼차 무리수가 수정된 자코비 알고리즘을 통해 유리수 또는 정수 부분 몫을 가진 주기적 수열로 표현될 수 있음을 증명하기 위해.
• 삼차 무리수의 대수적 성질과 선형 재귀 수열을 이용하여 그러한 주기적 표현을 직접 구성하기 위해.
• 새로운 연분수 프레임워크를 통해 삼차 무리수에 대한 동시에 유리수 근사값을 제공하기 위해.

제안 방법

• 수정된 자코비 알고리즘이 도입되어 전기 길이 2, 주기 길이 3인 삼항 연분수를 생성한다.
• 삼차 무리수 α에 대해 대수적 항등식 α³ = pα² + qα + r 를 사용하고, r/α 와 α 를 포함하는 표현을 다루어 재귀 관계를 유도한다.
• 함수 fₙ^α 와 gₙ^α 를 적용하여 변수를 변환하고 정수 부분을 추출하며, 삼차 방정식에서 유도된 2×2 행렬 N 의 추적과 행렬식 항등식을 통해 주기성을 보장한다.
• 선형 재귀 수열의 성질과 행렬 N 의 특성다항식을 이용하여 연분수의 (r/α, α)로의 수렴성을 증명한다.
• 입력이 삼차 무리수일 경우 알고리즘이 주기적이 되며, 주기적 구조가 삼차 체의 대수적 불변량에서 유래됨을 보였다.
• 세루티 다항식은 레데이 유리 함수의 일반화로 도입되었으며, 수론적 응용과의 구조적 연결 고리를 제공한다.

실험 결과

연구 질문

• RQ1 다차원 연분수를 사용하여 유리수 또는 정수 부분 몫을 가진 주기적 표현을 삼차 무리수에 대해 구성할 수 있는가?
• RQ2 수정된 자코비 알고리즘이 임의의 삼차 무리수에 적용되었을 때 주기적 수열을 생성하는가?
• RQ3 삼항 연분수로 삼차 무리수에 대한 동시에 유리수 근사값을 제공할 수 있는가?
• RQ4 매개변수 z 는 연분수의 주기성과 수렴 속도에 어떤 역할을 하는가?
• RQ5 연분수의 수렴성이 수렴근의 분자와 분모의 선형 재귀 수열과 연결될 수 있는가?

주요 결과

• x³ - px² - qx - r = 0 을 만족하는 임의의 삼차 무리수 α 로 수렴하는 전기 길이 2, 주기 길이 3인 주기적 삼항 연분수를 구성하였다.
• 대수적 항등식과 행렬 불변량을 이용하여 표현을 명시적으로 유도하였으며, 주기성은 삼차 체와 관련된 2×2 행렬 N 의 추적과 행렬식에서 기인한다.
• 입력이 삼차 무리수일 때에만 알고리즘이 주기적이며, 주기성의 필요충분조건을 확립하였다.
• 연분수의 수렴근을 통해 동시에 유리수 근사값이 제공되며, 이들이 선형 재귀 수열임을 증명하였다.
• 반복 수렴에 의존하지 않고 직접적인 주기적 표현을 구성함으로써, 삼차 무리수에 대한 허르미트 문제를 구성적으로 해결하였다.
• 세루티 다항식은 레데이 함수의 일반화로 식별되었으며, 연분수의 주기적 구조에서 핵심적인 역할을 함을 보였다.