Closed formula for univariate subresultants in multiple roots
type: Item
instance of: scholarly article
title: Closed formula for univariate subresultants in multiple roots
zbMATH Open document ID: 1408.13075
author: Carlos D'Andrea
author: Teresa Krick
author: Agnes Szanto
author: Marcelo Valdettaro
published in: Linear Algebra and its Applications
publication date: 2019-03-26T00:00:00Z
full work available at URL: https://arxiv.org/abs/1612.05160
review text: Let $K$ be a field and $A,B\subset K$ be two sets of cardinalities $m$ and $n$, respectively. Then, in 1840, Sylvester introduced the Sylvester single sum as \[ \mathrm{Syl}_d(A,B)(x)=\sum_{A'\subset A, |A'|=d}\frac{R(A\setminus A',B)R(x,A')}{R(A',A\setminus A')} \] where $0 \le d \le m$ and $R(X,Y)=\prod_{x\in X, y\in Y}(x-y)$. If $f(x)=\prod_{a\in A}(x-a)$ and $g(x)=\prod_{b\in B}(x-b)$ then the Sylvester subresultant of $f$ and $g$ for $d$, up to multiplying by a constant in $\{1,-1\}$, is equal to $\mathrm{Syl}_d(A,B)(x)$. \par In this paper, the authors generalize the Sylvester single sum to multilists as follows: Keeping the above notations, let $\bar{A}\subset A$ and $\bar{A}\subset A$ be the sets of distinct elements in $A$ and $B$, respectively. Let $m'=m-|\bar{A}|$ and $n'=n-|\bar{B}|$. Then, $\mathrm{SylM}_d(A,B)(x)$ is defined to be \[ (-1)^{m'(m-d)}\sum_{A'\subset \bar{A}, |A'|=d-m'}\sum_{B'\subset\bar{B}, |B'|=m'}\frac{R(A\setminus \bar{A},\bar{B}\setminus B')R(\bar{A}\setminus A',B\setminus B')R(x,A')R(x,B')}{R(A',\bar{A}\setminus A')R(B',\bar{B}\setminus B')} \] where $m'+n'\le d \le \min\{m,n\}$. In the case that $m=n$ then we consider $d<m$. It is shown that the $d$-th Sylvester subresultant of $f$ and $g$, up to multiplying by a constant in $\{1,-1\}$, is equal to $\mathrm{Syl}_d(A,B)(x)$.
reviewed by: Amir Hashemi
Mathematics Subject Classification ID: 13P15
Mathematics Subject Classification ID: 05E05
zbMATH DE Number: 7041871
zbMATH Keywords: subresultants
zbMATH Keywords: exchange lemma
zbMATH Keywords: formulas in roots
zbMATH Keywords: Schur functions
describes a project that uses: Maple
MaRDI profile type: Publication
OpenAlex ID: W2963536477
arXiv ID: 1612.05160
cites work: Q3462466
cites work: Subresultants in multiple roots: an extremal case
cites work: Interpolation for symmetric functions
cites work: An elementary proof of Sylvester's double sums for subresultants
cites work: Subresultants in multiple roots
cites work: Various new expressions for subresultants and their applications
cites work: The Generalized Vandermonde Matrix
cites work: Sylvester's double sums: an inductive proof of the general case
cites work: Symmetric interpolation, Exchange Lemma and Sylvester sums
cites work: Double Sylvester sums for subresultants and multi-Schur functions.
cites work: Sylvester double sums and subresultants
Wikidata QID: Q128751875
DOI: 10.1016/J.LAA.2018.12.010
Recommended article: Multivariate subresultants in roots
Recommended article: Subresultants in multiple roots: an extremal case
Recommended article: Subresultants in multiple roots
Recommended article: Q4660672
Recommended article: Finding roots of a multivariate polynomial in a linear subspace
Recommended article: Q3057513
Recommended article: Q4317304
Recommended article: Multiple roots of estimating functions
Recommended article: Computing clustered close-roots of univariate polynomials
description: scientific article