Non-degeneracy conjecture for connected regular matroids

Let MM be a matroid with rank rkM\operatorname{rk} M, Kazhdan–Lusztig polynomial PM(t)P_M(t), and lattice of flats L(M)L(M). Call MM non-degenerate if rkM=0\operatorname{rk} M=0 or

degPM(t)=rkM12.\deg P_M(t)=\left\lfloor\frac{\operatorname{rk} M-1}{2}\right\rfloor.

A matroid is regular if it is realizable over every field, and it is connected in the usual matroid-theoretic sense.

Non-degeneracy conjecture. Every connected regular matroid is non-degenerate.

Graphical matroids provide an interesting special case: a graphical matroid is regular, and it is connected exactly when its graph is 2-connected. The conjecture concerns when the degree bound for Kazhdan–Lusztig polynomials is attained.

Equivalent formulations 2

Other statements of this same problem, merged from separate entries. Each is equivalent to the statement above — proving any one settles them all.

  1. The non-degeneracy conjecture for connected regular matroids

    A matroid MM of rank rr is degenerate if the degree of its Kazhdan–Lusztig polynomial PM(t)P_M(t) is strictly less than

    r12.\left\lfloor \frac{r-1}{2} \right\rfloor.

    Non-degeneracy conjecture. Every connected regular matroid is non-degenerate. This conjecture concerns the degree of the Kazhdan–Lusztig polynomial for regular matroids; the source states that it is proved for modular matroids, while the general case remains open.

    source: Lorenzo Vecchi, “On matroid modularity and the coefficients of the inverse Kazhdan-Lusztig polynomial of a matroid”, arXiv:2103.08580 (2021).

  2. Non-degeneracy conjecture for connected regular matroids

    Let M\mathsf{M} be a matroid. It is connected if every pair of distinct ground-set elements lies in a common circuit, and it is regular if it is representable over every field. It is non-degenerate when its Kazhdan–Lusztig polynomial PM(t)P_\mathsf{M}(t) has degree

    rk(M)12.\left\lfloor\frac{\operatorname{rk}(\mathsf{M})-1}{2}\right\rfloor.

    Gedeon's non-degeneracy conjecture. Every connected regular matroid is non-degenerate. The conjecture remains open; the source emphasizes that regular matroids form a highly restrictive class, while the size of the representable-matroid class is asymptotically negligible.

    source: Luis Ferroni, George D. Nasr and Lorenzo Vecchi, “Stressed hyperplanes and Kazhdan-Lusztig gamma-positivity for matroids”, arXiv:2110.08869 (2022).

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.