Criteria for strict monotonicity of the mixed volume of convex polytopes

DOI10.1515/ADVGEOM-2018-0024MaRDI QIDQ2334550zbMATH OpenOpenAlexWikidataFDO

Authors Ivan Soprunov, Frédéric Bihan

Publication date 7 November 2019

Published in advg (Search for Journal in Brave)

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

zbMATH Keywords

mixed volumeNewton polytopeBKK boundsparse polynomial systemBrunn-Minkowsky theory

Mathematics Subject Classification ID

Toric varieties, Newton polyhedra, Okounkov bodies (14M25) Lattice polytopes in convex geometry (including relations with commutative algebra and algebraic geometry) (52B20) Mixed volumes and related topics in convex geometry (52A39) Solving polynomial systems; resultants (13P15)

Abstract: Let $P_1,dots,P_n$ and $Q_1,dots,Q_n$ be convex polytopes in $mathbb{R}^n$ such that $P_{i}subset{Q}_i$. It is well-known that the mixed volume has the monotonicity property: $V(P_1,dots,P_n)leqV(Q_1,dots,Q_n)$. We give two criteria for when this inequality is strict in terms of essential collections of faces as well as mixed polyhedral subdivisions. This geometric result allows us to characterize sparse polynomial systems with Newton polytopes $P_1,dots,P_n$ whose number of isolated solutions equals the normalized volume of the convex hull of $P_{1}cupdotscup{P}_n$. In addition, we obtain an analog of Cramer's rule for sparse polynomial systems.

Recommendations

• Unmixing the mixed volume computation
• Volume of convex polytopes equals mixed volume of simplices
• Theoretical aspects of mixed volume computation via mixed subdivision
• Mixed volumes of polytopes
• On the Newton polytope of the resultant

Cites work

• A Polyhedral Method for Solving Sparse Polynomial Systems
• A convex geometric approach to counting the roots of a polynomial system
• Bézout inequality for mixed volumes
• Convex Bodies The Brunn-MinkowskiTheory
• Intersection multiplicity numbers between tropical hypersurfaces
• Newton polyhedra and the genus of complete intersections
• On the Newton polytope of the resultant
• Systems of equations with a single solution
• The Cayley trick, lifting subdivisions and the Bohne-Dress theorem on zonotopal tilings
• The number of roots of a system of equations
• Unmixing the mixed volume computation
• Using Algebraic Geometry

Cited in

(6)

• Unmixing the mixed volume computation
• The Maximum Likelihood Degree of Sparse Polynomial Systems
• Dimension results for extremal-generic polynomial systems over complete toric varieties
• Polyhedra of small relative mixed volume
• Mixed volume of small reaction networks
• Curve valuations and mixed volumes in the implicitization of rational varieties

Describes a project that uses

Uses Software

• libtropicana

This page was built for publication: Criteria for strict monotonicity of the mixed volume of convex polytopes

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