Abstract:As part of a program to develop $K$-theoretic analogues of combinatorially important polynomials, Monical, Pechenik, and Searles (2021) proved two expansion formulas $\overline{\mathfrak{A}}_a = \sum_b Q_b^a(\beta)\overline{\mathfrak{P}}_b$ and $\overline{\mathfrak{Q}}_a = \sum_b M_b^a(\beta)\overline{\mathfrak{F}}_b,$ where each of $\overline{\mathfrak{A}}_a$, $\overline{\mathfrak{P}}_a$, $\overline{\mathfrak{Q}}_a$ and $\overline{\mathfrak{F}}_a$ is a family of polynomials that forms a basis for $\mathbb{Z}[x_1,\dots,x_n][\beta]$ indexed by weak compositions $a,$ and $Q_b^a(\beta)$ and $M_b^a(\beta)$ are monomials in $\beta$ for each pair $(a,b)$ of weak compositions. The polynomials $\overline{\mathfrak{A}}_a$ are the Lascoux atoms, $\overline{\mathfrak{P}}_a$ are the kaons, $\overline{\mathfrak{Q}}_a$ are the quasiLascoux polynomials, and $\overline{\mathfrak{F}}_a$ are the glide polynomials; these are respectively the $K$-analogues of the Demazure atoms $\mathfrak{A}_a$, the fundamental particles $\mathfrak{P}_a$, the quasikey polynomials $\mathfrak{Q}_a$, and the fundamental slide polynomials $\mathfrak{F}_a$. Monical, Pechenik, and Searles conjectured that for any fixed $a,$ $\sum_b Q_b^a(-1), \sum_b M_b^a(-1) \in \{0,1\},$ where $b$ ranges over all weak compositions. We prove this conjecture using a sign-reversing involution.

Special values of $K$-theoretic Schur $P$- and $Q$-functions

A k-tableau characterization of k-Schur functions

Combinatorial formulas for shifted dual stable Grothendieck polynomials

KdV and mKdV Hierarchies and Schur Q-functions

Closed $k$-Schur Katalan functions as $K$-homology Schubert representatives of the affine Grassmannian

Shifted tableaux and products of Schur's symmetric functions

The number of the set-valued tableaux is odd

Shifted dual equivalence and Schur P-positivity

Set-valued domino tableaux and shifted set-valued domino tableaux

Identity between Restricted Cauchy Sums for the $q$-Whittaker and Skew Schur Polynomials

Checkerboard style Schur multiple zeta values and odd single zeta values

Seidel and Pieri products in cominuscule quantum K-theory

Schubert calculus and shifting of interval positroid varieties

Tableau formulas for skew Schubert polynomials

On the $q$-Enumeration of Barely Set-Valued Tableaux and Plane Partitions

Proof of a $K$-theoretic polynomial conjecture of Monical, Pechenik, and Searles

On flagged $K$-theoretic symmetric polynomials

Pfaffian Formulation of Schur's $Q$-functions

Free fermionic probability theory and K-theoretic Schubert calculus

Skew divided difference operators and Schubert polynomials

Positivity of minuscule quantum K-theory