
We design an algorithm to compute the Newton polytope of the resultant, known as resultant polytope, or its orthogonal projection along a given direction. The resultant is fundamental in algebraic elimination, optimization, and geometric modeling. Our algorithm exactly computes vertex- and halfspace-representations of the polytope using an oracle producing resultant vertices in a given direction, thus avoiding walking on the polytope whose dimension is α - n - 1, where the input consists of α points in ℤn. Our approach is output-sensitive as it makes one oracle call per vertex and per facet. It extends to any polytope whose oracle-based definition is advantageous, such as the secondary and discriminant polytopes. Our publicly available implementation uses the experimental CGAL package triangulation. Our method computes 5-, 6- and 7- dimensional polytopes with 35K, 23K and 500 vertices, respectively, within 2hrs, and the Newton polytopes of many important surface equations encountered in geometric modeling in < 1sec, whereas the corresponding secondary polytopes are intractable. It is faster than tropical geometry software up to dimension 5 or 6. Hashing determinantal predicates accelerates execution up to 100 times. One variant computes inner and outer approximations with, respectively, 90% and 105% of the true volume, up to 25 times faster.
Computer Science - Symbolic Computation, Computational Geometry (cs.CG), FOS: Computer and information sciences, regular triangulation, Computational Mechanics, Computational Geometry, Symbolic Computing in Algebraic Geometry and Cryptography, Symbolic Computation (cs.SC), secondary polytope, Graph, Engineering, Numerical Algebraic Geometry, Tropical geometry, Computer graphics; computational geometry (digital and algorithmic aspects), FOS: Mathematics, Isogeometric Analysis in Computational Engineering, Software engineering, CGAL implementation, Shape Optimization, Mesh Generation Algorithms, Polytope, general dimension, Computer Graphics and Computer-Aided Design, Computer science, Vertex (graph theory), Algorithm, Dimension (graph theory), Computational Theory and Mathematics, Combinatorics, Physical Sciences, Computer Science, Computer Science - Computational Geometry, Polytope model, experimental complexity, convex hull, Oracle, resultant, Symbolic Computing, Mathematics
Computer Science - Symbolic Computation, Computational Geometry (cs.CG), FOS: Computer and information sciences, regular triangulation, Computational Mechanics, Computational Geometry, Symbolic Computing in Algebraic Geometry and Cryptography, Symbolic Computation (cs.SC), secondary polytope, Graph, Engineering, Numerical Algebraic Geometry, Tropical geometry, Computer graphics; computational geometry (digital and algorithmic aspects), FOS: Mathematics, Isogeometric Analysis in Computational Engineering, Software engineering, CGAL implementation, Shape Optimization, Mesh Generation Algorithms, Polytope, general dimension, Computer Graphics and Computer-Aided Design, Computer science, Vertex (graph theory), Algorithm, Dimension (graph theory), Computational Theory and Mathematics, Combinatorics, Physical Sciences, Computer Science, Computer Science - Computational Geometry, Polytope model, experimental complexity, convex hull, Oracle, resultant, Symbolic Computing, Mathematics
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 10 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Top 10% | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Top 10% |
