Mixed-volume computation by dynamic lifting applied to polynomial system solving

@article{Verschelde1996MixedvolumeCB,
  title={Mixed-volume computation by dynamic lifting applied to polynomial system solving},
  author={Jan Verschelde and Karin Gatermann and Ronald Cools},
  journal={Discrete \& Computational Geometry},
  year={1996},
  volume={16},
  pages={69-112}
}
The aim of this paper is to present a flexible approach for the efficient computation of the mixed volume of a tuple of polytopes. In order to compute the mixed volume, a mixed subdivision of the tuple of polytopes is needed, which can be obtained by embedding the polytopes in a higher-dimensional space, i.e., by lifting them. Dynamic lifting is opposed to the static approach. This means that one considers one point at a time and only fixes the value of the lifting function when the point… 

Distributed Computation of Mixed Volume

TLDR
A parallel algorithm for computing the mixed volume of n convex polytopes in n-dimensional space, which modiies the sequential algorithm Lift-Prune, which computes mixed volume in arbitrary dimension and is the fastest algorithm today for general inputs.

Unmixing the Mixed Volume Computation

TLDR
It is demonstrated through problems from real world applications that substantial reduction in computational costs can be achieved via this transformation in situations where the convex hull of the union of the polytopes has less complex geometry than the original poly topes.

How to Count Efficiently all Affine Roots of a Polynomial System

Computing Mixed Volume and All Mixed Cells in Quermassintegral Time

  • G. Malajovich
  • Computer Science, Mathematics
    Found. Comput. Math.
  • 2017
TLDR
A geometric algorithm is introduced in this paper: its complexity is bounded in the average and probability-one settings in terms of some geometric invariants: quermassintegrals associated with the tuple of convex hulls of the support of each polynomial.

Parallel implementation of the polyhedral homotopy method

  • J. VerscheldeYan Zhuang
  • Computer Science, Mathematics
    2006 International Conference on Parallel Processing Workshops (ICPPW'06)
  • 2006
TLDR
A static workload distribution algorithm is used and a good speedup is achieved on the cyclic n-roots benchmark systems and dynamic workload balancing leads to reduced wall times on large polynomial systems which arise in mechanism design.

Finding All Isolated Zeros of Polynomial Systems inCnvia Stable Mixed Volumes

TLDR
A new strategy using a single lifting is presented which quickly (and simultaneously) builds the stable mixed subdivision, the fine mixed subdivisions of thestable mixed cells, and the necessary subsystems.

Parallel implementation of polyhedral homotopy methods

TLDR
This thesis is the development of "parallel PHCpack", a project which started a couple of years ago developed by my advisor Jan Verschelde and his student Yusong Wang and which continues with Anton Leykin (parallel irreducible decomposition).

Mixed cell computation in Hom4PS-3

Counterexamples to the Connectivity Conjecture of the Mixed Cells

TLDR
It turns out that a positive confirmation of this conjecture can substantially speed up the algorithm for the ``dynamical lifting'' developed in [4], when the polyhedral method is used for solving polynomial systems by homotopy continuation methods.
...

References

SHOWING 1-10 OF 55 REFERENCES

Homotopies exploiting Newton polytopes for solving sparse polynomial systems

TLDR
The algorithm for computing the BKK bound for the number of isolated solutions of a polynomial system with a sparse monomial structure is described and the algorithmic construction of the cheater’s homotopy or the coefficienthomotopy is obtained.

Symmetrical Newton Polytopes for Solving Sparse Polynomial Systems

TLDR
This paper shows how the Lifting Algorithm, proposed by Huber and Sturmfels, can be applied to symmetric Newton polytopes and enables the efficient construction of the symmetric subdivision, giving rise to a symmetric homotopy.

Homotopies for Solving Polynomial Systems Within a Bounded Domain

A polyhedral method for solving sparse polynomial systems

TLDR
Mixed subdivisions of Newton polytopes are introduced, and they are applied to give a new proof and algorithm for Bernstein's theorem on the expected number of roots, which results in a numerical homotopy with the optimal number of paths to be followed.

Minkowski Addition of Polytopes: Computational Complexity and Applications to Gröbner Basis

TLDR
Using the Minkowski addition of Newton polytopes, the authors show that the following problem can be solved in polynomial time for any finite set of polynomials $\mathcal{T} \subset K [ x_1, \ldots,x_d ]$, where d is fixed.

Sparse elimination and applications in kinematics

TLDR
Two methods based on the sparse resultant are implemented for calculating the common roots and then applied to concrete problems in robotics, vision and molecular kinematics, illustrating the claim that problems from these areas often exhibit structure that can be exploited in the context of sparse elimination.

An Efficient Algorithm for the Sparse Mixed Resultant

TLDR
The algorithm is the first to present a determinantal formula for arbitrary systems; moreover, its complexity for unmixed systems is polynomial in the resultant degree.

An optimal condition for determining the exact number of roots of a polynomial system

TLDR
It is shown that the BKK bound is exact under much weaker assumptions: only coefficients corresponding to certain vertices of the Newton polytopes need be generic, which allows application of the BKR bound to many practical problems.

A product-decomposition bound for Bezout numbers

Most polynomial systems that arise in practice are not completely general but have special structures. A common form is that each equation must be a sum of products, where each factor has an
...