Forms derived from the arithmetic-geometric inequality (Q1098872)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Forms derived from the arithmetic-geometric inequality
scientific article

    Statements

    Forms derived from the arithmetic-geometric inequality (English)
    0 references
    0 references
    1989
    0 references
    A real homogeneous polynomial (a form) \(p\) is called positive semidefinite (or psd) if \(p(x)\geq 0\) for all \(x\in\mathbb R^ n\); it is called sos if it is a sum of squares of forms. For \(x\in\mathbb R^ n\) and \(u\in\mathbb Z^ +_ n\), let \(x^ u=\prod x_ j^{u_ j}\). Let \(\mathcal U=\{u_ i\}\) be a set of even \(n\)-tuples satisfying \(\sum _{j}u_{ij}=2d\) for each \(i\) (\(x^{u_ i}\geq 0\) has degree \(2d\)) and let \(C(\mathcal U)=cvx(\mathcal U)\cap\mathbb Z^ n\). For \(w=\sum \lambda _ iu_ i\in C(\mathcal U)\), \(\lambda _ i\geq 0\), \(\sum \lambda _ i=1\), \(f(\mathcal U,\lambda,w)(x):=\sum \lambda _ ix^{u_ i}-x^ w\) is psd by the arithmetic-geometric inequality (AGI). A positive multiple of \(f\) is called an agiform. Hilbert proved that not every psd form is sos. The first explicit example, produced by Motzkin in 1967, is the agiform \(M(x,y,z)=x^ 4y^ 2+x^ 2y^ 4+z^ 6-3x^ 2y^ 2z^ 2\). Other non-sos agiforms have been found by Choi, Lam and the author. Hurwitz proved that every agiform \(\sum c_ ix_ i^{2d}-2d\prod x_ i^{c_ i}\) is sos. In this paper we define \(\mathcal U^ *\), a computable subset of \(C(\mathcal U)\), which has the property that, if the agiform \(f=f(\mathcal U,\lambda,w)\) is sos, then \(w\in\mathcal U^ *\). Conversely, if \(\mathcal U\) is the vertex-set of a simplex (a ``trellis'') and \(w\in\mathcal U^ *\), then \(f\) is sos; the proof is an algorithm for representing \(f\) as a sum of squares. As a result, if \(f\) is an agiform and \(k\geq \max (2,n-2)\), then \(f(x_ 1^ k,\ldots,x_ n^ k)\) is sos. A psd form \(p\) is called extremal if \(p=\sum h_ i\), \(h_ i\) psd, implies \(h_ i=\alpha _ ip\). Choi and Lam proved that \(M(x,y,z)\) and two other agiforms they introduced, \(S(x,y,z)\) and \(Q(x,y,z,w)\), are extremal. (Most other known extremal forms are squares of indefinite forms.) If \(f(\mathcal U,\lambda,w)\) is extremal, then \(\mathcal U\) is a trellis. We derive a necessary and sufficient condition for an agiform to be extremal, involving the congruence properties (mod 2) of \(w\) and \(C(\mathcal U)\). The extremal agiforms \(M\), \(S\) and \(Q\) generalize to families of extremal agiforms in many variables; the constructions are built on those of Motzkin, Choi and Lam.
    0 references
    real homogeneous polynomial
    0 references
    positive semidefinite
    0 references
    sos
    0 references
    sum of squares of forms
    0 references
    arithmetic-geometric inequality
    0 references
    agiform
    0 references
    psd form
    0 references
    extremal forms
    0 references
    trellis
    0 references
    extremal agiforms
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references