{"id":"https://openalex.org/W7225747351","doi":"https://doi.org/10.66977/xsci.2611.001d","title":"Proof of the Cordero-Torregrosa Conjecture for Methods with Arbitrary Rules and Its Refinement under Paired Function and Jacobian Evaluations","display_name":"Proof of the Cordero-Torregrosa Conjecture for Methods with Arbitrary Rules and Its Refinement under Paired Function and Jacobian Evaluations","publication_year":2026,"publication_date":"2026-11-10","ids":{"openalex":"https://openalex.org/W7225747351","doi":"https://doi.org/10.66977/xsci.2611.001d"},"language":"en","primary_location":{"id":"doi:10.66977/xsci.2611.001d","doi":"https://doi.org/10.66977/xsci.2611.001d","is_oa":false,"landing_page_url":"https://doi.org/10.66977/xsci.2611.001d","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.9843999743461609,"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.9843999743461609,"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/T10588","display_name":"Mathematical Dynamics and Fractals","score":0.003100000089034438,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"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.002899999963119626,"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":[],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8435999751091003},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.744700014591217},{"id":"https://openalex.org/C2780990831","wikidata":"https://www.wikidata.org/wiki/Q319141","display_name":"Conjecture","level":2,"score":0.6212000250816345},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.5932999849319458},{"id":"https://openalex.org/C200331156","wikidata":"https://www.wikidata.org/wiki/Q506041","display_name":"Jacobian matrix and determinant","level":2,"score":0.5860999822616577},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.5073999762535095},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.49540001153945923},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.45660001039505005},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4375999867916107},{"id":"https://openalex.org/C2780388253","wikidata":"https://www.wikidata.org/wiki/Q5421508","display_name":"Exponent","level":2,"score":0.43369999527931213},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.414900004863739},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.3560999929904938},{"id":"https://openalex.org/C57691317","wikidata":"https://www.wikidata.org/wiki/Q1289248","display_name":"Scalar (mathematics)","level":2,"score":0.35109999775886536},{"id":"https://openalex.org/C155512373","wikidata":"https://www.wikidata.org/wiki/Q287450","display_name":"Residual","level":2,"score":0.34119999408721924},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.33709999918937683},{"id":"https://openalex.org/C158622935","wikidata":"https://www.wikidata.org/wiki/Q660848","display_name":"Nonlinear system","level":2,"score":0.29030001163482666},{"id":"https://openalex.org/C204911207","wikidata":"https://www.wikidata.org/wiki/Q860609","display_name":"Generating function","level":2,"score":0.2808000147342682},{"id":"https://openalex.org/C14103023","wikidata":"https://www.wikidata.org/wiki/Q11681459","display_name":"Pairing","level":3,"score":0.2709999978542328},{"id":"https://openalex.org/C182964748","wikidata":"https://www.wikidata.org/wiki/Q208216","display_name":"Triangle inequality","level":2,"score":0.266400009393692},{"id":"https://openalex.org/C61445026","wikidata":"https://www.wikidata.org/wiki/Q217608","display_name":"Fixed point","level":2,"score":0.2624000012874603},{"id":"https://openalex.org/C2780009758","wikidata":"https://www.wikidata.org/wiki/Q6804172","display_name":"Measure (data warehouse)","level":2,"score":0.26089999079704285},{"id":"https://openalex.org/C136979486","wikidata":"https://www.wikidata.org/wiki/Q773483","display_name":"Existential quantification","level":2,"score":0.2603999972343445}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.66977/xsci.2611.001d","doi":"https://doi.org/10.66977/xsci.2611.001d","is_oa":false,"landing_page_url":"https://doi.org/10.66977/xsci.2611.001d","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":{"We":[0,24,38],"study":[1],"the":[2,6,80,92,101,125,128,132,169],"Cordero\u2013Torregrosa":[3,93],"conjecture":[4],"on":[5,168],"order":[7,172],"that":[8,69,154],"can":[9],"be":[10,33],"guaranteed":[11],"when":[12],"solving":[13],"nonlinear":[14],"systems":[15],"with":[16],"prescribed":[17],"budgets":[18],"of":[19,43,49,66,83,88,127,149,173],"function":[20,98],"and":[21,51,62,151],"Jacobian":[22],"evaluations.":[23],"consider":[25],"deterministic,":[26],"causal,":[27],"memoryless":[28],"methods":[29],"whose":[30],"rules":[31],"may":[32],"discontinuous,":[34],"nonmeasurable,":[35],"or":[36],"noncomputable.":[37],"give":[39],"an":[40],"independent":[41],"proof":[42,106],"a":[44,55,59,63,152,159,174],"scalar":[45],"barrier":[46],"for":[47,97,108,181],"queries":[48],"\\(f\\)":[50],"\\(f'\\)":[52],"by":[53],"constructing":[54],"fixed":[56],"entire":[57,161],"function,":[58],"simple":[60],"root,":[61],"single":[64,160],"sequence":[65],"initial":[67],"points":[68],"simultaneously":[70],"exclude":[71],"every":[72,182],"exponent":[73],"greater":[74],"than":[75],"\\(2^{d-1}\\),":[76],"where":[77],"\\(d\\)":[78],"is":[79],"maximum":[81],"number":[82],"queries.":[84],"An":[85],"exact":[86],"simulation":[87],"vector-valued":[89],"responses":[90,156],"yields":[91],"inequality":[94],"\\(p\\leq":[95,135],"2^{N_F+N_J-1}\\)":[96],"classes":[99],"containing":[100],"analytic":[102],"test":[103],"fields.":[104],"The":[105,143],"holds":[107],"\\(N_F,N_J\\geq":[109],"0\\),":[110],"\\(N_F+N_J\\geq":[111],"1\\),":[112,138],"without":[113,139],"assuming":[114],"\\(N_J\\leq":[115],"N_F\\);":[116],"in":[117],"particular,":[118],"it":[119],"covers":[120],"\\(N_J>N_F\\).":[121],"Under":[122],"pairing":[123],"at":[124],"end":[126],"cycle,":[129],"we":[130],"obtain":[131],"sharper":[133],"bound":[134],"2^{N_F-s+1}3^{s-1}\\),":[136],"\\(s=\\min\\{N_F,N_J\\}\\geq":[137],"requiring":[140],"temporal":[141],"precedence.":[142],"proofs":[144],"use":[145],"indistinguishable":[146],"perturbations,":[147],"kernels":[148],"constraints,":[150],"construction":[153],"preserves":[155],"while":[157],"producing":[158],"witness.":[162],"These":[163],"results":[164],"are":[165],"upper":[166],"bounds":[167],"universal":[170],"local":[171],"cycle;":[175],"they":[176],"do":[177],"not":[178],"establish":[179],"attainability":[180],"budget.":[183]},"counts_by_year":[],"updated_date":"2026-11-11T12:16:26.678958","created_date":"2026-11-11T00:00:00"}