## Abstract

We analyze the convergence of randomized trace estimators. Starting at 1989, several algorithms have been proposed for estimating the trace of a matrix by 1/M∑ ^{M} _{i}=1 z^{T}_{i} Azi, where the z_{i} are random vectors; different estimators use different distributions for the z_{i}s, all of which lead to E(1/M ∑^{M} _{i}=1 z^{T} _{i} Az_{i}) = trace(A). These algorithms are useful in applications in which there is no explicit representation of A but rather an efficient method compute z ^{T} Az given z. Existing results only analyze the variance of the different estimators. In contrast, we analyze the number of samples M required to guarantee that with probability at least 1-δ S, the relative error in the estimate is at most ε. We argue that such bounds are much more useful in applications than the variance. We found that these bounds rank the estimators differently than the variance; this suggests that minimum-variance estimators may not be the best. We also make two additional contributions to this area. The first is a specialized bound for projection matrices, whose trace (rank) needs to be computed in electronic structure calculations. The second is a new estimator that uses less randomness than all the existing estimators.

Original language | English |
---|---|

Article number | 8 |

Journal | Journal of the ACM |

Volume | 58 |

Issue number | 2 |

DOIs | |

State | Published - Apr 2011 |

## Keywords

- Implicit linear operators
- Trace estimation

## All Science Journal Classification (ASJC) codes

- Software
- Control and Systems Engineering
- Information Systems
- Hardware and Architecture
- Artificial Intelligence