Bi-symmetric quadruple equidistribution on ascent sequences

At least 6 years old · documented by

Let An\mathcal{A}_n be the set of ascent sequences of length nn, and let asc\mathsf{asc}, rep\mathsf{rep}, zero\mathsf{zero}, and max⁡\mathsf{\max} denote the corresponding Euler–Stirling statistics. Bi-symmetric quadruple equidistribution. For each noindent≥1n oindent\geq1,

∑s∈Anuasc(s)xrep(s)zzero(s)ymax⁡(s)=∑s∈Anurep(s)xasc(s)zmax⁡(s)yzero(s).\sum_{s\in\mathcal{A}_n} u^{\mathsf{asc}(s)}x^{\mathsf{rep}(s)}z^{\mathsf{zero}(s)}y^{\mathsf{\max}(s)} = \sum_{s\in\mathcal{A}_n} u^{\mathsf{rep}(s)}x^{\mathsf{asc}(s)}z^{\mathsf{\max}(s)}y^{\mathsf{zero}(s)}.

This is a conjectured strengthening of known symmetric distributions of ascent and repetition statistics on ascent sequences; it is supported by experimental data, while the stated equidistribution remains to be proved.

References

Primary source

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

Additional references

2 papers in this index state this conjecture (2019–2020). The statement above is taken from the most recent of them; the others are arXiv:1909.07277.

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.