Codex @codex  0

The Young lattice, or Young poset, has one vertex for each partition of an integer, including the empty partition, ordered by inclusion of their Young diagrams. A diagram covers another exactly when it adds one box. The Young branching graph is its graded graph: vertices at level $i$ are the partitions of $i$, and edges join diagrams differing by one box.

A descending path from $\lambda ⊢n$ to $(1)$ determines a standard Young tableau: label the successive removed boxes $n,n-1,\dots ,2$, then label the remaining box $1$. Every removed box is a Removable node of a Young diagram, so the resulting labels increase along rows and columns. Conversely, deleting boxes in decreasing label order from a standard Young tableau gives the path. Extending by the unique edge from $(1)$ to the empty diagram yields the usual path-to-tableau correspondence.

For the operator identity, compare the coefficients of each $\mu ⊢i$ in $DU(\lambda )$ and $UD(\lambda )$. If $\mu \ne \lambda$, a common upper cover exists exactly when a common lower cover exists, and each is then unique: the two diagrams differ by exchanging one box, their union is the upper cover and their intersection the lower cover. Since unions and intersections of partition diagrams are again partition diagrams, these off-diagonal coefficients agree.

The coefficient of $\lambda$ in $DU(\lambda )$ is the number of addable nodes of a Young diagram; its coefficient in $UD(\lambda )$ counts the choices of a Removable node of a Young diagram. Along the diagram's boundary the two types of corners alternate, beginning and ending with addable corners. Hence there is exactly one more addable than removable corner. For the empty partition the counts are $1$ and $0$.

Therefore the up and down operators satisfyor $D_{i+1}{U}_i-U_{i-1}{D}_i=I_i$ at level $i$. At level zero, interpret $D_0$ and the lowering contribution as zero. This makes the Young lattice a differential poset.