{"id":"https://openalex.org/W2960394841","doi":"https://doi.org/10.1145/3326229.3326263","title":"Deterministic Reduction of Integer Nonsingular Linear System Solving to Matrix Multiplication","display_name":"Deterministic Reduction of Integer Nonsingular Linear System Solving to Matrix Multiplication","publication_year":2019,"publication_date":"2019-07-08","ids":{"openalex":"https://openalex.org/W2960394841","doi":"https://doi.org/10.1145/3326229.3326263","mag":"2960394841"},"language":"en","primary_location":{"id":"doi:10.1145/3326229.3326263","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3326229.3326263","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2019 International Symposium on Symbolic and Algebraic Computation","raw_type":"proceedings-article"},"type":"article","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/A5068348971","display_name":"Stavros Birmpilis","orcid":"https://orcid.org/0000-0002-1766-9814"},"institutions":[{"id":"https://openalex.org/I151746483","display_name":"University of Waterloo","ror":"https://ror.org/01aff2v68","country_code":"CA","type":"education","lineage":["https://openalex.org/I151746483"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Stavros Birmpilis","raw_affiliation_strings":["University of Waterloo, Waterloo, ON, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Waterloo, Waterloo, ON, Canada","institution_ids":["https://openalex.org/I151746483"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5001656489","display_name":"George Labahn","orcid":"https://orcid.org/0009-0005-8977-4890"},"institutions":[{"id":"https://openalex.org/I151746483","display_name":"University of Waterloo","ror":"https://ror.org/01aff2v68","country_code":"CA","type":"education","lineage":["https://openalex.org/I151746483"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"George Labahn","raw_affiliation_strings":["University of Waterloo, Waterloo, ON, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Waterloo, Waterloo, ON, Canada","institution_ids":["https://openalex.org/I151746483"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5008351804","display_name":"Arne Storjohann","orcid":"https://orcid.org/0000-0002-6354-8810"},"institutions":[{"id":"https://openalex.org/I151746483","display_name":"University of Waterloo","ror":"https://ror.org/01aff2v68","country_code":"CA","type":"education","lineage":["https://openalex.org/I151746483"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Arne Storjohann","raw_affiliation_strings":["University of Waterloo, Waterloo, ON, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Waterloo, Waterloo, ON, Canada","institution_ids":["https://openalex.org/I151746483"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I151746483"],"apc_list":null,"apc_paid":null,"fwci":0.7232,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.78547534,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"58","last_page":"65"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11130","display_name":"Coding theory and cryptography","score":0.9969000220298767,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T11130","display_name":"Coding theory and cryptography","score":0.9969000220298767,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.9940999746322632,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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.9922000169754028,"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/invertible-matrix","display_name":"Invertible matrix","score":0.7877274751663208},{"id":"https://openalex.org/keywords/integer","display_name":"Integer (computer science)","score":0.7010840773582458},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.6929022073745728},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6898294687271118},{"id":"https://openalex.org/keywords/multiplication","display_name":"Multiplication (music)","score":0.5657645463943481},{"id":"https://openalex.org/keywords/matrix","display_name":"Matrix (chemical analysis)","score":0.5399807095527649},{"id":"https://openalex.org/keywords/reduction","display_name":"Reduction (mathematics)","score":0.5218787789344788},{"id":"https://openalex.org/keywords/integer-matrix","display_name":"Integer matrix","score":0.5032708048820496},{"id":"https://openalex.org/keywords/matrix-multiplication","display_name":"Matrix multiplication","score":0.48267701268196106},{"id":"https://openalex.org/keywords/prime","display_name":"Prime (order theory)","score":0.4734853506088257},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4685429334640503},{"id":"https://openalex.org/keywords/permutation","display_name":"Permutation (music)","score":0.45559927821159363},{"id":"https://openalex.org/keywords/triangular-matrix","display_name":"Triangular matrix","score":0.4503258764743805},{"id":"https://openalex.org/keywords/diagonal","display_name":"Diagonal","score":0.41748785972595215},{"id":"https://openalex.org/keywords/symmetric-matrix","display_name":"Symmetric matrix","score":0.23149290680885315},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.08956804871559143},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.08234521746635437},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.06819796562194824}],"concepts":[{"id":"https://openalex.org/C96442724","wikidata":"https://www.wikidata.org/wiki/Q242188","display_name":"Invertible matrix","level":2,"score":0.7877274751663208},{"id":"https://openalex.org/C97137487","wikidata":"https://www.wikidata.org/wiki/Q729138","display_name":"Integer (computer science)","level":2,"score":0.7010840773582458},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.6929022073745728},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6898294687271118},{"id":"https://openalex.org/C2780595030","wikidata":"https://www.wikidata.org/wiki/Q3860309","display_name":"Multiplication (music)","level":2,"score":0.5657645463943481},{"id":"https://openalex.org/C106487976","wikidata":"https://www.wikidata.org/wiki/Q685816","display_name":"Matrix (chemical analysis)","level":2,"score":0.5399807095527649},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.5218787789344788},{"id":"https://openalex.org/C62555958","wikidata":"https://www.wikidata.org/wiki/Q6042601","display_name":"Integer matrix","level":5,"score":0.5032708048820496},{"id":"https://openalex.org/C17349429","wikidata":"https://www.wikidata.org/wiki/Q1049914","display_name":"Matrix multiplication","level":3,"score":0.48267701268196106},{"id":"https://openalex.org/C184992742","wikidata":"https://www.wikidata.org/wiki/Q7243229","display_name":"Prime (order theory)","level":2,"score":0.4734853506088257},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4685429334640503},{"id":"https://openalex.org/C21308566","wikidata":"https://www.wikidata.org/wiki/Q7169365","display_name":"Permutation (music)","level":2,"score":0.45559927821159363},{"id":"https://openalex.org/C104528550","wikidata":"https://www.wikidata.org/wiki/Q506265","display_name":"Triangular matrix","level":3,"score":0.4503258764743805},{"id":"https://openalex.org/C130367717","wikidata":"https://www.wikidata.org/wiki/Q189791","display_name":"Diagonal","level":2,"score":0.41748785972595215},{"id":"https://openalex.org/C54848796","wikidata":"https://www.wikidata.org/wiki/Q339011","display_name":"Symmetric matrix","level":3,"score":0.23149290680885315},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.08956804871559143},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.08234521746635437},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.06819796562194824},{"id":"https://openalex.org/C158693339","wikidata":"https://www.wikidata.org/wiki/Q190524","display_name":"Eigenvalues and eigenvectors","level":2,"score":0.0},{"id":"https://openalex.org/C24890656","wikidata":"https://www.wikidata.org/wiki/Q82811","display_name":"Acoustics","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/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"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/C139018669","wikidata":"https://www.wikidata.org/wiki/Q6961560","display_name":"Nonnegative matrix","level":4,"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/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.0},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3326229.3326263","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3326229.3326263","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2019 International Symposium on Symbolic and Algebraic Computation","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":5,"referenced_works":["https://openalex.org/W2067539682","https://openalex.org/W2082180697","https://openalex.org/W2085819076","https://openalex.org/W2143043648","https://openalex.org/W3032191927"],"related_works":["https://openalex.org/W2032862057","https://openalex.org/W3003160948","https://openalex.org/W3021726401","https://openalex.org/W2070685468","https://openalex.org/W2004973911","https://openalex.org/W4385335055","https://openalex.org/W4288594268","https://openalex.org/W2919712124","https://openalex.org/W3217647593","https://openalex.org/W2358216505"],"abstract_inverted_index":{"We":[0,35],"present":[1],"a":[2,18,61,93,195,198,204,210,236],"deterministic":[3],"reduction":[4],"to":[5,57,83,92,145,169,175,186,233],"matrix":[6,170,222],"multiplication":[7,171],"for":[8,60],"the":[9,41,50,73,85,113,143,161],"problem":[10],"of":[11,49,75,88,165,212,238],"linear":[12,166],"system":[13,167],"solving:":[14],"given":[15],"as":[16,70,72],"input":[17],"nonsingular":[19],"A":[20],"\\in":[21,27],"\\Z^n":[22,28],"\\times":[23,29,125,152],"n":[24,121,129,151,153],"and":[25,112,140,203],"b":[26,62,90,100],"1":[30],",":[31],"compute":[32],"A^-1":[33,99],"b.":[34],"give":[36,80],"an":[37,81,177,220],"algorithm":[38,82],"that":[39,46,63,98,182,215],"computes":[40],"minimal":[42],"integer":[43,154,178,221],"e":[44,111],"such":[45,97,214],"all":[47],"denominators":[48],"entries":[51,65,76],"in":[52,77,119],"2^eA^-1":[53,89],"are":[54],"relatively":[55,184],"prime":[56,185],"2.":[58,239],"Then,":[59],"has":[64],"with":[66,207,223],"bitlength":[67,74],"O(n)":[68],"times":[69],"large":[71],"A,":[78],"we":[79,190],"produce":[84],"2-adic":[86,114],"expansion":[87,115],"up":[91],"precision":[94],"high":[95],"enough":[96],"over":[101],"\\Q":[102],"can":[103,116],"be":[104,117,234],"recovered":[105],"using":[106],"rational":[107],"number":[108],"reconstruction.":[109],"Both":[110],"computed":[118],"O(\\MM(n,\u0142og":[120],"+":[122,130],"\u0142og":[123],"||A||)":[124],"(\u0142og":[126,128],"n)":[127],"\u0142oglog":[131],"||A||))":[132],"bit":[133],"operations.":[134],"Here,":[135,189],"||A||=":[136],"\\max_ij":[137],"|A_ij":[138],"|":[139],"\\MM(n,d)":[141],"is":[142,158,183,219],"cost":[144],"multiply":[146],"together,":[147],"modulo":[148],"2^d,":[149],"two":[150],"matrices.":[155],"Our":[156],"approach":[157],"based":[159],"on":[160],"previously":[162],"known":[163],"reductions":[164],"solving":[168],"which":[172],"use":[173],"randomization":[174],"find":[176],"lifting":[179],"modulus":[180,231],"X":[181,232],"\\det":[187,208,226],"A.":[188],"derandomize":[191],"by":[192],"first":[193],"computing":[194],"permutation":[196],"P,":[197],"unit":[199],"upper":[200],"triangular":[201],"M,":[202],"diagonal":[205],"S":[206,209],"power":[211,237],"two,":[213],"U":[216],":=":[217],"APMS^-1":[218],"2":[224],"\\perp":[225],"U.":[227],"This":[228],"allows":[229],"our":[230],"chosen":[235]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":1}],"updated_date":"2026-06-26T08:34:08.712188","created_date":"2025-10-10T00:00:00"}