PhD Seminar • Symbolic Computation | Computer Algebra — Deterministic Reduction of Integer Nonsingular Linear System Solving to Matrix MultiplicationExport this event to calendar

Friday, August 21, 2020 — 1:00 PM EDT

Please note: This PhD seminar will be given online.

Stavros Birmpilis, PhD candidate
David R. Cheriton School of Computer Science

We present a deterministic reduction to matrix multiplication for the problem of linear system solving: given as input a nonsingular $A \in \Z^{n \times n}$ and $b \in \Z^{n \times 1}$, compute $A^{-1}b$. The algorithm we give computes the minimal integer $e$ such that all denominators of the entries in $2^eA^{-1}$ are relatively prime to $2$. Then, for a $b$ that has entries with bitlength $O(n)$ times as large as the bitlength of entries in $A$, we give an algorithm to produce the $2$-adic expansion of $2^eA^{-1}b$ up to a precision high enough such that $A^{-1}b$ over $\Q$ can be recovered using rational number reconstruction. Both $e$ and the 2-adic expansion can be computed in $O(\MM(n,\log n + \log ||A||) \times (\log n) (\log n + \loglog ||A||))$ bit operations. Here, $||A||= \max_{ij} |A_{ij}|$ and $\MM(n,d)$ is the cost to multiply together, modulo $2^d$, two $n \times n$ integer matrices. 

Our approach is based on the previously known reductions of linear system solving to matrix multiplication which use randomization to find an integer lifting modulus $X$ that is relatively prime to $\det A$. Here, we derandomize by first computing a permutation $P$, a unit upper triangular $M$, and a diagonal $S$ with $\det S$ a power of two, such that $U := APMS^{-1}$ is an integer matrix with $2 \perp \det U$. This allows our modulus $X$ to be chosen a power of $2$.


To join this PhD seminar on Zoom, please go to https://us02web.zoom.us/j/85446398177?pwd=TjJVU1BJN3Iwc05IS3N1bUtrVFFyZz09.

Meeting ID: 854 4639 8177 
Passcode: 199196

Location 
Online PhD seminar
200 University Avenue West

Waterloo, ON N2L 3G1
Canada

S M T W T F S
27
28
29
30
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
  1. 2020 (188)
    1. November (1)
    2. October (7)
    3. September (21)
    4. August (28)
    5. July (14)
    6. June (18)
    7. May (16)
    8. April (20)
    9. March (16)
    10. February (25)
    11. January (22)
  2. 2019 (255)
    1. December (21)
    2. November (25)
    3. October (16)
    4. September (20)
    5. August (18)
    6. July (12)
    7. June (23)
    8. May (23)
    9. April (32)
    10. March (25)
    11. February (16)
    12. January (24)
  3. 2018 (217)
  4. 2017 (36)
  5. 2016 (21)
  6. 2015 (36)
  7. 2014 (33)
  8. 2013 (23)
  9. 2012 (4)
  10. 2011 (1)
  11. 2010 (1)
  12. 2009 (1)
  13. 2008 (1)