Trace class explained
In mathematics, specifically functional analysis, a trace-class operator is a linear operator for which a trace may be defined, such that the trace is a finite number independent of the choice of basis used to compute the trace. This trace of trace-class operators generalizes the trace of matrices studied in linear algebra. All trace-class operators are compact operators.
In quantum mechanics, mixed states are described by density matrices, which are certain trace class operators.
Trace-class operators are essentially the same as nuclear operators, though many authors reserve the term "trace-class operator" for the special case of nuclear operators on Hilbert spaces and use the term "nuclear operator" in more general topological vector spaces (such as Banach spaces).
Note that the trace operator studied in partial differential equations is an unrelated concept.
Definition
Let
be a
separable Hilbert space,
an
orthonormal basis and
a
positive bounded linear operator on
. The
trace of
is denoted by
and defined as
\operatorname{Tr}(A)=
\left\langleAek,ek\right\rangle,
independent of the choice of orthonormal basis. A (not necessarily positive) bounded linear operator
is called
trace class if and only if\operatorname{Tr}(|T|)<infty,
where
denotes the positive-semidefinite Hermitian
square root.
The trace-norm of a trace class operator is defined asOne can show that the trace-norm is a norm on the space of all trace class operators
and that
, with the trace-norm, becomes a
Banach space.
When
is finite-dimensional, every (positive) operator is trace class and this definition of trace of
coincides with the definition of the
trace of a matrix. If
is complex, then
is always self-adjoint (i.e.
) though the converse is not necessarily true.
Equivalent formulations
Given a bounded linear operator
, each of the following statements is equivalent to
being in the trace class:
of .
There exist two orthogonal sequences
and
in
and positive
real numbers
in
such that
and
x\mapstoT(x)=
λi\left\langlex,xi\right\rangleyi, \forallx\inH,
where
are the
singular values of (or, equivalently, the eigenvalues of
), with each value repeated as often as its multiplicity.
- is a compact operator with
\operatorname{Tr}(|T|)<infty.
If is trace class then
\|T\|1=\sup\left\{|\operatorname{Tr}(CT)|:\|C\|\leq1andC:H\toHisacompactoperator\right\}.
is a
Hilbert-Schmidt operator.
Examples
Spectral theorem
Let
be a bounded self-adjoint operator on a Hilbert space. Then
is trace class
if and only if
has a pure point spectrum with eigenvalues
such that
\operatorname{Tr}(T2)=
<infty.
Mercer's theorem
Mercer's theorem provides another example of a trace class operator. That is, suppose
is a continuous symmetric
positive-definite kernel on
, defined as
then the associated
Hilbert–Schmidt integral operator
is trace class, i.e.,
\operatorname{Tr}(TK)=
K(t,t)dt=\sumiλi.
Finite-rank operators
Every finite-rank operator is a trace-class operator. Furthermore, the space of all finite-rank operators is a dense subspace of
(when endowed with the trace norm).
Given any
define the operator
by
(x ⊗ y)(z):=\langlez,y\ranglex.
Then
is a continuous linear operator of rank 1 and is thus trace class; moreover, for any bounded linear operator
A on
H (and into
H),
\operatorname{Tr}(A(x ⊗ y))=\langleAx,y\rangle.
Properties
- If
is a non-negative self-adjoint operator, then
is trace-class if and only if
\operatorname{Tr}A<infty.
Therefore, a self-adjoint operator
is trace-class if and only if its positive part
and negative part
are both trace-class. (The positive and negative parts of a self-adjoint operator are obtained by the continuous functional calculus.) - The trace is a linear functional over the space of trace-class operators, that is, The bilinear map is an inner product on the trace class; the corresponding norm is called the Hilbert–Schmidt norm. The completion of the trace-class operators in the Hilbert–Schmidt norm are called the Hilbert–Schmidt operators.
-
\operatorname{Tr}:B1(H)\to\Complex
is a positive linear functional such that if
is a trace class operator satisfying T\geq0and\operatorname{Tr}T=0,
then
- If
is trace-class then so is
and
- If
is bounded, and
is trace-class, then
and
are also trace-class (i.e. the space of trace-class operators on H is an ideal in the algebra of bounded linear operators on H), andFurthermore, under the same hypothesis, and
|\operatorname{Tr}(AT)|\leq\|A\|\|T\|.
The last assertion also holds under the weaker hypothesis that A and T are Hilbert–Schmidt. - If
and
are two orthonormal bases of H and if T is trace class then
- If A is trace-class, then one can define the Fredholm determinant of
: where
is the spectrum of
The trace class condition on
guarantees that the infinite product is finite: indeed, It also implies that
if and only if
is invertible.
- If
is trace class then for any orthonormal basis
of
the sum of positive terms is finite.
- If
for some Hilbert-Schmidt operators
and
then for any normal vector
holds.
Lidskii's theorem
Let
be a trace-class operator in a separable Hilbert space
and let
be the eigenvalues of
Let us assume that
are enumerated with algebraic multiplicities taken into account (that is, if the algebraic multiplicity of
is
then
is repeated
times in the list
). Lidskii's theorem (named after
Victor Borisovich Lidskii) states that
Note that the series on the right converges absolutely due to Weyl's inequalitybetween the eigenvalues
and the
singular values
of the compact operator
[1] Relationship between common classes of operators
Indeed, it is possible to apply the spectral theorem to show that every normal trace-class operator on a separable Hilbert space can be realized in a certain way as an
sequence with respect to some choice of a pair of Hilbert bases. In the same vein, the bounded operators are noncommutative versions of
the
compact operators that of
(the sequences convergent to 0), Hilbert–Schmidt operators correspond to
and
finite-rank operators to
(the sequences that have only finitely many non-zero terms). To some extent, the relationships between these classes of operators are similar to the relationships between their commutative counterparts.
Recall that every compact operator
on a Hilbert space takes the following canonical form: there exist orthonormal bases
and
and a sequence
of non-negative numbers with
such that
Making the above heuristic comments more precise, we have that
is trace-class iff the series
is convergent,
is Hilbert–Schmidt iff
is convergent, and
is finite-rank iff the sequence
has only finitely many nonzero terms. This allows to relate these classes of operators. The following inclusions hold and are all proper when
is infinite-dimensional:
The trace-class operators are given the trace norm The norm corresponding to the Hilbert–Schmidt inner product is Also, the usual operator norm is By classical inequalities regarding sequences,for appropriate
It is also clear that finite-rank operators are dense in both trace-class and Hilbert–Schmidt in their respective norms.
Trace class as the dual of compact operators
The dual space of
is
Similarly, we have that the dual of compact operators, denoted by
is the trace-class operators, denoted by
The argument, which we now sketch, is reminiscent of that for the corresponding sequence spaces. Let
we identify
with the operator
defined by
where
is the rank-one operator given by
This identification works because the finite-rank operators are norm-dense in
In the event that
is a positive operator, for any orthonormal basis
one has
where
is the identity operator:
But this means that
is trace-class. An appeal to
polar decomposition extend this to the general case, where
need not be positive.
A limiting argument using finite-rank operators shows that
Thus
is isometrically isomorphic to
As the predual of bounded operators
Recall that the dual of
is
In the present context, the dual of trace-class operators
is the bounded operators
More precisely, the set
is a two-sided
ideal in
So given any operator
we may define a continuous
linear functional
on
by
\varphiT(A)=\operatorname{Tr}(AT).
This correspondence between bounded linear operators and elements
of the
dual space of
is an isometric
isomorphism. It follows that
the dual space of
This can be used to define the
weak-* topology on
See also
Bibliography
- Book: Conway, John B. . A Course in Operator Theory . American Mathematical Soc. . Providence (R.I.) . 2000 . 978-0-8218-2065-0.
- Book: Conway, John B.. A course in functional analysis. Springer-Verlag. New York. 1990. 978-0-387-97245-9. 21195908.
- Dixmier, J. (1969). Les Algebres d'Operateurs dans l'Espace Hilbertien. Gauthier-Villars.
- Book: Reed . M. . Michael C. Reed . Simon . B. . Barry Simon. Methods of Modern Mathematical Physics: Vol 1: Functional analysis . Academic Press . 1980 . 978-0-12-585050-6.
- Book: Schaefer, Helmut H.. Topological Vector Spaces. Springer New York Imprint Springer. GTM. 3. New York, NY. 1999. 978-1-4612-7155-0. 840278135 .
- Book: Simon, Barry . Barry Simon . Szegő's theorem and its descendants: spectral theory for L² perturbations of orthogonal polynomials. 2010. Princeton University Press. 978-0-691-14704-8.
Notes and References
- Simon, B. (2005) Trace ideals and their applications, Second Edition, American Mathematical Society.