Abstract
Mixed volumes of lattice polytopes play a central role in numerical and tropical algebraic geometry. We present an implementation of a new algorithm for their computation based on tropical homotopy continuation, which is a combinatorial procedure using ideas from numerical algebraic geometry. While the mathematical aspects of the algorithm are presented elsewhere, here we mainly address technical details of the implementation, in particular how it was made fast and reliable. The implementation is distributed as part of the library gfanlib.
Keywords
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
Mixed volume computation, just as volume computation, is #P-hard [2].
References
Avis, D., Fukuda, K.: Reverse search for enumeration. Discrete Appl. Math. 65(1–3), 21–46 (1996). First International Colloquium on Graphs and Optimization (GOI) (1992) (Grimentz)
Dyer, M., Gritzmann, P., Hufnagel, A.: On the complexity of computing mixed volumes. SIAM J. Comput. 27(2), 356–400 (1998)
Hauenstein, J.D., Sommese, A.J., Wampler, C.W.: Regeneration homotopies for solving systems of polynomials. Math. Comput. 80(273), 345–377 (2011)
Jensen, A.N.: Gfan, a software system for Gröbner fans. http://home.math.au.dk/jensen/software/gfan/gfan.html
Jensen, A.N.: Tropical homotopy continuation (2016). arXiv:1601.02818
Lee, T.-L., Li, T.-Y.: Mixed volume computation in solving polynomial systems. Contemp. Math. 556, 97–112 (2011)
Malajovich, G.: Computing mixed volume and all mixed cells in quermassintegral time. Found. Comput. Math. 1–42 (2014). arXiv:1412.0480. http://link.springer.com/article/10.1007%2Fs10208-016-9320-1
Mizutani, T., Takeda, A., Kojima, M.: Dynamic enumeration of all mixed cells. Discrete Comput. Geom. 37(3), 351–367 (2007)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this paper
Cite this paper
Jensen, A.N. (2016). An Implementation of Exact Mixed Volume Computation. In: Greuel, GM., Koch, T., Paule, P., Sommese, A. (eds) Mathematical Software – ICMS 2016. ICMS 2016. Lecture Notes in Computer Science(), vol 9725. Springer, Cham. https://doi.org/10.1007/978-3-319-42432-3_25
Download citation
DOI: https://doi.org/10.1007/978-3-319-42432-3_25
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-42431-6
Online ISBN: 978-3-319-42432-3
eBook Packages: Computer ScienceComputer Science (R0)