Stanley's Problem 4 on Differential Posets
Prior state unknown→disproved
For a differential poset $P$, must the weighted $2$-multichain series $M_{P,2}(q)$ be a rational multiple of $F_P(q)^2$, the square of its rank generating series?
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review