Whirling homomesy conjecture for m-surjections

Let [n]={1,2,,n}[n]=\{1,2,\dots,n\} and [k]={1,2,,k}[k]=\{1,2,\dots,k\}. Let Surm(n,k)\operatorname{Sur}_m(n,k) denote the family of functions from [n][n] to [k][k] in which every element of [k][k] occurs exactly mm times, and let w\mathbf{w} be the whirling map acting on this family. For j[k]j\in[k], define ηj(f)=#f1({j})\eta_j(f)=\#f^{-1}(\{j\}). Whirling homomesy conjecture. Let F=Surm(n,k)\mathcal{F}=\operatorname{Sur}_m(n,k) for m,n,kPm,n,k\in\mathbb{P}. Under the action of w\mathbf{w} on F\mathcal{F}, ηj\eta_j is nk\frac{n}{k}-mesic for any j[k]j\in[k]. This extends the preceding theorem from injections and 1-surjections to general mm-surjections; the source provides no resolution, so the conjecture remains open.

Sources & referencesView supporting material

Primary source

Michael Joseph, James Propp and Tom Roby, “Whirling injections, surjections, and other functions between finite sets”, arXiv:1711.02411 (2025).

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.