In this post, I derive an identity showing the sense in which information about coherence over long distances in phase space for a quantum state is encoded in its quasicharacteristic function , the (symplectic) Fourier transform of its Wigner function. In particular I show

(1)

where and are coherent states, is the mean phase space position of the two states, “” denotes the convolution, and is the (Gaussian) quasicharacteristic function of the ground state of the Harmonic oscillator.

#### Definitions

The quasicharacteristic function for a quantum state of a single degree of freedom is defined as

where is the Weyl phase-space displacement operator, are coordinates on “reciprocal” (i.e., Fourier transformed) phase space, is the phase-space location operator, and are the position and momentum operators, “” denotes the Hilbert-Schmidt inner product on operators, , and “” denotes the symplectic form, . (Throughout this post I use the notation established in Sec. 2 of my recent paper with Felipe Hernández.) It has variously been called the quantum characteristic function, the chord function, the Wigner characteristic function, the Weyl function, and the moment-generating function. It is the quantum analog of the classical characteristic function.

Importantly, the quasicharacteristic function obeys and , just like the classical characteristic function, and provides a definition of the Wigner function where the linear symplectic symmetry of phase space is manifest:

(2)

where is the phase-space coordinate and is the position-space representation of the quantum state. This first line says that and are related by the *symplectic* Fourier transform. (This just means the inner product “” in the regular Fourier transform is replaced with the symplectic form, and has the simple effect of exchanging the reciprocal variables, , simplifying many expressions.) The second line is often taken as the definition of the Wigner function, but it suffers from explicitly breaking symmetry in phase space, unnecessarily privileging position over momentum. The above relations make it clear that is yet another 1-to-1 representation of a quantum state.

#### Preliminaries

First, we will need these checkable properties of the displacement operator,

(3)

from which we can invert the definition of the quasicharacteristic function:

(4)

Next, take to be an *arbitrary* normalized pure wavefunction (i.e., ) that will serve as a “reference wavepacket”. This is typically taken to be a wavepacket with minimal amounts of momentum well localized around the origin in configuration space, that is, a state whose Wigner function is mostly concentrated around the origin in phase space. Then we define to be the reference wavepacket displaced in phase space by the vector . We call the set the “wavepacket basis”; it forms an overcomplete basis (formally, a frame) of the Hilbert space, in particular providing a resolution of the identity . For concreteness, you can if you like take to be the ground state of the Harmonic oscillator, i.e., a Gaussian with zero expectation of position and momentum: for some characteristic spatial scale ; this makes the set of coherent states.

Now we consider the matrix elements in the wavepacket basis. Unlike for an orthonormal basis, there is no sharp distinction between off-diagonal and on-diagonal matrix elements. Rather, can be considered roughly off-diagonal whenever and are sufficiently far apart^{a } that . Large off-diagonal terms are indicative of long-range coherence in phase space, where “large” is relative to how closely it saturates the Cauchy-Schwartz inequality

(5)

For instance, if is the coherence superposition^{b } of two widely separated wavepackets and , and if is the corresponding incoherent mixture, then but , with all *on*-diagonal elements the same: .

#### Result

We can then compute

(6)

and using the shorthands and for the phase-space mean and separation between the two wavepackets and , we have

(7)

where is the quasicharacteristic function of the reference wavepacket . Several things could be said about this expression, especially if we introduced the twisted convolution, but let’s just observe that if for outside some region in reciprocal phase space then only “knows” about when is in that region translated so it’s centered around . Furthermore, it only knows about the part proportional to the local Fourier component . In particular, if our reference wavepacket is Gaussian, , then , so that is essentially determined by the values takes in a -sized region centered around .

From this one can also quickly check that if we take the squared norm of this off-diagonal matrix element and integrate over the entire phase space with a *fixed* value of the separation between the two points and , we get

(8)

where “” denote the convolution. So we find that the “total amount of coherence” over the phase-space distance (i.e., the summed amount of coherence between all pairs of wavepackets separated by ) is encoded in the value of in a small -sized region around . In the aforementioned Gaussian case, we have .

### Footnotes

(↵ returns to text)

- Somewhat more precisely, we can require for for some positive, symmetric, real-valued, and invertible 2×2 matrix . In the Gaussian case, is basically the covariance matrix of the wavepacket and, per the uncertainty principle, will necessarily obey . It acts to define an inner product on phase space, which arises from the chosen reference state ,
*not*the bare mechanical structure of phase space (which only knows about the symplectic form). In the special case of the coherent state, (up to factors of 2 that depend on choice of normalization), and the above requirement for off-diagonality is just that for .↵ - We use an approximate symbol “” here because the state would need its normalization slightly fixed in light of the fact that gets exponentially small but does not completely vanish.↵