PhD Seminar • Symbolic Computation — Fast Computation of the Smith Form of a Nonsingular Integer MatrixExport this event to calendar

Wednesday, July 8, 2020 — 3:00 PM EDT

Please note: This PhD seminar will be given online.

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

Any nonsingular matrix $A \in \mathbb{Z}^{n\times n}$ is unimodularly equivalent to a unique diagonal matrix $S = diag(s_1, s_2, \ldots, s_n)$ in Smith form. The diagonal entries, the invariant factors of $A$, are positive with $s_1 \mid s_2 \mid \cdots \mid s_n$, and unimodularly equivalent means that there exist unimodular (with determinant ±1) matrices $U, V \in \mathbb{Z}^{n\times n}$ such that $UAV = S$.

We present a Las Vegas randomized algorithm to compute the Smith normal form of a nonsingular integer matrix. For an $A \in \mathbb{Z}^{n \times n}$, the algorithm requires $O(n^3 (\log n + \log ||A||)^2 (\log n)^2)$ bit operations using standard integer and matrix arithmetic, where $||A||= \max_{ij} |A_{ij}|$ denotes the largest entry in absolute value. Fast integer and matrix multiplication can also be used, establishing that the Smith form can be computed in about the same number of bit operations as required to multiply two matrices of the same dimension and size of entries as the input matrix.

Location 
Online PhD seminar
200 University Avenue West

Waterloo, ON N2L 3G1
Canada

S M T W T F S
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
2
  1. 2020 (215)
    1. December (16)
    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)
  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)