[論文レビュー] A short history of some recent research on continued fractions in function fields

Alain Lasjaunias|arXiv (Cornell University)|Apr 28, 2017

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

ひとこと要約

本稿は、有限体上の関数体における連分数に関する研究の歴史的発展をたどり、特に四次方程式の超二次的解——特に部分商が顕著なパターンを示すもの——に焦点を当てる。このような展開が、$P_k = (T^2 + u)^k$ の構造的多項式族から生じることを確立し、タイプAおよびタイプBの$P_k$-展開を導入する。係数列の自動性は、超二次的構造と関連している。

ABSTRACT

The goal of this survey paper is to present, in chronological order, certain research works on continued fractions in power series fields over a finite field, all of them being derivated from some examples introduced thirty years ago by Mills and Robbins.

研究の動機と目的

• 関数体における連分数研究の歴史的発展を、特に部分商に構造を持つ代数的要素に焦点を当ててたどること。
• 四次方程式 $x^4 + x^2 - Tx - 1/12 = 0$ の解が周期的または構造的連分数展開を示す条件を明確にすること。
• 多項式 $(T^2 + u)^k$ から導かれる $P_k$-展開の一般枠組みを確立し、部分商の次数が1である既知の例を統一すること。
• 有限体上の連分数における超二次的性質と係数列の自動性との関係を調査すること。
• 長年の予想である、$p \equiv 1 \mod 3$ および $p \equiv 2 \mod 3$ の場合における四次方程式の連分数展開を解決すること。

提案手法

• 体 $\mathbb{F}_q((1/T))$ 内の代数的べき級数の連分数展開の体系的分析、特に $x^4 + x^2 - Tx - 1/12 = 0$ の解に注目する。
• $P_k = (T^2 + u)^k$（$u \in \mathbb{F}_p^*$）により、構造的である部分商を生成する $P_k$-展開を統合的枠組みとして特定する。
• 二種類の展開を導入：超二次的次数に応じて、系列 $(A_n)$ に基づくタイプAの$P_k$-展開と、系列 $(B_n)$ に基づくタイプBの$P_k$-展開。
• 超二次的次数を決定する代数的基準の使用：$r = p^t$、ここで $t=1$ ならば $p \equiv 1 \mod 3$、$t=2$ ならば $p \equiv 2 \mod 3$。
• 特に $p=13$ および $p \equiv 2 \mod 3$ の場合に、パターンの検証と構造の予想を形式的証明の前に行うために、コンピュータ支援計算を応用する。
• 再帰的および自動列理論（特に J.-Y. Yao との共同研究）を用いて、タイプAの$P_k$-展開における係数列の自動性を証明する。

実験結果

リサーチクエスチョン

• RQ1 体 $\mathbb{F}_p((1/T))$ 内の四次方程式 $x^4 + x^2 - Tx - 1/12 = 0$ の解の連分数構造を決定づける条件は何か？
• RQ2 $P_k = (T^2 + u)^k$ に基づく $P_k$-展開が、部分商の次数が1である既知の連分数例をどのように統一するか？
• RQ3 超二次的性質（次数 $r = p^t$）と、部分商の先頭係数列の自動性との関係は何か？
• RQ4 $p=3$ の場合、ミルズ＝ロビンズ四次方程式の解はなぜ超二次的でないのか？一方、$p=13$ の場合、なぜ次数1の超二次的であるのか？
• RQ5 $p \equiv 1 \mod 3$ の場合に用いられた手法を $p \equiv 2 \mod 3$ の場合に拡張可能か？また、その際どのような構造的差異が生じるか？

主な発見

• 体 $\mathbb{F}_p((1/T))$ 内の四次方程式 $x^4 + x^2 - Tx - 1/12 = 0$ の解は、$p \equiv 1 \mod 3$ ならば超二次的次数1（$r = p$）、$p \equiv 2 \mod 3$ ならば超二次的次数2（$r = p^2$）である。
• $p=13$ の場合、四次解の連分数展開は、$P = (T^2 + 8)^4$ に基づくタイプAの$P_k$-展開によって完全に記述される。
• ミルズとロビンズが提示した元々の例で、すべての部分商の次数が1であるものは、$k = (p-1)/2$ および $P = (T^2 + 4)^{(p-1)/2}$ であるタイプAの$P_k$-展開に対応する。
• $p=3$ の四次方程式における部分商の先頭係数列は非自動的であり、すべての係数列が自動的であるという予想に対する反例を提供する。
• タイプAの$P_k$-展開から得られるすべての列は自動的であることが、J.-Y. Yao との共同研究で証明され、$p=3$ の場合のアローシュの先行結果を一般化する。
• $p \equiv 2 \mod 3$ の場合、連分数展開は、第二の系列 $(B_n)$ に基づくタイプBの$P_k$-展開によって支配され、その要素は超二次的次数2である。