No broken diamond in hexagon conjecture for modified crystal operator paths

Let Sλ,μS_{\lambda,\mu} be the set of Kostant partitions under consideration, and let kik_i and ki+1k_{i+1} be the positive integers associated with αSλ,μ\boldsymbol\alpha\in S_{\lambda,\mu} as in Definition~. Suppose that the modified crystal operators ϕi\phi_i and ϕi+1\phi_{i+1} are both non-zero on α\boldsymbol\alpha. Define the paths

Ei:=eiki+1ei+1ki+ki+1eiki(α),E_i:=e_i^{k_{i+1}}e_{i+1}^{k_i+k_{i+1}}e_i^{k_i}(\boldsymbol\alpha),

and

Ei+1:=ei+1kieiki+ki+1ei+1ki+1(α).E_{i+1}:=e_{i+1}^{k_i}e_i^{k_i+k_{i+1}}e_{i+1}^{k_{i+1}}(\boldsymbol\alpha).

No broken diamond in hexagon conjecture. The paths EiE_i and Ei+1E_{i+1} in the graph induced by the modified crystal operators do not contain any edges that give way to Stembridge Exception BD\rm{BD}. This conjecture is the condition used to establish the stated braid relations for the modified operators; the source reports that it is supported by computer testing, but gives no proof or resolution.

Sources & referencesView supporting material

Primary source

Cédric Lecouvey, Cristian Lenart and Adam Schultze, “Towards a Combinatorial Model for q-weight Multiplicities of Simple Lie Algebras (Extended Abstract)”, arXiv:2110.15394 (2022).

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.