rank-selected poset
Let $P$ be a graded poset of rank $n+1$ with rank function $\rho $. For any $S\subset \{0,1,\mathrm{\dots},n+1\}$ let ${P}_{S}$ denote the subset
$${P}_{S}=\{x\in P:\rho (x)\in S\}={\rho}^{-1}(S).$$ |
Each such subset inherits a poset structure^{} from $P$ as an induced poset. So we call ${P}_{S}$ the rank-selected poset of $P$ induced by $S$, or more briefly the $S$-rank-selected subposet of $P$.
The rank-selected posets of a poset $P$ can be used to define two special arithmetic invariants of $P$. First for each $S$, the alpha invariant ${\alpha}_{S}(P)$ is the number of saturated chains in ${P}_{S}$. Then define ${\beta}_{S}(P)$ by
$${\beta}_{S}(P)=\sum _{T\subset S}{(-1)}^{|S|-|T|}{\alpha}_{T}(P).$$ |
The invariant $\beta $ is called the rank-selected Möbius invariant of $P$.
For example, let $L$ be the face poset of a convex polytope $P$ of dimension $n$, including the special elements $\widehat{0}$ (representing the empty face) and $\widehat{1}$ (representing the interior of the polytope). For any $i\in \{0,\mathrm{\dots},n-1\}$, the alpha invariant ${\alpha}_{\{i+1\}}(L)$ counts the number of faces of $P$ of dimension $i$. For arbitrary $S\subset \{1,\mathrm{\dots},n\}$, the numbers ${\alpha}_{S}(L)$ are entries in the flag $f$-vector of $P$ and thus count flags of faces in $P$, while the ${\beta}_{S}(L)$ are entries in the flag $h$-vector of $P$.
While the alpha invariant is by construction always nonnegative, the Möbius invariant is not guaranteed to be nonnegative. Posets for which the Möbius invariant is always nonnegative (and therefore counts something) are of special interest to combinatorialists. In particular, the Möbius invariant is nonnegative for face posets of convex polytopes.
References
- 1 Stanley, R., Enumerative Combinatorics, vol. 1, 2nd ed., Cambridge University Press, Cambridge, 1996.
Title | rank-selected poset |
---|---|
Canonical name | RankselectedPoset |
Date of creation | 2013-03-22 16:23:43 |
Last modified on | 2013-03-22 16:23:43 |
Owner | mps (409) |
Last modified by | mps (409) |
Numerical id | 5 |
Author | mps (409) |
Entry type | Definition |
Classification | msc 06A11 |
Classification | msc 06A06 |
Defines | alpha invariant |
Defines | beta invariant |
Defines | rank-selected Möbius invariant |
Defines | rank-selected Mobius invariant |