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.
200 University Avenue West
Waterloo, ON N2L 3G1