  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.
