arXiv++ Combinatorics

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 dimension. In the injective hierarchy $C_k$ introduced below, the hypothesis is $C_2\ge0$, global positivity is equivalent to $C_{n-1}\ge0$, and the main step is the stable order-raising implication \begin{equation*} C_k\ge0\Longrightarrow C_{k+1}\ge0, \qquad 2\le k\le n-2. \end{equation*} For $n\ge5$, this rank-two hypothesis is strictly weaker than positivity on the normalized full collision wall, which corresponds to $C_{n-2}\ge0$. The result complements the preceding three-variable theorem \emph{Collision Positivity for Three-Variable Symmetric Monomial Inequalities: A Complete Boundary Criterion}, which proves the exceptional rank-one step $C_1\Rightarrow C_2$. The proof here is logically independent: the local three-label ingredients needed in higher rank are established directly. The main tools are a Green second-compound reserve, fixed-union exchange on adjacent subset ranks, a rank-three zero/one/two-mark contraction, and terminal boundary recombination. The theorem extends to nonnegative rational exponents by clearing denominators.

Let \(λ\succγ\succμ\) be equal-degree exponent partitions with at most three parts, and let \begin{equation*} P_{λ,γ,μ} = J_λ+J_μ-2J_γ, \end{equation*} where \(J_ν\) denotes the symmetric monomial orbit sum associated with \(ν\). 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_{λ,γ,μ}(x,y,z)\ge0 \qquad(x,y,z>0) \end{equation*} if and only if \begin{equation*} P_{λ,γ,μ}(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.

Constructing the maximum spanning tree $T$ of an edge-weighted connected graph $G$ is one of the important research topics in computer science and optimization, and the related research results have played an active role in practical applications. In this paper, we are concerned with the ratio of the weighted sum of a spanning tree $T$ of $G$ to the weighted sum of $G$, which we try to minimize. We propose an interesting theorem to simplify this problem and show that this optimal problem can be solved in polynomial time. Furthermore, we apply the optimal problem in chordal graphs.