{"entities":{"Q466903":{"pageid":468670,"ns":120,"title":"Item:Q466903","lastrevid":62044632,"modified":"2026-04-11T03:24:36Z","type":"item","id":"Q466903","labels":{"en":{"language":"en","value":"On homotopy types of limits of semi-algebraic sets and additive complexity of polynomials"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6363146"}},"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":"Q466903$B21206EA-A48F-4F8F-A508-0BC61F5A0F4D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b628708cb15c045ad12f3e289efc049922c90051","datavalue":{"value":{"text":"On homotopy types of limits of semi-algebraic sets and additive complexity of polynomials","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q466903$4C51115B-3E8D-4B68-B28B-37D47C836959","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dbda7de19c552a4eaa7ebc51a0aa9530309a9177","datavalue":{"value":"1333.14056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q466903$65FF377B-471F-4D0F-B76B-BFB8DACBBC29","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d6d6dc3f41f2cc32915a3f14ed5a3559b14d3e0f","datavalue":{"value":"10.4171/JEMS/468","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q466903$75124960-327A-41DF-82E3-BBEE5B6A2518","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bda158bd0073abe565091bb46ad9d29dc2256fa3","datavalue":{"value":{"entity-type":"item","numeric-id":411398,"id":"Q411398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466903$63A0CCD1-A826-426D-A272-31D2AD3BFCE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3795326fa27f47eff8cdbd074017fa2ad664ed08","datavalue":{"value":{"entity-type":"item","numeric-id":249474,"id":"Q249474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466903$3BCBB90F-7EAF-4648-944D-772BB1E0F59E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"26780b1287f0091cd789fa2d15704011bf65df86","datavalue":{"value":{"entity-type":"item","numeric-id":171275,"id":"Q171275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466903$C025B87C-CABB-4CD7-9277-ED23ABA25906","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3d550cf90212976e1105a44c308cf7f1ad8d8e8f","datavalue":{"value":{"time":"+2014-10-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q466903$8BB2CB02-6CE3-480E-AE4A-5178BBCBA3E9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b6c63772bd095bf0c038d8a779e1e0f835912911","datavalue":{"value":"https://arxiv.org/abs/1102.0080","type":"string"},"datatype":"url"},"type":"statement","id":"Q466903$9CB894C7-9521-4A73-AF61-186DDBB8165C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"1d9b22ef7d1260b01493c287a8f3c457bacc7c58","datavalue":{"value":{"entity-type":"item","numeric-id":191946,"id":"Q191946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466903$FBF77C53-8D9C-4C02-B592-662158BE727B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"94a258fd6e09d2d582bb6c52c7992ac55d0da749","datavalue":{"value":"14P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q466903$C8F99C9F-3021-43E9-BA95-BE1775B432B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b94ccc65faebb9e970001fc23c4942a4e436a150","datavalue":{"value":"14P25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q466903$B8EF22E5-11C9-43E7-AF47-DCC38E9E15BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q466903$26A13017-589A-46B5-9BA9-9A7292140E95","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8b08855f9faef0997ff6d2ae3bf6a9426a771494","datavalue":{"value":"6363146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q466903$EE5337FB-1C7A-4A63-BF8B-C46F5A1DBE05","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96cfb323a44a09df9754faef9d69d5a01f1c2206","datavalue":{"value":"semi-algebraic sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q466903$952C6E5C-3DD6-4E2B-87F7-F9A022B58371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1b9517129a2b29d4a2d29f4ac1f515bcc1f024c","datavalue":{"value":"additive complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q466903$0F44ABD4-4AF4-4862-8817-B1E92DB7A16A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e7bc2edbd81a415b7ed7bb8f61e7799df888655","datavalue":{"value":"homotopy types","type":"string"},"datatype":"string"},"type":"statement","id":"Q466903$B977A423-2CEA-4A77-BAF0-D406F3B17FFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff6706a94da012460c6a875407c7ec82e81f3553","datavalue":{"value":"Hausdorff limit","type":"string"},"datatype":"string"},"type":"statement","id":"Q466903$4848BB53-E893-4138-88B8-0FE2AB0F946B","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":"Q466903$A05AB1C1-D8D5-4BD9-81C5-F6B0BA6AD2C1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"94c2f685c15b129fd07f0ac569432ffdf4b64bed","datavalue":{"value":{"entity-type":"item","numeric-id":1293345,"id":"Q1293345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466903$02F3FD3D-49B3-437E-9B60-A417FA0ABFAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"808c09a2140557920921de678812e2796a5dc610","datavalue":{"value":{"entity-type":"item","numeric-id":1006392,"id":"Q1006392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466903$67D7EBCF-E08C-4399-80EA-9F74041DE540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf9222f514f929c1cea642ee45aaee857bb9d04b","datavalue":{"value":{"entity-type":"item","numeric-id":5290253,"id":"Q5290253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466903$D7ABC7E7-083E-46D2-A7AD-E930E481D311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fb1e069c9e4331b31c569dc8e2183f4c63cb5ba","datavalue":{"value":{"entity-type":"item","numeric-id":5920628,"id":"Q5920628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466903$B0C2D3C5-AA1A-4FA6-90DD-9AF85689749F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12ba309e6ad2a19c66f7bb69e3f04a1a33047d8d","datavalue":{"value":{"entity-type":"item","numeric-id":5436520,"id":"Q5436520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466903$CB695F64-E969-48C8-AA5C-F2916F632B2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6df927978a50c1e9a8d01343caf99eddeda832b0","datavalue":{"value":{"entity-type":"item","numeric-id":3996250,"id":"Q3996250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466903$B5AF362A-FD46-465D-90D5-A777C9C8528F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"846407879d78f8dba740e6c73c688171cbc07349","datavalue":{"value":{"entity-type":"item","numeric-id":4654087,"id":"Q4654087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466903$8FC2332A-DD90-4DCB-815A-6488083AFF5A","rank":"normal"},{"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":"Q466903$C6125FE2-CDF0-4F5D-B49F-AF48AB6F17CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f1684abc640d1d0afdb0b11288cbe1d943977f2","datavalue":{"value":{"entity-type":"item","numeric-id":4109195,"id":"Q4109195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466903$A94F86AE-209F-41BC-A782-0643912F055F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10db26159550fa6b611c10de3ce9d5f4f1a49b1c","datavalue":{"value":{"entity-type":"item","numeric-id":4233742,"id":"Q4233742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466903$58E81786-F052-408E-B521-CFAD74164FEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2efbf4804be805d9edc5b67fde179a51b2cf4932","datavalue":{"value":{"entity-type":"item","numeric-id":1773889,"id":"Q1773889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466903$00212137-CA55-40CC-B56E-53311B14321B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"150d739a0328fe80dcffeaac960c10a44f79913e","datavalue":{"value":{"entity-type":"item","numeric-id":4469249,"id":"Q4469249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466903$9EAB6B7B-9162-4AC1-981A-20256F976828","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"074d37497070e1002b317c64568ea85e13fd8cc7","datavalue":{"value":"W2963477322","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q466903$C4B372D6-6897-405A-83E1-EBF2EEC19029","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"422bff2af68e877a1d7f96b34cac4078d719cefc","datavalue":{"value":"A polynomial \\(P\\in{\\mathbb R}[X_1,\\ldots,X_k]\\) has \\textit{additive complexity} at most \\(a\\in{\\mathbb N}\\) if there exists a straight line program allowing multiplication, division, and addition of polynomials which computes \\(P\\) by using at most \\(a\\) additions (and any number of multiplications and divisions) For a pair \\(k, a\\in{\\mathbb N},\\) denote with \\({\\mathcal A}_{k,a}\\) the family of ordered finite lists \\((P_1,\\ldots, P_s)\\) of polynomials in \\({\\mathbb R}[X_1,\\ldots, X_k]\\) with the sum of the additive complexities of the \\(P_i\\) being bounded by \\(a.\\)NEWLINENEWLINEThe main result of this paper is the following: \\textit{The number of homotopy types of ordered lists in \\({\\mathcal A}_{k,a}\\) does not exceed }\\(2^{(k+a)^{{\\mathcal O}(1)}}\\). This result was conjectured in [\\textit{S. Basu} and \\textit{N. Vorobjov}, J. Lond. Math. Soc., II. Ser. 76, No. 3, 757--776 (2007; Zbl 1131.14060)], where the result was proven for elements in \\({\\mathcal A}^{\\text{div-free}}_{k,a},\\) the subset of \\({\\mathcal A}_{k,a}\\) of polynomials having additive complexity at most \\(a\\) when the straight line program which computes them only allows multiplications and additions.NEWLINENEWLINETo prove this new result, the authors have to study Hausdorff limits of one-parameter semi-algebraic families. They show in the paper that the topological complexity (for instance the Betti numbers) of these limits are well controlled, and they prove that the number of homotopy types of such limits can be bounded singly exponentially in terms of the format of the formulas defining the family.","type":"string"},"datatype":"string"},"type":"statement","id":"Q466903$589CD7D4-6911-4970-B251-E27E1740307E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b5f005186aa768baa74be1bc5844b96692850ed","datavalue":{"value":{"entity-type":"item","numeric-id":3617274,"id":"Q3617274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"741d64b54fb2c3021fc4b48fb4c4e17d1191f02a","datavalue":{"value":{"amount":"+0.7840141654014587","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":"Q466903$0CFA89A9-706E-4847-A279-623E87EA820F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dca9fa22c92bc8e24634308443013bf8f6e1e972","datavalue":{"value":{"entity-type":"item","numeric-id":5436520,"id":"Q5436520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c68d8cf74a9d4d3ee65689faee17c8c359d31812","datavalue":{"value":{"amount":"+0.783858597278595","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":"Q466903$15C7EAE3-87EF-4E20-AD41-C4DD5171D9B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb4a9b2c5868b4e0735a577ef22d5679f0137cf3","datavalue":{"value":{"entity-type":"item","numeric-id":4692269,"id":"Q4692269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"621d967beedc80d99c9b2188eb7fcaa392d2471d","datavalue":{"value":{"amount":"+0.7758987545967102","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":"Q466903$C093A21A-E412-429E-80F3-FBBA69ED0F0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e1ce7703c16a3a1eaa2e2cf1bdf0a6fd3564363","datavalue":{"value":{"entity-type":"item","numeric-id":4204256,"id":"Q4204256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de19d271d8b93fed9490783979aa02387c25a8df","datavalue":{"value":{"amount":"+0.7719531059265137","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":"Q466903$1BCD28AC-6681-4A1C-AF79-C78D73BD09F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"863f995a3d0f1612e9cecd5ee1bc1b34fb4a6209","datavalue":{"value":{"entity-type":"item","numeric-id":5361590,"id":"Q5361590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c859687a477dc8f780b767327fa4712c49a0b0cc","datavalue":{"value":{"amount":"+0.7600697875022888","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":"Q466903$5004B4D5-ACF9-4F13-B0F0-65DC1E97E067","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On homotopy types of limits of semi-algebraic sets and additive complexity of polynomials","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_homotopy_types_of_limits_of_semi-algebraic_sets_and_additive_complexity_of_polynomials"}}}}}