{"entities":{"Q869221":{"pageid":871069,"ns":120,"title":"Item:Q869221","lastrevid":64965000,"modified":"2026-04-11T23:24:51Z","type":"item","id":"Q869221","labels":{"en":{"language":"en","value":"Polynomials over ordered fields"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5129955"}},"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":"Q869221$272C263C-AB38-4F97-9226-F622F7197490","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"486c31dcbc3a1362083f372f7f0f3ef05d6671f4","datavalue":{"value":{"text":"Polynomials over ordered fields","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q869221$942EF397-8256-4388-837B-08BCFD434CDD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3e9b7d718aa95ea5579f77bc01bc78d91ad28557","datavalue":{"value":"1111.12001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q869221$EE1221FB-38A9-4C2D-AC15-7C4AF1B6FCB6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d4e4d0b659b0aff22281b607e028940ebdecd80","datavalue":{"value":{"entity-type":"item","numeric-id":342588,"id":"Q342588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q869221$9EAE648B-7560-4507-A134-3504B22B7B5A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q869221$65AFA3F1-2195-42FB-AEC6-15587E8BC376","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0a3e704c51126050d068b3f11b9ffa0001836f09","datavalue":{"value":{"time":"+2007-02-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q869221$A3FA055C-0E34-4828-9173-922514F3D71A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"243074e86b9f258454aba8df0229b3e1e869d3c6","datavalue":{"value":"There is a theorem, published in 1928 by P\u00f3lya, about the representation of any real form \\(F\\) which is positive on the region \\(\\{(x_1,\\ldots,x_n)\\in \\mathbb R^n : \\text{\\;all\\;} x_j\\geq0 \\text{\\;and\\;} \\sum x_j>0\\}\\) as a quotient \\(G/H\\), where \\(G\\) is a form all whose coefficients are positive and \\(H=(x_1+\\ldots+x_n)^p\\), for some \\(p\\in\\mathbb N\\). Written as \\(G/H\\), the positivity of \\(F\\) is evident.   The paper under review can be considered as a vast generalization of P\u00f3lya's theorem. In the first place, the real field is replaced by any ordered field \\(K\\). Let \\(\\overline K\\) be the real closure of \\(K\\). Let \\(X=(X_1,\\ldots, X_n)\\) be indeterminates. For any \\(F\\in K[X]\\), let \\(| F| \\) denote the polynomial whose coefficients are the absolute values of the coefficients of \\(F\\). The author proves the following theorem (Theorem 3.1): given a form \\(0\\neq F\\) in \\(K[X]\\), there exist forms \\(G,H\\) in \\(K[X]\\) all whose coefficients are positive so that \\(FH=G\\) if and only if there exists a rational \\(\\epsilon>0\\) such that \\(\\epsilon | F| (x)< F(x)\\), for all \\(x\\in \\{(x_1,\\ldots,x_n)\\in {\\overline K}^n : \\text{\\;all\\;} x_j\\geq0 \\text{\\;and\\;} \\sum x_j>0\\}\\).   This result follows from the paper's main theorem: given a polynomial \\(0\\neq P\\) in \\(K[X]\\), there exists a polynomial \\(0\\neq H\\) in \\(K[X]\\) such that all the coefficients of \\(FH\\) are non-negative if and only if there exists a rational \\(\\epsilon>0\\) such that \\(\\epsilon | F| (x)< F(x)\\), for all \\(x\\in \\{(x_1,\\ldots,x_n)\\in {\\overline K}^n : \\text{\\;all\\;} x_j\\geq0 \\}\\). Moreover, if such an \\(H\\) exists, it can be chosen having all coefficients non-negative or having all coefficients non-positive. The techniques used in the proofs come from the theories of ordered fields and of convex sets and polytopes. As the author points out, P\u00f3lya's method does not apply to non-Archimedean fields.   In addition to this paper, there are several papers about P\u00f3lya's theorem which might be interesting to the reader (none of them appear in the bibliography), such as [\\textit{G.-X. Zeng}, ``Ordered fields satisfying P\u00f3lya's theorem'', Proc. Am. Math. Soc. 133, No. 10, 2921--2926 (2005; Zbl 1105.12002)] and papers cited therein.","type":"string"},"datatype":"string"},"type":"statement","id":"Q869221$7CE9D465-1363-489D-B7C8-3D3D9AB4BAD1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"7d1e02c83c91d532fb7c403ea279d92c16d95f48","datavalue":{"value":{"entity-type":"item","numeric-id":591430,"id":"Q591430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q869221$2F82AC8B-150B-4742-94E3-98C0170FEA9A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"299c2ceee90a97db4ef5b7d633c2a5784e0cb3c0","datavalue":{"value":"12D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q869221$96A17858-ACAA-4F43-A67B-93ED945C7DFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c9b87656e7915b52fa0c6607ef9d80011fa9e213","datavalue":{"value":"11E10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q869221$0542B09D-2B0D-4093-A104-174FA7C739A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"798eea1f37baf19c7c9678fe1fc9dd8eadfa6f52","datavalue":{"value":"52B11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q869221$C4672D50-B56C-4BA7-83A3-618472AE2ECE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0a5a47dae4beb9ad7c0f742a8768433f550b9e9d","datavalue":{"value":"5129955","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q869221$C7795E90-B9BD-4D81-8618-F99D60427DE0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5d2fa24c579b2baeef4d0446de7aa9ba4289043","datavalue":{"value":"polynomial","type":"string"},"datatype":"string"},"type":"statement","id":"Q869221$3257346B-31BD-4182-9075-9943E886E855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"587589161830e091d7e1d17beebcdefd8401e4cc","datavalue":{"value":"ordered field","type":"string"},"datatype":"string"},"type":"statement","id":"Q869221$F507804D-C3B2-4A94-8A08-19523E3F778A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60a0463d59e3b79b6833f1c0f3e2fc842d4b55b8","datavalue":{"value":"P\u00f3lya's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q869221$6C4A2F3C-F0CB-4C47-9C0E-F6DAC4F0A96F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"115286b17d8e3ddd36c2cebccaad29a07a18df60","datavalue":{"value":"non-negative coefficients","type":"string"},"datatype":"string"},"type":"statement","id":"Q869221$A2755ECF-9C13-452F-B221-68FEAA0A9FFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47eed9c835ad5532544f6a39c6606869eb9c671a","datavalue":{"value":"positive coefficients","type":"string"},"datatype":"string"},"type":"statement","id":"Q869221$DAD538ED-D1D5-44FF-84B3-4A24A6C8A494","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":"Q869221$D07F5D73-1A21-4DCC-B013-AA9F4DDB87F0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ea3815f68f9cacea3c66d0628a921256929c2c56","datavalue":{"value":"https://doi.org/10.1016/j.jpaa.2006.06.014","type":"string"},"datatype":"url"},"type":"statement","id":"Q869221$BF132EBC-FC55-4B8A-B9FA-AD100BF01FE3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7b79ccf00f7cb7989675b2cc3216955487cf9b24","datavalue":{"value":"W2071810978","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q869221$D7E99A38-C912-4A94-82D7-CEDFAB8E5E9F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ab81079a2db277b12693d5603e31ff517ec3443","datavalue":{"value":{"entity-type":"item","numeric-id":5812325,"id":"Q5812325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q869221$1BD0497F-B1E4-4D6B-B630-41FF799B655A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6f276c4b10bc81f8794236ab6c5b472cb290255","datavalue":{"value":{"entity-type":"item","numeric-id":4141914,"id":"Q4141914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q869221$43EB78D2-8189-401F-A99E-E4F58D9EB0D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2aa4eeac790205c4037ea67c80426826ddde338","datavalue":{"value":{"entity-type":"item","numeric-id":5638112,"id":"Q5638112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q869221$5A422D2C-E95B-44B5-8DFE-A037C8D46644","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3dfe93acc0e842468d31db75f28d7d85954eafe5","datavalue":{"value":"10.1016/J.JPAA.2006.06.014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q869221$00179093-D1B5-476C-BBA0-539FEE7A6B5B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af34951669d1a9e6b41f27e623883e84a7002687","datavalue":{"value":{"entity-type":"item","numeric-id":5461303,"id":"Q5461303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2710325c929cef02b100a268c44182f10f5cfe00","datavalue":{"value":{"amount":"+0.9005472660064697","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":"Q869221$0EE0F443-2860-42BA-9E80-2CF6393E828C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76ac2a545630874a3c6aaa661e2d3911f6c86981","datavalue":{"value":{"entity-type":"item","numeric-id":1030259,"id":"Q1030259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e5f096939cd14fc2ecace58ba2784f83737d00b","datavalue":{"value":{"amount":"+0.8814696669578552","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":"Q869221$9397BED1-88DA-46B8-9406-4B788E29FCC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21086276cd2993a3fa16e154d137613c1e451196","datavalue":{"value":{"entity-type":"item","numeric-id":1917390,"id":"Q1917390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b0c717c598619467947d07decd788e37e32f2b4","datavalue":{"value":{"amount":"+0.8270636796951294","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":"Q869221$4F251AF1-33CE-4F10-A375-5C2EA41E93F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f8ac381f83004d671297f82c7c08bce320f6364","datavalue":{"value":{"entity-type":"item","numeric-id":949641,"id":"Q949641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5948b94950acb3b8feb34baf60cd9514deb86f5","datavalue":{"value":{"amount":"+0.823643147945404","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":"Q869221$B5157B8A-ABCA-4FDF-A13F-D25637C31EE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4da6890796ae01fc3b50116e85917bad373e5097","datavalue":{"value":{"entity-type":"item","numeric-id":2275902,"id":"Q2275902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18c4454f53678ce6fa8ee3c45b7c9c58dccff161","datavalue":{"value":{"amount":"+0.799508273601532","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":"Q869221$B6BE5FAE-E395-41E9-AD93-8558D2EF3EA4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Polynomials over ordered fields","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Polynomials_over_ordered_fields"}}}}}