{"id":"https://openalex.org/W7224083798","doi":"https://doi.org/10.1137/25m1722585","title":"Verified Error Bounds for Sparse Systems Part II: Inertia-Based Bounds, Least Squares and Nonlinear Systems","display_name":"Verified Error Bounds for Sparse Systems Part II: Inertia-Based Bounds, Least Squares and Nonlinear Systems","publication_year":2026,"publication_date":"2026-10-28","ids":{"openalex":"https://openalex.org/W7224083798","doi":"https://doi.org/10.1137/25m1722585"},"language":"en","primary_location":{"id":"doi:10.1137/25m1722585","doi":"https://doi.org/10.1137/25m1722585","is_oa":false,"landing_page_url":"https://doi.org/10.1137/25m1722585","pdf_url":null,"source":{"id":"https://openalex.org/S16958353","display_name":"SIAM Journal on Matrix Analysis and Applications","issn_l":"0895-4798","issn":["0895-4798","1095-7162"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["anvur-scientific","cwts-core","dongbi-b","jufo-3","norway-2","poland-140","russia-white-list-1","vabb-shw"],"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 Matrix Analysis and Applications","raw_type":"journal-article"},"volume":null,"type":"article","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/A5081963598","display_name":"Siegfried M. Rump","orcid":"https://orcid.org/0000-0002-4779-4800","observed_orcids":["https://orcid.org/0000-0002-4779-4800"]},"institutions":[{"id":"https://openalex.org/I150744194","display_name":"Waseda University","ror":"https://ror.org/00ntfnx83","country_code":"JP","type":"education","lineage":["https://openalex.org/I150744194"]},{"id":"https://openalex.org/I884043246","display_name":"Hamburg University of Technology","ror":"https://ror.org/04bs1pb34","country_code":"DE","type":"education","lineage":["https://openalex.org/I884043246"]}],"countries":["DE","JP"],"is_corresponding":true,"raw_author_name":"Siegfried M. Rump","raw_affiliation_strings":["Institute for Reliable Computing, Hamburg University of Technology, Am Schwarzenberg-Campus 3, Hamburg 21073, Germany, and Faculty of Science and Engineering, Waseda University, 3\u20134\u20131 Okubo, Shinjuku-ku, Tokyo 169\u20138555, Japan"],"raw_orcid":"https://orcid.org/0000-0002-4779-4800","affiliations":[{"raw_affiliation_string":"Institute for Reliable Computing, Hamburg University of Technology, Am Schwarzenberg-Campus 3, Hamburg 21073, Germany, and Faculty of Science and Engineering, Waseda University, 3\u20134\u20131 Okubo, Shinjuku-ku, Tokyo 169\u20138555, Japan","institution_ids":["https://openalex.org/I150744194","https://openalex.org/I884043246"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5081963598"],"corresponding_institution_ids":["https://openalex.org/I150744194","https://openalex.org/I884043246"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.84704015,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"47","issue":"4","first_page":"1859","last_page":"1903"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11697","display_name":"Numerical Methods and Algorithms","score":0.9937000274658203,"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/T11697","display_name":"Numerical Methods and Algorithms","score":0.9937000274658203,"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/T10792","display_name":"Matrix Theory and Algorithms","score":0.005100000184029341,"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/T11435","display_name":"Polynomial and algebraic computation","score":0.0003000000142492354,"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/sparse-linear-systems","display_name":"sparse linear systems","score":0.9750000238418579},{"id":"https://openalex.org/keywords/symmetric-indefinite-matrices","display_name":"symmetric indefinite matrices","score":0.5490000247955322},{"id":"https://openalex.org/keywords/symmetric-positive-definite-matrices","display_name":"symmetric positive definite matrices","score":0.7799999713897705},{"id":"https://openalex.org/keywords/least-squares","display_name":"least squares","score":0.5809999704360962},{"id":"https://openalex.org/keywords/underdetermined-systems","display_name":"underdetermined systems","score":0.8920000195503235},{"id":"https://openalex.org/keywords/nonlinear-systems","display_name":"nonlinear systems","score":0.6489999890327454},{"id":"https://openalex.org/keywords/sparse-jacobian","display_name":"sparse Jacobian","score":0.9829999804496765},{"id":"https://openalex.org/keywords/intlab","display_name":"INTLAB","score":0.8920000195503235},{"id":"https://openalex.org/keywords/reliable-computing","display_name":"reliable computing","score":0.5809999704360962},{"id":"https://openalex.org/keywords/verified-computation","display_name":"verified computation","score":0.3310000002384186},{"id":"https://openalex.org/keywords/matlab-implementation","display_name":"MATLAB implementation","score":0.382999986410141}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7856000065803528},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.5213000178337097},{"id":"https://openalex.org/C6802819","wikidata":"https://www.wikidata.org/wiki/Q1072174","display_name":"Linear system","level":2,"score":0.5055999755859375},{"id":"https://openalex.org/C2777021972","wikidata":"https://www.wikidata.org/wiki/Q22976830","display_name":"Uniqueness","level":2,"score":0.4952999949455261},{"id":"https://openalex.org/C48753275","wikidata":"https://www.wikidata.org/wiki/Q11216","display_name":"Numerical analysis","level":2,"score":0.45719999074935913},{"id":"https://openalex.org/C158622935","wikidata":"https://www.wikidata.org/wiki/Q660848","display_name":"Nonlinear system","level":2,"score":0.4562999904155731},{"id":"https://openalex.org/C106487976","wikidata":"https://www.wikidata.org/wiki/Q685816","display_name":"Matrix (chemical analysis)","level":2,"score":0.4505999982357025},{"id":"https://openalex.org/C151201525","wikidata":"https://www.wikidata.org/wiki/Q177239","display_name":"Limit (mathematics)","level":2,"score":0.4047999978065491},{"id":"https://openalex.org/C163834973","wikidata":"https://www.wikidata.org/wiki/Q2004891","display_name":"Numerical linear algebra","level":3,"score":0.38359999656677246},{"id":"https://openalex.org/C109282560","wikidata":"https://www.wikidata.org/wiki/Q4166054","display_name":"Singular value","level":3,"score":0.3709000051021576},{"id":"https://openalex.org/C51544822","wikidata":"https://www.wikidata.org/wiki/Q465274","display_name":"Ordinary differential equation","level":3,"score":0.36550000309944153},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.34439998865127563},{"id":"https://openalex.org/C94523830","wikidata":"https://www.wikidata.org/wiki/Q11203","display_name":"System of linear equations","level":2,"score":0.3384999930858612},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3352000117301941},{"id":"https://openalex.org/C9936470","wikidata":"https://www.wikidata.org/wiki/Q6510405","display_name":"Least-squares function approximation","level":3,"score":0.3328000009059906},{"id":"https://openalex.org/C54848796","wikidata":"https://www.wikidata.org/wiki/Q339011","display_name":"Symmetric matrix","level":3,"score":0.3264000117778778},{"id":"https://openalex.org/C49712288","wikidata":"https://www.wikidata.org/wiki/Q77601250","display_name":"Positive-definite matrix","level":3,"score":0.3212999999523163},{"id":"https://openalex.org/C54219892","wikidata":"https://www.wikidata.org/wiki/Q4080929","display_name":"Matrix-free methods","level":4,"score":0.31709998846054077},{"id":"https://openalex.org/C22789450","wikidata":"https://www.wikidata.org/wiki/Q420904","display_name":"Singular value decomposition","level":2,"score":0.3163999915122986},{"id":"https://openalex.org/C187834632","wikidata":"https://www.wikidata.org/wiki/Q188804","display_name":"Factorization","level":2,"score":0.3149000108242035},{"id":"https://openalex.org/C84545080","wikidata":"https://www.wikidata.org/wiki/Q1147936","display_name":"Condition number","level":3,"score":0.3124000132083893},{"id":"https://openalex.org/C42355184","wikidata":"https://www.wikidata.org/wiki/Q1361088","display_name":"Matrix decomposition","level":3,"score":0.31200000643730164},{"id":"https://openalex.org/C78045399","wikidata":"https://www.wikidata.org/wiki/Q11214","display_name":"Differential equation","level":2,"score":0.2745000123977661},{"id":"https://openalex.org/C56372850","wikidata":"https://www.wikidata.org/wiki/Q1050404","display_name":"Sparse matrix","level":3,"score":0.2709999978542328},{"id":"https://openalex.org/C176321772","wikidata":"https://www.wikidata.org/wiki/Q1430640","display_name":"Numerical stability","level":3,"score":0.2685000002384186},{"id":"https://openalex.org/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"score":0.2676999866962433},{"id":"https://openalex.org/C93779851","wikidata":"https://www.wikidata.org/wiki/Q271977","display_name":"Partial differential equation","level":2,"score":0.2621999979019165},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.2605000138282776},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.2538999915122986},{"id":"https://openalex.org/C124066611","wikidata":"https://www.wikidata.org/wiki/Q28684319","display_name":"Sparse approximation","level":2,"score":0.2506999969482422}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1137/25m1722585","doi":"https://doi.org/10.1137/25m1722585","is_oa":false,"landing_page_url":"https://doi.org/10.1137/25m1722585","pdf_url":null,"source":{"id":"https://openalex.org/S16958353","display_name":"SIAM Journal on Matrix Analysis and Applications","issn_l":"0895-4798","issn":["0895-4798","1095-7162"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["anvur-scientific","cwts-core","dongbi-b","jufo-3","norway-2","poland-140","russia-white-list-1","vabb-shw"],"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 Matrix Analysis and Applications","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":36,"referenced_works":["https://openalex.org/W13586465","https://openalex.org/W178772886","https://openalex.org/W302561940","https://openalex.org/W1049469505","https://openalex.org/W1968165559","https://openalex.org/W1974511919","https://openalex.org/W1984470719","https://openalex.org/W2002064155","https://openalex.org/W2003815079","https://openalex.org/W2009694692","https://openalex.org/W2013394257","https://openalex.org/W2020804487","https://openalex.org/W2030343946","https://openalex.org/W2031740465","https://openalex.org/W2033624514","https://openalex.org/W2035080386","https://openalex.org/W2051701956","https://openalex.org/W2053489736","https://openalex.org/W2069849438","https://openalex.org/W2073327480","https://openalex.org/W2079232854","https://openalex.org/W2121922636","https://openalex.org/W2143211186","https://openalex.org/W2150329947","https://openalex.org/W2164498955","https://openalex.org/W2170345902","https://openalex.org/W2478636110","https://openalex.org/W2610370195","https://openalex.org/W2791863646","https://openalex.org/W2804795132","https://openalex.org/W2887397219","https://openalex.org/W2921480401","https://openalex.org/W3041643290","https://openalex.org/W3118711530","https://openalex.org/W4404632273","https://openalex.org/W7106811540"],"related_works":["https://openalex.org/W7221050532","https://openalex.org/W2556762456","https://openalex.org/W4404632273","https://openalex.org/W2158149279","https://openalex.org/W306549654","https://openalex.org/W188661582","https://openalex.org/W2051327530","https://openalex.org/W18698689","https://openalex.org/W1514118425","https://openalex.org/W2984372591"],"abstract_inverted_index":{"Abstract.":[0],"Verification":[1],"methods":[2,38,69],"provide":[3],"mathematically":[4,155],"correct":[5,156,371],"error":[6,385,410],"bounds":[7,106,263,288,305,386,411],"for":[8,39,77,107,137,247,283,306,372,387,412,429],"the":[9,17,22,28,31,74,83,108,123,160,177,183,218,230,250,254,265,330,356,368,413,427],"solution":[10,29,84,109,414],"of":[11,19,21,27,50,66,85,97,110,185,214,249,367,396,415,418,434],"a":[12,154,173,186,197,234,297,312,322,388,416],"numerical":[13,43],"problem.":[14,93],"That":[15,131,245,343],"includes":[16],"proof":[18],"solvability":[20],"problem":[23,391],"and":[24,47,56,59,61,143,207,304,353,392,437],"often":[25,233],"uniqueness":[26],"within":[30],"computed":[32],"bounds.":[33],"There":[34],"are":[35,70,380],"many":[36,81],"verification":[37,68],"standard":[40],"problems":[41],"in":[42,72,128,179,194,239,256,267,329,364],"analysis,":[44],"including":[45],"linear":[46,88,116,397,432],"nonlinear":[48,419],"systems":[49,89,117,433],"equations,":[51],"matrix":[52,146,328,375],"decompositions,":[53],"eigenproblems,":[54],"local":[55],"global":[57],"optimization,":[58],"ordinary":[60],"partial":[62],"differential":[63],"equations.":[64],"Many":[65],"those":[67],"included":[71],"INTLAB,":[73],"MATLAB/Octave":[75],"toolbox":[76],"reliable":[78],"computing.":[79],"Despite":[80],"efforts,":[82],"general":[86,111,144],"sparse":[87,115,400,422,430],"was":[90],"an":[91,102,393],"open":[92],"In":[94,167,424],"Part":[95,169,195,240,257,269,365,435,439],"I":[96,258,366,436],"this":[98,168,268,438],"note,":[99],"we":[100,171,273,404],"presented":[101],"algorithm":[103,132],"computing":[104],"verified":[105,262,384,409],"real":[112],"or":[113],"complex":[114],"with":[118,217,279,324,399,421],"condition":[119],"number":[120],"up":[121],"to":[122,222,276,300,320,339,351,382,407],"limit":[124],"[Formula:":[125,147,164,199,204,208,223,333,340],"see":[126,148,165,200,205,209,224,334,341],"text]":[127,201,206,210,335],"double":[129],"precision.":[130],"splits":[133],"into":[134],"three":[135],"subalgorithms":[136],"symmetric":[138,141,187,326],"positive":[139],"definite,":[140],"indefinite,":[142],"input":[145,327,374,401],"text].":[149,166,225,342],"It":[150],"is":[151,232,336,344,348,370],"based":[152,181,295],"on":[153,159,182,296],"lower":[157],"bound":[158],"smallest":[161,219],"singular":[162,215],"value":[163],"II,":[170],"use":[172],"method":[174,231,255,266,299],"published":[175],"by":[176,290],"author":[178],"1995":[180],"inertia":[184],"matrix.":[188,402],"A":[189],"key":[190],"point":[191],"is,":[192,294],"as":[193],"I,":[196,241],"factorization":[198],"such":[202],"that":[203,229,238,293,332,361],"have":[211],"identical":[212],"sets":[213],"values":[216],"one":[220],"close":[221],"Numerical":[226],"evidence":[227],"suggests":[228],"little":[235],"slower":[236],"than":[237],"however,":[242],"more":[243],"robust.":[244],"means,":[246],"some":[248],"few":[251,291],"cases":[252],"where":[253],"could":[259],"not":[260],"compute":[261,277,301,383,408],"successfully,":[264],"II":[270,440],"succeeded.":[271],"Furthermore,":[272,403],"show":[274,318,360,405],"how":[275,319,406],"inclusions":[278],"almost":[280],"maximal":[281],"accuracy":[282],"all":[284,287,425],"entries,":[285],"i.e.,":[286],"differ":[289],"bits,":[292],"fast":[298],"accurate":[302],"approximations":[303],"extremely":[307],"ill-conditioned":[308],"dot":[309],"products":[310],"using":[311],"very":[313],"efficient":[314],"MATLAB":[315],"implementation.":[316],"We":[317,359],"treat":[321],"system":[323,395,417],"nearly":[325],"sense":[331],"small":[337],"compared":[338],"useful":[345],"if":[346],"symmetry":[347],"lost":[349],"due":[350],"rounding":[352],"may":[354],"improve":[355],"performance":[357],"significantly.":[358],"Algorithm":[362],"\u201cverifySparseNearSym1\u201d":[363],"note":[369],"unsymmetric":[373],"without":[376],"change.":[377],"Moreover,":[378],"algorithms":[379,428],"given":[381],"least":[389],"squares":[390],"underdetermined":[394],"equations":[398,420],"Jacobian.":[423],"cases,":[426],"square":[431],"can":[441],"be":[442],"used.":[443]},"counts_by_year":[],"updated_date":"2026-10-30T12:39:25.321706","created_date":"2026-10-29T00:00:00"}