Sylvester double sums, subresultants and symmetric multivariate Hermite interpolation

DOI10.1016/J.JSC.2019.02.013zbMATH Open1441.13071arXiv1805.10609OpenAlexW2803949631WikidataQ128312021 ScholiaQ128312021MaRDI QIDQ2000292FDOQ2000292

Marie-Françoise Roy, Aviva Szpirglas

Publication date: 28 June 2019

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

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$.

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)

Cites Work

• Title not available (Why is that?)
• Inertia characteristics of self-adjoint matrix polynomials
• Algorithms in real algebraic geometry
• Double Sylvester sums for subresultants and multi-Schur functions.
• An elementary proof of Sylvester's double sums for subresultants
• Symmetric interpolation, Exchange Lemma and Sylvester sums
• Sylvester double sums and subresultants
• Interpolation for symmetric functions

Cited In (3)

• Symmetric interpolation, Exchange Lemma and Sylvester sums
• Sylvester's double sums: an inductive proof of the general case
• Subresultants of several univariate polynomials in Newton basis

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)