[论文解读] On Ritt's polynomial decomposition theorems

Michael E. Zieve, Mueller, Peter|ArXiv.org|Jul 23, 2008

Coding theory and cryptography参考文献 33被引用 37

一句话总结

本文通过引入单值群作为分解的完整不变量，对复数域上的多项式分解给出了新的刻画，推广了Ritt的经典结果。证明了单值群序列（在同构和置换意义下）唯一确定了多项式的全部完全分解，通过提供分解等价类的有限、结构性描述，解决了长期存在的Ritt变换序列无界问题。

ABSTRACT

Ritt studied the functional decomposition of a univariate complex polynomial f into prime (indecomposable) polynomials, f = u_1 o u_2 o ... o u_r. His main achievement was a procedure for obtaining any decomposition of f from any other by repeatedly applying certain transformations. However, Ritt's results provide no control on the number of times one must apply the basic transformations, which makes his procedure unsuitable for many theoretical and algorithmic applications. We solve this problem by giving a new description of the collection of all decompositions of a polynomial. Our results have been used by Ghioca, Tucker and Zieve (arXiv:0807.3576) to describe the polynomials f,g having orbits with infinite intersection; they have also been used by Medvedev and Scanlon to describe the affine curves invariant under a coordinatewise polynomial action.

研究动机与目标

• 解决在将一个多项式分解转化为另一个分解时，Ritt变换次数不可控的问题。
• 将Ritt的次数不变量和Beardon–Ng的置换群不变量统一为一个单一、统一的不变量，即单值群。
• 建立多项式全部完全分解的有限、结构性刻画，取代无界的Ritt变换过程。
• 证明单值群序列（在同构和置换意义下）唯一确定了给定多项式的全部分解。
• 通过提供一个稳定且可算法使用的不变量，为算术动力系统和不变曲线理论的应用奠定基础。

提出的方法

• 将多项式的单值群定义为 $ u(X) - t $ 在 $ \mathbb{C}(t) $ 上的伽罗瓦群，视作根上的置换群。
• 利用多项式分解的伽罗瓦理论结构，将单值群与函数复合结构联系起来。
• 证明单值群在Ritt的基本变换下保持不变，从而确立其为不变量。
• 应用群论与算术技巧分析分解序列的结构，特别关注次数与群作用之间的相互作用。
• 采用Ritt原始证明的简化、重新排列版本，以多项式算术和群作用的语言重新表述，以建立主定理。
• 利用 $ \#\Gamma_0(u) = 1 $ 当且仅当 $ \operatorname{Mon}(u) $ 为循环群这一事实，其中 $ \#\Gamma_0(u) = \#\operatorname{Mon}(u) $，证明其与Beardon–Ng不变量等价。

实验结果

研究问题

• RQ1 在多项式分解中，不可约因子的单值群序列是否可作为同构和置换意义下的完整不变量？
• RQ2 单值群不变量是否唯一确定了多项式的全部完全分解，从而推广Ritt的次数不变量和Beardon–Ng的置换群不变量？
• RQ3 是否存在一个有限、可算法使用的多项式分解描述，避免无界的Ritt变换过程？
• RQ4 当复合 $ a \circ b $ 是 $ f $ 的高阶迭代时，是否意味着 $ a $ 或 $ b $ 是与 $ f $ 的复合？
• RQ5 不可约因子的单值群如何与函数分解格的结构相关联？

主要发现

• 在同构和置换意义下，多项式 $ f $ 的全部完全分解由单值群序列 $ (\operatorname{Mon}(u_1), \dots, \operatorname{Mon}(u_r)) $ 唯一确定，推广了Ritt的次数不变量。
• 基于线性对称数 $ \#\Gamma_0(u) $ 的Beardon–Ng不变量，等价于分解中循环单值群的子序列。
• 若 $ f $ 不共轭于 $ X^n $ 或 $ \pm T_n $，且 $ a \circ b = f^{(k)} $ 对于 $ k > \log_2(n+2) $，则存在多项式 $ c $ 使得 $ a = f \circ c $ 或 $ b = c \circ f $，表明分解结构具有强刚性。
• 多项式的单值群同构于 $ u(X) - t $ 在 $ \mathbb{C}(t) $ 上的伽罗瓦群，该群完整捕捉了分解的组合与代数结构。
• 主定理的证明是Ritt原始论证的简化、重新排列版本，现以多项式算术和群作用的语言表达，更具可读性与透明性。
• 本文确立了关联两个分解所需的Ritt变换次数在单值群结构下有界，解决了函数分解理论中长期存在的难题。