On commutators of compact operators via block tridiagonalization: generalizations and limitations of Anderson's approach

TL;DR

This paper advances the understanding of whether every compact operator can be expressed as a commutator of compact operators, by generalizing Anderson's techniques, analyzing obstructions, and exploring matrix form constraints.

Contribution

It extends Anderson's methods to identify new classes of compact commutators and establishes conditions and obstructions for the Pearcy--Topping problem.

Findings

New classes of compact operators identified as commutators.

Obstructions to extending Anderson's techniques analyzed.

Necessary conditions involving singular numbers and ideal constraints provided.

Abstract

We offer a new perspective and some advances on the 1971 Pearcy--Topping problem: Is every compact operator a commutator of compact operators? Our goal is to analyze and generalize the 1970's work in this area of Joel Anderson combined with the work of the last named author of this paper. We reduce the general problem to a simpler sequence of finite matrix equations with norm constraints, while at the same time developing strategies for counterexamples. Our approach is to ask which compact operators $T$ are commutators $AB-BA$ of compact operators $A,B$; and to analyze the implications of Joel Anderson's contributions to this problem, which will yield a generalization of his method. By extending the techniques of Anderson [1] we obtain new classes of operators that are commutators of compact operators beyond those obtained in [17] and [2]. And by employing the techniques of the last named author [22], we found obstructions to extending Anderson's techniques in terms of certain constraints for $T$, with special focus on when $T$ is a strictly positive compact diagonal operator. Some of these constraints involve general universal block tridiagonal matrix forms for operators, and some involve $\mathcal{B(H)}$-ideal constraints. And in terms of these matrix forms, we give some equivalences, some sufficient conditions and some necessary conditions for this Pearcy--Topping problem and its various offshoots to hold true. These matrix forms are a sparsification of matrix representations of an operator (an increase in the proportion of zeros in its corners by a change of basis) and we measure the support density of these forms. And finally we provide some necessary conditions for the Pearcy--Topping problem involving singular numbers and $\mathcal{B(H)}$-ideal constraints.