arXiv++ Combinatorics

An ordered triple $(s,p,n)$ is called admissible if there exist two different multisets $X=\{x_1,x_2,\dotsc,x_n\}$ and $Y=\{y_1,y_2,\dotsc,y_n\}$ such that $X$ and $Y$ share the same sum $s$, the same product $p$, and the same size $n$. We first count the number of $n$ such that $(s,p,n)$ are admissible for a fixed $s$. We also fully characterize the values $p$ such that $(s,p,n)$ is admissible. Finally, we consider the situation where $r$ different multisets are needed, instead of just two. This project is also related to John Conway's wizard puzzle from the 1960s.

We establish strict growth for the rank function of an r-differential poset. We do so by exploiting the representation theoretic techniques developed by Reiner and the author for studying related Smith forms.

Ehrenborg and Jung recently related the order complex for the lattice of d-divisible partitions with the simplicial complex of pointed ordered set partitions via a homotopy equivalence. The latter has top homology naturally identified as a Specht module. Their work unifies that of Calderbank, Hanlon, Robinson, and Wachs. By focusing on the underlying geometry, we strengthen and extend these results from type A to all real reflection groups and the complex reflection groups known as Shephard groups.

We conjecture a strong property for the up and down maps U and D in an r-differential poset: DU+tI and UD+tI have Smith normal forms over Z[t]. In particular, this would determine the integral structure of the maps U, D, UD, DU, including their ranks in any characteristic. As evidence, we prove the conjecture for the Young-Fibonacci lattice YF studied by Okada and its r-differential generalizations Z(r), as well as verifying many of its consequences for Young's lattice Y and the r-differential Cartesian products Y^r.