~/talk

Faster Sparse Matrix Inversion and Rank Computation in Finite Fields

Talkat ITCS 2022 · 2022-01-31..02-03
links:none on file
links:none on file
slides:none on file

Claims a faster algorithm for inverting sparse n-by-n matrices over finite fields with expected time about O(n^{2.2131}) for O(n) nonzeros, by reducing A^{-1} to Krylov × block-Hankel inverse × Krylov and computing the block-Hankel inverse via displacement operators and compressed rectangular generators. The method uses randomized preconditioning, rectangular generator recovery, and fast rectangular matrix multiplication to expand generators; the final runtime scales with the rectangular-multiplication exponent, so any improvement there lowers this bound.

AI-written summary · about

  1. 0:00Intro
  2. 0:22SOLVING LINEAR SYSTEMS
  3. 1:06MATRIX INVERSION & COMPLEXITY QUESTIONS
  4. 3:31ALGORITHMS IN FINITE FIELDS
  5. 5:20FROM FINITE FIELDS TO THE REALS
  6. 6:27THIS TALK: MATRIX INVERSION
  7. 7:11NOTATION
  8. 7:50THE SET-UP
  9. 9:35OBTAINING A BLOCK HANKEL MATRIX
  10. 12:44DISPLACEMENT RANK THEOREM
  11. 13:10THE DUAL OPERATOR
  12. 14:49SUCCINT REPRESENTATION OF THE INVERSE
  13. 15:37BABO ALGORITHM
  14. 16:53OTHER TYPES OF DISPLACEMENT OPERATORS
  15. 18:52EXPLICIT RECOVERY
  16. 21:08GENERAL SCHEME
  17. 21:52RETURNING TO MATRIX INVERSE
  18. 25:04MAIN TAKE-AWAYS
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.