PhD Defence • Symbolic Computation • Fast Algorithms for Computing with Integer Matrices: Normal Forms and ApplicationsExport this event to calendar

Friday, September 17, 2021 — 10:00 AM EDT

Please note: This PhD defence will be given online.

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

Supervisors: Professors George Labahn, Arne Storjohann

The focus of this thesis is on fundamental computational problems in exact integer linear algebra. Specifically, for a nonsingular integer input matrix A ∈ Zn×n, we consider problems such as linear system solving and computing integer matrix normal forms.

Our goal is to design algorithms that have complexity about the same as the cost of multiplying together two integer matrices of the same dimension and size of entries as the input matrix A. If 2 ≤ ω ≤ 3 is a valid exponent for matrix multiplication, that is, if two n × n matrices can be multiplied in O(nω) basic operations from the domain of entries, then our target complexity is

(nω log ||A||)1+o(1)

bit operations. Here ||A|| = maxij |Aij| denotes the largest entry in absolute value, and the exponent 1 + o(1) indicates some missing log n and loglog ||A|| factors.

The first contribution is solving the problem of computing the Smith normal form S ∈ Zn×n of a nonsingular matrix A ∈ Zn×n along with computing unimodular matrices U, V ∈ Zn×n such that 

AV = US

in time (nω log ||A||)1+o(1). The algorithm we give is a Las Vegas probabilistic algorithm which means that we are able to verify the correctness of its output.

The second contribution of the thesis is with respect to linear system solving. We present a deterministic reduction to matrix multiplication for the problem of linear system solving: given as input a nonsingular A ∈ Zn×n and b ∈ Zn×1, compute A−1b. The system solution is computed in (nω log ||A||)1+o(1) bit operations.


To join this PhD defence on Zoom, please go to https://us02web.zoom.us/j/86413126350?pwd=QlJWUzdyVktVeC8zc3drdGlZWlYwdz09.

Location 
Online PhD defence
200 University Avenue West

Waterloo, ON N2L 3G1
Canada
Event tags 

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