Q-key expansion conjecture for orthogonal involution Schubert polynomials

About 3 years old · traced to

Let I∞I_\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 z∈I∞z\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 z∈Inz\in I_n with n≤9n\leq9, but remains unresolved in general.

References

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.