{"id":"https://openalex.org/W4410155359","doi":"https://doi.org/10.1287/moor.2024.0402","title":"Positivstellens\u00e4tze and Moment Problems with Universal Quantifiers","display_name":"Positivstellens\u00e4tze and Moment Problems with Universal Quantifiers","publication_year":2025,"publication_date":"2025-05-07","ids":{"openalex":"https://openalex.org/W4410155359","doi":"https://doi.org/10.1287/moor.2024.0402"},"language":"en","primary_location":{"id":"doi:10.1287/moor.2024.0402","is_oa":false,"landing_page_url":"https://doi.org/10.1287/moor.2024.0402","pdf_url":null,"source":{"id":"https://openalex.org/S55826652","display_name":"Mathematics of Operations Research","issn_l":"0364-765X","issn":["0364-765X","1526-5471"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310315699","host_organization_name":"Institute for Operations Research and the Management Sciences","host_organization_lineage":["https://openalex.org/P4310315699"],"host_organization_lineage_names":["Institute for Operations Research and the Management Sciences"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematics of Operations Research","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5077281667","display_name":"Xiaomeng Hu","orcid":"https://orcid.org/0000-0001-9494-9003"},"institutions":[{"id":"https://openalex.org/I36258959","display_name":"University of California San Diego","ror":"https://ror.org/0168r3w48","country_code":"US","type":"education","lineage":["https://openalex.org/I36258959"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Xiaomeng Hu","raw_affiliation_strings":["Department of Mathematics, University of California San Diego, La Jolla, California 92093"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics, University of California San Diego, La Jolla, California 92093","institution_ids":["https://openalex.org/I36258959"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5065891534","display_name":"Igor Klep","orcid":"https://orcid.org/0000-0001-5245-8484"},"institutions":[{"id":"https://openalex.org/I118905719","display_name":"University of Primorska","ror":"https://ror.org/05xefg082","country_code":"SI","type":"education","lineage":["https://openalex.org/I118905719"]},{"id":"https://openalex.org/I153976015","display_name":"University of Ljubljana","ror":"https://ror.org/05njb9z20","country_code":"SI","type":"education","lineage":["https://openalex.org/I153976015"]},{"id":"https://openalex.org/I4210106342","display_name":"Institute of Mathematics, Physics, and Mechanics","ror":"https://ror.org/01eb3qa50","country_code":"SI","type":"facility","lineage":["https://openalex.org/I4210106342"]}],"countries":["SI"],"is_corresponding":false,"raw_author_name":"Igor Klep","raw_affiliation_strings":["Faculty of Mathematics and Physics, University of Ljubljana, 1000 Ljubljana, Slovenia; and Faculty of Mathematics, Science and Information Technology, University of Primorska, 6000 Koper, Slovenia; and Institute of Mathematics, Physics and Mechanics, 1000 Ljubljana, Slovenia"],"raw_orcid":"https://orcid.org/0000-0001-5245-8484","affiliations":[{"raw_affiliation_string":"Faculty of Mathematics and Physics, University of Ljubljana, 1000 Ljubljana, Slovenia; and Faculty of Mathematics, Science and Information Technology, University of Primorska, 6000 Koper, Slovenia; and Institute of Mathematics, Physics and Mechanics, 1000 Ljubljana, Slovenia","institution_ids":["https://openalex.org/I118905719","https://openalex.org/I153976015","https://openalex.org/I4210106342"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5018024598","display_name":"Jiawang Nie","orcid":"https://orcid.org/0000-0003-2637-8274"},"institutions":[{"id":"https://openalex.org/I36258959","display_name":"University of California San Diego","ror":"https://ror.org/0168r3w48","country_code":"US","type":"education","lineage":["https://openalex.org/I36258959"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jiawang Nie","raw_affiliation_strings":["Department of Mathematics, University of California San Diego, La Jolla, California 92093"],"raw_orcid":"https://orcid.org/0000-0003-2637-8274","affiliations":[{"raw_affiliation_string":"Department of Mathematics, University of California San Diego, La Jolla, California 92093","institution_ids":["https://openalex.org/I36258959"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.0909,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.79248972,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":"51","issue":"2","first_page":"1037","last_page":"1060"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10792","display_name":"Matrix Theory and Algorithms","score":0.9968000054359436,"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/T10792","display_name":"Matrix Theory and Algorithms","score":0.9968000054359436,"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.9962999820709229,"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/T11435","display_name":"Polynomial and algebraic computation","score":0.9962999820709229,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.8948651552200317},{"id":"https://openalex.org/keywords/moment","display_name":"Moment (physics)","score":0.6562343835830688},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.4641605019569397},{"id":"https://openalex.org/keywords/mathematical-economics","display_name":"Mathematical economics","score":0.44069021940231323},{"id":"https://openalex.org/keywords/applied-mathematics","display_name":"Applied mathematics","score":0.32474231719970703},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.32382848858833313},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.32050782442092896},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.21349406242370605}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8948651552200317},{"id":"https://openalex.org/C179254644","wikidata":"https://www.wikidata.org/wiki/Q13222844","display_name":"Moment (physics)","level":2,"score":0.6562343835830688},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.4641605019569397},{"id":"https://openalex.org/C144237770","wikidata":"https://www.wikidata.org/wiki/Q747534","display_name":"Mathematical economics","level":1,"score":0.44069021940231323},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.32474231719970703},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.32382848858833313},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.32050782442092896},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.21349406242370605},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C74650414","wikidata":"https://www.wikidata.org/wiki/Q11397","display_name":"Classical mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1287/moor.2024.0402","is_oa":false,"landing_page_url":"https://doi.org/10.1287/moor.2024.0402","pdf_url":null,"source":{"id":"https://openalex.org/S55826652","display_name":"Mathematics of Operations Research","issn_l":"0364-765X","issn":["0364-765X","1526-5471"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310315699","host_organization_name":"Institute for Operations Research and the Management Sciences","host_organization_lineage":["https://openalex.org/P4310315699"],"host_organization_lineage_names":["Institute for Operations Research and the Management Sciences"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematics of Operations Research","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":58,"referenced_works":["https://openalex.org/W131296717","https://openalex.org/W186403072","https://openalex.org/W404764422","https://openalex.org/W1543064558","https://openalex.org/W1622369672","https://openalex.org/W1888404329","https://openalex.org/W1967073510","https://openalex.org/W2019262779","https://openalex.org/W2046491103","https://openalex.org/W2046787108","https://openalex.org/W2048351648","https://openalex.org/W2049225870","https://openalex.org/W2061186416","https://openalex.org/W2077162779","https://openalex.org/W2086016098","https://openalex.org/W2088660795","https://openalex.org/W2090967418","https://openalex.org/W2093847767","https://openalex.org/W2097743263","https://openalex.org/W2116854630","https://openalex.org/W2116921991","https://openalex.org/W2146798619","https://openalex.org/W2165281529","https://openalex.org/W2171647679","https://openalex.org/W2194452017","https://openalex.org/W2313382788","https://openalex.org/W2528147889","https://openalex.org/W2548706375","https://openalex.org/W2588543890","https://openalex.org/W2592066407","https://openalex.org/W2783442518","https://openalex.org/W2796843074","https://openalex.org/W2886036951","https://openalex.org/W2914166403","https://openalex.org/W2918466505","https://openalex.org/W2958329528","https://openalex.org/W2964048524","https://openalex.org/W2964049675","https://openalex.org/W3009355061","https://openalex.org/W3024015782","https://openalex.org/W3082586585","https://openalex.org/W3084445672","https://openalex.org/W3103237592","https://openalex.org/W3103262806","https://openalex.org/W4225593432","https://openalex.org/W4229030963","https://openalex.org/W4254742099","https://openalex.org/W4255072566","https://openalex.org/W4255213956","https://openalex.org/W4255442211","https://openalex.org/W4256525584","https://openalex.org/W4293258886","https://openalex.org/W4299599836","https://openalex.org/W4311995014","https://openalex.org/W4321613059","https://openalex.org/W4376983321","https://openalex.org/W4381623550","https://openalex.org/W4383721263"],"related_works":["https://openalex.org/W1973641256","https://openalex.org/W2089274067","https://openalex.org/W56994397","https://openalex.org/W1121942432","https://openalex.org/W2418069309","https://openalex.org/W2376158287","https://openalex.org/W1526165314","https://openalex.org/W2359859943","https://openalex.org/W2088123951","https://openalex.org/W2993306360"],"abstract_inverted_index":{"This":[0,141],"paper":[1],"studies":[2],"Positivstellens\u00e4tze":[3],"and":[4,35,76,102,123,182,211,213,254],"moment":[5,108,124],"problems":[6,109,125,175],"for":[7,79],"sets":[8,131],"K":[9],"that":[10,245],"are":[11,132,185],"given":[12,133],"by":[13,134,188,197,217],"universal":[14,23,49,139],"quantifiers.":[15,24,140],"Let":[16],"Q":[17,34,161],"be":[18,165],"the":[19,39,63,68,95,120,189,198,218,223,236,241,250,258],"closed":[20],"set":[21,113,160],"of":[22,100,119,147,222,226],"Fix":[25],"a":[26,46,52,80,87,112,144],"finite":[27],"nonnegative":[28],"Borel":[29],"measure":[30,89],"whose":[31],"support":[32],"is":[33,55,104,152,162,195],"assume":[36],"it":[37,169],"satisfies":[38],"multivariate":[40],"Carleman":[41],"condition.":[42],"First,":[43],"we":[44,72,116],"prove":[45,73],"Positivstellensatz":[47,122],"with":[48,138,176],"quantifiers:":[50],"if":[51],"polynomial":[53],"f":[54,60],"positive":[56],"on":[57,110],"K,":[58],"then":[59],"belongs":[61],"to":[62,85,106,164,171],"associated":[64],"quadratic":[65],"module,":[66],"under":[67,154,257],"archimedeanness":[69],"assumption.":[70],"Second,":[71],"some":[74,155,173],"necessary":[75],"sufficient":[77],"conditions":[78],"full":[81],"(or":[82],"truncated)":[83],"multisequence":[84],"admit":[86],"representing":[88],"supported":[90,187,196,216],"in":[91,126,143],"K.":[92,114],"In":[93],"particular,":[94],"classical":[96],"flat":[97],"extension":[98],"theorem":[99],"Curto":[101],"Fialkow":[103],"generalized":[105],"truncated":[107],"such":[111],"Third,":[115],"present":[117],"applications":[118],"above":[121],"semi-infinite":[127],"optimization,":[128],"where":[129],"feasible":[130],"infinitely":[135],"many":[136],"constraints":[137],"results":[142],"new":[145],"hierarchy":[146],"Moment-SOS":[148],"relaxations.":[149],"Its":[150],"convergence":[151],"shown":[153],"usual":[156],"assumptions.":[157],"The":[158],"quantifier":[159],"allowed":[163],"non-semialgebraic,":[166],"which":[167],"makes":[168],"possible":[170],"solve":[172],"optimization":[174],"non-semialgebraic":[177],"constraints.":[178],"Funding:":[179],"X.":[180],"Hu":[181],"J.":[183],"Nie":[184],"partially":[186,215],"NSF":[190],"[Grant":[191],"DMS-2110780].":[192],"I.":[193,229],"Klep":[194],"Slovenian":[199],"Research":[200],"Agency":[201],"program":[202,244,256],"P1-0222":[203],"[also":[204],"Grants":[205],"J1-50002,":[206],"J1-60011,":[207],"J1-50001,":[208],"J1-2453,":[209],"N1-0217,":[210],"J1-3004]":[212],"was":[214,232],"Marsden":[219],"Fund":[220],"Council":[221],"Royal":[224],"Society":[225],"New":[227],"Zealand.":[228],"Klep\u2019s":[230],"work":[231],"partly":[233],"performed":[234],"within":[235,240],"project":[237],"COMPUTE,":[238],"funded":[239],"QuantERA":[242],"II":[243],"has":[246],"received":[247],"funding":[248],"from":[249],"EU\u2019s":[251],"H2020":[252],"research":[253],"innovation":[255],"GA":[259],"No":[260],"101017733.":[261]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}