. 26
( 27)


for the Fourier transforms of the susceptibilities, but there is a di¬erent”
and frequently used”convention in which χij1 j2 ···jn (ν1 , ν2 , . . . , νn ) is replaced by
χij1 j2 ···jn (’ν0 , ν1 , ν2 , . . . , νn ), with the understanding that the sum of the frequency
arguments is zero (Boyd, 1992, Sec. 1.5). This is an example of the notational schisms
that are common in this ¬eld. The nth-order frequency-domain susceptibility tensor
is symmetrical under simultaneous permutations of νp and jp , and the reality of the
time-domain susceptibility imposes the conditions
(n)— (n)
χij1 j2 ···jn (ν1 , . . . , νn ) = χij1 j2 ···jn (’ν1 , . . . , ’νn ) (B.157)

in the frequency domain. For the transparent media normally considered, the Fourier
transform χij1 j2 ···jn (ν1 , . . . , νn ) is also real, and eqn (B.157) becomes
(n) (n)
χij1 j2 ···jn (ν1 , . . . , νn ) = χij1 j2 ···jn (’ν1 , . . . , ’νn ) . (B.158)

The properties listed above give no information regarding what happens if the ¬rst
index i is interchanged with one of the jp s. For transparent media, the explicit quan-
tum perturbation calculation of the susceptibilities provides the additional symmetry
condition (Boyd, 1992, Sec. 3.2)
(n) (n)
ν1 , . . . , ’
χij1 ···jp ···jn (ν1 , . . . , νp , . . . , νn ) = χjp j1 j2 ···i···jn νk , . . . , νn . (B.159)
Appendix C
Quantum theory

Modern quantum theory originated with the independent inventions of matrix mechan-
ics by Heisenberg and wave mechanics by Schr¨dinger. It was essentially completed
by Schr¨dinger™s proof that the two formulations are equivalent and Born™s interpre-
tation of the wave function as a probability amplitude. The intuitive appeal of wave
mechanics, at least for situations involving a single particle, explains its universal use
in introductory courses on quantum theory. This approach does, however, have certain
disadvantages. One is that the intuitive simplicity of wave mechanics is largely lost
when it is applied to many-particle systems. For our purposes, a more serious objection
is that there are no wave functions for photons.
A more satisfactory approach is based on the fact that interference phenomena
are observed for all microscopic systems. For example, the two-slit experiment can
be performed with material particles to observe interference fringes. A comparison to
macroscopic wave phenomena suggests that the mathematical description of the states
of a system should satisfy the superposition principle, i.e. every linear combination
of states is also a state. In mathematical terms this means that the states are elements
of a vector space, and the Born interpretation”to be explained below”requires the
vector space to be a Hilbert space.

C.1 Dirac™s bra and ket notation
In Appendix A.3 Hilbert spaces are described with the standard notation used in
mathematics and in many textbooks on quantum theory. In the main text, we employ
an alternative notation introduced by Dirac (1958), in which a vector in a Hilbert space
H is represented by the symbol |ψ . In this notation | · represents a generic ket vector
and ψ is a label that distinguishes one vector from another. Linear combinations of
two kets, |ψ and |φ , are written as ± |ψ + β |φ , and scalars, like ± and β, are called
In the Dirac notation, a bra vector F | represents a rule that assigns a complex
number, denoted by F |ψ , to every ket vector |ψ . This rule is linear, i.e. if |ψ =
± |χ + β |φ , then
F |ψ = ± F |χ + β F |φ . (C.1)
The Hilbert-space inner product (φ, ψ) is an example of such a rule, so for each ket
vector |φ there is a corresponding bra vector φ| (called the adjoint vector) de¬ned
φ |ψ = (φ, ψ) for all ψ . (C.2)
With this understanding, we will use • |ψ from now on to denote the inner product.
Dirac™s bra and ket notation

The linearity of the rule (C.1) guarantees that the set of bra vectors is in fact a
vector space. The o¬cial jargon”explained in Appendix A.6.1”is that the bra vectors
form the dual space H of linear functionals on H. The de¬nition (C.2) of the adjoint
vectors shows that the Hilbert space H of physical states is isomorphic to a subspace
of H .
The Hilbert spaces relevant for quantum theory are always separable; that is, every
ket |ψ can be expanded as

|ψ = |φn φn |ψ , (C.3)

where {|φn , n = 1, 2, . . .} is an orthonormal basis for H.

C.1.1 Examples
A Two-level system
The states of a two-level system, e.g. a spin-1/2 particle, are usually represented by
two-component column vectors that refer to a given basis, e.g. eigenstates of σz . The
relation between this concrete description and the Dirac notation is

ψ1 — —
• |ψ = (•, ψ) = •— ψ1 + •— ψ2 .
|ψ ∼ ψ| ∼ (ψ1 , ψ2 ) ,
, (C.4)
1 2

The symbol ˜∼™ is used instead of ˜=™ because the values of the components ψ1 and
ψ2 depend on the particular choice of basis in the concrete space C2 . A di¬erent basis
choice would represent the same ket vector |ψ by a di¬erent pair of components ψ1 ,
ψ2 . An example of an orthonormal basis is

1 0
B= |1 ∼ , |2 ∼ , (C.5)
0 1

so the components are given by ψ1 = 1 |ψ and ψ2 = 2 |ψ , and

|ψ = ψ1 |1 + ψ2 |2 . (C.6)

This relation is invariant under a change of basis in C2 , since the vectors |1 and |2
would also be transformed. Every bra vector (linear functional) on C2 is de¬ned by
taking the inner product with some ¬xed vector in C2 , so the space of bra vectors
(the dual space) is isomorphic to the space itself, i.e. H = H. This is true for any
¬nite-dimensional Hilbert space.

B Spinless particle in three dimensions
As a second example, consider the familiar description of a spinless particle by a
square-integrable wave function ψ(r). The square-integrability condition is

d3 r |ψ (r)|2 < ∞ , (C.7)
¾ Quantum theory

and the set of square-integrable functions is called L2 R3 . The relation between the
abstract and concrete descriptions is

ψ| ∼ ψ — (r) , d3 r•— (r) ψ (r) ,
|ψ ∼ ψ (r) , • |ψ = (C.8)

where the vector operations are de¬ned point-wise:

± |ψ + β |• ∼ ±ψ (r) + β• (r) . (C.9)

For in¬nite-dimensional Hilbert spaces, such as H = L2 R3 , there are bra vectors
that are not adjoints of any vector in the space. In other words, the dual space H is
larger than the space H. For example, the delta function δ (r ’ r0 ) is not the adjoint
of any vector in L2 R3 , but it does de¬ne a bra vector r0 | by

r0 |ψ = d3 rδ (r ’ r0 ) ψ (r) = ψ (r0 ) . (C.10)

This establishes the relation ψ (r) = r |ψ between the concrete and abstract descrip-
Although the bra vector r0 | is not the adjoint of any proper ket vector (nor-
malizable wave function) in L2 R3 , it is common practice to de¬ne an improper
ket vector |r0 by the rule ψ |r0 = ψ — (r0 ) for all ψ ∈ H. The position opera-
tor r is de¬ned by rψ (r) = rψ (r), and |r0 is an improper eigenvector of r”i.e.
r |r0 = r0 |r0 ”by virtue of

= r0 ψ — (r0 ) = r0 ψ |r0 .
ψ |r| r0 = r0 |r| ψ (C.11)

In the same way, there is no proper eigenvector of the momentum operator p, but
there is an improper eigenvector |p0 , i.e. p |p0 = p0 |p0 , associated with the bra
vector p0 | de¬ned by
d3 re’ip0 ·r/ ψ (r) .
p0 |ψ = (C.12)

C.1.2 Linear operators
The action of a linear operator A is denoted by A |ψ , and the complex number
ψ |A| • is the matrix element of the operator A for the pair of vectors |ψ and
|• . The operator A is uniquely determined by any of the sets of matrix elements

{ φn |A| φm } for all |φn , |φm in a basis B , (C.13)
{ ψ |A| • } for all |ψ , |• in H , (C.14)
{ ψ |A| ψ } for all |ψ in H . (C.15)

The operator T•χ , de¬ned by the rule

T•χ |ψ = |• χ |ψ for all |ψ , (C.16)

is usually written as |• χ|. The product of two such operators therefore acts by
Physical interpretation

T•χ Tβξ |ψ = T•χ |β ξ |ψ = |• χ |β ξ |ψ . (C.17)

This holds for all states |ψ , so the product rule is

T•χ Tβξ = χ |β T•ξ . (C.18)

The operator T•• = |• •| is therefore a projection operator, provided that |• is
Let {|φn } be an orthonormal basis for a subspace W ‚ H; then the projection
operators Pn = |φn φn | are orthogonal, i.e. Pn Pm = δnm . Every vector |ψ in W has
the unique expansion

|ψ = |φn φn |ψ = Pn |ψ , (C.19)
n n

so the operator
|φn φn |
PW = Pn = (C.20)
n n

acts as the identity for vectors in W. On the other hand, every vector |χ in the
orthogonal complement W⊥ is annihilated by PW , i.e. PW |χ = 0, so PW is the
projection operator onto W. When W = H the projection PH is the identity operator
and we get
|φn φn | = I , (C.21)

