respol
Combinatorics of 4-dimensional resultant polytopes. The Newton polytope of the resultant, or resultant polytope, characterizes the resultant polynomial more precisely than total degree. The combinatorics of resultant polytopes are known in the Sylvester case [Gelfand et al.90] and up to dimension 3 [Sturmfels 94]. We extend this work by studying the combinatorial characterization of 4-dimensional resultant polytopes, which show a greater diversity and involve computational and combinatorial challenges. In particular, our experiments, based on software respol for computing resultant polytopes, establish lower bounds on the maximal number of faces. By studying mixed subdivisions, we obtain tight upper bounds on the maximal number of facets and ridges, thus arriving at the following maximal f-vector: (22,66,66,22), i.e. vector of face cardinalities. Certain general features emerge, such as the symmetry of the maximal f-vector, which are intriguing but still under investigation. We establish a result of independent interest, namely that the f-vector is maximized when the input supports are sufficiently generic, namely full dimensional and without parallel edges. Lastly, we offer a classification result of all possible 4-dimensional resultant polytopes.
Keywords for this software
References in zbMATH (referenced in 7 articles )
Showing results 1 to 7 of 7.
Sorted by year (- Emiris, Ioannis Z.; Konaxis, Christos; Laroche, Clément: Implicit representations of high-codimension varieties (2019)
- Emiris, Ioannis Z.; Konaxis, Christos; Kotsireas, Ilias S.; Laroche, Clément: Matrix representations by means of interpolation (2017)
- Emiris, Ioannis Z.; Fisikopoulos, Vissarion; Gärtner, Bernd: Efficient edge-skeleton computation for polytopes defined by oracles (2016)
- Fisikopoulos, Vissarion; Peñaranda, Luis: Faster geometric algorithms via dynamic determinant computation (2016)
- Dickenstein, Alicia; Emiris, Ioannis Z.; Fisikopoulos, Vissarion: Combinatorics of 4-dimensional resultant polytopes (2013)
- Emiris, Ioannis Z.; Kalinka, Tatjana; Konaxis, Christos; Ba, Thang Luu: Implicitization of curves and (hyper)surfaces using predicted support (2013)
- Jensen, Anders; Yu, Josephine: Computing tropical resultants (2013)