Doikou’s conjecture on commutativity of shuffle elements

Let Hn(q)H_n(q) be the generic Iwahori--Hecke algebra of the symmetric group d504nd504_n with standard basis TwT_w indexed by w∈Snw\in \mathfrak{S}_n. For 1≤i≤n(n−1)21\leq i\leq \frac{n(n-1)}{2}, define the shuffle element Yn,i=∑w∈Snℓ(w)=iTw\mathscr{Y}_{n,i}=\sum_{\substack{w\in\mathfrak{S}_n\ell(w)=i}}T_w. Doikou's conjecture asserts that, for every n≥2n\geq 2 and all admissible i,ji,j, the shuffle elements commute: [Yn,i,Yn,j]=0[\mathscr{Y}_{n,i},\mathscr{Y}_{n,j}]=0; equivalently, Yn,iYn,j=Yn,jYn,i\mathscr{Y}_{n,i}\mathscr{Y}_{n,j}=\mathscr{Y}_{n,j}\mathscr{Y}_{n,i} whenever 1≤i,j≤n(n−1)21\leq i,j\leq \frac{n(n-1)}{2}.

References

Primary source

arXiv

Additional references

Progress summary

Refreshed
Claimed solved

A preprint claims the conjecture is false because two of the simplest shuffle elements do not commute, but this has not been independently checked.

Doikou’s conjecture concerns whether shuffle elements commute. The latest report says this fails already at the first nontrivial ranks.

September 10, 2026 preprint claim

Deke Zhao’s preprint Remarks on the shuffle elements of Iwahori--Hecke algebras claims a direct noncommutativity result for two low-length shuffle elements. This contradicts the conjecture and gives a counterexample at the first nontrivial ranks; the claim is not independently confirmed in the supplied evidence.

Current status (as of September 2026): The conjecture is claimed false by Zhao’s preprint, but the counterexample remains unverified.

Sources

Solutions 0

No solutions have been posted yet.