arXiv 1502.076002015-02-26cs.SCcs.RO

运动多项式的因式分解

Factorization of Motion Polynomials

Johann Radon Institute for Computational and Applied Mathematics (RICAM), Austrian Academy of Sciences（奥地利科学院约翰·拉东计算与应用数学研究所（RICAM））；Research Institute for Symbolic Computation, Johannes Kepler University（约翰内斯·开普勒大学符号计算研究所）；University Innsbruck（因斯布鲁克大学）

Zijia Li, Josef Schicho, Hans-Peter Schröcker

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

本文考虑一元有界运动多项式的分解的存在性。我们证明了存在的因式分解，可能后与一个真正的多项式相乘，并提供算法计算多项式因子和因式分解。第一种算法在概念上更简单，但可能需要高次数的多项式因子。第二个算法给出了一个最优度。

英文摘要：

In this paper, we consider the existence of a factorization of a monic, bounded motion polynomial. We prove existence of factorizations, possibly after multiplication with a real polynomial and provide algorithms for computing polynomial factor and factorizations. The first algorithm is conceptually simpler but may require a high degree of the polynomial factor. The second algorithm gives an optimal degree.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

关于一类多元多项式矩阵的分解与等价问题的新注记

New Remarks on the Factorization and Equivalence Problems for a Class of Multivariate Polynomial Matrices

本文研究了多元多项式矩阵的分解与等价问题。给出了一类多元多项式矩阵存在矩阵分解的新判据，并得到了多项式方阵与对角阵等价的一个充要条件.基于新准则的构造性证明，给出了一个分解算法，并证明了分解的唯一性。我们在Maple上实现了该算法，并给出了两个示例来说明该算法的有效性。

2020-10-14cs.SC

多元多项式矩阵的因子左素分解问题

On Factor Left Prime Factorization Problems for Multivariate Polynomial Matrices

研究了无满行秩的多元多项式矩阵的因子左素分解问题。给出了一类多元多项式矩阵的因子左素分解存在的一个充要条件，并在此基础上设计了一个计算所有因子左素分解的算法.我们在计算机代数系统Maple上实现了该算法，并给出了两个例子来说明该算法的有效性。本文给出的结果也适用于无满列秩的多元多项式矩阵的因子右素分解的存在性。

2020-10-14cs.SC

可除四元数代数上多项式的因式分解与求根

Factorization and root-finding for polynomials over division quaternion algebras

针对四元数代数上多项式因式分解与求根研究不足的问题，本文提出了数域上可除四元数代数的多项式因式分解算法，并给出其适配求根的版本，填补了该领域除哈密顿四元数外的研究空白。

2023-05-03cs.SCmath.RA

无Study条件下对偶四元数多项式的因式分解

Factorization of Dual Quaternion Polynomials Without Study's Condition

本文研究了对偶四元数环上多项式的线性因子分解。虽然早期的结果假设范数多项式是实数（“运动多项式”），我们只需要在原始部分中没有实数多项式因子，并且范数多项式在对偶数上可分解为一元二次因子。这个明显的必要条件也是因子分解存在的充分条件。我们提出了一种算法来计算这些多项式的因式分解，并使用它的新的机构，不能通过现有的因式分解算法的运动多项式的建设。虽然他们产生的机制与旋转或平移关节，我们的方法产生的机制组成的“垂直达布关节”。他们表现出机械缺陷，使我们探索的方法来取代他们的圆柱关节，同时保持整体机制充分约束。

2021-01-19cs.SCmath.RA

p-Adic多项式的除法与斜率分解

Division and Slope Factorization of p-Adic Polynomials

研究了定义在完备离散赋值域上的多项式的两种重要运算：欧氏除法和因子分解。特别是，我们设计了一个简单而有效的算法计算斜率因子分解，基于牛顿迭代。它的一个主要特点是，我们避免使用分数指数。我们特别注意稳定性，并分析了使用几个精度模型的算法的行为。

2016-02-03cs.SCmath.NT

关于多元多项式矩阵的次左素分解问题

On Minor Left Prime Factorization Problem for Multivariate Polynomial Matrices

给出了无满行秩的多元多项式矩阵存在次左素分解的一个新的充要条件。其关键思想是建立一个矩阵和它的满行秩子矩阵之间的关系。在此基础上，我们提出了一个矩阵分解的算法，并在计算机代数系统Maple上实现了该算法。通过两个实例说明了算法的有效性，实验数据表明了算法的有效性。

2020-10-14cs.SC

更多相关论文收起更多论文

分裂四元数多项式因式分解的一种算法

An Algorithm for the Factorization of Split Quaternion Polynomials

本文给出了一个计算分裂四元数上一元多项式的线性因子的所有分解的算法，只要存在这样的分解。失败的算法是相当于非factorizability，我们也提出了几何解释的规则不可逆分裂四元数的二次曲面。然而，合适的真正的多项式倍数分裂四元数多项式仍然可以因式分解，我们描述如何找到这些真正的多项式。分裂四元数多项式描述了双曲平面中的有理运动。具有线性因子的因式分解对应于将有理运动分解为双曲旋转。由于与实多项式相乘不会改变运动，因此这种分解总是可能的。我们的一些思想可以转移到运动多项式的因式分解理论。这些是对偶四元数上的多项式，具有实范数多项式，它们描述了欧几里得运动学中的有理运动。我们转让技术开发的分裂四元数计算新的分解某些对偶四元数多项式。

