Orthogonal Sagan–Worley insertion conjecture for orthogonal Knuth operators

Let a=a1a2ana=a_1a_2\cdots a_n be a primed word, let iZi\in\mathbb{Z}, and let okni\mathsf{okn}_i be the orthogonal Knuth operator defined on primed words. Let PSWO(a)P^\mathsf{O}_{\textsf{SW}}(a) and QSWO(a)Q^\mathsf{O}_{\textsf{SW}}(a) denote the insertion and recording tableaux under orthogonal Sagan–Worley insertion, and let di\mathfrak{d}_i denote the corresponding dual-equivalence operation on recording tableaux.

Orthogonal Sagan–Worley insertion conjecture. For every iZi\in\mathbb{Z},

PSWO(okni(a))=PSWO(a)P^\mathsf{O}_{\textsf{SW}}(\mathsf{okn}_i(a))=P^\mathsf{O}_{\textsf{SW}}(a)

and

QSWO(okni(a))=di(QSWO(a)).Q^\mathsf{O}_{\textsf{SW}}(\mathsf{okn}_i(a))=\mathfrak{d}_i(Q^\mathsf{O}_{\textsf{SW}}(a)).

These identities are immediate for i{1,0}i\in\{-1,0\}, while the case 1i(a)21\leq i\in\ell(a)-2 is the difficult one. If true, the conjecture would imply that two primed words are related by the transitive closure of the orthogonal Knuth relations exactly when they have the same orthogonal Sagan–Worley insertion tableau.

Sources & referencesView supporting material

Primary source

Eric Marberg, “Shifted insertion algorithms for primed words”, arXiv:2104.11437 (2023).

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.