In algebra, a multivariate polynomial
f ( x ) = ∑ α a α x α , where α = ( i 1 , … , i r ) ∈ N r , and x α = x 1 i 1 ⋯ x r i r , {\displaystyle f(x)=\sum _{\alpha }a_{\alpha }x^{\alpha }{\text{, where }}\alpha =(i_{1},\dots ,i_{r})\in \mathbb {N} ^{r}{\text{, and }}x^{\alpha }=x_{1}^{i_{1}}\cdots x_{r}^{i_{r}},}
is quasi-homogeneous or weighted homogeneous, if there exist r integers w 1 , … , w r {\displaystyle w_{1},\ldots ,w_{r}} , called weights of the variables, such that the sum w = w 1 i 1 + ⋯ + w r i r {\displaystyle w=w_{1}i_{1}+\cdots +w_{r}i_{r}} is the same for all nonzero terms of f. This sum w is the weight or the degree of the polynomial. The term quasi-homogeneous comes from the fact that a polynomial f is quasi-homogeneous if and only if
f ( λ w 1 x 1 , … , λ w r x r ) = λ w f ( x 1 , … , x r ) {\displaystyle f(\lambda ^{w_{1}}x_{1},\ldots ,\lambda ^{w_{r}}x_{r})=\lambda ^{w}f(x_{1},\ldots ,x_{r})}
for every λ {\displaystyle \lambda } in any field containing the coefficients. A polynomial f ( x 1 , … , x n ) {\displaystyle f(x_{1},\ldots ,x_{n})} is quasi-homogeneous with weights w 1 , … , w r {\displaystyle w_{1},\ldots ,w_{r}} if and only if
f ( y 1 w 1 , … , y n w n ) {\displaystyle f(y_{1}^{w_{1}},\ldots ,y_{n}^{w_{n}})}
is a homogeneous polynomial in the y i {\displaystyle y_{i}} . In particular, a homogeneous polynomial is always quasi-homogeneous, with all weights equal to 1. A polynomial is quasi-homogeneous if and only if all the α {\displaystyle \alpha } belong to the same affine hyperplane. As the Newton polytope of the polynomial is the convex hull of the set { α ∣ a α ≠ 0 } , {\displaystyle \{\alpha \mid a_{\alpha }\neq 0\},} the quasi-homogeneous polynomials may also be defined as the polynomials that have a degenerate Newton polytope (here "degenerate" means "contained in some affine hyperplane").
Introduction Consider the polynomial f ( x , y ) = 5 x 3 y 3 + x y 9 − 2 y 12 {\displaystyle f(x,y)=5x^{3}y^{3}+xy^{9}-2y^{12}} , which is not homogeneous. However, if instead of considering f ( λ x , λ y ) {\displaystyle f(\lambda x,\lambda y)} we use the pair ( λ 3 , λ ) {\displaystyle (\lambda ^{3},\lambda )} to test homogeneity, then
… excerpt ends here. Continue reading the full article.