which is called the completeness relation, or a resolution of the identity into
the projection operators Pn = |φn φn | .
If B = {|•1 , |•2 , . . .} is an orthonormal basis, then the trace of A is de¬ned by

φn |A| φn .
Tr (A) = (C.22)

The value of Tr (A) is the same for all choices of orthonormal basis, and

Tr (AB) = Tr (BA) . (C.23)

The last property is called cyclic invariance, since it implies

Tr (A1 A2 · · · An ) = Tr (An A1 A2 · · · An’1 ) . (C.24)

C.2 Physical interpretation
The mathematical formalism is connected to experiment by the following assump-
(1) The states of maximum information, called pure states, are vectors in a Hilbert
space H.
(2) Each observable quantity is represented by a Hermitian operator A, and the value
obtained in a measurement is always one of the eigenvalues an of A. Hermitian
operators are, therefore, often called observables.
Quantum theory

(3) If the system is prepared in the state |ψ , then the probability that a measurement
of A yields the value an is | φn |ψ |2 , where A |φn = an |φn . This is the Born
interpretation (Born, 1926). After the measurement is performed, the system is
described by the eigenvector |φn . This is the infamous reduction of the wave
(a) This description implicitly assumes that the eigenvalue an is nondegenerate. In
the more typical case of an eigenvalue with degeneracy d > 1, the probability
for ¬nding an is
| φnk |ψ |2 , (C.25)

where {|φnk , k = 1, . . . , d} is an orthonormal basis for the an -eigenspace. The
corresponding projection operator is
|φnk φnk | .
Pn = (C.26)

(b) Von Neumann™s projection postulate (von Neumann, 1955) states that
the probability of ¬nding an is
ψ |Pn | ψ = | φnk |ψ | , (C.27)

