The Canny–Emiris Conjecture for the Sparse Resultant

We present a product formula for the initial parts of the sparse resultant associated with an arbitrary family of supports, generalizing a previous result by Sturmfels. This allows to compute the homogeneities and degrees of this sparse resultant, and its evaluation at systems of Laurent polynomials...

Descripción completa

Detalles Bibliográficos
Autores: D’Andrea, C., Jeronimo, G., Sombra, M.
Tipo de recurso: artículo
Estado:Versión aceptada para publicación
Fecha de publicación:2022
País:España
Institución:Varias* (Consorci de Biblioteques Universitáries de Catalunya, Centre de Serveis Científics i Acadèmics de Catalunya)
Repositorio:Recercat. Dipósit de la Recerca de Catalunya
OAI Identifier:oai:recercat.cat:2072/532869
Acceso en línea:http://hdl.handle.net/2072/532869
Access Level:acceso abierto
Palabra clave:Initial part
Macaulay formula
Mixed subdivision
Sparse resultant
Descripción
Sumario:We present a product formula for the initial parts of the sparse resultant associated with an arbitrary family of supports, generalizing a previous result by Sturmfels. This allows to compute the homogeneities and degrees of this sparse resultant, and its evaluation at systems of Laurent polynomials with smaller supports. We obtain an analogous product formula for some of the initial parts of the principal minors of the Sylvester-type square matrix associated with a mixed subdivision of a polytope. Applying these results, we prove that under suitable hypothesis, the sparse resultant can be computed as the quotient of the determinant of such a square matrix by one of its principal minors. This generalizes the classical Macaulay formula for the homogeneous resultant and confirms a conjecture of Canny and Emiris. © 2022, The Author(s).