# Selfadjoint compact operator with finite trace

I have a compact selfadjoint operator $T$ on a separable Hilbert space. For some fixed orthonormal basis, the operator's diagonal is in $\ell^1(\mathbb{N})$.

Can we conclude that $T$ is trace class?

-
By diagonal, do you mean $\langle Te_n,e_n\rangle$, where $\{e_n\}$ is the fixed orthonormal basis? – Davide Giraudo Jul 24 '12 at 21:55
May be I'm mistaken somwhere, but what is wrong with the following proof. Since $T$ is self adjoint and compact we can say that $T(x)=\sum_n\lambda_n\langle x,e_n\rangle e_n$. So $|\mathrm{Tr}(T)|=|\sum_n\langle T e_n,e_n\rangle|=|\sum_n\lambda_n|\leq\Vert\lambda\Vert_1<\infty$ – Norbert Jul 24 '12 at 21:57

1
@Davide: yes, including the sum you didn't type. – Martin Argerami Jul 24 '12 at 22:01

1
@Norbert: you are assumming that $T$ is diagonal in the given basis, which is not the case. – Martin Argerami Jul 24 '12 at 22:02

## 1 Answer

No, we cannot conclude that the operator is trace class.

For example, let a Hilbert space have orthonormal basis $e_1,f_2,e_2,f_2,e_3,f_3,\ldots$, and $T$ interchanges $e_i,f_i$, while multiplying both by a positive real $\lambda_i$. That is, in these coordinates, the matrix of $T$ is a list of diagonal blocks, with the $i$-th diagonal block being anti-diagonal $\lambda_i,\lambda_i$.

For $\lambda_i\rightarrow 0$, the operator is compact, almost from the definition.

All the diagonal entries are $0$.

The operator is self-adjoint because the matrix is symmetric real.

However, the operator is not trace class unless $\sum_i |\lambda_i|<\infty$, which easily fails for many sequences of positive reals $\lambda_i\rightarrow 0$.

Edit: It is noteworthy that the analogous characterization (I pointedly don't say "definition") of "Hilbert-Schmidt" does not depend on choice of basis. Thus, "defining" trace-class as composition of two Hilbert-Schmidt operators is sometimes usefully more intrinsic, less basis/coordinate-dependent.

-
Nice example. Thanks! – Martin Argerami Jul 25 '12 at 1:45
@Martin: You probably know this, but just in case: If your operator happens to be positive (not only self-adjoint), then your desired conclusion does hold, i.e. the trace is summable independently of the orthonormal basis, see Corollary 3.4.4 on page 117 of Pedersen's Analysis Now. – t.b. Jul 25 '12 at 2:19

1
Yes, I have wished so hard for my operator to be positive... – Martin Argerami Jul 25 '12 at 2:21
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 20, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9080209136009216, "perplexity_flag": "middle"}