Reiner–Tenner–Yong's Fomin–Kirilov polynomial ratio conjecture

Let ww be a dominant permutation, meaning a 132-avoiding permutation, whose Lehmer code λ=(c1(w),,cn(w))\lambda=(c_1(w),\ldots,c_n(w)) is the rectangular staircase shape λ=δd(ba)\lambda=\delta_d(b^a), where δd=(d1,d2,,1)\delta_d=(d-1,d-2,\ldots,1) and δd(ba)\delta_d(b^a) is obtained by replacing each square by an a×ba\times b rectangle. Let (w)\ell(w) denote the length of ww, and let FK(w,)FK(w,\ell) be the polynomial defined by summing (x+i1)(x+i)(x+i_1)\cdots(x+i_\ell) over all 0-Hecke words (si1,,si)(s_{i_1},\ldots,s_{i_\ell}) of ww of length \ell. Reiner, Tenner and Yong's equivalent conjecture.

FK(w,(w)+1)FK(w,(w))=((w)+12)(4xd(a+b)+1).\frac{FK(w,\ell(w)+1)}{FK(w,\ell(w))}=\binom{\ell(w)+1}{2}\left(\frac{4x}{d(a+b)}+1\right).

The source states that this assertion is equivalent to the barely set-valued tableau enumeration conjecture above. Since that conjecture is proved in the paper, this equivalent formulation is solved as well.

Sources & referencesView supporting material

Primary source

Neil J. Y. Fan, Peter L. Guo and Sophie C. C. Sun, “Proof of a Conjecture of Reiner-Tenner-Yong on Barely Set-valued Tableaux”, arXiv:1807.08292 (2018).

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.