Numerical software to compute Newton polytopes and tropical membership

DOI10.1007/S11786-020-00454-4zbMATH Open1474.14002arXiv1811.12279OpenAlexW3006318221MaRDI QIDQ2209261FDOQ2209261

Authors: Taylor Brysiewicz 

Publication date: 30 October 2020

Published in: Mathematics in Computer Science (Search for Journal in Brave)

Abstract: We present our implementation of an algorithm which functions as a numerical oracle for the Newton polytope of a hypersurface in the Macaulay2 package NumericalNP.m2. We propose a tropical membership test, relying on this algorithm, for higher codimension varieties based on ideas from Hept and Theobald. To showcase this software, we investigate the Newton polytope of both a hypersurface coming from algebraic vision and the Luroth invariant.

Full work available at URL: https://arxiv.org/abs/1811.12279

Recommendations

• Numerical software to compute Newton polytopes
• Newton polytopes and witness sets
• Computing tropical varieties using Newton's polygon method
• The Newton polytope of the implicit equation
• Tropical computations in \texttt{polymake}

zbMATH Keywords

algorithmhypersurfacehomotopy continuationNewton polytopetropical

Mathematics Subject Classification ID

Toric varieties, Newton polyhedra, Okounkov bodies (14M25) Combinatorial aspects of tropical varieties (14T15) Computational aspects in algebraic geometry (14Q99) Global methods, including homotopy approaches to the numerical solution of nonlinear equations (65H20) Software, source code, etc. for problems pertaining to algebraic geometry (14-04)

Cites Work

• Title not available (Why is that?)
• Numerically solving polynomial systems with Bertini
• Title not available (Why is that?)
• Software for numerical algebraic geometry: a paradigm and progress towards its implementation
• An oracle-based, output-sensitive algorithm for projections of resultant polytopes
• The number of roots of a system of equations
• Congruences and concurrent lines in multi-view geometry
• Tropical bases by regular projections
• Witness sets of projections
• Newton polytopes and witness sets
• Numerical software to compute Newton polytopes

Cited In (5)

• Learning Polytopes with Fixed Facet Directions
• Computing zero-dimensional tropical varieties via projections
• Numerical software to compute Newton polytopes
• Binomiality testing and computing sparse polynomials via witness sets
• Newton polytopes and witness sets

Uses Software

• Macaulay2
• SageMath
• Bertini
• Bertini.m2
• triangulation
• NumericalNP

This page was built for publication: Numerical software to compute Newton polytopes and tropical membership

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2209261)