Newton polytope

From HandWiki
Revision as of 22:44, 6 February 2024 by Dennis Ross (talk | contribs) (link)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

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 [math]\displaystyle{ \mathbf{x}=(x_1,\ldots,x_n) }[/math] of variables and a finite family [math]\displaystyle{ (\mathbf{a}_k)_k }[/math] of pairwise distinct vectors from [math]\displaystyle{ \mathbb{N}^n }[/math] each encoding the exponents within a monomial, consider the multivariate polynomial

[math]\displaystyle{ f(\mathbf{x})=\sum_k c_k\mathbf{x}^{\mathbf{a}_k} }[/math]

where we use the shorthand notation [math]\displaystyle{ (x_1,\ldots,x_n)^{(y_1,\ldots,y_n)} }[/math] for the monomial [math]\displaystyle{ x_1^{y_1}x_2^{y_2}\cdots x_n^{y_n} }[/math]. Then the Newton polytope associated to [math]\displaystyle{ f }[/math] is the convex hull of the vectors [math]\displaystyle{ \mathbf{a}_k }[/math]; that is

[math]\displaystyle{ \operatorname{Newt}(f)=\left\{\sum_k \alpha_k\mathbf{a}_k :\sum_k \alpha_k =1\;\&\;\forall j\,\,\alpha_j\geq0\right\}\!. }[/math]

In order to make this well-defined, we assume that all coefficients [math]\displaystyle{ c_k }[/math] are non-zero. The Newton polytope satisfies the following homomorphism-type property:

[math]\displaystyle{ \operatorname{Newt}(fg)=\operatorname{Newt}(f)+\operatorname{Newt}(g) }[/math]

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

External links