Current browse context:
math.CO
Change to browse by:
References & Citations
Mathematics > Combinatorics
Title: An SOS counterexample to an inequality of symmetric functions
(Submitted on 30 Aug 2019 (v1), last revised 16 Nov 2020 (this version, v3))
Abstract: It is known that differences of symmetric functions corresponding to various bases are nonnegative on the nonnegative orthant exactly when the partitions defining them are comparable in dominance order. The only exception is the case of homogeneous symmetric functions where it is only known that dominance of the partitions implies nonnegativity of the corresponding difference of symmetric functions. It was conjectured by Cuttler, Greene, and Skandera in 2011 that the converse also holds, as in the cases of the monomial, elementary, power-sum, and Schur bases. In this paper we provide a counterexample, showing that homogeneous symmetric functions break the pattern. We use semidefinite programming to find an explicit sums of squares decomposition of the polynomial $H_{44} - H_{521}$ as a sum of 41 squares. This rational certificate of nonnegativity disproves the conjecture, since a polynomial which is a sum of squares cannot be negative, and since the partitions 44 and 521 are incomparable in dominance order.
Submission history
From: Alexander Heaton [view email][v1] Fri, 30 Aug 2019 22:14:47 GMT (12kb)
[v2] Wed, 15 Jul 2020 15:20:49 GMT (202kb,D)
[v3] Mon, 16 Nov 2020 19:34:15 GMT (210kb,D)
Link back to: arXiv, form interface, contact.