Every compact operator is a commutator of compact operators

Abstract.

We prove that every compact operator $T$ on a separable infinite-dimensional complex Hilbert space is a commutator of two compact operators, thereby answering a question of Pearcy and Topping. Moreover, the compact factors $A$ and $B$ can be chosen such that $[A,B]=T$ and $\max\{\|{}A\|{},\|{}B\|{}\}\leq c\|{}T\|{}^{1/2}$ for a universal constant $c$.

1. Introduction

Let $\mathcal{H}$ be a separable infinite-dimensional complex Hilbert space, and let $\mathcal{B}(\mathcal{H})$ and $\mathcal{K}(\mathcal{H})$ denote the bounded and compact operators on $\mathcal{H}$, respectively. A commutator is an operator of the form $[A,B]=AB-BA$. The problem of determining which operators are commutators depends substantially on the class in which the factors are required to lie. Brown and Pearcy [3] characterized the commutators in $\mathcal{B}(\mathcal{H})$: the only excluded operators are $\lambda I+K$, where $\lambda\neq 0$ and $K$ is compact. In particular, every compact operator is a commutator of bounded operators.

In 1971, Pearcy and Topping [13] asked whether the factors can both be chosen compact. Thus their question is whether

$$\mathcal{K}(\mathcal{H})=\{[A,B]:A,B\in\mathcal{K}(\mathcal{H})\}.$$

The structure of the linear spans of commutators in operator ideals has a separate and extensive theory; see Dykema, Figiel, Weiss, and Wodzicki [6]. Such a description of the span does not by itself resolve the single commutator problem.

An important first step was due to Anderson [1], he shows that a rank-one projection as a commutator of two compact operators. His work also gives the conclusion for compact operators that vanish on an infinite-dimensional reducing subspace, and hence for all finite-rank operators. The rank-one example shows why the ordinary trace cannot be used as an obstruction: a trace-class commutator of compact operators need not have trace zero when its two products are not individually trace class.

Subsequent work addressed classes of positive compact operators. Davidson, Marcoux, and Radjavi constructed a strictly positive commutator of compact operators in an unpublished manuscript [5]. Beltiţă, Patnaik, and Weiss [2] independently obtained families of strictly positive examples by modifying Anderson’s construction. Dykema and Krishnaswamy-Usha [7] proved that every nilpotent element of an operator ideal is a single commutator in a suitable power of that ideal; in particular, every nilpotent compact operator is a commutator of compact operators. More recently, Loreaux, Patnaik, Petrović, and Weiss [11] extended the classes accessible through Anderson’s method and identified restrictions on that method. By employing block tridiagonal forms, they effectively reduce the general problem to solving finite matrix equations under compactness constraints.

A different method comes from the study of diagonals. Fan [8] characterized operators having zero diagonal in an orthonormal basis. In particular, a trace-class operator of trace zero has zero diagonal. Fan and Fong [9] proved that every compact operator outside the trace class is similar to an operator with zero diagonal. Reducing the operator to finite-dimensional blocks is a natural strategy, though its success relies on controlling the matrix commutators as the block size grows. Recently, the bound established in [15, Theorem 1.1] provides precisely the uniform estimate needed to complete this approach.

In this paper, we answer the Pearcy–Topping question and obtain a uniform estimate for the compact factors. Throughout, $\kappa$ denotes any universal constant; see Lemma 2.4.

Theorem 1.1.

For every $T\in\mathcal{K}(\mathcal{H})$, there exist $A,B\in\mathcal{K}(\mathcal{H})$ such that

$$T=[A,B],\qquad\max\{\|A\|,\|B\|\}\leq 2^{12}\sqrt{\kappa\|T\|}.$$

In this paper, we distinguish two cases according to whether the compact operator belongs to the trace class. For compact operators outside the trace class, we show that the similarity in the Fan–Fong reduction can be chosen with uniformly bounded norm and inverse norm. For trace-class operators, we use a similarity to concentrate the trace in a finite-rank diagonal block. We then combine Anderson’s construction on this block with the zero-diagonal construction on the remaining summand. Allowing the rank of the finite block to vary makes it possible to obtain a uniform norm estimate. The remainder of the paper is organized as follows. Section 2 introduces notations and establishes preliminary estimates. Section 3 is devoted to the relevant compression and techniques. Finally, Section 4 presents the quantitative reduction and the proof of Theorem 1.1.

2. Preliminaries and estimates

In this paper, all Hilbert spaces are complex, and inner products are linear in the first variable.

Definition 2.1.

For Hilbert spaces $\mathcal{H}_{1},\mathcal{H}_{2}$, let $\mathcal{B}(\mathcal{H}_{2},\mathcal{H}_{1})$ and $\mathcal{K}(\mathcal{H}_{2},\mathcal{H}_{1})$ denote the bounded and compact operators from $\mathcal{H}_{2}$ to $\mathcal{H}_{1}$, respectively. When the two spaces agree, we write $\mathcal{B}(\mathcal{H})$ and $\mathcal{K}(\mathcal{H})$. The symbol $\|T\|$ denotes the operator norm and $\sigma(T)$ denotes the spectrum. The commutator of two operators on the same space is $[A,B]=AB-BA$.

Definition 2.2.

An operator $T\in\mathcal{B}(\mathcal{H})$ has a zero-diagonal if there exists an orthonormal basis $(e_{j})$ for $\mathcal{H}$ such that $\langle Te_{j},e_{j}\rangle=0$ for all $j$.

Definition 2.3.

An operator $T\in\mathcal{B}(\mathcal{H})$ is trace-class if $\sum_{j}\langle|T|e_{j},e_{j}\rangle<\infty$ for an orthonormal basis $(e_{j})$, where $|T|=(T^{*}T)^{1/2}$. The trace class is denoted by $\mathcal{S}_{1}(\mathcal{H})$, and its norm is $\|T\|_{1}=\Tr(|T|)$. For $T\in\mathcal{S}_{1}(\mathcal{H})$,

$$\Tr(T)=\sum_{j=1}^{\infty}\langle Te_{j},e_{j}\rangle.$$

The series is absolutely convergent and independent of the basis. On a finite-dimensional space, $\Tr(T)$ denotes the unnormalized matrix trace.

Note that for any bounded operators $A,B$ and trace-class $T$,

$$\|ATB\|_{1}\leq\|A\|\,\|T\|_{1}\,\|B\|,\quad\Tr(AT)=\Tr(TA).$$

We use the following form of the matrix theorem of Shen, Wang, and Zhi. Its essential point is that the same constant works in every matrix dimension. The equal bounds follow from reciprocal rescaling: for nonzero factors, replace $U,V$ by $cU,c^{-1}V$ with $c=(\|V\|/\|U\|)^{1/2}$.

Lemma 2.4 ([15, Theorem 1.1]).

There is a constant $\kappa\geq 1$ such that every trace-zero matrix $H$ has a representation

$$H=[U,V],\qquad\max\{\|U\|,\|V\|\}\leq\sqrt{\kappa\|H\|}.$$

Let $\kappa$ be a fixed universal constant with $\kappa\geq 4$ and fix $\varepsilon=\dfrac{1}{64\kappa}.$

We shall also use the standard fact that, if finite-rank orthogonal projections $P_{n}$ increase strongly to $I$, then $\|(I-P_{n})K\|\to 0$ and $\|K(I-P_{n})\|\to 0$ for every compact $K$.

The next estimate an elementary case of Rosenblum’s operator-equation theorem [14]; see also [15, Lemma 2.4]. We retain its short proof.

Lemma 2.5.

Let $U\in\mathcal{B}(\mathcal{H}_{1})$, $V\in\mathcal{B}(\mathcal{H}_{2})$, and $z,w\in\mathbb{C}$ satisfy $|z-w|>\|U\|+\|V\|$. For every $E\in\mathcal{B}(\mathcal{H}_{2},\mathcal{H}_{1})$, the equation

$$(zI+U)X-X(wI+V)=E$$

has a unique solution $X\in\mathcal{B}(\mathcal{H}_{2},\mathcal{H}_{1})$, with

$$\|X\|\leq\frac{\|E\|}{|z-w|-\|U\|-\|V\|}.$$

Proof.

On $\mathcal{B}(\mathcal{H}_{2},\mathcal{H}_{1})$, the map $\Psi(X)=UX-XV$ has norm at most $\|U\|+\|V\|<|z-w|$. Hence $(z-w)I+\Psi$ is invertible and

