Sylvester double sums, subresultants and symmetric multivariate Hermite interpolation (Q2000292)

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\).