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

About 7 years old · traced to

Let WW be a Coxeter group with identity element ee, let w∈Ww\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.

References

Primary source

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

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.