[論文レビュー] On a quartic equation and two families of hyperquadratic continued fractions in power series fields

Alain Lasjaunias, Khalil Ayadi|arXiv (Cornell University)|Dec 1, 2014

Coding theory and cryptography参考文献 5被引用数 3

ひとこと要約

本稿は、関数体上の四次方程式の、𝔽(p)⁺ における一意な根 α(p) の連分数展開を研究し、p mod 3 に応じて二種類の異なる周期的パターンを示すことを明らかにした。p ≡ 1 mod 3 の場合、α(p) は第一種の完全 Pₖ 展開であり、ν(α(p)) = 8/3 である。p ≡ 2 mod 3 の場合、α(p) は第二種の完全 Pₖ 展開であると予想され、Mahlerの定理による4次代数的元の理論的上限に達している。

ABSTRACT

Casually introduced thirty years ago, a simple algebraic equation of degree 4, with coefficients in Fp[T], has a solution in the field of power series in 1/T, over the finite field Fp. For each prime p > 3, the continued fraction expansion of this solution is remarkable and it has a different general pattern according to the remainder, 1 or 2, in the division of p by 3. We describe two very large families of algebraic continued fractions, each containing these solutions, according to the class of p modulo 3. We can compute the irrationality measure for these algebraic continued fractions and, as a consequence, we obtain two different values for the solution of the quartic equation, only depending on the class of p modulo 3.

研究の動機と目的

• 奇素数 p > 3 に対して、𝔽(p)((T⁻¹)) の体における特定の四次方程式の根 α(p) の連分数展開を分析すること。
• p を 3 で割った余りに応じて、連分数の構造を二つの異なる族に分類すること。
• 連分数の複雑性 ν(α(p)) を特定し、p ≡ 2 mod 3 の場合にそれが最大であることを確立すること。
• p ≡ 1 mod 3 の場合、α(p) が第一種の完全 Pₖ 展開であることを証明し、p ≡ 2 mod 3 の場合、第二種の完全 Pₖ 展開であると予想すること。
• 複雑性不変量 ν₀(α) の正確な値を計算し、部分商の再帰的次数和と極限解析を通じて、総複雑性 ν(α) = 2 + ν₀(α) を導出すること。

提案手法

• 本稿は、特に超二次的元とその展開に注目した、べき級数体における連分数理論を用いる。
• 再帰的次数和から得られる不変量 ν₀(α) = max(lim sₙ, lim tₙ) を用いて、複雑性 ν(α) を部分商の次数比の極限によって定義する。
• p-進付値とブロック構造に基づく再帰関係を用いて、連分数列におけるブロックの総次数 D(Vₙ,i) を計算する。
• 累積次数を追跡するための列 vₙ, D(Jₙ), D(Vₙ), rₙ を導入し、sₙ = v₂ₙ / rₙ および tₙ = v₂ₙ₊₁ / (rₙ + D(Vₙ,₁) - v₂ₙ₊₁) を得る。
• sₙ と tₙ の極限挙動を解析し、ν₀(α) = max(lim sₙ, lim tₙ) を計算することで、最終的な複雑性 ν(α) = 2 + ν₀(α) を得る。
• p ≡ 1 mod 3（第一種）と p ≡ 2 mod 3（第二種、予想）の二通りのケースを区別し、p に応じて異なるパrameter k, l, m, l₁ を用いる。

実験結果

リサーチクエスチョン

• RQ1 奇素数 p > 3 に対して、四次方程式 (Eq) の根 α(p) が 𝔽(p)((T⁻¹)) の体において連分数展開をどのように持つか？
• RQ2 p ≡ 1 mod 3 または p ≡ 2 mod 3 の場合に、α(p) の連分数構造はどのように異なるか？
• RQ3 α(p) の複雑性不変量 ν(α(p)) の正確な値は何か？ また、Mahlerの定理による理論的上限に達しているか？
• RQ4 α(p) は第一種または第二種の完全 Pₖ 展開であるか？ また、パrameter k, l, m, l₁ は p にどのように依存するか？
• RQ5 ν₀(α(p)) = p − 1 となる条件は何か？ また、p − 1 よりも厳密に小さい場合の条件は？

主な発見

• p ≡ 1 mod 3 の場合、α(p) は第一種の完全 Pₖ 展開であり、k = (p−1)/3 および l = (p−1)/2 であり、ν(α(p)) = 8/3 である。
• p ≡ 2 mod 3 の場合、α(p) は第二種の完全 Pₖ 展開であると予想され、k = (p+1)/3, l = (p+1)²/3, m = (p+1)/2, l₁ = k/2 であり、ν(α(p)) = 4 である。
• 複雑性 ν₀(α(p)) が最大の可能値 p−1 に達するのは、m = 1 かつ l = 2 の極端な場合に限る。このとき、部分商の列は自然数の全集合となる。
• p ≡ 2 mod 3 の場合、ν(α(p)) = 4 は、Mahlerの定理により4次代数的元に対して理論的に達成可能な最大値に一致する。
• limₙ sₙ = (p−1)(p−2k+1)/ν₁ および limₙ tₙ = p(p−1)(p−2k+1)/ν₂ が導出され、ここで ν₁ = m(p−2k−1)+l および ν₂ = ν₁ + l₁(p²−1)−2k(p−1) である。これにより、最終的な複雑性計算が可能になる。
• 本稿は、ν₀(α(p)) = p−1 が m=1, l=2 の極端な場合にのみ成立することを証明した。それ以外の場合は ν₀(α(p)) < p−1 であり、最大複雑性が稀で構造的に制限された性質であることが示された。