{"entities":{"Q1380008":{"pageid":1390748,"ns":120,"title":"Item:Q1380008","lastrevid":68588010,"modified":"2026-04-13T00:45:33Z","type":"item","id":"Q1380008","labels":{"en":{"language":"en","value":"Virtual roots of real polynomials"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1121649"}},"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":"Q1380008$F6CE0DDB-B943-4451-9A7D-F506211AD91E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0f588e8930d3ab8139a6cc54314e7754d0c6ade6","datavalue":{"value":{"text":"Virtual roots of real polynomials","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1380008$D3118402-1F26-4EC8-B8D7-89C549C57A50","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"094e555338428e168a3b7084bd34b70df355aa1e","datavalue":{"value":"0893.12002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1380008$00D1CF97-C831-4818-8F4E-B091918E3113","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"625a88713ca2083efb2a9adabce9d7fe5b813893","datavalue":{"value":"10.1016/S0022-4049(96)00102-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1380008$EE616F0E-033C-4511-96E6-B77A0FF57E63","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a59eea1ffe1bce4cc56363be8d02c10f119ff9a3","datavalue":{"value":{"entity-type":"item","numeric-id":207157,"id":"Q207157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380008$76D34A86-04C6-47C3-8E6D-161F0F8B9367","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"034f9a5ed642447d20b564d6effa648f9746422b","datavalue":{"value":{"entity-type":"item","numeric-id":208823,"id":"Q208823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380008$270CBF44-94D9-4097-8A73-7E8D2BAF0F29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab25b981d6c63c6ddbd966010533d2da7269b51a","datavalue":{"value":{"entity-type":"item","numeric-id":201496,"id":"Q201496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380008$3DDDCA94-2128-48C3-9A27-435336B25706","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":"Q1380008$9C5C30AE-21A8-4330-96BB-9FF80EBE8F36","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7d96c2cb4969d738c6643f0931d5feea9b1bc9e9","datavalue":{"value":{"time":"+1998-07-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1380008$F7008015-98A9-4066-8271-36338BA4C8CA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e815c44e296ab4c5ec61c68a5570e606ee355760","datavalue":{"value":"https://arxiv.org/abs/1712.01952","type":"string"},"datatype":"url"},"type":"statement","id":"Q1380008$5E1D4A6B-7CE5-47FA-9EC3-C3A550AF9B84","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"dbc19d61ce68a45398d3f8bbeb0eb64790061070","datavalue":{"value":"The notion of \\textit{virtual root} of a real polynomial \\(P(x)\\) is introduced to make up for the fact that not every degree \\(d\\) real univariate polynomial has \\(d\\) real roots. It is shown that, for every integer \\(d \\geq 1\\) and every integer \\(0<j\\leq d\\), there is a function \\(\\rho_{d,j}\\) on \\({\\mathbb{R}}^d\\) (identified with the set of monic univariate polynomials of degree \\(d\\)) such that \\(\\rho_{d,j}\\) is the \\(j\\)-th real root of \\(P\\) when all roots of \\(P\\) are real, and which satisfies in addition the sign conditions expected for an actual \\(j\\)-th root. For example \\(\\rho_{d,j}(P) \\leq \\rho_{d-1,j}(P')\\leq \\rho_{d,j+1}(P)\\) if \\(P'\\) is the derivative of \\(P\\). The definition is extended to multivariate polynomials by considering all but one of the variables as parameters. In fact two classes of virtual roots are defined, and their properties compared. The definitions originated in an attempt to prove the Pierce-Birkhoff conjecture, that every \\(C_0\\) spline (i.e. piecewise polynomial continuous function on \\({\\mathbb{R}}^d\\) with finite number of pieces) can be written as a finite combination of sup and inf of polynomials. Although this is not attained, interesting applications are given: a continuous version of the Thom lemma [c.f. \\textit{M. Coste} and \\textit{M. F. Roy}, J. Symb. Comput. 5, No. 1/2, 121-129 ( 1988; Zbl 0689.14006)] and the result that the integral closure of \\({\\mathbb{R}}[X_1,\\dots X_n]\\) in the ring of all continuous functions on \\({\\mathbb{R}}^n\\) is exactly the ring generated under sup and inf by the virtual roots.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1380008$78CE615D-BDC5-4A07-959C-367BED27237E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"352295d1160dbd33b62ff206ba20a986dbd58c1b","datavalue":{"value":"12D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1380008$63C98265-3ED3-4F4D-8C76-C096C6C21ACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"94a258fd6e09d2d582bb6c52c7992ac55d0da749","datavalue":{"value":"14P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1380008$094DD996-1A69-45B2-8DD6-535E2F8795CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a18d4cf36603fe699f6a4d1486a254d9514d558a","datavalue":{"value":"41A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1380008$84EB3AE9-152E-44EA-B60F-8E7ED6CB1BA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"65ef089ab6dd31e83c3611c992a3cfd8973b58bb","datavalue":{"value":"14Q20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1380008$60CF4CED-0995-48F7-98B6-964B4510C0DB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d7052bde1ce99a3b030175689df4555e780c42ba","datavalue":{"value":"1121649","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1380008$E31D1F6B-ADBC-4D04-BDF8-DB19F17235A2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da772a7d15f1e0e64cc9efacaff0ecb899b0c810","datavalue":{"value":"real polynomial","type":"string"},"datatype":"string"},"type":"statement","id":"Q1380008$B53EA922-3BFD-45C3-A3EF-E19D0AD2191B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80eba9e340379f1370a30de80ee9445c67c1fbb5","datavalue":{"value":"real root","type":"string"},"datatype":"string"},"type":"statement","id":"Q1380008$C261EB4F-A176-4D94-854D-8DD83F6400F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7497714ecce72d928955ad95102efaf27d025e4","datavalue":{"value":"semi-algebraic set","type":"string"},"datatype":"string"},"type":"statement","id":"Q1380008$9CA50004-DA58-4A28-98A1-80E8C18E8C29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae1c80db2ff61c60244fd1f801c9695d7f1890a","datavalue":{"value":"Pierce-Birkhoff conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q1380008$21CEF771-FC5A-417B-91B4-59A5A4B9E193","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c5031014feaa81aac973f212b515d45e3c3e167","datavalue":{"value":"virtual root","type":"string"},"datatype":"string"},"type":"statement","id":"Q1380008$80426E50-9A3B-45EA-99BA-D9E79BCCA888","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b9b907c176c9128b6eae6e7f4d481a7e908d127","datavalue":{"value":"spline","type":"string"},"datatype":"string"},"type":"statement","id":"Q1380008$E5E6046F-0FA9-4B32-992E-36FDA42575E8","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e200d87f1cfce7aee3654a6353f4c1c1dded81bd","datavalue":{"value":{"entity-type":"item","numeric-id":1152104,"id":"Q1152104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380008$C120F9DE-C409-498A-BC7B-9BD423FA0B2D","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":"Q1380008$4C104C58-4853-4C2A-8C82-BA1C48476A97","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"500ffa37d61270fa66ef4038b154cd6e35f8ed6b","datavalue":{"value":{"entity-type":"item","numeric-id":3770650,"id":"Q3770650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380008$981A2DB6-5D32-4A5D-8371-1973A1D63559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14afc555b6aa279ed3d11e5a009d7a7fe1a85c30","datavalue":{"value":{"entity-type":"item","numeric-id":752124,"id":"Q752124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380008$8B426AD3-7CA0-4BAB-AFCD-A1441087A35B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21b5f82e23dda129b60d99afb96032b30f1261f8","datavalue":{"value":{"entity-type":"item","numeric-id":5902937,"id":"Q5902937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380008$5B3CD3D6-AE43-44AE-BB9E-CAE60A8EC3E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41777204cc7a14a42fa4267411b80baa53e7c7a3","datavalue":{"value":{"entity-type":"item","numeric-id":5627593,"id":"Q5627593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380008$14D75409-E39E-497B-8938-BAB1D0141974","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e0051c5283732663b8c57be9575e54a72b3e7634","datavalue":{"value":"W2020175124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1380008$C3F413C3-AAB3-487E-A4F8-AAA2B67857FA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"189e82014326adddd13143a6d0875a0e244f1bf3","datavalue":{"value":{"entity-type":"item","numeric-id":5254150,"id":"Q5254150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e10cbdfa6483c768c356a33dacd8fed6b80c3c98","datavalue":{"value":{"amount":"+0.8021292090415955","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":"Q1380008$ABDF2C56-3F6A-46A8-B453-5578109365F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be5cca8c2485a0095785feda752a3e4c49d20170","datavalue":{"value":{"entity-type":"item","numeric-id":1946966,"id":"Q1946966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d680992e3ce9763fcbb1734d37455a0963344fc","datavalue":{"value":{"amount":"+0.7684524655342102","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":"Q1380008$336D1126-32E2-4004-B3A9-37BA63A3844B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06daf3a3203891f8df99c09847a6a53353878c92","datavalue":{"value":{"entity-type":"item","numeric-id":3353178,"id":"Q3353178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c14306f04e5a7edd656e6901be76bc6060f9c3b4","datavalue":{"value":{"amount":"+0.7425994873046875","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":"Q1380008$B36320C0-8825-41C0-A39D-11667BC7778A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a45e84ee61a814645b165be7846dd26b5929616b","datavalue":{"value":{"entity-type":"item","numeric-id":439219,"id":"Q439219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69147515cb3a2fbf3cf31274eed837135cc0d07b","datavalue":{"value":{"amount":"+0.7401940822601318","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":"Q1380008$90039882-9CFE-4F4E-842F-231A0F484EE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"404229eeeee879d31c9d0c3e2ed2e70c68fe849d","datavalue":{"value":{"entity-type":"item","numeric-id":752124,"id":"Q752124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"623f8d859b939b54a925c589241d062697c5d69f","datavalue":{"value":{"amount":"+0.7401662468910217","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":"Q1380008$0C48942D-73CC-447A-91AE-FB1865185F85","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Virtual roots of real polynomials","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Virtual_roots_of_real_polynomials"}}}}}