{"id":"https://openalex.org/W7225791350","doi":"https://doi.org/10.66977/xsci.2611.001p","title":"The Kung\u2013Traub Conjecture for Memoryless Real Scalar Methods: Proof and Formalization of Computational Procedures","display_name":"The Kung\u2013Traub Conjecture for Memoryless Real Scalar Methods: Proof and Formalization of Computational Procedures","publication_year":2026,"publication_date":"2026-11-12","ids":{"openalex":"https://openalex.org/W7225791350","doi":"https://doi.org/10.66977/xsci.2611.001p"},"language":"en","primary_location":{"id":"doi:10.66977/xsci.2611.001p","doi":"https://doi.org/10.66977/xsci.2611.001p","is_oa":false,"landing_page_url":"https://doi.org/10.66977/xsci.2611.001p","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"posted-content"},"volume":null,"type":"preprint","is_traditional":true,"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/A5161369180","display_name":"Rodrigo Alberto Castro Mar\u00edn","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Rodrigo Alberto Castro Mar\u00edn","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5161369180"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"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/T12661","display_name":"Iterative Methods for Nonlinear Equations","score":0.8970000147819519,"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/T12661","display_name":"Iterative Methods for Nonlinear Equations","score":0.8970000147819519,"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.02459999918937683,"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/T11191","display_name":"Mathematical functions and polynomials","score":0.014700000174343586,"subfield":{"id":"https://openalex.org/subfields/2604","display_name":"Applied Mathematics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.760200023651123},{"id":"https://openalex.org/C2780990831","wikidata":"https://www.wikidata.org/wiki/Q319141","display_name":"Conjecture","level":2,"score":0.6771000027656555},{"id":"https://openalex.org/C57691317","wikidata":"https://www.wikidata.org/wiki/Q1289248","display_name":"Scalar (mathematics)","level":2,"score":0.5167999863624573},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.5144000053405762},{"id":"https://openalex.org/C2777303404","wikidata":"https://www.wikidata.org/wiki/Q759757","display_name":"Convergence (economics)","level":2,"score":0.5012999773025513},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.4796000123023987},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.4650999903678894},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.46320000290870667},{"id":"https://openalex.org/C94020503","wikidata":"https://www.wikidata.org/wiki/Q12916","display_name":"Real number","level":2,"score":0.43619999289512634},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.4309000074863434},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.42989999055862427},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.40959998965263367},{"id":"https://openalex.org/C130231550","wikidata":"https://www.wikidata.org/wiki/Q5189500","display_name":"Real-valued function","level":2,"score":0.4032000005245209},{"id":"https://openalex.org/C152062344","wikidata":"https://www.wikidata.org/wiki/Q818888","display_name":"Computability","level":2,"score":0.38690000772476196},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.38199999928474426},{"id":"https://openalex.org/C159694833","wikidata":"https://www.wikidata.org/wiki/Q2321565","display_name":"Iterative method","level":2,"score":0.3671000003814697},{"id":"https://openalex.org/C71287196","wikidata":"https://www.wikidata.org/wiki/Q847204","display_name":"Limit of a sequence","level":3,"score":0.36090001463890076},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.3497999906539917},{"id":"https://openalex.org/C162838799","wikidata":"https://www.wikidata.org/wiki/Q596077","display_name":"Counterexample","level":2,"score":0.3050000071525574},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.30239999294281006},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2856999933719635},{"id":"https://openalex.org/C57945734","wikidata":"https://www.wikidata.org/wiki/Q7977941","display_name":"Weak convergence","level":3,"score":0.2766000032424927},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.2736999988555908},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.27129998803138733},{"id":"https://openalex.org/C75190567","wikidata":"https://www.wikidata.org/wiki/Q41237","display_name":"Rational function","level":2,"score":0.26739999651908875},{"id":"https://openalex.org/C1911482","wikidata":"https://www.wikidata.org/wiki/Q854531","display_name":"Real analysis","level":2,"score":0.25459998846054077}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.66977/xsci.2611.001p","doi":"https://doi.org/10.66977/xsci.2611.001p","is_oa":false,"landing_page_url":"https://doi.org/10.66977/xsci.2611.001p","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"posted-content"}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"The":[0,98,191],"Kung\u2013Traub":[1,184],"conjecture":[2],"states":[3,139],"that":[4,88,113,147],"the":[5,74,116,150,154,172,179,183,187],"convergence":[6],"order":[7,173],"of":[8,17,50,102,104,108,126,135,156,182],"a":[9,18,77,82,128,133],"memoryless":[10],"scalar":[11],"iterative":[12],"method":[13,56],"using":[14],"n":[15,60],"evaluations":[16],"function":[19,70],"and":[20,41,61,81,110,132,140,161,178,198],"its":[21],"derivatives":[22],"per":[23],"iteration":[24],"cannot":[25],"exceed":[26],"2^(n\u22121).":[27],"We":[28,121,143],"prove":[29,144],"this":[30,168],"bound":[31,185],"for":[32,175,195],"real":[33,72,75,180,196,199],"scalar,":[34],"deterministic,":[35],"causal":[36],"methods":[37],"with":[38,58,137,186],"adaptive":[39],"queries":[40],"partially":[42],"defined":[43],"rules,":[44],"without":[45],"requiring":[46],"continuity":[47],"or":[48],"computability":[49],"those":[51],"rules.":[52],"For":[53],"every":[54,62],"total":[55],"T":[57],"budget":[59,151],"p":[63],">":[64],"2^(n\u22121),":[65],"we":[66,170],"construct":[67],"an":[68],"entire":[69],"F,":[71],"on":[73],"axis,":[76],"simple":[78],"root":[79],"\u03b1,":[80],"sequence":[83],"x_m":[84],"\u2192":[85,96],"\u03b1":[86],"such":[87],"|T_F(x_m)":[89],"\u2212":[90,94],"\u03b1|":[91],"/":[92],"|x_m":[93],"\u03b1|^p":[95],"+\u221e.":[97],"construction":[99],"uses":[100],"properties":[101],"Wronskians":[103],"polynomial":[105],"spaces,":[106],"concentration":[107],"zeros,":[109],"quantitative":[111],"perturbations":[112],"preserve":[114],"exactly":[115],"responses":[117],"to":[118],"previous":[119],"queries.":[120],"also":[122],"develop":[123],"two":[124],"formalizations":[125],"computation:":[127],"fixed-budget":[129],"query":[130],"model":[131,134],"procedures":[136],"internal":[138],"performed":[141],"evaluations.":[142],"exact":[145],"representations":[146],"preserve,":[148],"within":[149],"under":[152],"consideration,":[153],"domains":[155],"valid":[157],"computations,":[158],"outputs,":[159],"records,":[160],"evaluation":[162],"counts":[163],"by":[164],"derivative":[165],"order.":[166],"From":[167],"correspondence,":[169],"obtain":[171],"barrier":[174],"local":[176],"realizations":[177],"formulation":[181],"specified":[188],"operational":[189],"cost.":[190],"results":[192],"are":[193],"established":[194],"functions":[197],"nodes.":[200]},"counts_by_year":[],"updated_date":"2026-11-12T12:28:57.059296","created_date":"2026-11-12T00:00:00"}