$$\|((z-w)I+\Psi)^{-1}\|\leq\frac{1}{|z-w|}\sum_{j=0}^{\infty}\left(\frac{\|\Psi\|}{|z-w|}\right)^{j}\leq\frac{1}{|z-w|-\|U\|-\|V\|}.$$

Applying this inverse to $E$ proves the assertion.

∎

We also use a resolvent form of this argument [14]. By bounding the resolvent rather than using norm separation (as in Lemma 2.5), the following Neumann series directly provides the required estimates.

Lemma 2.6.

Let $A_{0}\in\mathcal{B}(\mathcal{H}_{0})$, $\delta\notin\sigma(A_{0})$, and $r=\|(A_{0}-\delta I)^{-1}\|$. Suppose that $U\in\mathcal{B}(\mathcal{E})$ and $r\|U\|\leq 1/2$. For $E\in\mathcal{B}(\mathcal{E},\mathcal{H}_{0})$ and $F\in\mathcal{B}(\mathcal{H}_{0},\mathcal{E})$, the equations

$$A_{0}X-X(\delta I+U)=E,\qquad(\delta I+U)Y-YA_{0}=F$$

have unique solutions satisfying $\|X\|\leq 2r\|E\|$ and $\|Y\|\leq 2r\|F\|$.

Proof.

Let $W=(A_{0}-\delta I)^{-1}$. Multiplying the first equation on the left by $W$ and the second on the right by $W$ yields

$$X=WE+WXU,\quad Y=UYW-FW.$$

Given the series

$$X=\sum_{j=0}^{\infty}W^{j+1}EU^{j},\qquad Y=-\sum_{j=0}^{\infty}U^{j}FW^{j+1}.$$

Since

$$\|W^{j+1}EU^{j}\|\leq r\|E\|\,2^{-j},\qquad\|U^{j}FW^{j+1}\|\leq r\|F\|\,2^{-j}.$$

Both series converge absolutely in the operator norm. Direct substitution into the equations confirms that their sums are indeed the desired unique solutions. Now the geometric bounds yields

$$\|X\|\leq\frac{r\|E\|}{1-r\|U\|}\leq 2r\|E\|,\qquad\|Y\|\leq\frac{r\|F\|}{1-r\|U\|}\leq 2r\|F\|.$$

∎

The following block form will control the operators obtained from these equations.

Lemma 2.7.

Let $(\mathcal{E}_{n})_{n\geq 1}$ be Hilbert spaces, let $\mathcal{E}=\bigoplus_{n\geq 1}\mathcal{E}_{n}$, and suppose that $Z_{mn}\in\mathcal{B}(\mathcal{E}_{n},\mathcal{E}_{m})$ for all $m,n\geq 1$. Let $c>0$. If

$$\sup_{m}\sum_{n=1}^{\infty}\|Z_{mn}\|\leq c,\qquad\sup_{n}\sum_{m=1}^{\infty}\|Z_{mn}\|\leq c,$$

then the block matrix

$$Z=\begin{pmatrix}Z_{11}&Z_{12}&Z_{13}&\cdots\\ Z_{21}&Z_{22}&Z_{23}&\cdots\\ Z_{31}&Z_{32}&Z_{33}&\cdots\\ \vdots&\vdots&\vdots&\ddots\end{pmatrix}\begin{array}[]{l}\mathcal{E}_{1}\\ \mathcal{E}_{2}\\ \mathcal{E}_{3}\\ \vdots\end{array}$$

defines a bounded operator on $\mathcal{E}$, and $\|Z\|\leq c$.

Proof.

For a finitely supported vector $x=(x_{n})$, by Cauchy–Schwarz inequality,

$$\sum_{m=1}^{\infty}\left\|\sum_{n=1}^{\infty}Z_{mn}x_{n}\right\|^{2} \leq\sum_{m=1}^{\infty}\left(\sum_{n=1}^{\infty}\|Z_{mn}\|\right)\left(\sum_{n=1}^{\infty}\|Z_{mn}\|\,\|x_{n}\|^{2}\right)$$

$$\leq c\sum_{n=1}^{\infty}\|x_{n}\|^{2}\sum_{m=1}^{\infty}\|Z_{mn}\|\leq c^{2}\sum_{n=1}^{\infty}\|x_{n}\|^{2}.$$

The formula therefore defines an operator taking values in the Hilbert direct sum, which extends uniquely by continuity from the dense subspace of finitely supported vectors to a bounded operator satisfying the stated norm bound.

∎

Proposition 2.8.

Let $T\in\mathcal{K}(\mathcal{H})$ have zero diagonal in an orthonormal basis $(e_{j})$. Suppose that positive numbers $(\delta_{n})$ satisfy

$$\delta_{n+1}\leq\frac{\delta_{n}}{2},\qquad\|T\|\leq\varepsilon\delta_{1}^{2}.$$

There are finite-rank orthogonal projections $P_{n}$ increase strongly to $I$, and $A,B\in\mathcal{K}(\mathcal{H})$ such that

$$T=[A,B],\quad AP_{n}=P_{n}A,$$

and

$$\|A-P_{k}AP_{k}\|+\|B-P_{k}BP_{k}\|\leq 2\delta_{k+1},\qquad k\geq 0.$$

Moreover,

$$[P_{k}AP_{k},P_{k}BP_{k}]=P_{k}TP_{k},\qquad\|T-P_{k}TP_{k}\|\leq 2\varepsilon\delta_{k+1}^{2}.$$

Proof.

By compactness, we can choose integers $0=d_{0}<d_{1}<d_{2}<\cdots$ so that the projection $P_{n}$ onto $\spanop\{e_{1},\ldots,e_{d_{n}}\}$ satisfies

$$\max\{\|(I-P_{n})T\|,\|T(I-P_{n})\|\}\leq\varepsilon\delta_{n+1}^{2},\qquad n\geq 1.$$

Set $Q_{n}=P_{n}-P_{n-1}$ and $\mathcal{E}_{n}=Q_{n}\mathcal{H}$. Then $\mathcal{H}=\bigoplus_{n\geq 1}\mathcal{E}_{n}$. Write

$$T_{mn}=Q_{m}T|_{\mathcal{E}_{n}}\in\mathcal{B}(\mathcal{E}_{n},\mathcal{E}_{m}).$$

Since $T$ has zero diagonal, $T_{nn}$ is trace zero for all $n$. Furthermore,

$$\|T_{mn}\|\leq\min\{\|Q_{m}T\|,\|TQ_{n}\|\}\leq\varepsilon\min\{\delta_{m},\delta_{n}\}^{2}.$$

By Lemma 2.4, there exist matrices $U_{n},V_{n}$ such that

$$T_{nn}=[U_{n},V_{n}],\qquad\max\{\|U_{n}\|,\|V_{n}\|\}\leq\sqrt{\kappa\|T_{nn}\|}\leq\frac{\delta_{n}}{8}.$$

The last inequality uses $\varepsilon=1/64\kappa$.

Let $A_{n}=\delta_{n}I+U_{n}$ and $A=\bigoplus_{n\geq 1}A_{n}$. Then

$$\|A\|\leq\frac{9}{8}\delta_{1},\quad\|A-P_{k}AP_{k}\|\leq\frac{9}{8}\delta_{k+1}$$

Now we construct the matrix $B$. Define $Z_{nn}=V_{n}$ for all $n$. If $m<n$, consider the operator equation

$$A_{m}X-XA_{n}=T_{mn}.$$

Since $\delta_{n}\leq\delta_{m}/2$,

$$|\delta_{m}-\delta_{n}|-\|U_{m}\|-\|U_{n}\|\geq\frac{\delta_{m}}{4}.$$

By Lemma 2.5, the operator equation has a unique solution, which we denote by $Z_{mn}$. For $n<m$, we define $Z_{mn}$ analogously by interchanging the indices.

We also have the estimate

$$\|Z_{mn}\|\leq 4\varepsilon\frac{\min\{\delta_{m},\delta_{n}\}^{2}}{\max\{\delta_{m},\delta_{n}\}},\qquad m\neq n.$$

Let $B=(Z_{mn})$. Thus the matrices $A,B$ have the form

$$A=\begin{pmatrix}A_{1}&0&0&\cdots\\ 0&A_{2}&0&\cdots\\ 0&0&A_{3}&\cdots\\ \vdots&\vdots&\vdots&\ddots\end{pmatrix},\qquad B=\begin{pmatrix}V_{1}&Z_{12}&Z_{13}&\cdots\\ Z_{21}&V_{2}&Z_{23}&\cdots\\ Z_{31}&Z_{32}&V_{3}&\cdots\\ \vdots&\vdots&\vdots&\ddots\end{pmatrix}.$$

