[論文レビュー] On the Hermite problem for cubic irrationalities

Nadir Murru|arXiv (Cornell University)|May 14, 2013

Advanced Mathematical Identities参考文献 16被引用数 3

ひとこと要約

この論文は、立方無理数に対してヘルメートの問題を、有理数部分商をもつ周期的三進連分数を構成することで解決する。この方法はヤコビアルゴリズムを変更し、長さ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ₙ^αを適用して変数を変換し、整数部を抽出する。行列Nのトレースと行列式の恒等式により、周期性が保証される。この2×2行列Nは立方方程式から導出される。
• 線形再帰列の性質と行列Nの特性多項式を用いて、連分数が対(r/α, α)に収束することを証明する。
• 入力が立方無理数である場合、アルゴリズムが周期的になることが示され、周期的構造は立方体体の代数的不変量に起因する。
• チェルティ・多項式がレデイ有理関数の一般化として導入され、数論的応用との構造的関係を提供する。

実験結果

リサーチクエスチョン

• RQ1 有理数または整数の部分商をもつ多次元連分数を用いて、立方無理数の周期的表現を構成可能か？
• RQ2 変更されたヤコビアルゴリズムは、任意の立方無理数に対して周期的列を生成するか？
• RQ3 三進連分数は立方無理数に対する同時に有理数近似を提供可能か？
• RQ4 パrameter zは連分数の周期性と収束速度にどのような役割を果たすか？
• RQ5 連分数の収束の性質は、その収束分数の分子・分母の線形再帰列と関連づけられるか？

主な発見

• x³ - px² - qx - r = 0 を満たす任意の立方無理数αに収束する、前周期長2、周期長3の周期的三進連分数が構成された。
• 代数的恒等式と行列不変量を用いて明示的に導出され、周期性は立方体体に関連する2×2行列Nのトレースと行列式に起因する。
• 入力が立方無理数である場合に限り、アルゴリズムが周期的であることが証明され、周期性の必要十分条件が確立された。
• 連分数の収束分数によって同時に有理数近似が提供され、それらが線形再帰列であることが示された。
• 反復的収束に依存せず、直接的構成が可能であり、立方無理数に対するヘルメート問題が構成的に解決された。
• チェルティ・多項式はレデイ関数の一般化として特定され、連分数の周期的構造において中心的な役割を果たすことが示された。