Collision Positivity for Three-Variable Symmetric Monomial Inequalities

Let \(\lambda\succ\gamma\succ\mu\) be equal-degree exponent partitions with at most three parts, and let \begin{equation*} P_{\lambda,\gamma,\mu} = J_\lambda+J_\mu-2J_\gamma, \end{equation*} where \(J_\nu\) denotes the symmetric monomial orbit sum associated with \(\nu\). We prove a necessary and sufficient collision criterion for the positivity of this three-point majorization difference in three variables. For nonnegative integer exponent partitions, \begin{equation*} P_{\lambda,\gamma,\mu}(x,y,z)\ge0 \qquad(x,y,z>0) \end{equation*} if and only if \begin{equation*} P_{\lambda,\gamma,\mu}(t,1,1)\ge0 \qquad(t>0). \end{equation*} Thus the positivity of a genuinely three-variable symmetric polynomial of this form is completely determined by its one-variable restriction to the locus where two variables coincide. The theorem gives a uniform and effectively checkable criterion for an infinite class of symmetric polynomial inequalities. For a fixed integer chain, the global three-variable problem is reduced to a single univariate polynomial inequality, which can often be verified exactly by factorization, Sturm's theorem, or other one-variable methods. The criterion extends well beyond the classical Schur family, produces explicit inequalities outside the Schur pattern, and yields genuine strengthenings and refinements of Schur's inequality.