We now proceed to estimate the sum of the row norms. Fix $m\geq 1$, then

$$\sum_{n=1}^{\infty}\|Z_{mn}\| \leq\sum_{n<m}\|Z_{mn}\|+\|V_{m}\|+\sum_{n>m}\|Z_{mn}\|$$

$$\leq 4\varepsilon\sum_{n<m}\frac{\delta_{m}^{2}}{\delta_{n}}+\frac{\delta_{m}}{8}+4\varepsilon\sum_{n>m}\frac{\delta_{n}^{2}}{\delta_{m}}$$

$$\leq 4\varepsilon\delta_{m}\sum_{j=1}^{m-1}\frac{1}{2^{j}}+\frac{\delta_{m}}{8}+4\varepsilon\delta_{m}\sum_{j=1}^{\infty}\frac{1}{4^{j}}$$

$$<6\varepsilon\delta_{1}+\frac{\delta_{1}}{8}.$$

Hence,

$$\sup_{m}\sum_{n=1}^{\infty}\|Z_{mn}\|<6\varepsilon\delta_{1}+\frac{\delta_{1}}{8}.$$

Since the estimate is symmetric for $m,n$, we also have

$$\sup_{n}\sum_{m=1}^{\infty}\|Z_{mn}\|<6\varepsilon\delta_{1}+\frac{\delta_{1}}{8}.$$

By Lemma 2.7, we have

$$\|B\|\leq 6\varepsilon\delta_{1}+\frac{\delta_{1}}{8}.$$

The same estimates hold for $B-P_{k}BP_{k}$, we have

$$\|B-P_{k}BP_{k}\|\leq\left(\frac{1}{8}+6\varepsilon\right)\delta_{k+1}.$$

Since $\varepsilon\leq 1/64$, we obtain

$$\|A-P_{k}AP_{k}\|+\|B-P_{k}BP_{k}\|\leq\left(\frac{9}{8}+\frac{1}{8}+6\varepsilon\right)\delta_{k+1}\leq 2\delta_{k+1}.$$

Now we have $P_{k}AP_{k}\to A$ and $P_{k}BP_{k}\to B$ in norm. Then $A$ and $B$ are compact.

For $m,n\leq k$, then

$$\bigl([P_{k}AP_{k},P_{k}BP_{k}]\bigr)_{mn}=\begin{cases}[U_{n},V_{n}],&m=n,\\ A_{m}Z_{mn}-Z_{mn}A_{n},&m\neq n.\end{cases}$$

This means that $[P_{k}AP_{k},P_{k}BP_{k}]=P_{k}TP_{k}$. Finally,

$$\|T-P_{k}TP_{k}\|\leq\|(I-P_{k})T\|+\|P_{k}T(I-P_{k})\|\leq 2\varepsilon\delta_{k+1}^{2}.$$

Passing to the norm limit, we have

$$[A,B]=\lim_{n}[P_{k}AP_{k},P_{k}BP_{k}]=\lim_{n}P_{k}TP_{k}=T.$$

∎

Corollary 2.9.

Every compact operator $T$ with zero diagonal is a commutator of compact operators, with factors satisfying

$$\|A\|\,\|B\|\leq 16\kappa\|T\|.$$

Proof.

For $T=0$, take $A=B=0$. Otherwise set $\delta_{1}=8\sqrt{\kappa\|T\|}$ and $\delta_{n}=\delta_{1}/2^{n-1}$. Then $\|T\|\leq\varepsilon\delta_{1}^{2}.$ By Proposition 2.8,

$$\|A\|\,\|B\|\leq\frac{9}{8}\left(\frac{1}{8}+6\varepsilon\right)64\kappa\|T\|\leq 16\kappa\|T\|.$$

∎

3. Operator Decomposition and Idempotent Compression

We first construct a bounded idempotent whose range has zero compression under $T$. The range and kernel will then give the decomposition needed to separate the trace.

Lemma 3.1.

Let $T\in\mathcal{K}(\mathcal{H})$ have infinite rank, and let $\mathcal{M}\subset\mathcal{H}$ be finite dimensional. There are closed infinite-dimensional subspaces $\mathcal{L},\mathcal{W}\subset\mathcal{M}^{\perp}$ and a bounded idempotent $Q$ such that

$$T\mathcal{L}\subset\mathcal{W},\qquad\ran Q=\mathcal{L},\qquad\mathcal{M},\mathcal{W}\subset\ker Q,\qquad\|Q\|\leq\sqrt{10}.$$

In particular, $QTQ=0$, and both $\ran Q$ and $\ker Q$ are infinite dimensional.

Proof.

Choose positive numbers $\eta_{n}$ with $\sum_{n}\eta_{n}^{2}\leq 1/100$. We first construct an orthonormal family $(x_{1},y_{1},x_{2},y_{2},\ldots)$ satisfying

$$x_{n},y_{n},Tx_{n},Ty_{n}\in\mathcal{M}^{\perp},$$

$$\langle Tx_{n},Tx_{j}\rangle=0\,\,(n\neq j),\quad Tx_{n}\neq 0,$$

$$\|Ty_{n}\|\leq\eta_{n}\|Tx_{n}\|,\quad\langle y_{n},Tx_{j}\rangle=0\,\,(n,j\geq 1).$$

Set $\mathcal{F}_{1}=\mathcal{M}+T^{*}\mathcal{M}$. Since the restriction of $T$ to $\mathcal{F}_{1}^{\perp}$ is nonzero, we can choose a unit vector $x_{1}\in\mathcal{F}_{1}^{\perp}$ with $Tx_{1}\neq 0$. Set the space

$$\mathcal{G}_{1}=\mathcal{M}+T^{*}\mathcal{M}+\spanop\{x_{1},Tx_{1}\}.$$

Then $G_{1}$ is finite dimensional. Since $T$ is compact, the sequence of images of any orthonormal basis for $\mathcal{G}_{1}^{\perp}$ under $T$ converges to zero in norm. Thus we can choose a unit vector $y_{1}\in G_{1}^{\perp}$ with

$$\|Ty_{1}\|\leq\eta_{1}\|Tx_{1}\|.$$

Assume inductively that the pairs with indices strictly less than $n$ have already been constructed. Set

$$\mathcal{F}_{n}=\mathcal{M}+T^{*}\mathcal{M}+\spanop\{x_{j},y_{j},T^{*}Tx_{j},T^{*}y_{j}:j<n\}.$$

Choose a unit vector $x_{n}\in\mathcal{F}_{n}^{\perp}$ with $Tx_{n}\neq 0$. This preserves orthonormality and gives

$$\langle Tx_{n},Tx_{j}\rangle=\langle x_{n},T^{*}Tx_{j}\rangle=0,\qquad\langle Tx_{n},y_{j}\rangle=\langle x_{n},T^{*}y_{j}\rangle=0\quad(j<n).$$

Now set

$$\mathcal{G}_{n}=\mathcal{M}+T^{*}\mathcal{M}+\spanop\{x_{j},Tx_{j}:j\leq n\}+\spanop\{y_{j}:j<n\}.$$

Again by compactness, we can choose a unit vector $y_{n}\in\mathcal{G}_{n}^{\perp}$ with

$$\|Ty_{n}\|\leq\eta_{n}\|Tx_{n}\|.$$

Clearly, $\langle y_{n},Tx_{j}\rangle=0$ for $j\leq n$. For $j>n$, the subsequent choice of $x_{j}$ ensures that $\langle y_{n},Tx_{j}\rangle=0$.

Finally, orthogonality to $\mathcal{M}+T^{*}\mathcal{M}$ puts each chosen vector and its image in $\mathcal{M}^{\perp}$. This completes the inductive construction.

Let

$$u_{n}=\frac{x_{n}+y_{n}}{\sqrt{2}},\qquad v_{n}=\frac{Tx_{n}}{\|Tx_{n}\|},$$

and define isometries $J_{1},J_{2}:\ell^{2}(\mathbb{N})\to\mathcal{H}$ by

$$J_{1}e_{n}=u_{n}\quad{\rm and}\quad J_{2}e_{n}=v_{n}.$$

For any sequence of scalars $(a_{n})$ with finite support,

$$\left\|\sum_{n=1}^{\infty}a_{n}\frac{Ty_{n}}{\|Tx_{n}\|}\right\|\leq\sum_{n=1}^{\infty}|a_{n}|\eta_{n}\leq\frac{1}{10}\left(\sum_{n=1}^{\infty}|a_{n}|^{2}\right)^{1/2}.$$

