Monomial nonnegativity and the Bruhat order (Q2570987)

This short note is dedicated to the completion of a program of showing the equivalence of five nonnegativity properties of polynomials \(X_\pi- X_\sigma(X_{1,\pi(n)}- X_{l,\sigma(r)}\cdots X_{n,\sigma(n)})\) when \(\pi\leq\sigma\) in the Bruhat order of \(S_n\), only one necessary implication remaining to be proved. The complex of conditions, each of which is important and of interest in general, when bound in this fashion for the particular but important case under discussion, casts an interesting light on what may hide in an otherwise simple description of a straightforward sort of poset.