PhD Seminar • Symbolic Computation • Applications of the Smith Massager of a Nonsingular Integer MatrixExport this event to calendar

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

Please note: This PhD seminar will be given online.

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

Supervisors: Professors George Labahn, Arne Storjohann

Given a nonsingular integer matrix A ∈ Zn×n with Smith normal form S = diag(s1, . . . , sn), we define a matrix M ∈ Zn×n to be a Smith massager for A. We use the notation cmod S to show that an equivalence is taken column modulo the diagonal entries in S. Matrix M satisfies (i) that AM ≡ 0 cmod S, namely, the matrix AMS−1 is integral, and (ii) that there exists a matrix W ∈ Zn×n such that WM ≡ In cmod S, namely, the Smith massager is “unimodular” up to equivalence column modulo S. We obtain the Smith massager from an algorithm that computes the Smith form of A. We show that M serves as a useful object for tackling other problems in integer linear algebra like computing the Smith multiplier matrices for A or representing the fractional part of the adjoint of A.


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

Location 
Online PhD seminar
200 University Avenue West

Waterloo, ON N2L 3G1
Canada
Event tags 

S M T W T F S
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
  1. 2021 (205)
    1. December (16)
    2. November (13)
    3. October (12)
    4. September (21)
    5. August (20)
    6. July (17)
    7. June (11)
    8. May (16)
    9. April (27)
    10. March (20)
    11. February (13)
    12. 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)