{"id":"https://openalex.org/W7127355703","doi":"https://doi.org/10.48550/arxiv.2602.00162","title":"End Cover for Initial Value Problem: Complete Validated Algorithms with Complexity Analysis","display_name":"End Cover for Initial Value Problem: Complete Validated Algorithms with Complexity Analysis","publication_year":2026,"publication_date":"2026-01-29","ids":{"openalex":"https://openalex.org/W7127355703","doi":"https://doi.org/10.48550/arxiv.2602.00162"},"language":null,"primary_location":{"id":"pmh:doi:10.48550/arxiv.2602.00162","is_oa":true,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4406922384","display_name":"Open MIND","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":"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":"Article"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":null,"any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5065502046","display_name":"B.G Zhang","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Zhang, Bingwei","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5124879569","display_name":"Chee Yap","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Yap, Chee","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5065502046"],"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/T10545","display_name":"Optimization and Variational Analysis","score":0.1128000020980835,"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"}},"topics":[{"id":"https://openalex.org/T10545","display_name":"Optimization and Variational Analysis","score":0.1128000020980835,"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/T10541","display_name":"Nonlinear Differential Equations Analysis","score":0.11010000109672546,"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"}},{"id":"https://openalex.org/T11261","display_name":"Quantum chaos and dynamical systems","score":0.06080000102519989,"subfield":{"id":"https://openalex.org/subfields/3109","display_name":"Statistical and Nonlinear Physics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/cover","display_name":"Cover (algebra)","score":0.6906999945640564},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5777000188827515},{"id":"https://openalex.org/keywords/boundary","display_name":"Boundary (topology)","score":0.5164999961853027},{"id":"https://openalex.org/keywords/set-cover-problem","display_name":"Set cover problem","score":0.4648999869823456},{"id":"https://openalex.org/keywords/ordinary-differential-equation","display_name":"Ordinary differential equation","score":0.42730000615119934},{"id":"https://openalex.org/keywords/computational-complexity-theory","display_name":"Computational complexity theory","score":0.3578000068664551},{"id":"https://openalex.org/keywords/initial-value-problem","display_name":"Initial value problem","score":0.35269999504089355}],"concepts":[{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.7414000034332275},{"id":"https://openalex.org/C2780428219","wikidata":"https://www.wikidata.org/wiki/Q16952335","display_name":"Cover (algebra)","level":2,"score":0.6906999945640564},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.602400004863739},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5777000188827515},{"id":"https://openalex.org/C62354387","wikidata":"https://www.wikidata.org/wiki/Q875399","display_name":"Boundary (topology)","level":2,"score":0.5164999961853027},{"id":"https://openalex.org/C100808899","wikidata":"https://www.wikidata.org/wiki/Q1192100","display_name":"Set cover problem","level":3,"score":0.4648999869823456},{"id":"https://openalex.org/C51544822","wikidata":"https://www.wikidata.org/wiki/Q465274","display_name":"Ordinary differential equation","level":3,"score":0.42730000615119934},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.3578000068664551},{"id":"https://openalex.org/C26955809","wikidata":"https://www.wikidata.org/wiki/Q10167591","display_name":"Initial value problem","level":2,"score":0.35269999504089355},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.33559998869895935},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.33059999346733093},{"id":"https://openalex.org/C182310444","wikidata":"https://www.wikidata.org/wiki/Q1332643","display_name":"Boundary value problem","level":2,"score":0.3303000032901764},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.32710000872612},{"id":"https://openalex.org/C2776291640","wikidata":"https://www.wikidata.org/wiki/Q2912517","display_name":"Value (mathematics)","level":2,"score":0.3165999948978424},{"id":"https://openalex.org/C93226319","wikidata":"https://www.wikidata.org/wiki/Q193137","display_name":"Differential (mechanical device)","level":2,"score":0.30219998955726624},{"id":"https://openalex.org/C106516650","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm design","level":2,"score":0.28679999709129333},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.28299999237060547},{"id":"https://openalex.org/C78045399","wikidata":"https://www.wikidata.org/wiki/Q11214","display_name":"Differential equation","level":2,"score":0.27390000224113464}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:doi:10.48550/arxiv.2602.00162","is_oa":true,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4406922384","display_name":"Open MIND","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":"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":"Article"},{"id":"doi:10.48550/arxiv.2602.00162","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2602.00162","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"pmh:doi:10.48550/arxiv.2602.00162","is_oa":true,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4406922384","display_name":"Open MIND","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":"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":"Article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"We":[0,56],"consider":[1],"the":[2,36,63,123,130,140],"first-order":[3],"autonomous":[4],"ordinary":[5],"differential":[6],"equation":[7],"\\[":[8,46,82,96],"\\mathbf{x}'":[9],"=":[10,48,98],"\\mathbf{f}(\\mathbf{x}),":[11],"\\]":[12,55,94,106],"where":[13,95],"$\\mathbf{f}":[14],":":[15,41,101],"\\mathbb{R}^n":[16],"\\to":[17,43],"\\mathbb{R}^n$":[18,27,44],"is":[19],"locally":[20],"Lipschitz.":[21],"For":[22],"a":[23,58,74,110,118],"box":[24],"$B_0":[25],"\\subseteq":[26],"and":[28,116],"$h":[29],">":[30],"0$,":[31],"we":[32,108,135],"denote":[33],"by":[34],"$\\mathrm{IVP}_{\\mathbf{f}}(B_0,h)$":[35],"set":[37,76],"of":[38,78,113,132,142],"solutions":[39],"$\\mathbf{x}":[40],"[0,h]":[42],"satisfying":[45],"\\mathbf{x}'(t)":[47],"\\mathbf{f}(\\mathbf{x}(t)),":[49],"\\qquad":[50],"\\mathbf{x}(0)":[51],"\\in":[52,86,103],"B_0":[53],".":[54],"present":[57,136],"complete":[59],"validated":[60],"algorithm":[61,115],"for":[62,121],"following":[64],"\\emph{End":[65],"Cover":[66],"Problem}:":[67],"given":[68],"$(\\mathbf{f},":[69],"B_0,":[70],"\\varepsilon,":[71],"h)$,":[72],"compute":[73],"finite":[75],"$\\mathcal{C}$":[77,126],"boxes":[79],"such":[80],"that":[81],"\\mathrm{End}_{\\mathbf{f}}(B_0,h)":[83,90,97],"\\;\\subseteq\\;":[84,89],"\\bigcup_{B":[85],"\\mathcal{C}}":[87],"B":[88],"\\oplus":[91],"[-\\varepsilon,\\varepsilon]^n":[92],",":[93],"\\left\\{":[99],"\\mathbf{x}(h)":[100],"\\mathbf{x}":[102],"\\mathrm{IVP}_{\\mathbf{f}}(B_0,h)":[104],"\\right\\}.":[105],"Moreover,":[107],"provide":[109],"complexity":[111],"analysis":[112],"our":[114,143],"introduce":[117],"novel":[119],"technique":[120],"computing":[122],"end":[124],"cover":[125],"based":[127],"on":[128],"covering":[129],"boundary":[131],"$\\mathrm{End}_{\\mathbf{f}}(B_0,h)$.":[133],"Finally,":[134],"experimental":[137],"results":[138],"demonstrating":[139],"practicality":[141],"approach.":[144]},"counts_by_year":[],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2026-02-04T00:00:00"}