and”for ψ |Pn | ψ = 0”the ¬nal state after the measurement is
|ψ¬n = Pn |ψ . (C.28)
ψ |Pn | ψ
(c) An alternative way of dealing with degeneracies is to replace the single observ-
able A by a set of observables {A1 , A2 , . . . , AN } with the following properties.
(i) The operators are mutually commutative, i.e. [Ai , Aj ] = 0.
(ii) A vector |φ that is a simultaneous eigenvector of all the Ai s” i.e. Ai |φ =
ai |φ for i = 1, . . . , N ”is uniquely determined (up to an overall phase
A set {A1 , A2 , . . . , AN } with these properties is called a complete set of
commuting observables (CSCO). A simultaneous measurement of the ob-
servables in the CSCO leaves the system in a state that is unique except for
an overall phase factor.
(4) The average of many measurements of A performed on identical systems prepared
in the state |ψ is the expectation value ψ |A| ψ .
(5) There is a special Hermitian operator, the Hamiltonian H, which describes
the time evolution”often called time translation”of the system through the
Schr¨dinger equation

|ψ (t) = H (t) |ψ (t) .
i (C.29)
Useful results for operators

The explicit time dependence of the Hamiltonian can only occur in the presence
of external classical forces.

C.3 Useful results for operators
C.3.1 Pauli matrices
Consider linear operators on the space C2 . It is easy to see that every operator is
represented by a 2 — 2 matrix, so it is determined by four complex numbers. The
Pauli matrices, de¬ned by

0 ’i
01 1 0
σx = σ1 = , σy = σ2 = , σz = σ3 = , (C.30)
10 i0 0

are particularly important. They satisfy the commutation relations

[σi , σj ] = 2i ijk σk , (C.31)

where ijk is the alternating tensor de¬ned by eqn (A.3), and the anticommutation
[σi, σj ]+ = σi σj + σj σi = 2δij (i, j = x, y, z) , (C.32)
which combine to yield
σi σj = ijk σk + δij . (C.33)
It is often useful to use the so-called circular basis {σz , σ± = (σx ± iσy ) /2} with the
commutation relations

[σz , σ± ] = ±2σ± , [σ+ , σ’ ] = σz , (C.34)

and the anticommutation relations

[σ± , σ± ]+ = 0 , [σ± , σ“ ]+ = 1 , [σz , σ± ]+ = 0 . (C.35)

These fundamental relations yield the useful identities
σ+ σ’ = (1 + σz ) , (C.36)
σ’ σ+ = (1 ’ σz ) , (C.37)
σz σ± = ±σ± = ’σ± σz . (C.38)
The three Pauli matrices, together with the identity matrix, are linearly indepen-
dent and therefore constitute a complete set for the expansion of all 2 — 2 matrices.
Thus every 2 — 2 matrix A has the representation

A = a0 σ0 + ai σi , (C.39)

where σ0 is the identity matrix. These properties, together with the observation that
Tr (σi ) = 0, yield
Quantum theory

a0 = Tr (A) ,
2 (C.40)
aj = Tr (Aσj ) .
2 2
Writing ai σi = a · σ and using the properties given above yields (a · σ) = |a| , and
this in turn provides the useful identities (Cohen-Tannoudji et al., 1977b, Complement

ei±u·σ = cos (±) + i sin (±) u · σ , (C.41)
eβu·σ = cosh (β) + sinh (β) u · σ , (C.42)

where ± and β are real constants and u is a real unit vector.

C.3.2 The operator binomial theorem
For c-numbers x and y the binomial theorem is
xn’p y p ,
(x + y) = (C.43)
p! (n ’ p)!

but this depends on the fact that c-numbers commute. For noncommuting operators X
and Y the quantity (X + Y )n is to be evaluated by multiplying together the n factors
X + Y . Consider the terms of order (n ’ p, p) in this expansion, i.e. those in which X
occurs n ’ p times and Y occurs p times. Since each of these terms is the product of n
factors, there are a total of n! orderings. The orderings that di¬er only by exchanging
Xs with Xs or Y s with Y s are identical, and the number of these terms is precisely
the binomial coe¬cient n!/p! (n ’ p)!; therefore,
S X n’m Y m ,
(X + Y ) = (C.44)
p! (n ’ p)!

where S [X n’m Y m ] is the average of the terms with (n ’ m) Xs and m Y s arranged
in all possible orders. This is called the symmetrical or Weyl product.
For (n, 0) or (0, n) one has simply S [X n ] = X n or S [Y n ] = Y n . Examples of
mixed powers are

S [XY ] = (XY + Y X) ,
S X 2Y = X 2 Y + XY X + Y X 2 ,
S X 2Y 2 = X 2 Y 2 + XY 2 X + XY XY + Y 2 X 2 + Y X 2 Y + Y XY X ,
. (C.45)
Useful results for operators

C.3.3 Commutator identities
The Leibnitz rule
[A, BC] = A [B, C] + [A, B] C (C.46)
and the Jacobi identity

[[A, B] , C] + [[C, A] , B] + [[B, C] , A] = 0 (C.47)

are both readily veri¬ed by direct use of the de¬nition [A, B] = AB ’ BA. The useful
identity ⎛ ⎞ ⎛ ⎞
n n
⎝ Bj ⎠ [A, Bp ] ⎝ Bk ⎠
[A, B1 B2 · · · Bn ] = (C.48)
p=1 j=1 k=p+1

can be established by an induction argument, combined with the convention that an
empty product has the value unity. In the special case that each single commutator
[A, Bp ] commutes with the remaining Bj s, this becomes
⎛ ⎞
n n
[A, Bp ] ⎝ Bj ⎠ .
[A, B1 B2 · · · Bn ] = (C.49)
p=1 j=p=1

C.3.4 Operator expansion theorems
Theorem C.1 Let X and Y be operators acting on a Hilbert space H. Then

’κX (n)
e Ye = [X, Y ] , (C.50)

(n) (0)
where the iterated commutator [X, Y ] is de¬ned by the initial value [X, Y ] =Y
and the recursion relations
(n+1) (n)
[X, Y ] = X, [X, Y ] for n 0. (C.51)

Proof Let Y (κ) ≡ eκX Y e’κX ; then dY (κ) /dκ = [X, Y (κ)]. Iterating this result
dn+1 Y (κ) dn Y (κ)
= X, , (C.52)
dκn+1 dκn
and eqn (C.50) follows by a Taylor series expansion around κ = 0.
In the special case that the commutator [X, Y ] commutes with X, the series ter-
minates so that
eκX Y e’κX = Y + κ [X, Y ] , (C.53)
i.e. X generates translations of Y . An important example is a canonically conjugate
pair: X = p, Y = q, with [q, p] = i . Choosing κ = iu/ , where u is a c-number, gives
the familiar quantum mechanics result
Quantum theory

Tu qTu = q + u , (C.54)

where the unitary operator
Tu = e’iup/ (C.55)
evidently generates translations in the position. For any well-behaved operator function
F (q), e.g. one that has a Taylor series expansion, the last result generalizes to

Tu F (q) Tu = F (q + u) . (C.56)

For in¬nitesimal values of u, expanding both sides leads to

‚F (q)
[p, F (q)] = ’i . (C.57)

To see the action of Tu on a state vector, rewrite eqn (C.54) as qTu = Tu (q + u) and
apply this to an eigenvector |Q of q to get

qTu |Q = Tu (q + u) |Q = Tu (Q + u) |Q = (Q + u) Tu |Q ; (C.58)

in other words,
Tu |Q = |Q + u . (C.59)
Thus for any state |Ψ ,
Q |Tu | Ψ = Q + u |Ψ , (C.60)
or in more familiar notation

(Tu Ψ) (Q) = Ψ (Q + u) . (C.61)

It is also useful to consider the opposite assignment X = q, Y = p, κ = ’iv/ , which
e’ivq/ qeivq/ = p + v , (C.62)
and shows that the position operator generates translations in the momentum.
Another important special case is [X, Y ] = ±Y , where ± is a c-number. Putting
this into the de¬nition (C.51) gives

[X, Y ](n) = ±n Y , (C.63)

so that eqn (C.50) becomes
eκX Y e’κX = e±κ Y . (C.64)
As an example, let X = a† a, Y = a, and κ = iθ, where a is the lowering operator for a
harmonic oscillator. The commutation relation a, a† = 1 yields [X, Y ] = a† a, a =
’a, so
† †
eiθa a ae’iθa = e’iθ a .
Useful results for operators

C.3.5 Campbell“Baker“Hausdor¬ theorem
Theorem C.2 Let X and Y be operators such that [X, Y ] commutes with both X and
Y . Then
eX eY = eX+Y e 2 [X,Y ] . (C.66)

Proof See Peres (1995, Sec. 10-7).
Two important special cases are needed in the text. The ¬rst is de¬ned by setting
X = ’ivq, Y = ’iup, which leads to

e’i(up+vq) = ei uv/2 ’ivq ’iup
e e . (C.67)

Interchanging the de¬nitions of X and Y produces

e’i(up+vq) = e’i uv/2 ’iup ’ivq
e e . (C.68)

The second example is X = κa† , Y = ’κ— a, which gives

’κ— a /2 κa† ’κ— a
= e’|κ|
eκa e e . (C.69)

Interchanging X and Y yields the alternative identity

’κ— a /2 ’κ— a κa†
= e|κ|
eκa e e . (C.70)

C.3.6 Functions of operators
Let X be a Hermitian operator and f (u) be a real-valued function of the real variable
u. A vector |ψ is uniquely represented by the expansion

|ψ = |φn φn |ψ , (C.71)

where the |φn s are the basis of eigenvectors of X, i.e. X |φn = xn |φn . Then f (X)
is de¬ned by
f (X) |φn = f (xn ) |φn for all n , (C.72)
so that
f (X) |ψ = |φn f (xn ) φn |ψ . (C.73)

If the function f (u) has a Taylor series expansion around the value u = u0 ,

fn (u ’ u0 ) ,
f (u) = (C.74)

then an alternative de¬nition of f (X) is

fn (X ’ u0 )n .
f (X) = (C.75)
¼ Quantum theory

C.3.7 Generalized uncertainty relation
Choose a ¬xed vector |ψ and a pair of normal operators C and D, i.e. C, C † =
D, D† = 0. Use the shorthand notation C = ψ |C| ψ , D = ψ |D| ψ to de¬ne
the ¬‚uctuation operators δC = C’ C and δD = D’ D . Note that [C, D] = [δC, δD].
The expectation value of the commutator is

[C, D] = [δC, δD] = δCδD ’ δDδC ; (C.76)

| [C, D] | | δCδD | + | δDδC | . (C.77)
Next set ψ |δCδD| ψ = φ |χ , where |φ = δC † |ψ and |χ = δD |ψ . The Cauchy“
Schwarz inequality (A.9) yields

δCδC † δD† δD .
| φ |χ | φ |φ χ |χ = (C.78)

With the de¬nitions of the rms deviations

∆C 2 = δC † δC = δCδC † ,
∆D2 = δD† δD = δDδD† ,

we ¬nd
δCδC † δD† δD = ∆C ∆D .
| δCδD | = | φ |χ | (C.80)
Interchanging C and D gives

δDδD† δC † δC = ∆C ∆D ,
| δDδC | (C.81)

and putting everything together yields the generalized uncertainty relation
| [C, D] | (C.82)
∆C ∆D
for any pair of normal operators.

C.4 Canonical commutation relations
Hermitian operators Q and P that satisfy the canonical commutation relation
[Q, P ] = i are said to be canonically conjugate. Applying eqn (C.82) to this case
yields the canonical uncertainty relation

∆Q ∆P /2 . (C.83)

A state for which equality is attained, i.e.

∆Q ∆P = /2 , (C.84)

is called a minimum-uncertainty state or minimum-uncertainty wave packet.
Canonical commutation relations

The creation and annihilation operators de¬ned in Section 2.1.2 satisfy the alter-
native form
a M , a† = δMM , [aM , aM ] = 0 (C.85)

of the canonical commutation relations. We ¬rst show that these relations are preserved
by any unitary transformation. Let U be a unitary operator and de¬ne new operators

b M = U aM U † ; (C.86)

bM , b† = U aM U † , U a† U † = δMM ,
† †
[bM , bM ] = U aM U , U aM U = 0.
The converse statement is also true. If the operators bM satisfy

bM , b† = δMM , [bM , bM ] = 0 , (C.88)

then there is a unitary transformation U which relates the bM s and aM s by eqn (C.86).
The proof of this claim depends on the argument in Section 2.1.2-A showing that a
Hilbert space in which eqn (C.85) holds is spanned by the number states, which we
will now call |n; a , satisfying

a† aM |n; a = nM |n; a , n = (n1 , n2 , . . .) . (C.89)

This argument applies equally well to the bM s, so there is also a basis of states, |n; b ,
b† bM |n; b = nM |n; b . (C.90)

It is easy to check that the operator U , de¬ned by

|n; b n; a| ,
U= (C.91)

is unitary, and that

U aM U † = |m ; b m ; a |aM | m; a m; b|

|m ’ 1M ; b
= mM m; b| , (C.92)

where m ’ 1M signi¬es (m1 , m2 , . . . , mM ’ 1, . . .). Calculating the general matrix el-
ement of U aM U † in the |n; b basis yields

n; b U aM U † n ; b = δn,n ’1M nM = n; b |bM | n ; b ; (C.93)

therefore, this U satis¬es eqn (C.86).
¾ Quantum theory

C.5 Angular momentum in quantum mechanics
In classical mechanics, the angular momentum of a particle (relative to the origin of
coordinates) is r—p, where p is the momentum. In quantum mechanics (Bransden and
Joachain, 1989, Chap. 6) this becomes the operator L = r — (’i ∇), which satis¬es
the angular momentum commutation relations

[Li , Lj ] = i ijk Lk . (C.94)

Because of its relation to the classical angular momentum used to describe orbits, L
is called the orbital angular momentum. This operator is also related to spatial
rotations, r ’ r = R (n, ‘) r, where R (n, ‘) is a 3 — 3 orthogonal matrix (RT R =
RRT = 1), n is a unit vector de¬ning the axis of rotation, and ‘ is the angle of rotation
around the axis. For small ‘ one can show that

δrj = rj ’ rj = δri = ‘ ijk nj rk . (C.95)

By de¬nition, a vector V transforms like r under rotations.
A scalar wave function ψ (r) transforms according to ψ (r) = U (n, ‘) ψ (r), where
the unitary operator U (n, ‘) is given by
U (n, ‘) = exp ’ ‘n · L . (C.96)

Thus L is the generator of spatial rotations.
The corresponding transformation for an operator O is O = U (R) OU † (R). Ex-
panding to ¬rst order for small ‘ gives the in¬nitesimal transformation
δO = O ’ O = ‘ [O, n · L] . (C.97)

Combining eqn (C.95) with eqn (C.97) yields [Li , rj ] = i ijk rk ; therefore every vector
operator V satis¬es
[Li , Vj ] = i ijk Vk . (C.98)
The in¬nitesimal rotation formula for an operator which is a vector ¬eld, V = V (r),
contains additional terms due to the argument r:

[Li , Vj (r)] = i {(r — ∇)i Vj (r) + ijk Vk (r)} . (C.99)

Now let us suppose that L is an operator satisfying eqn (C.98) for any choice of V;
then choosing V = L yields eqn (C.94). Therefore any operator L satisfying eqn (C.98)
for all V is the generator of spatial rotations.
In quantum mechanics, there is another kind of angular momentum, called spin,
which has no classical analogue. Particles (or other systems) with spin are described
by n-tuples of wave functions (ψ1 (r) , . . . , ψn (r)). The basic example is the spin-1/2
particle discussed in Appendix C.1.1-A. In the general case, the Hilbert space is a
tensor product, H = Horbital — Hspin , where the orbital (spatial) and spin degrees of
freedom are represented by Horbital and Hspin respectively. Thus the spatial and spin
degrees of freedom are kinematically independent.
Minimal coupling

Since L acts only on the spatial arguments of the wave functions, i.e. on Horbital ,
it can be expressed in the form L = L — Ispin . The spin angular momentum,
S = Iorbital — S acts only on the internal degrees of freedom, and satis¬es the standard
commutation relations
[Si , Sj ] = i ijk Sk . (C.100)
Since L and S act on di¬erent parts of the product space H they must commute:

[Li , Sj ] = [Li — Ispin , Iorbital — Sj ] = [Li , Iorbital ] — [Ispin , Sj ] = 0 , (C.101)

and the total angular momentum J = L + S satis¬es

[Ji , Jj ] = i ijk Jk . (C.102)

This shows that J is the generator of both spatial and spin rotations. In particular,
vector operators will satisfy
[Ji , Vj ] = i ijk Vk . (C.103)
The decomposition of the total angular momentum into the sum of orbital and spin
parts is only possible when L and S commute, i.e. when the spatial and spin degrees
of freedom are kinematically independent.

C.6 Minimal coupling
In minimal coupling, the standard momentum operator ’i ∇ is replaced by

’i ∇ ’ ’i ∇ ’ qA , (C.104)

where A is the vector potential for an external, classical ¬eld. This notion is usually
presented as the simplest way to guarantee the gauge invariance of the quantum theory
for a charge interacting with an external electromagnetic ¬eld; but there is a simpler
explanation, which only involves classical electrodynamics and the correspondence
principle (Cohen-Tannoudji et al., 1977b, Appendix III.3).
The classical Lagrangian for a point particle with charge q interacting with the
classical ¬eld determined by the scalar potential ¦ and the vector potential A is
r ’ q¦ + q r · A .
™ ™
L= (C.105)
The canonical momentum p conjugate to r is de¬ned by
p= = m™ + qA ,
r (C.106)

so that the kinetic momentum m™ is

m™ = p ’ qA .
r (C.107)

The Hamiltonian is de¬ned as a function of r and p by

H (r, p) = p · r ’ L ,
™ (C.108)
Quantum theory

where eqn (C.107) is used to eliminate r in favor of r and p. This leads to

1 2
(p ’ qA) + q¦ .
H= (C.109)
The transition to quantum theory is now made by the correspondence-principle
replacement, p ’ p = ’i ∇. For transverse ¬elds (∇ · A = 0), the quantum Hamil-
tonian is
1 2
(p ’ qA (r)) + q¦
q 2 A (r)2
p2 q
’ A (r) · p +
= + q¦ . (C.110)
2m m 2m
For many applications the external ¬eld is weak, so the A (r) -term can be neglected
and the Hamiltonian becomes
p2 q
+ q¦ ’ A (r) · p .
H= (C.111)
2m m
In accord with the classical terminology,

p = ’i ∇ (C.112)

is called the canonical momentum operator, and

pkin = p ’ qA (r) (C.113)

is called the kinetic momentum operator. The velocity operator is v = dr/dt,
and the Heisenberg equation of motion for r (i dr/dt = [r, H]) yields

mv = pkin = p ’ qA (r) . (C.114)

Thus the kinetic momentum operator pkin approaches mvclass in the classical limit,
but the canonical momentum operator p is the generator of spatial translations.

Abram, I. and Grangier, P. (2003). Cr Phys., 4, 187.
Agranovich, V. M. and Ginzburg, V. L. (1984). Crystal optics with spatial dispersion.
Springer-Verlag, Berlin.
Altepeter, J. B., Je¬rey, E. R., and Kwiat, P. G. (2005). In Advances in atomic, mole-
cular and optical physics (ed. P. Berman and C. Lin), Volume 52, p. 105. Academic
Press, San Diego, CA.
Arecchi, F. T. (1965). Phys. Rev. Lett., 15, 912.
Ashburn, J. R., Cline, R. A., van der Burgt, P. J. M., Westerveld, W. B., and Risley,
J. S. (1990). Phys. Rev. A, 41, 2407.
Ashkin, A. (1980). Science, 210, 1081.
Aspect, A., Dalibard, J., and Roger, G. (1982). Phys. Rev. Lett., 49, 1804.
Aytur, O. and Kumar, P. (1990). Phys. Rev. Lett., 65, 1551.
Balcou, Ph. and Dutriaux, L. (1997). Phys. Rev. Lett., 78, 851.
Bargmann, V. (1964). J. Math. Phys., 5, 862.
Barnum, H., Caves, C. M., Fuchs, C. A., Jozsa, R., and Schumacher, B. (1996). Phys.
Rev. Lett., 76, 2818.
Beck, G. (1927). Z. Phys., 41, 443.
Belinfante, F. J. (1987). Am. J. Phys., 55, 134.
Bell, J. S. (1964). Physics, 1, 195.
Benio¬, P. (1982). Phys. Rev. Lett., 48, 1581.
Bennett, C. H. and Brassard, G. (1984). In International conference on computers,
systems, and signal processing, Bangalore, India, p. 175. IEEE, New York.
Bennett, C. H. and Brassard, G. (1985). IBM Tech. Disc. Bull., 28, 3153.
Bennett, C. H. and Wiesner, S. J. (1992). Phys. Rev. Lett., 69, 2881.
Bennett, C. H., Bessette, F., Brassard, G., Salvail, L., and Smolin, J. (1992). J.
Cryptology, 5, 3.
Bennett, C. H., Brassard, G., Crepeau, C., Jozsa, R., Peres, A., and Wootters, W. K.
(1993). Phys. Rev. Lett., 70, 1895.
Bennett, C. H., DiVincenzo, D. P., Smolin, J. A., and Wootters, W. K. (1996). Phys.
Rev. A, 54, 3824.
Berggren, K. K. (2004). Proc. IEEE , 92, 1630.

Beth, R. A. (1936). Phys. Rev., 50, 115.
Bethe, H. A. and Salpeter, E. E. (1977). Quantum mechanics of one- and two-electron
atoms. Plenum, New York.
Bjorken, J. D. and Drell, S. D. (1964). Relativistic quantum mechanics. International
series in pure and applied physics. McGraw-Hill, New York.
Bohm, D. (1951). Quantum theory. Prentice-Hall, New York.
Bohr, N. (1935). Phys. Rev., 48, 696.
Bohr, N. (1958). Atomic physics and human knowledge. Wiley, New York.
Bohr, N. and Rosenfeld, L. (1950). Phys. Rev., 78, 794.
Bohr, N., Kramers, H. A., and Slater, J. C. (1924). Philos. Mag., 47, 785.
Bolda, E., Chiao, R. Y., and Garrison, J. C. (1993). Phys. Rev. A, 48, 3890.
Bolda, E. L., Tan, S. M., and Walls, D. F. (1998). Phys. Rev. A, 57, 4686.
Born, M. (1926). Z. Phys., 37, 863.
Born, M. and Wolf, E. (1980). Principles of optics. Pergamon, New York.
Bothe, W. (1926). Z. Phys., 37, 547.
Bouwmeester, D., Pan, J. W., Mattle, K., Eibl, M., Weinfurter, H., and Zeilinger, A.
(1997). Nature, 390, 575.
Boyd, R. W. (1992). Nonlinear optics. Academic Press, Boston, MA.
Braginsky, V. B. and Khalili, F. Ya (1996). Rev. Mod. Phys., 68, 1.
Bransden, B. H. and Joachain, C. J. (1989). Quantum mechanics. Longman, Essex.
Breitenbach, G., Schiller, S., and Mlynek, J. (1997). Nature, 387, 471.
Bruckmeier, R., Hansen, H., Schiller, S., and Mlynek, J. (1997). Phys. Rev. Lett., 79,
Bub, J. (1997). Interpreting the quantum world. Cambridge University Press.
Burnham, D. C. and Weinberg, D. L. (1970). Phys. Rev. Lett., 25, 84.
Bussey, P. J. (1987). Phys. Lett. A, 123, 1.
Butcher, P. N. and Cotter, D. (1990). The elements of nonlinear optics. Cambridge
University Press.
B¨ ttiker, M. and Landauer, R. (1982). Phys. Rev. Lett., 49, 1739.
Buˇek, V. and Hillery, M. (1996). Phys. Rev. A, 54, 1844.
Calaprice, A. (2000). The expanded quotable Einstein. Princeton University Press.
Calsamiglia, J. and Lutkenhaus, N. (2001). Appl. Phys. B , 72, 67.
Caves, C. M. (1981). Phys. Rev. D, 23, 1693.
Caves, C. M. (1982). Phys. Rev. D, 26, 1817.
Chandler, D. (1987). Introduction to modern statistical mechanics. Oxford University

Chiao, R. Y. (1993). Phys. Rev. A, 48, R34.
Chiao, R. Y. and Garrison, J. C. (1999). Found. Phys., 29, 553.
Chiao, R. Y. and Steinberg, A. M. (1997). In Progress in optics (ed. E. Wolf),
Volume 37, p. 347. Elsevier, New York.
Chiao, R. Y., Deutsch, I. H., and Garrison, J. C. (1991). Phys. Rev. Lett., 67, 1399.
Chu, S. and Wong, S. (1982). Phys. Rev. Lett., 48, 738.
Chuang, I. L., Vandersypen, L. M. K., Zhou, X. L., Leung, D. W., and Lloyd, S.
(1998). Nature, 393, 143.
Clauser, J. F. (1972). Phys. Rev. A, 6, 49.
Clauser, J. F. (1974). Phys. Rev. D, 9, 853.
Clauser, J. F., Horne, M. A., Shimony, A., and Holt, R. A. (1969). Phys. Rev.
Lett., 23, 880.
Cohen-Tannoudji, C., Diu, B., and Lalo¨, F. (1977a). Quantum mechanics, Volume I.
Wiley, New York.
Cohen-Tannoudji, C., Diu, B., and Lalo¨, F. (1977b). Quantum mechanics, Volume II.
Wiley, New York.
Cohen-Tannoudji, C., Dupont-Roc, J., and Grynberg, G. (1989). Photons and atoms
(1st edn). Wiley, New York.
Cohen-Tannoudji, C., Dupont-Roc, J., and Grynberg, G. (1992). Atom“photon in-
teractions (1st edn). Wiley, New York.
Compton, A. H. (1923). Phys. Rev., 22, 409.
Cook, R. J. and Kimble, H. J. (1985). Phys. Rev. Lett., 54, 1023.
Crisp, M. D. and Jaynes, E. T. (1969). Phys. Rev., 179, 1253.
Dehmelt, H. G. (1982). IEEE Trans. Instrum. Meas., 31, 83.
Deutsch, D. and Jozsa, R. (1992). Proc. Roy. Soc. London Series A”Math., Phys.
and Eng. Sci., 439(1907), 553.
Deutsch, I. H. (1991). Am. J. Phys., 59, 834.
Deutsch, I. H. and Garrison, J. C. (1991a). Phys. Rev. A, 43, 2498.
Deutsch, I. H. and Garrison, J. C. (1991b). Opt. Commun., 86, 311.
Deutsch, I. H., Garrison, J. C., and Wright, E. M. (1991). J. Opt. Soc. Am. B , 8,
Deutsch, I. H., Chiao, R. Y., and Garrison, J. C. (1992). Phys. Rev. Lett., 69, 3627.
Dicke, R. H. (1981). Am. J. Phys., 49, 925.
Dieks, D. (1982). Phys. Lett. A, 92, 271.
Dirac, P. A. M. (1958). Quantum mechanics (4th edn). Clarendon Press, Oxford.

Drummond, P. D. (1990). Phys. Rev. A, 42, 6845.
Dunn, T. J., Walmsley, I. A., and Mukamel, S. (1995). Phys. Rev. Lett., 74, 884.
Dunoyer, L. (1912). Le Radium, 9, 177, 209.
Eberhard, P. H. (1993). Phys. Rev. A, 47, R747.
Eckert, K., Schliemann, J., Bruss, D., and Lewenstein, M. (2002). Ann. Phys., 299,
Einstein, A. (1971). The Born“Einstein letters. Walker, New York.
Einstein, A. (1987a). In The collected papers of Albert Einstein (ed. J. Stachel, D. C.
Cassidy, J. Renn, and R. Schulmann), p. 86. Princeton University Press. Original
reference: Ann. Phys. (Leipzig), 17, 132 (1905).
Einstein, A. (1987b). In The collected papers of Albert Einstein (ed. J. Stachel, D. C.
Cassidy, J. Renn, and R. Schulmann), p. 212. Princeton University Press. Original
publication: Deutsch. Physik. Ges., 18, 318 (1916).
Einstein, A. (1987c). In The collected papers of Albert Einstein (ed. J. Stachel, D. C.
Cassidy, J. Renn, and R. Schulmann), p. 220. Princeton University Press. Original
reference: Physik. Ges., 16, 47 (1916).
Einstein, A., Podolsky, B., and Rosen, N. (1935). Phys. Rev., 47, 777.
Elitzur, A. C. and Vaidman, L. (1993). Found. Phys., 23, 987.
Fan, H. (2006). In Quantum computation and information: from theory to experiment
(ed. H. Imai and M. Hayashi), Topics in applied physics, Volume 102, p. 63. Springer,
Feller, W. (1957a). An introduction to probability theory and its applications, Volume
1. Wiley publications in statistics. Wiley, New York.
Feller, W. (1957b). An introduction to probability theory and its applications, Volume
2. Wiley publications in statistics. Wiley, New York.
Feynman, R. P. (1972). Statistical mechanics: a set of lectures. Benjamin/Cummings,
Reading, MA.
Feynman, R. P. (1982). Int. J. Theor. Phys., 21, 467.
Feynman, R. P., Vernon, F. L., Jr, and Hellwarth, R. W. (1957). J. Appl. Phys., 28,
Feynman, R. P., Leighton, R. B., and Sands, M. (1965). The Feynman lectures on
physics, Volume III: quantum mechanics. Addison-Wesley, Reading, MA.
Franson, J. D. (1989). Phys. Rev. Lett., 62, 2205.
Freedman, S. J. and Clauser, J. F. (1972). Phys. Rev. Lett., 28, 938.
Friese, M. E. J., Nieminen, T. A., Heckenberg, N. R., and Rubinsztein-Dunlop, H.
(1998). Opt. Lett., 23, 1.
Gallis, M. R. (1996). Phys. Rev. A, 53, 655.
Gardiner, C. W. (1985). Handbook of stochastic methods (2nd edn). Springer series

in synergetics, Volume 13. Springer-Verlag, Berlin.
Gardiner, C. W. (1991). Quantum noise (2nd edn). Springer series in synergetics,
Volume 56. Springer-Verlag, Berlin.
Garrett, C. G. B. and McCumber, D. E. (1969). Phys. Rev. A, 1, 305.
Garrison, J. C. and Chiao, R. Y. (2004). Phys. Rev. A, 70, 053826.
Ghirardi, G. C. and Weber, T. (1983). Nuovo Cim. B , 78, 9.
Ginzburg, V. L. (1970). The propagation of electromagnetic waves in plasmas. Perg-
amon, New York.
Ginzburg, V. L. (1989). Applications of electrodynamics in theoretical physics and
astrophysics (2nd edn). Gordon and Breach, New York.
Gisin, N. and Percival, I. C. (1992). J. Phys. A, 25, 5677.
Gisin, N., Ribordy, G. G., Tittel, W., and Zbinden, H. (2002). Rev. Mod. Phys., 74,
Glauber, R. J. (1963). Phys. Rev., 131, 2766.
Gordon, J. P., Zeiger, H., and Townes, C. H. (1954). Phys. Rev., 95, 282L.
Gottesman, D. and Chuang, I. L. (1999). Nature, 402, 390.
Grangier, P., Roger, G., and Aspect, A. (1986). Europhys. Lett., 1, 173.
Grangier, P., Levenson, J. A., and Poizat, J. P. (1998). Nature, 396, 537.
Greiner, W. and Reinhardt, J. (1994). Quantum electrodynamics. Springer-Verlag,
Grover, L. K. (1997). Phys. Rev. Lett., 79, 325.
Gruner, T. and Welsch, D.-G. (1996). Phys. Rev. A, 53, 1818.
Haken, H. (1984). Laser theory. Springer-Verlag, Berlin.
Hale, D. D. S., Bester, M., Danchi, W. C., Fitelson, W., Hoss, S., Lipman, E. A.,
Monnier, J. D., Tuthill, P. G., and Townes, C. H. (2000). Ap. J., 537, 998.
Halliday, D., Resnik, R., and Walker, J. (1993). Fundamentals of physics (4th edn).
Wiley, New York.
Hamermesh, M. (1962). Group theory and its application to physical problems. Dover,
New York.
Hanbury Brown, R. (1974). The intensity interferometry. Taylor and Frances, Lon-
Hanbury Brown, R. and Twiss, R. Q. (1956). Nature (London), 178, 1046.
Hanbury Brown, R. and Twiss, R. Q. (1957). Proc. Roy. Soc. London, A243, 291.
Harris, S. E., Oshman, M. K., and Byer, R. L. (1967). Phys. Rev. Lett., 18, 732.
Hartig, W., Rasmussen, W., Schieder, R., and Walther, H. (1976). Z. Phys., 278,
Haug, H. and Koch, S. W. (1990). Quantum theory of the optical and electronic
¼¼ References

properties of semiconductors. World Scienti¬c, Singapore.
Haus, H. A. and Mullen, J. A. (1962). Phys. Rev., 128, 2407.
Hawton, M. and Baylis, W. E. (2001). Phys. Rev. A, 64, 012101.
Hayes, A. J. F., Gilchrist, A., Myers, C. R., and Ralph, T. C. (2004). J. Opt. B , 6,
He, H., Friese, M. E. J., Heckenberg, N. R., and Rubinsztein-Dunlop, H. (1995). Phys.
Rev. Lett., 75, 826.
Hecht, E. (2002). Optics (4th edn). Addison-Wesley, San Francisco, CA.
Helszajn, J. (1998). Waveguide junction circulators. Wiley, Chichester.
Henley, E. W. and Thirring, W. (1964). Elementary quantum ¬eld theory. McGraw-
Hill, New York.
Herbert, N. (1982). Found. Phys., 12, 1171.
Hofmann, H. F. and Takeuchi, S. (2002). Phys. Rev. A, 66, 024308.
Hong, C. K. and Mandel, L. (1986). Phys. Rev. Lett., 56, 58.
Hong, C. K., Ou, Z. Y., and Mandel, L. (1987). Phys. Rev. Lett., 59, 2044.
Huang, K. (1963). Statistical mechanics. Wiley, New York.
Hulet, R. G. and Kleppner, D. (1983). Phys. Rev. Lett., 51, 1430.
Hulet, R. G., Hilfer, E. S., and Kleppner, D. (1985). Phys. Rev. Lett., 55, 2137.
Huttner, B. and Barnett, S. M. (1992). Phys. Rev. A, 46, 4306.
Jackson, J. D. (1999). Classical electrodynamics (3rd edn). Wiley, New York.
Ja¬e, R. L. (2005). Phys. Rev. D, 72, 021301.
Jarrett, J. (1984). Nous, 18, 569.
Jones, R. V. and Leslie, B. (1978). Proc. Phys. Soc. London, A 360, 347.
Kafatos, M. (ed.) (1989). Bell™s theorem, quantum theory and conceptions of the
universe. Kluwer, Dordrecht.
Kane, B. E. (1998). Nature, 393, 133.
Kerns, D. M. and Beatty, R. W. (1967). Basic theory of waveguide junctions and
introductory microwave network analysis (1st edn). Pergamon, New York.
Kiesel, N., Schmid, C., Weber, U., Toth, G., Guhne, O., Ursin, R., and Weinfurter,
H. (2005). Phys. Rev. Lett., 95, 210502.
Kim, J., Yamamoto, Y., and Hogue, H. H. (1997). Appl. Phys. Lett., 70, 2852.
Kim, Y. H., Kulik, S. P., and Shih, Y. (2001). Phys. Rev. Lett., 86, 1370.
Kimble, H. J. (1992). In Fundamental systems in quantum optics (ed. J. Dalibard,
J. M. Raimond, and J. Zinn-Justin), Chapter 10. North-Holland, Amsterdam.
Kittel, C. (1985). Introduction to solid state physics (7th edn). Wiley, New York.
Klauder, J. R. and Sudarshan, E. C. G. (1968). Fundamentals of quantum optics.

Benjamin, New York.
Klein, O. and Nishina, Y. (1929). Z. Phys., 52, 853.
Knill, E. and La¬‚amme, R. (1997). Phys. Rev. A, 55, 900.
Knill, E., Chuang, I., and La¬‚amme, R. (1998). Phys. Rev. A, 57, 3348.
Knill, E., La¬‚amme, R., and Milburn, G. J. (2001). Nature, 409, 46.
Kocher, C. A. and Commins, E. D. (1967). Phys. Rev. Lett., 18, 575.
Kraus, J. D. (1986). Radio astronomy. McGraw-Hill, New York.
Kwiat, P. G. and Weinfurter, H. (1998). Phys. Rev. A, 58, R2623.
Kwiat, P. G., Steinberg, A. M., and Chiao, R. Y. (1993). Phys. Rev. A, 47, R2472.
Kwiat, P. G., Steinberg, A. M., Eberhard, P. H., and Chiao, R. Y. (1994). Phys. Rev.
A, 49, 3209.
Kwiat, P. G., Weinfurter, H., Herzog, T., Zeilinger, A., and Kasevich, A. (1995a).
Phys. Rev. Lett., 74, 4763.
Kwiat, P. G., Mattle, K., Weinfurter, H., Zeilinger, A., Sergienko, A. V., and Shih,
Y. H. (1995b). Phys. Rev. Lett., 75, 4337.
Kwiat, P. G., Weinfurter, H., and Zeilinger, A. (1996). Sci. Am., 75, 72.
Kwiat, P. G., White, A. G., Mitchell, J. R., Nairz, O., Weihs, G., Weinfurter, H., and
Zeilinger, A. (1999a). Phys. Rev. Lett., 83, 4725.
Kwiat, P. G., Waks, E., White, A. G., Appelbaum, I., and Eberhard, P. H. (1999b).
Phys. Rev. A, 60, R773.
Lamas-Linares, A., Simon, C., Howell, J. C., and Bouwmeester, D. (2002). Sci-
ence, 296, 712.
Lamb, W. E., Jr (1995). Appl. Phys. B , 60, 77.
Lamb, W. E., Jr and Scully, M. O. (1969). In Polarization, matiere et rayonment,
volume jubilaire en l™honneur d™Alfred Kastler (ed. French Physical Society), p. 363.
Presses Universitaires de France, Paris.
Lamoreaux, S. K. (1997). Phys. Rev. Lett., 78, 5.
Landau, L. D., Lifshitz, E. M., and Pitaevskii, L. P. (1984). Electrodynamics of
continuous media (2nd edn). Landau and Lifschitz course of theoretical physics,
Volume 8. Elsevier Butterworth-Heinemann, Oxford.
LaViolette, R. A. and Stapelbroek, M. G. (1989). J. Appl. Phys., 65, 830.
Lax, M. (1963). Phys. Rev., 129, 2342.
Lax, M., Lousell, W. H., and McKnight, W. B. (1974). Phys. Rev. A, 11, 1365.
Leinaas, J. M. and Myrheim, J. (1977). Nuovo Cim. B , 37, 1.
Lighthill, M. J. (1964). Introduction to Fourier analysis and generalized functions.
Cambridge monographs on mechanics and applied mathematics. Cambridge Univer-
sity Press.
¼¾ References

Lindblad, G. (1976). Commun. Math. Phys., 48, 119.
Loss, D. and DiVincenzo, D. P. (1998). Phys. Rev. A, 57, 120.
Loudon, R. (2000). The quantum theory of light (3rd edn). Clarendon Press, Oxford.
Mac Lane, S. and Birkho¬, G. (1967). Algebra. Macmillan, New York.
Magde, D. and Mahr, H. (1967). Phys. Rev. Lett., 18, 905.
Maker, P. D., Terhune, R. W., and Savage, C. M. (1963). In Proceedings of the third
conference on quantum electronics (ed. P. Grivet and N. Bloembergen), Paris, p.
1559. Columbia University Press, New York (1964).
Mandel, L. (1966). Phys. Rev., 144, 1071.
Mandel, L. and Wolf, E. (1995). Optical coherence and quantum optics. Cambridge
University Press.
Mandel, L., Sudarshan, E. C. G., and Wolf, E. (1964). Proc. Phys. Soc. London, 84,
Mandel, O., Greiner, M., Widera, A., Rom, T., Hansch, T. W., and Bloch, I. (2003).
Nature, 425, 937.
Marion, J. B. and Thornton, S. T. (1995). Classical dynamics of particles and systems.
Saunders College Publ., Fort Worth, TX.
Matloob, R., Louden, R., Barnett, S. M., and Je¬ers, J. (1995). Phys. Rev. A, 52,
Mattle, K., Weinfurter, H., Kwiat, P. G., and Zeilinger, A. (1996). Phys. Rev.
Lett., 76, 4656.
Meltzer, D. and Mandel, L. (1971). Phys. Rev. A, 3, 1763.
Meystre, P. and Sargent, M. (1990). Elements of quantum optics (1st edn). Springer-
Verlag, New York.
Migdall, A. L. (2001). IEEE Trans. Instr. Meas., 50, 478.
Milburn, G. J. (1989). Phys. Rev. Lett., 62, 2124.
Millikan, R. A. (1916). Phys. Rev., 7, 355.
Milonni, P. W. (1994). The quantum vacuum. Academic Press, San Diego, CA.
Milonni, P. W. (1995). J. Mod. Opt., 42, 1991.
Milonni, P. W. and Eberly, J. H. (1988). Lasers. Wiley, New York.
Milonni, P. W. and Hardies, M. L. (1982). Phys. Lett. A, 92, 321.
Milonni, P. W. and Shih, M.-L. (1992). Contemp. Phys., 33, 313.
Mitchell, M. W., Hancox, C. I., and Chiao, R. Y. (2000). Phys. Rev. A, 62, 043819.
Mizumoto, T., Chihara, H., Toku, N., and Naito, Y. (1990). Elec. Lett., 26, 199.
Mlynek, J., Breitenbach, G., and Schiller, S. (1998). Physica Scripta, T76, 98.
Mohideen, U. and Roy, A. (1998). Phys. Rev. Lett., 81, 4549.

Mollow, B. R. (1969). Phys. Rev., 188, 1969.
Mølmer, K. (1997). Phys. Rev. A, 55, 3195.
Mooij, J. E., Orlando, T. P., Levitov, L., Tian, L., van der Wal, C. H., and Lloyd, S.
(1999). Science, 285, 1036.
Muller, A., Zbinden, H., and Gisin, N. (1995). Nature, 378, 449.
Muller, A., Zbinden, H., and Gisin, N. (1996). Europhys. Lett., 33, 335.
Nagourney, W., Sandberg, J., and Dehmelt, H. G. (1986). Phys. Rev. Lett., 56, 2797.
Newell, A. C. and Moloney, J. V. (1992). Nonlinear optics. Addison-Wesley, Redwood
City, CA.
Newton, I. (1952). Opticks: or a treatise on the re¬‚ections, refractions, in¬‚ections
and colours of light”based on the 1730 edition. Dover, New York.
Newton, T. D. and Wigner, E. P. (1949). Rev. Mod. Phys., 21, 400.
Nielsen, M. A. and Chuang, I. L. (2000). Quantum computation and quantum infor-
mation. Cambridge University Press.
O™Brien, J. L., Pryde, G. J., White, A. G., Ralph, T. C., and Branning, D. (2003).
Nature, 426, 264.
Pan, J. W., Gasparoni, S., Aspelmeyer, M., Jennewein, T., and Zeilinger, A. (2003).
Nature, 421, 721.
Paul, W. (1990). Rev. Mod. Phys., 62, 531.
Peres, A. (1995). Quantum theory: concepts and methods. Fundamental theories of
physics, Volume 72. Kluwer, Dordrecht.
Petta, J. R., Johnson, A. C., Taylor, J. M., Laird, E. A., Yacoby, A., Lukin, M. D.,
Marcus, C. M., Hanson, M. P., and Gossard, A. C. (2005). Science, 309, 2180.
Pines, D. (1963). Elementary excitations in solids. Benjamin, New York.
Planck, M. (1959). The theory of heat radiation. Dover, New York.
Plenio, M. B. and Knight, P. L. (1998). Rev. Mod. Phys., 70, 101.
Press, W. H., Teukolsky, S. A., Vetterling, W. T., and Flannery, B. P. (1992). Nu-
merical recipes in Fortran: the art of scienti¬c computing. Cambridge University
Press, New York.
Pryce, M. H. L (1948). Proc. Roy. Soc. London, A 195, 62.
Purcell, E. M. (1946). Phys. Rev., 69, 681.
Rabi, I. I., Ramsey, N. F., and Schwinger, J. (1954). Rev. Mod. Phys., 26, 167.
Ralph, T. C. (2006). Rep. Prog. Phys., 69, 853.
Raushcenbeutal, A., Nogues, G., Osnaghi, S., Bertet, P., Brune, M., Raimond, J.-M.,
and Haroche, S. (2000). Science, 288, 2024.
Raussendorf, R. and Briegel, H. J. (2001). Phys. Rev. Lett., 86, 5188.
Raymer, M. G. and Funk, A. C. (2000). Phys. Rev. A, 61, 015801/1.
¼ References

Raymer, M. G., Cooper, J., Carmichael, H. J., Beck, M., and Smithey, D. T. (1995).
J. Opt. Soc. Am. B, 12, 1801.
Reck, M., Zeilinger, A., Bernstein, H. J., and Bertani, P. (1994). Phys. Rev. Lett., 73,
Rempe, G., Walther, H., and Klein, N. (1987). Phys. Rev. Lett., 58, 353.
Rempe, G., Schmidt-Kaler, F., and Walther, H. (1990). Phys. Rev. Lett., 64, 2783.
Renninger, M. (1960). Z. Phys., 158, 417.
Richards, P. L. (1994). J. Appl. Phys., 76, 1.
Richtmyer, F. K., Kennard, E. H., and Lauritsen, T. (1955). Introduction to modern
physics. International series in pure and applied physics. McGraw-Hill, New York.
Riesz, F. and Sz.-Nagy, B. (1955). Functional analysis (2nd edn). Fredrick Ungar
Publ., New York.
Risken, H. (1989). The Fokker“Planck equation (2nd edn). Springer series in syner-
getics. Springer-Verlag, Berlin.
Rowe, M. A., Kielpinski, D., Meyer, V., Sackett, C. A., Itano, W. M., Monroe, C.,
and Wineland, D. J. (2001). Nature, 409, 791.
Russell, B. (1945). A history of western philosophy. Simon and Schuster, New York.
Saleh, B. E. A. and Teich, M. C. (1991). Fundamentals of photonics. Wiley series in
pure and applied optics. Wiley, New York.
Scarani, V., Iblisdir, S., Gisin, N., and Acin, A. (2005). Rev. Mod. Phys., 77, 1225.
Schawlow, A. L. and Townes, C. H. (1958). Phys. Rev., 112, 1940.
Schilpp, P. A. (ed.) (1949). Albert Einstein: philosopher“scientist (3rd edn). The
library of living philosophers, Volume VII. Cambridge University Press, London.
Schr¨dinger, E. (1935a). Proc. Cam. Phil. Soc., 31, 555.
Schr¨dinger, E. (1935b). Naturwissenschaften, 23, 807, 823, 844.
Schubert, M. and Wilhelmi, B. (1986). Nonlinear optics and quantum electronics.
Wiley, New York.
Schubert, M., Siemers, I., Blatt, R., Neuhauser, W., and Toschek, P. E. (1995). Phys.
Rev. A, 52, 2994.
Schuck, C., Huber, G., Kurtsiefer, C., and Weinfurter, H. (2006). Phys. Rev. Lett., 96,
Schuda, F., Stroud, C. R., Jr, and Hercher, M. J. (1974). J. Phys. B , 7, L198.
Schweber, S. S. (1961). An introduction to relativistic quantum ¬eld theory. Row,
Peterson and Co., Elmsford, NY.
Shapiro, J. H. (1980). Opt. Lett., 5, 351.
Shen, Y. R. (1984). The principles of nonlinear optics. Wiley, New York.
Shimoda, K., Takahasi, H., and Townes, C. H. (1957). J. Phys. Soc. Japan, 12, 686.

Shimony, A. (1990). In 62 years of uncertainty (ed. A. I. Miller), p. 33. Plenum Press,
New York.
Shor, P. W. (1995). Phys. Rev. A, 52, R2493.
Shor, P. W. (1997). SIAM J. Comp., 26, 1484.
Siegman, A. E. (1986). Lasers. University Science Books, Mill Valley, CA.
Simmons, J. W. and Guttmann, M. J. (1970). States, waves and photons. Addison-
Wesley, Reading, MA.
Singh, S. (1999). The code book: the evolution of secrecy from Mary Queen of Scots
to quantum cryptography. Doubleday, New York.
Slater, J. C. (1950). Microwave electronics. Van Nostrand, Princeton, NJ.
Slusher, R. E., Hollberg, L., Yurker, B., Mertz, J. C., and Valley, J. F. (1985). Phys.
Rev. Lett., 55, 2409.
Smithey, D. T., Beck, M., Raymer, M. G., and Faridani, A. (1993). Phys. Rev.
Lett., 70, 1244.
Stalgies, Y., Siemers, I., Appasamy, B., Altevogt, T., and Toschek, P. E. (1996).
Europhys. Lett., 35, 259.
Stehle, P. (1970). Phys. Rev. A, 2, 102.
Steinberg, A. M. and Chiao, R. Y. (1994). Phys. Rev. A, 49(3), 2071.
Steinberg, A. M. and Chiao, R. Y. (1995). Phys. Rev. A, 51, 3525.
Steinberg, A. M., Kwiat, P. G., and Chiao, R. Y. (1992). Phys. Rev. Lett., 68, 2421.
Steinberg, A. M., Kwiat, P. G., and Chiao, R. Y. (1993). Phys. Rev. Lett., 71, 708.
Steinberg, A. M., Kwiat, P. G., and Chiao, R. Y. (2005). In Atomic, molecular,
and optical physics handbook (2nd edn) (ed. G. W. F. Drake), Chapter 80, p. 1195.
Springer-Verlag, Berlin.
Stoler, D. (1970). Phys. Rev. D, 1, 3217.
Stoneham, A. M., Fisher, A. J., and Greenland, P. T. (2003). J. Phys., 15, L447.
Su, C. and W´dkiewicz, K. (1991). Phys. Rev. A, 44, 6097.
Suarez, A. and Scarani, V. (1997). Phys. Lett. A, 232, 9.
Sudarshan, E. C. G. (1963). Phys. Rev. Lett., 10, 277.
Taylor, G. I. (1909). Proc. Cam. Phil. Soc., 15, 114.
Tipler, P. A. (1978). Modern physics. Worth, New York.
Tittel, W., Brendel, J., Zbinden, H., and Gisin, N. (1998). Phys. Rev. Lett., 81, 3653.
Torgerson, J., Branning, D., and Mandel, L. (1995). Appl. Phys. B , 60, 267.
Trimmer, J. D. (1980). Proc. Am. Phil. Soc., 124, 323.
van Enk, S. J. and Nienhuis, G. (1994). J. Mod. Opt., 41, 963.
van Houwelingen, J. A. W., Beveratos, A., Brunner, N., Gisin, N., and Zbinden, H.
¼ References

(2006). Phys. Rev. A, 74, 022303.
Vandersypen, L. M. K., Ste¬en, M., Breyta, G., Yannoni, C. S., Sherwood, M. H.,
and Chuang, I. L. (2001). Nature, 414, 883.
Varcoe, B. T. H., Brattke, S., Weidinger, M., and Walther, H. (2000). Nature (Lon-
don), 403, 743.
von Neumann, J. (1955). Mathematical foundations of quantum mechanics. Princeton
University Press.
Vrijen, R., Yablonovitch, E., Wang, K., Jiang, H. W., Balandin, A., Roychowdhury,
V., Mor, T., and DiVincenzo, D. (2000). Phys. Rev. A, 62, 012306.
Walls, D. F. and Milburn, G. J. (1994). Quantum optics. Springer-Verlag, Berlin.
Walther, H. (2003). Fortschr. Phys., 51, 521.
Walther, P. and Zeilinger, A. (2005). Phys. Rev. A, 72, 010302.
Walther, P., Resch, K. J., Rudolph, T., Schenck, E., Weinfurter, H., Vedral, V.,
Aspelmeyer, M., and Zeilinger, A. (2005). Nature, 434, 169.
Weisskopf, V. (1931). Ann. Phys. (Leipzig), 9, 23.
Weisskopf, V. and Wigner, E. (1930). Z. Phys., 63, 54.
Wentzel, G. (1926). Z. Phys., 40, 574.
White, A. G., James, D. F. V., Eberhard, P. H., and Kwiat, P. G. (1999). Phys. Rev.
Lett., 83, 3103.
Wiesner, S. J. (1983). SIGACT News, 15, 78.
Wigner, E. P. (1932). Phys. Rev., 40, 749.
Wigner, E. P. (1955). Phys. Rev., 98, 145.
Wigner, E. P. (1959). Group theory. Pure and applied physics, Volume 5. Academic
Press, New York.
Wood, R. W. (1904). Proc. Am. Acad., XI, 306.
Wood, R. W. (1912). Philos. Mag., 6, 689.
Wootters, W. K. and Zurek, W. H. (1982). Nature (London), 299, 802.
Wright, E. M., Chiao, R. Y., and Garrison, J. C. (1994). Chaos solitons and frac-
tals, 4, 1797.
Wu, F. Y., Grove, R. E., and Ezekiel, S. (1975). Phys. Rev. Lett., 35, 1426.
Wu, L. A., Kimble, H. J., Hall, J., and Wu, H. (1986). Phys. Rev. Lett., 57, 2520.
Yablonovitch, E. (1987). Phys. Rev. Lett., 58, 2059.
Yamamoto, Y., Imoto, N., and Machida, S. (1986). Phys. Rev. A, 33, 3243.
Yariv, A. (1989). Quantum electronics (3rd edn). Wiley, New York.
Yariv, A. and Yeh, P. (1984). Optical waves in crystals. Wiley series in pure and
applied optics. Wiley, New York.

Yuen, H. P. (1976). Phys. Rev. A, 13, 2226.
Zauderer, E. (1983). Partial di¬erential equations of applied mathematics. Pure and
applied mathematics. Wiley, New York.
Zbinden, H., Brendel, J., Gisin, N., and Tittel, W. (2001). Phys. Rev. A, 63, 022111.
Zeilinger, A. (1981). Am. J. Phys., 49, 882.
Zel™dovich, Ya. B. and Klyshko, D. N. (1969). JETP Lett., 9, 40.
Zemansky, M. W. (1951). Heat and thermodynamics (3rd edn). McGraw-Hill, New
Zhang, A. N., Lu, C. Y., Zhou, X. Q., Chen, Y. A., Zhao, Z., Yang, T., and Pan,
J. W. (2006). Phys. Rev. A, 73, 022330.
Zou, X. Y., Wang, L. J., and Mandel, L. (1991). Phys. Rev. Lett., 67, 318.

waist, 80, 220, 227
coe¬cient, 20 Beer™s law, 20
of light, 15
additive noise, 432 expectation values, 588
inequality, 578, 590
adiabatic elimination, 377, 427
pair, 637
matrix, 650 state measurement, 621
operator, 648 states, 410
alternating tensor, 70, 645 theorem, 589
bipartite system, 201
birefringence, 399, 676
noise, 505
bit-¬‚ip, 627
noise number, 524
noise temperature, 525
cavity, 5
uncertainty principle, 527
radiation, 5
amplitude squeezing/quadrature, 480
bleaching, 460
ancilla, 607
Bloch equation, 375
angular momentum
Bogoliubov transformation, 188, 477
electromagnetic, 100
Bohm singlet state, 580
orbital, 692
bolometers, 6, 266
spin, 692
Boltzmann™s principle, 17
total, 77, 693
annihilation operator, 43, 74 Born
approximation, 31
antilinear, 119
interpretation, 39, 52, 684
antinormal ordering, 167, 179
antire¬‚ection coating, 238, 246 Bose commutation relations, 46
Bose“Einstein statistics, 207
antiresonant Hamiltonian, 352
bosons, 46, 207
antiunitary, 119
bounded operator, 54, 648
atomic coherence, 375
atomic transition operator, 355, 442 box quantization, 81
bra vector, 680
Bragg crystal spectrometer, 11
breakdown, 282
broadband detection, 272
noise-free, 284
Cn , 201, 646, 681
avoided crossing, 384
c-number, 680
axial vector, 668
Campbell“Baker“Hausdor¬ theorem, 689
balanced canonical
commutation relation, 39“41, 690
beam splitter, 248
momentum, 112, 693
homodyne detector, 300
bare states, 383 momentum operator, 97, 694
Bargmann state, 546 quantization, 69
basis canonically conjugate variables
circular, 685 classical, 39
vector space, 646 quantum, 85, 121, 690
beam carrier
frequency, 88, 219
cleanup, 260
wavevector, 219
in geometric optics, 218
splitter, 247 cascade emission, 24
Casimir e¬ect, 62
balanced, 248
symmetrical, 247 Cauchy“Schwarz inequality, 646

constitutive equations
linear, 88, 672
frequency, 382
nonlinear, 394, 678
general, 37
continuous spectrum, 648
ideal, 32
lossy, 428
NOT gate, 633
mode cleaning, 534
modes, 32, 382 sign (or phase) gate, 633
planar, 63, 138, 669 convergent sequence of vectors, 647
convex linear combination, 53, 192, 204
rectangular, 33
convolution theorem, 652
centrosymmetric medium, 393
channeltrons, 282, 388 correlation matrix, 452
correspondence principle, 30, 148, 150
chaotic state, 177
Coulomb gauge, 661
characteristic function, 172
creation operator, 43, 74
antinormally-ordered, 191
cross-Kerr medium, 418, 634
normally-ordered, 183
cross-phase modulation, 418
charge density
classical, 670
public key, 616
quantum, 118
circular polarization, 666 quantum, 617
right (left), 55, 667 current density
classical, 670
quantum, 117
bit (cbit), 619
cut-o¬ function, 354
electromagnetic theory, 32
cyclic invariance of the trace, 683
feedforward, 638
nonlinear optics, 678
oscillator, 149 debyes, 134
states, 182 decay rate, 376
click (of a detector), 29 degenerate eigenvalue, 648
degree of degeneracy, 52, 648
closed system, 420
cluster state, 638 degree of freedom
coarse-grained cavity radiation, 7
delta function, 224, 233 mechanical, 40
operator density, 512 degree of polarization, 57
polarization, 90, 678 delta correlated, 434
coherence matrix, 56 delta function, 657
coherence time, 350 density
coherent state of states, 137
operator, 50, 270
diagonal representation, 166
of a single mode, 151, 176 dephasing rate, 376
of a wave packet, 168 detection
coincidence amplitude
basis, 636 one-photon, 213
counting, 286 two-photon, 214
detection, 12 loophole, 597
rate, 25 operator (Mandel), 108
collapse of a cavity state, 386 dichroic mirror, 535
collinear phase matching, 400 dielectrics
complete isotropic and anisotropic, 674, 675
set of commuting observables (CSCO), di¬usion term, 549
102, 684 dipole
set of vectors, 163, 196, 647 approximation, 131
completeness relation, 44, 165, 355, 665, 683 matrix element, 136
compound probability rule, 660 selection rules, 133
Compton discrete quantum trajectory, 573
scattering, 10 dispersion
shift, 14 cancellation e¬ect, 326
wavelength, 14 relation, 674
computational basis, 607 displaced squeezed states, 479
conditional probability, 586, 659 displacement
constant of the motion, 77, 403 ¬eld, 670
½¼ Index

golden rule, 128, 432
operator, 162
rule, 169 statistics, 207
distinct paraxial beams, 221 fermions, 207
distribution, see generalized function ferrite pill, 257
Doppler shift, 134 Feynman
down-conversion, 400 diagrams, 136
dressed paths/processes, 308
photon, 96 rules of interference, 307
states, 384 ¬delity, 612
drift term, 451, 549 ¬eld correlation functions, 123
dynamics, 13 ¬lter function, 274
dynodes, 282 ¬ltered signal, 273
¬nite-dimensional space, 646
¬rst-order perturbation theory, 127
eigenoperators, 355
¬‚uctuation operator, 203, 501, 690
eigenpolarization, 56, 393, 676
eigenspace, 52, 648 ¬‚uorescence spectrum, 462
Fock space, 44, 46
eigenvalue, 648
Fokker“Planck equation, 546
eigenvector, 648
four-port device, see two-channel device
A and B coe¬cients, 17, 136 four-wave mixing, 392
relation, 453
rule, vii, 98, 258 integral transform, 651
summation convention, 36, 645 series transform, 653
slice theorem, 531
Einstein“Podolsky“Rosen (EPR)
Franson interferometer, 328
paradox, 579


. 26
( 27)