The Canny-Emiris conjecture for the sparse resultant

04/30/2020
by   Carlos D'Andrea, et al.
0

We present a product formula for the initial parts of the sparse resultant associated to an arbitrary family of supports, generalizing a previous result by Sturmfels. This allows to compute the homogeneities and degrees of the sparse resultant, and its evaluation at systems of Laurent polynomials with smaller supports. We obtain a similar product formula for some of the initial parts of the principal minors of the Sylvester-type square matrix associated to a mixed subdivision of a polytope. Applying these results, we prove that the sparse resultant can be computed as the quotient of the determinant of such a square matrix by a certain principal minor, under suitable hypothesis. This generalizes the classical Macaulay formula for the homogeneous resultant, and confirms a conjecture of Canny and Emiris.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset

Sign in with Google

×

Use your Google Account to sign in to DeepAI

×

Consider DeepAI Pro