The authors disprove the Cuttler-Greene-Skandera conjecture by showing H_44 - H_521 is nonnegative on R^3_{≥0} via an explicit sum of 41 squares, despite 44 and 521 being incomparable in dominance order.
Symmetric non-negative forms and sums of squares
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
math.CO 1years
2019 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
An SOS counterexample to an inequality of symmetric functions
The authors disprove the Cuttler-Greene-Skandera conjecture by showing H_44 - H_521 is nonnegative on R^3_{≥0} via an explicit sum of 41 squares, despite 44 and 521 being incomparable in dominance order.