On the use of polynomial matrix approximant in the block Wiedemann algorithm
Pascal Giorgi
ECOLE NORMALE SUPERIEURE DE LYON
On the use of polynomial matrix approximant in the block Wiedemann - - PowerPoint PPT Presentation
On the use of polynomial matrix approximant in the block Wiedemann algorithm Pascal Giorgi Symbolic Computation Group , Laboratoire LIP, School of Computer Science, ENS Lyon, France ECOLE NORMALE SUPERIEURE DE LYON University of Waterloo,
ECOLE NORMALE SUPERIEURE DE LYON
◮ integers factorization [Odlyzko 1999]], ◮ discrete logarithm [Odlyzko 1999 ; Thom´
◮ number theory [Cohen 1993], ◮ group theory [Newman 1972], ◮ integer programming [Aardal, Hurkens, Lenstra 1999]
◮ Krylov/Wiedemann method [Wiedemann 1986] ◮ conjugate gradient [Lamacchia, Odlyzko 1990], ◮ Lanczos method [Lamacchia, Odlyzko 1990 ; Lambert 1996], ◮ block Lanczos method [Coppersmith 1993, Montgomery 1995] ◮ block Krylov/Wiedemann method [Coppersmith 1994, Thom´
i=0
i=0
i=0
i=0
i=0.
Card(I F) we have ΠAb = Πu,AB.
i=0.
i=0.
i=0.
i=0.
i=0.
i=0.
◮ parallel coarse and fine grain implementation (on columns of V ), ◮ better probability of success [Villard 1997], ◮ (1 + ǫ)N matrix-vector products (sequential) [Kaltofen 1995].
i=0 be a m × m matrix sequence.
k
◮ O(m3k2) field operations [Coppersmith 1994], ◮ O˜(m3k log k) field operations [Beckermann, Labahn 1994 ; Thom´
◮ O˜(mωk log k) field operations [Giorgi, Jeannerod, Villard 2003].
i=0 be a m × m matrix sequence.
k
◮ O(m3k2) field operations [Coppersmith 1994], ◮ O˜(m3k log k) field operations [Beckermann, Labahn 1994 ; Thom´
◮ O˜(mωk log k) field operations [Giorgi, Jeannerod, Villard 2003].
m
−d 2 M′G.
◮ compute ∆ = G mod λ, ◮ compute the LSP-factorization of π∆, with π a permutation, ◮ return M = DL−1π where D is a diagonal matrix (with 1’s and λ’s)
−d 2 M′G.
◮ compute ∆ = G mod λ, ◮ compute the LSP-factorization of π∆, with π a permutation, ◮ return M = DL−1π where D is a diagonal matrix (with 1’s and λ’s)
∞
∞
i=0
deg P
i=0.
i=0.
i=0.
i=0.
i=0.
◮ LinBox project (Canada-France-USA) : www.linal.org ◮ Generic implementation with respect to : finite field, blackbox. ◮ σ-basis implementation :
2 4 8 16 32 64 128 256 512 1024 5000 10000 15000 20000 25000 30000 Time in second Matrix size Minimal generating matrix polynomial vs minimal polynomial PM−Basis (block) M−Basis (block) Berlekamp/Massey (scalar)