Consequently, the linear mapping defined by $Ke_{n}=\dfrac{Ty_{n}}{\|{}Tx_{n}\|{}}$ extends uniquely by continuity to a bounded operator $K$ with norm $\|{}K\|{}\leq 1/10$. Set

$$\mathcal{L}=\ran J_{1},\qquad\mathcal{W}=\ran(J_{2}+K).$$

Since

$$\|(J_{2}+K)a\|\geq\|J_{2}a\|-\|Ka\|\geq\|a\|-\frac{1}{10}\|a\|=\frac{9}{10}\|a\|.$$

the space $\mathcal{W}$ is closed and infinite dimensional. From the properties that $u_{n},v_{n}\in M^{\perp}$, it follows that

$$\mathcal{L},\mathcal{W}\subset\mathcal{M}^{\perp}.$$

Let $D_{0}e_{n}=\dfrac{\|Tx_{n}\|}{\sqrt{2}}e_{n}$, then $TJ_{1}=(J_{2}+K)D_{0}$. The following diagram commutes:

Thus $T\mathcal{L}\subset\mathcal{W}$.

Let $P_{\mathcal{L}}$ be the orthogonal projection onto $\mathcal{L}$. For any $a\in\ell^{2}(\mathbb{N})$,

$$\|P_{\mathcal{L}}J_{2}a\|^{2}=\sum_{n=1}^{\infty}|\langle J_{2}a,u_{n}\rangle|^{2}=\frac{1}{2}\sum_{n=1}^{\infty}|\langle J_{2}a,x_{n}\rangle|^{2}\leq\frac{1}{2}\|a\|^{2},$$

where the second equality holds since $\langle J_{2}a,y_{n}\rangle=0$, and the final inequality relies on the isometry $J_{2}$ and Bessel’s inequality. For $w=(J_{2}+K)a$, it follows that

$$\|P_{\mathcal{L}}w\|\leq\left(\frac{1}{\sqrt{2}}+\frac{1}{10}\right)\|a\|\leq\left(\frac{1}{\sqrt{2}}+\frac{1}{10}\right)\frac{10}{9}\|(J_{2}+K)a\|\leq\frac{9}{10}\|w\|.$$

For $\ell\in\mathcal{L}$ and $\omega\in\mathcal{W}$, we have $\langle\ell,\omega\rangle=\langle\ell,P_{\mathcal{L}}\omega\rangle$. Hence

$$|\langle\ell,\omega\rangle|\leq\|\ell\|\,\|P_{\mathcal{L}}\omega\|\leq\frac{9}{10}\|\ell\|\,\|\omega\|.$$

Consequently,

$$\|\ell+\omega\|^{2} =\|\ell\|^{2}+\|\omega\|^{2}+2\operatorname{Re}\langle\ell,\omega\rangle$$

$$\geq\|\ell\|^{2}+\|\omega\|^{2}-\frac{9}{5}\|\ell\|\,\|\omega\|$$

$$\geq\|\ell\|^{2}+\|\omega\|^{2}-\frac{9}{10}\bigl(\|\ell\|^{2}+\|\omega\|^{2}\bigr)$$

$$=\frac{1}{10}\bigl(\|\ell\|^{2}+\|\omega\|^{2}\bigr).$$

This shows that $\mathcal{L}\cap\mathcal{W}=\{0\}$ and that $\mathcal{L}+\mathcal{W}$ is closed. With $\mathcal{N}=(\mathcal{L}+\mathcal{W})^{\perp}$, define

$$Q(\ell+w+z)=\ell,\quad\ell\in\mathcal{L},\ w\in\mathcal{W},\ z\in\mathcal{N}.$$

Since $\|\ell+\omega+z\|^{2}\geq\frac{1}{10}\|\ell\|^{2}$, so $Q$ is a bounded idempotent with $\|Q\|\leq\sqrt{10}$. Thus

$$QTQ=0,\quad\ran Q=\mathcal{L},\qquad\mathcal{M},\mathcal{W}\subset\mathcal{W}\dotplus\mathcal{N}=\ker Q.$$

Relative to $\mathcal{H}=\mathcal{L}\dotplus\mathcal{W}\dotplus\mathcal{N}$, $Q$ and $T$ have the form

$$Q=\begin{pmatrix}I&0&0\\ 0&0&0\\ 0&0&0\end{pmatrix}\begin{array}[]{l}\mathcal{L}\\ \mathcal{W}\\ \mathcal{N}\end{array},\qquad T=\begin{pmatrix}0&*&*\\ *&*&*\\ 0&*&*\end{pmatrix}\begin{array}[]{l}\mathcal{L}\\ \mathcal{W}\\ \mathcal{N}\end{array}.$$

∎

The next lemma concentrates the trace in a rank-one block. For the uniform estimate, we shall subsequently allow this block to have arbitrary finite rank.

Lemma 3.2.

Let $T\in\mathcal{S}_{1}(\mathcal{H})$ have infinite rank, and let $\lambda=\Tr(T)$. There are an orthogonal decomposition $\mathcal{H}=\mathcal{H}_{0}\oplus\mathcal{H}_{1}$ into infinite-dimensional subspaces, a bounded invertible operator $S$, and a unit vector $h\in\mathcal{H}_{0}$ such that

$$S^{-1}TS=\begin{pmatrix}\lambda P_{h}&E\\ F&G\end{pmatrix}\begin{array}[]{l}\mathcal{H}_{0}\\ \mathcal{H}_{1}\end{array},$$

where $P_{h}$ is the orthogonal projection onto $\mathbb{C}h$, $E,F$ are compact, and $G\in\mathcal{S}_{1}(\mathcal{H}_{1})$ satisfies $\Tr(G)=0$.

Proof.

Since $T$ is not scalar, there is a unit vector $h$ such that $h$ and $Th$ are linearly independent. Define a map $\Phi$ on $\spanop\{h,Th\}$ by

$$\Phi(\alpha h+\beta Th)=\alpha+\beta\lambda,\quad\alpha,\beta\in\mathbb{C}.$$

Extending it via composition with the orthogonal projection onto that space yields a bounded linear functional, which we still denote by $\Phi$. By the Riesz representation theorem, there exists $a\in\mathcal{H}$ such that $\Phi(x)=\langle x,a\rangle$.

For $x\in\mathcal{H}$, define

$$Px=\Phi(x)h.$$

Then $P^{2}=P$ and $PTP=\lambda P$.

Apply Lemma 3.1 to $T$ and $\mathcal{M}=\spanop\{h,Th,a,T^{*}a\}.$ There exists $Q$ such that

$$\ran Q\subset\mathcal{M}^{\perp},\quad\mathcal{M},\mathcal{W}\subset\ker Q,\quad T\ran Q\subset\mathcal{W}.$$

More explicitly,

$$PQ=0,\quad PTQ=0,\quad QP=0,\quad QTP=0,\quad QTQ=0.$$

Let

$$\mathcal{H}_{0}=\ran(P+Q)=\mathbb{C}h\oplus\ran Q,\quad\mathcal{H}_{1}=\mathcal{H}_{0}^{\perp}.$$

Then the property of $Q$ ensures that $\mathcal{H}_{0}$ and $\mathcal{H}_{1}$ are infinite dimensional. Let $E_{0}$ be the orthogonal projection onto $\mathcal{H}_{0}$ and let

$$P+Q=\begin{pmatrix}I&R_{0}\\ 0&0\end{pmatrix},\qquad S=\begin{pmatrix}I&-R_{0}\\ 0&I\end{pmatrix},\qquad S^{-1}=\begin{pmatrix}I&R_{0}\\ 0&I\end{pmatrix}\begin{array}[]{l}\mathcal{H}_{0}\\ \mathcal{H}_{1}\end{array}.$$

It follows that $S^{-1}(P+Q)S=E_{0}$. Since the operator $P$ agrees with $P_{h}$ on $\mathcal{H}_{0}$, we have

$$E_{0}S^{-1}TSE_{0}=S^{-1}(P+Q)T(P+Q)S=S^{-1}PTPS=\begin{pmatrix}\lambda P_{h}&0\\ 0&0\end{pmatrix}.$$

This establishes the desired matrix representation. Since the trace class and the trace functional are invariant under similarity, we have $\Tr(T)=\lambda+\Tr(G)$. Consequently, $\Tr(G)=0$. ∎

By allowing the finite block to have variable rank, we obtain a uniform bound for the similarity. This specific version is essential for the subsequent arguments.

