In physics, specifically in quantum mechanics, a coherent state is the specific quantum state of the quantum harmonic oscillator, often described as a state that has dynamics most closely resembling the oscillatory behavior of a classical harmonic oscillator. It was the first example of quantum dynamics when Erwin Schrödinger derived it in 1926, while searching for solutions of the Schrödinger equation that satisfy the correspondence principle.[1] The quantum harmonic oscillator (and hence the coherent states) arise in the quantum theory of a wide range of physical systems.[2] For instance, a coherent state describes the oscillating motion of a particle confined in a quadratic potential well (for an early reference, see e.g. Schiff's textbook[3]). The coherent state describes a state in a system for which the ground-state wavepacket is displaced from the origin of the system. This state can be related to classical solutions by a particle oscillating with an amplitude equivalent to the displacement.
These states, expressed as eigenvectors of the lowering operator and forming an overcomplete family, were introduced in the early papers of John R. Klauder, e.g.[4] In the quantum theory of light (quantum electrodynamics) and other bosonic quantum field theories, coherent states were introduced by the work of Roy J. Glauber in 1963 and are also known as Glauber states.
The concept of coherent states has been considerably abstracted; it has become a major topic in mathematical physics and in applied mathematics, with applications ranging from quantization to signal processing and image processing (see Coherent states in mathematical physics). For this reason, the coherent states associated to the quantum harmonic oscillator are sometimes referred to as canonical coherent states (CCS), standard coherent states, Gaussian states, or oscillator states.
In quantum optics the coherent state refers to a state of the quantized electromagnetic field, etc.[2] [5] [6] that describes a maximal kind of coherence and a classical kind of behavior. Erwin Schrödinger derived it as a "minimum uncertainty" Gaussian wavepacket in 1926, searching for solutions of the Schrödinger equation that satisfy the correspondence principle.[1] It is a minimum uncertainty state, with the single free parameter chosen to make the relative dispersion (standard deviation in natural dimensionless units) equal for position and momentum, each being equally small at high energy.
Further, in contrast to the energy eigenstates of the system, the time evolution of a coherent state is concentrated along the classical trajectories. The quantum linear harmonic oscillator, and hence coherent states, arise in the quantum theory of a wide range of physical systems. They occur in the quantum theory of light (quantum electrodynamics) and other bosonic quantum field theories.
While minimum uncertainty Gaussian wave-packets had been well-known, they did not attract full attention until Roy J. Glauber, in 1963, provided a complete quantum-theoretic description of coherence in the electromagnetic field.[7] In this respect, the concurrent contribution of E.C.G. Sudarshan should not be omitted,[8] (there is, however, a note in Glauber's paper that reads: "Uses of these states as generating functions for the
n
In classical optics, light is thought of as electromagnetic waves radiating from a source. Often, coherent laser light is thought of as light that is emitted by many such sources that are in phase. Actually, the picture of one photon being in-phase with another is not valid in quantum theory. Laser radiation is produced in a resonant cavity where the resonant frequency of the cavity is the same as the frequency associated with the atomic electron transitions providing energy flow into the field. As energy in the resonant mode builds up, the probability for stimulated emission, in that mode only, increases. That is a positive feedback loop in which the amplitude in the resonant mode increases exponentially until some nonlinear effects limit it. As a counter-example, a light bulb radiates light into a continuum of modes, and there is nothing that selects any one mode over the other. The emission process is highly random in space and time (see thermal light). In a laser, however, light is emitted into a resonant mode, and that mode is highly coherent. Thus, laser light is idealized as a coherent state. (Classically we describe such a state by an electric field oscillating as a stable wave. See Fig.1)
Besides describing lasers, coherent states also behave in a convenient manner when describing the quantum action of beam splitters: two coherent-state input beams will simply convert to two coherent-state beams at the output with new amplitudes given by classical electromagnetic wave formulas;[10] such a simple behaviour does not occur for other input states, including number states. Likewise if a coherent-state light beam is partially absorbed, then the remainder is a pure coherent state with a smaller amplitude, whereas partial absorption of non-coherent-state light produces a more complicated statistical mixed state.[10] Thermal light can be described as a statistical mixture of coherent states, and the typical way of defining nonclassical light is that it cannot be described as a simple statistical mixture of coherent states.[10]
The energy eigenstates of the linear harmonic oscillator (e.g., masses on springs, lattice vibrations in a solid, vibrational motions of nuclei in molecules, or oscillations in the electromagnetic field) are fixed-number quantum states. The Fock state (e.g. a single photon) is the most particle-like state; it has a fixed number of particles, and phase is indeterminate. A coherent state distributes its quantum-mechanical uncertainty equally between the canonically conjugate coordinates, position and momentum, and the relative uncertainty in phase [defined [[heuristic]]ally] and amplitude are roughly equal—and small at high amplitude.
Mathematically, a coherent state
|\alpha\rangle
\hat{a}|\alpha\rangle=\alpha|\alpha\rangle~.
Since is not hermitian, is, in general, a complex number. Writing
\alpha=|\alpha|ei\theta,
|\alpha\rangle
The state
|\alpha\rangle
Physically, this formula means that a coherent state remains unchanged by the annihilation of field excitation or, say, a particle. An eigenstate of the annihilation operator has a Poissonian number distribution when expressed in a basis of energy eigenstates, as shown below. A Poisson distribution is a necessary and sufficient condition that all detections are statistically independent. Contrast this to a single-particle state (
|1\rangle
The derivation of this will make use of (unconventionally normalized) dimensionless operators, and, normally called field quadratures in quantum optics.(See Nondimensionalization.) These operators are related to the position and momentum operators of a mass on a spring with constant,
{P}=\sqrt{ | 1 |
2\hbarm\omega |
For an optical field,
~E\rm= \left(
2\hbar\omega | |
\epsilon0V |
\right)1/2\cos(\theta)X and ~E\rm=\left(
2\hbar\omega | |
\epsilon0V |
\right)1/2\sin(\theta)X~
V
With these (dimensionless) operators, the Hamiltonian of either system becomes
{H}=\hbar\omega\left({P}2+{X}2\right), with \left[{X},{P}\right]\equiv{XP}-{PX}=
i | |
2 |
{I}.
Erwin Schrödinger was searching for the most classical-like states when he first introduced minimum uncertainty Gaussian wave-packets. The quantum state of the harmonic oscillator that minimizes the uncertainty relation with uncertainty equally distributed between and satisfies the equation
\left({X}-\langle{X}\rangle\right)|\alpha\rangle=-i\left({P}-\langle{P}\rangle\right)|\alpha\rangle,
\left({X}+i{P}\right)\left|\alpha\right\rangle=\left\langle{X}+i{P}\right\rangle\left|\alpha\right\rangle~,
\langle\alpha\mid\left({X}-\langleX\rangle\right)2+\left({P}-\langleP\rangle\right)2\mid\alpha\rangle=1/2~.
Thus, given, Schrödinger found that the minimum uncertainty states for the linear harmonic oscillator are the eigenstates of . Since â is, this is recognizable as a coherent state in the sense of the above definition.
Using the notation for multi-photon states, Glauber characterized the state of complete coherence to all orders in the electromagnetic field to be the eigenstate of the annihilation operator—formally, in a mathematical sense, the same state as found by Schrödinger. The name coherent state took hold after Glauber's work.
If the uncertainty is minimized, but not necessarily equally balanced between and, the state is called a squeezed coherent state.
The coherent state's location in the complex plane (phase space) is centered at the position and momentum of a classical oscillator of the phase and amplitude |α| given by the eigenvalue α (or the same complex electric field value for an electromagnetic wave). As shown in Figure 5, the uncertainty, equally spread in all directions, is represented by a disk with diameter . As the phase varies, the coherent state circles around the origin and the disk neither distorts nor spreads. This is the most similar a quantum state can be to a single point in phase space.
Since the uncertainty (and hence measurement noise) stays constant at as the amplitude of the oscillation increases, the state behaves increasingly like a sinusoidal wave, as shown in Figure 1. Moreover, since the vacuum state
|0\rangle
The notation
|\alpha\rangle
|1\rangle
|1\rangle
|\alpha\rangle
|n\rangle
The formal solution of the eigenvalue equation is the vacuum state displaced to a location in phase space, i.e., it is obtained by letting the unitary displacement operator operate on the vacuum,
\alpha\hata\dagger-\alpha*\hata | |
|\alpha\rangle=e |
|0\rangle=D(\alpha)|0\rangle
This can be easily seen, as can virtually all results involving coherent states, using the representation of the coherent state in the basis of Fock states,
|\alpha\rangle
-{|\alpha|2\over2 | |
=e |
|n\rangle
H=\hbar\omega\left(\hata\dagger\hata+
12\right)~, | |
and the final equality derives from the Baker-Campbell-Hausdorff formula. For the corresponding Poissonian distribution, the probability of detecting photons is
P(n)=|\langlen|\alpha\rangle|2=e-\langle
\langlen\ranglen | |
n! |
~.
Similarly, the average photon number in a coherent state is
~\langlen\rangle=\langle\hata\dagger\hata\rangle=|\alpha|2~
~(\Deltan)2={\rmVar}\left(\hata\dagger\hata\right)= |\alpha|2~
That is, the standard deviation of the number detected goes like the square root of the number detected. So in the limit of large, these detection statistics are equivalent to that of a classical stable wave.
These results apply to detection results at a single detector and thus relate to first order coherence (see degree of coherence). However, for measurements correlating detections at multiple detectors, higher-order coherence is involved (e.g., intensity correlations, second order coherence, at two detectors). Glauber's definition of quantum coherence involves nth-order correlation functions (n-th order coherence) for all . The perfect coherent state has all n-orders of correlation equal to 1 (coherent). It is perfectly coherent to all orders.
The second-order correlation coefficient
g2(0)
~g2(0)=1+
{\rmVar | |
\left(\hat |
a\dagger\hata\right)-\langle\hata\dagger\hata\rangle}{(\langle\hata\dagger\hata\rangle)2}=1+
{\rmVar | |
(n)-\bar{n}}{\bar{n} |
2}
In Glauber's development, it is seen that the coherent states are distributed according to a Poisson distribution. In the case of a Poisson distribution, the variance is equal to the mean, i.e.
{\rmVar}(n)=\bar{n}
g2(0)=1
A second-order correlation coefficient of 1 means that photons in coherent states are uncorrelated.
Hanbury Brown and Twiss studied the correlation behavior of photons emitted from a thermal, incoherent source described by Bose–Einstein statistics. The variance of the Bose–Einstein distribution is
{\rmVar(n)}=\bar{n}+\bar{n}2
g2(0)=2
This corresponds to the correlation measurements of Hanbury Brown and Twiss, and illustrates that photons in incoherent Bose–Einstein states are correlated or bunched.
Quanta that obey Fermi–Dirac statistics are anti-correlated. In this case the variance is
{\rmVar}(n)=\bar{n}-\bar{n}2
g2(0)=0
Anti-correlation is characterized by a second-order correlation coefficient =0.
Roy J. Glauber's work was prompted by the results of Hanbury-Brown and Twiss that produced long-range (hundreds or thousands of miles) first-order interference patterns through the use of intensity fluctuations (lack of second order coherence), with narrow band filters (partial first order coherence) at each detector. (One can imagine, over very short durations, a near-instantaneous interference pattern from the two detectors, due to the narrow band filters, that dances around randomly due to the shifting relative phase difference. With a coincidence counter, the dancing interference pattern would be stronger at times of increased intensity [common to both beams], and that pattern would be stronger than the background noise.) Almost all of optics had been concerned with first order coherence. The Hanbury-Brown and Twiss results prompted Glauber to look at higher order coherence, and he came up with a complete quantum-theoretic description of coherence to all orders in the electromagnetic field (and a quantum-theoretic description of signal-plus-noise). He coined the term coherent state and showed that they are produced when a classical electric current interacts with the electromagnetic field.
At, from Figure 5, simple geometry gives Δθ |α | = 1/2. From this, it appears that there is a tradeoff between number uncertainty and phase uncertainty, Δθ Δn = 1/2, which is sometimes interpreted as a number-phase uncertainty relation; but this is not a formal strict uncertainty relation: there is no uniquely defined phase operator in quantum mechanics.[13] [14] [15] [16] [17] [18] [19] [20]
To find the wavefunction of the coherent state, the minimal uncertainty Schrödinger wave packet, it is easiest to start with the Heisenberg picture of the quantum harmonic oscillator for the coherent state
|\alpha\rangle
~a(t)|\alpha\rangle=e-i\omegaa(0)|\alpha\rangle
The coherent state is an eigenstate of the annihilation operator in the Heisenberg picture.
It is easy to see that, in the Schrödinger picture, the same eigenvalue
~\alpha(t)=e-i\omega\alpha(0)~
~a|\alpha(t)\rangle=\alpha(t)|\alpha(t)\rangle
In the coordinate representations resulting from operating by
\langlex|
~\sqrt{ | m\omega |
2\hbar |
~\psi(\alpha)(x,t)=\left(
m\omega | |
\pi\hbar |
\right)1/4\exp(-
m\omega | \left(x-\sqrt{ | |
2\hbar |
2\hbar | |
m\omega |
It follows that
~\theta(t)=- | \omegat | + |
2 |
|\alpha(0)|2\sin(2\omegat-2\sigma) | |
2 |
~,where \alpha(0)\equiv|\alpha(0)|\exp(i\sigma)~,
The mean position and momentum of this "minimal Schrödinger wave packet" are thus oscillating just like a classical system, The probability density remains a Gaussian centered on this oscillating mean,
|\psi(\alpha)
| ||||
(x,t)| |
}
| |||||
e |
(t)\rangle\right)2}.
The canonical coherent states described so far have three properties that are mutually equivalent, since each of them completely specifies the state
|\alpha\rangle
\hat{a}|\alpha\rangle=\alpha|\alpha\rangle
\alpha\hata\dagger-\alpha*\hata | |
|\alpha\rangle=e |
|0\rangle=D(\alpha)|0\rangle
\DeltaX=\DeltaP=\sqrt{
\hbar | |
2 |
Each of these properties may lead to generalizations, in general different from each other (see the article "Coherent states in mathematical physics" for some of these). We emphasize that coherent states have mathematical features that are very different from those of a Fock state; for instance, two different coherent states are not orthogonal,
\langle\beta|\alpha\rangle=e-{1\over2(|\beta|2+|\alpha|2-2\beta*\alpha)} ≠ \delta(\alpha-\beta)
Thus, if the oscillator is in the quantum state
|\alpha\rangle
|\beta\rangle
This closure relation can be expressed by the resolution of the identity operator in the vector space of quantum states,
1 | |
\pi |
\int|\alpha\rangle\langle\alpha|d2\alpha=I d2\alpha\equivd\Re(\alpha)d\Im(\alpha)~.
Another peculiarity is that
\hata\dagger
a\dagger|\alpha\rangle\langle\alpha|=\left({\partial\over\partial\alpha}+\alpha*\right)|\alpha\rangle\langle\alpha|~.
|\alpha,1\rangle.
Normalized Agarwal states of order can be expressed as
|\alpha,n\rangle=[{\hat{a}\dagger]}n|\alpha\rangle/\|[{\hat{a}\dagger]}n|\alpha\rangle\|~.
The above resolution of the identity may be derived (restricting to one spatial dimension for simplicity) by taking matrix elements between eigenstates of position,
\langlex| … |y\rangle
\psi\alpha(x,t)=\langlex|\alpha(t)\rangle
\Im(\alpha)
\Re(\alpha)
In particular, the Gaussian Schrödinger wave-packet state follows from the explicit value
\langlex|\alpha\rangle=
1 | |
\pi1/4 |
| |||||
{e |
\Re(\alpha))2}+ix\sqrt{2}\Im(\alpha)-i\Re(\alpha)\Im(\alpha)}}~.
The resolution of the identity may also be expressed in terms of particle position and momentum. For each coordinate dimension (using an adapted notation with new meaning for
x
|\alpha\rangle\equiv|x,p\rangle x\equiv\langle\hat{x}\rangle p\equiv\langle\hat{p}\rangle
I=\int|x,p\rangle\langlex,p|~
dxdp | |
2\pi\hbar |
~.
(2\pi\hbar)-1
In addition to being an exact eigenstate of annihilation operators, a coherent state is an approximate common eigenstate of particle position and momentum. Restricting to one dimension again,
\hat{x}|x,p\rangle ≈ x|x,p\rangle \hat{p}|x,p\rangle ≈ p|x,p\rangle
\langlex,p|\left(\hat{x}-x\right)2|x,p\rangle=\left(\Deltax\right)2 \langlex,p|\left(\hat{p}-p\right)2|x,p\rangle=\left(\Deltap\right)2~.
A single mode thermal coherent state[23] is produced by displacing a thermal mixed state in phase space, in direct analogy to the displacement of the vacuum state in view of generating a coherent state. The density matrix of a coherent thermal state in operator representation reads
\rho(\alpha,\beta)=
1 | |
Z |
-\hbar\beta\omegaa\daggera | |
D(\alpha)e |
D\dagger(\alpha),
where
D(\alpha)
D(\alpha)|0\rangle=|\alpha\rangle
\alpha
\beta=1/(kBT)
Z=tr\left\{\displaystyle
-\hbar\beta\omegaa\daggera | |
e |
infty | |
\right\}=\sum | |
n=0 |
e-n\beta=
1 | |
1-e-\hbar\beta\omega |
.
Using the expansion of the identity operator in Fock states,
I\equiv
infty | |
\sum | |
n=0 |
|n\rangle\langlen|
\rho(\alpha,\beta)=
1 | |
Z |
infty | |
\sum | |
n=0 |
e-n\hbar\beta\omegaD(\alpha)|n\rangle\langlen|D\dagger(\alpha)=
1 | |
Z |
infty | |
\sum | |
n=0 |
e-n\hbar\beta\omega|\alpha,n\rangle\langle\alpha,n|,
where
|\alpha,n\rangle
\lim\beta\toinfty\rho(\alpha,\beta)=\lim\beta\toinfty
infty | |
\sum | |
n=0 |
e-n\hbar\beta\omega(1-e-\hbar\beta\omega)|\alpha,n\rangle\langle
infty | |
\alpha,n|=\sum | |
n=0 |
\deltan,0|\alpha,n\rangle\langle\alpha,n|=|\alpha,0\rangle\langle\alpha,0|,
which is the density matrix for a coherent state. The average number of photons in that state can be calculated as below
\langlen\rangle=Tr\{\rhoa\daggera\}=
1 | |
Z |
Tr\{D\dagger(\alpha)a\daggerD({\alpha})D\dagger(\alpha)aD(\alpha)
-\beta\hbar\omegaa\daggera | ||
e | \}= |
1 | |
Z |
Tr\{(a\dagger+\alpha*)(a+
-\beta\hbar\omegaa\daggera | |
\alpha)e |
\}=
| ||||
=|\alpha| |
-\beta\hbar\omegaa\daggera | |
Tr\{e |
\}+
1 | |
Z |
Tr\{a\daggera
-\beta\hbar\omegaa\daggera | |
e |
\}=|\alpha|2+
1 | |
Z |
infty | |
\sum | |
n=0 |
ne-n\beta\hbar\omega,
where for the last term we can write
infty | |
\sum | |
n=0 |
ne-n\beta\hbar\omega=-
\partial | |
\partial(\beta\hbar\omega) |
\left(
infty | |
\sum | |
n=0 |
e-n\beta\hbar\omega\right)=
e-\beta\hbar\omega | |
(1-e-\beta\hbar\omega)2 |
.
As a result, we find
\langlen\rangle=|\alpha|2+\langlen\rangleth,
where
\langlen\rangleth
\langleO\rangleth=
1 | |
Z |
-\beta\hbar\omegaa\daggera | |
tr\{e |
O\},
and we write explicitly
\langlen\rangleth=
1 | |
e\beta\hbar\omega-1 |
.
In the limit
\beta\toinfty
\langlen\rangle=|\alpha|2
\sigma2=\langlen2\rangle-\langle
2+|\alpha| | |
n\rangle | |
th |
2\left(1+2\langlea\daggera\rangleth\right),
2=\langle | |
\sigma | |
th |
2\rangle | |
n | |
th |
-\langle
2 | |
n\rangle | |
th |