Marcoux, Laurent W.Zhang, Yuanhang2022-05-202022-05-202021-01-01http://hdl.handle.net/10012/18308The final publication is available at Elsevier via https://doi.org/10.1016/j.jfa.2020.108778 © 2020. This manuscript version is made available under the CC-BY-NC-ND 4.0 licenseSpecht's Theorem states that two matrices A and B in Mn(C) are unitarily equivalent if and only if tr(w(A;A )) = tr(w(B;B )) for all words w(x; y) in two non-commuting variables x and y. In this article we examine to what extent this trace condition characterises approximate unitary equivalence in uniformly hyper nite (UHF) C -algebras. In particular, we show that given two elements a; b of the universal UHF algebra Q which generate C -algebras satisfying the UCT, they are approximately unitarily equivalent if and only if (w(a; a )) = (w(b; b )) for all words w(x; y) in two non-commuting variables (where denotes the unique tracial state on Q), while there exist two elements a; b in the UHF-algebra M21 which fail to be approximately unitarily equivalent despite the fact that they satisfy the trace condition. We also examine a consequence of these results for ampliations of matrices.enAttribution-NonCommercial-NoDerivatives 4.0 Internationalhttp://creativecommons.org/licenses/by-nc-nd/4.0/specht's theoremapproximate unitary equivalenceuhf-algebrasapproximate absolute value conditionArticle