A note on mediated simplices

DOI10.1016/J.JPAA.2020.106608MaRDI QIDQ1996083zbMATH OpenOpenAlexFDO

Authors Victoria Powers, Bruce Reznick

Publication date 3 March 2021

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1909.11008

zbMATH Keywords

Hilbert's 17th Problemlattice point simplicesmediated simplices

Mathematics Subject Classification ID

Sums of squares and representations by other particular quadratic forms (11E25) Forms of degree higher than two (11E76) Lattice polytopes in convex geometry (including relations with commutative algebra and algebraic geometry) (52B20)

Abstract: Many homogeneous polynomials that arise in the study of sums of squares and Hilbert's 17th problem come from monomial substitutions into the arithmetic-geometric inequality. In 1989, the second author gave a necessary and sufficient condition for such a form to have a representation as a sum of squares of forms (Math. Ann., (283), 431--464), involving the arrangement of lattice points in the simplex whose vertices were the $n$-tuples of the exponents used in the substitution. Further, a claim was made, and not proven, that sufficiently large dilations of any such simplex will also satisfy this condition. The aim of this short note is to prove the claim, and provide further context for the result, both in the study of Hilbert's 17th Problem and the study of lattice point simplices.

Recommendations

• Estimates of the Pythagoras number of \(\mathbb R_m[x_1, \ldots , x_n]\) through lattice points and polytopes
• Hilbert's seventeenth problem (sums of squares in rational function fields)
• Positive polynomials on semi-algebraic sets
• scientific article; zbMATH DE number 1490041
• scientific article; zbMATH DE number 4142167

Cites work

• A Positivstellensatz for sums of nonnegative circuit polynomials
• A quantitative version of Hurwitz' theorem on the arithmetic-geometric inequality.
• Amoebas, nonnegative polynomials and sums of squares supported on circuits
• Extremal psd forms with few terms
• Forms derived from the arithmetic-geometric inequality
• scientific article; zbMATH DE number 3176168 (Why is no real title available?)
• scientific article; zbMATH DE number 3201668 (Why is no real title available?)
• Integral body-building in \({\mathbb{R}}^ 3\)
• Positive polynomials, convex integral polytopes, and a random walk problem
• The algebraic boundary of the sonc-cone

Cited in

(5)

• SONC optimization and exact nonnegativity certificates via second-order cone programming
• Nonnegative Polynomials and Circuit Polynomials
• Weighted geometric mean, minimum mediated set, and optimal simple second-order cone representation
• On minimal extended representations of generalized power cones
• Spectrahedral shadows and completely positive maps on real closed fields

This page was built for publication: A note on mediated simplices

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1996083)