Combinatorial Proof of the Inversion Formula on the Kazhdan-Lusztig R-Polynomials
arXiv:1304.0061
Abstract
Let be a Coxeter group, and for , let be the Kazhdan-Lusztig -polynomial indexed by and . In this paper, we present a combinatorial proof of the inversion formula on -polynomials due to Kazhdan and Lusztig. This problem was raised by Brenti. Based on Dyer's combinatorial interpretation of the -polynomials in terms of increasing Bruhat paths, we reformulate the inversion formula in terms of -paths. By a -path from to with bottom we mean a pair of Bruhat paths such that is a decreasing path from to and is an increasing path from to . We find a reflection principle on -paths, which leads to a combinatorial proof of the inversion formula. Moreover, we give two applications of the reflection principle. First, we restrict this involution to -paths from to with maximal length. This provides a direct interpretation for the equi-distribution property that any nontrivial interval has as many elements of even length as elements of odd length. This property was obtained by Verma in his derivation of the Möbius function of the Bruhat order. Second, using the reflection principle for the symmetric group, we obtain a refinement of the inversion formula by restricting the summation to permutations ending with a given element.
14 pages, 2 figures