2 problems

Skyline-tableau conjecture. We have

Let $\mathcal L_\alpha$ be the Lascoux atom obtained by replacing the Demazure operator in the definition of the key polynomial with $\widehat\tau_i=\tau_i-\operatorname{id}$, wher…