# 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}
}
• Published 1996
• Mathematics
• Discrete & Computational Geometry
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

• Computer Science
• 1997
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

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.

### Computing Mixed Volume and All Mixed Cells in Quermassintegral Time

• G. Malajovich
• Computer Science, Mathematics
Found. Comput. Math.
• 2017
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

• Computer Science, Mathematics
2006 International Conference on Parallel Processing Workshops (ICPPW'06)
• 2006
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

• Mathematics
J. Symb. Comput.
• 1999
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

• Computer Science
• 2007
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).

### Counterexamples to the Connectivity Conjecture of the Mixed Cells

• Mathematics
Discret. Comput. Geom.
• 1998
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

• Mathematics, Computer Science
• 1994
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

• Mathematics, Computer Science
• 1995
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.

### A polyhedral method for solving sparse polynomial systems

• Mathematics, Computer Science
• 1995
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

• Mathematics
SIAM J. Discret. Math.
• 1992
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

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

• Mathematics, Computer Science
AAECC
• 1993
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

• Mathematics, Computer Science
ISSAC '91
• 1991
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

• Mathematics
• 1995
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