Showing 1–5 of 5 results for author: Valdettaro, M

Strictly positive polynomials in the boundary of the SOS cone

Authors: Santiago Laplagne, Marcelo Valdettaro

Abstract: We study the boundary of the cone of real polynomials that can be decomposed as a sum of squares (SOS) of real polynomials. This cone is included in the cone of nonnegative polynomials and both cones share a part of their boundary, which corresponds to polynomials that vanish at at least one point. We focus on the part of the boundary which is not shared, corresponding to strictly positive polynom… ▽ More We study the boundary of the cone of real polynomials that can be decomposed as a sum of squares (SOS) of real polynomials. This cone is included in the cone of nonnegative polynomials and both cones share a part of their boundary, which corresponds to polynomials that vanish at at least one point. We focus on the part of the boundary which is not shared, corresponding to strictly positive polynomials. For the cases of polynomials of degree 6 in 3 variables and degree 4 in 4 variables, this boundary has been completely characterized by G. Blekherman. For the cases of more variables or higher degree, results by G. Blekherman, R. Sinn and M. Velasco and other authors based on general conjectures give bounds for the maximum number of polynomials that can appear in a SOS decomposition and the maximum rank of the matrices in the Gram spectrahedron. Combining theoretical results and computational techniques, we compute examples that allow us to prove the optimality of the bounds for all degrees and number of variables. Additionally, we give examples for the following problems: examples in the boundary of the cone that are the sum of less than $n$ squares and have common complex roots, and examples of polynomials in the boundary with length larger than the expected from the dimension. △ Less

Submitted 12 June, 2023; v1 submitted 10 December, 2020; originally announced December 2020.

Comments: This version introduces major changes. Some of the results in the original version of our paper were already known, published in the paper "Do Sums of Squares Dream of Free Resolutions?" by Grigoriy Blekherman, Rainer Sinn, Mauricio Velasco. We review in Section 2 their results. We add new constructions that provide examples and counter-examples for different bounds

MSC Class: 14P10; 14Q20; 68W30

Subresultants of $(x-α)^m$ and $(x-β)^n$, Jacobi polynomials and complexity

Authors: A. Bostan, T. Krick, A. Szanto, M. Valdettaro

Abstract: In an earlier article together with Carlos D'Andrea [BDKSV2017], we described explicit expressions for the coefficients of the order-$d$ polynomial subresultant of $(x-α)^m$ and $(x-β)^n $ with respect to Bernstein's set of polynomials $\{(x-α)^j(x-β)^{d-j}, \, 0\le j\le d\}$, for $0\le d<\min\{m, n\}$. The current paper further develops the study of these structured polynomials and shows that the… ▽ More In an earlier article together with Carlos D'Andrea [BDKSV2017], we described explicit expressions for the coefficients of the order-$d$ polynomial subresultant of $(x-α)^m$ and $(x-β)^n $ with respect to Bernstein's set of polynomials $\{(x-α)^j(x-β)^{d-j}, \, 0\le j\le d\}$, for $0\le d<\min\{m, n\}$. The current paper further develops the study of these structured polynomials and shows that the coefficients of the subresultants of $(x-α)^m$ and $(x-β)^n$ with respect to the monomial basis can be computed in linear arithmetic complexity, which is faster than for arbitrary polynomials. The result is obtained as a consequence of the amazing though seemingly unnoticed fact that these subresultants are scalar multiples of Jacobi polynomials up to an affine change of variables. △ Less

Submitted 5 October, 2019; v1 submitted 31 December, 2018; originally announced December 2018.

Comments: 34 pages, accepted for publication in Journal of Symbolic Computation

MSC Class: 13P15; 15B05; 33C05; 33C45; 33F10; 68W30

Closed formula for univariate subresultants in multiple roots

Authors: Carlos D'Andrea, Teresa Krick, Agnes Szanto, Marcelo Valdettaro

Abstract: We generalize Sylvester single sums to multisets (sets with repeated elements), and show that these sums compute subresultants of two univariate polyomials as a function of their roots independently of their multiplicity structure. This is the first closed formula for subresultants in terms of roots that works for arbitrary polynomials, previous efforts only handled special cases. Our extension in… ▽ More We generalize Sylvester single sums to multisets (sets with repeated elements), and show that these sums compute subresultants of two univariate polyomials as a function of their roots independently of their multiplicity structure. This is the first closed formula for subresultants in terms of roots that works for arbitrary polynomials, previous efforts only handled special cases. Our extension involves in some cases confluent Schur polynomials, and is obtained by using multivariate symmetric interpolation via an Exchange Lemma. △ Less

Submitted 10 December, 2018; v1 submitted 15 December, 2016; originally announced December 2016.

Subresultants in multiple roots: an extremal case

Authors: Alin Bostan, Carlos D'Andrea, Teresa Krick, Agnes Szanto, Marcelo Valdettaro

Abstract: We provide explicit formulae for the coefficients of the order-d polynomial subresultant of (x-α)^m and (x-β)^n with respect to the set of Bernstein polynomials \{(x-α)^j(x-β)^{d-j}, \, 0\le j\le d\}. They are given by hypergeometric expressions arising from determinants of binomial Hankel matrices. We provide explicit formulae for the coefficients of the order-d polynomial subresultant of (x-α)^m and (x-β)^n with respect to the set of Bernstein polynomials \{(x-α)^j(x-β)^{d-j}, \, 0\le j\le d\}. They are given by hypergeometric expressions arising from determinants of binomial Hankel matrices. △ Less

Submitted 18 April, 2017; v1 submitted 12 August, 2016; originally announced August 2016.

Comments: 18 pages, uses elsart. Revised version accepted for publication at Linear Algebra and its Applications

MSC Class: 13P15; 15B05; 33C05

Symmetric Interpolation, Exchange Lemma and Sylvester Sums

Authors: Teresa Krick, Agnes Szanto, Marcelo Valdettaro

Abstract: The theory of symmetric multivariate Lagrange interpolation is a beautiful but rather unknown tool that has many applications. Here we derive from it an Exchange Lemma that allows to explain in a simple and natural way the full description of the double sum expressions introduced by Sylvester in 1853 in terms of subresultants and their Bezout coefficients. The theory of symmetric multivariate Lagrange interpolation is a beautiful but rather unknown tool that has many applications. Here we derive from it an Exchange Lemma that allows to explain in a simple and natural way the full description of the double sum expressions introduced by Sylvester in 1853 in terms of subresultants and their Bezout coefficients. △ Less

Submitted 6 September, 2016; v1 submitted 2 March, 2015; originally announced March 2015.