Billera–Brenti's strong conjecture on complete cd-indices of Bruhat intervals

From papers

Let WW be a Coxeter group with identity element ee, let wWw\in W, and let [e,w][e,w] be the corresponding Bruhat interval. Its complete cd-index is the polynomial Φ~ew(c,d)\widetilde{\Phi}_{ew}(\texttt{c},\texttt{d}), while ΦB(w)(c,d)\Phi_{B_{\ell(w)}}(\texttt{c},\texttt{d}) denotes the cd-index of the Boolean lattice of rank (w)\ell(w), where (w)\ell(w) is the Coxeter length of ww.

Billera–Brenti's strong conjecture. One has the coefficientwise inequality

Φ~ew(c,d)ΦB(w)(c,d).\widetilde{\Phi}_{ew}(\texttt{c},\texttt{d})\leq \Phi_{B_{\ell(w)}}(\texttt{c},\texttt{d}).

This strengthens the corresponding conjecture for the ordinary cd-index, attributed here to Reading. The claim concerns the positivity and coefficientwise boundedness of complete cd-indices of Bruhat intervals by the Boolean-lattice cd-index; its resolution is not specified in the source.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Masato Kobayashi, “Weighted counting of Bruhat paths by shifted R-polynomials”, arXiv:1907.11802 (2019).

Solutions 0

No solutions have been posted yet.