BBDVW conjectural recurrence for Kazhdan–Lusztig polynomials

From papers

Let [u,v]Sn[u,v]\subset S_n be a Bruhat interval, let II be a hypercube decomposition of [u,v][u,v], and let (u,v)\ell(u,v) denote the length of the interval. The polynomials Nu,v,IN_{u,v,I} and Qu,v,IQ_{u,v,I} are the polynomials defined from Kazhdan–Lusztig polynomials of smaller subintervals in the BBDVW construction. BBDVW conjecture. For any hypercube decomposition II of [u,v]Sn[u,v]\subset S_n,

q(u,v)Pu,v(q1)Pu,v(q)=Nu,v,I+Qu,v,I.q^{\ell(u,v)}P_{u,v}(q^{-1})-P_{u,v}(q)=N_{u,v,I}+Q_{u,v,I}.

This is a conjectural recurrence intended to use only the poset structure of the interval, and would provide a major step toward the combinatorial invariance conjecture. The source describes the formula as conjectural; its resolution is not specified here.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Grant T. Barkley and Christian Gaetz, “The BBDVW Conjecture for Kazhdan-Lusztig polynomials of lower intervals”, arXiv:2412.10256 (2026).

Solutions 0

No solutions have been posted yet.