We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.CC

Change to browse by:

cs

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo

Computer Science > Computational Complexity

Title: Derandomization and absolute reconstruction for sums of powers of linear forms

Abstract: We study the decomposition of multivariate polynomials as sums of powers of linear forms.
As one of our main results we give an algorithm for the following problem: given a homogeneous polynomial of degree 3, decide whether it can be written as a sum of cubes of linearly independent linear forms with complex coefficients. Compared to previous algorithms for the same problem, the two main novel features of this algorithm are:
(i) It is an algebraic algorithm, i.e., it performs only arithmetic operations and equality tests on the coefficients of the input polynomial. In particular, it does not make any appeal to polynomial factorization.
(ii) For an input polynomial with rational coefficients, the algorithm runs in polynomial time when implemented in the bit model of computation.
The algorithm relies on methods from linear and multilinear algebra (symmetric tensor decomposition by simultaneous diagonalization).
We also give a version of our algorithm for decomposition over the field of real numbers. In this case, the algorithm performs arithmetic operations and comparisons on the input coefficients.
Finally we give several related derandomization results on black box polynomial identity testing, the minimization of the number of variables in a polynomial, the computation of Lie algebras and factorization into products of linear forms.
Comments: This version takes the referee's comments into account
Subjects: Computational Complexity (cs.CC)
Cite as: arXiv:1912.02021 [cs.CC]
  (or arXiv:1912.02021v5 [cs.CC] for this version)

Submission history

From: Pascal Koiran [view email]
[v1] Wed, 4 Dec 2019 14:38:49 GMT (32kb)
[v2] Sat, 11 Jan 2020 17:13:38 GMT (33kb)
[v3] Sat, 15 Feb 2020 13:25:29 GMT (33kb)
[v4] Wed, 8 Jul 2020 07:58:20 GMT (34kb)
[v5] Wed, 14 Jul 2021 14:43:02 GMT (36kb)

Link back to: arXiv, form interface, contact.