Almost commuting unitaries with spectral gap are near commuting unitaries

Tobias J. Osborne

Let M_n be the collection of n x n complex matrices equipped with operator norm. Suppose U, V \in M_n are two unitary matrices, each possessing a gap larger than Δin their spectrum…