[论文解读] Multidimensional continued fraction and rational approximation

Zongduo Dai, Kunpeng Wang+1 more|ArXiv.org|Jan 14, 2004

Numerical Methods and Algorithms参考文献 16被引用 8

一句话总结

本文提出了一种在形式洛朗级数域上用于多维有理逼近的 m-连分数框架，证明了逼近元收敛于目标级数且为最优。该研究建立了严格 m-连分数与多形式洛朗级数之间的一一对应关系，并将该方法应用于编码理论与密码学中的多序列综合问题。

ABSTRACT

The classical continued fraction is generalized for studying the rational approximation problem on multi-formal Laurent series in this paper, the construction is called m-continued fraction. It is proved that the approximants of an m-continued fraction converge to a multi-formal Laurent series, and are best rational approximations to it; conversely for any multi-formal Laurent series an algorithm called m-CF transform is introduced to obtain its m-continued fraction expansions; moreover, strict m-continued fractions, which are m-continued fractions imposed with some additional conditions, and multi-formal Laurent series are in 1-1 correspondence. It is shown that m-continued fractions can be used to study the multi-sequence synthesis problem.

研究动机与目标

• 将经典连分数推广至多维情形，用于形式洛朗级数域上的有理逼近。
• 证明 m-连分数的逼近元是对给定多形式洛朗级数的最佳有理逼近。
• 开发一种算法（m-CF 变换）以计算任意多形式洛朗级数的 m-连分数展开。
• 建立严格 m-连分数与 $F((z^{-1}))^m$ 中元素之间的一一对应关系。
• 将该理论应用于解决通信与密码学中的多序列综合问题。

提出的方法

• 在 $F((z^{-1}))^m$ 中，利用索引赋值和基于矩阵的递推关系定义 m-连分数。
• 引入 m-CF 变换算法，以生成给定多形式洛朗级数的连分数展开。
• 使用基矩阵 $R_{k-1}$ 和变换矩阵 $E_{h_k}$、$A(\underline{a}_k)$ 逐步构造逼近元。
• 应用赋值 $Iv(\cdot)$ 和支撑集条件 $Supp^+(\cdot)$ 以确保收敛性与最优性。
• 利用矩阵求逆和多项式部分提取（$\lfloor \cdot \rfloor$）计算初等商。
• 证明当且仅当逼近元为最优时，变换 $\psi(\underline{r})$ 产生严格 m-连分数。

实验结果

研究问题

• RQ1 能否构造一种多维连分数，使其逼近元为给定多形式洛朗级数的最佳有理逼近？
• RQ2 严格 m-连分数与 $F((z^{-1}))^m$ 中元素之间是否存在一一对应关系？
• RQ3 m-连分数框架能否用于解决编码理论中的多序列综合问题？
• RQ4 矩阵变换 $E_{h_k}$ 和 $A(\underline{a}_k)$ 如何确保逼近元的收敛性与最优性？
• RQ5 何种条件可确保 m-CF 变换生成严格 m-连分数？

主要发现

• m-连分数的逼近元收敛于原始多形式洛朗级数 $\underline{r}$，满足 $\lim_{k\to\infty} \underline{p}_k / q_k = \underline{r}$。
• 逼近元被证明为最佳有理逼近，即在分母次数有界条件下最小化误差的赋值。
• 严格 m-连分数与 $F((z^{-1}))^m$ 中元素之间存在一一对应关系，该关系通过 m-CF 变换建立。
• m-CF 变换算法成功计算出任意 $\underline{r} \in F((z^{-1}))^m$ 的 m-连分数展开。
• 对任意 m-连分数 $C$，均有 $\varphi(C) = \underline{r}$ 成立，确认了逆映射的存在。
• 该框架提供了一种求解多序列综合问题的新方法，其效果等价于但结构更自然，优于现有的 Berlekamp-Massey 或欧几里得算法。