Interlacing conjecture for Kazhdan–Lusztig polynomials of matroids

Let MM be a matroid of positive rank, let ee be an element of its ground set, and let M/eM/e be the contraction of MM at ee. Define

QM(t):=trkM1PM(t2),Q_M(t):=t^{\operatorname{rk} M-1}P_M(-t^{-2}),

where PM(t)P_M(t) is the Kazhdan–Lusztig polynomial of MM. Say that a polynomial f(t)f(t) interlaces a polynomial g(t)g(t) when both are real rooted and their roots alternate, starting with the smallest root of f(t)f(t). A matroid is non-degenerate if its Kazhdan–Lusztig polynomial has the maximal degree allowed by its rank.

Interlacing conjecture. If MM and M/eM/e are both non-degenerate, then QM(t)Q_M(t) interlaces QM/e(t)Q_{M/e}(t).

If the real-rootedness conjecture holds, the roots of QM(t)Q_M(t) are real and symmetric about the origin. In odd rank the claim is equivalent to interlacing of PM(t)P_M(t) and PM/e(t)P_{M/e}(t); in even rank it is equivalent to interlacing of tPM/e(t)tP_{M/e}(t) and PM(t)P_M(t).

Sources & referencesView supporting material

Primary source

Katie Gedeon, Nicholas Proudfoot and Benjamin Young, “Kazhdan-Lusztig polynomials of matroids: a survey of results and conjectures”, arXiv:1611.07474 (2017).

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.