Collision Positivity for Symmetric Orbit-Sum Inequalities in Arbitrary Dimension: A Complete Two-Variable Criterion
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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2609.30309
curl -X POST /api/v1/records/arxiv/2609.30309/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.30309/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'