The Log-Concavity of Kazhdan-Lusztig Polynomials of Uniform Matroids

Elias, et al. (2016) conjectured that the Kazhdan-Lusztig polynomial of any matroid is log-concave. Inspired by a computer proof of Moll’s log-concavity conjecture given by Kauers and Paule, the authors use a computer algebra system to prove the conjecture for arbitrary uniform matroids.