{"id":"arxiv/2609.30309","url":"https://arxiv.org/abs/2609.30309","tags":["math.CO"],"score":0,"title":"Collision Positivity for Symmetric Orbit-Sum Inequalities in Arbitrary Dimension: A Complete Two-Variable Criterion","domain":"math.CO","source":"arxiv","authors":["Jian Sun"],"reviews":0,"subject":"math.CO","summary":"Let $λ\\succγ\\succμ$ be equal-degree nonnegative integer exponent vectors with at most $n$ parts, let $J_η^{(n)}$ be the labeled symmetric orbit sum associated with $η$, and set \\begin{equation*} P_n=J_λ^{(n)}+J_μ^{(n)}-2J_γ^{(n)}. \\end{equation*} For every $n\\ge4$, we prove that global nonnegativity of $P_n$ on the positive orthant is equivalent to nonnegativity on the fixed two-variable section \\begin{equation*} (x,y,1,\\ldots,1),\\qquad x,y>0. \\end{equation*} Thus the positivity of this family is determined by a fixed two-dimensional section, independently of both degree and ambient…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-23","reactions":{}}