Lemma 3.3.

Let $T\in\mathcal{S}_{1}(\mathcal{H})$ have infinite rank. There are an orthogonal decomposition $\mathcal{H}=\mathcal{H}_{0}\oplus\mathcal{H}_{1}$ into infinite-dimensional subspaces and a bounded invertible operator $S$ such that

$$\|S\|,\|S^{-1}\|\leq 4,\qquad S^{-1}TS=\begin{pmatrix}D&E\\ F&G\end{pmatrix}\begin{array}[]{l}\mathcal{H}_{0}\\ \mathcal{H}_{1}\end{array},$$

where $D$ has finite rank, $\Tr(D)=\Tr(T)$, $E,F$ are compact, and $G\in\mathcal{S}_{1}(\mathcal{H}_{1})$ satisfies $\Tr(G)=0$.

Proof.

Since $T\neq 0$, polarization yields a unit vector $u$ with $\langle Tu,u\rangle\neq 0$. By compactness, choose a unit vector $v\in\spanop\{u,Tu,T^{*}u\}^{\perp}$ such that

$$|\langle Tv,v\rangle|\leq\frac{|\langle Tu,u\rangle|}{3}.$$

Set

$$x=\frac{u+v}{\sqrt{2}},\qquad y=\frac{v-u}{\sqrt{2}}.$$

Then $x,y$ are orthonormal, and

$$\langle Ty,x\rangle=\frac{\langle Tv,v\rangle-\langle Tu,u\rangle}{2}\neq 0,\qquad\langle Ty,y\rangle=\frac{\langle Tv,v\rangle+\langle Tu,u\rangle}{2}.$$

In particular,

$$|\langle Ty,y\rangle|\leq\frac{|\langle Tv,v\rangle|+|\langle Tu,u\rangle|}{2}\leq|\langle Tu,u\rangle|-|\langle Tv,v\rangle|\leq 2|\langle Ty,x\rangle|.$$

Next we choose an orthonormal basis of $y^{\perp}$ beginning with $x$. Since the diagonal series of $T$ converges absolutely to $\Tr(T)$, there is an orthogonal projection $P$ onto a finite span of this basis such that

$$|\Tr(T)-\Tr(TP)-\langle Ty,y\rangle|<|\langle Ty,x\rangle|.$$

Set

$$\alpha=\frac{\Tr(T)-\Tr(TP)}{\langle Ty,x\rangle},$$

Then we have $|\alpha|<3$.

Define the operator $K_{0}:\mathcal{H}\to\mathcal{H}$ by

$$K_{0}z=\langle z,x\rangle y.$$

Then $PK_{0}=0$, $K_{0}P=K_{0}$, and $K_{0}^{2}=0$. Let $R=P+\alpha K_{0}$. Thus $R$ is a finite-rank idempotent, with $\|R\|\leq\sqrt{10}$. From the definition of $\alpha$, we have

$$\Tr(TR)=\Tr(TP)+\alpha\langle Ty,x\rangle=\Tr(T).$$

Apply Lemma 3.1 to $T$ and the finite-dimensional space

$$\mathcal{M}=\ran R+\ran R^{*}+T(\ran R)+T^{*}(\ran R^{*}).$$

Let $Q,\mathcal{L},\mathcal{W}$ be the resulting objects. Then we have

$$T\mathcal{L}\subset\mathcal{W},\qquad\ran Q=\mathcal{L},\qquad\mathcal{M},\mathcal{W}\subset\ker Q,\qquad\|Q\|\leq\sqrt{10}.$$

The inclusions $\ran Q\subset\mathcal{M}^{\perp}$ and $\mathcal{M}\subset\ker Q$ imply

$$RQ=QR=RTQ=QTR=0.$$

Together with $QTQ=0$, then $R+Q$ is an idempotent and

$$(R+Q)T(R+Q)=RTR.$$

Relative to $\mathcal{M}\oplus\mathcal{M}^{\perp}$, the operators $R$ and $Q$ act in different summands. Therefore

$$\|R+Q\|=\max\{\|R\|,\|Q\|\}\leq\sqrt{10}.$$

Let $\mathcal{H}_{0}=\ran(R+Q)$ and $\mathcal{H}_{1}=\mathcal{H}_{0}^{\perp}$. Both $\mathcal{H}_{0}$ and $\mathcal{H}_{1}$ are infinite dimensional. Then the idempotent $R+Q$ has the form

$$R+Q=\begin{pmatrix}I&R_{0}\\ 0&0\end{pmatrix}\begin{array}[]{l}\mathcal{H}_{0}\\ \mathcal{H}_{1}\end{array}.$$

Its norm satisfies

$$1+\|R_{0}\|^{2}=\|I+R_{0}R_{0}^{*}\|=\|R+Q\|^{2}\leq 10.$$

Hence $\|R_{0}\|\leq 3$. Define

$$S=\begin{pmatrix}I&-R_{0}\\ 0&I\end{pmatrix},\qquad S^{-1}=\begin{pmatrix}I&R_{0}\\ 0&I\end{pmatrix}.$$

Then

$$\|S\|,\|S^{-1}\|\leq 1+\|R_{0}\|\leq 4,\qquad S^{-1}(R+Q)S=\begin{pmatrix}I&0\\ 0&0\end{pmatrix}.$$

$\ran Q$, while $S\mathcal{H}_{1}=\ker(R+Q)$ contains $\mathcal{W}$.

Write

$$S^{-1}TS=\begin{pmatrix}D&E\\ F&G\end{pmatrix}.$$

Then $E,F$ are compact, and

$$\begin{pmatrix}D&0\\ 0&0\end{pmatrix}=S^{-1}(R+Q)T(R+Q)S=S^{-1}RTRS.$$

Thus $D$ has finite rank, and

$$\Tr(D)=\Tr(RTR)=\Tr(TR)=\Tr(T).$$

Finally, $S^{-1}TS$ is trace class. After choosing a suitable orthonormal basis with respect to $\mathcal{H}_{0}\oplus\mathcal{H}_{1}$, we have

$$\Tr(G)=\Tr(S^{-1}TS)-\Tr(D)=0.$$

∎

The following lemma extends Marcoux’s technique [12, Lemma 2.2] to develop a block-diagonal spectral separation technique that incorporates a prescribed compact commutator and a zero-diagonal compact operator in the diagonal entries. Moreover, our construction guarantees that the norms of the new factors are controlled by the initial operators.

Lemma 3.4.

Let $\mathcal{H}_{0},\mathcal{H}_{1}$ be separable infinite-dimensional Hilbert spaces, and let

$$T=\begin{pmatrix}D&E\\ F&G\end{pmatrix}\in\mathcal{K}(\mathcal{H}_{0}\oplus\mathcal{H}_{1}).$$

Suppose that $D=[A_{0},B_{0}]$ with $A_{0},B_{0}\in\mathcal{K}(\mathcal{H}_{0})$, and that $G$ has zero diagonal. Then $T=[A,B]$ for $A,B\in\mathcal{K}(\mathcal{H}_{0}\oplus\mathcal{H}_{1})$ satisfying

$$\max\{\|A\|,\|B\|\}\leq 20\max\{\|A_{0}\|,\|B_{0}\|,\sqrt{\kappa\|T\|}\}.$$

Proof.

Assume that $T\neq 0$, set

$$c=\max\{\|A_{0}\|,\|B_{0}\|,\sqrt{\kappa\|T\|}\},\qquad\delta_{1}=8c.$$

Fix an orthonormal basis $(e_{j})_{j\geq 1}$ of $\mathcal{H}_{1}$ in which $G$ has zero diagonal.

Since $\sigma(A_{0})\backslash\{0\}$ is countable, we choose a sequence $(\delta_{n})$ recursively

$$\delta_{n+1}\in(0,\frac{\delta_{n}}{2}]\setminus\sigma(A_{0}).$$

Set $r_{n}=\|(A_{0}-\delta_{n}I)^{-1}\|$. Since $\delta_{1}=8c$ and $\|A_{0}\|\leq c$,

$$r_{1}=\|(A_{0}-\delta_{1}I)^{-1}\|\leq\frac{1}{\delta_{1}-\|A_{0}\|}\leq\frac{1}{7c}\leq\frac{1}{4c}.$$

Consequently,

$$\|G\|\leq\|T\|\leq\varepsilon\delta_{1}^{2}=\frac{c^{2}}{\kappa}\leq\frac{1}{4\kappa r_{1}^{2}},$$

and

