Sylvester double sums, subresultants and symmetric multivariate Hermite interpolation

DOI10.1016/J.JSC.2019.02.013MaRDI QIDQ2000292zbMATH OpenOpenAlexWikidataFDO

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

generalized Vandermonde determinantsmultivariate Hermite interpolationsubresultantsSylvester double sums

Mathematics Subject Classification ID

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

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

Review text

Sylvester double sums, are symmetric expressions of the roots of two polynomials \(P\) and \(Q\). However, as it is very well explained in the abstract, ``Silvester's definition makes no sense if \(P\) and \(Q\) have multiple roots, since the definition involves denominators that vanish when there are multiple roots. The main purposes of the paper are to give a new definition for Sylvester double sums making sense if \(P\) and \(Q\) have multiple roots, which coincides with the definition by Sylvester in the case of simple roots, to prove the fundamental property of Sylvester double sums, i.e. that Sylvester double sums indexed by \((k,l)\) are equal up to a constant if they share the same value for \(k+l\), and to prove the relationship between double sums and subresultants, i.e. that they are equal up to a constant. The authors consider generalized Vandermonde determinants (also called confluent Vandermonde determinants) and relate them with the Sylvester double sums to give a new formula for Sylvester double sums. They also introduce the multi Sylvester double sums and a new Hermite interpolation for multivariate symmetric polynomials to study the properties of multi Sylvester double sums. Finally, they prove that Sylvester double sums coincide (up to a constant) with subresultants using 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

• Algorithms in real algebraic geometry
• An elementary proof of Sylvester's double sums for subresultants
• Double Sylvester sums for subresultants and multi-Schur functions.
• scientific article; zbMATH DE number 194139 (Why is no real title available?)
• 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

(10)

• Sylvester's double sums: the general case
• Double Sylvester sums for subresultants and multi-Schur functions.
• Sylvester's double sums: an inductive proof of the general case
• Symmetric interpolation, Exchange Lemma and Sylvester sums
• Sylvester double sums and subresultants
• Subresultants of several univariate polynomials in Newton basis
• Subresultant of Bernstein polynomials and its application in computing the parametric greatest common divisor
• Relations among multi-polynomial subresultants
• A note on the multivariate symmetric Hermite interpolant
• Computing the greatest common divisor of several parametric univariate polynomials via generalized subresultants

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)