Gromov-Hausdorff Convergence of Spectral Truncations for Noncommutative Tori

We prove the Gromov-Hausdorff convergence of the state spaces, equipped with Connes' distance function, of the operator systems associated with spectral truncations for noncommutative $n$-tori, $n\ge 2$. The action of the $n$-torus on the noncommutative $n$-torus, together with an appropriate use of