The symmetry conjecture for the rational combinatorial Hilbert series

At least 11 years old · documented by

Let mm and nn be positive integers, let S~nm\widetilde{S}_n^m be the set of mm-stable affine permutations, and define the statistics

area⁡(ω):=(m−1)(n−1)2−∑iA⁡ω(i),dinv⁡(ω):=(m−1)(n−1)2−∑iPS⁡ω(i).\operatorname{area}(\omega):=\frac{(m-1)(n-1)}{2}-\sum_i\operatorname{\mathcal{A}}_\omega(i),\qquad \operatorname{dinv}(\omega):=\frac{(m-1)(n-1)}{2}-\sum_i\operatorname{\mathcal{PS}}_\omega(i).

Define the combinatorial Hilbert series by

Hm/n(q,t):=∑ω∈S~nmqarea⁡(ω)tdinv⁡(ω).H_{m/n}(q,t):=\sum_{\omega\in\widetilde{S}_n^m}q^{\operatorname{area}(\omega)}t^{\operatorname{dinv}(\omega)}.

The combinatorial Hilbert-series symmetry conjecture. The series is symmetric in qq and tt for all mm and nn:

Hm/n(q,t)=Hm/n(t,q).H_{m/n}(q,t)=H_{m/n}(t,q).

The claim is presented as a conjecture and is related to the rational-slope generalization of the q,tq,t-Catalan symmetry problem; the source does not give a resolution for all m,nm,n.

References

Primary source

Eugene Gorsky, Mikhail Mazin and Monica Vazirani, “Affine permutations and rational slope parking functions”, arXiv:1403.0303 (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.