{"id":"https://openalex.org/W4320086589","doi":"https://doi.org/10.48550/arxiv.2205.04254","title":"Exact polynomial optimization strengthened with Fritz John conditions","display_name":"Exact polynomial optimization strengthened with Fritz John conditions","publication_year":2022,"publication_date":"2022-05-09","ids":{"openalex":"https://openalex.org/W4320086589","doi":"https://doi.org/10.48550/arxiv.2205.04254"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2205.04254","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/2205.04254","pdf_url":"https://arxiv.org/pdf/2205.04254","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"volume":null,"type":"preprint","is_traditional":true,"indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2205.04254","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5055779194","display_name":"Ngoc Hoang Anh Mai","orcid":"https://orcid.org/0000-0002-1688-4336","observed_orcids":["https://orcid.org/0000-0002-1688-4336"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Mai, Ngoc Hoang Anh","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5055779194"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":8,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10963","display_name":"Advanced Optimization Algorithms Research","score":0.9980000257492065,"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"}},"topics":[{"id":"https://openalex.org/T10963","display_name":"Advanced Optimization Algorithms Research","score":0.9980000257492065,"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.0008999999845400453,"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/T10720","display_name":"Complexity and Algorithms in Graphs","score":9.999999747378752e-05,"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/polynomial-optimization","display_name":"polynomial optimization","score":0.9150000214576721},{"id":"https://openalex.org/keywords/fritz-john-conditions","display_name":"Fritz John conditions","score":0.8790000081062317},{"id":"https://openalex.org/keywords/semidefinite-programming","display_name":"semidefinite programming","score":0.7870000004768372},{"id":"https://openalex.org/keywords/critical-points","display_name":"critical points","score":0.6809999942779541},{"id":"https://openalex.org/keywords/finite-convergence","display_name":"finite convergence","score":0.39800000190734863},{"id":"https://openalex.org/keywords/unit-ball","display_name":"unit ball","score":0.5929999947547913},{"id":"https://openalex.org/keywords/unit-hypercube","display_name":"unit hypercube","score":0.9670000076293945},{"id":"https://openalex.org/keywords/unit-simplex","display_name":"unit simplex","score":0.996999979019165}],"concepts":[{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.6985369324684143},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.5686197876930237},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.565536618232727},{"id":"https://openalex.org/C191948623","wikidata":"https://www.wikidata.org/wiki/Q1307800","display_name":"Unit sphere","level":2,"score":0.5465089082717896},{"id":"https://openalex.org/C54207081","wikidata":"https://www.wikidata.org/wiki/Q937750","display_name":"Nabla symbol","level":3,"score":0.5380963683128357},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.47457316517829895},{"id":"https://openalex.org/C122637931","wikidata":"https://www.wikidata.org/wiki/Q118084","display_name":"Unit (ring theory)","level":2,"score":0.43528300523757935},{"id":"https://openalex.org/C50820777","wikidata":"https://www.wikidata.org/wiki/Q213723","display_name":"Hypercube","level":2,"score":0.42998209595680237},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.33234384655952454},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.19827800989151},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.14843794703483582},{"id":"https://openalex.org/C2779557605","wikidata":"https://www.wikidata.org/wiki/Q9890","display_name":"Omega","level":2,"score":0.13382890820503235},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C145420912","wikidata":"https://www.wikidata.org/wiki/Q853077","display_name":"Mathematics education","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2205.04254","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/2205.04254","pdf_url":"https://arxiv.org/pdf/2205.04254","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2205.04254","doi":"https://doi.org/10.48550/arxiv.2205.04254","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2205.04254","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2205.04254","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/2205.04254","pdf_url":"https://arxiv.org/pdf/2205.04254","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320313933","display_name":"Minist\u00e8re de l'Enseignement sup\u00e9rieur, de la Recherche et de l'Innovation","ror":null}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4320086589.pdf","grobid_xml":"https://content.openalex.org/works/W4320086589.grobid-xml"},"referenced_works_count":2,"referenced_works":["https://openalex.org/W1903713312","https://openalex.org/W3112841258"],"related_works":["https://openalex.org/W4280639352","https://openalex.org/W4281561516","https://openalex.org/W2952713872","https://openalex.org/W2057279466","https://openalex.org/W4403407078","https://openalex.org/W90705917","https://openalex.org/W2070850517","https://openalex.org/W2172207126","https://openalex.org/W4307409869","https://openalex.org/W4320463730"],"abstract_inverted_index":{"Let":[0,31],"$f,g_1,\\dots,g_m$":[1],"be":[2,33],"polynomials":[3],"with":[4,19,86,132],"real":[5,133],"coefficients":[6,20,83,134],"in":[7,73,78,135],"a":[8,74,91,154,170],"vector":[9],"of":[10,29,36,54,81,84,93,129,139,166,185],"variables":[11],"$x=(x_1,\\dots,x_n)$.":[12],"Denote":[13],"by":[14,24,40,59,96,106,115,182],"$\\text{diag}(g)$":[15],"the":[16,27,34,52,79,82,102,109,126,140,143,146,150,164,183],"diagonal":[17],"matrix":[18],"$g=(g_1,\\dots,g_m)$":[21],"and":[22,149,179],"denote":[23],"$\\nabla":[25],"g$":[26],"Jacobian":[28],"$g$.":[30],"$C$":[32,55,70],"set":[35,77,112,174],"critical":[37],"points":[38],"defined":[39,114,181],"\\begin{equation}":[41,116],"C=\\{x\\in\\mathbb":[42],"R^n\\,:\\,\\text{rank}(\u03c6(x))<":[43],"m\\}\\quad\\text{with}\\quad\u03c6:=\\begin{bmatrix}":[44],"\\nabla":[45],"g\\\\":[46],"\\text{diag}(g)":[47],"\\end{bmatrix}\\,.":[48],"\\end{equation}":[49,120],"Assume":[50],"that":[51,175],"image":[53],"under":[56],"$f$,":[57],"denoted":[58],"$f(C)$,":[60],"is":[61,71,180],"empty":[62,72],"or":[63],"finite.":[64],"(Our":[65],"assumption":[66],"holds":[67],"generically":[68],"since":[69],"Zariski":[75],"open":[76],"space":[80],"$g_1,\\dots,g_m$":[85],"given":[87],"degrees.)":[88],"We":[89],"provide":[90],"sequence":[92],"values,":[94],"returned":[95],"semidefinite":[97],"programs,":[98],"finitely":[99],"converges":[100],"to":[101,163],"minimal":[103,127],"value":[104,128],"attained":[105],"$f$":[107],"over":[108,137,169],"basic":[110,171],"semi-algebraic":[111,173],"$S$":[113],"S:=\\{x\\in\\mathbb":[117],"R^n\\,:\\,g_j(x)\\ge":[118],"0\\,,\\,j=1,\\dots,m\\}\\,.":[119],"Consequently,":[121],"we":[122,159],"can":[123],"compute":[124],"exactly":[125],"any":[130,167],"polynomial":[131,168],"$x$":[136],"one":[138],"following":[141],"sets:":[142],"unit":[144,147,151],"ball,":[145],"hypercube":[148],"simplex.":[152],"Under":[153],"slightly":[155],"more":[156],"general":[157],"assumption,":[158],"extend":[160],"this":[161],"result":[162],"minimization":[165],"convex":[172],"has":[176],"non-empty":[177],"interior":[178],"inequalities":[184],"concave":[186],"polynomials.":[187]},"counts_by_year":[{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":6}],"updated_date":"2026-11-10T11:39:43.021295","created_date":"2023-02-12T00:00:00"}