[論文レビュー] Hankel continued fraction and its applications

Guo-Niu Han|arXiv (Cornell University)|Jun 6, 2014

Advanced Combinatorial Mathematics参考文献 10被引用数 4

ひとこと要約

本稿では、古典的なヤコビ連分数が非ゼロの行列式を要件としているのを克服するため、有限体上のべき級数のハンケル行列式を評価する新手法「ハンケル連分数」を導入する。主な貢献は、$\mathbb{F}_p$ 上のべき級数 $F(x)$ が弱い条件下で二次関数方程式を満たす場合、そのハンケル連分数は最終的に周期的であり、それらのハンケル行列式列に対しても同様に周期的であることを証明することである。この結果により、自動的に周期性が保証されるようになる。特に、レギュラー・ペーパーフォールディング列やトゥエ＝モルス列といった自動列のハンケル行列式の周期性が、自動的に証明可能となる。

ABSTRACT

The Hankel determinants of a given power series $f$ can be evaluated by using the Jacobi continued fraction expansion of $f$. However the existence of the Jacobi continued fraction needs that all Hankel determinants of $f$ are nonzero. We introduce {\it Hankel continued fraction}, whose existene and unicity are guaranteed without any condition for the power series $f$. The Hankel determinants can also be evaluated by using the Hankel continued fraction. It is well known that the continued fraction expansion of a quadratic irrational number is ultimately periodic. We prove a similar result for power series. If a power series $f$ over a finite field satisfies a quadratic functional equation, then the Hankel continued fraction is ultimately periodic. As an application, we derive the Hankel determinants of several automatic sequences, in particular, the regular paperfolding sequence. Thus we provide an automatic proof of a result obtained by Guo, Wu and Wen, which was conjectured by Coons-Vrbik.

研究の動機と目的

• ヤコビ連分数がすべてのハンケル行列式が非ゼロでなければならないという制限を克服すること。
• 新しい連分数構成を用いて、べき級数のハンケル行列式を評価する一般枠組みを確立すること。
• 有限体上での二次関数方程式を満たすべき級数のハンケル連分数が最終的に周期的であることを証明すること。
• この手法を、レギュラー・ペーパーフォールディング列やルディン＝シャピロ列といった自動列に適用し、それらのハンケル行列式列を自動的に導出すること。
• 統一的な代数的・アルゴリズム的手法を用いて、従来の予想や証明済み結果を自動的に再確認すること。

提案手法

• ヤコビ連分数の一般化としてハンケル連分数を導入し、任意のべき級数に対して存在および一意性が保証されることを示す。
• ハンケル行列式から導かれる再帰的関係式を用いてハンケル連分数を定義し、非ゼロ行列式を要件としない収束性を保証する。
• 有限体 $\mathbb{F}_p$ 上のべき級数 $F(x)$ が、初期条件（例：$B(0) = 1$, $C(0) = 0$）を満たす二次関数方程式を満たす場合、そのハンケル連分数が最終的に周期的であることを証明する。
• アルゴリズム3.3を用いてハンケル連分数および行列式列をアルゴリズム的に計算し、自動的検証を可能にする。
• 具体的な列に理論を適用するため、二次関数方程式（例：$G_{a,b}(x)$、レギュラー・ペーパーフォールディング列）を導出し、周期性の結果を用いて $H(F)$ の周期性を導出する。
• グラフト法およびモジュロ2の還元を用いて、有理型母関数とそのハンケル行列式を分析し、特に $\mathbb{F}_2[[x]]$ における性質を強調する。

実験結果

リサーチクエスチョン

• RQ1 すべてのべき級数に対して、行列式がゼロとなる場合を含めて、ハンケル行列式の連分数表現を構成可能か？
• RQ2 有限体上のべき級数が、そのハンケル連分数が最終的に周期的となるような条件は何か？
• RQ3 自動列のハンケル行列式列の周期性は、代数的関数方程式を用いて自動的に証明可能か？
• RQ4 レギュラー・ペーパーフォールディング列および関連列のハンケル行列式は、どのように体系的に計算できるか？
• RQ5 ルディン＝シャピロ列およびステーン列のハンケル行列式列は、モジュロ2でどのような構造を持つか？

主な発見

• 任意の体上のべき級数に対して、ハンケル連分数は存在し、一意的である。非ゼロのハンケル行列式を要件としない。
• 有限体 $\mathbb{F}_p[[x]]$ 上のべき級数 $F(x)$ が条件(i)〜(iv)を満たす場合、そのハンケル連分数は最終的に周期的である。
• 同じ条件下でハンケル行列式列 $H(F)$ も最終的に周期的であり、アルゴリズム3.3を用いて自動的に計算可能である。
• レギュラー・ペーパーフォールディング列 $G_{0,2}(x)$ のモジュロ2におけるハンケル行列式列は $(1,1,1,0,0,1,0,0,1,1)^*$ であり、コーンズとヴルビクの予想を確認した。
• ルディン＝シャピロ列 $f_1(x)$ のハンケル行列式列は $ (1,0,0,1,0,0,1,0,0,1,1,1,0,0,0,0,1,1)^* \pmod{2} $ であり、同様の結果が $f_2(x)$ および $f_3(x)$ に対しても得られた。
• ステーン列 $S(x)$ の正規化されたハンケル行列式 $H_n(S)/2^{n-2} \equiv (0,0,1,1)^* \pmod{2}$ であり、ビックネル＝ボーウィンの母関数 $B(x)$に対しても同様の結果が成り立つ。