Monical–Tokcan–Yong's saturated Newton polytope conjecture for double Schubert polynomials

Let ${\mathfrak{S}}_p$ be the symmetric group, and let ${\mathfrak{S}}_\pi({\normalfont\mathbf{t}}, {\normalfont\mathbf{s}})$ be the double Schubert polynomial associated to a permutation $\pi\in{\mathfrak{S}}_p$. For a polynomial $f=\sum_{\normalfont\mathbf{n}}c_{\normalfont\mathbf{n}}{\normalfont\mathbf{x}}^{\normalfont\mathbf{n}}$, its Saturated Newton Polytope property means that its support equals the lattice points in its Newton polytope.

Saturated Newton polytope conjecture. Every double Schubert polynomial ${\mathfrak{S}}_\pi({\normalfont\mathbf{t}}, {\normalfont\mathbf{s}})$ has the Saturated Newton Polytope property.

The conjecture asserts that the monomial support of each double Schubert polynomial is exactly the set of integer points in its Newton polytope. The paper's stated goal is to confirm this conjecture, so it is solved in the source.