Equidistribution of minimaj with inversion, major index, and diagonal inversion
Given an ordered set partition π∈OPn\pi\in\mathcal{OP}_nπ∈OPn, define its shape shape(π)\operatorname{shape}(\pi)shape(π) to be the composition whose iiith part is the size of the iiith block of π\piπ f…