$$\max\{\|E\|,\|F\|\}\leq\|T\|\leq c^{2}\leq\frac{c}{4r_{1}}.$$

Set $P_{0}=0$. By compactness, we can choose integers $0<d_{1}<d_{2}<\cdots$ so that the projection $(P_{n})_{n\geq 1}$ onto $\spanop\{e_{1},\ldots,e_{d_{n}}\}$ satisfies

$$\max\{\|(I-P_{n-1})G\|,\|G(I-P_{n-1})\|\} \leq\min\left\{\varepsilon\delta_{n}^{2},\frac{1}{4\kappa r_{n}^{2}}\right\},$$

$$\max\{\|E(I-P_{n-1})\|,\|(I-P_{n-1})F\|\} \leq\frac{c}{2^{n+1}r_{n}}.$$

Set

$$Q_{n}=P_{n}-P_{n-1},\quad\mathcal{E}_{n}=Q_{n}\mathcal{H}_{1},\quad G_{mn}=Q_{m}G|_{\mathcal{E}_{n}}.$$

Then

$$\|G_{mn}\|\leq\min\{\varepsilon\delta_{m}^{2},\frac{1}{4\kappa r_{m}^{2}},\varepsilon\delta_{n}^{2},\frac{1}{4\kappa r_{n}^{2}}\}$$

By Lemma 2.4, we get

$$G_{nn}=[U_{n},V_{n}],\qquad\max\{\|U_{n}\|,\|V_{n}\|\}\leq\sqrt{\kappa\|G_{nn}\|}.$$

Hence for $n\geq 1$,

$$\|U_{n}\|,\|V_{n}\|\leq\sqrt{\kappa\varepsilon\delta_{n}^{2}}=\frac{\delta_{n}}{8},\qquad\|U_{n}\|\leq\sqrt{\frac{1}{4r_{n}^{2}}}=\frac{1}{2r_{n}}.$$

Set

$$A_{n}=\delta_{n}I+U_{n}.$$

Apply the construction in Proposition 2.8 to $G$, using these particular diagonal factors. This yields compact operators on $\mathcal{H}_{1}$ of the form

$$A_{\mathrm{t}}=\begin{pmatrix}A_{1}&0&0&\cdots\\ 0&A_{2}&0&\cdots\\ 0&0&A_{3}&\cdots\\ \vdots&\vdots&\vdots&\ddots\end{pmatrix},\qquad B_{\mathrm{t}}=\begin{pmatrix}V_{1}&B_{12}&B_{13}&\cdots\\ B_{21}&V_{2}&B_{23}&\cdots\\ B_{31}&B_{32}&V_{3}&\cdots\\ \vdots&\vdots&\vdots&\ddots\end{pmatrix},$$

such that

$$[A_{\mathrm{t}},B_{\mathrm{t}}]=G,\qquad\|A_{\mathrm{t}}\|,\|B_{\mathrm{t}}\|\leq 2\delta_{1}.$$

Apply Lemma 2.6 for

$$E_{n}:=E|_{\mathcal{E}_{n}}\in\mathcal{B}(\mathcal{E}_{n},\mathcal{H}_{0}),\quad F_{n}:=Q_{n}F\in\mathcal{B}(\mathcal{H}_{0},\mathcal{E}_{n}),\quad A_{n}=\delta_{n}I+U_{n},$$

there are operators $X_{n}:\mathcal{E}_{n}\to\mathcal{H}_{0}$ and $Y_{n}:\mathcal{H}_{0}\to\mathcal{E}_{n}$ such that

$$A_{0}X_{n}-X_{n}A_{n}=E_{n},\qquad A_{n}Y_{n}-Y_{n}A_{0}=F_{n},$$

and for $n\geq 1$,

$$\|X_{n}\|\leq 2r_{n}\|E_{n}\|\leq 2r_{n}\|E(I-P_{n-1})\|\leq\frac{c}{2^{n}},\quad\|Y_{n}\|\leq 2r_{n}\|F_{n}\|\leq\frac{c}{2^{n}}.$$

Define the row and column operators

$$X=(X_{1}\,\,X_{2}\,\,X_{3}\,\,\cdots):\mathcal{H}_{1}\to\mathcal{H}_{0},\quad Y=\begin{pmatrix}Y_{1}\\[2.84526pt] Y_{2}\\[2.84526pt] Y_{3}\\[2.84526pt] \vdots\end{pmatrix}:\mathcal{H}_{0}\to\mathcal{H}_{1}.$$

Thus, for $x=(x_{n})\in\bigoplus_{n\geq 1}\mathcal{E}_{n}$ and $h\in\mathcal{H}_{0}$,

$$Xx=\sum_{n=1}^{\infty}X_{n}x_{n},\qquad Yh=(Y_{n}h)_{n\geq 1}.$$

Then they are bounded operators with $\|X\|,\|Y\|\leq c$. The compactness of $X$ and $Y$ follows from the fact that they are norm limits of finite-rank operators.

Now we sum the finite partial terms of the following equations

$$A_{0}X_{n}-X_{n}A_{n}=E_{n},\qquad A_{n}Y_{n}-Y_{n}A_{0}=F_{n}.$$

Then we get

$$A_{0}XP_{k}-XA_{\mathrm{t}}P_{k}=EP_{k},\qquad P_{k}A_{\rm t}Y-P_{k}YA_{0}=P_{k}F.$$

Since $A_{\mathrm{t}}$ commutes with $P_{k}$, and $EP_{k}\to E$, $P_{k}F\to F$, taking norm limits gives

$$A_{0}X-XA_{\mathrm{t}}=E,\qquad A_{\mathrm{t}}Y-YA_{0}=F.$$

Define

$$A=\begin{pmatrix}A_{0}&0\\ 0&A_{\mathrm{t}}\end{pmatrix},\qquad B=\begin{pmatrix}B_{0}&X\\ Y&B_{\mathrm{t}}\end{pmatrix}\begin{array}[]{l}\mathcal{H}_{0}\\ \mathcal{H}_{1}\end{array}.$$

Both operators are compact and

$$[A,B]=\begin{pmatrix}[A_{0},B_{0}]&A_{0}X-XA_{\mathrm{t}}\\ A_{\mathrm{t}}Y-YA_{0}&[A_{\mathrm{t}},B_{\mathrm{t}}]\end{pmatrix}=\begin{pmatrix}D&E\\ F&G\end{pmatrix}.$$

The preceding estimates yield $\|A\|,\|B\|\leq 20c$. ∎

4. Main Results

We first treat compact operators outside the trace class and then consider the trace-class case. We recall Fan’s criterion for the existence of a zero diagonal. For a detailed proof, see [10, Appendix B.1].

Theorem 4.1 ([8, Theorem 1]).

An operator $T\in\mathcal{B}(\mathcal{H})$ has zero diagonal if and only if there are an orthonormal basis $(e_{j})_{j\geq 1}$ and an strictly increasing sequence of integers $(m_{k})_{k\geq 1}$ such that

$$\lim_{k\to\infty}\sum_{j=1}^{m_{k}}\langle Te_{j},e_{j}\rangle=0.$$

In particular, every $T\in\mathcal{S}_{1}(\mathcal{H})$ with $\Tr(T)=0$ has zero diagonal.

For every $T\in\mathcal{K}(\mathcal{H})\setminus\mathcal{S}_{1}(\mathcal{H})$, Fan and Fong [9] proved that $T$ is similar to an operator with zero diagonal. We improve a proof for this case with a uniform bound for the similarity. This bound will allow us to control the norms of the commutator factors.

Theorem 4.2.

Let $T\in\mathcal{K}(\mathcal{H})\setminus\mathcal{S}_{1}(\mathcal{H})$. There is a bounded invertible operator $S$ such that

$$\|S\|,\|S^{-1}\|\leq\sqrt{7}$$

and $S^{-1}TS$ has zero diagonal.

Proof.

Fix an orthonormal basis $(h_{j})_{j\geq 1}$ of $\mathcal{H}$. Since $T$ and $T^{*}$ are compact, $\|Th_{j}\|+\|T^{*}h_{j}\|\to 0$. We may choose a sequence of numbers $(j_{n})$ satisfying $j_{n+1}>j_{n}+1$ such that

$$\|{}Th_{j_{n}}\|{}+\|{}T^{*}h_{j_{n}}\|{}\leq\frac{1}{2^{n}}.$$

Let

$$y_{n}=h_{j_{n}},\quad\mathcal{N}=\overline{\spanop\{y_{n}:n\geq 1\}},\quad\mathcal{M}=\mathcal{N}^{\perp}.$$