2021-03-09cs.SCmath.MGmath.RA

非交换多项式的因式分解

Factorization of Non-Commutative Polynomials

本文给出了域上非交换多项式因式分解的一个算法。这个算法的第一个草图出现在一个未发表的手稿（字面上手写笔记）由詹姆斯H。达文波特超过20年前。此版本的算法相对于原始草图进行了一些改进。改进后的算法已在Axiom计算机代数系统中实现。

2010-02-16cs.MScs.SC

第一（q）-Weyl代数中Z-齐次多项式的因式分解

Factorization of Z-homogeneous polynomials in the First (q)-Weyl Algebra

给出了第一多项式Weyl代数和$q$ -Weyl代数中加权齐次元的分解算法，这两个代数都被看作是$\mathbb{Z}$ -分次环.我们表明，齐次多项式的因式分解几乎可以完全减少到交换的单变量因式分解在相同的基础领域与一些额外的不复杂的组合步骤。这允许详细推导我们的算法的复杂性。此外，我们将证明齐次多项式的不可约在多项式的第一Weyl代数也意味着不可约在合理的，这是感兴趣的实际原因。我们的报告，我们在计算机代数系统\textsc{Singular}的实现。它优于齐次多项式目前可用的实现处理因式分解在第一Weyl代数的速度和elegancy的结果。

2016-02-18cs.MScs.SC

一类多元多项式矩阵的因子分解

Factorizations for a Class of Multivariate Polynomial Matrices

根据Lin等人的工作（Circuits Syst. Signal Process. 20（6）：601-618，2001）和Liu等人（Circuits Syst. Signal Process. 30（3）：553-566，2011）中，我们研究了如何分解一类多元多项式矩阵。本文的主要定理表明：$l\times m$多项式矩阵允许关于多项式的因子分解，如果多项式和矩阵的所有$(l-1)\times (l-1)$约化子式生成单位理想.这一结果是前人工作的进一步推广，并在此基础上给出了一个分解多个多项式矩阵的算法。此外，给出了一个例子，说明我们的主要定理是非平凡的和有价值的。

2019-05-28cs.SC

有限域上多项式分解的最优量子算法

Toward an Optimal Quantum Algorithm for Polynomial Factorization over Finite Fields

提出了有限域上多项式分解的随机量子算法。对于有限域$\F_q$上的次数为$n$的多项式，我们算法的平均复杂度是期望的$O(n^{1 + o(1)} \log^{2 + o(1)}q)$位操作。仅对于次数为$n$的多项式的可忽略子集，我们的算法具有较高的$O(n^{4 / 3 + o(1)} \log^{2 + o(1)}q)$位操作复杂度。这打破了经典的$3/2$指数障碍多项式分解有限域\cite{guo2016alg}。

2018-07-25cs.CCcs.SCmath.NT

利用少量二元分解的稀疏多元分解

Sparse multivariate factorization by mean of a few bivariate factorizations

我们描述了一个算法的因素稀疏多元多项式使用O（d）二元分解，其中d是变量的数量。该算法已在Giac/Xcas计算机代数系统中实现。

2016-11-08cs.SC

有限域上多项式分解的拍指数3/2等价代数问题

Algebraic Problems Equivalent to Beating Exponent 3/2 for Polynomial Factorization over Finite Fields

在有限域上分解一元多项式的最快已知算法是Kaltofen-Shoup算法的Kedlaya-Umans（快速模复合）实现。它是随机的，并且花费$\widetilde{O}(n^{3/2}\log q + n \log^2 q)$时间来分解具有$q$元素的有限域$\mathbb{F}_q$上的次数为$n$的多项式。一个重要的未决问题是$3/2$指数是否可以改进。我们研究了一系列代数问题，并在它们之间建立了一个减少的网络。结果是，对于这些问题中的任何一个，具有比$3/2$更好的指数的算法将产生具有比$3/2$更好的指数的多项式分解算法。

2016-06-14cs.CCcs.DScs.SC

通过根近似实现有理数域上双变量多项式的精确因式分解

Exact Bivariate Polynomial Factorization in Q by Approximation of Roots

University of Electronic Sciences and Technology（电子科技大学）

提出一种利用数值方法获得有理系数双变量多项式精确因子的算法，可高效实现于C++等语言并易于并行化。

2010-08-21cs.NAcs.SCmath.AG

单项式的轨道与线性形式的乘积分解

Orbits of monomials and factorization into products of linear forms

本文研究多元多项式分解为线性形式乘积的问题，这个问题在微分代数、多项式方程组的求解和Waring分解（即，线性形式的d次幂和的分解;这个问题也被称为对称张量分解）。我们为这个问题提供了三个黑盒算法。我们的主要贡献是一个算法的动机的应用华林分解。该算法将相应的因式分解问题简化为线性代数中的标准任务--同时矩阵对角化问题。该算法依赖于不变量理论的思想，更具体地说是李代数。我们的第二个算法从几个二元投影重构因子分解。我们的第三个算法从输入多项式的零点集的确定来重建它，这是一个超平面的并集。

2018-07-10cs.CCcs.SCmath.AC