Paper detail

Making Almost Commuting Matrices Commute

Suppose two Hermitian matrices $A,B$ almost commute ($\Vert [A,B] \Vert \leq δ$). Are they close to a commuting pair of Hermitian matrices, $A',B'$, with $\Vert A-A' \Vert,\Vert B-B'\Vert \leq ε$? A theorem of H. Lin shows that this is uniformly true, in that for every $ε>0$ there exists a $δ>0$, independent of the size $N$ of the matrices, for which almost commuting implies being close to a commuting pair. However, this theorem does not specify how $δ$ depends on $ε$. We give uniform bounds relating $δ$ and $ε$. We provide tighter bounds in the case of block tridiagonal and tridiagonal matrices and a fully constructive method in that case. Within the context of quantum measurement, this implies an algorithm to construct a basis in which we can make a {\it projective} measurement that approximately measures two approximately commuting operators simultaneously. Finally, we comment briefly on the case of approximately measuring three or more approximately commuting operators using POVMs (positive operator-valued measures) instead of projective measurements.