Gedeon's dominance conjecture for matroid Kazhdan--Lusztig and Z-polynomials

At least 3 years old · documented by

Let M\mathsf{M} be a loopless matroid of rank kk on a ground set of size nn. Let Uk,n\mathsf{U}_{k,n} be the uniform matroid of rank kk on nn elements, and write A(x)⪯B(x)A(x)\preceq B(x) when B(x)−A(x)B(x)-A(x) has nonnegative coefficients. Gedeon's dominance conjecture. The inequalities

PM(x)⪯PUk,n(x),ZM(x)⪯ZUk,n(x)P_{\mathsf{M}}(x)\preceq P_{\mathsf{U}_{k,n}}(x),\qquad Z_{\mathsf{M}}(x)\preceq Z_{\mathsf{U}_{k,n}}(x)

hold. Thus uniform matroids should maximize coefficient-wise the Kazhdan--Lusztig and ZZ-polynomials among matroids with fixed rank and size. This conjecture is attributed to Gedeon, with an equivariant version attributed to Proudfoot, and remains open in the supplied source.

References

Primary source

Luis Ferroni, Jacob P. Matherne, Matthew Stevens and Lorenzo Vecchi, “Hilbert-Poincaré series of matroid Chow rings and intersection cohomology”, arXiv:2212.03190 (2024).

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.