Pourchet's theorem in action: decomposing univariate nonnegative polynomials as sums of five squares - LAAS - Laboratoire d'Analyse et d'Architecture des Systèmes
Proceedings Year : 2023

Pourchet's theorem in action: decomposing univariate nonnegative polynomials as sums of five squares

Przemysław Koprowski
Tristan Vaccon

Abstract

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 present paper is to present a set of algorithms that decompose a given nonnegative polynomial into a sum of six (five under some unproven conjecture or when allowing weights) squares of polynomials. Moreover, we prove that the binary complexity can be expressed polynomially in terms of classical operations of computer algebra and algorithmic number theory.

Dates and versions

hal-03976836 , version 1 (07-02-2023)

Identifiers

Cite

Przemysław Koprowski, Victor Magron, Tristan Vaccon. Pourchet's theorem in action: decomposing univariate nonnegative polynomials as sums of five squares. ISSAC 2023: International Symposium on Symbolic and Algebraic Computation 2023, ACM, pp.425-433, 2023, ⟨10.1145/3597066.3597072⟩. ⟨hal-03976836⟩
31 View
0 Download

Altmetric

Share

More