The general sweep-map bijectivity conjecture

At least 11 years old · documented by

Let A=x1,…,xk}A=x_1,\ldots,x_k\} be an alphabet and wt⁡:A→Z\operatorname{wt}:A\rightarrow\mathbb{Z} a weight function. For nonnegative integers n1,…,nkn_1,\ldots,n_k, let Rword(x1n1⋯xknk)\mathcal{R}^{\mathrm{word}}(x_1^{n_1}\cdots x_k^{n_k}) be the words with the prescribed multiplicities, and let Dwt⁡word(x1n1⋯xknk)\mathcal{D}^{\mathrm{word}}_{\operatorname{wt}}(x_1^{n_1}\cdots x_k^{n_k}) be those words whose levels relative to wt⁡\operatorname{wt} are all nonnegative. Sweep-map bijectivity conjecture. The map sw⁡wt⁡\operatorname{sw}_{\operatorname{wt}} maps each of these two sets bijectively to itself. This asserts that the general sweep map preserves both content and the nonnegative-level condition.

References

Primary source

Drew Armstrong, Nicholas A. Loehr and Gregory S. Warrington, “Sweep maps: A continuous family of sorting algorithms”, arXiv:1406.1196 (2014).

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.