{"id":"https://openalex.org/W2133667894","doi":"https://doi.org/10.1137/090749591","title":"Computing the Least Fixed Point of Positive Polynomial Systems","display_name":"Computing the Least Fixed Point of Positive Polynomial Systems","publication_year":2010,"publication_date":"2010-01-01","ids":{"openalex":"https://openalex.org/W2133667894","doi":"https://doi.org/10.1137/090749591","mag":"2133667894"},"language":"en","primary_location":{"id":"doi:10.1137/090749591","is_oa":false,"landing_page_url":"https://doi.org/10.1137/090749591","pdf_url":null,"source":{"id":"https://openalex.org/S153560523","display_name":"SIAM Journal on Computing","issn_l":"0097-5397","issn":["0097-5397","1095-7111"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320508","host_organization_name":"Society for Industrial and Applied Mathematics","host_organization_lineage":["https://openalex.org/P4310320508"],"host_organization_lineage_names":["Society for Industrial and Applied Mathematics"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SIAM Journal on Computing","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/A5090378914","display_name":"Javier Esparza","orcid":"https://orcid.org/0000-0001-9862-4919"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Javier Esparza","raw_affiliation_strings":["esparza@model.in.tum.de and kiefer@model.in.tum.de and luttenbe@model.in.tum.de#TAB#"],"affiliations":[{"raw_affiliation_string":"esparza@model.in.tum.de and kiefer@model.in.tum.de and luttenbe@model.in.tum.de#TAB#","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5054782057","display_name":"Stefan Kiefer","orcid":"https://orcid.org/0000-0003-4173-6877"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Stefan Kiefer","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5008144501","display_name":"Michael Luttenberger","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Michael Luttenberger","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5090378914"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":3.6083,"has_fulltext":false,"cited_by_count":22,"citation_normalized_percentile":{"value":0.93268878,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"39","issue":"6","first_page":"2282","last_page":"2335"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11269","display_name":"Algorithms and Data Compression","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T11269","display_name":"Algorithms and Data Compression","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T11567","display_name":"semigroups and automata theory","score":0.9987999796867371,"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/T12303","display_name":"Tensor decomposition and applications","score":0.9972000122070312,"subfield":{"id":"https://openalex.org/subfields/2605","display_name":"Computational Mathematics"},"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/combinatorics","display_name":"Combinatorics","score":0.5892159938812256},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5131829380989075},{"id":"https://openalex.org/keywords/polynomial","display_name":"Polynomial","score":0.505648136138916},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.4626176655292511},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3793025016784668},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.1669948697090149}],"concepts":[{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.5892159938812256},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5131829380989075},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.505648136138916},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.4626176655292511},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3793025016784668},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.1669948697090149},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1137/090749591","is_oa":false,"landing_page_url":"https://doi.org/10.1137/090749591","pdf_url":null,"source":{"id":"https://openalex.org/S153560523","display_name":"SIAM Journal on Computing","issn_l":"0097-5397","issn":["0097-5397","1095-7111"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320508","host_organization_name":"Society for Industrial and Applied Mathematics","host_organization_lineage":["https://openalex.org/P4310320508"],"host_organization_lineage_names":["Society for Industrial and Applied Mathematics"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SIAM Journal on Computing","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":33,"referenced_works":["https://openalex.org/W158955491","https://openalex.org/W280536263","https://openalex.org/W1482647296","https://openalex.org/W1488435683","https://openalex.org/W1500921805","https://openalex.org/W1529345925","https://openalex.org/W1545759797","https://openalex.org/W1574901103","https://openalex.org/W1584587517","https://openalex.org/W1844369525","https://openalex.org/W1861164398","https://openalex.org/W1864873123","https://openalex.org/W2005059149","https://openalex.org/W2009570821","https://openalex.org/W2010994761","https://openalex.org/W2023206235","https://openalex.org/W2036702455","https://openalex.org/W2040721698","https://openalex.org/W2053738112","https://openalex.org/W2073664445","https://openalex.org/W2076445343","https://openalex.org/W2078982362","https://openalex.org/W2090963365","https://openalex.org/W2124091985","https://openalex.org/W2128978199","https://openalex.org/W2137640371","https://openalex.org/W2143476164","https://openalex.org/W2152923292","https://openalex.org/W2167246417","https://openalex.org/W2330756801","https://openalex.org/W2568511220","https://openalex.org/W2964097106","https://openalex.org/W4254826564"],"related_works":["https://openalex.org/W1979597421","https://openalex.org/W2007980826","https://openalex.org/W4245490552","https://openalex.org/W4225152035","https://openalex.org/W2061531152","https://openalex.org/W3002753104","https://openalex.org/W2077600819","https://openalex.org/W1587224694","https://openalex.org/W2911598644","https://openalex.org/W2042127053"],"abstract_inverted_index":{"We":[0,125,147,210],"consider":[1],"equation":[2,27,92],"systems":[3,45],"of":[4,40,46,54,89,98,118,129,155,167,181,190,207,244,253,272,321],"the":[5,52,152,156,165,177,238,265,270],"form":[6,22],"$X_1=f_1(X_1,\\dots,X_n)$,":[7],"$\\dots$,":[8],"$X_n":[9],"=":[10],"f_n(X_1,\\dots,X_n)$,":[11],"where":[12],"$f_1,\\dots,f_n$":[13],"are":[14],"polynomials":[15,42],"with":[16,73,77],"positive":[17,41],"real":[18],"coefficients.":[19],"In":[20],"vector":[21],"we":[23,163,280,315],"denote":[24],"such":[25,172,233],"an":[26,90,196,230,259,311],"system":[28,39],"by":[29],"${\\bf":[30,36,93,140,208,275],"X}={\\bf":[31,94,276],"f}({\\bf":[32,95,277],"X})$":[33,96],"and":[34,68,80,105,131,133,229],"call":[35],"f}$":[37,88],"a":[38,115,127,168,225,304,318],"(SPP).":[43],"Equation":[44],"this":[47],"kind":[48],"appear":[49],"naturally":[50],"in":[51,269,274],"analysis":[53],"stochastic":[55,58],"models":[56,76],"like":[57],"context-free":[59],"grammars":[60],"(with":[61],"numerous":[62],"applications":[63],"to":[64,121,144],"natural":[65],"language":[66],"processing":[67],"computational":[69],"biology),":[70],"probabilistic":[71],"programs":[72],"procedures,":[74],"web-surfing":[75],"back":[78],"buttons,":[79],"branching":[81],"processes.":[82],"The":[83,193,256,288],"least":[84,186,249],"nonnegative":[85],"solution":[86],"$\\mu{\\bf":[87,123,145,191,254],"SPP":[91,216],"is":[97,267,285,309],"central":[99],"interest":[100],"for":[101,174,199,214,235,262,295,306,324],"these":[102],"models.":[103],"Etessami":[104,130],"Yannakakis":[106,132],"[J.":[107],"ACM,":[108],"56":[109],"(2009),":[110],"pp.":[111],"1\u201366]":[112],"have":[113],"suggested":[114],"particular":[116],"version":[117],"Newton's":[119,136,182,218,245,322],"method":[120,137,183,219,246,323],"approximate":[122],"f}$.":[124,146,192,209,255],"extend":[126],"result":[128],"show":[134,212,282],"that":[135,173,213,234,283],"starting":[138],"at":[139,185,248],"0}$":[141],"always":[142],"converges":[143,221],"obtain":[148],"lower":[149],"bounds":[150],"on":[151,204],"convergence":[153],"speed":[154],"method.":[157],"For":[158],"so-called":[159],"strongly":[160],"connected":[161],"SPPs":[162],"prove":[164],"existence":[166],"threshold":[169,226],"$k_{{\\bf":[170,200,227,296,307],"f}}\\in\\mathbb{N}$":[171],"every":[175,236],"$i\\geq0$":[176,237],"$(k_{{\\bf":[178,239],"f}}+i)$th":[179],"iteration":[180,243],"has":[184,247],"i":[187,250],"valid":[188,251],"bits":[189,252],"proof":[194,257,289],"yields":[195,258],"explicit":[197,260],"bound":[198,261,266,294,305],"f}}$":[201,228,308],"depending":[202],"only":[203,299],"syntactic":[205],"parameters":[206],"further":[211],"arbitrary":[215],"equations,":[217],"still":[220,310],"linearly:":[222],"there":[223],"exists":[224],"$\\alpha_{{\\bf":[231,263],"f}}>0$":[232],"f}}+\\alpha_{{\\bf":[240],"f}}\\cdot":[241],"i)$th":[242],"f}}$;":[264],"exponential":[268],"number":[271],"equations":[273],"X})$,":[278],"but":[279,298],"also":[281,316],"it":[284],"essentially":[286],"optimal.":[287],"does":[290],"not":[291],"yield":[292],"any":[293],"f}}$,":[297],"proves":[300],"its":[301],"existence.":[302],"Constructing":[303],"open":[312],"problem.":[313],"Finally,":[314],"provide":[317],"geometric":[319],"interpretation":[320],"SPPs.":[325]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":3},{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2015,"cited_by_count":3},{"year":2014,"cited_by_count":3},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":3}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}