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

BKK boundBrunn-Minkowsky theorymixed volumeNewton polytopesparse polynomial system

Mathematics Subject Classification ID

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

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.

Review text

Mixed volume is a non-strictly monotone functional. The paper gives two criteria for when the monotonicity is strict. Two algebraic corollaries are presented.

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 convex geometric approach to counting the roots of a polynomial system
• A Polyhedral Method for Solving Sparse Polynomial Systems
• 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

(7)

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

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)