By the choice of $j_{n}$, it follows that $\mathcal{M}$ and $\mathcal{N}$ are infinite dimensional. Let $P$ be the orthogonal projection onto $\mathcal{N}$. Then the series

$$TP=\sum_{n=1}^{\infty}\langle\,\cdot\,,y_{n}\rangle Ty_{n},\qquad PT=\sum_{n=1}^{\infty}\langle\,\cdot\,,T^{*}y_{n}\rangle y_{n}$$

converge in trace norm. Define

$$C=(I-P)T|_{\mathcal{M}},\qquad K=PT+TP-PTP.$$

Then $K\in\mathcal{S}_{1}(\mathcal{H})$ and $T\notin\mathcal{S}_{1}(\mathcal{H})$ implies $C\notin\mathcal{S}_{1}(\mathcal{H})$.

Write $C=\operatorname{Re}C+i\operatorname{Im}C$, at least one of its real and imaginary parts is not trace class. By replacing $T$ with $-iT$ if necessary, we can assume that $\operatorname{Re}C$ is not trace class. By the spectral theorem, there is an orthonormal basis $(x_{n})_{n\geq 1}$ of $\mathcal{M}$ such that

$$(\operatorname{Re}C)x_{n}=\lambda_{n}x_{n},\qquad\lambda_{n}\in\mathbb{R}.$$

Then $\sum_{n=1}^{\infty}|\lambda_{n}|=\infty$. Set $a_{n}=\langle Cx_{n},x_{n}\rangle$, then $\operatorname{Re}a_{n}=\lambda_{n}$, and hence

$$\sum_{n=1}^{\infty}|a_{n}|\geq\sum_{n=1}^{\infty}|\lambda_{n}|=\infty.$$

The compactness of $C$ implies $a_{n}\to 0$.

Now we partition $\mathbb{N}$ into four index sets $I_{1},I_{-1},I_{i},I_{-i}$ such that

$$\sum_{n\in I_{\omega}}|a_{n}|=\infty\qquad(\omega\in\{1,-1,i,-i\}).$$

For $n\in I_{\omega}$, set

$$q_{n}=\begin{cases}\displaystyle\frac{\omega|a_{n}|}{a_{n}},&a_{n}\neq 0,\\[6.0pt] 0,&a_{n}=0.\end{cases}$$

Then $|q_{n}|\leq 1$ and $q_{n}a_{n}=\omega|a_{n}|$. Let

$$\mathcal{F}_{n}=\operatorname{span}\{x_{n},y_{n}\}.$$

Since $(x_{n})$ and $(y_{n})$ are orthonormal bases of $\mathcal{M}$ and $\mathcal{N}$, respectively,

$$\mathcal{H}=\bigoplus_{n=1}^{\infty}\mathcal{F}_{n}.$$

Relative to the ordered basis $(x_{n},y_{n})$ of $\mathcal{F}_{n}$, define

$$S_{n}=\begin{pmatrix}1&1\\ -q_{n}&1-q_{n}\end{pmatrix},\quad S_{n}^{-1}=\begin{pmatrix}1-q_{n}&-1\\ q_{n}&1\end{pmatrix}.$$

A straightforward computation shows that

$$\max\{\|S_{n}\|^{2},\|S_{n}^{-1}\|^{2}\}\leq 2+|q_{n}|^{2}+|1-q_{n}|^{2}\leq 2+1+4=7.$$

Let $S=\bigoplus_{n=1}^{\infty}S_{n}.$ Then $S$ is bounded and invertible, with

$$S^{-1}=\bigoplus_{n=1}^{\infty}S_{n}^{-1},\qquad\|S\|,\ \|S^{-1}\|\leq\sqrt{7}.$$

Recall that $T=(C\oplus 0)+K$, where $K$ is trace class. The compression of $C\oplus 0$ to $\mathcal{F}_{n}$ is

$$\begin{pmatrix}a_{n}&0\\ 0&0\end{pmatrix}.$$

Define

$$\widehat{T}=S^{-1}TS,\qquad\gamma_{n}=\langle S^{-1}KSy_{n},y_{n}\rangle.$$

Now we have

$$\widehat{T}=S^{-1}TS=S^{-1}(C\oplus 0)S+S^{-1}KS.$$

Since $S$ and $S^{-1}$ are block diagonal with respect to $\bigoplus_{n}\mathcal{F}_{n}$, the corresponding compression of $S^{-1}(C\oplus 0)S$ is

$$S_{n}^{-1}\begin{pmatrix}a_{n}&0\\ 0&0\end{pmatrix}S_{n}=\begin{pmatrix}(1-q_{n})a_{n}&(1-q_{n})a_{n}\\ q_{n}a_{n}&q_{n}a_{n}\end{pmatrix}.$$

The matrix calculation shows

$$\langle\widehat{T}y_{n},y_{n}\rangle=\omega|a_{n}|+\gamma_{n},\qquad n\in I_{\omega}.$$

Moreover, $S^{-1}KS$ is trace class, and hence

$$\sum_{n=1}^{\infty}|\gamma_{n}|\leq\|S^{-1}KS\|_{1}\leq 7\|K\|_{1}<\infty.$$

Let $e_{2n-1}=x_{n},\,\,e_{2n}=y_{n}.$ Now we construct finite sets inductively

$$\varnothing=F_{0}\subsetneq F_{1}\subsetneq F_{2}\subsetneq\cdots$$

such that

$$\bigcup_{k=1}^{\infty}F_{k}=\mathbb{N},\qquad\left|\sum_{j\in F_{k}}\langle\widehat{T}e_{j},e_{j}\rangle\right|\leq\frac{4}{2^{k}}.$$

Suppose that $F_{k-1}$ has been constructed. Choose $N_{k}\geq k$ such that

$$F_{k-1}\subset\{1,\ldots,2N_{k}-1\},\qquad\sup_{n>N_{k}}|a_{n}|\leq\frac{1}{2^{k}},\qquad\sum_{n>N_{k}}|\gamma_{n}|\leq\frac{1}{2^{k}}.$$

Denote

$$z=\sum_{j=1}^{2N_{k}}\langle\widehat{T}e_{j},e_{j}\rangle.$$

Choose $\omega\in\{1,-1\}$ and a finite set $J\subset I_{\omega}\cap\{n>N_{k}\}$ such that

$$\left|\operatorname{Re}z+\omega\sum_{n\in J}|a_{n}|\right|\leq\frac{1}{2^{k}},$$

and set

$$z_{1}=z+\sum_{n\in J}(\omega|a_{n}|+\gamma_{n}).$$

Similarly, choose $\eta\in\{i,-i\}$ and a finite set $L\subset I_{\eta}\cap\{n>N_{k}\}$ such that

$$\left|\operatorname{Im}\left(z_{1}+\eta\sum_{n\in L}|a_{n}|\right)\right|\leq\frac{1}{2^{k}}.$$

Since the total sum diverges, we may select the shortest partial sum from the appropriate set that reaches the desired value; the excess in this step is at most $2^{-k}$. We take the empty set if the required value is zero.

Now define

$$F_{k}=\{1,\ldots,2N_{k}\}\cup\{2n:n\in J\cup L\}.$$

Now we have

$$\sum_{j\in F_{k}}\langle\widehat{T}e_{j},e_{j}\rangle=z_{1}+\eta\sum_{n\in L}|a_{n}|+\sum_{n\in L}\gamma_{n}.$$

Since $\eta$ is purely imaginary,

$$\left|\sum_{j\in F_{k}}\langle\widehat{T}e_{j},e_{j}\rangle\right| \leq|\operatorname{Re}z_{1}|+\left|\operatorname{Im}\left(z_{1}+\eta\sum_{n\in L}|a_{n}|\right)\right|+2\sum_{n\in L}|\gamma_{n}|$$

$$\leq\frac{2}{2^{k}}+\sum_{n\in J}|\gamma_{n}|+2\sum_{n\in L}|\gamma_{n}|$$

$$\leq\frac{4}{2^{k}}.$$

Also, $F_{k-1}\subsetneq F_{k}$ and $\{1,\ldots,2k\}\subset F_{k}$, this completes the induction.

Order the indices by sequentially listing the elements of $F_{1},F_{2}\setminus F_{1},F_{3}\setminus F_{2},\ldots$, and let $(f_{j})$ be the corresponding orthonormal basis. Set $m_{k}=|F_{k}|$, then

$$\sum_{j=1}^{m_{k}}\langle\widehat{T}f_{j},f_{j}\rangle=\sum_{j\in F_{k}}\langle\widehat{T}e_{j},e_{j}\rangle\longrightarrow 0.$$

