Symmetric equidistribution conjecture for inversion-sequence statistics

Let In\mathcal{I}_n be the set of inversion sequences of length nn, let Sn\mathfrak{S}_n be the symmetric group, and let b:SnInb:\mathfrak{S}_n\to\mathcal{I}_n be the bijection due to Baril and Vajnovszki. Let asc\mathsf{asc}, rep\mathsf{rep}, zero\mathsf{zero}, max\mathsf{\max}, and rmin\mathsf{rmin} be statistics on inversion sequences, and let des\mathsf{des}, iasc\mathsf{iasc}, lmax\mathsf{lmax}, lmin\mathsf{lmin}, and rmax\mathsf{rmax} be the corresponding statistics on permutations. Symmetric equidistribution conjecture. There is a bijection mathitΩ:InInmathit{\Omega}:\mathcal{I}_n\to\mathcal{I}_n such that, for all sIns\in\mathcal{I}_n,

(asc,rep,zero,max,rmin)s=(asc,rep,zero,rmin,max)Ω(s).(\mathsf{asc},\mathsf{rep},\mathsf{zero},\mathsf{\max},\mathsf{rmin})s =(\mathsf{asc},\mathsf{rep},\mathsf{zero},\mathsf{rmin},\mathsf{\max})\Omega(s).

Consequently, for all mathitπ\inmathfrakSnmathit{\pi}\inmathfrak{S}_n,

(des,iasc,lmax,lmin,rmax)π=(des,iasc,lmax,rmax,lmin)(b1Ωb)(π).(\mathsf{des},\mathsf{iasc},\mathsf{lmax},\mathsf{lmin},\mathsf{rmax})\pi =(\mathsf{des},\mathsf{iasc},\mathsf{lmax},\mathsf{rmax},\mathsf{lmin})(b^{-1}\circ\Omega\circ b)(\pi).

The conjecture is the inversion-sequence analogue of the established symmetric equidistribution for ascent sequences. Its permutation formulation follows formally from the asserted bijection and the Baril–Vajnovszki bijection, but the existence of mathitΩmathit{\Omega} remains open in the supplied source.

Sources & referencesView supporting material

Primary source

Emma Yu Jin and Michael J. Schlosser, “Proof of a bi-symmetric septuple equidistribution on ascent sequences”, arXiv:2010.01435 (2020).

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.