Möbius-function values for dominant-composition posets
Prove that, for every partition with repeated elements, the Möbius function of the dominant-composition poset associated with an arborescent poset and its consistent anti-linearization takes only the values −1, 0, and 1.
References
Conjecture 2.44. The M¨obius function μDS(λ)(-, -) on the poset DS(λ) takes values in the set {−1, 0, 1}.
— Bubble sort and Howe duality for staircase matrices
(2502.21184 - Khoroshkin et al., 28 Feb 2025) in Conjecture 2.44, Section 2.4.2, p. 23