Computing All Space Curve Solutions of Polynomial Systems by Polyhedral Methods

DOI10.1007/978-3-319-45641-6_6zbMATH Open1453.13084arXiv1606.05563OpenAlexW2963526000MaRDI QIDQ2829992FDOQ2829992

Nathan Bliss, J. Verschelde

Publication date: 9 November 2016

Published in: Computer Algebra in Scientific Computing (Search for Journal in Brave)

Abstract: A polyhedral method to solve a system of polynomial equations exploits its sparse structure via the Newton polytopes of the polynomials. We propose a hybrid symbolic-numeric method to compute a Puiseux series expansion for every space curve that is a solution of a polynomial system. The focus of this paper concerns the difficult case when the leading powers of the Puiseux series of the space curve are contained in the relative interior of a higher dimensional cone of the tropical prevariety. We show that this difficult case does not occur for polynomials with generic coefficients. To resolve this case, we propose to apply polyhedral end games to recover tropisms hidden in the tropical prevariety.

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

zbMATH Keywords

polynomial systemNewton polytopetropical basisPuiseux seriesspace curvepolyhedral methodtropical prevarietytropismpolyhedral end game

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Toric varieties, Newton polyhedra, Okounkov bodies (14M25) Combinatorial aspects of tropical varieties (14T15) Numerical computation of solutions to systems of equations (65H10) Global methods, including homotopy approaches to the numerical solution of nonlinear equations (65H20) Solving polynomial systems; resultants (13P15)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Algorithm 795
• Computing tropical varieties
• Computing tropical resultants
• Homotopies Exploiting Newton Polytopes for Solving Sparse Polynomial Systems
• A Polyhedral Method for Solving Sparse Polynomial Systems
• The number of roots of a system of equations
• Numerical-symbolic exact irreducible decomposition of cyclic-12
• Polyhedral Methods for Space Curves Exploiting Symmetry Applied to the Cyclic n-roots Problem
• Computing Puiseux series for algebraic surfaces
• Polyhedral end games for polynomial continuation
• Deformation techniques for sparse systems
• Affine solution sets of sparse polynomial systems
• Polyhedral Methods in Numerical Algebraic Geometry
• Generic tropical varieties
• Elimination for generic sparse polynomial systems
• Puiseux Expansions and Nonisolated Points in Algebraic Varieties
• Computing Tropical Curves via Homotopy Continuation
• Pruning Algorithms for Pretropisms of Newton Polytopes

Cited In (1)

• Pruning Algorithms for Pretropisms of Newton Polytopes

Uses Software

• Macaulay2
• PHCpack
• Gfan
• LBNL
• OEIS
• phcpy

This page was built for publication: Computing All Space Curve Solutions of Polynomial Systems by Polyhedral Methods

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