{"id":"https://openalex.org/W2000191618","doi":"https://doi.org/10.1109/acc.2012.6315687","title":"On the difficulty of deciding asymptotic stability of cubic homogeneous vector fields","display_name":"On the difficulty of deciding asymptotic stability of cubic homogeneous vector fields","publication_year":2012,"publication_date":"2012-06-01","ids":{"openalex":"https://openalex.org/W2000191618","doi":"https://doi.org/10.1109/acc.2012.6315687","mag":"2000191618"},"language":"en","primary_location":{"id":"doi:10.1109/acc.2012.6315687","is_oa":false,"landing_page_url":"https://doi.org/10.1109/acc.2012.6315687","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2012 American Control Conference (ACC)","raw_type":"proceedings-article"},"type":"preprint","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1112.0741","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5101485689","display_name":"Amir Ali Ahmadi","orcid":"https://orcid.org/0000-0003-1590-7281"},"institutions":[{"id":"https://openalex.org/I63966007","display_name":"Massachusetts Institute of Technology","ror":"https://ror.org/042nb2s44","country_code":"US","type":"education","lineage":["https://openalex.org/I63966007"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"A. A. Ahmadi","raw_affiliation_strings":["Laboratory for Computer Science and Artificial Intelligence, Department of Electrical Engineering and Computer Science, Massachusetts Institute of Technology, USA","Laboratory for Computer Science and Artificial Intelligence, Department of Electrical Engineering and Computer Science, Massachusetts Institute of Technology"],"affiliations":[{"raw_affiliation_string":"Laboratory for Computer Science and Artificial Intelligence, Department of Electrical Engineering and Computer Science, Massachusetts Institute of Technology, USA","institution_ids":["https://openalex.org/I63966007"]},{"raw_affiliation_string":"Laboratory for Computer Science and Artificial Intelligence, Department of Electrical Engineering and Computer Science, Massachusetts Institute of Technology","institution_ids":["https://openalex.org/I63966007"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5101485689"],"corresponding_institution_ids":["https://openalex.org/I63966007"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.07278458,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"3334","last_page":"3339"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12396","display_name":"Advanced Differential Equations and Dynamical Systems","score":0.9927999973297119,"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"}},"topics":[{"id":"https://openalex.org/T12396","display_name":"Advanced Differential Equations and Dynamical Systems","score":0.9927999973297119,"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"}},{"id":"https://openalex.org/T12772","display_name":"Control and Stability of Dynamical Systems","score":0.9832000136375427,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9764999747276306,"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/homogeneous-polynomial","display_name":"Homogeneous polynomial","score":0.8605583310127258},{"id":"https://openalex.org/keywords/lyapunov-function","display_name":"Lyapunov function","score":0.7914930582046509},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.7401803731918335},{"id":"https://openalex.org/keywords/degree","display_name":"Degree (music)","score":0.6567862033843994},{"id":"https://openalex.org/keywords/polynomial","display_name":"Polynomial","score":0.6418139934539795},{"id":"https://openalex.org/keywords/vector-field","display_name":"Vector field","score":0.6077483892440796},{"id":"https://openalex.org/keywords/exponential-stability","display_name":"Exponential stability","score":0.5511599779129028},{"id":"https://openalex.org/keywords/monotonic-function","display_name":"Monotonic function","score":0.5412225127220154},{"id":"https://openalex.org/keywords/lyapunov-exponent","display_name":"Lyapunov exponent","score":0.5182440280914307},{"id":"https://openalex.org/keywords/degree-of-a-polynomial","display_name":"Degree of a polynomial","score":0.48854026198387146},{"id":"https://openalex.org/keywords/homogeneous","display_name":"Homogeneous","score":0.48824432492256165},{"id":"https://openalex.org/keywords/cubic-function","display_name":"Cubic function","score":0.4801023304462433},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.46335864067077637},{"id":"https://openalex.org/keywords/lyapunov-equation","display_name":"Lyapunov equation","score":0.4380422830581665},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.4129631221294403},{"id":"https://openalex.org/keywords/applied-mathematics","display_name":"Applied mathematics","score":0.3522559702396393},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.2615633010864258},{"id":"https://openalex.org/keywords/matrix-polynomial","display_name":"Matrix polynomial","score":0.20618578791618347},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.07689163088798523},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.07412448525428772},{"id":"https://openalex.org/keywords/nonlinear-system","display_name":"Nonlinear system","score":0.05723169445991516}],"concepts":[{"id":"https://openalex.org/C17103678","wikidata":"https://www.wikidata.org/wiki/Q1474074","display_name":"Homogeneous polynomial","level":4,"score":0.8605583310127258},{"id":"https://openalex.org/C60640748","wikidata":"https://www.wikidata.org/wiki/Q2337858","display_name":"Lyapunov function","level":3,"score":0.7914930582046509},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7401803731918335},{"id":"https://openalex.org/C2775997480","wikidata":"https://www.wikidata.org/wiki/Q586277","display_name":"Degree (music)","level":2,"score":0.6567862033843994},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.6418139934539795},{"id":"https://openalex.org/C91188154","wikidata":"https://www.wikidata.org/wiki/Q186247","display_name":"Vector field","level":2,"score":0.6077483892440796},{"id":"https://openalex.org/C167964875","wikidata":"https://www.wikidata.org/wiki/Q17011487","display_name":"Exponential stability","level":3,"score":0.5511599779129028},{"id":"https://openalex.org/C72169020","wikidata":"https://www.wikidata.org/wiki/Q194404","display_name":"Monotonic function","level":2,"score":0.5412225127220154},{"id":"https://openalex.org/C191544260","wikidata":"https://www.wikidata.org/wiki/Q1238630","display_name":"Lyapunov exponent","level":3,"score":0.5182440280914307},{"id":"https://openalex.org/C25878781","wikidata":"https://www.wikidata.org/wiki/Q1473607","display_name":"Degree of a polynomial","level":3,"score":0.48854026198387146},{"id":"https://openalex.org/C66882249","wikidata":"https://www.wikidata.org/wiki/Q169336","display_name":"Homogeneous","level":2,"score":0.48824432492256165},{"id":"https://openalex.org/C65559279","wikidata":"https://www.wikidata.org/wiki/Q16667694","display_name":"Cubic function","level":2,"score":0.4801023304462433},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.46335864067077637},{"id":"https://openalex.org/C25854792","wikidata":"https://www.wikidata.org/wiki/Q1028945","display_name":"Lyapunov equation","level":4,"score":0.4380422830581665},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.4129631221294403},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.3522559702396393},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.2615633010864258},{"id":"https://openalex.org/C101044782","wikidata":"https://www.wikidata.org/wiki/Q6787887","display_name":"Matrix polynomial","level":3,"score":0.20618578791618347},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.07689163088798523},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.07412448525428772},{"id":"https://openalex.org/C158622935","wikidata":"https://www.wikidata.org/wiki/Q660848","display_name":"Nonlinear system","level":2,"score":0.05723169445991516},{"id":"https://openalex.org/C24890656","wikidata":"https://www.wikidata.org/wiki/Q82811","display_name":"Acoustics","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"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/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","level":1,"score":0.0}],"mesh":[],"locations_count":7,"locations":[{"id":"doi:10.1109/acc.2012.6315687","is_oa":false,"landing_page_url":"https://doi.org/10.1109/acc.2012.6315687","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2012 American Control Conference (ACC)","raw_type":"proceedings-article"},{"id":"pmh:oai:arXiv.org:1112.0741","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1112.0741","pdf_url":"https://arxiv.org/pdf/1112.0741","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"mag:2000191618","is_oa":true,"landing_page_url":"https://arxiv.org/pdf/1112.0741","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"arXiv (Cornell University)","raw_type":null},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.416.787","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.416.787","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.optimization-online.org/DB_FILE/2011/12/3262.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.760.1010","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.760.1010","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://arxiv.org/pdf/1112.0741.pdf","raw_type":"text"},{"id":"doi:10.48550/arxiv.1112.0741","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1112.0741","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"},{"id":"mag:3151859478","is_oa":false,"landing_page_url":"http://yadda.icm.edu.pl/yadda/element/bwmeta1.element.ieee-000006315687","pdf_url":null,"source":{"id":"https://openalex.org/S4306417620","display_name":"Advances in Computing and Communications","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":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":"Advances in Computing and Communications","raw_type":null}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1112.0741","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1112.0741","pdf_url":"https://arxiv.org/pdf/1112.0741","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2000191618.pdf","grobid_xml":"https://content.openalex.org/works/W2000191618.grobid-xml"},"referenced_works_count":37,"referenced_works":["https://openalex.org/W68192900","https://openalex.org/W1496537269","https://openalex.org/W1523169754","https://openalex.org/W1527177198","https://openalex.org/W1552510372","https://openalex.org/W1553142094","https://openalex.org/W1591868040","https://openalex.org/W1859890079","https://openalex.org/W1967184028","https://openalex.org/W1972580903","https://openalex.org/W1975322117","https://openalex.org/W1991656001","https://openalex.org/W1997200860","https://openalex.org/W2003652915","https://openalex.org/W2006116648","https://openalex.org/W2017888836","https://openalex.org/W2026018724","https://openalex.org/W2046811859","https://openalex.org/W2055090651","https://openalex.org/W2079135578","https://openalex.org/W2080688746","https://openalex.org/W2094995801","https://openalex.org/W2103952421","https://openalex.org/W2104292418","https://openalex.org/W2107104458","https://openalex.org/W2113789941","https://openalex.org/W2120146316","https://openalex.org/W2121680057","https://openalex.org/W2133404041","https://openalex.org/W2139288805","https://openalex.org/W2145328298","https://openalex.org/W2182510773","https://openalex.org/W2318268489","https://openalex.org/W4210708910","https://openalex.org/W4254127125","https://openalex.org/W4293738473","https://openalex.org/W4298290503"],"related_works":["https://openalex.org/W3104124593","https://openalex.org/W2761269047","https://openalex.org/W2034956685","https://openalex.org/W657788744","https://openalex.org/W2110616976","https://openalex.org/W1978246644","https://openalex.org/W2624804050","https://openalex.org/W3136044007","https://openalex.org/W2011665537","https://openalex.org/W2351634655","https://openalex.org/W2167269972","https://openalex.org/W2024746156","https://openalex.org/W1658501143","https://openalex.org/W1657275981","https://openalex.org/W1994608088","https://openalex.org/W2959915527","https://openalex.org/W2899907808","https://openalex.org/W624627483","https://openalex.org/W2887763427","https://openalex.org/W1992771184"],"abstract_inverted_index":{"It":[0],"is":[1,49,66,77,135],"well-known":[2],"that":[3,58,86,104,133,145],"asymptotic":[4],"stability":[5],"(AS)":[6],"of":[7,12,36,61,73,83,99,121,141,160,173],"homogeneous":[8,33,62,108,150,156,169],"polynomial":[9,22,123,142,157,170],"vector":[10,34,64,110,152],"fields":[11,35,65,111],"degree":[13,38,46,120,140,162,174],"one":[14],"(i.e.,":[15],"linear":[16],"systems)":[17],"can":[18,39,126,164],"be":[19,41,127],"decided":[20],"in":[21,112,138],"time":[23],"e.g.":[24],"by":[25],"searching":[26],"for":[27,96,105],"a":[28,81,93,122,149,168],"quadratic":[29],"Lyapunov":[30,124,143,158,171],"function.":[31],"Since":[32],"even":[37,78],"never":[40],"AS,":[42],"the":[43,71,84,118,139],"next":[44],"interesting":[45],"to":[47,51],"consider":[48],"equal":[50],"three.":[52],"In":[53],"this":[54],"paper,":[55],"we":[56,91,131],"prove":[57,146],"deciding":[59],"AS":[60],"cubic":[63,109,151],"strongly":[67],"NP-hard":[68],"and":[69],"pose":[70],"question":[72],"determining":[74],"whether":[75],"it":[76],"decidable.":[79],"As":[80],"byproduct":[82],"reduction":[85],"establishes":[87],"our":[88],"NP-hardness":[89],"result,":[90],"obtain":[92],"Lyapunov-inspired":[94],"technique":[95],"proving":[97],"positivity":[98],"forms.":[100],"We":[101],"also":[102],"show":[103,132],"asymptotically":[106],"stable":[107],"as":[113,115],"few":[114],"two":[116],"variables,":[117],"minimum":[119],"function":[125,159,172],"arbitrarily":[128],"large.":[129],"Finally,":[130],"there":[134],"no":[136,155],"monotonicity":[137],"functions":[144],"AS;":[147],"i.e.,":[148],"field":[153],"with":[154],"some":[161],"d":[163],"very":[165],"well":[166],"have":[167],"less":[175],"than":[176],"d.":[177]},"counts_by_year":[],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2025-10-10T00:00:00"}