[论文解读] Hankel continued fraction and its applications

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

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

一句话总结

本文引入了Hankel连分数，这是一种新颖的方法，用于在不需假设Hankel行列式非零（这是经典Jacobi连分数的限制）的情况下，评估有限域上幂级数的Hankel行列式。关键贡献在于证明：若一个在𝔽_p上的幂级数在弱条件下满足二次函数方程，则其Hankel连分数是最终周期的，其Hankel行列式序列亦为最终周期的。这为自动序列（包括正则折纸序列和Thue-Morse序列）的Hankel行列式周期性提供了自动证明。

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.

研究动机与目标

• 为克服Jacobi连分数的局限性，后者要求所有Hankel行列式非零以保证存在性。
• 建立一个通用框架，通过一种新的连分数构造来评估幂级数的Hankel行列式。
• 证明在有限域上满足二次函数方程的幂级数的Hankel连分数是最终周期的。
• 将该方法应用于自动序列（如正则折纸序列和Rudin-Shapiro序列），以自动推导其Hankel行列式序列。
• 通过统一的代数与算法方法，为先前的猜想或已证明结果提供自动证明。

提出的方法

• 将Hankel连分数作为Jacobi连分数的推广，对任意幂级数保证其存在性与唯一性。
• 通过从Hankel行列式导出的递推关系定义Hankel连分数，确保收敛性，而无需假设行列式非零。
• 证明：若一个在𝔽_p上的幂级数𝐹(𝑥)在特定初始条件（如𝐵(0) = 1，𝐶(0) = 0）下满足二次函数方程，则其Hankel连分数是最终周期的。
• 使用算法3.3算法化计算Hankel连分数与行列式序列，实现自动验证。
• 通过推导特定序列的二次函数方程（如𝐺𝑎,𝑏(𝑥)，即正则折纸序列），然后利用周期性结果推导𝐻(𝐹)的周期性。
• 利用嫁接技术与模2约化分析有理生成函数及其Hankel行列式，特别是在𝔽₂[[𝑥]]中。

实验结果

研究问题

• RQ1 能否为任意幂级数的Hankel行列式构造连分数表示，即使某些行列式为零？
• RQ2 在有限域上，何种条件下幂级数的Hankel连分数会成为最终周期的？
• RQ3 能否利用代数函数方程自动证明自动序列的Hankel行列式序列的周期性？
• RQ4 如何系统地计算正则折纸序列及其相关序列的Hankel行列式？
• RQ5 Rudin-Shapiro序列与Stern序列在模2下的Hankel行列式序列结构是什么？

主要发现

• 对于任意域上的幂级数，Hankel连分数存在且唯一，无需假设Hankel行列式非零。
• 若一个幂级数𝐹(𝑥) ∈ 𝔽𝑝[[𝑥]]在条件(i)–(iv)下满足二次函数方程，则其Hankel连分数是最终周期的。
• 在相同条件下，Hankel行列式序列𝐻(𝐹)也是最终周期的，可通过算法3.3实现自动计算。
• 对于正则折纸序列𝐺0,2(𝑥)，其模2下的Hankel行列式序列为(1,1,1,0,0,1,0,0,1,1)*，证实了Coons与Vrbik的猜想。
• Rudin-Shapiro序列𝑓1(𝑥)的Hankel行列式序列为(1,0,0,1,0,0,1,0,0,1,1,1,0,0,0,0,1,1)* (mod 2)，𝑓2(𝑥)与𝑓3(𝑥)也得到类似结果。
• 对于Stern序列𝑆(𝑥)，其归一化Hankel行列式𝐻𝑛(𝑆)/2𝑛−2 ≡ (0,0,1,1)* (mod 2)，且对Bicknell–Borwein生成函数𝐵(𝑥)也得到类似结果。