Search papers, labs, and topics across Lattice.
We prove the unimodality of Kazhdan--Lusztig polynomials for loopless sparse paving matroids, a significant structural property for these combinatorial objects. For matroids with rank at least five and positive corank, we establish strict unimodality with only three specific parameter triples exhibiting two equal maximal coefficients. This work also classifies degenerate cases and identifies the modes of these polynomials.
Kazhdan--Lusztig polynomials for sparse paving matroids are unimodal, with only three exceptions to strict unimodality for rank $\ge 5$.
We prove that the Kazhdan--Lusztig polynomial of a loopless sparse paving matroid is unimodal. When the rank is at least five and the corank is positive, we show that the coefficient sequence is strictly unimodal except for three explicitly determined parameter triples, each giving two equal maximal coefficients. We also determine the modes and classify the degenerate loopless sparse paving matroids of positive rank and corank.