English
Related papers

Related papers: On Functional Decomposition of Multivariate Polyno…

200 papers

We present an algorithm to compute all factorizations into linear factors of univariate polynomials over the split quaternions, provided such a factorization exists. Failure of the algorithm is equivalent to non-factorizability for which we…

Rings and Algebras · Mathematics 2022-11-08 Daniel F. Scharler , Hans-Peter Schröcker

Pourchet proved in 1971 that every nonnegative univariate polynomial with rational coefficients is a sum of five or fewer squares. Nonetheless, there are no known algorithms for constructing such a decomposition. The sole purpose of the…

Symbolic Computation · Computer Science 2023-02-07 Victor Magron , Przemysław Koprowski , Tristan Vaccon

Regular chains and triangular decompositions are fundamental and well-developed tools for describing the complex solutions of polynomial systems. This paper proposes adaptations of these tools focusing on solutions of the real analogue:…

Symbolic Computation · Computer Science 2010-05-17 Changbo Chen , James H. Davenport , John P. May , Marc Moreno Maza , Bican Xia , Rong Xiao

In this paper we present algorithmic considerations and theoretical results about the relation between the orders of certain groups associated to the components of a polynomial and the order of the group that corresponds to the polynomial,…

Symbolic Computation · Computer Science 2008-05-15 Jaime Gutierrez , David Sevilla

We propose a new numerical algorithm for computing the tensor rank decomposition or canonical polyadic decomposition of higher-order tensors subject to a rank and genericity constraint. Reformulating this computational problem as a system…

Numerical Analysis · Mathematics 2024-07-02 Simon Telen , Nick Vannieuwenhoven

In this paper, a multiplicity preserving triangular set decomposition algorithm is proposed for a system of two polynomials. The algorithm decomposes the variety defined by the polynomial system into unmixed components represented by…

Symbolic Computation · Computer Science 2011-01-20 Jin-San Cheng , Xiao-Shan Gao

It is well-known that every non-negative univariate real polynomial can be written as the sum of two polynomial squares with real coefficients. When one allows a weighted sum of finitely many squares instead of a sum of two squares, then…

Symbolic Computation · Computer Science 2017-06-14 Victor Magron , Mohab Safey El Din , Markus Schweighofer

If g and h are functions over some field, we can consider their composition f = g(h). The inverse problem is decomposition: given f, determine the ex- istence of such functions g and h. In this thesis we consider functional decom- positions…

Symbolic Computation · Computer Science 2010-05-03 Mark Giesbrecht

We present a framework to decompose real multivariate polynomials while preserving invariance and positivity. This framework has been recently introduced for tensor decompositions, in particular for quantum many-body systems. Here we…

Mathematical Physics · Physics 2024-08-08 Gemma De las Cuevas , Andreas Klingler , Tim Netzer

We study the computational complexity of a diagonalization technique for multivariate homogeneous polynomials, that is, expressing them as sums of powers of independent linear forms. It is based on Harrison's center theory and consists of a…

Rings and Algebras · Mathematics 2025-03-04 Lishan Fang , Hua-Lin Huang , Yuechen Li

We study several variants of decomposing a symmetric matrix into a sum of a low-rank positive semidefinite matrix and a diagonal matrix. Such decompositions have applications in factor analysis and they have been studied for many decades.…

Optimization and Control · Mathematics 2023-10-02 Levent Tunçel , Stephen A. Vavasis , Jingye Xu

In this paper, we present a modular strategy which describes key properties of the absolute primary decomposition of an equidimensional polynomial ideal defined by polynomials with rational coefficients. The algorithm we design is based on…

Commutative Algebra · Mathematics 2010-12-24 Cristina Bertone

We give algorithms to compute decompositions of a given polynomial, or more generally mixed tensor, as sum of rank one tensors, and to establish whether such a decomposition is unique. In particular, we present methods to compute the…

Algebraic Geometry · Mathematics 2021-07-12 Antonio Laface , Alex Massarenti , Rick Rischter

In this article, we prove a decomposition theorem on differential polynomials of theta functions of high level.

Number Theory · Mathematics 2007-05-23 Jae-Hyun Yang

Triangular decomposition is a classic, widely used and well-developed way to represent algebraic varieties with many applications. In particular, there exist sharp degree bounds for a single triangular set in terms of intrinsic data of the…

Algebraic Geometry · Mathematics 2018-06-08 Gleb Pogudin , Agnes Szanto

An improved characteristic set algorithm for solving Boolean polynomial systems is proposed. This algorithm is based on the idea of converting all the polynomials into monic ones by zero decomposition, and using additions to obtain…

Symbolic Computation · Computer Science 2019-11-12 Zhenyu Huang , Yao Sun , Dongdai Lin

We give efficient algorithms for finding power-sum decomposition of an input polynomial $P(x)= \sum_{i\leq m} p_i(x)^d$ with component $p_i$s. The case of linear $p_i$s is equivalent to the well-studied tensor decomposition problem while…

Data Structures and Algorithms · Computer Science 2022-08-02 Mitali Bafna , Jun-Ting Hsieh , Pravesh K. Kothari , Jeff Xu

We describe an algorithm to decompose rational functions from which we determine the poset of groups fixing these functions.

Number Theory · Mathematics 2008-08-21 John McKay , David Sevilla

In this paper we study the complexity of factorization of polynomials in the free noncommutative ring $\mathbb{F}\langle x_1,x_2,\dots,x_n\rangle$ of polynomials over the field $\mathbb{F}$ and noncommuting variables $x_1,x_2,\ldots,x_n$.…

Computational Complexity · Computer Science 2015-01-06 V. Arvind , Pushkar S Joglekar , Gaurav Rattan

In this paper, we first prove that when the associated graph of a polynomial set is chordal, a particular triangular set computed by a general algorithm in top-down style for computing the triangular decomposition of this polynomial set has…

Symbolic Computation · Computer Science 2018-11-28 Chenqi Mou , Yang Bai , Jiahua Lai