In quantum optics, correlation functions are used to characterize the statistical and coherence properties – the ability of waves to interfere – of electromagnetic radiation, like optical light. Higher order coherence or n-th order coherence (for any positive integer n>1) extends the concept of coherence to quantum optics and coincidence experiments.[1] It is used to differentiate between optics experiments that require a quantum mechanical description from those for which classical fields are sufficient.
Classical optical experiments like Young's double slit experiment and Mach-Zehnder interferometry are characterized only by the first order coherence. The 1956 Hanbury Brown and Twiss experiment brought to light a different kind of correlation between fields, namely the correlation of intensities, which correspond to second order coherences.[2] Coherent waves have a well-defined constant phase relationship. Coherence functions, as introduced by Roy Glauber and others in the 1960s, capture the mathematics behind the intuition by defining correlation between the electric field components as coherence.[3] These correlations between electric field components can be measured to arbitrary orders, hence leading to the concept of different orders or degrees of coherence.[4]
Orders of coherence can be measured using classical correlation functions or by using the quantum analogue of those functions, which take quantum mechanical description of electric field operators as input. The underlying mechanism and description of the physical processes are fundamentally different because quantum interference deals with interference of possible histories while classical interference deals with interference of physical waves.
Analogous considerations apply to other wave-like systems. From example the case of Bose–Einstein correlations in condensed matter physics.
The normalized first order correlation function is written as:[5]
\gamma(1)(r1,t1;r2,t2)=
| |||||||||
|
,
where
\langle … \rangle
r=z
In this case, the result for stationary states will not depend on
t1
\tau=t1-t2
\tau=t1-t
|
z1\nez2
This allows us to write a simplified form
\gamma(1)(\tau)=
\left\langleE*(t)E(t+\tau)\right\rangle | |
\left\langle\left|E(t)\right|2\right\rangle |
,
where we have now averaged over t.In optical interferometers such as the Michelson interferometer, Mach–Zehnder interferometer, or Sagnac interferometer, one splits an electric field into two components, introduces a time delay to one of the components, and then recombines them. The intensity of resulting field is measured as a function of the time delay. In this specific case involving two equal input intensities, the visibility of the resulting interference pattern is given by:[6]
\begin{align} \nu&=\left|\gamma(1)(\tau)\right|\\ \nu&=\left|\gamma(1)(r1,t1;r2,t2)\right| \end{align}
where the second expression involves combining two space-time points from a field. The visibility ranges from zero, for incoherent electric fields, to one, for coherent electric fields. Anything in between is described as partially coherent.
Generally,
\gamma(1)(0)=1
\gamma(1)(\tau)=\gamma(1)(-\tau)*
For light of a single frequency (of a point source):
\gamma(1)(\tau)=
-i\omega0\tau | |
e |
For Lorentzian chaotic light (e.g. collision broadened):
\gamma(1)(\tau)=
| ||||||||
e |
For Gaussian chaotic light (e.g. Doppler broadened):
\gamma(1)(\tau)=
| |||||||||||||
e |
Here,
\omega0
\tauc
See main article: Double-slit experiment. In the double slit experiment, originally by Thomas Young in 1801, light from a light source is allowed to pass through two pinholes separated by some distance, and a screen is placed some distance away from the pinholes where the interference between the light waves is observed (Figure. 1). Young's double slit experiment demonstrates the dependence of interference on coherence, specifically on the first-order correlation. This experiment is equivalent to the Mach–Zehnder interferometer with the caveat that Young's double slit experiment is concerned with spatial coherence, while the Mach–Zehnder interferometer relies on temporal coherence.
The intensity measured at the position
r
t
\langleI\rangle=\langle|E+(r,t)|2\rangle=\langleI\rangle=I1+I2+2\sqrt{I1I2}|\gamma(1)(x1,x2)|\cos{\phi(x1,x2)}
Light field has highest degree of coherence when the corresponding interference pattern has the maximum contrast on the screen. The fringe contrast is defined as
V=
I\rm-I\rm | |
I\rm+I\rm |
Classically,
\rmmax | |
I | |
\rmmin |
=I1+I2\pm2\sqrt{I1I2}|\gamma(1)(x1,x2)|
V=
2\sqrt{I1I2 | |
|\gamma |
(1)(x1,x2)|}{I1+I2}
|\gamma(1)(x1,x2)|=1
0<|\gamma(1)(x1,x2)|<1
|\gamma(1)(x1,x2)|=0
Classically, the electric field at a position
r
r1
r2
t1,t2
E+(r,t)=
| ||
E | ||
1) |
+
+(r | |
E | |
2,t |
2)
\hat{E}+(r,t)=
| ||
\hat{E} | ||
1) |
+
+(r | |
\hat{E} | |
2,t |
2)
I=Tr[\rho\hat{E}-(r,t)\hat{E}+(r,t)]=I1+I2+2\sqrt{I1I2}|g(1)(x1,x2)|\cos\phi(x1,x2)
The intensity fluctuates as a function of position i.e. the quantum mechanical treatment also predicts interference fringes. Moreover, in accordance to the intuitive understanding of coherence i.e. ability to interfere, the interference patterns depend on the first-order correlation function
g(1)
\gamma(1)
g(1)
The normalised second order correlation function is written as:[7]
g(2)(r1,t1;r2,t2)=
| |||||||||||||||
\left\langle\left|E(r1,t1)\right|2\right\rangle\left\langle\left|E(r2,t2)\right|2\right\rangle |
Note that this is not a generalization of the first-order coherence
If the electric fields are considered classical, we can reorder them to express
g(2)
g(2)(\tau)=
\left\langleI(t)I(t+\tau)\right\rangle | |
\left\langleI(t)\right\rangle2 |
The above expression is even,
g(2)(\tau)=g(2)(-\tau)
g(2)(\tau)\leg(2)(0)
\left\langleI(t)I(t)\right\rangle-{\left\langleI(t)\right\rangle}2=\left\langle{\left[I(t)-\left\langleI(t)\right\rangle\right]}2\right\rangle\geq0
1\leg(2)(0)\leinfty
\tau\to+infty
g(2)(+infty)=1
g(2)=1
g(2)
Light is said to be bunched if
g(2)(\tau)<g(2)(0)
g(2)(\tau)>g(2)(0)
g(2)(\tau)=1+\left|g(1)(\tau)\right|2
Note the Hanbury Brown and Twiss effect uses this fact to find
\left|g(1)(\tau)\right|
g(2)(\tau)
g(2)(\tau)=1
\tau=0
g(2)(0)=0
g(2)(0)=
\left\langlen(n-1)\right\rangle | |
\left\langlen\right\rangle2 |
,
where
n
The electric field
E(r,t)
E(r,t)=E+(r,t)+E-(r,t)
(1) | |
G | |
c |
(x1,x2)=\langle
-(x | |
E | |
1) |
+(x | |
E | |
2) |
\rangle
(2) | |
G | |
c |
(x1,x2,x3,x4)=\langle
-(x | |
E | |
1) |
-(x | |
E | |
2) |
+(x | |
E | |
3) |
+(x | |
E | |
4) |
\rangle
(n) | |
G | |
c |
(x1,x2,...,x2n)=\langle
-(x | |
E | |
1) |
...
+(x | |
E | |
n+1 |
)...
+(x | |
E | |
2n |
)\rangle
xi
(ri,ti)
E+(r,t)
E-(r,t)
(1) | |
G | |
c |
(x1,x1)=I
.\gamma(n)(x1,...,xn;xn,...,x1)=
(n) G (x1,...,xn;xn,...,x1) c
(1) G (x1,x (xn,xn)
(1) 1)...G c
\hat{E}+
\hat{E}-
where} \hat_ e^ \mathbf_,\hat{E}+=i\sum\limitsk,\mu\sqrt{
\hbar\omegak 2\epsilon0V
k
ek,\mu
k
\mu
\omegak
V
G(n)(x1,...,x2n)=Tr[\hat{\rho}\hat{E}-(x1)...\hat{E}-(xn)\hat{E}+(xn+1)...\hat{E}+(x2n)]
The ordering of the
\hat{E}+
\hat{E}-
\hat{E}+
\hat{E}-
\hat{a}
\hat{a}\dagger
A field is said to m-th order coherent if the m-th normalized correlation function is unity. This definition holds for bothg(n)(x1,...,xn;xn,...,x1)=
G(n)(x1,...,xn;xn,...,x1)
(1) G (x1,x (xn,xn)
(1) 1)...G
\gamma(m)
g(m)
See main article: Hanbury Brown and Twiss effect. In the Hanbury Brown and Twiss experiment (Figure 2.), a light beam is split using a beam splitter and then detected by detectors, which are equidistant from the beam splitter. Subsequently, signal measured by the second detector is delayed by time
\tau
|E+(r,t+\tau)E+(r,t)|2
(2) | |
G | |
c |
(t,t+\tau,t+\tau,t)=\langleE-(t)E-(t+\tau)E+(t+\tau)E+(t)\rangle
Under the assumption of stationary statistics, at a given position, the normalized correlation function is
g(2)=
\langle\hat{E | |
-(0) |
\hat{E}-(\tau)\hat{E}+(\tau)\hat{E}+(0)\rangle}{\langle\hat{E}-(0)\hat{E}+(0)\rangle\langle\hat{E}-(\tau)\hat{E}+(\tau)\rangle}
g(2)
\tau
For all varieties of chaotic light, the following relationship between the first order and second-order coherences holds:
g(2)(\tau)=1+|g(1)(\tau)|2
This relationship is true for both the classical and quantum correlation functions. Moreover, as
|g(1)(\tau)|
1\leqg(2)\leq2
For Gaussian light source
g(1)=
| |||||||||
e |
g(2)(\tau)=1+
| ||||||||
e |
This model fits the observation that was done by Hanbury Brown and Twiss using stellar light as demonstrated in figure 3. If thermal light was used instead of stellar light in the same setup, then we would see a different function for the second order coherence. Thermal light can be modeled to be a Lorentzian power spectrum centered around frequency
\omega0
\langleE*(0)E(\tau)\rangle=
2 | |
E | |
0 |
-|\tau|/\tau0 | |
e |
\tau0
g(1)=
-i\omega0\tau-|\tau|/\tau0 | |
e |
g(2)(\tau)=1+
-2|\tau|/\tau0 | |
e |
g(1)(0)=1
Classically, we can think of a light beam as having a probability distribution as a function of mode amplitudes,
P(\{\alphak\})
If we assume that the quantum state of the setup is.G(2)(\tau,0)=\langleE-(\tau)E+(\tau)E-(0)E+(0)\rangle\intP(\{\alphak\})E*(\tau)E(\tau)E*(0)E(0)d\{\alphak\}
then the quantum mechanical correlation function,,\rho=\intd\{\alphak\}P(\{\alphak\})|\{\alphak\}\rangle\langle\{\alphak\}|
which is same as the classical result.[11] Similar to the case of Young's double slit experiment, the classical and the quantum description lead to the same result, but that does not mean that two descriptions are equivalent. Classically, the light beams arrives as an electromagnetic wave and interferes owing to the superposition principle. The quantum description is not as straightforward. To understand the subtleties in the quantum description, assume that photons from the source are emitted independent of each other at the source and that the photons are not split by the beam splitter. When the intensity of the source is set to be very low, such that only one photon might be detected at any time, accounting for the fact that there might be accidental coincidences, which are statistically independent of time, the coincidence counter should not change with respect to the time difference. However, as shown in Figure 3., for stellar light,G(2)(\tau,0)=Tr[\rho\hat{E}-(\tau)\hat{E}+(\tau)\hat{E}-(0)\hat{E}+(0)]=\intP(\{\alphak\})E*(\tau)E(\tau)E*(0)E(0)d\{\alphak\}
g(2)(\tau)=1+
-2|\tau|/\tau0 | |
e |
g(2)(0)=2
\lim\taug(2)(\tau)=1
For the purposes of standard optical experiments, coherence is just first-order coherence and higher-order coherences are generally ignored. Higher order coherences are measured in photon-coincidence counting experiments. Correlation interferometry uses coherences of fourth-order and higher to perform stellar measurements.[12] We can think of
G(n)(x1,...,xn;xn,...,x1)
n
x1,...,xn
G(n)(x1,...,xn;xn,...,x1)\geq0
A field is called mth order coherent if there exists a function
E(x)
n<m
G(n)(x1,...,x2n)=
n | |
\prod\limits | |
j=1 |
E*(j)E*(j+1)
This factorizability of all
n<m
|G(n)(x1,...,x2n)|2=
2n | |
\prod\limits | |
j=1 |
G(1)(xj,xj)
g(n)(x1,...,x2n)
G(n)(x1,...,xn;xn,...,x1) | |||||||||
|
|g(n)(x1,...,x2n)|=1
n<m
m
Given an upper bound on how many photons can be present in the field, there is an upper bound on the Mth coherence the field can have. This is because
\hat{E}+
\sum\limitsn,mcn,m|n\rangle\langlem|
M>n,m
Tr[\rho
+(x | |
\hat{E} | |
p)] |
Tr[\sum\limitsn,mcn,m\hat{a}...(ptimes)...\hat{a}|n\rangle\langlem|]=\sum\limitsn,mcn,m\langlem|\hat{a}...(ptimes)...\hat{a}|n\rangle=0
p>m
When dealing with classical optics, physicists often employ the assumption that the statistics of the system are stationary. This means that while the observations might fluctuate, the underlying statistics of the system remains constant as time progresses. The quantum analogue of stationary statistics is to require that the density operator, which contains the information about the wavefunction, commutes with the Hamiltonian. Owing to Schrödinger equation,
d\rho | |
dt |
=
-i | |
h |
[H,\rho]
G(n)(x1,...,x2n)
\hat{E}+
\hat{E}-
G(n)(x1,...,x2n)=Tr[\hat{\rho}\hat{E}-(x1,t)....\hat{E}-(xn,t)\hat{E}+(xn+1,t)...\hat{E}+(x2n,t)]
=Tr[\hat{\rho}\hat{E}-(x1,t+\tau)....\hat{E}-(xn,t+\tau)\hat{E}+(xn+1,t+\tau)...\hat{E}+(x2n,t+\tau)]
This means that under the assumption that the underlying statistics of the system are stationary, the nth order correlation functions do not change when every time argument is translated by the same amount. In other words, rather than looking at actual times, the correlation function is only concerned with the
2n-1
Coherent state are quantum mechanical states that have the maximal coherence and have the most "classical"-like behavior. A coherent state is defined as the quantum mechanical state that is the eigenstate of the electric field operator
\hat{E}+
\hat{E}+
|\alpha\rangle
G(n)(x1,...,x2n)=Tr[\sum\limitsn,mcn,m\hat{a}...\hat{a}|\alpha\rangle\langle\alpha|]=\langle\alpha|\hat{a}...(ptimes)...\hat{a}|\alpha\rangle=1