9
$\begingroup$

This is borderline physics, but I'll post here first as it relates to a mathematical concept.

I was wondering if anyone could clarify what the physical significance is of traces, whether of matrices or more general operators, and are there more general notions of the same kind?

For example, there is what seems (as far as I can follow it) quite a promising "precursor" quantum theory called Trace Dynamics, developed by Stephen Adler and summarized in http://www.worldscinet.com/ijmpd/19/1914/free-access/S0218271810018335.pdf

Also, I have seen traces used in many other physics contexts.

I guess the first thing, more on topic here, would be to explain what mathematical significance this apparently slightly artificial (and coordinate dependent?) notion has.

Feel free to waffle in generalities - The reply needn't be impeccably formal, as I am more interested in gaining intuition than results that could easily be looked up ;-)

$\endgroup$
3
  • $\begingroup$ What kind of traces do you consider? The usual matrice trace is coordinate indepenent and even invariant under conjugation by invertible matrices, since $tr(ab) = tr(ba)$. $\endgroup$
    – Marc Palm
    Mar 28, 2011 at 12:32
  • $\begingroup$ I'll attempt to justify some of why traces are important, though not solely from a physics perspective. The trace of a matrix $M$ comes naturally (as does the determinant) from the characteristic polynomial $p(\lambda) = \det(\lambda I-M)$. Namely, for any algebraically closed field, it is the sum of the roots of $p(\lambda)$ counted with multiplicity (the determinant is the product). This is clearly coordinate-independent and a rather fundamental quantity. The usual definition lacks any intuition, but is more useful for generalizing to arbitrary matrix rings and for efficient computation. $\endgroup$
    – Logan M
    Mar 29, 2011 at 0:54
  • $\begingroup$ @MarcPalm, aren't the statement "[the] trace is coordinate independent" and "[it is] invariant under conjugation by invertible matrices" the same thing? (Your comment seems to imply that the latter is a stronger statement.) $\endgroup$
    – LSpice
    Aug 27, 2019 at 13:24

5 Answers 5

7
$\begingroup$

In statistical mechanics, the trace $\mathrm{Tr} e^{-\beta H}$, where $\beta$ is the inverse temperature and $H$ is the hamiltonian, defines the partition function of a system at equilibrium.

In supersymmetric quantum mechanical models, the supertrace (which is in particular also a trace) $\mathrm{Str} e^{-\beta H}$ computes the so-called Witten index of the model. It is the index of an operator $D$ (the supercharge) such that $D^2 = H$, and there exist models (so-called supersymmetric sigma models) for which $D$ is the Dirac operator of one of the classical complexes. This observation then underlies the Physics proofs of the Atiyah-Singer index theorem. The Witten index also plays a rôle in less formal considerations: it can be used to probe the breaking of supersymmetry, which is a phenomenologically important question, since supersymmetry, if it exists at all, is broken at our energy scales. A nonvanishing Witten index indicates that supersymmetry is not spontaneously broken.

$\endgroup$
2
6
$\begingroup$

This is really just a long comment. I feel that the honor (naturality) of the trace has been called into question, and so it must be defended ;) I'm certain there are many other elegant things that can be said...but here are my two cents:

First of all, one nice thing about a trace is that it is not coordinate dependent. This is because $Tr(S^{-1}TS)=Tr(SS^{-1}T)=Tr(T)$ for all $T$ in whatever algebra you are considering on which $Tr$ lives.

As for the general significance of the trace, you may want to have a look at the Riesz representation theorem for bounded linear functionals on the algebra of continuous functions with compact support with respect to pointwise multiplication. This theorem facilitates viewing a trace (or continuous functionals in general) as an integral in certain important abelian algebras.

If you are looking at physics from a point of view that incorporates $C^{\ast}$-algebras, then traces play an important role. Say, for example, you are thinking about quantum mechanics from the operator algebra point of view. A good sort of $C^{\ast}$ -algebra in which to do this is a von Neumann algebra, since these are generated by self-adjoint projections...which amount to 'yes' or 'no' questions (a nice description I first saw posted on John Baez's blog). A trace on the von Neumann algebra readily expresses a notion of dimension that generalizes the usual Hilbert space dimension. In (finite) matrices, two projections have ranges with the same dimension if and only if these projections have the same trace. So, equivalence classes of projections are given by the possible traces: $\{0,1,2,...,dim(H)\}$. There are von Neumann algebras that exhibit continous dimension (the equivalence classes range over $[0,1]$). All such algebras admit a (normal) trace state...which witnesses the dimension. In short, traces seem to be no more artificial than dimension...largely because of the coordinate independence.

Also, traces are important in noncommutative geometry. For example, a non-normal trace called the Dixmier trace plays the role of the integral in the noncommutative differential calculus. For more on this, see Connes's book.

$\endgroup$
4
$\begingroup$

In quantum mechanics, states can (often) be described by density matrices. That is, if $A$ is an observable, it's expected value is given by $\langle A \rangle = Tr(\rho A)$, where $\rho$ is a density matrix (or operator in the infinite dimensional case). This formulation (as opposed to using state vectors for example) has the advantage that it's easy to described so-called mixed states (i.e. non-pure states). In this context it is in a sense more of a tool, especially useful when studying statistical mechanics.

$\endgroup$
4
$\begingroup$

There was a similar question recently posed (and often answered) here:

Geometric Interpretation of Trace

$\endgroup$
0
$\begingroup$

For a more general notion of the same kind see http://ncatlab.org/nlab/show/span+trace

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.