The BBDVW Conjecture for Kazhdan-Lusztig polynomials of lower intervals

Blundell, Buesing, Davies, Veličković, and Williamson recently introduced the notion of a hypercube decomposition for an interval in Bruhat order. Using this structure, they conjectured a recurrence formula which, if shown for all Bruhat intervals, would imply the Combinatorial Invariance Conjecture for Kazhdan-Lusztig polynomials of the symmetric group. In this article, we prove their conjecture for lower intervals $[e,v]$.