{"id":"https://openalex.org/W3199796140","doi":"https://doi.org/10.1007/s11590-022-01922-5","title":"An effective version of Schm\u00fcdgen\u2019s Positivstellensatz for the hypercube","display_name":"An effective version of Schm\u00fcdgen\u2019s Positivstellensatz for the hypercube","publication_year":2022,"publication_date":"2022-09-15","ids":{"openalex":"https://openalex.org/W3199796140","doi":"https://doi.org/10.1007/s11590-022-01922-5","mag":"3199796140"},"language":"lv","primary_location":{"id":"doi:10.1007/s11590-022-01922-5","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s11590-022-01922-5","pdf_url":"https://link.springer.com/content/pdf/10.1007/s11590-022-01922-5.pdf","source":{"id":"https://openalex.org/S12647387","display_name":"Optimization Letters","issn_l":"1862-4472","issn":["1862-4472","1862-4480"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Optimization Letters","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s11590-022-01922-5.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5047819350","display_name":"Monique Laurent","orcid":"https://orcid.org/0000-0001-8474-2121"},"institutions":[{"id":"https://openalex.org/I1341640284","display_name":"Centrum Wiskunde & Informatica","ror":"https://ror.org/00x7ekv49","country_code":"NL","type":"facility","lineage":["https://openalex.org/I1341640284","https://openalex.org/I2800991832","https://openalex.org/I4405262988"]},{"id":"https://openalex.org/I193700539","display_name":"Tilburg University","ror":"https://ror.org/04b8v1s79","country_code":"NL","type":"education","lineage":["https://openalex.org/I193700539"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Monique Laurent","raw_affiliation_strings":["Centrum Wiskunde & Informatica (CWI), Amsterdam, The Netherlands","Tilburg University, Tilburg, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Centrum Wiskunde & Informatica (CWI), Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I1341640284"]},{"raw_affiliation_string":"Tilburg University, Tilburg, The Netherlands","institution_ids":["https://openalex.org/I193700539"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5085055528","display_name":"Lucas Slot","orcid":"https://orcid.org/0000-0003-3790-492X"},"institutions":[{"id":"https://openalex.org/I1341640284","display_name":"Centrum Wiskunde & Informatica","ror":"https://ror.org/00x7ekv49","country_code":"NL","type":"facility","lineage":["https://openalex.org/I1341640284","https://openalex.org/I2800991832","https://openalex.org/I4405262988"]},{"id":"https://openalex.org/I193700539","display_name":"Tilburg University","ror":"https://ror.org/04b8v1s79","country_code":"NL","type":"education","lineage":["https://openalex.org/I193700539"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Lucas Slot","raw_affiliation_strings":["Centrum Wiskunde & Informatica (CWI), Amsterdam, The Netherlands","Tilburg University, Tilburg, The Netherlands"],"raw_orcid":"https://orcid.org/0000-0003-3790-492X","affiliations":[{"raw_affiliation_string":"Centrum Wiskunde & Informatica (CWI), Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I1341640284"]},{"raw_affiliation_string":"Tilburg University, Tilburg, The Netherlands","institution_ids":["https://openalex.org/I193700539"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5047819350"],"corresponding_institution_ids":["https://openalex.org/I1341640284","https://openalex.org/I193700539"],"apc_list":{"value":2290,"currency":"EUR","value_usd":2890},"apc_paid":{"value":2290,"currency":"EUR","value_usd":2890},"fwci":1.6753,"has_fulltext":true,"cited_by_count":14,"citation_normalized_percentile":{"value":0.85310012,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"17","issue":"3","first_page":"515","last_page":"530"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11435","display_name":"Polynomial and algebraic computation","score":0.9991000294685364,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11435","display_name":"Polynomial and algebraic computation","score":0.9991000294685364,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10963","display_name":"Advanced Optimization Algorithms Research","score":0.9988999962806702,"subfield":{"id":"https://openalex.org/subfields/2612","display_name":"Numerical Analysis"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12396","display_name":"Advanced Differential Equations and Dynamical Systems","score":0.9980000257492065,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.5880937576293945},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.38851064443588257},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.37116914987564087}],"concepts":[{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5880937576293945},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.38851064443588257},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.37116914987564087}],"mesh":[],"locations_count":6,"locations":[{"id":"doi:10.1007/s11590-022-01922-5","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s11590-022-01922-5","pdf_url":"https://link.springer.com/content/pdf/10.1007/s11590-022-01922-5.pdf","source":{"id":"https://openalex.org/S12647387","display_name":"Optimization Letters","issn_l":"1862-4472","issn":["1862-4472","1862-4480"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Optimization Letters","raw_type":"journal-article"},{"id":"pmh:oai:tilburguniversity.edu:openaire/1601205f-e771-4cb5-98ce-2b701fbcde9f","is_oa":true,"landing_page_url":"https://research.tilburguniversity.edu/en/publications/1601205f-e771-4cb5-98ce-2b701fbcde9f","pdf_url":null,"source":{"id":"https://openalex.org/S4406923027","display_name":"Tilburg University Research Portal","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Laurent, M & Slot, L 2023, 'An effective version of Schm\u00fcdgen\u2019s Positivstellensatz for the hypercube', Optimization Letters, vol. 17, no. 3, pp. 515-530. https://doi.org/10.1007/s11590-022-01922-5","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:HAL:hal-04089812v1","is_oa":true,"landing_page_url":"https://hal.science/hal-04089812","pdf_url":"https://hal.science/hal-04089812/document","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Optimization Letters, 2023, 17 (3), pp.515-530. &#x27E8;10.1007/s11590-022-01922-5&#x27E9;","raw_type":"Journal articles"},{"id":"pmh:oai:cwi.nl:32153","is_oa":true,"landing_page_url":"https://ir.cwi.nl/pub/32153","pdf_url":"https://ir.cwi.nl/pub/32153/32153a.pdf","source":{"id":"https://openalex.org/S7407055335","display_name":"Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Optimization Letters vol. 17, pp. 515-530","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:RePEc:tiu:tiutis:1601205f-e771-4cb5-98ce-2b701fbcde9f","is_oa":false,"landing_page_url":"https://repository.tilburguniversity.edu/bitstreams/69d1805d-8435-4aaf-94fd-03c25347c866/download","pdf_url":null,"source":{"id":"https://openalex.org/S4306401271","display_name":"RePEc: Research Papers in Economics","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I77793887","host_organization_name":"Federal Reserve Bank of St. Louis","host_organization_lineage":["https://openalex.org/I77793887"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"preprint"},{"id":"pmh:uvt:oai:tilburguniversity.edu:publications/99ae1795-1e7d-4143-b7d6-54705a2ac0c2","is_oa":true,"landing_page_url":"https://research.tilburguniversity.edu/en/publications/99ae1795-1e7d-4143-b7d6-54705a2ac0c2","pdf_url":null,"source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Optimization Letters. Springer Verlag","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"doi:10.1007/s11590-022-01922-5","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s11590-022-01922-5","pdf_url":"https://link.springer.com/content/pdf/10.1007/s11590-022-01922-5.pdf","source":{"id":"https://openalex.org/S12647387","display_name":"Optimization Letters","issn_l":"1862-4472","issn":["1862-4472","1862-4480"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Optimization Letters","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1041234596","display_name":"Mixed-Integer Non-Linear Optimisation Applications","funder_award_id":"764759","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G5511553587","display_name":null,"funder_award_id":"764759","funder_id":"https://openalex.org/F4320332999","funder_display_name":"Horizon 2020 Framework Programme"},{"id":"https://openalex.org/G6446765011","display_name":"Mixed-Integer Non-Linear Optimisation Applications","funder_award_id":"764759","funder_id":"https://openalex.org/F4320338337","funder_display_name":"H2020 Marie Sk\u0142odowska-Curie Actions"},{"id":"https://openalex.org/G7955706205","display_name":null,"funder_award_id":"Horizon 2020","funder_id":"https://openalex.org/F4320338337","funder_display_name":"H2020 Marie Sk\u0142odowska-Curie Actions"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320332999","display_name":"Horizon 2020 Framework Programme","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320338337","display_name":"H2020 Marie Sk\u0142odowska-Curie Actions","ror":null}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3199796140.pdf","grobid_xml":"https://content.openalex.org/works/W3199796140.grobid-xml"},"referenced_works_count":24,"referenced_works":["https://openalex.org/W99708544","https://openalex.org/W1535868076","https://openalex.org/W1964603869","https://openalex.org/W1965662620","https://openalex.org/W1967344706","https://openalex.org/W2017436952","https://openalex.org/W2037783202","https://openalex.org/W2047577886","https://openalex.org/W2050003549","https://openalex.org/W2083449425","https://openalex.org/W2112356323","https://openalex.org/W2137508197","https://openalex.org/W2296530532","https://openalex.org/W2964069080","https://openalex.org/W2968911711","https://openalex.org/W3003854559","https://openalex.org/W3038798607","https://openalex.org/W3095790623","https://openalex.org/W3105711037","https://openalex.org/W3107663262","https://openalex.org/W3157758976","https://openalex.org/W3162261347","https://openalex.org/W4254742099","https://openalex.org/W4281401239"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2051487156","https://openalex.org/W2073681303","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2382290278","https://openalex.org/W2478288626","https://openalex.org/W2350741829"],"abstract_inverted_index":{"Abstract":[0],"Let":[1],"$$S":[2,136],"\\subseteq":[3],"\\mathbb":[4],"{R}^n$$":[5],"<mml:math":[6,44,59,77,140,176,202,238],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\">":[7,45,60,78,141,177,203,239],"<mml:mrow>":[8,12,46,61,79,142,146,178,204,240],"<mml:mi>S</mml:mi>":[9,143],"<mml:mo>\u2286</mml:mo>":[10],"<mml:msup>":[11,145],"<mml:mi>R</mml:mi>":[13],"</mml:mrow>":[14,17,50,65,83,153,156,187,211,247],"<mml:mi>n</mml:mi>":[15,154],"</mml:msup>":[16,155],"</mml:math>":[18,51,66,84,157,188,212,248],"be":[19,27,70],"a":[20,28,86,161],"compact":[21],"semialgebraic":[22],"set":[23],"and":[24],"let":[25],"f":[26],"polynomial":[29,222],"nonnegative":[30],"on":[31,67,117,217,233],"S":[32,68,100],".":[33,189,213,249],"Schm\u00fcdgen\u2019s":[34],"Positivstellensatz":[35],"then":[36],"states":[37],"that":[38,94,130],"for":[39,124],"any":[40],"$$\\eta":[41],"&gt;":[42],"0$$":[43],"<mml:mi>\u03b7</mml:mi>":[47,64,82,184,209],"<mml:mo>&gt;</mml:mo>":[48],"<mml:mn>0</mml:mn>":[49],",":[52,101],"the":[53,92,97,103,118,121,132,159,194,221,230,234],"nonnegativity":[54,165],"of":[55,89,91,120,164,170,220,229],"$$f":[56,74],"+":[57,75],"\\eta$$":[58,76],"<mml:mi>f</mml:mi>":[62,80],"<mml:mo>+</mml:mo>":[63,81],"can":[69],"certified":[71],"by":[72],"expressing":[73],"as":[85],"conic":[87],"combination":[88],"products":[90],"polynomials":[93,122,169],"occur":[95],"in":[96,131,199,227],"inequalities":[98],"defining":[99],"where":[102,135],"coefficients":[104],"are":[105],"(globally":[106],"nonnegative)":[107],"sum-of-squares":[108],"polynomials.":[109],"It":[110],"does":[111],"not,":[112],"however,":[113],"provide":[114],"explicit":[115],"bounds":[116],"degree":[119,171],"required":[123],"such":[125],"an":[126,218],"expression.":[127],"We":[128],"show":[129],"special":[133],"case":[134],"=":[137],"[-1,":[138],"1]^n$$":[139],"<mml:mo>=</mml:mo>":[144],"<mml:mo>[</mml:mo>":[147,241],"<mml:mo>-</mml:mo>":[148,242],"<mml:mn>1</mml:mn>":[149,151,181,207,243,245],"<mml:mo>,</mml:mo>":[150,244],"<mml:mo>]</mml:mo>":[152,246],"is":[158],"hypercube,":[160],"Schm\u00fcdgen-type":[162],"certificate":[163],"exists":[166],"involving":[167],"only":[168],"$$O(1":[172],"/":[173],"\\sqrt{\\eta":[174],"})$$":[175],"<mml:mi>O</mml:mi>":[179,205],"<mml:mo>(</mml:mo>":[180,206],"<mml:mo>/</mml:mo>":[182,208],"<mml:msqrt>":[183],"</mml:msqrt>":[185],"<mml:mo>)</mml:mo>":[186,210],"This":[190],"improves":[191],"quadratically":[192],"upon":[193],"previously":[195],"best":[196],"known":[197],"estimate":[198],"$$O(1/\\eta":[200],")$$":[201],"Our":[214],"proof":[215],"relies":[216],"application":[219],"kernel":[223,232],"method,":[224],"making":[225],"use":[226],"particular":[228],"Jackson":[231],"interval":[235],"$$[-1,":[236],"1]$$":[237]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":4},{"year":2024,"cited_by_count":6},{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":1}],"updated_date":"2026-05-13T08:25:38.343686","created_date":"2025-10-10T00:00:00"}