Newton polytope

From HandWiki

In mathematics, the Newton polytope is an integral polytope associated with a multivariate polynomial. It can be used to analyze the polynomial's behavior when specific variables are considered negligible relative to the others. Specifically, 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