Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
an Introduction
(short Version)
Authors / Lecturers Maciej Lewenstein Institut fr Theoretische Physik, Universitt Hannover Anna Sanpera Institut fr Theoretische Physik, Universitt Hannover Wolfgang Ertmer Institut fr Quantenoptik, Universitt Hannover maintained by Matthias Pospiech Student der technischen Physik, Universitt Hannover correctors Ulrich Schneider Insitut fr Physik, Johannes Gutenberg-Universitt Alexander Klein TU Kaiserslautern Stefan Ataman University Cergy-Pontoise (France)
Script bases on Lecture Notes from Lecture 1999 by M. Lewenstein and W. Ertmer. Parts added from Lecture 2003 by A. Sanpera
Contents
1. Introduction 1.1. Quantum Optics and The Renaissance of Atomic Physics . . . . . . . 1.2. Literature . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2. Quantization of the Free EM eld 2.1. Quantum harmonic oscillator revisited 2.2. Maxwell equations for free EM elds . 2.3. Gauge invariance . . . . . . . . . . . . 2.4. Canonical quantization . . . . . . . . . 2.5. Number operator . . . . . . . . . . . . 2.6. Quadrature operators . . . . . . . . . 2.7. Continuous limit . . . . . . . . . . . .
1 1 3 5 6 8 9 9 14 15 15 21 21 22 24 24 26 29 30 30 31 32 33 41 41 43 44 45 46 46
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
3. Quantum states of EM eld 3.1. Fock, or number states | n . . . . . . . . . . . 3.2. Coherent states | . . . . . . . . . . . . . . . 3.2.1. Coherent states in Fock representation 3.2.2. Properties of Coherent states . . . . . 3.3. Squeezed states . . . . . . . . . . . . . . . . . 3.3.1. Photon number distribution . . . . . . 3.3.2. Generation of squeezed states . . . . . 3.4. Variance of the EM eld . . . . . . . . . . . . 3.5. Thermal states . . . . . . . . . . . . . . . . . 3.6. Noisy coherent states . . . . . . . . . . . . . . 3.7. Phase of the Field . . . . . . . . . . . . . . .
. . . . . . . . . . .
. . . . . . . . . . .
. . . . . . . . . . .
. . . . . . . . . . .
. . . . . . . . . . .
. . . . . . . . . . .
. . . . . . . . . . .
. . . . . . . . . . .
. . . . . . . . . . .
. . . . . . . . . . .
. . . . . . . . . . .
. . . . . . . . . . .
. . . . . . . . . . .
. . . . . . . . . . .
4. Single atom single mode interaction 4.1. Hamiltonian with quantised EM eld . . . . . . . . . . . . 4.2. Quantisation of the electron wave eld (2nd quantisation) j , b . . . . . . . . 4.2.1. Properties of atomic operators b j 4.3. Full Hamiltonian in 2nd quantisation . . . . . . . . . . . . 4.4. Approximations to treat this problem . . . . . . . . . . . 4.4.1. Dipole approximation . . . . . . . . . . . . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
ii
Contents
4.4.2. Single mode interaction with 2 level Atom 4.4.3. Rotating wave approximation (RWA) . . 4.4.4. Pauli Spin matrices . . . . . . . . . . . . . 4.5. Jaynes Cummings model . . . . . . . . . . . . . . 4.6. Spontaneous emission . . . . . . . . . . . . . . . 5. Photo detection and photo-counting 5.1. Simple model of a photo-detector . 5.2. Correlation functions . . . . . . . . 5.2.1. Properties of the correlation 5.3. Correlations and optical coherence 5.4. Photon correlations measurements 5.4.1. Classical measurements . . 5.4.2. The quantum case . . . . . 5.5. Photon counting . . . . . . . . . . 5.5.1. Classical case . . . . . . . . 5.5.2. Quantum case . . . . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
47 48 49 50 55 61 61 64 65 67 68 68 71 72 72 74 81 81 83
. . . . . . . . . . . . functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
CHAPTER
Introduction
1. Introduction
sate can be employed then as a source of coherent, intense matter waves (atom laser). Operation of atom lasers has been already demonstrated in few laboratories. One speculate that within few years atom lasers will nd fascinating applications in precision interferometry of matter waves, atomic lithography on nanometer level etc. Quantum Communication and Information Processing We observe in the recent years an exponential growth of interest in applying quantum mechanics to information processing. In particular quantum mechanics allows for less noisy, more secure communication and information transfer. It has been already demonstrated that using single photos one can transmit condential information over distances of kilometres in a way, which eliminates the possibility of eavesdropping. Quantum teleportation (i. e. copying of a unknown quantum state from one place to another) has also been demonstrated. Theorist have demonstrated the quantum computers could realize various computational tasks much faster that the classical computers used nowadays. Several laboratories in the world are starting to develop rst basic elements for quantum computing and information processing. Quantum optics provides a very natural area for such implementations. Squeezed states of light, entangled state of pairs or triples of photons are being used in those experiments. Further applications involving cold atoms and ions are being considered. The laboratories in the Physics Department are among the leading ones in the world. The research areas cover: atom optic and atom lasers (W. Ertmer), atom interferometry (W. Ertmer), physics of highly excited molecules (E. Tiemann), physics in intense laser elds (B. Wellegehausen), detection of gravitational waves (using interferomentry on Earth and in space, K. Danzmann), applications in medicine and material processing. All of the above mentioned experimental areas are equally challenging theoretically. Although the theory that one develops here is phenomenological, and is not as fundamental as quantum eld theory of fundamental constituents of matter, the problems and diculties are comparable to the most dicult problems of theoretical physics. Theoretical quantum optics is nowadays somewhat similar to astrophysics in its interdisciplinary character: it must combine knowledge of classical and quantum electrodynamics, optics and eld theory, statistical physics, quantum mechanics, plasma physics, atomic and molecular physics and so forth.
1.2. Literature
1.2. Literature
As already stated above, quantum optics is an interdisciplinary area and requires good basis in other areas of physics. Particularly important is quantum mechanics, which is well covered in Quantum Mechanics A good concise course is of course the Schwabl book [?]. To deepen his or hers knowledge the reader should turn to the classical texts of Landau, [?], Messiah [?] and Baym [?]. The best among the relatively new ones, the most complete, and particularly useful in the context of quantum optics is the book of CohenTannoudji, Diu, and Lalo [?]. One of us (M.L) considers the book by Galindo and Pascual to be an absolute Meisterstck [?]. Quantum Optics There are very few good handbooks of quantum optics. We will base great parts of the lectures on the books by Walls and Milburn [?] and Vogel and Welsch [?]. The interested readers should tern to classical texts of Loudon [?] and Luisell [?], may consider books by Haken [?], Meystre & Sargent III [?] and Mandel & Wolf [?]. Laser Physics and Non-linear Optics A very good book for those interested in experiments is Yarivs text [?]. The Bible of classical optics is still Born and Wolf [?], whereas the corresponding one of laser physics is Siegman [?]. Laser theory freaks, however, would enjoy more Eberly and Milonni book [?]. The book by Shen [?] can also be recommended for further reading.
1. Introduction
CHAPTER
In classical electrodynamics electromagnetic elds E, D, and B, H are physical observables representated as time and position dependent real valued vectors. The complete microscopic theory must necessarily consider those physical observables as quantum mechanical operators. Historically, the rst indication of quantum nature of light stem from Max Planck, who described spectrum of thermal radiation assuming that the energy quanta of the eld correspond to excitations of harmonic oscillators of a given energy. Einstein explained the photoelectric eects assuming that electromagnetic energy is distributed in discrete quanta, later termed as photons. He has also used the concept of photons to describe the absorption and emission of light by atoms. With an advent of modern quantum theory, Dirac gave the rst full description of electromagnetic elds in terms of ensembles of quantum harmonic oscillators. Further theoretical developments by Schwinger, Feynmann and other have lead to the development of the quantum electrodynamics. Experimentally, however, it took a long time to demonstrate the quantum nature of light directly. The vast majority of physical optics experiment can be well described using classical Maxwell theory. Consider for example an analogue of Young experiment: two slit experiment with one photon incident on the slits (G. I. Taylor 1909). The results of such experiment can be equally well described in terms of interference of classical waves, or in terms of interference of probability amplitudes for the photon passing through one or other slit. Detecting photons requires more than just measuring interference patterns. The dierence between classical and quantum interference become rst visible on the level of higher order correlations of the EM eld, for instance intensity-intensity correlations. The rst experiment of such type was Hanbury-Brown and Twiss experiment, who measured correlations in the photocurrent uctuations at two detectors irradiated by the thermal light. The result showed enhancement of the two-time intensity correlations for short time delay, termed later as photon bunching eect. Photon bunching, however, can also be described in the classical theory assuming uctuations of the eld amplitude. The light coming from a well stabilized laser does not exhibit any correlation enhancement. When described in terms of photons, it can be regarded as
a sequence of statistically independent quanta coming to the detector with a constant mean rate. The number of photons detected in the time interval T is distributed according to Poisson distribution. Imagine, however, that an atom irradiated by a laser produces photons. Such an atom undergoes excitation (absorbs light from the laser) and emits it then in a form of uorescence photon. The Probability of detecting two photons one right after another must in such situation cease to zero, since the physical process of absorption requires some time. The uorescence photons emitted in this situation arrive at the detector at constant mean rate, but in a more ordered manner than those described by independent particle picture. This kind of correlation (termed as anti-bunching by Walls and Carmichael in 1975) cannot be described classical theory, and necessarily requires quantum mechanical description of the electromagnetic elds. Photon anti-bunching was observed by Kimble, Dagenais and Mandel in 1976, and was in fact the rst direct observations of the states of electromagnetic eld that have an intrinsic quantum nature. Since then the engineering of truly quantum states of light has developed enormously. In the following we will thus postulate the quantum character of the electromagnetic elds, and quantize them using methods analogous to those used in standard quantum mechanics (canonical quantization). As we shall see, linearity of Maxwell equations implies that EM elds can indeed be regarded as ensembles of harmonic oscillators. The canonical variables for these oscillators are related to Fourier component of the electric eld and electromagnetic vector potential. Since the whole quantization procedure will extensively use the concept of the harmonic oscillator, we start by reminding it to the readers.
and describes harmonic oscillations around the origin with an amplitude and frequency . Here, q , and q denote the rst, and the second time derivatives, respectively. The above equation can be derived using the Hamiltonian formalism. The Hamilton function is H(p, q ) = p2 m 2 q 2 + , 2m 2 (2.2)
Hamilton equations H = p/m, p H = m 2 q, p = {p, H} = q q = {q, H} = where {., .} denotes the Poisson brackets. In particular {q, p} = 1. Canonical quantization consist in: i. replacing canonically conjugated variables by quantum mechanical self-adjoint operators q q , p p ii. replacing canonical Poisson brackets by commutators {q, p} [ q, p ]/i The quantum mechanical Hamiltonian becomes thus 2 m 2 q 2 = p H + 2m 2 and the Heisenberg equations have an analogous form as the Newton equations dq ]/ = p = i[ q, H /m, dt dp ]/ = m 2 q = i[ p, H . dt (2.5) (2.6) (2.4)
(2.3)
There are various ways of representing quantum mechanical position and canonical momentum operators. The most common is the position representation in which q = q , and p = i /q . In the position representation the Hamiltonian reads: = H m 2 q 2 2 + 2m q 2 2 (2.7)
The eigenstates of the Hamiltonian are the solutions of the stationary Schrdinger equation: | = E | , H (2.8)
are called usually Fock states, | n and correspond to En = (n + 1 2 ). In the position representation their wave functions (q ) = q | are n (q ) = q | n = 2
1/4
1 exp( 2 q 2 /2)Hn (q ) 2n n !
(2.9)
where = m/ has the dimension of the inverse of the length, whereas Hn (.) denote Hermite polynomials.
It is convenient to introduce dimensionless operators = q Q =p P / , , P] = i. One can then dene annihilation and creations operators so that [Q 1 , a= Q + iP 2 1 , a = Q iP 2 which fulll [ a, a ] = 1 (2.14) (2.12) (2.13) (2.10) (2.11)
Their names follow from the fact that they annihilate, or create respectively energy quanta of the quantum oscillator (2.15) a |n = n |n 1 a |n = n + 1 |n + 1 (2.16) = ( The operator n = a a counts the number of quanta, and H n + 1/2). The term 1/2 represents here the energy of the zeropoint uctuations , or vacuum uctuation, since it describes energy of the vacuum state | 0 that contains no quanta. Note that quantum expression for the Hamiltonian diers from the classical one by the zero-point (vacuum uctuation) energy.
The rst two equation do not have dynamical character. Because in free space D = 0 E, and B = 0 H, where 0 is electric permittivity, whereas 0 is magnetic permeability, and 0 0 = c2 , the second and fourth equations can be written as E=0 E B=0 c2 t (2.21) (2.22)
(2.26)
10
where A() (r, t) varies as exp(it) with 0. Obviously, A(+) (r, t) = (A(+) (r, t)) , because A(r, t) is real. Let us consider rst the simplest situation when the eld is contained in a nite volume (a box, a resonator, etc.). The eld can be expanded into a discrete sum of eigenmodes, (see next example for details) A(+) (r, t) =
k
(2.28)
uk (r) = 0
(2.29)
In the Coulomb gauge, uk (r) = 0. The eigenfunctions correspond to dierent eigenfrequencies k , and are enumerated by a multiindex k (see example on this page for explanation of k ). As usual, they can be constructed such that they are orthonormal u k (r)uk (r)d3 r = kk (2.30)
The boundary conditions for eigenmodes depend on the physics (for instance we can have a box-like, or cylinder-like perfect resonator). Example: Periodic boundary conditions. They correspond to a periodic box of size L, and mimic a ring resonator. Periodic boundary condition imply that
L
kx = 2nx /L,
ky = 2ny /L,
kz = 2nz /L,
L L
A(r, t) =
k
2 k 0
ck (t)uk (r) +
c. c.
(2.31)
with the multiindex k = (k, ). k is here photon wave vector, whereas = 1, 2 enumerates two possible directions of the photon polarization. ck (t) denotes the amplitude of each mode. The eigenfunctions uk (r) are of the form uk (r) = 1 L3/2 e+ikr . (2.32)
From the gauge condition ( A = 0) follows the transversality of ck : k ck (t) = 0. Using the wave equation Eq.(2.26) 2 A(r, t) 1 2 A(r, t) =0 c2 t2 1 2 k 2 2 2 ck (t) = 0 c t
11
(2.33)
Thus
+ik t ck (t) = ak eik t +a ke
(2.34)
Although the amplitude ck (t) is complex A(r, t) has to be real. Therefore c k = ck . The ak species the amplitude of both polarisations
2
ak =
=1
ak k
(2.35)
where k denotes the polarisation. Properties of the polarisation k : k k = 0 k,1 k,1 k,2 = 1 2 k k,2 = |k| orthogonal to k-vector orthogonal right handed (2.36)
A(r, t) =
k
2k 0 L3
1/2
=
k
2 k 0
ak
k +ikr rewrite: uk (r) = L3 /2 e For any general orthogonal basis expansion the vector potential reads as
1/2
A(r, t) =
k
2k 0
(2.37)
This is the general form of the EM potential. The equivalent form of the electric eld is then (E = A/t)
1/2 +ik t ak uk (r)eik t a . k uk (r)e
E(r, t) = i
k
k 2 0
(2.38)
12
We have introduced here appropriate normalization of the amplitudes ck , so that ak are dimensionless. Introducing canonical Poisson brackets and using the expression of classical Hamiltonian 1 H= 0 E2 + 0 H2 d3 r (2.39) 2 we derive H=
k
k a k ak .
(2.40)
Thus the energy of the total EM eld is the sum of the energies of dierent modes denoted by k . Canonical variables Introduce canonical variables (with ak (t) = ak (0) eik t ) qk (t) = ak (t) + a k (t) pk (t) = ik ak (t) a k (t) (2.41)
These variables fullll {q, p} = 1. They are the quadratures of the electromagnetic eld and can be measured e. g. as squeezed light. With the Hamilton equations Eq.(2.3) H q k = pk = t p H pk = k qk = t q we nd the classical Hamiltonian H= 1 2
2 2 p2 k (t) + k qk (t) k
(2.42)
Remarks: As in Eq.(2.39) is this Hamiltonian a sum of independent harmonic oscillators, with one oscillator for each mode k = (k, ) of the EM eld. The EM eld is specied by the canonical variables pk , qk . 2nd quantisation This can easily be done in the following way. We replace the canonical variables by operators. These are hermitian and therefore can be observables qk (t) q k (t) pk (t) p k (t)
13
(2.43)
Introduce annihilation and creation operators 1 k q k + ip k 2 1 a k q k ip k k = 2 ak = These are non-hermitian and thus non observable! [ ak , ak ] = [ a a k, k ]=0 [ ak , a k ] = kk (2.45) (2.46)
(2.44)
Our observable canonical variables are represented by the annihilation and creation operators in the following way a + ak 2 k a ak p k = i 2 k q k =
(2.47)
Insert Eq.(2.47) in the Hamilton Eq.(2.43). The quantum Hamilton operator becomes then = H
k
k ( a ak + a ak ) k k
(2.48)
k ( a ak + 1/2) k
(2.49)
= H
k
k a ak + k
(2.50)
14
and contains formally innite zero-point energy. The innity is not physical, since we can always choose the zero of energy where we want. What is physical are variations (derivatives) of this innity with respect to the changes of the geometry of the quantization volume. The are responsible for the Casimir eect . Physically it means that if I deform my resonator, I change the zeropoint energy, ergo I execute some work. There must therefore be forces acting on my resonator walls in this process these are Casimir forces. The quantized EM elds (without the time dependence) are
1/2
(r) = A
k
2 k 0 k 2 0
1/2
ak uk (r) + a k uk (r)
(2.51) ak uk (r)
a k uk (r)
(r) = i E
k
and B(r) = A(r). Assuming a plane wave expansion u(r) = (r, t) = A (r, t) = E (r, t) = B 1 L3/2 i L3/2 i L3/2
k k k 1/2 k L3/2
e+ikr (2.52)
2 k 0 k 2 0 2 k 0
1/2
(2.53)
ak (0)(r k ) ei(krt) h. c.
(2.54)
15
The number operator has real eigenvalues nk and eigenstates | nk n k | nk = nk | nk Eigenvalues of a and a ak | 0 = 0) k , ( ak | n k = a k | nk = nk | nk 1 nk + 1 | nk + 1 (2.60) (2.59)
(2.61)
sin(kr t) P cos(kr t) k Q
(2.62)
, Q are the amplitudes of the quadratures into which the The canonical variables P oscillating EM eld can be decomposed.
2 k 0
(2.63)
where k = (2/L)n, and n = (nx , ny , nz ) is a vector with integer entries. We want to go with L and replace the sum by an integral of k, times density of states in the kspace which is (L/2 )3 . The prescription is
k
L 2
d3 k
16
ak
Such dened operators full in the continuous limit the commutation relations in which Kronecker delta is replaced by Diracs delta function, [ ak , a k ]= L 2
3
kk (k k )
(2.64)
(r) = A
d3 k d3 k
2 k 0 2 0
1/2
(2.65)
(r) = i E
k ikr ak e+ikr a k e 3 / 2 (2 )
(2.66) (2.67)
d3 k k a ak k
(2.68)
How do we construct Hilbert space, or what states belong to it? We do it similarly as in the case of momentum representation for the free particles. Plane waves in such case are not the elements of the Hilbert space, but wave packets are. Basis can be formed using orthonormal basis of wave packets (for example wavelets). Here we construct photonic wave packets, and their creation and annihilation operators. To this aim we take square integrable functions of k, and dene af =
d3 kf (k, )ak,
and correspondingly a af , a f , so that [ f ] = 1. Hilbert space consist then of vacuum state | (which is annihilated by all af s, single photon states a f | , or many photon states
kf1 | kf1 , kf2 , . . . = ( a / kf1 ! . . . | f1 )
etc.
17
rsum what have we done to do the second quantisation: 1) Start with the Maxwell equations and x the gauge: A = 0 (the canonical variables depend on the gauge!) 2) expand A(r, t) in a Fourier series 3) dene the classical canonical variables qk , pk 4) quantize the canonical variables and change poisson bracket to commutators 5) dene annihilation and creation operators ak , a k 6) nd the new Hamiltonian Equations: basis expansion for A(r, t) uk (r) = k 1 +ikr e L3/2
A(r, t) =
k
2k 0
k a ak + k
(r) = A
k
2k 0 k 2 0
1/2
ak uk (r) + a k uk (r)
(r) = i E
k
ak uk (r) a k uk (r) ,
18
(r) = A
d3 k d3 k
2 k 0 20
1/2
k ikr ak e+ikr + a k e 3 / 2 (2 )
(r) = i E
d3 k k a ak k
19
List of variables
H E B A k k ck ak (0) k, uk qk , p k q k , p k a, ak a , a k n ,P Q
Hamiltonian electric eld magnetic eld electromagnetic potential eld multiindex k = (k, ) wave vector polarisation index time dependent amplitude of mode k time independent amplitude of mode k polarisation vector basis expansion for A(r, t) canonical variables (classical) canonical variables (quantum) annihilation operator creation operator number operator quadrature operators
20
CHAPTER
In the following we will discuss examples of quantum states of the quantized EM eld. In particular we will give examples of states that are either useful, or experimentally producible, or interesting. All of those states are quantum, but some of them are more quantum than others (show more properties of quantum nature than others). Since we have seen that the EM eld corresponds to a collection of uncoupled modes (each corresponding to a harmonic oscillator) we will dicuss for simplicity a single mode. The results can be straight forwardly extended to n-modes.
We call | nk the Fock state or number state . The ground state of our whole system (quantized EM eld in free space) is the vacuum state, which is annihilated by all ak ak | = 0 and of course for all k . Thus, | =
k
a ak | 0k = 0 k
(3.2)
| 0k = | 01 . . . | 0k . . .
(3.3)
k ( a ak + 1/2) | = k
k
k /2
(3.4)
21
22
In the previous chapter we have derived the expression for the EM eld in a box of size L. Let us now consider this example again. The operators ak , and a k represent annihilation and creation operators of photons of the momentum k and polarization k . In general they annihilate and create photons in corresponding modes denoted by k ak | n k = a k | nk = nk | nk 1 nk + 1 | nk + 1
(3.5)
(3.6)
They form the orthonormal basis for each mode k , nk | mk = nm , and nk =0 | nk nk | = Ik , where Ik is the unity operator in the k th mode Hilbert space. Fock states of low photon number | n = | 0 , | 1 , | 2 . . . are currently created in the laboratory. One can for instance place a single atom in a high quality cavity (i. e. between two very well polished mirrors). The atom interacts with the laser, gets excited and emits a single photon which remains in the cavity after the atom has left the cavity. It is however not possible to use a similar method to create a high number of photons in the cavity. We can thus comprehend, that Fock states are dicult to create !
(3.7)
23
The origin of the name becomes clear in Eq.(3.11) and Eq.(3.12). Why must be complex becomes apparend in Eq.(3.15). ) = D( )1 = D(). Note that D( Let us remind ourselves the Baker-Haussdorf formula : for two operators such that [A, [A, B ]] = 0 and [B, [A, B ]] = 0, we have eA+B = eA eB e[A,B ]/2 Using the above formula we get
a ) = e||2 /2 e D( e a
(3.8)
(3.9)
The proof of the Baker-Haussdorf formula employs the following identity valid for arbitrary operators (without assuming vanishing of commutators): eA B eA = B + [A, B ]/1! + [A, [A, B ]]/2! + . . . with the identity we derive () ) = D a D( a+ () ) = D a D( a + ) is called displacement operator. The above expressions explain why D( We are now in the position to dene coherent state | , as displaced vacuum: ) | 0 | D( (3.13) (3.11) (3.12) (3.10)
We see that the displacement operator is equivalent to a creation operator for the coherent state The following most important property of the coherent states is also used frequently to dene them. Since () a D | ) | 0 = D () a D( = |0 ()D( ) | 0 =D () | =D we conclude that a | = | (3.15) (3.14)
24
and analogue | a = |
(3.16)
i. e. coherent states are eigenstates of the annihilation operator. Since operator a is not hermitian, its eigenvalues can be, and are complex. Note: the state | is not an eigenstate of the creation operator.
Thus with Eq.(3.18) using Eq.(3.19), the coherent states have the following Fock states representation
| =
n=0
|n n| = e
||2 /2
n |n n! n=0
(3.20)
25
low higher
pn
npn () n
n ||2
= =e
(3.22)
||2 || e
=e
||2
n 2 + | |2
we can get the same result using the number operator n = a a n = | n | = | a a | = | | = | = ||2 (3.23)
Another important property of the coherent states is that they are not orthogonal. Their scalar product is ( )D( ) | 0 = e||2 /2| |2 /2+ | = 0| D whereas its modulus (called sometimes the state overlap ) is | | |2 = e| |
2
(3.24)
and vanishes exponentially with the growth of modulus squared of the dierence. Coherent state are thus not orthogonal, but form a complete set ! In particular, 1 | | d2 = I (3.25)
where d2 = dx dy , and = x + iy .
26
| | d2 =
n=0 m=0
|n m| n!m!
e|| ( )m n d2
(3.26)
| | d2 =
n=0 m=0
|n m| n!m!
re
0
r 2
n+m
dr
o
ei(nm) d/
=
n=0
|n n| 2 n! |n n|
r2n+1 er dr
0
(3.27)
=
n=0
q.e.d This means that coherent states are overcomplete and form a non-orthogonal basis. Note: Measurements of non-orthogonal sets of states are tricky. They can be understood as measurements of orthogonal states in a bigger Hilbert space. For instance, measurement of a set of coherent states {| k }k=1,2,... can be realized as measurement of orthogonal states {| k | k }k=1,2,... , where | k are Fock states in an auxiliary Hilbert space. Coherent states are closely related to the coherent properties of the EM eld. Since they are linear superpositions of Fock states, the number of photons in each mode is badly dened, but intuitively one expects that the phase properties of the EM eld will be in a coherent state well dened. Any EM eld produced by a deterministic current source (Poisson distribution ) is a coherent state. Examples are lasers, parametric oscillators and so forth.
Let us calculate their variance in a coherent state (the variance of an observable (hermitian operator) A is (A)2 = A2 A 2 ). It is easy to check that 2 = /2 (Q) coh 2 (P)coh = /2 (3.30) (3.31)
27
so that the Heisenberg-uncertainty relation is minimized coh (P) coh = /2 (Q) (3.32)
Are there more states of this sort ? The answer is yes, and has been in principle given by Schrdinger in the 20s: these are Gaussian wave-packets. Only in the 80s ago people started to look at this problem again: now from the point of view of precision measurements. To set the question in a more general framework, and in order to free ourselves from the physical units, we consider the, so called, generalised quadrature operators , i.e. we represent + iP) /2 a = (Q , P are hermitian. where Q Lets write the EM eld in terms of the quadrature operators (Eq.(2.62)) (r, t) k Q sin(kr t) P cos(kr t) E (3.34) (3.33)
as a part that oscillates as sine, and P as a part that goes like We can identify Q cosine of t. Since their commutator is [Q, P] = 2i, the Heisenberg relations says that P 1. For coherent states we have Q = P = 1. Q For squeezed states < 1, P = 1/Q > 1, but Q P 1. Q Note: The equality is achieved only if the state is pure. , Q ), whereas Graphically, coherent states are represented as circles in the phase space (P the squeezed states correspond to ellipses.
P P
111111 000000 000000 111111 000000 111111 000000 111111 000000 111111 000000 111111 000000 111111 000000 111111 000000 111111 000000 111111 000000 111111
28
Mathematically, squeezed states are constructed as follows: First we dene a unitary squeeze operator
) = exp( S( a2 /2 ( a )2 /2)
(3.35)
where = r e2i is a complex number. Obviously, S () = S 1 () = S (). Using the formula (3.10) we get ) = S () aS( a cosh r a e2i sinh r, ) = S () a S( a cosh r a e2i sinh r (3.36) (3.37)
Let us dene more general hermitian quadrature operators (rotated, or phase shifted ones) 1 + iP 2 = (Q + iP) ei Q Obviously, from hermiticity we obtain 1 = Q cos + P sin Q 2 = P cos Q sin P and 1 + iP 2 = Q a ei 1 iP 2 = a Q ei Using above introduced properties we get 1 + iP 2 )S( ) = ei ( 1 er +P 2 er S ()(Q a cosh r a e2i sinh r) = Q (3.43) (3.41) (3.42) (3.39) (3.40) (3.38)
) squeezes Q , and streches P . The parameter r = || is Evidently, the operator S( 1 2 therefore called squeezing factor. The squeezed states | , are dened )S( ) | 0 | , = D( ) | 0 is called a squeezed vacuum. The state S( (3.44)
29
111 000 000 111 000 111 000 111 000 111 000 111
Q
(a) coherent state (b) squeezed state
The most important properties of the squeezed states are Mean values of a is of course , | a | , = (P ) are squeezed (stretched): Q = er , P = er Variances of Q 1 2 1 2 Mean photon number n , which we now denote as n is n = ||2 + sinh2 r Variance of the photon distribution is (n)2 = cosh r e2i sinh r
2
+ 2 cosh2 r sinh2 r
(3.45)
Note: n and (n)2 have not been derived, because they are dicult to calculate and beyond the scope of this introduction. Let us make a comparison: For coherent states (r = 0) (n)2 = n and we deal with the Poissonian distribution. The situation is much more complex and richer for the squeezed states: For instance, for || , (n)2 can be greater or smaller than n, depending on . For example, for real we get for = 0, a subPoissonian distribution, i. e. (n)2 is smaller than n On the contrary, for = /2, (n)2 = n er , and the distribution is super Poissonian , i. e. (n)2 is greater than n
Hn
2 | |2 + 2 + 2 ( ) 2
(3.46)
30
where = e2i sinh r, = cosh r, and = + ; Hn (.) denote here Hermite polynomials. The above formula is quite complex and not so easy to analyse. For large , and moderate r, as we know, it exhibits subPossonian statistics for = 0, Poissonian statistics for r = 0, and super-Poissonian statistics for = /2. For big, and bigger values of r the photon number distribution exhibits oscillations, that represent interference eects in the phase space, as has been discussed in 1987 in Nature by Schleich and Wheeler2 .
E(r, t) =
sin t P cos t Q
(3.47)
(3.48)
= 0, whereas the mean of P Let us for simplicity assume that the mean of Q and P we can have is non-zero. Evidently, depending on the relation between Q < Q , i.e. here the situation of amplitude squeezed light this happens when P uctuations are small, when the mean eld is big (when cos t 1). Conversely, > Q , i.e. uctuations are small, when the mean eld is small (when when P cos t 0), that corresponds to phase squeezed eld. Figures 3.4, 3.5, 3.6 are taken from the lecture: Nonclassical light by Dr. Roman Schnabel.
2
W. Schleich, J.A. Wheeler Nature 326, 574 (1987) L.A. Wu, H.J. Kimble, J.L. Hall Physical Review Letters IR2 57, 2520 (1986) 4 R.E. Slusher, L.W. Hollberg, B.Yurke, J.G. Mertz, J.G. Vallery Physical Review Letters PR2 55, 2409 (1985)
3
31
32
= (1 e
a ) e
(3.49)
)
n=0
n e
= e
/(1 e
n n+1
a a
(3.50)
(3.51)
n2 =
n=0
d d xn x dx dx n=o
x=n/(n+1)
Elementary calculation yields to n2 = 2n2 + n. Thus (n)2 = n2 n2 = n2 + n. i.e. (n)2 n for large n. The variance is here of the order of the mean value, which signies very strong uctuations.
33
exp(i ) =
n=0
|n n + 1|
(3.53)
Eigenstates of this operator do not belong to the Hilbert space (as eigenstates of the position, or momentum operators), but they make a good sense, and can be used to build well dened wave-packets. They fulll exp(i ) ei = ei ei (3.54)
with dened modulo 2 , for example in the interval [, ). In the Fock representation
=
n=0
ein | n
(3.55)
Indeed, the moduli squared of coecients of this expansion are not summable. We could live with that, but the problem is the the operator exp(i ) is not unitary [exp(i ), (exp(i )) ] = | 0 0 | (3.56)
and thus the operator is not hermitian, ergo it is not a physical observable. Nevertheless, the eigenstates are useful. They are not orthogonal, they scalar products can be dened as ei | ei = (1 + ei( ) )1 , but they form a complete set:
ei
ei
d =I 2
(3.57)
34
This property allows to dene in a very reasonable way the phase probability distribution for a given state | 1 | ei | |2 2
P () =
(3.58)
This functions is obviously positive, and normalized, P () d = 1. We can check what are the phase distributions for various states that we have already studied: Fock state | n0 . We have ei | n0 = ein0 , and thus P () = 1/2 , as was easy to guess. Thus a Fock state has a completely undetermined phase, since it is independent of . Coherent states | , with = r ei0 . Here
ei | = er
rn ein(0 ) / n!
n=0
Instead of calculating the mean of the phase and its variance, one can easily check that for any odd function of 0
P ()f ( 0 ) = 0,
which indicates that = 0 . Similarly, we can estimate for large r that ( 0 )2 1 2 cos( 0 ) 1/4r2 = 1/4||2 .
The larger the coherent state modulus square of the amplitude, the bigger the mean photon number, and the smaller the phase uctuations. We can therefore conclude, that coherent states have a well dened phase. Pegg and Barnett6 tried to dene the hermitian phase operator, by taking a nite subspace Hs of the Hilbert space, spanned by the Fock states with 0, 1, . . . , s photons. They dene | 0 = 1 ein0 | n s + 1 n=0
s
2im a a s+1
| 0
35
These new states dier in phase by 2m/(s + 1), i.e. m = 0 + 2m/(s + 1), and form an orthonormal basis on Hs . The phase operator
s
PB =
m=0
m | m m |
is hermitian, and allows of course to dene probability distribution Pm = | m | |2 for any state | in Hs . In the limit s , the operator PB does not converge to any Hermitian operator, but dening = lim m , we get thet
m,s
It is still an open question what is an exact meaning of the distribution P (). There are strong indications, however, that it corresponds to an optimal phase measurement.
36
| 0k
(3.59)
Coherent states state sign denition Fock states representation Displacement operator
a a) ) e ( D(
| ) | 0 | D( | = e||
2 /2
n n=0 n!
|n
(3.60)
annihilation and creation operators a | = | | a = | Squeezed states state sign denition Squeeze operator ) = exp( S( a2 /2 ( a )2 /2) thermal states denition (density matrix) Noisy coherent states denition (density matrix) )th ( )D () (, ) = D( =
1 n+1 n n+1 a a
(3.61) (3.62)
| , )S( ) | 0 | , = D(
(3.63)
37
Properties photon number distribution (probabilities of having n photons) fock coherent squeezed thermal noisy mean photon number fock coherent squeezed thermal noisy n = n0 n = ||2 n = ||2 + sinh2 r n=
e 1e
pn = nn0 pn = | n | |2 = pn = (n!)1 pn =
1 n+1 n n+1 | | 2n n! n
exp(||2 ) Hn
2 2 | |2 + 2 + ( )2 2 2
2 n
n = ||2 + nth
Variance of the photon distribution fock coherent squeezed thermal noisy (n)2 = 0 (n)2 = n (n)2 = cosh r e2i sinh r (n)2 = n2 + n (n)2 = ||2 (2nth + 1) + n2 th + nth
2
+ 2 cosh2 r sinh2 r
Poisson distributions (n)2 = n Poissonian (n)2 < n subPossonian (n)2 > n superPoissonian
38
ein | n | ei | |2 . 2
(3.64) (3.65)
P () = For | = | n0 P () =
1 2
(uniform).
(3.66)
(3.67)
d P () = 0
1 4n
(3.69)
39
List of variables
fock states n number operator (photons) |n fock state | ground state (no photons) |0 vacuum state (= ground state) ak annihilation operator (photon) creation operator (photon) ak I unity operator coherent states ) D( displacement operator | coherent state eigenvalue of the annihilation operator acting on | pn photon number distribution n mean number of photons squeezed states ,P Q quadrature operators S() squeeze operator Q1 , P2 general hermitian quadrature operators | , squeezed state 2 i = re complex number r = || squeezing factor thermal states density matrix 2 n photon number uctuations phase of the eld P () phase probability distribution
40
CHAPTER
In the previous chapters we have described the properties of the free quantised EM eld. We are now interested in its interaction with matter.
V (r) : is the Coulomb interaction between a bound electron and the nucleus. We make here the approximation of just one single (valence) electron in the atom, which is interacting with the eld HF quantised electromagnetic eld Hamiltonian HF = =
k
1 2
|E(r, t)|2 + k a ak + k k n k + 1 2 1 2
1 |B(r, t)|2 0
d3 r (4.3)
=
k
41
42
Hint interaction Hamiltonian . In the dipolar approximation the interaction between the electron and the EM eld simply reads rE. In the pA gauge the interaction with the EM eld can be directly written as H= 1 )2 + V( r) + ( p eA 2m k ( a ak ) k
k
(4.4)
ak ) k ( a k
k EM eld
(4.5)
We can simplify the Hamiltonian with the following arguments ] = 0 i) value of [ p, A ] | = ( A p , A ) | [p pA ) A (i ) = i = i (A with p + i A = i (A) i A =0 with A = 0 from Coulomb gauge. The Hamiltonian simplies to H=
2 e 1 2 2 + )+ e A p + V(r) ( pA 2m 2m 2m
(4.7)
k ( a ak ) k
k
(4.8)
2 this term is usually very small ii) We can neglect the term proportional to A except for very intense elds and corresponds to a two-photon process, which is in general negelegible compared to a one-photon process. We get then 1 2 e )+ p + V(r) ( pA 2m 2m
H=
k ( a ak ) k
k
(4.9)
43
Ha =
Ha j (r) = Ej j (r)
(4.11)
where j (r) are the eigenfuctions of the hamiltonian. Any general wavefunction (r) can be expanded in an eigenfunction basis of the hamiltonian, where j enumerates the eigenstates of Ha . (r)
j
bj j (r)
(4.12)
In 2nd quantisation we now replace the amplitudes bj of the expansion by operators j . Thus we get the atomic eld operators b (r) =
j
j j (r) b j (r) b j
j
(r) =
(4.13)
j , For the atomic Hamiltonian we derive, using the condition of orthonormality for i = ij i. e. j at = H =
ij
(Ha ) d3 r j b i b
j
p 2 + V (r) i d3 r 2m
Ei i j i d3 r ij
(4.14)
=
ij
j b i Ei b
at = H
j
b Ej b j j
(4.15)
44
j with a number operator for the occupation number of electrons in j b If we identify b level j , as we did for the photons, then we see that the Hamiltonian is simply the sum over all energy levels with the energy of the level times the number of electrons in this level.
(4.16)
Pauli exlusion principle implies (no possibility of two electrons in the same state) b b j j |0 = 0 and that holds for any arbitrary state | . Atomic operators acting on the vacuum state: | 0 = | 1 b j j | 0 = 0 b j = 1 | follows 0 | b j | 0 = 0 With 0 | b j The vacuum is annihilated by b (4.17)
(4.18)
=0 = |0
(4.19)
j obey anticomThe above properties follow from the assumption that the operators b mutator relations: i b + b b i , b } = b {b j j j i ij i , b j } = 0 and {b , b } = 0 {b i j (4.20) (4.21)
So fermionic operators obey anticommutation algebra while bosonic operators obey commutation algebra. We obtain i b + b b (b j j i ) | 0 = bi bj | 0 = bi | 1
j
=0
for i = j
(4.22) (4.23)
i b + b b (b i i i ) | 0 = bi bi | 0 = bi | 1 i = | 0
j b j with the operator for In analogy to the number operator n = a a we identify b the occupation number of electrons in level j .
45
b Ej b j j k a ak k
k
F = H int = H
(r) d3 r (r) e A p m
We want to derive the value of Hint . We insert therefore these values (r) =
j
j i (r) b (r) b j i
j
(r) = = A
k
20
[ ak uk (r) + h. c. ]
20
j (r) d3 r [ ak uk (r) + h. c. ] p
(4.27)
e m
1 2 0
(4.28)
int = H
(4.29)
where ak is the annihilation operator for the EM eld of mode k . The full Hamiltonian in 2nd quantization reads = H
j
b Ej b j j +
k
k a ak + k
ijk
b b ak + gijk a i j (gijk k)
(4.30)
46
where r0 are the coordinates of the atom. We now want to solve the integral from Eq.(4.28)
) j (r) d3 r uk (r0 ) i (r) (uk (r) p j (r) d3 r i (r) p
written in terms of the time evolution of the with p r operator (Heisenberg equation) = mv =m p we can solve
j (r) d3 r = i (r) p i (r)
d r =m dt
a ] [ r, H
mi
a ] j (r) d3 r [ r, H
mi
)j (r) d3 r i (r)(H r rH
mi mi
(Ei Ej )
mi
(Ei Ej )dij
20
uk (r0 )
(Ei Ej )dij
(4.32)
in the dipole approximation. For simplicity we can chose the phase of uk (r0 ) such that gkij is real. Then int = H
ijk
b b ak + a i j gkij ( k)
(4.33)
47
|1 |2
in our notation
(4.34)
Denitions: upper state lower state energy between states energy of upper level energy of lower level |2 |1 0 E2 E0 + E1 E0
1 2 1 2
|2 0 E0 |1
0 0 0 0
| 1 , | 2 are eigenstates of the atomic hamiltonian. a | 1, 2 = E1,2 | 1, 2 H Properties of this system |1 1| + |2 2| = 1 1 | 2 = 12 with these properties a 2-level atom is formally a spin 1/2 particle. Recall gkij = i e m 1 m uk (r0 ) (Ei Ej )dij 2 0 (4.32) (4.36) (4.37) (4.35)
48
(4.39)
Ej t
operators times the operator The product of two b a is then b a e+ i (E1 E2 ) eit b 1 2 ei0 t eit = ei(0 +)t and analogue for the other variations. Altogether we nd b a ei(0 +)t b 1 2 b 2 b a ei(0 )t
1
b a b 2 1 b a b 2 1
e e
+i(0 )t
i(0 + )t
If 0 , which occurs if the EM eld is close to the atomic resonance, as it is the case if only these 2 atomic levels are relevant, the terms proportional to 0 + oscillate like 2 . These terms can be negelcted in comparison with the slow oscillating term 0 . They correspond to higly non-energy conserving processes. This is known as the rotating wave approximation (RWA). b 2 b 1 Therefore remain only b a and b a, so that we can conclude
1 2
(4.48)
49
0 1
spin operator + R R 3 R
b b 2 2
1 b b 1
, b operators do. These operators act on accessible states in the same way as the b j are also called raising and lowering operators, since it is Sometimes the operators R easy to check that for spin 1/2 system: + R 0 1 0 0 (4.52)
using as a basis the 2 level system | 1 and | 2 (equivalent to spin down | 1 and up | 2 ) + |2 1| R |1 2| R (4.53)
50
R + plays the role of number of particles in level | 1 while R +R We can see that R plays the role of number of particles in level | 2 . We can rewrite the free hamiltonian in the rotating wave approximation with the spin operators. 3 + a + ) HRWA = 0 R a + i g (R a a R Where we have used b a = E1 b H 1 1 + E2 b2 b2 1 1 1 b + b b = (E2 + E1 )(b 1 2 2 ) + (E2 E1 ) b2 b2 b1 b1 2 2 1 b 1 b + b b 0 b = E0 (b 2 2 b1 b1 1 2 2) + 2 and omitted the oset E0 (set to zero). By expressing g = ig12 we make the notation more compact (and g real). 3 counts the number of atomic excitations, We observe that R a a counts the number of photons, while g (R+ a R a ) giving us information about the coupling in the system. Note: We assume the number of photons to be conserved.
(4.62)
(4.63)
(4.64)
51
+, R , R 3 Properties of R +, R ] = 2R 3 [R +, R 3 ] = R + [R , R 3 ] = R [R 3 = 1 R 2 1 0 1 2 R 3 = 12 4 (4.66)
(4.65)
0 1
Our plan to solve the Jaynes Cummings model i) Analyse HRWA 3 ii) nd equation of motion for R iii) solve this equation of motion and HRWA i) nd commutator of N , HRWA ] we have to calculate these commutators: To nd [ N , R 3 ] = [ 3, R 3 ] [N a a+R 3 ] + = [ a a, R [R 3 , R3 ]
3 = a [ a ,R [ a ,R ] a 3 ] +
=0 , 3, [N a a] = [ a a+R a a] 3, [ a = a, a a] + [R a a ]
= a [R a] + [R a ] a 3, 3,
=0 , R + 3, R + [N a] = [ a a+R a] + 3, R + = [ a a, R a] + [R a]
+ + + 3, R + ] = a [ a, R a] + [ a , R a] a + R [ R a] + [R a 3, ] + a , + + = a R [ a, a] + a [ a ,R a] a + [ a ,R ] a aR a + a + R+ [
+ + =R aR a =0 , R 3, R [N a ] = [ a a+R a ] 3, R = [ a a, R a ] + [ R a ]
3, R ] = a [ a, R a ] + [ a , R a ] a + R [ R a ] + [ R a 3, [ = a R a, a ] + a [ a ,R a + R [ a , a ] a + [ a ,R ] a a+R a ] = R a + R a
=0
52
With all the commutators equal to zero it follows , HRWA ] = 0 [N . This symmetry implies the conservation of HRWA under the operator N 3 ii) nd equation of motion for R Use Heisenberg equation of motion: RWA i R ] 3 = [ R3 , H (4.68) (4.67)
To make the evaluation of the commutator easier we rewrite the Hamiltonian with 0 + 0 detuning
(4.69)
3 + + ) HRWA = 0 R a a + i g (R a a R = ... 1 1 3 + ) N + (R a a) + i g (R a a R = 2 2 3 commutes with N and (R 3 We know R a a), so we are left with 3, R + 3, R + ] + [ R 3, + [R a] = [R a+R a] = R a 3, ] = [ R 3, + 3, R ] = [R aR a ]R a [R a R 3 , HRWA ] = i g (R + ) [R a+ a R This result is not in terms of HRWA , so we try the second derivative: (4.71) (4.70)
(4.72)
53
3 = 1 1 we rewrite together with R 2 3 = 11 + R 3 +R = 31 11 + R R 4 4 2 2 = 2R 3 + R3 = (2R3 + 1)R3 with these results we can continue + ] = R +R + +, R ] [R a, a R a [ R a +R + 2R 3 =R a a 3 + 1)R 3 + 2R 3 = (2R a a 3 + 1) + 2 3 = (2R a a R 3 + 3 = 2(R a a) + 1 R + 1)R 3 = (2N
54
3 + 1)R 3 2R 3 = (2R a a 3 + 1) + 2 3 = (2R a a R 3 + 3 = 2(R a a) + 1 R + 1)R 3 = (2N Recall 3 + + ) HRWA = 0 R a a + i g (R a a R 3 = g [ R + , HRWA ] i R a, HRWA ] + [ a R We can now insert all values we have calculated before + + 1)R 3 3 = g 1 (2R a) i g (2N i R 2 1 ) i g (2N + 1)R 3 a R + (2 2 ) 2i g 2 (2N + 1)R 3 3 = g (R + i R a+ a R The second derivative is now in terms of the Hamiltonian 3 = ig (R + ) 2g 2 (2N + 1)R 3 R a a R = HRWA 1 2 + 2g 2 (2N + 1) R 3 ( )N 2
2
(4.62) (4.72)
3 with RWA = HRWA we have nally found the equation of motion for R d2 2 R 3 (t) = RWA 1 ( + )N 2 dt 2 with the quantum Rabi frequency 2 = 2 + 2g 2 (2N + 1) (4.74)
(4.73)
55
d | = HRWA | dt
(4.75)
(k, , t) | 1, 1k, d3 k
(4.76)
where (t) and (k, , t) are the amplitudes of having the atom in the excited state and zero photons | 2, 0 and having the atom in the ground state and 1 photon of momentum k and polarisation emitted | 1, 1k, . Our initial conditions are (t = 0) = 1 (k, , t = 0) = 0 The Schrdinger equation becomes thus i t (t) | 2, 0 +
(k, , t) | 1, 1k, d3 k
= HRWA |
(4.77)
By inserting the initial values into the Schrdinger equation Eq.(4.77) we nd the dierential equation: i (t) = and (k, , t) = i 0 + k (k, , t) + g (k, )(t) 2 (4.79) 0 + 2 g (k, ) (k, , t) d3 k
(4.78)
here we used 0 = o + 0 , where 0 denotes the Lamb shift. This is a very small 0 0 quantum correction to the energy of the atomic transition. Second we have used the natural linewidth of an atomic transition
2 d2 0 60 c2
(4.81)
56
(4.82)
Since (t) is nothing else than the population of the excited state, we can rewrite Eq.(4.82) as d P2 (t) = P2 (0) dt This gives us the decay of population, called Weisskopf Formula (1930) P2 (t) = et P2 (0) Typical values for are 109 s and for metastable states 103 s (4.84) (4.83)
57
rsum Hamiltonian with quantised emelds Hamiltonian describing matter-light interaction H = Ha + HF + Hint = H0 + Hint atomic Hamiltonian Ha = p 2 + V ( r) 2m
k n k +
1 2
Quantisation of the electron wave eld (2nd quantisation) quantized EM eld Hamiltonian F = H
k
k a ak k
b Ej b j j
gkij =
e m
1 2 0
b b ak + a i j gkij ( k) e m m
gkij = i
20
uk (r0 )
(Ei Ej )dij
58
Hamiltonian in rotating wave approximation a + h. c. ) b b a a + (g12 b HRWA = E1 b 1 2 1 1 + E2 b2 b2 + Pauli Spin matrices atom raise and lower operators + R 1 + iR 2 R R 1 iR 2 R number of excitations +R R R +) 3 = 1 (R R 2 Jaynes Cummings model 3 + + ) HRWA = 0 R a a + i g (R a a R Number operator (total number of excitations) 3 N a a+R 0 + 0 detuning 3 equation* of motion for R d2 2 R 3 (t) = RWA 1 ( + )N 2 dt 2 quantum Rabi frequency 2 = 2 + 2g 2 (2N + 1) Spontaneous emission natural linewidth =
2 d2 0 60 c2
59
List of variables
Ha HF Hint p A a a , j b b
j
atomic Hamiltonian electromagnetic Hamiltonian interaction Hamiltonian quantum impulse operator electromagnetic potential eld operator annihilation operator (eld) creation operator (eld) atomic eld operators annihilation operator (electron) creation operator (electron) coupling constant: atom-eld dipole matrix element upper state (atoms) lower state (atoms) pseudo spin 1/2 operators counting number of excited electrons Hamiltonian in rotating wave approximation raise atom operator lower atom operator Number operator (counting the total number of excitations) detuning quantum Rabi frequency number of photons energy number (denotes upper or lower state) amplitude of the excited atomic state with zero photos probability of decay natural linewidth dipole moment Population of upper state Population of lower state
60
CHAPTER
In order to characterize the states of quantum EM eld one has to perform measurements. The simplest of such measurements conceptually is counting the number of photons, i. e. measuring the operator n = a a. In reality, however, photons are coming from the source and arriving at a detector at various times. What one measures in eect is the number of photons that have arrived at the detector within a given time interval. Repeated measurements of that number provide its probability distributuin. The probability distribution of photon counts provides a lot of information about the state of the EM eld, and about the correlation functions of the eld that characterizes the state. We rst need to understand what do photo detectors (photo multipliers) really measure, in order to develop the theory of photo-detection and photo-counting, and to study the properties of various states of the quantum EM eld from that side. To this aim we will develop a caricature model of a photo-detector a model of a single electron atom that undergoes ionization under the inuence of the eld to be measured. Photocurrent due to ionization is then amplied in the photo-multiplier, but that will not be of interest of us. We will try to determine which characteristics of the EM eld determine the photo-detector response.
|E
|0
61
62
eld is
H = E0 | 0 0 | +
0
dE | E
E|
+
0
dE ( | 0 E | + | E
(5.1)
The interaction part describes transitions | 0 | E caused by interaction with the electric eld (ionization!) at r. is a coupling constant. The sum E () (r, t)+ E (+) (r, t) is the total electric eld. We have divided it into a positive and a negative frequency parts, oscillating as eit and e+it , respectively. The frequencies relevant for the process of ionization will be close to the laser frequency, L We solve the Schrdinger Equation i d | = H | dt (5.2)
(t) = (E, t) =
i i
E0 (t) i E
( )
(r, t) + E
(+)
(r, t)
0
(E, t) dE,
(5.4) (5.5)
E0 t E
(5.6) (5.7)
= i
0
(E +E0 )t
(5.8) (5.9)
63
(5.10) (5.11)
(r, t) e
iL t
We have L 1015 Hz, (E + E0 ) / 1015 Hz. We can safely forget rapidly oscillating terms in the equation above! So
t
(t) = i
0
(E +E0 )t
E (+) (r, t ) (t ) dt
(5.12)
(t) = i
0
dE e
(E +E0 )t
(E, t) E () (r, t)
(5.13)
(t) = 2
0
dE
0
dt e
(E +E0 )(tt )
(5.14)
dE e
0
dE e
E (tt )
2 (t t )
(5.15)
so that with the delta function we nd (t) = 2 E () (r, t)E (+) (r, t) (t) = (t) (t) where (t) is the instantaneous ionization rate. We take here
t
(5.16)
(t t ) dt =
0
1 2
(5.17)
The ionization rate (instantaneous) is proportional to the intensity Ii (r, t) = E () (r, t)E (+) (r, t) Mean ionization rate is then related to the mean intensity I (r, t) = E () (r, t)E (+) (r, t) (5.18)
(5.19)
64
where . . . is the quantum average in quantum electrodynamics (i. e. when elds are quantized), or average over stochastic character of classical eld, if we use classical model of E (r, t). Note that the ionization rate determines counting rate of the detector! I (r, t) E () (r, t)E (+) (r, t) Since Eq.(2.53) E ( ) a E
(+)
(5.20)
(5.21) (5.22)
I (r, t) normally ordered correlation function of E () , E (+) . Normal ordering means a s to the left of as. Normal ordering is the consequence of energy conservation (neglecting of the rapidly oscillating terms in the model). Photo-detectors measure normally ordered correlation functions!
In general, standard photo-detection allows to measure more general, higher order correlation functions G(n) (r1 , t1 , . . . , rn , tn , rn+1 , tn+1 , . . . , r2n , t2n ) E () (r1 , t1 ) E () (rn , tn )E (+) (rn+1 , tn+1 ) E (+) (r2n , t2n ) where t1 t2 . . . tn t2n t2n1 . . . tn+1 (5.26) (5.27) (5.25)
65
These correlation functions are mean values of normally ordered and apex-time ordered products of E () , E (+) . Apex-time ordering means that creation operators are ordered from earliest to the latest times from left to right, annihilation operators conversely, from the latest to the earliest. The correlation functions Eq.(5.25) are related to counting rates of n photons at various times. Coincidence rate of detecting a photon at (r1 , t1 ), then another at (r2 , t2 ), etc. (for t1 t2 . . . tn ) is given by W (n) (r1 , t1 , r2 , t2 , . . . , rn , tn ) G(n) (r1 , t1 , r2 , t2 , . . . , rn , tn ) = E () (r1 , t1 ) E () (rn , tn )E (+) (rn , tn ) E (+) (r1 , t1 ) (5.28)
This is a direct generalization of the result of a photo-detector to two photo-detectors, or in general to n photo-detectors . Physically: The simple photo-counting rate is proportional to normally ordered mean intensity. The coincidence rate is proportional to the normally and apex ordered product of intensities!
where is the density matrix. Obviously we have G(n) (x1 , . . . , xn ; xn , . . . , x1 ) 0, where xk = (rk , tk ). Similarly, taking = A
i
(5.29)
i E (+) (xi ),
( ) (xj ), jE j
(5.30) (5.31)
= A we get
(5.32)
66
so that
(1) j i G (xj , xi ) 0. i,j
(5.33)
G(1) (xj , xi ) regarded as a matrix must be positively dened. So have to be all of its minors. In particular, Cauchy-Schwartz inequality holds det G(1) (xi , xj ) 0, so for i, j = 1, 2 we have G(1) (x1 , x1 )G(1) (x2 , x2 ) G(1) (x1 , x2 ) . Here we have also used G(1) (x1 , x2 ) = G(1) (x2 , x1 ) More generally G(n) (x1 , . . . , xn ; xn , . . . , x1 )G(n) (xn+1 , . . . , x2n ; x2n , . . . , xn+1 ) G(n) (x1 , . . . , xn ; xn+1 , . . . , x2n ) .
2 2
(5.34)
(5.35)
(5.36)
(5.37)
Apart from the mathematical sense mean have all these properties an important physical sense. For instance, the inequality Eq.(5.35) means that the interference term |G(1) (x1 , x2 )| cannot be larger than the geometric mean of the intensities.
67
photodetector
We have obviously E (+) (r, t) = E 1 (r, t) + E 2 (r, t) The elds propagate from the slits to r as spherical waves, so that E i (r, t) E i (ri , t
1 (+) (+) (+) (+)
(5.38)
si 1 i(k/c)si , ) e c si
(5.39)
where optical path is si = |ri r| R. (We assume that slits are close one to another!) Since k = /c, we get E (+) (r, t) 1 s1 s2 (+) (+) E 1 (r1 , t ) + E 2 (r2 , t ) . R c c
2 2
(5.40)
(5.41)
si c)
(5.42)
68
(5.44)
g (2) ( ) =
(5.45)
Let us consider various examples of classical elds: Stationary Fields We assume here that elds are stationary, i. e. G(1) (t, t) = G(1) (t , t ) = G(1) (0, 0). In this case G(2) dened above depends on only and not on t! We call the eld to posses a second order coherence, if G(2) ( ) = E () (t)E () (t + )E (+) (t + )E (+) (t), (5.47) (5.46)
i. e. G(2) ( ) is a product of complex numbers. In the stationary case, we then must have E (+) (t) eit ,
3
(5.48)
69
For classical elds, which do not uctuate, and elds with E (+) (t) = E eit this is the case. Fluctuating Fields However, for classical elds, which do uctuate, for instance elds having uctuating amplitude E , we have G(2) ( ) = P (E )|E|4 dE , (5.51)
where P (E ) is the probability distribution of the amplitude E . Since G(1) (0) = we obtain g (2) ( ) = P (E )|E|4 dE P (E )|E|2 dE
2 2 2
P (E )|E|2 dE ,
(5.52)
dE
+11
(5.53)
Gaussian elds Let us consider another example of classical uctuating elds, Gaussian elds. These are elds, whose probability distributions are Gaussian. Technically, if we have E () (t), E () (t + ), E (+) (t) and E (+) (t + ), they should be regarded as complex random variables with probability distribution P , P exp quadratic form of E () (t), E () (t + ), E (+) (t), E (+) (t + ) . (5.55)
70
Practically, that means that higher order correlations factorize into a sum of products of two-point correlations for all possible pairings (this is called Wicks theorem in Quantum Field Theory). We have then E () (t)E () (t + )E (+) (t + )E (+) (t) = E () (t)E () (t + ) + E () (t)E (+) (t + ) + E () (t)E (+) (t) E (+) (t + )E (+) (t) E () (t + )E (+) (t)
E () (t + )E (+) (t + ) (5.56)
= G(1) (0)2 + |G(1) ( )|2 . We obtain thus g (2) ( ) = 1 + |g (1) ( )|2 where g (1) ( ) = G(1) ( ) G(1) (0) ,
(5.57)
(5.58)
When the Gaussian eld uctuates, clearly E () (t) = 0. This is the result of the Gaussian distribution, which is invariant with respect to the change of sign of E () (t), E () (t + ). In this case we always have that G(1) ( ) = E () E (+) (t + ) 0, as , or in other words, the eld becomes uncorrelated for large s. Typically g (1) ( ) = g (1) ( ) = e e
2 2
(5.59)
(for elds with Lorentzian power spectrum), (for elds with Gaussian power spectrum).
(5.60) (5.61)
In any case, for such elds we have that g (1) ( ) g (1) (0), and in fact that g (1) ( ) is a monotonically decreasing function of . That implies that for classical uctuating elds we have always 1 g (2) (0) g (2) ( ) . (5.62)
The relation above, measured in the famous Hanbury-Brown and Twiss experiment4 , expresses the fact that classical elds exhibit photon bunching . In other words, photons in classical elds, or better to say in classically interpretable or classically described states, like to bunch, i. e. come together. Of course, in practice, what we observe is, that the detector is more likely to click twice for short time lag than for larger ones.
4
71
(5.63) (5.64)
(t) a
where a, a are the photon annihilation and creation operators. In this case of single mode eld a a a a a a
2
g (2) (0) =
=1+
(n)2 n , n2
(5.65)
where mean value n = a a , variance (n)2 = (n n)2 = ( a a n)2 we have: For the Fock states | n n | g (2) (0) = 1 (n)2 = 0, n = n. For the coherent states g (2) (0) = 1, (n)2 = n. Since typically g (2) ( ) 1 as , then we have for the Fock states: g (2) ( ) g (2) (0) The situation when g (2) ( ) g (2) (0) is termed photon bunching. (5.67) (photon antibunching ). (5.66) 1 , n
72
1 p(t )
5 t+T t
exp p(t )
= exp
I (t ) dt . (5.69)
p(t )
t =t
1 p(t )
t+T
I (t ) dt (5.70)
I (t ) dt exp
t
exp T I (t, T )
(5.71)
1 I (t, T ) = T
t
I (t ) dt .
(5.72)
probability of no clicks
73
Pn (T ) = Pn (t, T ) =
I (T )T n!
exp I (T )T
(5.73)
Take nonuctuating eld of constant intensity, I (t) = I. we obtain Poissonian photon counting statistics, Pn (T ) = where n = IT means the number of photons detected in interval T . We have n2 n2 = n (5.77) (5.76) nn exp(n), n! (5.75) (5.74)
This is the so called shot noise . It shows that the number of counts in classical probabilistic theory uctuates according to Poisson distribution, even if the EM eld is deterministic. Shot noise is the consequence of probabilistic character of detectors. Random intensity I (T ) random variable, distributed according to P (I (T )); n = I (T )T = T IP (I ) dI, (5.78)
n2 = 2 I (T )2 T 2 + I (T )T = 2 T 2 I One gets n2 n2 = n + 2 T 2 I
2 2
+ T I .
(5.79)
> n.
(5.80)
For classical uctuating elds n2 n2 n i. e. one obtains super Poissonian photon counting statistics.
6
(5.81)
74
1 I exp I0 I0
(5.82)
n = T I0 , n2 and (T )n Pn (T ) = I0 n! = 1 1+n
n = n + n,
I exp I T +
0
1 I0
dI (5.86)
n 1+n
Pn (T ) =
exp T I (T ) :
(5.87)
(5.88)
1 I (T ) = T
t
(5.89)
exp (T ) a a : ,
(5.90)
where (T ) is the probability of detecting one photon in interval [t, t + T ], equal to the quantum eciency of the detector.
75
For Open systems (typically): Closed systems (typically): Let us dene Pn = n | | n Pm (T ) photon number distribution (no T dependance), photon counting distribution. (T ) = T , (t) = 1 eT .
Pn
[(T )]m n| m!
nm
(1)l
l=0
=
n=m
Pn
l=0
n! (T )l , (1)l l! (n m l)!
Pm (T ) =
n=m
Pn
n (T )m (1 (T ))nm m
Bernoulli distr.
(5.92)
Note: Pm (T ) = Pm if (T ) = 1, that is if quantum eciency (T ) = 1. Normally, however, (t) 1 in experiments. Let n denote the mean number of photons in the state, while m is the number of detected photons in the interval T. Examples: Coherent states nn exp(n), n! ((T )n)m exp((t)n). Pm (T ) = m! Pn = (5.93) (5.94)
Both distributions are Poissonian! Pm (T ) has the same form as in the classical case of constant I ! Chaotic states (thermal light)
n 1 n , 1+n 1+n m 1 m Pm (T ) = , 1+m 1+m
Pn =
(5.95) (5.96)
76
Again, Pm (T ) is the same as in classical model of thermal light. But, for Fock states | n0 n0 | Pn = nn0 , Pm (T ) = We have: n = n0 , m = (T )n0 = (T )n, m2 = (T )n0 + (T )2 n0 (n0 1) , m2 m2 = n0 (T ) (1 (T )) , n(n 1)Pn 1 g (2) (0) = =1 , 2 n n m(m 1)Pm (T ) . = m2 (5.100) 0
n0 m
(5.98) (T )m (1 (T ))
n0 m
for m n0 otherwise
(5.99)
(5.101)
The last equality, g (2) (0) can be calculated from Pn or Pm (T ), the result is the same.
77
rsum Model of a photodetector Mean intensity I (r, t) = E () (r, t)E (+) (r, t) Correlation functions Two points correlation function G(1) (r1 , t1 , r2 , t2 ) E () (r1 , t1 )E (+) (r2 , t2 ) Four points correlation function G(2) ( ) E () (t)E () (t + )E (+) (t + )E (+) (t) = : I (t)I (t + ) : normalized correlation g (1) ( ) = G(1) ( ) G(1) (0) G(2) ( ) |G(1) (0)|2
g (2) ( ) =
Optical Coherence Double slit interference I (r, t) G(1) (x1 , x1 ) + G(1) (x2 , x2 ) + 2Re G(1) (x1 , x2 ) Photon correlation measurements classical case Stationary elds Gaussian Fields Fluctuating elds quantum case mean value variance normalized correlation n= a a a a n)2 (n)2 = (n n)2 = ( a a a a (n)2 n g (2) (0) = = 1 + 2 n2 a a g (2) ( ) = 1 g (2) ( ) = 1 + |g (1) ( )|2 1 g (2) (0) g (2) ( )
normalized correlation for dierent states fock coherent thermal g (2) (0) = 1 g (2) (0) = 1 g (2) (0) = 2
1 n
78
exp T I (t, T ) ,
exp T I (T ) :
Pm (T ) =
n=m
Pn
n (T )m (1 (T ))nm m
mean number of counted (detected) photons m = (t)n Properties for dierent states Photon counting distribution fock coherent thermal Pm (T ) = Pm (T ) = Pm (T ) =
n0 m 1 (T ) n0 m m (T ) ((t)n)m (t)n e m! m (T )n 1 1+(T )n 1+(T )n
variance of detected photons fock coherent thermal (m)2 = n(T ) (1 (T )) (m)2 = m (m)2 = m2 + m
79
List of variables
ground state excited state with energy E coupling constant in the photo-detector positive frequency part of the EM eld negative frequency part of the EM eld amplitude of the ground state amplitude of the exited state Ionization rate / counting rate correlation function of 1-st order (two points) correlation function of 2-nd order (four points) normalized correlation variance of the photon number Intensity detector eciency probability of n clicks probability of detecting one photon in [t, t + T ] quantum eciency photon number distribution photon counting distribution number of detected photons mean number of detected photons variance of the detected photons
80
APPENDIX
A(t)
time t
If we shift the data by a time and multiply the values of the new plot to the original one we get a big value if the curves have both high and low values at the same place. The operation of multiplying two curves together and integrate them over the xaxis is called an overlap integral The overlap integral is also called the Correlation function
A(t)
G(2) ( ) = A(t)A(t + )
(A.1)
detector
time t
The correlation is not a function of time, it is a function of the shift in time or the correlation time .
81
82
Index
A atomic eld operators, 41 atomic Hamiltonian, 39 atomic operators, 42 B Baker-Haussdorf formula, 21 C Casimir eect, 12 coherent state, 21 correlation function, 64 Coulomb gauge, 7 coupling constant, 43 D detuning, 50 Dipole approximation, 44 dipole matrix element, 44 dipole moment, 56 displacement operator, 20 E electromagnetic eld Hamiltonian, 39 F Fermis Golden Rule, 63 Fock state, 19 G gauge invariance, 7 I interaction Hamiltonian, 40 J Jaynes Cummings model, 48
L Lamb shift, 55 M multiindex, 8 N natural linewidth, 55 normalized correlation, 68 Number operator, 48 number operator, 12, 42 number state, 19 O optical coherence, 67 overcomplete, 24 P Pauli matrices, 47 phase probability distribution, 31 photo-detector, 61 photon antibunching, 71 photon bunching, 70 photon correlation, 68 Poisson distribution, 24 polarisation, 9 Q quadrature operators, 13, 25 quantum Rabi frequency, 52 R Rotating wave approximation, 46 S shot noise, 73
83
84
Index
Spontaneous emission, 55 spontaneous emission, 54 squeeze operator, 25 state overlap, 23 subPossonian, 27 superPoissonian, 27 W wave equation, 7 Weisskopf Formula, 56 Z zeropoint uctuations, 6
Bibliography
[Bay69] [BW64]
Gordon Baym. Lectures on Quantum Mechanics. Perseus Books, 1969. M. Born and E. Wolf. Principles of Optics. Pergamon Press, New York, 1964.
[CCT99] Franck Lalo Claude Cohen-Tannoudji, Bernard Diu. Quantenmechanik. Gruyter, 1999. [GP] [Hak89] [LDL90] [LM95] [Lou73] [Lui73] [Mes91] [PM99] C. Galindo and P. Pascual. Quantum Mechanics. SpringerVerlag, Heidelberg. Hermann Haken. Licht und Materie. Spektrum Akademischer Verlag, 1989. Evgen M. Lifschitz Lev D. Landau. Quantenmechanik. AkademieVerlag, Berlin, 1990. Emil Wolf Leonard Mandel. Optical Coherence and Quantum Optics. Cambridge University Press, 1995. R. Loudon. Quantum Theory of Light. Oxford University Press, Oxford, 1973. W. H. Luisell. Quantum Statistical Properties of Radiation. Wiley, New York, 1973. A. Messiah. Quantemmechanik. de Gruyter Verlag, Berlin, 1991. Murray Sargent III Pierre Meystre. Elements of Quantum Optics. Springer, Berlin, 3 edition, 1999.
[PWM89] Joseph H. Eberly Peter W. Milonni. Lasers. Wiley-Interscience, 1989. [Sch90] [She84] [Sie86] F. Schwabl. Quantenmechanik. Springer-Verlag, Heidelberg, 1990. A. E. Shen. The Principles of Nonlinear Optics. Wiley-Interscience, New York, 1984. A. E. Siegman. Lasers. University Science Books, 1986.
85
86
Bibliography
W. Vogel and D-G. Welsch. Lectures on Quantum Optics. Akademieverlag, Berlin, 1994. D. F. Walls and G. J. Milburn. Quantum Optics. Springer-Verlag, Berlin, 1995. Ammon Yariv. Quantum Electronics. John Wiley & Sons, 3 edition, 1989.