| |
(Please note special day - Monday! - and special room - TLS 301 - and special time 4:20 - 5:15) We fix the supports A=(A_1,...,A_k) of a list of tropical polynomials and define the tropical resultant TR(A) to be the set of choices of coefficients such that the tropical polynomials have a common solution. We show that TR(A) equals the tropicalization of the algebraic variety of solvable systems and that its dimension can be computed in polynomial time. The tropical resultant inherits a fan structure from the secondary fan of the Cayley configuration of A and we present algorithms for the traversal of TR(A) in this structure. We also present a new algorithm for recovering a Newton polytope from the support of its tropical hypersurface. We use this to compute the Newton polytope of the sparse resultant polynomial in the case where TR(A) is of codimension 1. Finally we consider the more general setting of specialized tropical resultants and report on experiments with our implementations. This is joint work with Anders Jensen. |
|