Q-key expansion conjecture for orthogonal involution Schubert polynomials

Let II_\infty denote the involutions of the infinite symmetric group, let SzO\mathfrak S^{\mathsf{O}}_z be the corresponding orthogonal involution Schubert polynomial, and let cyc(z)\mathsf{cyc}(z) be the number of nontrivial cycles of zz. Q-key expansion conjecture. For every zIz\in I_\infty, there is a finite set Y(z)\mathcal Y(z) of symmetric weak compositions such that

SzO=αY(z)2cyc(z)diag(α)καQ,\mathfrak S^{\mathsf{O}}_z=\sum_{\alpha\in\mathcal Y(z)}2^{\mathsf{cyc}(z)-\mathsf{diag}(\alpha)}\kappa^\mathsf{Q}_\alpha,

where the Q-key polynomials are distinct and the coefficients are integral powers of two. The conjecture was verified computationally for zInz\in I_n with n9n\leq9, but remains unresolved in general.

Sources & referencesView supporting material

Primary source

Eric Marberg and Travis Scrimshaw, “Key and Lascoux polynomials for symmetric orbit closures”, arXiv:2302.04226 (2026).

Progress summary

Never refreshed

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

Solutions 0

No solutions have been posted yet.