The upper-ledge containment conjecture

Let Π\Pi be the set of pairs of partitions, let iZ2i\in\mathbb{Z}_2, and let Xi:ΠUL\mathcal{X}_i:\Pi\rightarrow\mathcal{UL} be the associated map to upper ledge diagrams. If π,π~Π\pi,\tilde{\pi}\in\Pi and π~\tilde{\pi} is obtained by deleting the last row of one component of π\pi, then upper-ledge containment conjecture.

Xi(π~)Xi(π).\mathcal{X}_i(\tilde{\pi})\subseteq\mathcal{X}_i(\pi).

The paper states this as a consequence that would follow from the preceding partition-containment conjecture, linking multipartition operations to upper-ledge crystal combinatorics.

Sources & referencesView supporting material

Primary source

Samantha Allen, Jack Isaac, Corinne Moscariello, Robert Muth, Bella Deborah Uwase and Lucas Walton, “Kleshchev multipartitions, affine Mirković-Vilonen polytopes, and representations of KLR algebras in type A^(1)_1”, arXiv:2606.00421 (2026).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.