Classify commutativity of shuffle elements for almost all index pairs

Determine whether, for sufficiently large \(n\), the shuffle elements \(\mathscr{Y}_{n,i}\) and \(\mathscr{Y}_{n,j}\) are noncommutative for almost all distinct pairs \(1\leq i,j\leq \binom{n}{2}\), and prove or refute the proposed monotonicity that noncommutativity of \(\mathscr{Y}_{n,i}\) and \(\mathscr{Y}_{n,j}\) implies noncommutativity of \(\mathscr{Y}_{n+1,i}\) and \(\mathscr{Y}_{n+1,j}\).

Background

The paper disproves the previously proposed universal commutativity claim by proving that Yn,1\mathscr{Y}_{n,1} and Yn,2\mathscr{Y}_{n,2} do not commute for every n4n\geq4. It also gives examples of both commuting and noncommuting pairs for small values of nn. The authors then formulate a broader unresolved conjectural pattern concerning the prevalence and persistence of noncommutativity among pairs of shuffle elements as the rank increases.

References

Based on the above calculations, it is reasonable to suspect that for almost all 1 \leq i\neq j\leq \frac{n(n-1)}{2}, \mathscr{Y}{n,i} and \mathscr{Y}{n,j} are noncommutative when n is large enough. In particular, we believe that if \mathscr{Y}{n,i} and \mathscr{Y}{n,j} are noncommutative, then \mathscr{Y}{n+1,i} and \mathscr{Y}{n+1,j} are noncommutative.

Remarks on the shuffle elements of Iwahori--Hecke algebras  (2609.11345 - Zhao, 10 Sep 2026) in Remark 2.14, Remark labeled Remark:Almost-all