The order polynomial is a polynomial studied in mathematics, in particular in algebraic graph theory and algebraic combinatorics. The order polynomial counts the number of order-preserving maps from a poset to a chain of length n {\displaystyle n} . These order-preserving maps were first introduced by Richard P. Stanley while studying ordered structures and partitions as a Ph.D. student at Harvard University in 1971 under the guidance of Gian-Carlo Rota.
Definition Let P {\displaystyle P} be a finite poset with p {\displaystyle p} elements denoted x , y ∈ P {\displaystyle x,y\in P} , and let [ n ] = { 1 < 2 < … < n } {\displaystyle [n]=\{1<2<\ldots <n\}} be a chain with n {\displaystyle n} elements. A map ϕ : P → [ n ] {\displaystyle \phi :P\to [n]} is order-preserving if x ≤ y {\displaystyle x\leq y} implies ϕ ( x ) ≤ ϕ ( y ) {\displaystyle \phi (x)\leq \phi (y)} . The number of such maps grows polynomially with n {\displaystyle n} , and the function that counts their number is the order polynomial Ω ( n ) = Ω ( P , n ) {\displaystyle \Omega (n)=\Omega (P,n)} . Similarly, we can define an order polynomial that counts the number of strictly order-preserving maps ϕ : P → [ n ] {\displaystyle \phi :P\to [n]} , meaning x < y {\displaystyle x<y} implies ϕ ( x ) < ϕ ( y ) {\displaystyle \phi (x)<\phi (y)} . The number of such maps is the strict order polynomial Ω ∘ ( n ) = Ω ∘ ( P , n ) {\displaystyle \Omega ^{\circ }\!(n)=\Omega ^{\circ }\!(P,n)} . Both Ω ( n ) {\displaystyle \Omega (n)} and Ω ∘ ( n ) {\displaystyle \Omega ^{\circ }\!(n)} have degree p {\displaystyle p} . The order-preserving maps generalize the linear extensions of P {\displaystyle P} , the order-preserving bijections ϕ : P ⟶ ∼ [ p ] {\displaystyle \phi :P{\stackrel {\sim }{\longrightarrow }}[p]} . In fact, the leading coefficient of Ω ( n ) {\displaystyle \Omega (n)} and Ω ∘ ( n ) {\displaystyle \Omega ^{\circ }\!(n)} is the number of linear extensions divided by p ! {\displaystyle p!} .
… excerpt ends here. Continue reading the full article.
