Sylvester double sums, subresultants and symmetric multivariate Hermite interpolation

DOI10.1016/J.JSC.2019.02.013MaRDI QIDQ2000292zbMATHOpenAlexWikidataFDO

Authors Aviva Szpirglas, Marie-Françoise Roy

Publication date 28 June 2019

Published in Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1805.10609

zbMATH Keywords

multivariate Hermite interpolationsubresultantsgeneralized Vandermonde determinantsSylvester double sums

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Classical problems, Schubert calculus (14N15) Solving polynomial systems; resultants (13P15) Computational real algebraic geometry (14Q30)

Abstract: Sylvester doubles sums, introduced first by Sylvester are symmetric expressions of the roots of two polynomials. Sylvester's definition of double sums makes no sense in the presence of multiple roots, since the definition involves denominators that vanish when there are multiple roots. The aim of this paper is to give a new definition of Sylvester double sums making sense in the presence of multiple roots, which coincides with the definition by Sylvester in the case of simple roots, to prove that double sums indexed by $(k,ell)$ are equal up to a constant if they share the same value for $k+ell$, as well a proof of the relationship between double sums and subresultants, i.e. that they are equal up to a constant. In the simple root case, proofs of these properties are already known. The more general proofs given here are using generalized Vandermonde determinants and symmetric multivariate Hermite interpolation as well as an induction on the length of the remainder sequence of $P$ and $Q$.

Recommendations

• Sylvester double sums and subresultants
• Sylvester's double sums: an inductive proof of the general case
• Sylvester's double sums: the general case
• Double Sylvester sums for subresultants and multi-Schur functions.
• Symmetric interpolation, Exchange Lemma and Sylvester sums

Cites work

• scientific article; zbMATH DE number 194139 (Why is no real title available?)
• Algorithms in real algebraic geometry
• An elementary proof of Sylvester's double sums for subresultants
• Double Sylvester sums for subresultants and multi-Schur functions.
• Inertia characteristics of self-adjoint matrix polynomials
• Interpolation for symmetric functions
• Sylvester double sums and subresultants
• Symmetric interpolation, Exchange Lemma and Sylvester sums

Cited in

(6)

• Sylvester's double sums: an inductive proof of the general case
• Subresultants of several univariate polynomials in Newton basis
• Sylvester's double sums: the general case
• Symmetric interpolation, Exchange Lemma and Sylvester sums
• Sylvester double sums and subresultants
• Double Sylvester sums for subresultants and multi-Schur functions.

This page was built for publication: Sylvester double sums, subresultants and symmetric multivariate Hermite interpolation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2000292)