A weak Lehmer code for type $F_4$

Paolo Sentinelli, Andrea Zatti

We provide an algorithm to construct a multicomplex for any lower Bruhat interval of $F_4$, such that its rank--generating function equals that of the Bruhat interval. For Weyl gro…