Now Theorem 4.1 implies that $\widehat{T}$ has zero diagonal. ∎

Proposition 4.3.

For every $T\in\mathcal{K}(\mathcal{H})\setminus\mathcal{S}_{1}(\mathcal{H})$, there are $A,B\in\mathcal{K}(\mathcal{H})$ such that

$$T=[A,B],\qquad\|A\|\,\|B\|\leq 2^{13}\kappa\|T\|.$$

Proof.

Choose $S$ as in Theorem 4.2 and put $\widehat{T}=S^{-1}TS$. Corollary 2.9 gives compact operators $\widehat{A},\widehat{B}$ with

$$\widehat{T}=[\widehat{A},\widehat{B}],\qquad\|\widehat{A}\|\,\|\widehat{B}\|\leq 16\kappa\|\widehat{T}\|.$$

Set $A=S\widehat{A}S^{-1}$ and $B=S\widehat{B}S^{-1}$. These operators are compact, and $[A,B]=S[\widehat{A},\widehat{B}]S^{-1}=T$. Then we have

$$\|A\|\,\|B\|\leq 7^{2}\|\widehat{A}\|\,\|\widehat{B}\|\leq 7^{2}\cdot 16\kappa\|\widehat{T}\|\leq 7^{3}\cdot 16\kappa\|T\|\leq 2^{13}\kappa\|T\|.$$

∎

We now turn to the trace-class case. Anderson’s rank-one construction provides the finite-rank factors needed for the first diagonal block in Lemma 3.3.

Theorem 4.4 ([1]).

Every rank-one orthogonal projection on a separable infinite-dimensional Hilbert space is a commutator of compact operators.

Lemma 4.5.

Every finite-rank operator $D\in\mathcal{K}(\mathcal{H})$ can be written as $D=[A_{0},B_{0}]$, where $A_{0},B_{0}$ are compact and

$$\max\{\|A_{0}\|,\|B_{0}\|\}\leq 2\|D\|^{1/2}.$$

Proof.

Assume $D\neq 0$. Fix compact operators $C_{0},Z_{0}$ on $\ell^{2}(\mathbb{N})$ such that $[C_{0},Z_{0}]=P_{h}$, where $h$ is a fixed unit vector. This pair is chosen once and does not depend on $D$. From the construction in [2, Theorem 3.1], we may assume that $\|C_{0}\|,\|Z_{0}\|\leq 2$.

Set

$$\mathcal{E}=\ran D+\ran D^{*},\qquad d=\|D\|.$$

The space $\mathcal{E}$ is finite dimensional, and $\mathcal{E}^{\perp}\subset\ker D\cap\ker D^{*}$. Hence $\mathcal{E}$ reduces $D$, and

$$D=\begin{pmatrix}D_{\mathcal{E}}&0\\ 0&0\end{pmatrix}\begin{array}[]{l}\mathcal{E}\\ \mathcal{E}^{\perp}\end{array},\qquad\|D_{\mathcal{E}}\|=d.$$

On $\mathcal{E}\otimes\ell^{2}(\mathbb{N})$, define

$$C=\frac{D_{\mathcal{E}}}{\sqrt{d}}\otimes C_{0},\qquad Z=\sqrt{d}\,I_{\mathcal{E}}\otimes Z_{0}.$$

These operators are compact because $\mathcal{E}$ is finite dimensional and $C_{0},Z_{0}$ are compact. Their norms satisfy

$$\|C\|=\sqrt{d}\,\|C_{0}\|,\qquad\|Z\|=\sqrt{d}\,\|Z_{0}\|,$$

and

$$[C,Z]=D_{\mathcal{E}}\otimes[C_{0},Z_{0}]=D_{\mathcal{E}}\otimes P_{h}.$$

The last operator acts as $D_{\mathcal{E}}$ on $\mathcal{E}\otimes\mathbb{C}h$ and as zero on $\mathcal{E}\otimes h^{\perp}$.

Since $\mathcal{E}\neq\{0\}$ is finite dimensional, both $\mathcal{E}\otimes h^{\perp}$ and $\mathcal{E}^{\perp}$ are separable infinite-dimensional Hilbert spaces. Choose a unitary

$$V:\mathcal{E}\otimes h^{\perp}\longrightarrow\mathcal{E}^{\perp}.$$

Define

$$U(x\otimes h+w)=x+Vw,\qquad x\in\mathcal{E},\quad w\in\mathcal{E}\otimes h^{\perp}.$$

Then $U:\mathcal{E}\otimes\ell^{2}(\mathbb{N})\to\mathcal{H}$ is unitary and

$$U(D_{\mathcal{E}}\otimes P_{h})U^{*}=D.$$

Set

$$A_{0}=UCU^{*},\qquad B_{0}=UZU^{*}.$$

Thus

$$[A_{0},B_{0}]=U[C,Z]U^{*}=D.$$

Moreover,

$$\|A_{0}\|,\|B_{0}\|\leq\max\{\|C_{0}\|,\|Z_{0}\|\}\cdot\|D\|^{1/2}\leq 2\|D\|^{1/2}.$$

∎

Proposition 4.6.

For every $T\in\mathcal{S}_{1}(\mathcal{H})$, there are $A,B\in\mathcal{K}(\mathcal{H})$ such that

$$T=[A,B],\qquad\|A\|\,\|B\|\leq 2^{20}\kappa\|T\|.$$

Proof.

If $T$ has finite rank, apply Lemma 4.5. If $\Tr(T)=0$, Theorem 4.1 gives a zero diagonal, and Corollary 2.9 applies, then

$$\|A\|\,\|B\|\leq 16\kappa\|T\|.$$

Suppose that $T$ has infinite rank and $\Tr(T)\neq 0$. By Lemma 3.3, there are a bounded invertible $S$ and an orthogonal decomposition into infinite-dimensional subspaces such that

$$\|S\|,\|S^{-1}\|\leq 4,\qquad\widehat{T}=S^{-1}TS=\begin{pmatrix}D&E\\ F&G\end{pmatrix}\begin{array}[]{l}\mathcal{H}_{0}\\ \mathcal{H}_{1}\end{array},$$

where $D$ has finite rank and $G$ is trace class with $\Tr(G)=0$. Theorem 4.1 therefore gives an orthonormal basis of $\mathcal{H}_{1}$ in which $G$ has zero diagonal. Apply Lemma 4.5 on $\mathcal{H}_{0}$, gives

$$D=[A_{0},B_{0}],\qquad\max\{\|A_{0}\|,\|B_{0}\|\}\leq 2\|D\|^{1/2}\leq 2\|\widehat{T}\|^{1/2}.$$

Apply Lemma 3.4, there exist compact operators $\widehat{A},\widehat{B}$ such that $[\widehat{A},\widehat{B}]=\widehat{T}$ and

$$\max\{\|\widehat{A}\|,\|\widehat{B}\|\}\leq 20\max\{\|A_{0}\|,\|B_{0}\|,\sqrt{\kappa\|\widehat{T}\|}\}\leq 40\kappa^{1/2}\|\widehat{T}\|^{1/2}.$$

Here we use $\kappa\geq 4$. Finally, set $A=S\widehat{A}S^{-1}$ and $B=S\widehat{B}S^{-1}$. Then $A,B$ are compact and $[A,B]=T$. Then we obtain

$$\|A\|\,\|B\|\leq 16^{2}\|\widehat{A}\|\,\|\widehat{B}\|\leq 16^{3}\cdot 40^{2}\kappa\|\widehat{T}\|\leq 2^{24}\kappa\|T\|.$$

∎

Proof of Theorem 1.1.

Propositions 4.3 and 4.6 cover all compact operators. Then for any $T\in\mathcal{K}(\mathcal{H})$, there exist $A,B\in\mathcal{K}(\mathcal{H})$ such that $T=[A,B]$ and

$$\|A\|\|B\|\leq 2^{24}\kappa\|T\|$$

By replacing $A$ and $B$ with $\lambda A$ and $\lambda^{-1}B$ for a suitable scalar $\lambda$, we can make their norms equal. This preserves the commutator. Hence, we can choose $A,B$ such that

$$\max\{\|A\|,\|B\|\}\leq 2^{12}\sqrt{\kappa\|T\|}.$$

∎

AI statement

The author used GPT 6 astra during the development of this work for searching necessary references, examining mathematical arguments, and language editing. The author has checked and substantially revised all mathematical arguments and takes full responsibility for the final version.