I asked a question back in November on Physics.StackExchange, but that didn’t attract any interest from anyone. I started thinking about it again recently and figured out a good solution. The question and answer are explained below.a
Q: Is there a good notion of a “diagonal” operator with respect the overcomplete basis of coherent states?
A: Yes. The operators that are “coherent-state diagonal” are those that have a smooth Glauber–Sudarshan P transform.
The primary motivation for this question is to get a clean mathematical condition for diagonality (presumably with a notion of “approximately diagonal”) for the density matrix of a system of a continuous degree of freedom being decohered. More generally, one might like to know the intuitive sense in which ,
, and
are all approximately diagonal in the basis of wavepackets, but
is not, where
is the unitary operator which maps
(1)
(This operator creates a Schrodinger’s cat state by reflecting about .)
For two different coherent states and
, we want to require an approximately diagonal operator
to satisfy
, but we only want to do this if
. For
, we sensibly expect
to be within the eigenspectrum of
.
One might consider the negativity of the Wigner-Weyl transformb of the density matrix (i.e. the Wigner phase-space quasi-probability distribution aka the Wigner function) as a sign of quantum coherence, since it is known that coherent superpositions (which are clearly not diagonal in the coherent state basis) have negative oscillations that mark the superposition, and also that these oscillations are destroyed by decoherence. However, this is not quite right since the Wigner function always is negative somewhere for any state besides perfect Gaussian states. Additionally, negativity is not useful for identifying more general diagonal operators (like the position operator) which are negative over half their domain.
We get much closer to the answer by recalling that the frequency of the oscillations observed in the Wigner function of superpositions are “sub-Planckian” in the sense that they fit insides a phase-space area smaller than (which obviously does not mean below the Planck length or Planck momentum scales). But it’s not transparent exactly what this has to do with diagonality, and exactly how small the oscillations should be.
Let’s take a naive stab at what an operator would look like if it were diagonal in the basis of coherent states , where
is a variable ranging over phase space. First, note that we can write the position operator in the position basis as
(2)
So, given an arbitrary real-valued (classical) function on phase-space (e.g. position, momentum, or energy) consider the following method of defining a corresponding operator:c
(3)
Intuitively, this operator acts on a state vector by “measuring it” in the wavepacket basis and weighting the corresponding components by the value of the function at that point in phase space. In fact, one can check that , where
is the position function on phase space.
How does this relate to the Wigner-Weyl transform? Well, the W transform of is
(4)
where denotes the convolution and
is a Gaussian kernel. Another way to write this is to use the convolution theorem:
(5)
where the tilde denotes the Fourier transform, so that , and
is the characteristic function associated with
.d
So we see that the W transform of a “diagonal” operator like is just
smoothed by a convolution with the Gaussian kernel
. But that’s exactly what makes
the P transform of
.e Indeed, the definition of
given above is the same as the defining equation for a P transform for a density matrix, only generalized to operators that aren’t necessarily density matrices.
Now, all smooth operators on the Hilbert space will have W transforms associated with them, but not all such W transforms can be de-convolved to a smooth P transform. In particular, if we move to Fourier space, de-convolution is just multiplication by which, in general, will produce a function on which the inverse Fourier transform does not converge.f Operators that have smooth P transforms will have the nice expansion given above in terms of coherent states, and are reasonably interpreted as diagonal in this overcomplete basis. For technical discussion of smoothness and convergence issues, see Bonifacio et al. and Sudarshan.
Proving that this implies all the sensible properties expected of diagonality is left as an exercise…
Footnotes
(↵ returns to text)
- I posted the answer on Physics.SE too since they encourage the answering of one’s own question. How lonely is that?!?↵
- Case has a pleasingly gentle introduction.↵
- The integral on the right should be normalized by a factor of
but I’m going to ignore normalization in everything I have to say.↵
- Usually the “symplectic Fourier transform” is used for the characteristic function, but that’s differs from the above only by reparameterizing as
. Note also that the factors like the 4 in
are dependent on the choice of Fourier convention, and whether
or
.↵
- See Wikipedia for a summary of the connection between the W, P, and Husimi Q transforms.↵
- There are ways to try construct a P transform in this case, but they are highly singular, involving infinite derivatives of Dirac delta functions. See Wikipedia and references therein.↵