TY - JOUR

T1 - A note on mediated simplices

AU - Powers, Victoria

AU - Reznick, Bruce

N1 - Publisher Copyright:
© 2020 Elsevier B.V.

PY - 2021/7

Y1 - 2021/7

N2 - Many homogeneous polynomials that arise in the study of sums of squares and Hilbert's 17th problem are those formed by monomial substitutions into the arithmetic-geometric inequality. In 1989, Reznick [14] gave a necessary and sufficient condition for such a form to have a representation as a sum of squares of forms, 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.

AB - Many homogeneous polynomials that arise in the study of sums of squares and Hilbert's 17th problem are those formed by monomial substitutions into the arithmetic-geometric inequality. In 1989, Reznick [14] gave a necessary and sufficient condition for such a form to have a representation as a sum of squares of forms, 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.

UR - http://www.scopus.com/inward/record.url?scp=85095597155&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85095597155&partnerID=8YFLogxK

U2 - 10.1016/j.jpaa.2020.106608

DO - 10.1016/j.jpaa.2020.106608

M3 - Article

AN - SCOPUS:85095597155

SN - 0022-4049

VL - 225

JO - Journal of Pure and Applied Algebra

JF - Journal of Pure and Applied Algebra

IS - 7

M1 - 106608

ER -