We determine the probability, structure dependent, that the block Wiedemann algorithm correctly computes leading invariant factors. This leads to a tight lower bound for the probability, structure independent. We show, using block size slightly larger than r, that the leading r invariant factors are computed correctly with high probability over any field. Moreover, an algorithm is provided to compute the probability bound for a given matrix size and thus to select the block size needed to obtain the desired probability. The worst case probability bound is improved, post hoc, by incorporating the partial information about the invariant factors. (C) 2021 Published by Elsevier Ltd.
Metrics
5 Record Views
Details
Title
Probabilistic analysis of block Wiedemann for leading invariant factors
Creators
Gavin Harrison - Drexel University
Jeremy Johnson - Drexel University
David Saunders - Univ Delaware, Dept Comp & Informat Sci, Newark, DE 19716 USA
Publication Details
Journal of symbolic computation, v 108, pp 98-116
Publisher
Elsevier
Number of pages
19
Resource Type
Journal article
Language
English
Academic Unit
Computer Science
Web of Science ID
WOS:000679912200008
Scopus ID
2-s2.0-85110279199
Other Identifier
991019168326404721
InCites Highlights
Data related to this publication, from InCites Benchmarking & Analytics tool: