{"entities":{"Q5898338":{"pageid":7999937,"ns":120,"title":"Item:Q5898338","lastrevid":50016520,"modified":"2026-01-12T16:09:34Z","type":"item","id":"Q5898338","labels":{"en":{"language":"en","value":"Sums of squares of linear forms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5121809"}},"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":"Q5898338$56C5F57B-C8F8-4195-83E2-42C547A4E9FB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"44ff197616d81a88eb5baf552ea87f01ad9f21cc","datavalue":{"value":{"text":"Sums of squares of linear forms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5898338$98B1E9BA-FA7B-469E-8BB8-1B751689C926","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8d17cc858f92b1dec73de5313fdfa107c59934a0","datavalue":{"value":"1142.11021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898338$BF312700-2E81-4F6C-9255-8333D0F69FE8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b95e579d717ed118d025ffa7cfded8b80c5fe9d4","datavalue":{"value":{"entity-type":"item","numeric-id":215979,"id":"Q215979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5898338$4D788530-18B0-47ED-8817-DAF4EB064246","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea3e045fc265985d8b6506269dc2dcd129437b83","datavalue":{"value":{"entity-type":"item","numeric-id":1163267,"id":"Q1163267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5898338$7B531401-5A6E-4F53-85FA-C5C0D7791CCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"38ebb29825737f5e6e2bc4bd6109e0ea97251bdd","datavalue":{"value":{"entity-type":"item","numeric-id":216849,"id":"Q216849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5898338$703ECE00-14C4-4D77-84BD-FFDEBA7A7E96","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"82759f7bd5d339c54aa2233fde0d7f5ffae8b2c0","datavalue":{"value":{"entity-type":"item","numeric-id":170810,"id":"Q170810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5898338$3520D8C2-2A95-425C-9929-2AE325A34142","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d7d612691671f975762f6c673ba38c6149083432","datavalue":{"value":{"time":"+2007-02-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5898338$DA715975-2DE6-4BDC-85FA-DFB73A5109E6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"16887237cee1e3150c8f8a2b28d41243201881bc","datavalue":{"value":"Let \\(A\\) be a commutative ring with 1. For a quadratic form \\(f=\\sum_{i,j} a_{ij} x_ix_j \\in A[x_1,\\dots,x_n]\\) with \\(a_{ij}\\in A\\) define its length   \\[ \\ell(f):=\\min\\{r: \\text{\\(f\\) is sos (sum of squares) of \\(r\\) linear forms}\\} \\]   and define   \\[ g_n(A)=\\sup\\{\\ell(f): \\text{\\(f\\) is quadratic form in \\(A[x_1,\\ldots,x_n]\\)}\\}. \\]   So \\(p(A)=g_1(A)\\) is the Pythagoras number of \\(A.\\) For a non-real field \\(E\\) its level (or `Stufe') \\(s(E)\\) is defined as the smallest \\(n\\) such that \\(-1\\) is a sum of \\(n\\) squares. If \\(k\\) is a real field, let \\(\\tau(k)=\\sup\\{s(E): E/k\\) is a finite extension with nonreal \\(E\\}\\). Recall that a polynomial in \\(A[x_1,\\dots, x_n]\\) is called psd if for every homomorphism \\(\\varphi: A\\rightarrow R\\) (\\(R\\) real closed) the induced polynomial \\(f^\\varphi\\) takes nonnegative values on \\(R^n.\\)  Theorem: \\(g_n(k[t]) \\leq 2n \\tau(k).\\)   Furthermore every positive semidefinite quadratic form in \\(k[t][x_1,\\dots, x_n]\\) is a sum of squares of linear forms. Since \\(\\tau(\\mathbb R)=1,\\) one recovers for the case \\(k=\\mathbb R\\) a result from \\textit{M.-D. Choi, T.-Y. Lam} and \\textit{B. Reznick}, Math. Z. 171, 1--26 (1980; Zbl 0415.10018)] (see their theorem 5.6).  The constructive proof works by induction over \\(n\\) and seeking for a symmetric matrix \\(S\\) over \\(k[t]\\) that encodes the quadratic form a decomposition \\(S=T^t T\\) with \\(T\\) and \\(m\\times n\\) matrix. It makes use of basic facts of quadratic form theory (Witt decomposition, Pfister forms). The authors say for their proof they reconsidered the one by Choi et.al. [loc. cit.], but the reviewer sees little similarity; the present paper uses more abstract arguments.   As a consequence, for any one-dimensional \\(k\\)-algebra \\(A\\) of finite type, the Pythagoras number \\(p(A)<\\infty.\\) Also if \\(A\\) is an excellent Henselian local ring of dimension two whose residue field \\(k\\) satisfies \\(\\tau(k)<\\infty,\\) then \\(p(A)<\\infty.\\) The work also provides positive partial answers to a question found in the influential paper by [\\textit{M.-D. Choi, Z. D. Dai, T.-Y. Lam} and \\textit{B. Reznick}, J. Reine Angew. Math. 336, 45--82 (1982; Zbl 0499.12018)]; namely, whether for a finite \\(A\\)-Algebra \\(B\\), we have \\(p(A)<\\infty \\Rightarrow p(B)<\\infty\\)?","type":"string"},"datatype":"string"},"type":"statement","id":"Q5898338$08DE1FA4-2E7A-4185-926D-FC5EFBA28549","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4cb749bb0545117c5a39ee1b861da533345043d8","datavalue":{"value":{"entity-type":"item","numeric-id":587686,"id":"Q587686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5898338$A6F4F303-D128-4240-9204-9EFBAE45A308","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"495845c8213cf842ac820948f1353b4cef3062a2","datavalue":{"value":"11E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898338$EB4B2B42-A67F-4423-B48D-FB9EA5ACA096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9f4f913a75c61668decaed701ae5192d432188bf","datavalue":{"value":"13J15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898338$35046BED-7199-4ED6-9CD5-F7EC08FA7421","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"31896422e6d8800b21693e23b11279a404743c5b","datavalue":{"value":"14P99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898338$FD1CC144-4BFC-46A7-8521-8D3121252412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5aff12e0aaa0e845f49257674dee6d6b35fe2903","datavalue":{"value":"15A63","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898338$0FDB87A5-D961-42DE-9710-ED19F90A536D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5d58d7be59c60d578b08eb6344ce9882eb69716d","datavalue":{"value":"5121809","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898338$13C4A970-0073-4371-9A49-814A94A01F92","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7ff6ce019711bdf2b63c83da3d75e7f1c4f609a","datavalue":{"value":"quadratic forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q5898338$875CC1A7-C234-45FA-9FAE-2D9982636327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a4edfbbae10f51c03a0767ecf26d0d454aeb01a","datavalue":{"value":"sums of squares","type":"string"},"datatype":"string"},"type":"statement","id":"Q5898338$8F676D7F-F72C-4B60-B0A0-65218D18AE0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"287f55d1b173555478610100893db5f243fbf103","datavalue":{"value":"Pythagoras number","type":"string"},"datatype":"string"},"type":"statement","id":"Q5898338$B9F40DFF-542E-4C1D-AD56-01F0A9AE2690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f2f36a8e365cb1aa2bb1019a6670c33a4a50d63","datavalue":{"value":"excellent ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q5898338$5E56F65B-0536-4757-B3A5-78DB91B97598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9f81481e0e37a520146bbab1152dc30cdb747fc","datavalue":{"value":"henselian ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q5898338$C01E7827-1F3A-40DD-AC49-7AAE0C8208FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eff9788c04bf79b13110224c19c7c8d209179682","datavalue":{"value":"Artin approximation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5898338$8447B95D-EC9F-4464-9F0B-D3832E57C6AF","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":"Q5898338$8D11D7A1-8F01-457C-A1D4-036C1B0E1A88","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"963ef7d79561e0137d4bb754bb3cc15a0c4266ae","datavalue":{"value":"10.4310/MRL.2006.V13.N6.A9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898338$77087ADE-4E07-404A-AFB2-6C0AD20D5056","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adc9cbbf0de598c95ae70f71408a728ab88a2ae5","datavalue":{"value":{"entity-type":"item","numeric-id":5903202,"id":"Q5903202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6eee37abae656471563a60a71a48db63983e79c1","datavalue":{"value":{"amount":"+0.8309029340744019","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":"Q5898338$1E8FDE36-BF78-40BD-84A2-D8B8B3442D22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afb571399bddf5dbc50ae3193b70422814fc92a2","datavalue":{"value":{"entity-type":"item","numeric-id":4698624,"id":"Q4698624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dccc396e372ae2a7ea0b4cd395f6ea6994499d0f","datavalue":{"value":{"amount":"+0.8206871151924133","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":"Q5898338$13B0D86B-412F-4212-8A47-6B5A7F95C4C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ec17bbf3ab0067ce00ff1a51ea12ef0e9b11056","datavalue":{"value":{"entity-type":"item","numeric-id":4813781,"id":"Q4813781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f277e565182bf882fea23eb642ee6e2d064081e","datavalue":{"value":{"amount":"+0.8191946744918823","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":"Q5898338$0D6CEF22-5B0B-4EBD-836A-22EB3269D4E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dba34b81d1b1e49e2e0f96109def492520f8797f","datavalue":{"value":{"entity-type":"item","numeric-id":4877382,"id":"Q4877382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcf2cbc64e50f241ba260d78e16b2ca35bf82f80","datavalue":{"value":{"amount":"+0.8150379657745361","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":"Q5898338$A5287B09-DB64-412B-A06F-58E7D07F608F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e35cfec73ebc5a10ec973e7f19b767242ed629ff","datavalue":{"value":{"entity-type":"item","numeric-id":2290815,"id":"Q2290815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcf2cbc64e50f241ba260d78e16b2ca35bf82f80","datavalue":{"value":{"amount":"+0.8150379657745361","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":"Q5898338$A0EDFA3A-5874-4B35-A9B4-93B7EE794A19","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5898338","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5898338"}}}}}