Newton polytope

From HandWiki

In mathematics, the Newton polytope is an integral polytope associated with a multivariate polynomial that can be used in the asymptotic analysis of those polynomials. It is a generalization of the Kruskal–Newton diagram developed for the analysis of bivariant polynomials.

Given a vector 𝐱=(x1,,xn) of variables and a finite family (𝐚k)k of pairwise distinct vectors from n each encoding the exponents within a monomial, consider the multivariate polynomial

f(𝐱)=kck𝐱𝐚k

where we use the shorthand notation (x1,,xn)(y1,,yn) for the monomial x1y1x2y2xnyn. Then the Newton polytope associated to f is the convex hull of the vectors 𝐚k; that is

Newt(f)={kαk𝐚k:kαk=1&jαj0}.

In order to make this well-defined, we assume that all coefficients ck are non-zero. The Newton polytope satisfies the following homomorphism-type property: Newt(fg)=Newt(f)+Newt(g) where the addition is in the sense of Minkowski.

Newton polytopes are the central object of study in tropical geometry and characterize the Gröbner bases for an ideal.

See also

Sources