{"id":"https://openalex.org/W2742234502","doi":"https://doi.org/10.1137/16m1089630","title":"Roundoff-Error-Free Basis Updates of LU Factorizations for the Efficient Validation of Optimality Certificates","display_name":"Roundoff-Error-Free Basis Updates of LU Factorizations for the Efficient Validation of Optimality Certificates","publication_year":2017,"publication_date":"2017-01-01","ids":{"openalex":"https://openalex.org/W2742234502","doi":"https://doi.org/10.1137/16m1089630","mag":"2742234502"},"language":"en","primary_location":{"id":"doi:10.1137/16m1089630","is_oa":false,"landing_page_url":"https://doi.org/10.1137/16m1089630","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,"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"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://oaktrust.library.tamu.edu/bitstreams/45a52fe4-0932-4cae-97b9-0b8566fe44eb/download","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5017235930","display_name":"Adolfo R. Escobedo","orcid":"https://orcid.org/0000-0002-4843-3564"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Adolfo R. Escobedo","raw_affiliation_strings":["Computing, Informatics and Decision Systems Engineering, School of (CIDSE)"],"affiliations":[{"raw_affiliation_string":"Computing, Informatics and Decision Systems Engineering, School of (CIDSE)","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5065668041","display_name":"Erick Moreno\u2010Centeno","orcid":"https://orcid.org/0000-0001-6258-5428"},"institutions":[{"id":"https://openalex.org/I2801613365","display_name":"Mitchell Institute","ror":"https://ror.org/03ds72003","country_code":"US","type":"nonprofit","lineage":["https://openalex.org/I2801613365"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Erick Moreno-Centeno","raw_affiliation_strings":["Texas A and M University"],"affiliations":[{"raw_affiliation_string":"Texas A and M University","institution_ids":["https://openalex.org/I2801613365"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5017235930"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.9483,"has_fulltext":true,"cited_by_count":6,"citation_normalized_percentile":{"value":0.77834991,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"38","issue":"3","first_page":"829","last_page":"853"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11697","display_name":"Numerical Methods and Algorithms","score":0.9994999766349792,"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.9994999766349792,"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.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/T10363","display_name":"Low-power high-performance VLSI design","score":0.998199999332428,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/cholesky-decomposition","display_name":"Cholesky decomposition","score":0.7762913703918457},{"id":"https://openalex.org/keywords/factorization","display_name":"Factorization","score":0.5885651707649231},{"id":"https://openalex.org/keywords/basis","display_name":"Basis (linear algebra)","score":0.4979512691497803},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4866100549697876},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.46714138984680176},{"id":"https://openalex.org/keywords/matrix","display_name":"Matrix (chemical analysis)","score":0.45011788606643677},{"id":"https://openalex.org/keywords/transpose","display_name":"Transpose","score":0.4418872594833374},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.43337973952293396},{"id":"https://openalex.org/keywords/integer","display_name":"Integer (computer science)","score":0.4324207901954651},{"id":"https://openalex.org/keywords/diagonal","display_name":"Diagonal","score":0.42562365531921387}],"concepts":[{"id":"https://openalex.org/C34727166","wikidata":"https://www.wikidata.org/wiki/Q515375","display_name":"Cholesky decomposition","level":3,"score":0.7762913703918457},{"id":"https://openalex.org/C187834632","wikidata":"https://www.wikidata.org/wiki/Q188804","display_name":"Factorization","level":2,"score":0.5885651707649231},{"id":"https://openalex.org/C12426560","wikidata":"https://www.wikidata.org/wiki/Q189569","display_name":"Basis (linear algebra)","level":2,"score":0.4979512691497803},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4866100549697876},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.46714138984680176},{"id":"https://openalex.org/C106487976","wikidata":"https://www.wikidata.org/wiki/Q685816","display_name":"Matrix (chemical analysis)","level":2,"score":0.45011788606643677},{"id":"https://openalex.org/C200106649","wikidata":"https://www.wikidata.org/wiki/Q223683","display_name":"Transpose","level":3,"score":0.4418872594833374},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.43337973952293396},{"id":"https://openalex.org/C97137487","wikidata":"https://www.wikidata.org/wiki/Q729138","display_name":"Integer (computer science)","level":2,"score":0.4324207901954651},{"id":"https://openalex.org/C130367717","wikidata":"https://www.wikidata.org/wiki/Q189791","display_name":"Diagonal","level":2,"score":0.42562365531921387},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.0},{"id":"https://openalex.org/C159985019","wikidata":"https://www.wikidata.org/wiki/Q181790","display_name":"Composite material","level":1,"score":0.0},{"id":"https://openalex.org/C158693339","wikidata":"https://www.wikidata.org/wiki/Q190524","display_name":"Eigenvalues and eigenvectors","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1137/16m1089630","is_oa":false,"landing_page_url":"https://doi.org/10.1137/16m1089630","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,"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"},{"id":"pmh:oai:oaktrust.library.tamu.edu:1969.1/202781","is_oa":true,"landing_page_url":"https://hdl.handle.net/1969.1/202781","pdf_url":"https://oaktrust.library.tamu.edu/bitstreams/45a52fe4-0932-4cae-97b9-0b8566fe44eb/download","source":{"id":"https://openalex.org/S4306400291","display_name":"OakTrust (Texas A&M University Libraries)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I91045830","host_organization_name":"Texas A&M University","host_organization_lineage":["https://openalex.org/I91045830"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Article"}],"best_oa_location":{"id":"pmh:oai:oaktrust.library.tamu.edu:1969.1/202781","is_oa":true,"landing_page_url":"https://hdl.handle.net/1969.1/202781","pdf_url":"https://oaktrust.library.tamu.edu/bitstreams/45a52fe4-0932-4cae-97b9-0b8566fe44eb/download","source":{"id":"https://openalex.org/S4306400291","display_name":"OakTrust (Texas A&M University Libraries)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I91045830","host_organization_name":"Texas A&M University","host_organization_lineage":["https://openalex.org/I91045830"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1270405757","display_name":null,"funder_award_id":"CMMI-1252456","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G5954070948","display_name":null,"funder_award_id":"CMMI-","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G8527633167","display_name":"EAGER: Optimization without Round-off Errors","funder_award_id":"1252456","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320337391","display_name":"Division of Civil, Mechanical and Manufacturing Innovation","ror":"https://ror.org/028yd4c30"}],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2742234502.pdf"},"referenced_works_count":24,"referenced_works":["https://openalex.org/W1950476521","https://openalex.org/W1978917746","https://openalex.org/W1979154120","https://openalex.org/W1988390398","https://openalex.org/W2015855792","https://openalex.org/W2050615952","https://openalex.org/W2050735826","https://openalex.org/W2052469740","https://openalex.org/W2053005439","https://openalex.org/W2059204145","https://openalex.org/W2071483197","https://openalex.org/W2071877138","https://openalex.org/W2079258636","https://openalex.org/W2081114193","https://openalex.org/W2081387733","https://openalex.org/W2082487954","https://openalex.org/W2083368929","https://openalex.org/W2109742527","https://openalex.org/W2133392928","https://openalex.org/W2133520239","https://openalex.org/W2143563095","https://openalex.org/W2157251766","https://openalex.org/W2209734631","https://openalex.org/W2407753303"],"related_works":["https://openalex.org/W2403987929","https://openalex.org/W2039814159","https://openalex.org/W2374847384","https://openalex.org/W2063512590","https://openalex.org/W2107649022","https://openalex.org/W2356488190","https://openalex.org/W2966537581","https://openalex.org/W2079508979","https://openalex.org/W3207320749","https://openalex.org/W201246341"],"abstract_inverted_index":{"The":[0,151,186],"roundoff-error-free":[1],"(REF)":[2],"LU":[3,200,247,267],"and":[4,23,44,83,131,136,143,168,193,216,294],"Cholesky":[5,224],"factorizations,":[6,135],"combined":[7],"with":[8,195],"the":[9,64,68,96,101,106,125,133,161,165,182,198,213,222,239,245,258,263,270,281],"REF":[10,32,65,110,134,141,166,199,223,246,271],"substitution":[11],"algorithms,":[12],"allow":[13],"rational":[14,265],"systems":[15],"of":[16,52,79,100,164,229,254],"linear":[17,293],"equations":[18],"to":[19,74,159,169,197],"be":[20,75,210],"solved":[21],"exactly":[22],"efficiently":[24],"by":[25,287],"working":[26],"entirely":[27],"in":[28,77,173],"integer":[29],"arithmetic.":[30],"These":[31],"computational":[33,85,97,230],"tools":[34],"share":[35],"two":[36],"key":[37],"properties:":[38],"their":[39,45,117,174],"constituent":[40],"divisions":[41],"are":[42,55,189],"exact,":[43],"matrix":[46,127,175],"entries'":[47,176],"bit-lengths":[48],"(i.e.,":[49],"required":[50],"number":[51],"storage":[53],"bits)":[54],"bounded":[56],"polynomially.":[57],"However,":[58],"as":[59],"this":[60,92,178],"paper":[61],"explains,":[62],"updating":[63,221],"factorizations":[66,167],"via":[67,212],"common":[69],"delete-insert-reduce":[70,260],"approach":[71,155],"turns":[72],"out":[73],"inefficient":[76],"terms":[78],"operand":[80],"bit-length":[81],"growth":[82,172],"increased":[84],"effort.":[86],"In":[87],"fact,":[88],"we":[89],"prove":[90,204],"that":[91,113,205,233],"inefficiency":[93],"can":[94,209],"eliminate":[95],"savings":[98],"expected":[99,183],"factorization":[102,248],"update":[103,111,154,179,243,261,272],"process.":[104],"Hence,":[105],"current":[107],"work":[108],"develops":[109],"algorithms":[112,273],"differ":[114],"significantly":[115],"from":[116],"traditional":[118],"counterparts.":[119],"To":[120],"achieve":[121],"this,":[122],"it":[123,138],"introduces":[124],"frame":[126,149],"methodology":[128],"for":[129,145,220,234,244,262,291],"representing":[130],"applying":[132],"then":[137],"devises":[139],"new":[140],"operations":[142],"shortcuts":[144],"transitioning":[146],"between":[147],"\u201cnearby\u201d":[148],"matrices.":[150],"presented":[152],"push-and-swap":[153,240],"utilizes":[156],"these":[157],"transitions":[158],"preserve":[160],"special":[162,218],"structure":[163],"avoid":[170],"additional":[171],"bit-lengths;":[177],"process":[180],"requires":[181],"$O(n^2)$":[184],"operations.":[185],"featured":[187],"updates":[188,208,215],"column":[190,214,241],"addition,":[191],"deletion,":[192],"replacement":[194,242],"respect":[196],"factorization.":[201,225,268],"We":[202],"also":[203],"analogous":[206],"row":[207],"performed":[211],"discuss":[217],"considerations":[219],"An":[226],"accompanying":[227],"set":[228],"tests":[231],"attests":[232],"fully":[235],"dense":[236],"random":[237],"instances,":[238],"is":[249],"on":[250],"average":[251],"an":[252],"order":[253],"magnitude":[255],"faster":[256],"than":[257],"corresponding":[259],"exact":[264,292],"arithmetic":[266],"Altogether,":[269],"represent":[274],"a":[275],"promising":[276],"preliminary":[277],"step":[278],"toward":[279],"enhancing":[280],"basic":[282],"solution":[283],"validation":[284],"subroutines":[285],"employed":[286],"state-of-the-art":[288],"mixed-precision":[289],"methodologies":[290],"mixed-integer":[295],"programming.":[296]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":1}],"updated_date":"2026-04-21T08:09:41.155169","created_date":"2025-10-10T00:00:00"}