[论文解读] Factoring Ore polynomials over $\mathbb{F}_q(t)$ is difficult

José Gómez-Torrecillas, F. J. Lobillo+1 more|arXiv (Cornell University)|May 27, 2015

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

一句话总结

本文表明，对有理函数域 $\mathbb{F}_q(t)$ 上的 Ore 多项式进行因式分解仍然是一个开放问题，原因在于广泛引用的算法 [1] 中存在关键缺陷，尤其是在处理具有不可约特征多项式的自同态以及基于特征环的因式分解方面。作者通过改进不变子域的计算修正了其中一个缺陷，并表明当特征环是除环上矩阵环时，该算法无法检测到因式分解，从而错误地将可约多项式判定为不可约。

ABSTRACT

We show that the effective factorization of Ore polynomials over $\mathbb{F}_q(t)$ is still an open problem. This is so because the known algorithm in [1] presents two gaps, and therefore it does not cover all the examples. We amend one of the gaps, and we discuss what kind of partial factorizations can be then computed by using [1].

研究动机与目标

• 识别并修正 [1] 中提出的在 $\mathbb{F}_q(t)$ 上因式分解 Ore 多项式算法中的根本缺陷。
• 分析当多项式特征环为除环上矩阵环时，为何该算法无法计算出正确的因式分解。
• 证明该方法会错误地认证不可约性，而实际上多项式是可约的，特别是当它们是互素且相似的不可约因子的最小左公倍式时。
• 阐明在特征环方法存在局限性的情况下，仍可通过对特征环进行部分因式分解的条件。

提出的方法

• 作者指出，当自同态 $\sigma$ 在 $\mathbb{F}_q$ 上具有不可约特征多项式时，[1] 中的约化步骤存在缺陷，导致其在 $\mathbb{F}_{q^2}(t)$ 上的扩展无效。
• 通过正确构造变换 $\tau$ 的逆，修正了约化过程，确保新自同态 $\overline{\sigma}$ 在 $\mathbb{F}_{q^2}(t)$ 上定义良好。
• 本文分析了多项式 $f$ 的特征环 $\mathcal{E}(Rf)$，并表明当其同构于矩阵环（如 $M_2(D)$）时，该算法无法检测到零因子。
• 他们利用特征环作为 $R/Rf$ 上自同态环的结构，证明即使算法声称不可约，$f$ 仍可能是可约的。
• 作者提供了一个反例：在 $\mathbb{F}_2(t)[x;\sigma]$ 中，$f = (x+t)(x+t+1)$，其中 $\sigma(t)=t+1$，该算法错误地将其标记为不可约。
• 他们提出，可通过计算中心界 $f^*$ 并在中心中进行因式分解，绕过有问题的特征环计算，从而仍可获得部分因式分解。

实验结果

研究问题

• RQ1 为何 [1] 中的算法在 $\mathbb{F}_q(t)$ 上无法对某些可约的 Ore 多项式进行因式分解？
• RQ2 特征环 $\mathcal{E}(Rf)$ 在确定 $R = \mathbb{F}_q(t)[x;\sigma,\delta]$ 中 $f$ 的可约性方面起什么作用？
• RQ3 在何种条件下，$f$ 的特征环包含零因子？在何种条件下它是除环上矩阵环？
• RQ4 如何修正涉及 $\tau$ 和 $\overline{\sigma}$ 的有缺陷约化步骤，以确保其在 $\mathbb{F}_q(t)$ 上的有效性？
• RQ5 当完整特征环方法失效时，是否仍可计算部分因式分解？

主要发现

• 当特征环 $\mathcal{E}(Rf)$ 同构于除环上的矩阵环（如 $M_2(D)$）时，[1] 中的算法无法对 Ore 多项式进行因式分解，导致错误地认证不可约性。
• 当自同态 $\sigma$ 具有不可约特征多项式时，约化步骤中存在关键错误：所得自同态 $\overline{\sigma}$ 并未在 $\mathbb{F}_q(t)$ 上定义，从而使约化无效。
• 本文提供了一个具体反例：在 $\mathbb{F}_2(t)[x;\sigma]$ 中，$f = x^2 + t^2 + t$，其中 $\sigma(t) = t+1$，其可因式分解为 $(x+t)(x+t+1)$，但 [1] 错误地将其标记为不可约。
• 该算法恰好在 $f$ 是两个互素且相似的不可约多项式的最小左公倍式时失效，因为此时特征环成为无零因子检测能力的矩阵环。
• 尽管存在失效，该方法仍可计算部分因式分解 $f = q_1 \cdots q_t$，其中每个 $\mathcal{E}(Rq_i)$ 是一个单的有限维代数，尽管无法通过此方法进一步分解。
• 作者证明，一个有效的替代方法是计算中心界 $f^*$ 并在中心中进行因式分解，从而避免了有问题的特征环计算。