Matrix formulae for Resultants and Discriminants of Bivariate Tensor-product Polynomials

Laurent Busé 1 Angelos Mantzaflaris 2 Elias Tsigaridas 3
1 AROMATH - AlgebRe, geOmetrie, Modelisation et AlgoriTHmes
CRISAM - Inria Sophia Antipolis - Méditerranée , National and Kapodistrian University of Athens
3 PolSys - Polynomial Systems
Inria de Paris, LIP6 - Laboratoire d'Informatique de Paris 6
Abstract : The construction of optimal resultant formulae for polynomial systems is one of the main areas of research in computational algebraic geometry. However, most of the constructions are restricted to formulae for unmixed polynomial systems, that is, systems of polynomials which all have the same support. Such a condition is restrictive, since mixed systems of equations arise frequently in many problems. Nevertheless, resultant formulae for mixed polynomial systems is a very challenging problem. We present a square, Koszul-type, matrix, the determinant of which is the resultant of an arbitrary (mixed) bivariate tensor-product polynomial system. The formula generalizes the classical Sylvester matrix of two univariate polynomials, since it expresses a map of degree one, that is, the elements of the corresponding matrix are up to sign the coefficients of the input polynomials. Interestingly, the matrix expresses a primal-dual multiplication map, that is, the tensor product of a univariate multiplication map with a map expressing derivation in a dual space. In addition we prove an impossibility result which states that for tensor-product systems with more than two (affine) variables there are no universal degree-one formulae, unless the system is unmixed. Last but not least, we present applications of the new construction in the efficient computation of discriminants and mixed discriminants.
Type de document :
Pré-publication, Document de travail
2017
Liste complète des métadonnées

Littérature citée [43 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01654263
Contributeur : Laurent Busé <>
Soumis le : dimanche 3 décembre 2017 - 16:02:30
Dernière modification le : mardi 17 avril 2018 - 09:04:17
Document(s) archivé(s) le : dimanche 4 mars 2018 - 12:17:47

Fichier

bmt-j-bivar.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01654263, version 1

Collections

Citation

Laurent Busé, Angelos Mantzaflaris, Elias Tsigaridas. Matrix formulae for Resultants and Discriminants of Bivariate Tensor-product Polynomials. 2017. 〈hal-01654263〉

Partager

Métriques

Consultations de la notice

239

Téléchargements de fichiers

76