The general sweep-map bijectivity conjecture

Let A=x1,,xk}A=x_1,\ldots,x_k\} be an alphabet and wt:AZ\operatorname{wt}:A\rightarrow\mathbb{Z} a weight function. For nonnegative integers n1,,nkn_1,\ldots,n_k, let Rword(x1n1xknk)\mathcal{R}^{\mathrm{word}}(x_1^{n_1}\cdots x_k^{n_k}) be the words with the prescribed multiplicities, and let Dwtword(x1n1xknk)\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 swwt\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.

Sources & referencesView supporting material

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.