20 problems

Atom-positivity conjecture. The row operator applied to a key polynomial is atom-positive:

Let $n$ be a positive integer, let $w\in S_n$ be a permutation, let $\zeta$ be a weak composition, and let $\boldsymbol{x}=(x_1,\ldots,x_n)$. Write…

Let $N\lambda+\mu$ be an affine family of partitions with a fixed number of rows, and let $\mathbf b=(b_1,\dotsc,b_{\ell(\lambda)})$ be a fixed weakly increasing row flag with…

Let $u$ be a permutation. An affine key expansion conjecture asserts that there exist positive integers $c_1,\dotsc,c_t$ and affine weak compositions $N\gamma_j+\delta_j$, for…

Alexandersson–Alhajjar's conjecture. The function $P_{\lambda,w}(d)$ is a polynomial in $d$ with positive coefficients. The source presents this as a conjecture about principal spe…

Key-polynomial operator conjecture. For any composition $\alpha$,

Monotonicity conjecture. We have

Poset-type conjecture. The multiplicity $m^{k,l}_{\eta}(w)$ depends only on the poset type of the set of sums $\alpha+\beta=\eta$, with $\alpha\in A_l(w)$ and $\beta\in A_k(w)$. Mo…

Vexillary involution crystal conjecture. There is an isomorphism of $\mathfrak q^+_n$-crystals

Involution Schubert expansion conjecture. Each involution Schubert polynomial $\mathfrak S^{\mathsf{Sp}}_z$ (respectively, $\mathfrak S^{\mathsf{O}}_z$) is an $\mathbb{N}$-linear c…

Let $b[?]$ be a valuation and $Q$ an abstract key polynomial (ABKP) for $b[?]$. For an associated diskoid $b?)$, let $b[?]_{b?)}$ denote the induced function on $b[?][X]$. An RT ex…

Let $b[?]$ be a valuation on $K[X]$ and let $Qb[?]K[X]$ be an abstract key polynomial for $b[?]$, with $b?b[?]b[?]b?$. A diskoid is a subset $b?b[?]b[?]$ whose polynomial-value min…

Let $\alpha\in\mathbb{N}^n$ be a composition, and let $\kappa_\alpha(x_1,\ldots,x_n)$ be its key polynomial. Key-polynomial conjecture. The normalized polynomial … is Lorentzian fo…

Let $a$ and $b$ be weak compositions, and let ${\mathfrak{D}}_a$ and ${\mathfrak{D}}_b$ denote the corresponding key polynomials. Let ${\mathfrak{A}}_c$ denote the Demazure atom in…

Positive key expansion conjecture.

For compositions $\gamma$ and $\alpha$, write $\gamma\preceq\alpha$ when $\lambda(\gamma)=\lambda(\alpha)$ and $w(\gamma)\leq w(\alpha)$ in Bruhat order, where $\lambda(\gamma)$ is…

Let $\alpha$ be a composition, let $t_{ij}$ swap positions $i$ and $j$, and let $m_{ij}(\alpha)=\alpha+e_i-e_j$. Define $\beta<_\kappa\alpha$ when $\beta$ can be generated from…

Let $\alpha=(\alpha_1,\alpha_2,\ldots)\in\mathbb Z_{\geq0}^{\infty}$ have finite size, and let $\kappa_\alpha$ be the key polynomial defined using Demazure operators. A polynomial…

Let $\alpha=(\alpha_1,\alpha_2,\ldots)\in\mathbb Z_{\geq0}^{\infty}$ have finite size, and let $\kappa_\alpha$ be the key polynomial. Let ${\sf D}_\alpha$ be the skyline diagram wi…

A diagram ${\sf D}$ is a subset of boxes of an $n\times n$ grid. For each $S\subseteq[n]$ and column $c\in[n]$, form ${\tt word}_{c,S}({\sf D})$ by reading column $c$ from top to b…