Whirling homomesy conjecture for m-surjections

At least 8 years old · documented by

Let [n]={1,2,…,n}[n]=\{1,2,\dots,n\} and [k]={1,2,…,k}[k]=\{1,2,\dots,k\}. Let Sur⁡m(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)=#f−1({j})\eta_j(f)=\#f^{-1}(\{j\}). Whirling homomesy conjecture. Let F=Sur⁡m(n,k)\mathcal{F}=\operatorname{Sur}_m(n,k) for m,n,k∈Pm,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.

References

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.