Probabilistic Analysis of Block Wiedemann for Leading Invariant Factors

Gavin Harrison, Jeremy Johnson, B. David Saunders

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 probab…