The BBDVW Conjecture for Kazhdan-Lusztig polynomials of lower intervals

Abstract

Blundell, Buesing, Davies, Veličković, and Williamson (BBDVW) introduced the notion of a hypercube decomposition of an interval in Bruhat order. They conjectured a recursive formula in terms of this structure which, if shown for all intervals, would imply the Combinatorial Invariance Conjecture of Lusztig and Dyer, for Kazhdan-Lusztig polynomials of the symmetric group. In this article, we prove implications between the BBDVW Conjecture and several other recurrences for hypercube decompositions, under varying hypotheses, which have appeared in the recent literature. As an application, we prove the BBDVW Conjecture for lower intervals $[e,v]$, the first non-trivial class of intervals for which it has been established.

arXiv commentv2: expanded and reorganized; v3: final version

References in corpus (5)

• Towards combinatorial invariance for Kazhdan-Lusztig polynomials
• Special matchings and parabolic Kazhdan-Lusztig polynomials
• A combinatorial formula for the coefficient of $q$ in Kazhdan-Lusztig polynomials
• Combinatorial invariance for Kazhdan-Lusztig $R$-polynomials of elementary intervals
• On combinatorial invariance of parabolic Kazhdan-Lusztig polynomials