{"entities":{"Q1098872":{"pageid":1109624,"ns":120,"title":"Item:Q1098872","lastrevid":66295188,"modified":"2026-04-12T08:53:29Z","type":"item","id":"Q1098872","labels":{"en":{"language":"en","value":"Forms derived from the arithmetic-geometric inequality"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4037918"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098872$60BA8E42-8672-4914-AAAD-19D5F8357315","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"50ad51a0cc56db25eeb39b29b6cd1f34d7dffad5","datavalue":{"value":{"text":"Forms derived from the arithmetic-geometric inequality","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1098872$C669A904-12DC-470D-AC38-DB0D649090B7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"78d8f89ab5c659195200e887d8c28c268e3c73f2","datavalue":{"value":"0637.10015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098872$96CA1DEF-7BE4-4DA8-B767-D1688AE323BC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"881ba8d0d2e4a977bf1661726872d0b331a1154d","datavalue":{"value":"10.1007/BF01442738","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098872$0F312567-3F9B-4748-A24F-B1331F0EA373","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d2886016cdf899a67334136e6cf9d95c25ff9e7","datavalue":{"value":{"entity-type":"item","numeric-id":210457,"id":"Q210457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098872$513004F2-646C-473B-9EF0-C4C3FC1AA253","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7016073dc3661ad2b8fcf740b72e135f31d59f23","datavalue":{"value":{"entity-type":"item","numeric-id":166142,"id":"Q166142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098872$56668582-CF85-4DE6-B264-A1AC782C7124","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1098872$613DA298-86F4-4D3D-8DD0-8E11447ADF68","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"72c96d4478835ae4ed2b5deb51a7c04bb2008556","datavalue":{"value":"https://eudml.org/doc/164518","type":"string"},"datatype":"url"},"type":"statement","id":"Q1098872$EBC773BF-B9F0-4056-8C5C-29DCDC8779AD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"677d38bbc6dbd0c8f199ea78c5fe8040a849e04a","datavalue":{"value":"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.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1098872$E51B3C23-C30F-4151-A84E-9DFD11FF5F81","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c9b87656e7915b52fa0c6607ef9d80011fa9e213","datavalue":{"value":"11E10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098872$6C0135B3-2AB1-41AF-9829-9CF897148741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"765bffd38ceeadce2d709456a083f0dd0b70ccc2","datavalue":{"value":"13J30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098872$3C903CF6-E260-4C43-8738-B134F0C90F81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"299c2ceee90a97db4ef5b7d633c2a5784e0cb3c0","datavalue":{"value":"12D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098872$AE3E4F28-1E3F-4C35-AD80-01F37510B610","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d9dd52a2c8652dad343984db0ecebc00852304ca","datavalue":{"value":"4037918","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098872$A29D859B-8CD7-4125-A909-2BF2BD29E089","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33cca7766c284cecff2d3b028e189a2f5724a8c0","datavalue":{"value":"real homogeneous polynomial","type":"string"},"datatype":"string"},"type":"statement","id":"Q1098872$610DC687-2E2D-4F5D-9459-54FD5FB91421","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27a2560dd99c7d5716e5f0191c360a7d13a54fc3","datavalue":{"value":"positive semidefinite","type":"string"},"datatype":"string"},"type":"statement","id":"Q1098872$F6E121BC-8091-4A25-AE28-C5B2A32CF5C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1ce1f65fdec0def1f9eb7552dbf448af6c0d703","datavalue":{"value":"sos","type":"string"},"datatype":"string"},"type":"statement","id":"Q1098872$56489161-D761-433A-BA28-45F8B5FCF841","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb29dc4f092d68c24bb16558cd1a6b77ffb03169","datavalue":{"value":"sum of squares of forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1098872$AE96F173-5676-4A41-BA8E-4F42F88F8045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ec36bc5a42f3f3e0270278fde5e62f82ae05b10","datavalue":{"value":"arithmetic-geometric inequality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1098872$1F1B8B04-75E1-4137-831C-0788CA50A024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73efd6cb7edf44031851c55293ef19d2342586be","datavalue":{"value":"agiform","type":"string"},"datatype":"string"},"type":"statement","id":"Q1098872$1593E80B-60FF-4737-808D-F201DC2DEF5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db984fdeb0935c71efbfc01c6f36f7b7e212f8d2","datavalue":{"value":"psd form","type":"string"},"datatype":"string"},"type":"statement","id":"Q1098872$ADB4E0BB-E501-413E-9806-4D3894600544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44442f181e019aeeede093606daca975b1f83463","datavalue":{"value":"extremal forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1098872$5B78FC0C-5CAE-4BB6-AE23-C665748ADDCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"040a69a94775f100554b6565430bf6f9d8bae2ac","datavalue":{"value":"trellis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1098872$71AB11E1-40E4-4925-9357-1E58F8F266BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70f380417513b7f1191d38a820b1018a3af1e2b4","datavalue":{"value":"extremal agiforms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1098872$E8AB943E-0487-45CB-AF17-B49C10B53FD5","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"8652ffef07eac39eae495b5671d070187b7b3c0c","datavalue":{"value":"Q105918642","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098872$E0C96D1C-045A-49BC-AEEE-B7DA0BAA7493","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098872$1F439A2F-FD09-4769-9CB9-9A6CF194BEBE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a39878ffefd426dac72d1ab4350a5ae8e079ba1","datavalue":{"value":{"entity-type":"item","numeric-id":2546217,"id":"Q2546217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098872$338F8AC9-9562-4DF1-94E1-D58A2930661F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21f777fb83998c4da11fb9eb45c8c5f749130f9e","datavalue":{"value":{"entity-type":"item","numeric-id":1108309,"id":"Q1108309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098872$9175F814-21E8-41CA-8D8D-EF86C06A2F2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"701179a4cb6778efdf79b6951df4a172985b04f5","datavalue":{"value":{"entity-type":"item","numeric-id":3208805,"id":"Q3208805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098872$A7166886-FC18-4B70-AE0F-AF97551F2FBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3df309a25f114f6ed4c1cbd2d0d11756162e579","datavalue":{"value":{"entity-type":"item","numeric-id":3688926,"id":"Q3688926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098872$949B61A7-9050-4DFD-985E-C60ACA922E23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4675971f49a98a58200161dc86a67f2c3c783ac","datavalue":{"value":{"entity-type":"item","numeric-id":1081835,"id":"Q1081835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098872$8C2602C8-4552-43AA-B947-ED7C9FF0713E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18544a53f087a21413d3f1fc7a0b650f7df73f57","datavalue":{"value":{"entity-type":"item","numeric-id":1108554,"id":"Q1108554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098872$69360D9B-184D-4B26-9D7A-F4654D6C73AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5af996574f130bbf47274d66ffd807dbcb559e37","datavalue":{"value":{"entity-type":"item","numeric-id":5905987,"id":"Q5905987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098872$E5178F71-0556-433A-A2B1-3978A5254EB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f653716f85074e9c487583c56992185a78f92bd8","datavalue":{"value":{"entity-type":"item","numeric-id":1252886,"id":"Q1252886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098872$1DBACFEB-981A-45BC-B69F-ABB4AD71B027","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8233911d6c004f81121db8fb7114a1c0e6330af5","datavalue":{"value":{"entity-type":"item","numeric-id":1076348,"id":"Q1076348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098872$039066B7-70E9-4096-B17D-FDB9697E2DAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10f11ea1d20392128b8e90118091fc3b24cb4371","datavalue":{"value":{"entity-type":"item","numeric-id":4723813,"id":"Q4723813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098872$C0DDEE88-2498-446F-9D2D-F1EF71758180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fef2105afae2b4ded26fb359654aef4e64463ce","datavalue":{"value":{"entity-type":"item","numeric-id":3858798,"id":"Q3858798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098872$89755A82-33A6-4843-B777-8E166C23B9A0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd6ccfb758c0afe3f1c3c5fae813cb9a36130506","datavalue":{"value":{"entity-type":"item","numeric-id":3475322,"id":"Q3475322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aaf6bd5ffabbeea4dfcb40a0dbb6a594a6658d8a","datavalue":{"value":{"amount":"+0.7919394969940186","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1098872$3E8E1005-56A9-4AC3-9C5F-92F21689C895","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d9bc44eae95ab2af1899d2e16fcea213ab9498a","datavalue":{"value":{"entity-type":"item","numeric-id":1108309,"id":"Q1108309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c916169416725c88e44f656ed9919fbdc9c2ddc","datavalue":{"value":{"amount":"+0.7891920208930969","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1098872$699F7168-B3DA-43BF-AD07-3DC9D0509934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f85aad58e340a35ecaa1189ec56013f5996b2d8","datavalue":{"value":{"entity-type":"item","numeric-id":5415177,"id":"Q5415177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17e0e58fcfd56c9364f5dc65c1b3a56db849f822","datavalue":{"value":{"amount":"+0.7809196710586548","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1098872$F75A5845-C3CE-4AD5-8237-46C4A0D22FB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41bd0b13dd29fd0973e8e25bfb2fcc713de68879","datavalue":{"value":{"entity-type":"item","numeric-id":1175716,"id":"Q1175716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b378775a0977a42d16ef33adc885d300ad1f89b","datavalue":{"value":{"amount":"+0.7741865515708923","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1098872$30DEFC8B-B7F9-44E0-A444-E8BDBD42D3DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"527edf77be0455c1eff6dfe26d69dfd56278a5fd","datavalue":{"value":{"entity-type":"item","numeric-id":4723813,"id":"Q4723813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c62e978d60b20cf96b3c1ba3cb4d6cdb7cb6b5c2","datavalue":{"value":{"amount":"+0.7700356245040894","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1098872$E5AAAEE9-CEEC-4BB7-895D-7E9AD5D4D541","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Forms derived from the arithmetic-geometric inequality","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Forms_derived_from_the_arithmetic-geometric_inequality"}}}}}