Similarity cancellation and primitive operator roots

Abstract

Kaplansky's second test problem for similarity asks whether $A\oplus A\sim B\oplus B$ implies $A\sim B$ for bounded operators on a separable infinite-dimensional Hilbert space. We answer this question in the negative, even for compact operators whose singular values satisfy any prescribed positive upper bounds tending to zero. We also show that cancellation can fail under the stronger hypothesis $J_2(T)\sim J_2(S)$ considered by Marcoux, Radjavi, Troscheit, and Zhang \cite{MRTZ}. For these operators, finite amplifications and primitive roots are similar exactly at even multiplicities and even orders, respectively. In contrast, cancellation in fixed matrix size admits a uniform bound on the condition number. This extends the finite type~$I$ results of Jiang, Ma, Shi, and Zhang \cite{JMSZ}. The bound also holds for simultaneous similarity of arbitrary families of matrices and can be chosen to tend to one as the amplified bound tends to one. We conclude that, in a finite type~$I$ von Neumann algebra, cancellation of doubles and cancellation of primitive square roots are each equivalent to boundedness of the orders of its nonzero homogeneous summands.