Professional Documents
Culture Documents
(Alexandre Zagoskin) Complete Introduction To Quantum Mechanics
(Alexandre Zagoskin) Complete Introduction To Quantum Mechanics
®
Teach
Yourself
QUANTUM
MECHAN.I.CS
A C.omplete rfltroduction
.
.
Arexandre Zagos~in ..
Contents·
..
Acknowledgements XVII
.
Introduction XIX
A fair warning
1 Familiar phys ics in strange spaces 1
Particles, coordinates, vectors and trajectories
Velocity, acceleration, derivatives and differential equations
Phase space .
· Harmonic o~cillator, phase trajectories, energy
conservation and action
. Hamilton, Hamiltonian, Hamiltons equations
and state vectors ·
Generalized coordinates, canonical momenta,
and configuration space
Statistical mechanics, statistical ensemble and
probability distribution function
Liouville equation*
2 Less fami liar physics in stranger spaces 34
Quantum oscillator and adiabatic invariants
Action quantization, phase space and the uncertainty principle
Zero-point energy and complex numbers
State vector and Hilbert space
Operators, commutators, observables and expectation values
Eigenstates, eigenvalues, intrinsic randomness of
Nature and Borns rule
Quantization and Heisenberg uncertainty relations
3 Equations of quantu m mechanics 66
Poisson brackets, Heisenberg equations of motion
and the Hamiltonian . "
Matrices and mP..trfx elements:ot:g~lK4tR£%; .., .
Schrodinger equation anc! wave functlori" , .,:.: ~r.}!r~Eii'':x:.<·- .,~ ,: · ·
. ., . · ""~·
..
. </' Contents G)
.· ·..·..
.
12 Schrodinger's elephants and quantum
slide rules 339
The need and promise of quantum computers
Digital computers, circuits and gates
Q1:1aritum gates
Quantum parallelism and the Deutsch algorithm*
The Shor algorithm, code-breaking and the promise of an
exponential speed-up
Sc/lriidingers elephants, quantum error correction and
DiVincenzo criteria
Qu_antum slide rules: adiabatic quantum computing and
quantum optimizers
13 History and philosophy 374
Sturm und Orang: the old quantum theory
When all roads led to Copenhagen: creation of quantum
• mechanics
What the FAPP?
'It was a warm summer evening in ancient Greece·
The proof of the pudding
Tl)e final.spell
Fact-check Answers 393
•
Taking it further 395
Figure credits 397
Index 398
•
Introduction
·A fair warning
a~···~~~~;~·;;~;~;~:~~~~~;~;~;~;~~::~~~;~ ·t~~t· ;~:~:·;;:·;~~~~· • ~
·~ :~ about magic and books of magic. And the second thing he :
• •
: Learns is that a perfectly respectable example of the former may :
• •
• be had for two or three guineas at a good bookseller. and that :
•• •
• the value of the latter is above rubies. :
•• •
.
:
.
Susanna Clarke, Jonathan Strange & Mr Norrell ·:
••••• • •••••••••••••••••••••••••••••••••••
. . •••• • • •••
•• •••••••••••••••••••
:
This book will help you teach yourself about quantum
mechanics, which is not quite the same as teaching yourself
quantum mechanics. Here is the difference. ·
To learn quantum mechanics means being able to do something
with quantum mechanics as a matter of course (solving equations,
mostly. H you are an experimentalist, this also entails conducting
experiments, the planning and analy~is of which require solving
equations), and to have been doing this long enough to acquire
a certain intuition about these equations and experiments- and
therefore, about quantum mechanics. At the very least, one would
have to go through a good undergraduate textbook on quantum ..
mechanics and solve aU the problems (which means also going
through a couple of textbooks on mathematics and solving the
problems from them too), and discuss all the questions you may
have with somebody who already has the above-mentioned
intuition. In other words, to take a regular introductory course ·
of quantum mechanics at a university, and this is not always
an option. And anyway, you,may not ,be planning to become a
-
·professional physicist (which is a plty). .·. . . -.. ,__. .
. .
You can instead learn about quantum mechanics. This is a ·
book written exactly for this purpose- to help you 'teach .
yourself about quantum mechanics. This means that in the end
you will not become a pra~sing magician, that is, physicist -
but hopefully you will have a better understanding of what
physicists do and think when they do research in quantum
· .. ihtroduction. @
mechanics, and what this research tells us about the world
we live in. Besides, much of our technology uses quantum ·
mechanical effects routinely {like lasers and semiconductpr
microchips, which were produced by the 'first quantum
revolution' qack in the 20th century), and if the current trends
hold, we will be soon enough·playing with the technological
results
. of the 'second quantum revolution', using even more .
subtle and bizarre quantum effects. It is therefore wise to be
prepared. As a bonus, you will learn about·quite a lot of things
tha~ are not taught in introductory quantum· mechanics courses
to physics undergraduates.
This book contains quite a number of equations {though much
less than a book of quantum mechanics would), so brushing
up your school maths would be a good idea. I have tried to
introduce all the new mathematical things, and some things
you may already know. Still, this is just a book about quantuni .
mechan~cs. So why equations?
.
Quantum mechanics describes our world with an unbelievable
precision. But the scale of phenomena, where this description
prinlarily applies, is so far removed from our everyday eXperience
that our htiman intUition and language, however rich, are totally
inadequate f~r the task of expressing quantwri mechanics·directly.
In such straits it was common to use poetry with its allusions,
allegories and similes. This is indeed the only way one can write
. about quantum mechanics' using only words - even if the poetry
lacks ~hymes'and rhythm. This is a nice and .often inspiring way
of doing things,.but poetry is too imprecise, too .emotional and
too individual.
-It is therefore:.desirable to use the language in which quantum ·
mechanics ean be expressed: mathematics, a language more
remote from our common speech than any Elvish dialect.
Fortunately, this is ·also the language in which all physics is
most naturally expressed, and it applies to such areas -like
mecha.ilies ~:~h.~re,\fe .do have an. inborn and daily trained
intuition. I did therefore try to relate the one to the other - ·you
·will be the judge of how well this approach succeeded.l ·
..;-:--.......
' .·
,
- -__,.,., ,;.;.;,-~ '.-.. ;., . . . .
·, ;. .:.,
,;;.;.. , .
. 1 The more 'ini'the'fuati.~ai:;sections, which can be skipped at a ·first reading,
are marked with an asi:ei:'isk. : < •
< • ' •• •
.
Familiar physics in
strange spaces
To an umiccustomed ear, the very language of quantum
mechanics may seem mtimida~gly impenetrable. his full of
commutators, operators, state vectors, Hilbert spaces and other
mathematical horrors. At any rate quantum physics seems
totally different from the clarity and simplicity of Newtonian
mechanics, where (ootballs, cars, satellites, stars, planets,
barstools, bees, birds and butterflies move along well-defined
trajectories, accelerate or decelerate when acted upon by forces,
and always have a definite position and velocity. All this can
be described by the simple mathematical laws discovered by
Sir Isaac Newton and taught at school- or just intuitively
comprehended based on our everyday experience. Quantum
mechanics, on the contrary, is best left to somebody else.
' .
..
.~ .......................•.....................••... ..•..... ... .... ..•
•
Philosophy is written in that great book which evt~r lies before :
•
• our eyes - I mean the u_niverse - but we cannot understand it :
•• •
•• if we do not first learn the language and grasp the symbols, :
•
•
• in which it is written. This book is written in the mathematical :
• •
•• language, and the symbols are triangles, circles and other :
•• •
•• geometrical figures, without whose help it is impossible to :
•
•• comprehend.-a single word of it; without which one :
••
•
•
• wanders .in vain through a dark labyrinth. :
•• •
•
Galileo Galilei (1564- 1642) :
• •
. •••••••••• •••••••• ••••• ••••
•• . • •• ••••••••• ••• •••••••••• • •• •••••••••••••••
••••
•
••• •••••• ••• •••••••••••••• •••••• ••• ••••• ••••• • •••••••••• •••• •••••
Key·idea: Coord inate tra nsformation . :
•
•
• Switching between different coordinate systems is called •
•
•• ••
•
coordinate transformation . Here is a simple example. Suppose ••
•• • •
a point .4-has..coordi-nates (x.y,zl. Let us now introduce a new •
•• ••
•• coordinate system (O'x'y'z 'l with the origin in the point o· with ••
•• ••
•• coordinates (X. Y.Zl. •
. .... '.::..:.
~ . ... .· •
.: .:; .
• •
••
••• z' •
•• z ••
•
• •• ••
•• •
• •
•• ••
• ••
•• ••
•• •
• ••
•• •
•• ••
• ••
••
•••
••• ••
•• X
•
•
• •••
• As you can see from the diagram, the coordinates (x',y',i') of the
• •• •
:· same point A in the new system are given by •••
• ••
: x·=x - X,y'=y-Y.z'=z-Z.
• ••
: Any coordinate transformation can be w ritten as: •
• •
: (x ',y',z ') =A (x,y,z). •••
•
: Here A is shorthand for an explicitly known set of operations one :
• •
: must perform with the set of coordinates in the original system, in :
• ••
; order to obt.ain the coordinates of the same point in the new one.
•••
: Mathematically, this means that A is an operator- the first scary ••
•
.
: word is demystified.
••• •••••• • ••• ••• • •• • • ••••••• •• • ••••• •• •••••• •• • •• • •• • ••••••• • ••••••• • ••
:
:
1 Familiar physics in
.
str~1.1ge spaces 0
•
..<. • '·
(~)
~-5~·~;[~~-h~:· L~~k·i~~-f~-~ ·;~~~~·~~~· ··.····· ··· ··· ········ ···· ~
~ . .:
<~ : If you wish, you can treat a radius vector as a set of instructions
: on a treasure map. For example, from the Qld oak tree, go x feet :
; east, then y feet north, then dig a hole (-zl feet deep (or climb z :
: feet up a cliff). :
• •
~
••
w~ ~
••
•• ••
•
•
••
•• ••
: x rnghere~ :
• •
••
•
•••
•• ••
.•
•
•
•
0
....
lt)
.
•
••
•
•• •
•
•• ••
•
••
•
•• 50 •••
•• ••
••• ••••••• •• • •••••••• •••• ••••••• ••••••• ••• ••• • •••••••••• • • •• •• •• ••••••••
and as the time passes, the end of the radius vector traces a line in
space- the trajectory of the point (Figure 1.1).
z
·x
Figure 1.2 Displacement
•
Spotlight: Sir Isaac Newton ••
•
: Sir Isaac Newton (1642- 1727) was not knighted for his great :
: discoveries, or fo r his role as the President of the Royal Society, :
! or even for his exceptional service to the Crown as the Warden :
: and then Master of the Royal Mint [he organ ized the reissuing of :
: all English coinage within 2 years and under budget, crushed a :
: ring of counterfeiters resulting in their ringleader being hanged, :
; and introduced new equipment and new safety measures against :
: counterfeiting: a ribbed rim with the Decus ettutamen (Latin for :
! ·orn ament and safeguard') inscr.iption, which has marked the :
! British pound coin ever since). Newton's promotion was due to an :
: attempt by his political party to get him re-elected to Parliament :
: in orcjer to keep the majority and retain power. The attempt :
• •
; ·failed in all respects - but Newton received his well deserved •
•
•
: knighthood. :
• •
4 •• ••• • • •• ••••• • •••• • •••• •• •• ••• • •••••• •• • •• ••• ••••• • ••• •• •• ••• •• •• •••••
0
Figure 1.3 Average and instantaneous velocity
'
We could spend the rest of our lives calculating third, fourth
and so on derivatives, but fortunately we do not have to.
Thanks to Newton, we only need to deal with position, velocity
and acceleration of a material point. ·
Here is the reason why. Newton's second law. of-motion, relates
the acceleration a, of a material point with mass m widi."a 'force
F acting on it:
ma =F.
This is how this law is usually written in school textbooks.
Newton himself expressed it in a somewhat different form
(in modern-day notation):
.
!!..!!_ =F.
dt
z · z
32 27
30
25
30~-../
25 29
y y
0
X X
1 Familiar physics in
::.
...·..
st~~;;~~. spaces G
fast i~ moves. Thus the motion of our material point will be ,
d~scribed not in a three-dimensional real space with coordi-
nates (x,y,z), but in a six-dimensional space with coordinates .
(x,p,.y;pfz,p .). Such space is·called the phase space
(Figure 1.5). ·
Px
(b)
..
•
'
•••• ••• • ••••••• •• •••••• •• •• ••••• • •• •••••• • •••• ••• •• • •••••••• • •••••••• •
•
•
Spotlight: Robert Hooke 1-1635-1703) .
•
•
•
• A great English scientist, architect and inventor, who was probably :
• •
: the only man whom Newton considered as a seri~us rival in :
: science. Hooke's law - that applies to any elastic forces produced :
• •
: by small deformations - is the best known and, arguably, the Least :
• •
: .significant of his contributions to science. :
• • ••
•• •• • ••••••••• •••• •• • • • •• • •••••••• •• ••••••••••••••••• •• ••••••• • •• ••••••
--~----------------~----------------~ X
. -.... 0
'
Figure 1.6 A spring pendulum
Here the force (e.g. the reaction of the spring) is proportional to
the deviation from it (Hooke's law): F(x) ::;: - kx .
.
The number k is the rigidity of the spring, x is the coordinate
of the bob, and we chose the origin at the point of equilibrium.
The minus· sign simply indicates that the elastic force tends to
return the bob back to the equilibrium position.
Newton's second law for the bob is then written as:
d 2x
m dt2 =- kx,
.
In the latter formula we have introduced the quantity
co0 = ~klm, which is determined by the spring's rigidity and
the particle mass. What is its meaning? Well, the above equation
. had been solved centuries ago, and the answers are known and
given by any combination of sines and cosines:
x(t) = Acosco0 t + Bsinco0 t.
dx(t) . .
v(t) = dt = -Aco0_sma?0t+co0 Bcos co0t.
.
and plot them for different values of the initial position and
momentum, x 0 and P:ro :mv0 (Figure 1.7). It is enough to trace
the trajectory for time 0 ::;; t::;; T0 = ~. After that the motion _
will. repeat itself, as it should: this is an oscillator, so it oscillates
with the period To.. (The frequency ro0 is the so-called cyclic
frequency and is measured in inverse seconds. More familiar to
=
non-physicists is the linear frequency v0 1fT0 = rof21r., which
tells us how many oscillations per second the system does, and
is measured in Hertz (Hz): 1Hz is one oscillation per second).
Px
First, we see that all the trajectories are closed curves; second,
that the motiori along them is periodic with the same:period
(this is why the oscillator is callt;d 'harmonic' : if it were a string,
it would produce the same tune no matter how or where it
was plucked); and, third, that these trajectories fill the phase
space - that is, there is one and only one (as the mathematicians
·like to say) trajectory passing through any. given point. In other
words, for any combination of initial cond~tions (xO'px0 ) there is
a solution - which is clear fro~ its explicit expression - and this
solution
-.
is completely determined by these initial conditions.
What is the shape of the curves in Figure 1:7? Recalling the basic
properties of trigonometric functions, we see ~at
e
•
then
dx Px
-=- dp, =-mco~x.
dt m dt
•
..
• ••
•
••
••
t ••
••
••
• •
• ••
••
• ••
• •
• ••
•
•• •
• ••
•• •
• ••
•• • •
•
•
•
•
••
••
• ><y X
••
••
••
•
• ••
• •
• The height of a hill. h, is a function of our position. If we point ••
•
•• ••
• coordinate axe-s north (Oy) and east IOxl. then the incline we meet
••
when travelling due north is precisely th·e partial derivative: •••
• ••
•• •
••
• -
a h( x,y 1-"' l'1m h(x,y+~yl-h[x,yl
.
•
••
•• CJy ~y ' •••
Ay-+0
•• •
················· ····· ···· ··········· ·· ················ ······ ···J·······
For a more complex system -say, a set of N part icles in three-
dimensional space, which is a good idealization for a gas of
monoatomic molecules - the only difference is that we introduce
more variables, such as (x 1 .Pxa•Yt>Pr1 ,z 1,pz~, ..., x,.,pxN.YN'Pr,.,z,.,p~);-
3N components of radius vectors:and 3N components of
the momenta~ and write 6N Hamilton's equations instead of
two. Each couple of conjugate variables describe a degree of
freedom - thus a one-dimensional harmonic oscillator has one
. degre~ of freedom, and a set of N material points in three- a
dime nsional. space have JN degrees of freedom .
.'
We can take the set of coordinates and momenta and consider
them as the coordinates of a single point in a 6N-dimensional
phase space - or, if you wish, as components of a radius vector
in this space (Figure 1.9):
R = (xl'p, 1,y1,p1yz 1,p,1, ••• , x,.,pxN_y,.,p#z,.,pz}{).
One can call it the state vector, since it completely determines
both the current state of the system and its future evolution, •
governed by the Hamilton's equations.
Py1
Pz1
PzN
'
.
Figure 1.10 A mechanical contraption. which is hard to describe by
Cartesian coordinates ·
This difficulty became clear before Hamilton's time, and was
eventually resolved by another great scientist, Lagrange. He
developed a very useful and insightful approach- Lagrangian
mechanics - th.a t served as the basis for the Hamiltonian one,
which is very much in use and also very important fo~ the modern
quantum physics. We will discuss this further in Chapter 9.
· ·· ·· ··· ···· ··· · · ···· · ·· ········~······ ····· · ··· ····· · ··· ··· ········ •·
. Spotlight: Lagrange equations· .:• .
• Lagrange equations- just to impress you . We will only need them •
•
•
•• in .Chapter 9. •••
• •
~ : .· . . . !!__( ()L(q,q])- i)L(q,q] = 0. ;
: dt dq dq :
•
• •••
••••••••••••••• ••••••• • •• ••• ••••••• • ••••• ••••• •••••• ••••••••••••••••••••
. . •-:. . . '·
..... ·: ·.. . ...
... ..
The gist of it is that Lagrange developed a method of describing
an arbitrary mechanical system by a set of generalized
=
coordinates, q; and generalized velocities, q; dqJdt. These
coordinates can be any convenient parameters that describe
our mechanical system: rotation angles; elongations; distances;
or even conventionaJ positions in real space. The index
i = 1, 2, ..., M labels these coordinates; M is the number of
the degr~es of freedom our system possesses. Please note that,
by tradition and lor brevity, for the generalized velocities the
Newtonian notation for a time derivative is used .
... •••••..•• ....•.•.•.•. ••••.• •••••••••.••...•...•..•......• ..... ~ ...
•
•
Key idea: Phase and configu ration spaces •
•
•
: The 6N varial;>les {x 1.P"1;y1,Z1.P,1• ••• :
dp; ()H
--- - ,.
dt aqi
i = 1,2, ... 2M
In many cases these equations are easier to solve than the
Lagrange equations. What is more important to us is that they
form a vital link between quantum and classical mechanics.
Hamilton's equations describe the evolution with time of the .
state vector in a 2M-dimensional phase space of our system.
One cannot easily imagine this, but some geometrical intuition
· based on our lower-dimensional experience can be ~ctually
developed with practice. For example, you can draw the phase
trajectories in each of theM planes (q.,p1) and consider them in
the same way one does different projections of a complex piece
of machinery in a technical drawin.g.
We will try to show how it works on another example - the last
In this chapter - of those notions from classical physics, which
ruin out to be not that much different from their quantum
counterparts.
•.
Statistical mechanics, stati'stical
ensemble and probability
distribution function
One of the simplest and most useful model systems considered
by classical physics is the monoatomic ideal gas - a collection
of a very large number N of identical material points, which do
not interact with each other. This model helped esta.blish the
fundamentals of statistical mechanics - the aspect of physics
that explains, in particular, why water freezes and how an
electric heater works. We already know that .t he state of this
system can be completely described by a state vector in ·a 6N-
dimensional phase space (or, which is the same, a single point in
this space- the end of the state vector; see Figure 1.9).
As we know, the state vector determines all the positions
(in real space) and all the momenta of all N gas particles.
A single cubic centimetre of gas at normal pressure and zero
degrees Celsius contains about 2.7 x 10 1' molecules. Therefore
the state vector contains a lot of unnecessary and unusable
information. It is unusable, because even if we had all this
information, we could never solve 6 x 2.7 x 10 1' Hamilton's
equations per cubic centimetre of gas. Unnecessary, because
we do not care where precisely each gas particle is placed and
what momentum it has at a given moment of time. We are
interested in bulk.properties, like temperature, pressure, local
flow velocity and so on at a given positi<?n in- a given moment
· of time.
.
The central point of statistical mechanics makes it so that a
single set of such bulk properties (P(r, t), T(r, t), v(r, t), ... )-a '
so-called macroscopic state of our system - corresponds to
a huge number of slightly different microscopic states (each
described by a state vector in the 6N-dimensional p~ase space).
These are found in the vicinity of certain point R = (q, p ) in this
space (Figure 1.11), which has 'volume' L1r(q, p ). · ·
•
•
Figure 1.11 A statistical ensemble in phase space
-~ - Spotlight:
••• • ••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••• • •
•
- •
Di stribution functions and •
•
•
statistical ensembles •
•• •
•
• •
: The distribution fun ctions and equation for f 1 (the Boltzmann •
••
: equation) were introduced by Ludwig Boltzma11n (1844-1 906). The •
••
• •
: concept of statistical ensembles was proposed by Josiah Willard •
•
:•
.•••• • ••••• ••••••• • •••• • ••••••• • ••• •••••• ••••• • •••••••••••• • • • ••• ••••• .••:
Gibbs 11839- 1903). , :
.
One way to use this idea is to introduce a statistical ensemble
of N-particle systems - that is, a· very large number N £ of copies
of our system with slightly different initial conditions. They
will form something like a 'cloud of gas' in .t he phase space,
and each will follow its own unique trajectory determined by
the 'Hamilton's equations. {The fact that in practice we cannot
solve or even write down these equations does not matter in
the least!) To calculate the likelihood of finding our system in
a given macroscopic state, we can simply count how many of
N£ systems in the ensemble are found in the 'volume' Llf(q, p )
at a given moment. Now denote this number 11N£(q, p, t) and
introduce the function
.
where now (q, p ) are the position and momentum of a single
particle in a phase space with a miserly six dunensions.
Since all gas particfes are the same, the answer will do for any
and for all of them. Moreover, properties such as temperature
or pressure, which. determine the macroscopic state of gas, can
be calculated using onlyf1(q, p, t). Finally, the approximate
r.
equations, which determine the behaviour of (q, p, t), can be
written down and solved easily enough.
Sometimes we would need to know the probability that one
particle has the position and momentum (q 1, p1), and other
(q 2, p 2), simultaneously. The approximate equations for the
corresponding two-particle distribution function, ( 2 (q, p, t),
can be also readily written down and - with somewhat
more trouble- solved. Such equations can be written for all
distribution functions, ·up to the N-particle one from which
we started, but in practice physicists very rarely need any
distribution functions beyond ( 1(q, p, t) and (2(q) p, t).
The idea that sometimes we can and need to know something
only on average is a very powerful idea." It allowed the great
progress of classical statistical mechanics. We will see how it is
being used in quantum mechanics.
I
. • • •• • • •• ••••• •• • • •••• • • •• • •• •• ••• • •••••• • •• • •••• • • • ••• •• ••••• • •••• • ••
••
' Fact-check •
' ••
•• ••
•• 1 Velocity ~s •
•
• •
• 2
a d r/d 2t •
•• ••
•• b dr/ dt ••
• •
• c dt/d r •
• ••
••
•
••
d d 2r/dt2 •••
•
• •
•• 2 Acceleration is ••
•• •
•
• a d 2r/d 2t •
••
b dr/dt •••
•• ••
•• c dt/dr ••
•
• •
• d d 2r/dt 2 •
• ••
•• 3 In order to predict the behaviour of a material point you need •
••
••
to know its initial •
•
• ••• ••
• a position •
••
••
• b position and velocity •
•• ••
•
••
c velocity and accelerat ion ••
•
• d positiQn and momentum ••
•• •
•
•
••
• 4 How many dimensions does the phase space of a system with ••
•• •
•• nine spring pendulums have? ••
• •
•
•• a 3 ••
•
• b 9 •
• •
• ••
..•
•
•
c
d
54
18
•
•
•
•• ••
•• ••
•
•
5 How many dimensions does the configuration space of the ••
•• same system have? •
••
•• •
• a 3 ••
•• •
•• b 9 ••
• •
• c 54 ••
•• •
• d 18 ••
•• ••
•
•• ••
•• 6 The phase trajectory of a harmonic oscillator can have the •
• ••
•• following shape: •
•
•
• a para bola ••
•• •
b hyperbola ••
•• ••
•
•• c ellipse •
•
• •
•• d . circle •
•
• •
•
••
• 7 Indicate impossible trajec!ories of a material point in real space ••
•• •
• ••
•• Px •
••
•• •
•
• •
• ••
•• •
• ••
•• ••
•
• (b)
•• X •••
••• (a)
(c) •
•
••
•
•
••
•• •
• ••
• ••
•• •
•• ••
• 10 Hamilton ·s equations directly describe the evolution of •
•
• ••
•
• a mechanical system in real space ••
•
• •
•• b . state vector in phase space ••
• ••
••• c state vector in configuration space •
•• •
d only of a harmonic oscillator •
........ , ..... ...... .........••....•.•.....• ......••.............. ....
•
• ~ •
•
•
..
Let us start from the beginning. In 1900, Professor Max Planck
of the University of B~rlin introduced the now famous Planck ·
constant h = 6.626 ... ·10-34 J s. For very compelling reasons,
which we will not outline here, Max Planck made the following
drastic prediction concerning harmonic oscillators, which .in
modern terms went as follows:
A harmonic oscillator with frequency 110 can change its energy
only by an amount h110 (the so-called energy quantum, from the
Latin quantus meaning 'how much').
In other words, LlE = h110 •
Initially Planck referred to what we now call 'energy quantum'
of an oscillator as one of 'finite equal parts' of vibrational energy.
The term.'quantum' was coined later. One of its·first users, along
with Planck, was Philipp Lenard, a first-rate experimentalist,
'whose work greatly contributed to the discovery of quantum
mechanics, and who was also - regrettably - a first-rate exa:q1ple
of how a brilliant physi~ist can go terribly wrong outside his
field of eXJ)ertise. But, no matter what terms were used, the
notion of deriving discrete portions of energy from an oscillator
was revolutionary.
• ••• •••• ••• •• ••••• • •• ••••• • ••• • •• ••••••••••• • ••••••• • •• •••• ••••• •••• ••
••
Key idea: Planck c_onstant ••
•
•
Quantum oscillator and adiabatic
invariants
Let us return to the phase space picture of a classical harmonic
oscillator (Figure 2.1).1ts phase trajectory is an ellipse with area
•
. where H(xo>p.rO) = E is the oscillator energy. What consequences
will follow from·the energy quantization condition, llE = hvo> or,
as it is usually written in modern books and articles, llE = li.(J)0 ?
There seems to be little to worry about when dealing with
the events in our everyday life. Planck constant is exceedingly
small. Take as an example of an oscillator a child's swing,
with a typical frequency of about one swing per second,
which corresponds to the. linear frequency of 1 Hz. Then the ·
corresponding energy quantum is h·l Hz= 6.626 ... ·1o-34 J.This
is a very small amount of energy 'indeed. An average ant (which
weighs about 0.5 ing) ~ailing from a height of 1 mm will acquire
energy about 1025 times greater than that. For comparison, the.
Sun radiates approximately 1025 times more energy per second
than a standard 40 W light bulb (and remember here we count
all of the Sun's energy production, not just the tiny amount that
reaches our insignificant planet). So, at least from the point qf
view of everyday physical activities, quantization of energy does
not seem to lead to any perceptible effects·.
You recall that this. area is called action and can be written as
S = ~Px (x)dx. Therefore, the.Planck constant his called the
quantum of action. ·
The relation
'•
Paul Ehrenfest noted that the ratio Elv0 does not change if
the frequency of the oscillator is altered infinitesimally slowly -
or, using a shorter term, adiabatically. Then, even though the
energy of the system changes, the number n of its quanta stays
the same!
1 E" E
n+ - == - h == const.
2 h(J)0 V
0
2 Well, actuaUy you will- because not every system has nice closed phase
trajectories. Fortunately those were not important enough and did not have
to be considered when the very basics of quantum mechanics were being
discovered. Modern quantum mechanics has developed tools for dealing
with them.
llv =(tu 1 1lp) (lly1 6pY1) (/lz 11lp) ... ~tuNo llpd (llyNilp,J (tJ.zN t:.pu) = b3N
o=aJhvo
.fu =(i)11w and the ~inimum action S = (i)h.
0
'' ••
• / •
•
•
•• • I
/
'\ \
••
•
•• I
I •••
I ••
•• I
I
• •
• ••
•• .I
I
•
••
••
•
\
\
z=cos a/+ i sin a /
••
••
•
,. ,.
\
/ •
••• '' ••
•
•• ' .... ..... __ /
••
•
••
•
••
.....
j1 = -1,
complex numbers do not present any trouble. For example, one
can add, subtract, multiply and divide them as usual numbers,
extract roots, calculate arbitrary functions of them, etc. It
4 The terms ' real' and 'imaginary' come from earlier times when
mathematicians were less acquainted with strange and unconventional
mathematical objects and were not sure how to deal with them. To think .
of it, they considered all numbers, whicb cannot be expressed as normal
fractions, i"a.tional, and some of them even transcendent! By the time
these objects became well understood, it was pointless to rename them.
only takes some practice. For example, (1 + 2i)(3 - 4i) = 3 +
6i- 4i- 8i2 = 3 + 8 + (6- 4 )i = 11 + 2i. Instead, they allow
simplification of many mathematical operations.
One of the most useful simplifications one can get from complex
numbers is the Euler's formula for the exponent of a complex
number,
.
e'= ez+iy = e' (cosy+ i sin y). .
0 L
(g I f) = r g. (x)f (x)dx .
•
:. . .·.
,: :~-.. ·,,
~ ;~
..
sin (6n:xll)
sin(4~)
sin (2nx/L)
Figure 2.7 A Hilbert space of functions, which can be expanded in Fourier
senes ·.
6 Yes>there exist ~nfinities, which are larger than other infinities. This is a
fascinating subj4:ct, to which Hilbert contributed as well- but unfortunately,
n.ot for this book.
The operators
Xb f(x) . X~ f(x}, while b X f(x) = fx (~f(x)) -: f(x) + fx f(x) .
X
[D,xJ=l.
Now it is time to say what all this has. to do with physics. In
quantum mechanics all physical quantities - like position,
velocity, electric charge and many others- are represented by
operators, which act on the state vector of the system. This
action generally changes the state vector:
Ahv) = J\jf').
7 There will be yet another rwisr- bur we will deal with tbar later on.
.
8 This is true only for certain operators and this is how we figure out ·
whether this ot that operator can correspond to a physical quantity.
Using the integral as the.scalar product in our H ilbert space, we
see that their expectation values are given by:
••• •••• •• ••• •• •• •• ••• •• ••• ••• • •• ••• •••••• ••• • ••• •••••••••• •••••••••••
• •
•
Key idea: Eigenstates an d eigenvalues •••
• •
• ••
• ••
•
• •
• ••
•
•• ••
• ••
•
•• ••
• ••
••
• A • •
Ala)= .A)a}.
This re<!l number is called the eigenvalue ('own value') of operator
A, wllich belongs to the eigenstate Ia).
The. measurement of any observable A always yields one of its
eigenvalues, no matter what quantum state the system is in.
Do not read this as if the result of measurement did not depend
on the state of the system. It does, but in a very special way.
The probability of measuring a particular eigenvalue A.CJ of an
A •
..
13)
12)
11)
Figure 2.8 The measurement of an observable A projects the state vector
on one of the eigenstates of this observable
0 X L.
Figure 2.9 The wave function of a particle in a one-dimensional box (in the
lowest-energy state) ·
(· h ·d
( Px ) = Jo'I'' (x)id;'l'(x)dx=O;
fL • (1;)2 d2 TCii
ll.p" = . Jo'I' (x) i dx 'l'(x) = L;
2
.
We see that 1'1') is not an eigenstate of position or momentum:
The measurements of either produce uncertainties, which
depend on the length L. What is interesting though is that the
product of these uncertainties only depends on the fundamental
Planck constant:
6
llx !lpx "" 0.3 n li = 0.571t
2
Equations
of quantum
mechanics
Long ago the great mathematician and physicist Laplace
presented his definitive work on celestial mechanics to
Napoleon. Accepting the book, Napoleon- who was
both curious and knowledgeable about the latest scientific
developments - asked whether it was tru~ that in such an
imporrant book about the world system there was no mention
of the world's creator. Laplace famously replied: 'Sire, I had
no need of that hypothesis.; In a less famous sequel to this
exchange, another great mathematician l).nd physicist, Lagrange,
commented: 'Ah, but it is such a fine hypothesis; it explains
. to. which Laplace allegedly answeredt 'This
many things,'
hypothesis, Sire, indeed explains everything, but permits to
predict nothing. As Your Majesty's scholar, I must provide you
with works permitting predictions.'
.
Science is about explanations, which do permit predictions
·(and the success of an explanation is measured by its predictive
power). In physics, to predict the future is to solve the equations
of motion, which link the future state of a physical system to its
present (and sometimes its history as well).
When introducing the Hilbert space, state vector and operators,
we claimed that this will allow us to keep some essential
features of classical mechanics - ·such as the description of
a quantum system's evolution in terms of a vector - in some
exotic, but comprehensible, space so that once we know the
state of the system, we can predict it at all future times.
The price we paid is pretty high. For a single particle in one
dimension instead. of a two-dimensional phase space we now
have to deal with an infinite-dimensional Hilbert space! Therefore
let us check that we at least obtained what we have bargained for.
A part of the price was the 'split' between the state of the
system, now represented by the vector I\!'), and the observables;
in this case the position and m<:> mentum operators, and p"'. x
This means that when considering the evol?tion of a quantum
system with time, we could either look at the change iri j\!'),
x
o r in and P,, Both approaches are equally valid and both are
being used, depending·on what is more convenient. The first is
due to Schrodinger, the second due to Heisenberg, but it was
Dirac who realized that they are actually the same and that they
are closely related to classical mechanics.
The similarity is easier to see if we start with the Heisenberg
representation .
• ••• • • •••••• •• • • • •• • • • •• • •• ••••• • •••••• ••• •••• •••••• • • • • • • • ••• •••• • • •
•
••
Spotlight: Paul Dirac
••
: Paul Adrien Maur ice Dirac (1902-19841 was an English physicist !
: and Nobel Pr ize winner (19331. :•
•
• •
: Among other import~mt results, he predicted the existence of :
: antimatter and precisely described its properties. The Dirac :
• •
: equation, which he discovered, describes both electrons and :
• •
: positrons in agreement with Einstein's special relativity. Dirac :
• •
; reinvented the- so-called Dirac's delta function Blxl (an infinitely· :
: sharp pulsel. which was before used by Heaviside. :
• •
• •
: Dirac was famous for his precision of speech. Once during his talk :
• •
: he did not react to somebody's 'I do not understand the equation :
•
:• on the top-right-hand corner of the blackboard'. After being :
•
; prompted by the moderator to answer the question. Dirac said: :
: 'That was not a question, it was a comment.· :
• • ••
•• •• • •••• • •••• •••• •• • •••••••• • •••••••••••••• •• ••• • ••••••••• • • • •••• • ••••
~d = {x,H};
t
d:,
t
= {p,H}.
If} 13}
11) 12)
Figure 3.1 Action of an operator in a Hilbert space
: An operator A ac;ts on a vector I\!'} in a Hilbert space: AI\!'}= I\!'').
We can expand both state vectors, 1\!') and 1\!''):
Here lj} are basis states of the H ilbert space (like sine and cosine
fu,nctions in Chapter 2), which play the same role as unit vectors
ex, e1 , ez in our conventional three-dimensional space. Depending
on what system we are dealing with, there can be finite or infinite
number of such basis states, but this will make no difference.
Recall that the scalar product of two different basis
vectors is zero: (jlk) = O,j :f: k. Of course, the scalar product of
a basis vector with itself is the square of its length, that is, one:
(jlj) = IUW = L ,
and after it was acted upon by the operator A) are just soine
complex numbers. Therefore all we need to know about the
operator A is how it changes these into the others.
.
In conventional space the action of operators is well known.
(They are not necessarily called operators, but this is a question
of terminology.) For example, a rotation of a vector in xy-plane
by the angle 9 is given by an operator 6(8). In a Hilbert space of
'quantum mechanics we follow the same approach. An operator
can be written as a matrix, a square table of numbers:
. .. ...
It has as many rows (columns), as there are basis vectors in our
(usual or unusual) space. The action of our operator on the state
vector is then given by the matrix product:
'I'··=
I
L.A•'If•·
k I
The rule for multiplying two matrices, e.g. A and B is the same:
the {jk)th matrix element of the product C=A B is given by the
same 'row-by-column' rule:
( A(t))= L Lvi;VtiAii(t).
; i
:
. Spotlight: Schrodinger's . cat .
Erwin Schrodinge.r (1887-1961 I was an Austrian physicist. Nobel
.::
: Prize winner [1933] and one of the creators of quantum mechanics. :
• •
: His public fame is more due to the Schrodingers cat- a :
• •
: paradoxically alive-an.d- dead animal from a thought-experiment :
: {Gedankenexperiment} he invented to underline one of the key :
• •
: ·paradoxes' of quantum mechanic~. :
• •
••••••• • ••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••
.
We have dealt with the evolution of a quannim system in the
Heisenberg representation, i.e. by tracing the time dependence
of operators, which describe the measurable physica~ quantities
of the system, and letting its quantum state vecto~ stay put. .But
we can instead let it go and fuqhe operators. The main thing
is that the expectation values - things, which can be actually
observed and measured :- should stay the same. When it is
the state vector that changes with time while the operators ·
are time-independent, ·the approach is called the Schrodinger
repr~entation .
.
Let us calculate.the time derivative of the expectation value
written as {IJIIAIIJI). Using the standard rule for the derivative of .
aprod~:~ct, we findt
d(A} =(If' 1
dt
(~.A.H -~.H.A)
til tli
1'I'}.:.-(<'~' I H. !. ).A 1.'1'}~('1' I .A(~.H I'~'>)·
tli tit
On _the other hand, if the operators are fixed and the state vector
changes in time, we get ·
. .
. ifd 1 · d 1 .
The two equations agree, -d 1'1'}=-:-H I'I'} and-d ('¥ I=--:-('¥ IH .
t til t tli
These two relations are actually· equivalent (they are conjugate).
Therefore we have derived the famous Schrodinger equation:
d .
itzdt I'¥}= HI'¥).
4 Dirac showed that the difference between the SchrOdinger and H eisenberg
representations is like the one between different frames of references in
classical mechanics, and the choice of the one or the other is purely a question
of convenience. H e also invented yet another representation (the interaction
representation), but unless you want to become a professional physicist you do
not need to bother with it.
. . .
.deaz - az ,
Usu;tg the propeftr of an exponenttal functton that dz - ae ,
and therefore d;,. = tJeaz, you can check that this is indeed a
solution, if
What does this solution look like? Using Euler's formula, we see
that (assuming cis a real constant)
'P(x, t) =C{cos(k.x- wt) + i sin(kx- wt)}.
•
or - if the system has a defini,t~ energy E and its wave function
iEt
can be written as 'l'(x,y, z)e-..,.-the equation
.
6 The particular solution 'l'(x,t) with definite frequency(= energy) and
wave vector is called a plane wave:
Quantum propagation
One conceptual problem with the use of a wave function is how
a wave can describe the propagation of a particle in a definite
direction. Here again much can be inferred from classical
physics - this time from optics .
•• •• ••• •• ••• •• • •• ••••••••• • • •• •••• •••••••• • • • • •••• • •• •• •• •• •••••• ••• •
•
••
Spotlight: Christiaa n Huygens ••
• Christiaan Huygens (1629-1695) was a Dutch scientist who. among :
• •
: other important discoveries. formulated an early version of th e :
• •
: wave theory of light, which a llowe~ him to correctly explain the . ;
: processes of reflection and refraction as well as the birefringence :
• •
: in crystals. :
••• .••.•• •••.•......• ..... .•..••..•• ..•• ••••...•... .......••• .•.•..•.••• ~•
. .
•••••••••• ••• ••• • • •• ••••••••••• • ••••••••••• • • •• •• • •• • • •• •••••••••• •• •
• •
••
Spotlight: The Poisspn-Arago-Fresnel spot •
•
•• A French physicist, Augustin-Jean Fresnel. further developed the :
• wave th eory of light and showed how it can be used to explain light :
••
•• propagation along a st raight line. ;
•• • ••
: · Simeon Denis Poisson, another French physicist, was present at ••
•
•• Fresnel's presentation of his resu lts and immediately objected that - :
•• •
• if this.theory is right - there always must be a small light spot in the :
•• •
• centre of a shadow cast by a round screen, which clearly makes no :
•• •
sense. ••
• •
•• •
: Another physicist who attended the presentation, Fran~;ois Arago, :
• •
: right after the meeting went to his laboratory to conduct the ••
• •
:. experiment- and observed the spot, predicted by Poisson. At the :
: next meeting he reported his ·discovery, which is now called the ;
•
: Fr-esnel, Poisson. or Arago spot. It decided th e argument about the :
• •
: wave nature of light. :
• •• •••••••••••••• •••••••• •••• •••• • •••••• •••• •• •••••••••••••••••••• •• •••••
•••
The wave theory of light was well established in the 19th
century, though it hails back to Christiaan Huygens, a Dutch
contemporary and competitor of Newton. In the process of .
its development, the question of how a wave can propagate as
a ray of light was successfully answered (with a contribution
from Hamilton). Roughly speaking, if the wavelength is small
enough, one can shape the waves into a beam in a definite
direction.
(p) :... ('P i pl'l') = [ {C·e~ e~ 7!( Ce -o;z /7}dx=ICI p[~~ e.e• dx
2
= ICF P[ldx.
<P> =p.
•
'¥ n (X)= en SIDon the segment 0 < X< L, and '¥ n (.x) =0'
L
outside. Here n is an integer, and the coefficient C" is chosen
so as to normalize the wave function. Substituting this in the
stationary Schrodinger equation (and taking into account that
d2 SID
dx . ax =-a2 sm
.
ax')
, we fin'd:
2
. 1rnx _ fl.
E Cn Slll -
2
(1rn)
L
2
C . 1rnx
n SID L '
L 2m
•
2
This rdation holds if, and only if, the energy E . tl ( nn ) .
2m L
This is important; a particle in a box cannot have an arbitrary
energy. Its energy is quantized, taking one of the allowed values:
2
1i2 ( nn )
E,. = 2m L ' n = 1, 2, ... .
.
(We start from n =1, because if n =0, our wave function will
be identically zero, that is, our box contains no particle). ·
This quantization is different from the one in a harmonic
oscillator; the energy does not change in chunk~ of /i(J)o. Instead
the energy difference between the allowed values grows with
the number n. The zero-point energy is also different: it is
2
liz ( n )
~ = 2m L ·But it is energy quantization all the same·. A
particle in a box has what is called a discrete energy spectrum,
. -
that is, a set Of sharply defined energy levels. We should not be
too surprised that it differs from the spectrum of a harmonic
oscillator: if a particle was constrained to move around the
origin by a continuously growing, but always finite, force of the
Hooke's law, here it moves freely inside the box but is.sharply_
reflected by its rigid walls.
2
Since E = fm
and energy is quantized, the momentum must be
quantized as well:
linn
Pn = L ,
.
The one slight problem here is that if you calculate the expectation
value of. the momentum operator p in a quantum state
'¥, ( x) = C, sin n;: , you will find that the corres.Ponding integral
is exactly zero: · .
0 0
&~
•• •
• ••
•• •
•• •
/
J--- - - ••
• /
••
••
• X ••
•• •
•
•• •
: Periodic boundary conditions in one or two dimensions are easy to :
•
: visualize: you can imag ine that your particle 'lives· on a ring or on :
•
: the surface of a torus. To 'see' it in three dimensions you may need :
• •
•• some mental effort: :
•••••••••••••••••••••••••••••••••••••••••••••••••••••••••• ••• ••••••••••• ••
Mathemati~ally, the trick means that we should look for periodic
solutions to the Schrodinger equation, so that 'l'{x + L) = 'l'{x).
You can check directly that two such solutions are
rr~+ _ 1 i(p,r - E,t)lh dm - _ __!_ i(-p,.x-E,r)IA if J p _ 2nnlt _ nh
T. - rr e an T. - rr e , on y , .:- L - L ,
~L . ~L
2
and, of course, E, = f~.
These states are eigenstates of the momentum operator with the
eigenvalues ±Pn: .
1i d 1 i(p,.r- E,t) 1 i(p,r- E,.t)
P~'¥+, -- - -
i dx.J[
e A
vL
L.e A = P. '¥,• ·,
= pn IT
~u•- -- _
n _d l ei(-p,:- E,•l 1 i(- p,x-E,rl
PT, i dx J[ =-p,. J[e A =-P,. '¥~
·.
· If we calculate the expectation value of the momentum operator
in the state '¥~,we will get ±Pn: these states are running waves,
which run to the right or to the left.
Let us make two more remarks.
First, since the length of the segment L dx ,'the momentum =J
qua?tization condition in a ring is nothing else but a version of
the Bohr-Sommerfeld quantization condition p dq = nh. J
Second, you may ask what happened to the uncertainty
principle? After all, the momentum of the particle in the states
'¥!is determined, tl.p = 0, while the uncertainty of the position
cannot be more than the length of the segment L. The answer
is rather subtle. Imposition of periodic boundary conditions ·
on a segment is not quite the saine as constraining a pa~ticle
to a ring of the same circumference. In the fonner case we
essentially assume that the particle can travel indefinitely
far, but only in a periodic environment {e.g. a crystal), which
removes the problem.7
<A>J =c2(<w11AJ '~'1> +<w2IAI '~'2> + <'~'1 [AI w2> +<'~'2IAI '~'1>)
=C2((A)1+(A)2) +C2(<wtiAJ 'P2)+.(W2IAJ 'l't)).
The first bracket does not cause any objections: this is the sum
~
•
••• ••• ••• •• ••••• • •• ••• •• •••••• ••• •• •• ••••• •• •• •• ••••• ••• ••••• ••••••••
•
•
Key idea: Wave superposition ••
••
• Wave amplitude = f(x) + g(x) •
•• ••
• •
•• •
•
•
• •••
••
• ••
••
•• Destructive Interference ..•
••
•• Lfl_ •
••
•• +
__n__r - --- •
• ••
• •
•• •
•• •
•
Constructive interference
•••
••
+~:lJl
•
• •
• ••
• •
•• •
••
•• Superposition of waves: the wave am plitudes add. Therefore two •
•• ••
•• waves with the same wavelength and frequency can cancel or
• ••
•• enhance each other depending on their relative phase difference. •
• ••
•
··· · ····· ·· ····· ··· · ············ ·~ ··· ··· ···· · ···· · ···· ··········· ······
11} 12}
Figure 3.3 A quantum ensemble: the system can· be in any of a number of
quantum states, with certain probability
•
Here we. not only average over each quantum state 1':1'n ) from
the ensemble, but also over the ensemble itself. The rea1 positive
numbers P, are the probabilities to find the system in the state
1'¥). Of course, they add to unity since the system must be
certainly (with probability 1) found in some state. By the way,
if a quantum system can be described by a single state vector,
it is said to be in a pure state, and if not, then in a mixed state,
which is quite reasonable: then we deal with a mixture of
contributions from the ensemble. ·
The above formula is not always eliSY to use. We may already
know the matrix elements of our operator A in s9me nice basis,
but the ensemble states. l':l',) do not have t o be (and usually are
not) elements of any basis. ·B ut we can always write any I':I',) as
•
1'1'n) = L Cn;ii), •
I
(A)= LLP•;<iiAik).
l I
·~ dp . [A HA]
tTL dt = - p, •
<A>=rr(f>A},
will be the same.
8 Mind that ill a{'¥1= -<'I'IH ! Ope;ato~ act on th~ bras from the right!
. dt
The von Neumann equation would be exact if it inCluded the
entire Universe. This is, of course, impossible and unnecessary.
After all, we are interested in a particular quantum system and
do not care much what happens to everything else. Therefore,
instead of the Hamiltonian and the density matrix of the
Universe, we modestly use in this equation only the density
matrix and the H amiltonian of the system we are actually
interested in. Unfortunately since our system does interact with,
if not everything else, then at least with much of the system's
environment, this will not be enough. One has to include in. the
equation some terms that will describe this interaction. As a
result, one obtains the master equation
·~ dp -I p,
'"at= A HA] [A
+Ap].
•• • • •• •••••••••••••••••••••••••••••••••••••••••• • •• • • ••••••••••••••••
•
••
Fact-check ••
•
• •
•• 1 Heisenberg equations ofquantum mechanics describe the ••
• •
•• evolution of ••
• •
••
• a state vectors •
••
• •
•• b operators •
•
• ••
•• c Poisson brackets
• ••
•• d density matrix •
•• ••
• •
•
•• 2 The commutator of two operators is the quantum analogue of !
• ••
• a Schrodinger equation
••• ••
•• b Hamilton function ••
• •
c Rotation •
•• ••
• d Poisson bracket •
•• ••
••
•
• ' · means that
••
••
•
•• a It has a definite momentum and no definite position •
•
••
••
• b It has a definite position and no definite momentum ••
•• c Both its position and momentum are indefinite and satisfy ••
•
•
•• the Heisenberg uncertainty relation ••
•• •
• d Both position and momentum are.definite ••
•• •
•
•• 5 An operator in Hilbert space can be represented by a •
••
•• •
• a square matrix ••
•• ' . •
•• b rectangular matrix •
••
•• ••
• c row vector
•• •
••
• d column vector
•• •
•
••
6 The matrix product is
•
•
• •••
•• a commutative ••
•• ••
• b distributive •
• •
•• c associative ••
•• ••
•• d not defined •
•
• ••
•• 7 The matrix element of an operator is •
•• •
•
•• •
a a real number •
•
•• b a column vector •••
•
• ••
•• c a complex number •
•
••
• d . a row vector ••
•• ••
• •
•
•• 8 A pure quantum state is a state of a quantum system, which •
•• •
can be described by •
•
•
• •••
•• a an ensemble of quantum state vectors •
•
•
•
b a density matrix ••
• •
•
• c a statistical operator ••
•
• ••
•• d a single state vector •
•
e
•• ••
•• 9 . A mixed quantum state is a state of a quantum system. which •
• can be described by •••
•• ••
• . •
•• a an ensemble of quantum state vectors •
•• •
•• b a density matrix •••
•
•
• c a statistical operator •••
• d a single state vector ••
•
•
•• •••
10 The density matrix satisfies the following equation:
•
• •••
•• ••
a Liouville
•• • •
: b. von Neumann :
• •
: c Liouville-von Neumann . :
• •
: d Heisenberg :
• •
•••••• • •• •• ••• •••• ••••• •••••••• •• • ••• •• •• •••• • • •• •••••••• • •••• • ••• ••••••
7
••••• ••••• ••••• •• ••• •• •• • ••• •••• •••• •••• •• ••••• •••• ••••••• • •• •••••••
••
Dig deeper •••
. Further reading. Quantum evolution, Heisenberg and ••
• •
•
: Schrodinger equations. ••
•• ••
: R. Feynman, R. Leighton and M. Sands, Feynman Lectures on ••
• ••
: Physics, Vols I, II and Ill. Basic Books, 2010 (there are earlier
• •
: editions!. Vol. Ill (Chapters 7, 8, 16, 201. •
•
•• ••
: E. H. Wichmann, Quantum Physics (Berkeley Physics Course, :
• •
: Volume 4), McGraw-Hill College, 1971. Chapters 6-8. :
• •
••• •••• ••••••••••• •• •••• •••••••••••••••••••••••••••••••••••••••••••• • •••
•
We have done a lot of heavy lifting in order to explain that the
basic structUres of qua~tum mechanics share a lot with those
of classical mechanics. It is not our fault that these similarities
lie pretty deep and can be seen only using some mathematical
tools. But now we can take a breath and apply the.se tools to
simpler quantum objects, which are simpler precisely because
they do not have classical analogues.
We have seen examples of quantum systems, which ~ave Hilbert
spaces with infinitely many dimensions {that is, with infinitely
many basis vectors: {li>}: fO), !1>, j2), ·· · ). But a quantum
system can have as few as two dimensions and such a system is
much easier to investigate. (A one-dimensional system would be
eyen simpler, but as such a system can be only in one and the
same state all the time, there is nothing to investigate there.)
.
We wiJl use the example of quantum bits, or qubits. In principle,
any quantum system with a two-dimensional Hilbert space can
be a qubit. In practice there a·re certain additional requirements,
which such a system must satisfy. They stem from the intended
use of qubits as the basic units of quantum computers, and their
physical realization as mostly quite macroscopic devices. But
h~re we wiJI consider the behaviour of ideal qubits.
•
•• ••
• On the contrary, the spin angular momentum of quantum particles ••
• •
•
• [for example. electrons] is not reducible to anything else and ••
• •
•• is their fundamental and unalienable property. [The angular •
•• ••
•• momentum due to the motion of quantum particles in space is ••
• called the orbital angular momentum.]
••
• •
• •
• •
• If a quantum particle is 'at rest' (that is, its kinetic energy has ••
•
•• the minimal value allowed by the uncertainty principle]. its spin ••
• •
1 Despite significant progress since the turn of the centuiy, the very
possibility of quantwn computihg on a practically useful scale remains a .
matter of serious controversy, which can only be resolved by experiment. We
will discuss this topic in Chapter 12:
J.lN =5.0507 ... ·X 10- 27 Jff, that is, even smaller. Nevertheless
this did not stop researchers from using spins as qubits.
One approach was based on using a large number of identical
molecules, each containing several atoms with nuclear spins
1h (Figure 4.1)- e.g. 1H, 13C or 19F. These spins interact with
1
. !1f;.: Fe
/f"-
C2H2
co CO
10) 11)
Figure ' ·2 A quantum dot-based qubit
Gate voltage
(a)
11)
(b)
Figure 4.3 Superconducting qubits: [a) charge; (b) flux
•
4 Qubits-and pieces e
Qubit's state v.ector, Hilbert space,
Bloch vector and Bloch. sphere
The statement 'the Hilbert space of a qubit is two-dimensional'
means simply that any quantum state of a qub~t can be written as
Here 10) and 11) are mutually orthogonaP unit vectors, and a
and ~ are almost arbitrary complex numbers.
The unit vectors 10) and II} form the basis of the Hilbert space.
Physically they correspond to two distinct quantum states of
some physical system, the examples of which we have seen.
The coefficients a and ~ are 'almost' arbitrary, because they
must satisfy the condition
X
11}
Figure 4.4 Representation of a qubit state vector as a vector (Bloch vector)
in 3D space .
while for e= 1[
(Since we are at the pole, the azimuthal angle does not matter-
any direction from the ~outh Pole is due north!)
What happens when 9 =7tl2? T hen our vector p lies in the xy-
plane:
. n n. .n . . n n. ·n.
p=sm- cos ...·ex +sm-smi/Jey +cos-ez = cos't' ex +sm ... ey.
2 2 2 .
1.
'~~)-
T
nlo) +e~ sm-1
-cos -
4
. nl )-_IO)+ei¢
4
r::;
11) _ IO)+(cosi/J+isintJ>)I1)
-
...;2
r::;
...;2
•
1 .
1-------~------~,~x
. .
Figure 4.5 Qubit state vector in the xy-plane
Now we see that the azimuthal angle 4> of the vector p is the
same, as the angle, which determines the phase of the complex
coefficient ~ in the complex plane. As 4> increases from zero
to 21t, the complex number Pmakes a counter-clockwise turn
abou~ the origin in the complex plane - arid so does the vector
p , turning counter-clockwise about the vertical axis. This
is, of
course, tru~ not only when plies in the xy-plane (Figure 4.6).
10)
X
11)
Figure 4.6 The evolution of the Bloch vector p
•
Key idea: Transpositions and Hermiticity ••
•
•• An operation. when a matrix is flipped on its diagonal. is called a ••
•
••• transposition and denoted by a superscript T: ••
• ••
•• •
••
•
••
• ••
• • 0
•• •
••
•
•• The same can be done to a vector column or a row: •
•
• •
(~ r=
•• ••
~} •••
••
•• lab);(abJT = ( ••
•• ••
•
•• •
• The combination of a transposition and a complex conjugation is ••
•• •
• called the Hermitian conjugation and denoted by a superscript + ••
•• •
• [or a dagger) : ••
•• •
(~ ~ r=(
•
•• a• c
} •
0
••
•• •
• b' d' •
• •
• •
• ••
•
•• + ••
• ••
•• a = [a' b' );[abJ+ = a·
•• •
b b' ••
• •
•• ••
•• For example, a bra vector in the Hilbert space is the Her.mitian ••
•• ••
• conjugate of the corresponding ket vector. and vice versa: •
•• ••
• •
••
•
•
•••
•• •
•• '•
•• A matrix that does not change after being Hermitian-conjugated is :
•
•• called a Hermitian matrix: ••
••
•• •
•• •
•
• •
•• •
••
•• •
• • •
: Here numbers a and d must be real. Only Hermitian matrices can :
• •
.: represent physical observables.
.
••••••••••••••••••••••••••••• •••••••••••••••• •• •• •••••••••• • •• •••• • ••••
::
Qubit Hamiltonian and Schrodinger
equation
Since the Hilbert space of a qubit is two-dimensional, any
operator 'of a physical observable- anything that can happen
with a qubit and can be measured - is represented by a
two-by-two matrix. This is indeed the simplest one can· go in
physics.
Such small matrices we can draw directly - this is simpler and
clearer than a more general form (like (a,)), which we had to
use when dealing with infinitely dimensional H ilbert spaces. It is
then convenient to represent the state vector as columns (for ket
vec~ors) or rows (for bra vectors) of two numbers:
a
I'~')= al o)-+- Pit)= p ;('I' I=a· (OI + p· (tl =(a· p· ).
A=( c+id
a c~id )
b '
.
Figure 4.7 Two-well pote ntial
1 1
--e:a --ll/3
d a
'II -
I
1
=--
€ ll a - 2 2
•
dt . /3 2 ll -e: /3 1 1
--lla - - e:/3
2 2
Let us start from the state 10). Then initially a= 1, p =0, and
therefore · da
dt "" 0; d[3
dt "" 2if!1i · This rna
· k es sense: t h e contr1·but10n
·
.
from the state 11) that is, the chance of finding our system in
state 11 ), indeed changes at a rate r- A. The same, of course,
you find if start from the state 11) inst~ad.
Such a solution written as 'I' I E)= ; exp{- iit) will satisfy the
stationary Schrodinger equation:
1 a a
{3
=E {3
2
This makes more sense if you look at Figure 4.8. You will see
that at a large bias (when the wells are far apart) the state of the
system is almost as if it was in either one, or the other of these
wells. In other words, the state vector of the system is either
.
IL) = ( ~ )orj R) == ( ~ ) (calling them 'left' and 'right' is, of course,
E
IL} lA}
Figure 4.8 :rwo-well potential: energies and wave functions of the ground
and excited qubit states
t= T/2
z
11
\ \
\
\
\
•
• •
•
• [Approximately, because the Earth also rotates around the Sun. and :
• •
• its axis also wobbles slightly because of the imperfectly spherical :
•
'•.• shape of th e globe and the influence of other celestial bodies.)
•
•
•
• •
• If a vector A of constant length rotates about its origin with the •
• •
• •
•
• angular velocity n. its time derivative is given by a simple formula, :
• •
• which involves the cross product of two vectors: :
•
• •
• •
• •
• d ••
• - A = D x A,
• •
• dt ••
•
• •
• ••
• that is, •
• ••
•
• •
• •• •
• dA dA dA
•• •
• --=-x :: Q A - Q A · r :: Q A - Q A· z :: Q A -Q A. ••
•
•
dt Y Z Z y' dt 1 X z ' dt
X _ X y y X •
• ••
•
•• ••••••• •• •• •• •• •• • • ••••••• •• • • • • •••••• •• • •••••••••••••••••••••••• •• •••
•• • ••••• ••• ••• •••••••••• • • • ••• ••••••••• •• •• • •• • •• ••• • ••• ••• •••• •• •• ••
••
Case study; Cross produ ct of two vectors •
••
•
••
•
•
A •
••
~.
•
•
•
••
• .. •
•
• .. ••
•
• .. •
••
•• .. •
•
•• .. ••
•. •
• ••
•• '•'. •
•
• .. •
•
•• •
\. 8 •
•
• .• •
•
• •
•• .,-........ .... .... ~
·.......... ••
•• ,, ,.....
,, ................ .':. e •
• •••
•• AXB ....... ·.
• ••
•• •
•
• ••
•• The cross product of two vectors A and 8 is a vector •
• •
•• •
•
;: A x 8 =[Ay8z - Az8y]ex +[Az8x -A 8 ]e + [Ax8y -Ay8x]ez . ~z y
••
• •
•
• ••
•• The length of this vector is •
•
••
•
•
• lAx81= A8sin 9 , •••
•• ••
•
•• ••
where 9 is the angle between A and 8 [therefore if two vectors ••
•• ••
• are parallel. their vector product is zero).
• •
•
4 Qubits and pieces e
. .
•
• To have a visual idea, imagine that you are turning a screw tram
•
•
•• vector A to 8. Then the screw will move in the direction of the
•
: vector product
•• •••• •• •• •••••••••••••••
•
•• •••••••• •• •••••• •• ••••••••••••••• ••• ••• ••••• ••
•
obtaining an arbitrary state of a qubit starting from some,other
state remains the same. ·
z
11)
Figure 4. 11 Controlling the Quantum state of a qubit
A=
A ( a c-id )
c+ id . b '
'
a+b a- b
0 0
•
A= 2
a+b
+
· 2
a---b + ( ~ ~ ) + ( ~ -~d )
0 0
2 2
•
=a /3+ f3•a ,
Consider, for example, a charge qubit, when in the state 10) the·.
electron is on the left quantum dot, and in the state II) on the
right one. Then the operator of the electric charge on the left
dot (in the units of electron charge) can be written as the matrix
QL =( ~ ~ )=I( ~ 1 1
_ 1°+ 1 )= ~ (uz +uo)·
Indeed, the.expectation value of the electric charge
.
·····~·· ·· ······· · ··· ·· · · ··~···················· · · ······· · ··· · ······•
••
Key idea: Pauli matri<::es · •
••
• The Pauli matrices greatly simplify the manipulations with qubit
•• •••
observables.
•
• ••
•
• They are all tri'lceless: ••
• •
•
•
••
• tr (il =tr (i• =tr(i y =0. •
• ••
• •
•
• •
•
•
You can check that ••
• •
• ••
• = 1· = 1·' =1 ' •
• (j . (j (j . (j (j . (j
• xx'y y z z ••
• •
•
• and that •
• ••
•
•
•
•
•
(j · ( j
¥ y
.
=./ (j . (j · ( j
z' y l
=
.
f (j · (j
x' 1
· (J
~
.
=I<J .
y
.••
•
• •
••
.••• •• ••• ••••• •• ••••• ••• ••••• • •••• • •• ••• • •• ••••• •• • • •• • ••••• ••• ••• • • ••••
••
. ~
.,.,_ dp
tn-d =
[HA A]
,p.
t
The role of the unit matrix is here simple: since all Pauli
matrices have trace zero, the unit matrix must ensure that
the density matrix has unit trace. All the information about
the qubit state is contained in the three coefficients Px>Py>P.?
which we have gathered into the single vector p (which in the
expression for the density matrix is dot-multiplied by the
vector l1- all this happens in the 'space of all two-by-two
H ermitian matrices').
A simpJe example is the density matrix of a qubit, which is in
a pure state described by a state vector I'P). It can be written
simply as
iJ =I '~'}('~'I,
that is,
You can check that all the coefficients in the round brackets are
always real numbers.
An important point is that the vector p in the expression for the
density matrix is the same Bloch vector, which we introduced
earlier in this chapter when describing pure states of a qubit.
While the Bloch vectors of pure states had unit length, with
their ends on the surface of the Bloch sphere, the ends of the
Bloch yectors describing mixed states are inside the Bloch
sphere (Figure 4.12).
z z
Pure dephasing Relaxation
JO) JO)
. ,, ·.
).
. .. . . .. .
-.
~\
X X
11) 11)
As before, the Bloch vector of a mixed state will rotate with the
angular velocity Q determined by the Hamiltonian of the qubit,
#tp = Q x p But now we can take into account the influence
of the environment. The resulting equations are also called the
Bloch equations and have the following form (Figure 4.12):
d .Q !2 Px
dt Px = yP~ - ~Py - y ;
2
d Py
dt Py = .QzPx - .QxPz - y ;
2
d p~ -(p~)
dt Pz = .QxPy - .OyPx - y •
1
;
Dephasing
·. ~ ~~ ; - / CJ c:=;;
0 ~c:3 c; rc::-;~
Relaxation
Figure 4.13 Dephasing and relaxation in NMR
8 This means, in particular, that all the conneccions between the qubit
and the electrical equipment outside the fridge must be very thoroughly
engineered to avoid heat and noise entering the fridge.
~ 1
H=--
2
·.
15r---~--------------
. ------------~
• h!Tcoh
i5 Microwave spectroscopy
- EJ{~) cos {7t41/$o)
0 +---r---r--.-..-- ~-
0.0 0.2 0.4 0.6
¥$o
4jlofe = 0.51
t/$0 = 0.31
200 600
At {ps)
.If the qubit is·in state 11) (that is, there is an extra Cooper
pair on the island), the two extra electrons will eventually go
across the insulating layer into the probe electrodeand will be
registered by the ammeter as a tiny current pulse. If the qubit
is in state. l1), then there are no extra electrons on the island
and, of course, no current. Thus by measuring the current,
one can determine what quantum state· the qubit was in at
the time of the measurement. In the experiment this cycle was
repeated many times every 16 nanoseconds, and the current
was measured continuously. Therefore the measured current
followed the probability ~ (-r) to find the qubit in state 11) at
the time "t. This measurement produced a single dot on the
experimental graph in Figure 4.15.
In order to find the dependence~ (-r) , the whole scheme had to
be repeated for each pulse duration "t. This is a taxing procedure
but the result was worth it: the graph resulting dearly shows
a sinusoidal dependence of ~ (-r) , that is, the tell-tale quantum
beats in a superconducting charge qubit. .
Gates
1.5
0.5
nP 0.5
Figure 4.16 Quantum beats in a double-quantum dot charge qubit (from
Hayashi et al. 2003: 2268041
7, Fact-check
•••• •• •••• • •• • •• • • • • • •• •• • •••••• • • • • • • ••••• • •••• • ••••• • • • •••• • ••• •••
:
•
•• •
••
• 1 How many quantum spin states does a system with spin 3/2 •
•• •
•
••
have? ..
•
•
•
•
• a 3 ••
• •
•• b 4 •
•• ••
c 8 •
• •
•• •
•• d 2 •
••
• •
•• 2 Why is an NMR quantum computer not practical? •
••
•• •
•• a it uses toxic chemicals •
• ••
• b it uses liquids •
•• •
•
• c it works at low temperature •••
•
•• ••
d it is not scalable •
• •
@
. .
• •
•
•• 9 NMR uses the following physical process: ••
• . ••
•• a compresston ••
•
b evaporation •
•
•
••
. ••
•• c precessiOn
• •
•
d expanston ••
• •
•
•• ••
•• 10 Bloch equations provide an example of: •
••
•• •
: a Schrodinger equation , :
•
: b Boltzmann equation :
• •
: c Liouville equat ion :
• •
·• d Master equation :
•
••• •••••• • •••••••••••• • •••••• • • • ••••••••••••••••••••••••••••••••• •
•
• • •••••
.
• •••••• • •• • ••••••••••••• • ••••••••••••••••••••••• • •••• •• • • •• •••• • • •••
••
Dig deeper ••
•
Further reading L Quantum mechanics of two-level systems. ••
••• ••
•• R. Feynman, R. Leighton and M. Sands, Feynman Lectures on •
• •
•• ••
Physics. Vols I, II and Ill. Basic Books, 2010 !there are earlier
•
•• •••
editions). Vol. Ill !Chapters 6, 7, 10, 11).
•
• ••
•• .Further reading II. Quantum bits. ••
•
• ••
• M. Le Bella c. A Short Introduction to Quantum Information and ••
• •
•• Quantum Computation. Cam_b ridge University Press, 2007 . •
••
•
•• ••
• Chapter 6.
• •
•
.:
:· A. M. Zagoskin, Quantum Engineering: Theory and Design of
'
Quantum Coherent Structures, Cambridge University Press, 2011.
.
:
:
• •
: Chapters 1-3. :
• •
• •• • • •••••• • • • • •• • • •• •••• • •• •••••••••••• •• •• • ••• •• ••• ••• ••••••••••• •• •••
Fact-check Answers 9
CHAPTER 7 CHAPTER9 CHAPTER 11
1 (a) 1 (c) 1 (b)
Ct...UfiiCM..
. a, . .
.
.
as
~
. a,
. ..
F.lgure 5.1 M~$Urement. state vector prqjaction ancl'change in the
tlassialapP!'ratus ·
. .
& · · · · · · · · ·
Spotlight:
.
· ·
)Qhn
· · · ··· ··
. von Neumann
· · · · · · · ·
· · · · ··· · ·
. .
· · · ·
.
.
.
:
· • • John von·Neumann [1903-19571 was a Hungarian-American :
• •
· mathematician and physicist. He produced the first mathematically ;
·rigol'llus exposition of quantum mechanics and contributed to the ;
development of nuclear weapons. He was also one of the founders :
•
a
of ml>dern computing and obtained large number ot other :
: . exciting and highly~nfluen!ial results in many areas of pure and :
.
: · applied mathematics, physics. economics and engineering.
.
· ·· ···~·· · ···~ · ······ ·· · ················· ···· ············· ··········-~·
. E
P= I,P;Ia;){a;l.
I
The process of such tra.nsfonnation is in many: cases.virtually
· instantaneous and completely uncontrollable. This is why
it is often ca Ued the collapse of the uiave function (or of the
.qllantum state).
• 0
Bulk
superconductor
v
<tiD ~
l.
T
@ coo
)
• ?
0~
0 I
2 Wh)' is the Bloc-h vector in the yz and not in the xz-plane (or any othe-r
plane containing the z-axis)? It is because of the imaginary unit i multiplying
rhe coefficient a< 11}. Recall rharrhe phaoe shift bcrween rhe complex-
number coefficients in the exp·ression for the s.rare voctor 1'1') is rcfleaed in
rhe azimuthal angle of rhe Bloeh vecroL
z .
11}
• •
: produce) the current pulse in the probe electrode. ~
! ...... : ................ ....................... ......... ......... ...... ......
n=~(<J.-<J,)=( ~ n-
Indeed,_the state IO}=(b) (~here tbere·are no Cxu-a elewons on
the
. 'i.sland) is the eigenstate of this.operator
. with the eigenvalue.0:
0 0 ) .
= 2e tr ( O P, (l") = 2eP,(T).
. =··--
HI 1(06.) and D .. -6. ex.
1
2 6. 0 II
@)
.
Now the angular velocity once again points along the z·axis.
Therefore the Bloch vector will keep "turning around it, tracing
one of the parallels on rhe Bloch sphere, but thi$ rotation is not
important. Indeed, it poe~ not change the z-componenr of the .
Bloch vector, and this is -loo~ely speaking - the component we
arc measunng.
The measurement, that is, the escape (or the non-escape) of the
two electrons from the island ro the probe electrode, redoices
the pure state (with its Bloch vector lying on the surface of the
Bloch sphere) to a mixed state (with the. Bloch vector inside the
Bloch sphere). This density matrix is ·
.
11}
Figui'I!_S~ Superconducting charge qubit ex~riment: Bloch vector
rotation in xy-plane and the projective measurement
3 Note that rhe relaxation time T1 does not appear in the above equation:
tile measurement by itself di>es not bring the system 10 an equilibrium
state. In tbe language of rhe Bloch vector and Bloch sphere, during the
measurement proeess the Bloch vectOr will spiral in the same plane, as in
Figure S.6.
.
II . I
'
I 1 · <C::h.
\-:
\J. i
p lit . p ~~F
-- ·i'i~-;-..
\ ·
t.p -- l'(·...
I 'f +/lp
I \ I .
x- xo+x,
- 2 .
.
The uncertainty of this measurement is
·- 1
'"SQL=-
2
~fiilt
~.
m ·
ill~~
dt a·);,
I ffla·)I = h·l
I a·}
I ·.
Here (o.FJ) is the dispersion of energy in tbe .statt: l<1aJ, that is,
sEJ "'(aolH2 lao) -({aol Hlao>t .' · •
'
II (.5~>}"' =
=lim (1-(At) 1.
2
lim
n-too
(t+ =-)n = e•·
n .
ifl·F~ct~~-h~~k .................................................... ~
~
: 1 The measurement requ1res
. .
·:
•• ••
~ a a measuring device, which obeys the laws of classical :
;
•
phySics · · !•
: b a measuring device. which obeys the laws of quantum :
• •
: physics :
• •
: c · an obser.er. who can manipulate the measur ing device :
• •
: d a sentient being capable of making an observation ••
•• ~
• •
2 The projection postulate states that after the measurement of ••
•••
•
•
an observable A
.
..•
•
•
•
• a the state of the system will be an eigen~tate of A ••
• •
•• b the state of the system may be an eigenstat~ of A ••
.• .
•
• c the state of the system will instantaneouslY. become an
•
• ••
•• eigenstate of A ••
•• •
..
•
•
• d the state of the system will be a superposition of
eigenstates of A ·
•
•
.•••
••• •
•
•• 3 Quantum randomness is ••
•••
•
•
a the result of interactions of quantum system with its ••
•
•
environment •
•• ••
• b a fund~merital property of Nature ••
••
•
•
•
•
• c the expression of our limited knowledge •
•
•• d the "result of measurement ••
•• •
•• ••
•• .
4 · The weak continuous measurement of an observable A'allows ••
•
.
•
•.
••
one to •
••
.••
•• a determine what will be1he outcome of a given
•
• measurement •
•
.
•
• b control how fast the quantum state is reduced loan
•
•
.•• .
•
.
•
•
unknown beforehand eigenstate of A •
•
•
•• c relax the quantum system to its equilibrium state ••
• •
.• d eliminate quantum uncertainty •
•
•
•
• illustrates the effect of Heisenberg uncertainty relations on
the measuring process of position and momentum
••
•
•
•••
•
••
• II provides an argument in favour of photons having •
••
••
momentum ..
•
•
•
• c shows that it is impossible. to measure position or •
•• . •••
•• momentum with an arbitrary accuracy •
•••
•
• d reduces the He.isenberg uncertainty nelations to the effects
•
•• ••
of the measuring device·
•
••
••
.•••
• 7 Quantum non-demolition measu rements •••
•••
••
••
•b · allow us to violate the Heisenberg uncertainty relation
allow us to measure an observable with an arbitrary
•
••
•
•
•
•
• accuracy ••
.
•• •
•• c leave i he system in the same quantum stale as it was: ••
• •
• before the measure.ment •
..•
••
••
d 'di_s rupt 'the quantum state of the measured system
••
••
•
•
• 8 The time-energy uncertainty relation ••
••
-•• . •
••
a · is the
. .result of time and energy being non-commuting
•
••• operators .•••
•• b ~different from Heisenberg uncertainty relations
•• •
•
c
. follows from time and energy being conjugatevariables
•
•
•
·.
•
•
•
• d prohibits the mea·surement of energy with an arbitrary •••
••
.••• accuracy •
•
• •
•
• 9 The problem of quantum-classical transition is about ••
• •
• •
•
•• a how the laws of quantum mechanics emerge from the . •
.• laws of classical mechanics
•
••
•
• ••
•• b how the laws of classical mechanics emerge !nom the •
• ••
•
• laws of quantum mechanics ••
•
• c what is the source of dephasing •
•• •
•
• d how to resolve the internal contradictions of quantum . •
mechanics .•.
•
•
•
10 The quantum Zeno effect means that frequent strong •
••
mel!surements of an observable •
••
•
a increase the probability of its leaving the initial quantum .••
state :
•
b result in the exponential decay of the probability of staying :
•
in the initial quantum state :
•
c freeze it in an arbitrary initial quantum state ;
• d ·freeze it in the initial eigenstate of that observable :
• •
······· · ········ ········ ··· ······ · ··~·· · ······ ···· · ·· · · ··· ·············
• ••
: Quantum Coherent Structures, Cambridge University Press, •
• •
; 2011. Chapter 5. :
: .••.. .•....•... : ...•.•.•.••....•...•••.. .... ...•••••••...••.•••••....•:
..
Strange an·d·
unusual.
We have spent much effort on elucidating both similarities and
dissimilarities between quantum and classical mecbaniCS: Some
of them are pretty subtle. But the ability of a quantum system ro
go tluough solid waUs - the quantum tunnellit•g - was certain .
to attraCt much attention as soon as it was discovered that it
must follow from quanruni theory.
.We have taken paihs t~ ~nderline the deep similarities between
qu~ntum and classical mechanics, in order to better understand
the runda'mental differeria:s between them. In shori:, these .
differcrtceS are that:
. . .
In d assical JDCdianics the state of the system is essentia.lly
·identical to the set of physical quantities which characteri:ze.tbe
system in this state; they can be considered the coordinates of
the state vector. · · ·
In quantnm mechanics the state and these quantities are
separate: the observables are operators, which act on the state
vector:' · .
. .
In classical mechanics all aspects of a system's evolution are.:.. in
principle - fully deterministic. · ·
.,
.•.....•.........•.....••..•..•......•...•
. . .
.... ,. ..... .....•...•. •...•
· Spotlight:. Ernest
.
Rutherford
..
· .:
~
..
·---;-
;
Emest Rutherford
. (1871 -1 9371. first Baron Rutherford
.
Nobel Prize for Chemistry I1 908J: was one of the greatest
of Nelson; .; .!
; ·experimental physicists of all times. His main discoveries were in ;
; the field of radioactiVity. To begin w ith, he coined the terms 'a and ;
.
; 13 rays· for the two of prevalent types (!f radiation. Duri~g ,his work
; . at McGill University in Montreal. Rutherford and Frederick Soddy
..
;
:
;· 11877~ 1956, Nobel Prize for Chemistry 1192111 discovered that !
; radioactivity is due to transmutation of elements (wnich at the time ;·
! was considered a fantasy remini.scent of alchemy- atoms were ;
! called 'atoms' because of their supposed indivisibility!). !
• •
••
•• In 1919·Rutherford ar1ificially transmuted nitrogen to oxygen by -•••
• •
• bombarding it with a particles. · ••
•• •
: .His most celebrated discovery was his model of an atom. deduced ••
• •
from the scattering ·o r a 'par1icles. Scattering experiments remain •
•• •
!• the backbone of high -energy physics, including the large Hadron !• ·
: Collider(LHCI. ~
• •
; During his Nobel ceremony Ruthf!rlord remarked thattle.'had !
! dealt with many different transformations with various time !
; periods, but the quickest he had met was his own transformation !·
......................................................... ..............;
; from a physicist to a chemist'.
•.•
.
-. . .
1 One elt<:trorivnlt' it ~energy. of a single~ecrr09 cbarge aocoleratc:d by
the voltage ofl volt, that is, 1 eV • 1.6'x to·~-'
. J. . . · .'
energies (4-5 MeV). Finally, it was established early oo that
heatiog or cooling does not affect mdioactivity ~t all.
George Gamow solved the puule by applying ro·ir the new
quantuni. mechanics. He considered the Schroomger equation
for a particle in a po~tial well (Figure 6.3). The external slopes
go as 1/r representing the Coulomb po"rent\al, and th~ internal
shape of the well could be for the moment approximated by a
vertical wall- producing a shape similar to the nautical mug,
which is lurd to knock over.
U(l )
. .
Figur• 6.3 a • particle in ' polenlial well
.
u t us first neglect the outside of the mug and solve the
stationary Schrodinger_equation
. inside the.well:
.
(·.·..,~t:.
2m
+ U(x,y,~) l'l'(x,y,~) = E.'l'(x,y,z).
)
It will have ·only a diScrete set of solutions with energies E,, E 2,
Ey etc., as we have discussed · in Chapter 3. But what is crucially
important is that these solutions do not immediately go to zero
· inside the wall, rh9ugh they drop quit.e fast- exponentially fasr. .
.
Recalling tbat the·square modulus of the wave function gi:ves ·
the probability of finding the particle at a given point, we see
. that a quamum particle can peoetn~te inside the potential
barrier. (Of course, a classical particle would be juSt reflected. )
.
Now you alre<!dy guessed what happens to a-particle$. H.the .
thic.kness .of the fnug wall is not too g_rear,. the
. 'rail'" of;the
••
••
••
•
.•••
~ .
•
•
• •• • •
••
•• •
••
. • .•
••
•
•
••
..
·• ••
..
•
•
•
. .• For illustration, let us solve a one-dimensional Schrodinger
•
•
•
••
•
•• equation near the wall Set the wall at x.~ 0. so ~jlat a.t . · •
•
•• x < 0 the pote!'tial U(x} • 0. and at x ~ 0 it,is constant, . · ••
•• ••
•
• Ulxi • V. Then -£r;~J·E'i' atx<O·and £;;~+V'J'=E'P ••
••
•
•
•
•• at lr ~ 0. You can check that the first equation has ~ solution . ;
t : •
•
• 'Pix.I=Asink!Eix+Bcosk(Elx with k!El=J~E and the second 1
•••
•
• o~e is satisfied by' ~;I=Cexp(:..k(Eix) with k(£1= .Ji~rt.-.El/ h1 • j
Here A 8 and C are some constants we do not care about at· the· l•
moment .: they are determined from the condition that the wave :
function 'behaves well' at x • 0: AS yo\rcan·see,' the wave function· !·
• indeed does not immediately drop ·to 1,e~ inside.the potential !
! barrier, but - of course - the taller the ba.r.r ler compared to the · ·:
• •
~ : e~ergy of the.p.article. the faster it drops. . )
••••••••••••••••••••••••••• .
. •••• •••••••• •• •••••••••• •••••••••• • •••••••••
.!
Figure 6.5 The.exponential dependence of t~e tun~elling. current on
distance in~reases the resolution of an STM
..
. .
If electrons were classical particles, they would be unable to
'jump' through th~ layer of vacuum between the sample .a nd
the tip. To make current flow, one would have to apply a
strong enough voltage to make possible ele<:tron emission
froin the tip.3 For smaller voltages, there will be exactly zero
current in the circuit.
3 We .could also hear the Sf$telll., but r!Us would drastically ine<eaS<' the·
amplitude of the. thermal inotion of atoms both in the spbstra~ arid :in the
tip, defeating the purpose of the whole exucise.
.
Here 'l'(x, y) is the wave function of the electron with energy E
in the sample at the point (x, y), and K(E) depends on the energy
of the electron. ·
If we apply a small voltage V, the current between the sample
and the tip can be approximated by the expression
. I(V,x,y)• AVN,(x,r,E,)e...u",..,
fl!lllre 6.6 The STM tip can not only. 'feel', but also m<we single atoms and
place them at the desired spot. He'll you see the STM images of·coOTals'
built of iron atoms on the 11.11)-surface of a ccpper crystal. The ripples are
those of the electron density (roughly, the square modulus of the etectron .
wave function!. In the case of a round corral th'e solution is given by a
Bessel function lone of mathematical functions akin to sine .and cosine).
Using an STM ilt probably the most exP.,.,sive way of tabulating this
function. Ill. http://researcher,watsori.ibm.ccrn/researcher/files/us·flinte/
st1111S.jpg b. http://researcher.watson.ibm.com/researcher/files/us-flinte/
stm7.jpg ·
Waves 'like particles: photoelectric.
effect a.nd the single-photpli double
slit" experiment
a
It has been known· since the 19th century that light is ·wave ·
and that itS'propemes wtre not quite like the properties'of a
sound wave. Sgund in gases and liquids is a longitudinal wave
(that is, the particles oscillate along tke same direction in wbich
the wave prop~g~tes); sound in solids has both longitudinal :. .
and transverse componentS (iri a transverse wave the particleS .
oscillate in the direction, which is orthogonal to.the direction of
its propagation). But light- and it was established bey()nd any
doub.t - had only a transverSe c.o mponent, so it .could not be a
wave in an ordinary liquid or solid, and the attempts to explain
it as a wave in a special substance called 'aetl:ter' run into
insurmountable difficulties. Th~ difficulties y;ere got rid of ·by
geiting rid of aether altogether and recognizing that light (or,
more· generally, the electromagnetic _field) is jusr.a:.special kind
of matter governed by Maxwell's eqwztirms. In the process the
special relativity was built, primarily by die effQrts of Lorentz,
Poincare and, of course, Einstein land a very important later
contribution from Minkowski), bat this is not our concern here.
·We have .mentioned earlier in Chapter 2 the photoelectric effect.
If a metal is illumihated, it may under certain condition emit
electrOns. At first, nothing stfa.nge wa$ seen about this. Electrons
.are electrically charged, light is a~ electromagnetic wave, .. .
and under the intluence of oscillating electric ;tnd magnetic
fields an'electton can absocb'enough energy.to get· lOose and
escape the metal (wliere it is' held by. the collective force of
electrostatic attraction of all the negatively charged electrons
to- all. the Positively c:~arged ions- see Cha~· 8)•.The flux of
einitred el~trons - the photoelecrtic current - was found to be
proPortional to the light intensity (so-called Stoletov's law, after
Aleksandr Stoletov (1839-1896iJ, as one would expect.
Nevertheless thece were features of the phenomenon that .
refused to fit this picture. To begin with, there was no electton.
emission if the liiht frequency was below a cerrain thresliolq
·value v0 (different for different materials), no matter Jiow bright
Electrons
Conductor Vacuum
Figur• 6.7 Photoelectric effect and Lenard's formula
.
6 Strange and unusual
. . 9
commercial su= of the Carl Zeiss jena Corporation, which
built its formidable reputation in the field of optical devices
(from microscopes and telescope$ to field binoculars) on wave
tlleory-based recomrllendations and designs produced by Ernst
Abbe (1S4Q-1905), an outstanding ph}'sicist and optical si:ientist.
It was therefore assumed that while photons are panicles, their .
inteq~ctions with each ~. though slight (it was a known fact
tbat light waves do not interact witli each other), would pr~uce
wave-like bePaviou& Amr all, gases also consist of atoms or
molecules;.but tbis does not prevent sound wave propagation.
This stopgap assumption was not consistent for a number of
reasons, andwas dismissed almost hundred years ago. But it
could be·shot down in a very spectacular manner, which buries
any attempt to keep some 'classical' picture of light, namely
single-photon double.slit experimentS. StudentS can now
pe.r{orm these experiments (a ready-made kit cari be purchased
for a few thousand pounds), but this does not subtract from
their beauty and deep significance.
The idea of the experiment is simple. If a wave passes t~ugh
a double slit in a screen, it fo(ms an interference pattern behind
the screen, e.g. on a light.sensitive fihn (Figu.te 6.8). This happens
because each of die slits plays the role of a new s.ource of waves,
and the two new waves will now overlap. Thomas Young (177~
1829) used this experiment to.demonstrate that light is a wave.
If light consists of particle-like photons (something that would
please Newron), but behaves as a wave when there are many of
them (this would make Huygens happy), then the double-slit
expe.riJ.nent would show it. Send light, which is bright enough -
and you will see the interference pattern. send photons one
by one (which now does not present insurmouptable rechnjcal
problcp~s) and there should be.no such pattern at all. Instead
you should expect just two soq1ewbat blurred lines, created
. by particies, which .flew through either one or rhe other
slit. (Blurred by the linire width .of the slits and whatever
perturbations the photons could undergo on their way.)
.
The experiment gave quite different ~ts. When phOtOns were
~ent one by one, each produced a single spot in the picture-
confirming that a photon is a particle. But these spots did not
e
form two blurred lines - instead they produced an interference
pattern, as if each single photon was a wave in and of itself and
passed through both slits at once (Figure 6.8).
R R
R
0
2000 0 Oo
1600
1200
aoo ..
. ~... .. . .....
0 0 100 200 soo ~ soo aoo 100 eoo aoo 1000 1100
z/nm-- .,...
Figure 6•9 Here the quantum interior.~ nee Is demonstrated wilh heavy
molecules: their masses uceed 10,00011mu lapproximattly 10.000
massi>S of a hydrogen atomliEiberbergtr et at., 2013. 14496-14700. F-igs
1 and 31
.
6 Str11nge and unusual §
..................•......................•..•.........•.••••.•..••
.
.
~ ....
Case StiJdy: De Broglie wavelen·gth . •
: Consider the De Broglie wavelength of a particle with momentum p
••
: ')... h/p.
.;• . .
' For the heavy molecule in the experiment deP,icted in Figure 6.9. • :
! ,the de Broglie wavelength was 500 fm. approximately 10,000 times ;
: smaller .than the size of the molecule itself. 1 fm
•
• 15
. Ia temtometre or
a 'fermi· in honour of Enrico Fermi) is 10· m apd is about the size
.
:
!
•
••
•• of a .proton or neutron [as much as one can speak aboljt size of an. !•
• •
• elementary particle). · •
.:
•
.• .
•
•
. You can. as an exercise. calculate the de Broglie wavelength
. of our . :
: . ant !weight 0.5 mgl climbing a blade of grass at a speed of 1 mm/s. ·;
.
•
•••••• • ••••••••••••••••••••• •• ••••••••••••••••••••••••••••••••••••••••••
• ••
Dig deeper •
•
: . R. feynman. R. Leighton and M. Sands, Feynman Lectures on ;
; Physics. Basic Books, 2010 (there are eartier editions). Vol. I, ;
; Chapter 37 and Vol. Ill, Chapters 1-3. ;
• •
: E. 1-j. Wichmann, Qvantvm Physics (Berkeley Physics Course, Vol. :
!• 4), M.cGraw·Hill Colleg~. 1971 . Chapter 7. . j
•
··~ · ·············································· · ·~ · ······ · ··········
The game of
numbers
The general formalism of quantum mechanics, which ~e have
described $0 far, does not care about the number of particles in
the quantum system. The quantuitt state ·I"P}satis6es the same
Scbrodinger equation, iii~ = H I'¥} , whether it describes
a single electron, an electron beam, an atom, a molecule or
a qubit (Figure 7.1). Similarly, the expectation value of an
observable Ais given by ('PI AI '1'); and the Heiseobe,rg equation
foi: it is always in!!J =[A, H). The devil is, as usual, in the .
details. We know- at least, nominally- how to find the wave
. function '¥(x,y,z,t), which cepresents the state ve<:tor of
a single quantum particle·(e.g. an electron). Using it for an
atom or a niolecule (like we did describing certain·quantum
interference and diffraction experiments) is al ~eady a stretch .:.
an approximation, which only holds while we can neglect both
the size of the object so described and its interaction .with other
such objectS (and; however strange that sounds, the latter can
never be neglected- we.shall see why later in this chapter).
Therefore single-parricle quanrum mechanics only takes us so
far. It needs further elaboration.
Rguo;e 7.1 Hydrogen atom .
.
Electron in an atom
. Before qubits, the simplest quantum syStem used as a textbook
example was· the hydrogen atom. The atom consists ·of the
nude us (a single proton with the electric charge+ 1 in electron
charge units)"and ·an· eleCtron. The proton is almost 2000 times
more massive than rht eiectton 1, and therefore can be, to a
good accuracy1 "onsid~red as 'nailed down' - being at rest at
the origin. Then its only role (neglecting some subder effects we
are not .ready to treat yet) is to be die source of the electrostatic
Co~lomb potential, · · ·
<P(r) ~ ~~·, ..
acting on the electron.' The stationary Schrodinger equation for
rhe electron with energy E"is thus
h2 e2 ·
- - ~'I'(R)--: 'I'(R) = E'I'(R).
2m . r
'
Jl = ~ "'- ,. m
m,-+m.. •
(1- m, ) Thi;"will produce a
m . .
~
, .
correction of order 1118l6.
2 We use here the so<alled Gall$sian units for etectrornagnetic quantities .
.Tho international (50 units (coulombs for charge, arnperes for cu.rreot,
vohs for voltage, etc.) arc pra~al, but forrnulas written for them tire
quite unnec=ily usty (e.g., tht Coulomb porential woulcflook like
~(r) = +·4~ 0;l. Theoretical physiciots use Gaussian units and translate
the results to Sl in the end, iJ at aiL ·
Here R is the radius vector pointing at the electron; its length is
r. The symbol V2 is pronounced nabla square and is caUed the
Laplace operarcr;onimply the Laplacian. This is shorthand
for the expression we used before: for any function of Cartesian
coordinates (x, y, z):
~ ~ ·) :
. v2f(x,y,z) '= (()2
a~2 + ay• + az• {(x,y, z) .
.......
. :.... ....... .........................................................
. .
Key idea: Laplacian operator and Schrodinger· :
•
: equations in spherical coordinates . ;
•• •
•
: L :
•
•
•
•
•
•• ••
•
•
•• •••
• •
• •
••
.• .••
• ••
•• •
•• ••
•• ••
• .
•••
•
•
• •
•
•• ••
•
•
• Cartesian coordinates are not always convenient, for example, .••
• when the system has what is catted spherical symmetry, like the •
•
• •••
• hydrogen atom. ln~eed, the elec trostatic potential only depends •
'• ••
.
• on the distance from the proton - in other words, the potential •
•
•••
.• and therefore the Schrodinger equation has the same symmetry •••
• as an ideal sphere. !This does not mean that the solutions of the .
•• •••
• Schrodin~er equation will h~ve the same symmetry!)
• •••
•• lo spherical coordinates the Schliidinger equation for an electron •
•
• in the hydrogen atom looks as follows : ••
•• ••
•
.
For a positive E the solution is 'f'(r) =Cexp[ ±irJEm, 111 2 }
while for a negative E it is · ·
e.
This determines what is called the asymptotic behaviollr of the
solution, its main feature at large distances from the proton. In
the latter formuJa we must pick the minus sign in the exponent:
an electron wave function, wbich grows e.xponentially at an
infinite distance from the nucleus, is unphysicaL
It tur~s out ihat while solutions exist fo~ any positive E (which .
is reasonable- a .free electron.can have any energy it likes),
only solutions with certain negative energies are .allowed. 'I1!e
restrictions come from some reasonable requirements: that tlie
wave function could be normalized (that is, we must be certain
to lind the electron somewhere in space); and that the wave ·
function has a single value at any point. The allowed energy
values can be all numbered - they form adiscrete set, like the
energy levels of a particle in the box featured in Chapter 3.
tt' 1
E, -- -
- 2m,~ n•
. ±=~:{7~
.
~2}R~(;z~~).
we obrnin the Rydberg formula, which has been known since
·the 1880s but eould not be .explained witi:Un the framework of
classical physics. (RH inhe Rydberg t;Otr:sla1ft).
The energy of el~ctron only.depends on the q~antum number n.
But the wave functions also depend on the other twO quantum
nurnbers,/.and m, which appear in the general formula for
'f'(r,9,f J.. These ar~ called the orbital qlll\l)rum number and the
magnetic quantwil number, and for any given n
os; I ~ n-1; -1 < m ~ /.
Ea O
- - t- .,-n .. 2
.
-'--- L--.n =.1
Flg11,... 7.2 'energy l evels and ioni:a~on energy in a hydrogen atom .
. . . .. . .
.p;a·f<;;i;;~~;i~h~·;~·d;~~········.···· ·:··· ····· ...........·:·:"j
; Bohr radius a-0 = ~:, -0.53 ~ (ooe angstrom .is one hundred i
:
•
m iUionth pa rt of a centimetre)·. · . i
•
· · ··············~·· ·· ·······!······-······· ~ ··· ··············· ··· · · ····
;·.5~~_; ii~h~:·j·~;;~~~-·8~i~~~·~·~;;·j~h~~·;;~~·R~;;t;~~~··~
.;• Johann Jakob Balmer 11825-1898) was a Swiss '
mathematician,
who in 1885 found an empirical formula that quantitatively
·:
;
.
; •. described the frequenc-ies of visible light emitted by hydrogen. · ;
; (Some say he did it on a bet - a friend dared him to find a simple ;
; formula fitting the hydrogen spectroscopic data.) :
• ••
; In 1888 Johannes Robert Rydberg (1854- 19191. a Swedish ;
; physicist. found the .general phen.omenological formula. which in :• .
•
: · modern notation looks Uke:
: .
:
•
••
••
•
_i=R
· A.
(...!__J..):
H nzmz .;
~
• •
•
• •
!• Balmer's formula corresponds to the case n =2. ·;
.
• ••••• • •••• •••••• •• ••• • •• • ••••• ••• •• •••••••••• • • • •••••••••
. • •• • •••• • • • •••
•
That is, for each n there are n solutions with different i, and
for each I there are (21+1 ) solutions with different m. The total
number of-independent solutions with the same energy En is
. t h us N N=.L.t=0(21+l)=n..
~·-1 2 .
.-
.
3 This wave fun<tion docs not depend on' angles and i.s therefore
sphetically ·symmetric; nevertheless's' comc:S not from 'spherical', but from
'sharp'. Go figure. '
Figure 7.3 Shapes of s. p. d. fwave functions (the shade marks the sign of
the wave function) (Santos 20071
~III II II
~[@ I I
~ 1®1®1
1:
~
. . .
Figure 7.4 Electrons moving In
.
Table 7.1 Electronic structui'IIS
. . fori. 5... 10 ..
Z•t 1-lydn>gtn Is'
2 He\lum . Is'
J· Utl>lum Is' :I$'
B~lu m 1s'2s'
's llo<on ts':ls'l,o'
6 Co<Wn 1s'2s'2p'
7 N~n>gtn 1s'2s'2p'
8 Oxygen 1s'2s'Zp'
~ Fwo~ 1s'2s'2p'
10 NO<!tl ls'2S'2p'
=
Recalling that for n 2 the orbital quantum number can tak¢
values I= 0 and I= l , and that there are
the~ (2·1~f) different'-
m stateS corresponding.to I = l (p-states), we can "':.eire the ·
dectronic stnictures for z = s...10 (we have also induded ~ .
previous. results
. for completeness): ·
In this WaY we have filled in the first and second ro~ of
Mendelcev's Periodic Table. We could continue, and- giving
special coPSidcration to the lanthanide and actinide elements -
would faithfully reproduce all of it. ·
. .
' A '
angular momentum
. . L . . . :.
.
•
•
. . . . :
•• ~ = sll •
•• ••
.. / / '\ . . ••
.;
·;
. . .
conJugate:. i--+ i
.
Hermitian conj ugate we aiso replace complex numbers with their
7 - i. · : . .
:
:
:
·········································
.. .
· ·····~·················· · ·····
Second, these oi>erators are convenient if we wam to describe -
any changes itt the system. Suppose a particle changed its state
(e.g. momentum or position) -&om one labelled by 'i' to one
labelled by. 'k'. Since particles cannot
. be distinguis))ed as a
rruittcr of principle, th.is means that now there is one particle
less iil state 'i' and one more in state 'k'. Such a ~nge can be
affected by acting on the Dl31lf·particle state first wiih c1 and.
• + .
then wtth c,t: .
. .. - .
.
c;IO)=O.
Note that the vacuum state is'not zero- a vacuum is not 'nothing' I
on the contrary, any physical state of the system can be obtained
by acting on
the vacuum state by the appropriate creation
operators as many times as necessary (the nth,power of an
operator means that the operator was· acting n times in a ·row):
The vacuum state and all states that can ·be obtained from it
in this way ate called the Fock states. They form the basis ofa
special kind of Hilbert space. It is called the Fock space (after
Vladimir Aleksandrovich Fock). ·
Let us see how this works. We will start with fermions.
The anticommutation relation for two Fermi creation
op.erators means that we cannot cr~te more than one J>article
in a given state (say, state j). Indeed, in order to create a
quantum state witli two fermions in a state j, one must twice
.
act on the vacuum state by the creation operator cJ. Since
{ci ,c;},. 2cjcj = 2(cj t = 0, we will obtain zero as a result of
this operation. Therefore the only possible sta.tes for a many-
fermion system are of the form
, ...0,1,1,0,1, ...}.
. .
is called the particle number o(lerator.lt turns out that it acts on
a state j'f'}=l···ni,...,._.. } as follows:
that is, it does not change the vectOr J'P}, but simply multiplies
it by tbe number of particles n1 in the single-particle state j (for
example, by the number of particl~ with a given momentum
and spin). As .you recall, tbis is another way of saying that
S You may ha~ noticed, dllat these art oatllt31 numbers 0, J, 2, 3, 4 ...
wrinm badtwmds in tho binary cod<.
. H (x,p.' ) • -1 m(l)L2 1 P!
x- +-~.
0
2 2m
From here we can obtain the Hamilronian (operator!) for a
quantuni oscillator by replacing classical coordinateS x and px
.h ·• ·~ • h d .
wu operatOrs x = x an<r p" = j dx :
1 fo! 1
2
. " 1 2., 1 l ft d'
H= - mm0 x + - - = -ma>0 x - ---'--
2 2m2 '/.mdx1 •
.
We c11n therefore identify these operators
. with the.origi~al .
and Px. But to w~t advantage? We wiU see it as 500!1 as we
x
substifllte them iri the Hamiltonian:
H• =-mm
1
2
2 K'(
0. -
2 .
11
a + a.)2 + - . r. l.( J'( .)
2m N2K ·
a- a 1
1 ~
= -molK'(tf +aa• +a"a+(a")')- (a1 -aa• -a• a+(a• )')..
4 ° 4mK' · ·.
(When taking the square of(a± a+) we did reme~n~r that aa+ is
not equal to a•a.)
Now we notice that by a proper choic;e of the·constant K we
can eliminate from this expression aU 'off-diagonal' terms (this
is what the terms a2 and (a•)' are caUed):
If choose K2 =
.
nflr.,0 the expressio'n in.the cur ly.brackets
. becomes ~o•. and.the Hamiltonian will contain only 'the resr':·
• -1 (aa"+.a"a)·{~K' +---,
H= II }·=-(aa'+a"a)
1 ·21tco0 =11co0 aa'+a'a. •
4 . . · mK 4 2
~ =(+0o(N+ ~)jn)=hwo(n+~)=hvo(n+H
. .
We have obtained the Planck formula of'Chapter 2, together
with the zero-energy term h~9 !And all. it took was some
algebra (admittedly, algebra with operators, but stiU algebra).
You can easily check that a state ln}is actua.lly an eigenstate of
. .the Hamiltoni~n with enecgy E•. This helps clarify what exactly
are the particles, which our creation and annihilation operators
a•, a create and aruiihilare. They are the energy quanta of our
oscillator. (And, as we have seen, they are bosons.)
We can do more. For example, we can find out what the time
dependence 9f position and momenrum of our oscillator wiU be.
Since both are expressed through the operators a, a•, it will be
enough to find their dependence on time.
In order to do so, it is best to use the Heisenberg equations of
. .
motion: ·
t (~)n(r~~}=\~ (
• •
•
~~1(r)c1) ~)
•
.•••
t vrj(r)cj )( •
•
•
•
•• ••
= t~~j(r)¥',(r)(~cjc !'P) 1
•• ••
•
••
••
..•• ••
~. ('~'lnlr1~}= LJ~~'ilr~2 ni j
: J :
• •
; indeed gives the i:!ensity of particles at the point r. The square ;
j modulus l~rAr( with a j
co~rect normalization factor. is the local
; density of the 'one-particle probability clol!d' described by the wave :
function ll'i lrl. and tells how m~ny particles share th!s cloud, .l
..•......
; ni
.
........ ...... ,......•..........•...... ..................•..•....
.
7 The game of numbers @.
Any observable can .b;e expressed in terms of these field
operatOr$, similarly to how we expressed the Hamiltonian of
a quan~ oscillator in terms of the operatoiS a, a'. This is an.
almost automatic procediU'e.
.. .
.......................' ...·...... .......................................
;
•• •
•
0
• 1
( ¥' -;;;, V
..•
•
0
•
•• kinetic energy operator: :
0 0
1 K=(-t~;)Jd'r~·(r)V'~(rl. 1
. . ...
•••••• •• •• •• ••••••• •••••••••••• •••• •••• •••••• •••••• • •••••••• ••••••• •••••
.
Now look what we have done. We have replaced a single-
particle wave function ljl(r) (which i~ a quantum stare vector
in a single-particle Hil~rt space) by an operator t[r(r), which
acts on quantum state vectors in the Fock space, Le. in the
Hilbert spa~e of a many-particle system. Because of a superficial
similarity of this operation to the transition from classical .
to,quanrum mechanics (when x, P. , ere, were replaced with
opera'to(S), the approach using creation and annihilation ·
operatQIS'and·Fock states is called the second quanti:l:ation..
The strength.of this approach is its' ability to treat a syStem with
an unlimited n~r of quantum particles and /UitQm4:ticafiy
take intQ ac:OOunt their sratisrics.(whether they are bosons or
fwnions). As a matter of fact, it becomes iOdispensable even
.•
i! you want to consider a single quantum panicle (e.g. a single
elecuon) accu,ntely enough. And, of course, it is exuemely handy
when dealing with condensed matret' systems, such as metals
or semiconductors, which contain huge nwnbers of quantum
pa.nicles. These questions we will consider in the next chapter.
.
Why classical light is a wave and a
piece of metal is no~
Before moving on, let us mili a useful remark. One can always
take a creation and an annihilation field operator and build 'out
of them tw'o Hermitian 6eld operators; which is the we . my
obtained the position and momentum operators'for a harmonic
oscillator: · ·
.
ti'Cr,t)+lj(r,t)
..fi. • l •• )
= <p 1r,t = tp 1r,t ;
.= X• <r,tl =X••1r,t>
y;• cr ,t)-1{ (r ,r)
;Ji
Such operators do not necessarily have aphysical me~ning, but
in case of bosons they usually do. For example,_photons (light
quanta) and phonotls (sound quanta) are conveniently desctibed
by precisely such·Hermitian operatof'i.
an
There is essential difference bet;ween the commutation
relations of Fermi and Bose operators. For bosons; the
commutator is proponional ro the unity. If we consider the
classical situation; when there are very many bosons, the
unity can be neglected compared to their number. l'hcrefore
the Jiermitian .field·operators could be treated just.as normal
numbers, like directly measurable field amplitudes. (They must
be Hermitian, since we cannot measure COI!Iplex. numbers). So
'in a classical light wave ip (r,t),z (r,t) become the amplitudes
of the electric field with given polarizations, and light remains a
·wave even in the classical limit.
.
· · ·· · ······· .
· ··· · ······ · ······················ · ·····················~ .•
Fact-check ••
•
•• •
••
•• 1 The principal quantum number determines
.• •
•
•
..•
• a .the bound state energy of an electron ••
...
•••
b
c
the ionization energy
the number of electrons in an atom
. .•
•
•
•
d •••
••• the Rydberg constant
•
•
• ••
2 · The orbital'quantum numbers determine ••
•
a the momentum of an electron in an atom •
•
b the shape of the electron wave function . •
.
•
•
c the.(lumber of electrons in an atom .••
• d the energy of ari electron in an atom ••
•• ••
..
•
••
3 The Pauli exclusion principle states that
. •• . •
• a two quantum particles cannot occupy the same quantum. •
••
• state
•
•
•• b two lermions ~an not occupy the same quantum' state
•
•
•• · c no more than two bosons· can occupy the sa~e quantum
• state
'•
•• d . electrons have spins •
•
. .
6 You may asl.<: 'What about atoms, which art: bosons - like h<Jium-4?'
The aa.swer is, compound bosons are what is called 'hard core booons'- in
the sense rruar diey heh•ve. like bosons only until you try ,~>ushing them roo
.c:losc together. ·•
• •
•• 4 Spin characterizes ••
•• •
••
• a an orbital motion of a quantum particle
•••• b an orbital angular momentum of a quantum particle ...
••
••
•• c a~ intrinsic angular m oment of a quantum particle .••• .
•• ••
d the number of electrons in an atom
••
•
•
•
•
•
•
5 If a particle has spin angular momentum L = f11·. then •
•
••
••• a the projection of its angular. momentum on z-axis may ••
••• take seven values •
•
•
•
• b may take eight values · ••
• ••
•• c this particle is a boson •
•• •
.• • d this particle is a ferm ion
•
•
• 6 If two particles are .exchanged, the wave function of a system
•• of identical bosons
.••
•
a becomes zero
••
•• b changes sign
•
•
•
c acquires a factory ;t 1
•• d stays the same
••
••
•
••
7 Of the following, which are bosons? ..•
•
•
•
•
a a par(icles •
•
•• b electrons ••
•• •
•
•• c helium-4 atoms .•
•.
•
• d heGum-3 atoms ••
•• ••
• '
• 8 What will be the resul~ of acting on a vacuum state by •
•
• ••
•
• the following set of creation/annihilation Bose operators ..••
•
•
••
••
c5 1ci (c~J (c;Jlc; (up to a numerical factor)?
5
•.
·-•
•
• a (5,3,0, 1,0... ) •
•
••• ••
. b (5,3.0.0.0... )
·c (5, 1,0,0,0.:.)
•
•
••• •
••
• d (5,2,0, 1,0... ) •
• •
•
a Is a.Hitbert space for a system of infinite number of ••
••
•
• particles . •
••
b replaces the Hilbert s pace for a system of identical ••
• •
•• quantum particles
•
•
•• ••
••• c s upplements the Hilbert space for a system of identical •
• quantum partieles •••
••
•• d is a special kifld of Hilbert space suited for a system of ..••
•
•
• •
•• identical quantum. particles •
. •• .•
•
10 The vacuum state is .
••
•
••
•
••• a tbe lowes t energy state of a quantull) field ••
•• •
b the ground state of a quantum field •
•• ••
•• c the state from which all s tates can be obtained by the •
•
• •
••
••• action of creation operators . . •
•• d zero . •••
•t t t t t t • • • a • • • • • • • • • • •! • • t • t t t t t t t t t t t t t t t t • t • • • • • • • • t t t t t t t t t t t t • t t t t t t •
.
@Y
The .yirtual reality
Some of the most stiilcing successes of quanrum mechanics
come from irs application to the.systems
. . that contain a huge
numbec of quantuin.pani<:les. I mean condensed·matter systems,
like metals, dielectrics, semiconductors, s~rconductors; . ·
magnets and so Of'!. These succeSses are also among those with
the greatest impact on rechnolo&Y; economy and.society.
One of tbe reasons for this success is tbe same as that of
classical 'statistical mechanics. The behaviour of a large _system
is often determined by avtr.~ges- average speeds, average
densities, etc arid these are much easie.r to measure and calculate
than the properties !>f indiyidual atoms or molecules. finding
averages in large quanrum systems adds to this an extra layer:
find.ing.quantuin ex:Peaation va.lues. But we have already seen
· in Chapter 3'tbat switching frof'!l tbe state vectoc i.O the.density
matrix fotmalism can do this quite narurally.
. . .
Moreover, in this chapter we shall see that the description of
a system of rnany quanrwn particles, which strongly interact
with each other, can be often reduced to thai of a system of
almost non-interacting quasiparticies with ·exo;ellent results. It
is the behaviour of a inodest C91lective of quanrum particles
that are,usually the hardest to.deScribe and predict: There ~e
exceptions, how.ever. If quantum correlations involving.many
particles simultaneously are important, as is the case, for
example, ·i n quantum computing, these simplifications do not
apply. For discussion of th,is situation please see Chapter 12.
Electrons in a jellium, charge
screening, electron gas and
Fermi-Dirac distribution
We begin with ·the simplest qu!lntum theory of metals. The
characteristic propen:ies of metals - their high electrical and
thermal conductivity, their metallic lustre, their strength, their
ability to be melted or hamxnered or pressed into a desired
shape without breaking apart- in short, everything that makes
them useful is due to the fact that meta(s contain a large number
of free electrons;
If look at Mendeleev's Periodic Table, we see tl:iat the most
typical metals, the alkali metals (lithium, sodium, potassium,
etc.) are in the same oolumn as hydrogen- that is, they have .
one unpaired electron in their outermost s-shell. This electron is
the closest tO the top of the potential well and is therefore easily
lost by tb,e atom. This, in particular, explains the extraordinary
chemical activity of the alkali _ineeals.
Most other elements in die Table are· metals that also lose
·some of their outermost electrons ·pretty easily. As a result,
when atoms of these elements group together, these electrons
collectivize. That is, they are no longer bound to any specific
atom. Instead they can move anywhere in the piece of metal
and, e:g. can carry electric current. This is why they are called
cottductiot~ electrons. Other electrons, which occupy lower-
energy states, remain with their nuclei and form the positively
charged ions (Figure 8.1).
Though there is no individual bonding between ions and
conduction electrons, they are bound to each other collectively. ·
The two subsystems, positively charged ions and negatively
. charged conduction -electrons, are strongly attracted by the
electroStatic forces. This forms a specific metallic bonding.
The electrons, while free to move about and repel each other,
cannot leave the meeal in any sigllificant numbe~; because then
they would be attracted back by the strong electric field of the
uncompensated ions. (A.relatively 'tiny number of electrons can
be taken from the metal- this is what happens in 'photi>electric
Flgure 8.) Metal (a] and its_j.,llium model (b)
. .
Figure 8.2 Charge screening in the jellium model
· happens if the probe charge is negative. Now the conductio~
electrons will be repulsed and the positively charged jellium
will screen the probe charge; with ·the same result.
Taking one of the electrons as the probe charge, we ~e that
these very electrons also screen its interaction with other
electrons. It acts over a short distance
. only, and it is therefore
.
plausible that the .conduction electrons in a meta.! behave as.a
gas - the electron gas. (Recall that classical statistical physics
treats a gas as a system of particles, which only interact when
colliding with each other.)
This is not quire a usual gas however. Electrons are ferm.ions,
and their distribution /unction np(E) (the number of electrons
. with energy E) is strongly affected by the fact that they .must
obey the' Pauli principle. Therefore instead
. of the familiar
Boltzmann distribution we have the Fermi-Dira<; distribution:
. 1
n,(E)= expft" +1
•
&ls~~;[;~·h~~-e:~;j~~-F~~~; ·.-·.......·· ....····.......··:··.. :~-f
: Ennco Fermc [1901-19541 was an Italian physcccst; and one of the :
: .· few great physicists who excelled equally in theory and experiment. :
• •
•
: Fermi applied the Pauli exclusion principle to the statistical
! mechanics of an electron gas and came up with the Fermi-Dirac
•••
•
!• .
• 0
or, using the Heaviside srep function, n,(E; T =0) =9(E,- E).
At a finite temperature, the Step is·smoothed out and acquires a
finite width of order k8T(Figure 8.3). In a typical metal the Fermi
energy is the order of a few electron volts; 1 eV corresponds to a
temperature of approximately 12,000 K (twice the temperature
1 f - - - - -----,
oL-----------~E~
, ~_
_.E
1f-----------~
.
Let us now calculate the electron density in a metal at absolute
zero and in rhe absence of external fields. (The electrostatic: field
of the positively c:hatged ~ellium', which bolds the electrnns in
rhe'metal, does not count.) Denote by n. the volume of metal. In
the one-electton phase space (Figure 8.4) an electron can have
any position inside this volume, and any momentum p (smaller
than p,l; The latter is because of the step-like Fermi distribution
function n;(E). Sinoe no two electrons can, be in the same
.•.. :.~,.
-~.... :_
. .: -
- ' ~. -
.
- I
~
~-
. ..~
--~ ..· :· ....
~~·
a .
~
. ' .
Spotlig~t: Electron density calcul?tion :.
: As an exercise, calculate the. electron density in aluminium le, ~
; • 11 .7 eV), gold It,~ 5.53 eV), and lead !£, 9.4 7 eV111 eV ~ 1.60
£ ;
:
•
a
• 10·'9 J). Us~ the mass of free electron. C9mpare to the table :
•
31
: values (respectively. 18.1 " 10"', 5,90 • 10,., 13.2 • 10 per cubic :
• •
.
: metre). What conclusions can you make?
. ::
. .
· ······· ·· ··············································
.
··· ·····~······
The factor of two is due to the electron spin: rwo electrons with
. opposite spins can oceupy each state.
a
In more general case (for example, at a finite temperature) the
·e.lectron density is given by the expression
2J
'N "' ll d' p n,(E/.p)).
a
~ f;pX ~
'I' p(x+X)= up(x.+X)e • = up(x)e • e• = 'l'p(x)e • .
l'f'p (X+~
. 2 =l'f'p(X)121e~~2
' =I'f'p (X)12 .
'
!!!. i!ilt ' !!!. .
while 'l'p+G (x + X )= 'I'p +c (x)e • e • "" "'p +G(x)e • ?i
' l!!
='I'p+G(x)e • .
Of course, the same holds for any.integer multiple of G. ·
Therefore the variable p, whiCh would be the uniquely defined
momentum of an electron wave in free space, is now defined .
modulo G (th~t is, p and.P+sG are equivalent for any integer s) .
and, quite logically, is called quasimomentum.
.
Let us consider the consequences in the 'empty lattice model' ,..
that is, take.a free electron and look only at the effects of
replacing the momentum _with the quasimornentum.
' 1 '
The electron energy is E(p) =f.;. Since p is now only defined
modulo G, we can only consider the interval of length G, for-
example, ta.ke
•
G
--<p< -
G
2- 2.
E.
-G/2
Fig~re 8.6 Electron In an empty 10 lattice: bands and band gaps
.
The empty lattice model is quite useful in helping visualize
at least a rough outline of the energy bands imposed by
the symmetty'of the lattice. The actual picture will be, of
course, different and can be derermincd only by numeric3..t
sim,ulations.
.
In the first place, at the zone boundary
.
the
1 They are called the in•ene laltice VtdX>rS, bur you do not ba~e tO
ctmembet this.
derivative ~! = 0. Therefore a gap (the band gap) opens in the
spectrum: some values of energy for a conduction electron are
not allowed.
In a real 3D lattice the resulting band srructure can be very
intricate, but the principle is the same.
g·i(~~-id~~:·8i~~h·~~~i.lt~~i·~~~- ...........................·: ·1 :
• •
• E •
• •
•• •
•
• •
.•
• .
•
••
••
••
•
••• .•
• ••
• •
•• •
• •
• ••
2 ••
.• ••
•• •
••
• •
• ••
•
• ••
• -G/2
•
•
•
•
•••
• •
•
• The cons~quences of periodicity are pretty serious. Suppose an :
• •
electron is accelerated by an external field. As its quasimomentum :
.
•
•
••
•
increases, and it reaches the· zone boundary [1)', it will reapP.ear OA :
• •
•
• the other side. with quasimomentum p - G (2). and the process will :
••
• 'epeat itself. (Usually such Bloch oscillations are prevented from ;
• •
•• happening by other processes. e.g. ccillisions of an electron with •
..
• •
• phonons.J
. •
· · ··· ·~ ·········· ···· ········· · ················ ·· ·· ···················
.·
The band theory of solids explains, among other things,
why some·materials are metals, some 'are semiconduct6rs,
and some are dielectrics. In the first place, rb.is is determined·
by their band srruerure and tbe electron densiry (that is, the
Fermi energy). Suppose the Fermi energy ·is in a band .gap
(Figure 8. 7). Then all the lower bands are 9Ccupied and all the
upper bands are empty. There is no current in the system: there
.. .. .. '
' ... - ' .
'/ '
'> •• . ...
Figure 8.8 Fermi surfaces (copper, lit hium. niobium, lead) (University of
Florida 20071
·...
.
.~+(tt}+ c~n>
1
( c1>J 'I'}= ('PI tfr• (r', t'}Vf(~-,t)j '1'} = (Vi' (r', t')tj(r, t)},
= ± iG"' .(r', t';'r ,t). ·
Pertt:.rbation theory
Very few. pro'blerrui in physics have an.exact solution. This is not
to say that aU such problems have already.been discovered and .
solvecl, but it is.far more probable that any new problem does·
not have an exact solution. Numericai methods are h:elpful and
. powerful, but despite. the ever. growing Computing power there
ate many problems they'cannot 5olve·now and will never s0 lve
because of the sheer scale of required computations (see the
3 For ex:ample, you can checlc that tho • ..,rage panicledensity in·the system ·
is given by ±iG(r,t; r,t)..
discussion.in.Chapter 12). Moreover, numerical comp':ltation
is akin to experimental physics: it does not necessarily give
insight into the key features of the effects rhat are being ·
modelled (wherefore the term oom{'utsr experiment). Numerical
·cOmputations 'are also vulnerable to flaw$ in the-underlying ·
computatiol)afmodels, and without some gwdelines obtained in
. other ways it is hard to distingillsh model-<lependent artefacts
from real effects.• It is always good to have some guidelines ·
· against which to measure the numeric, and which can provide
insight into the mechanism of an effect and its likely dependence
on the model parameters. (n short, physicists still prefer to have
analytical solutions, ev~ in the situation w,hen exact solutions
are not known or·do not exist.
The way of dealing with this situation was first found in
Newton's till)e, arid it has served as the mainstay of theoretical
physics ever since. I am talking about the perturbation theory.
The idea of the approach is very simple. If our problem does
not have ll!l exact solution, then we will look for a similar
problem that has. We then will modify that solution fit to
our problem. There are systematic ways of doing it, and
they are very useful. Laplace very successfully applied it tt> .
the calculation of planetary motions in his famous Work on
celestial mechanics, published lqng before the appearance of
computers.
In quantum mechanics, the perturbation .theory works if the
Hamiltonian of the system can be presented as a sum of the
'main term' and the perturbation: ·
.,
••
••
.
me-f;-kex,ltl-kdx0ltll' + ...
dt .•.
•
•
•
••
•• The remaining ter(TlS will be multiplied by • 2 .c.
etc. and are
•
.•• .
•
• .therefore much smaller.. Dividing bye we find for. the first
••• ••
correction the equation ••
•• •
• ••
••• d' X .. •
.. • m-f;- kx,ltl- k!A sin aJtl'.
dt
••
•••
••
• . •
! This equation oan be solved expUcitly and yield an.approximate :
: solution for the cubic oscillatOr. II better accuracy.is required, !
• •
• we look at the terms with higher powers of e. There "!ill be some :
••• subtle problems lo)lith this ex)lansion; but they also can be taken •
:
• •
! care of in a similarly s1stematic w_ay. :
.
•............. . ... • tt.• . ...... . ........... . ... ......... ..... ......... ......... ... •
. . .
. .
Here I eJ<plicidy'indude a small paramete~ £ « 1. The state vector
of the System will be sought in the form ·o f a power serie$:
I'I'} =I
.
ofo}+ ~ 'i',)+cl'l',) +...
. +e;l'i'.) +... .
As ( -+ 0, we will need a smaller and smaller number of terms iii
this series to obtain an accurate answer.
Now we substitute this state vector in the Schrodinger equation,
ili;i-1'¥} =Hi 'I'}, and colljlct the terms w.ith the same power oft:
. .·
.
' eO X i1t ~l'l'o) = Hol'l'o) .
. .
£' X i1t ~l'~'t) = Ji:ol'i't)+Htl"~'o{ ·
.
.
£'- X ill~! '¥2} ;= Hol'l'z}+ H1l '1'1)
... ... ...
. ·r:~·... ; T,(J•
~'G ~ G~~·s fmc:ion tfurml<»s)
. .
I G. (I· ··.t'- t) Unper.u"be<l6....,n's
..........."'
functioA (fermioM}
,_-.....,..
....-.......................... i.D(r*,t r; r1 t~ Green's function (basons)
The first o rder contains diauams with one interaction vc:ru;x (that
is, V or g). You can easily see that such diagrams will have exr.r a
loose ends, and therefore there is no firSt-order contribution .
.
The second order will contain four diagrams (Figure 8.12).
As promised; they speak to our intuition. For example, (a)
an electron on its way from·A coB interacted with a 'bubble' ·
via electrostatic potential .at some point C. The 'bubble' is
actually the unperturbed density of electrons- and we'started
tak.ing into acc;ount the electron's interaction with other
_electrons, that ·is,,the screening of the Coulomb potential.
When calculating the mathematical expressions,_corresponding
to each diagram (which we most certainly will not do bere),
we would integrate over all the internal coordinates and rimes,
o ver aU space and all rimes. Ther~fore the outcome will not
depend on where and when the 'act of interaction' takes place.
The diagram (b) is more interesting. Since the interaction is
instantaneous, we draw the potential line vertically. We arc
forced then to draw the internal electron line in .a backward
0''
. .
·C .
··(a) B A
•
(b)
B
C
c.')o.
•• A
(c)
.
• 9 •
.
(d)
. • Q •
Figure 8'.12 Second order Feynman diagrams for the el&ctron's Green's
function
ro
!:.!+0+:+-··
•
~ ~ ~ 6.
•
•
••
Figu,.·8.13 D~ssing the bare potential
= • - ••-1@' .. ..... ~
------·~ (=
. -- + --®---· +=
--+~ . ..
F19,... 8." Green's function of a part ide • nd s~U-energy
G a ·- 1 *Go.
1-G0 •L.
.•• d a bubble
. . . .
· ··~······ · ·······························~··········· · ·· ··· ······ ···· ·
.•
•
-~·····,··· ·· · ··~······· · ·· · ·· ···· ······ ···· ·· ·· ·····'··············•
Dig deeper ••
•
T. Lancaster.and S. J. Blundell, Quantum Field Theary for- the ••
••• •
••
••• Gifted Aniateur . Oxford University f>ress;. 2014 .
.
······ · ·· · ·························~···· ····· ·· ···· ········ ·· ···· · ···· ·
..
.•
Variational approach to
clas~iCal mechanics
The usual approach tO classical mechanics is via the three
Newton's
•
laws. For
r •
example, for a sy5tem of N material
points- massive particles of zero size- we need tcrsolve the
N v«tor ·(or 3N scalar- one for each Canesian a~mponrot)
eq~Ations of m~tion ·
2
m ; JtJtlr; • ~ ({ dr}).
. r, dt
. .·
Even a simple case like a pendulum can cause certain trouble
(Figure 9.2). Everything here is in th«; same plane, so we
only need twO coordinates of tbe bob, x eJ>d )L They are not
independent, sinoe the le.ngth of the pendul~,
l = Jxz(t ) +Y(t),
F"Jgun! '1.2 A P.endulum
is fixed. There are two forces acting on the bob; gravity, mg,
and the reaction of the rod, f The Newton's equations are (it is
convenient
. to direct they axis doMtwards):
.
d 2 -x .x(t)
m dt2 .= fx =-f(t) -· -;
1
d2 (tf
m dt'{ =(y+mg=-f(t)Y +mg.
1
6~=0.
Then. if we sligtidy shift the path, that is, replace·q(t) with (j(r) +Sq(t)
(an in6nicesimaUy small functiort 6q(t), which is zero at t = t1 and
t = t1 , is caUed a variatiOfl) (F'tgUre 9.3), the action wiU not chan~:
6S(q(tl) = S(q(t) + 6q(t)] - S(q(t)} = 0.
..........
'
If
Figure 9.3 Varia1fcin ot a path
•
••• •••
•• .! . I.
•• . .
: ••
••
•
•• ••
••
•
•••
•
•• ••
! X :
•• ••
.
: Let a fu.n ction t!xi have an extremum Ia minimum or a maximum) ..
;
l a! some point X. 'The~ 1x ~ 0 at X. i. and the Tay!or expansion at 1
: thispoiMis :
: 1' d'f ·. ·. .:
l fl~l= f(il+~dx•lx:- Xf~... ;.
•• ••
: and the c;orrection to the l(<llue of lh.e function is proportional to (he :
.
; square of th·e deviation from the point o.f extremum. .
•• ••••• •• •••••. •••••• •. •••••••••••••• •• •••• •••••••• ••••• ••••••••••••••••••
:
..
••
' m <Pr - F •••
dt2 ••
~ - ··- -- ·- ----- ••
.•
•
•
••
•
••
... --- -- ---- -- .. _. .i\ ••
•
os-o ·~ •
.
•
••
••
• •
'
' •••
•
The difference betWeen the Newtonia·n and the Lagrangian !•
formulations of mechanics can be compared to the difference ;
•
between the Eastern and Western approaches to archery. In the ;
West. you want to hit the target, and subject all your actions to this :.
•
goal. In the East, you want to correctly follow the r ight procedure :
•
step by step- and if yoo do, you w i!l hit the target
:
'
••••••••••••••••••••••• '
•• • • •••••••••••••••• ·
:
• •••••• • ••• • •• • ••••• ••• ••• •• ..
~(ilL)- ilq;
. dt ilq,
ilL =O. .
Figure 9.4 Contributions from different paths. The solid tine is the
surviving extremal path. which corresponds to the classicat motion.
• ••
••
•• As you can see, it oscillaies very !ast everywhere, exc~pt ne~r the . :
••
••
• . the. a·rgument
point )I • 3, where . oft.he ccisine has a ~ioinium. : .
•
• If we wanted to appr6.xllnately c~lculate t~e integral of this function, ~
• we could consider only'the interval around this point - the rest :
••
·; would almost completely cancel. This is the basis of the well-~nown l
; method of stationary phase, widely used in lhEtOretical physics. . !
• •
!• Our task her.e is more comple.x - we must 'integral~ over·paths'. !
•
·:•
:
but the same idea is u.sed if we want to approximately evaluate a
path integral.
.
.:
;
• • •
· ·· ····~·· ·······················~······ · ············· · ·· ··············
·L(q,q}= ; ( ~ r- V(q),
L; = ;
2
( qi ~i-1) . -,.V(9; +
.
2
qi-t}
q
,..,/ ......,
) \\ ·
/ k." . !,-·
'-.,
t, . It
I
Figur& 9.5 SUcing the interval and trajectories
The action integral is approximated by a sum:
. 't N-1
.
f•·
S{q(t)) = L(q,q)dt • :~>i.dt.
. r-t
'
We will inr.roduce this approximation in the exponent:
- A~
'path intergal' = lim J
*Cd - Cd
q, ·J~ ... J
....- 76[ ..Ji;.i
-.Jflt
r
VW<I><-t
( • N-1
exp .!... "" L . .6.1
fl £_. . I
)
~~---- - - /• 1
.
One can dtrive froin the path integral ft>rmulation all the
equations of quantum meehanics we have encountered befo.rt;
even in the case of many-body systems. In the latter case we can
define Feynman integrals over fields. Instead of the Lagranlii~m
we will hav:e·tbe Lagrangian density r. (which Will be integrated
over aU of space to obrain the Lagrangian) and, instead of Dq,
we may encounter DfiiDlp (p9inting at the in!=egration over all
possibl~ configurations of fields). ·
We know that quantum fields can be bosonic pr fermionic. With
bosons there is no problem- the corrtsponding fields in path .
integrals are usual functions, witli
. real
. or, at worSt, complex
values. With fermions we w9uld seem to get into·trouble; there
are n6 'usual'numbers', which would antico·m mute. Fonunately,
Felix ilerezin discovered the methQd of calculating it using
special-numbers (so-called Grassmann variables). We will not
discuss how it works (though this is a fascinating and rather
simple topic), but will just assure you that it does work.
Besides the 'philosophical' attractiveness· (the explanation
of where the variational principles of physics are coming
from), ·there ai-e other advantages of using the path integral
formulation. The main one is ·rhanhe parh integrals include the
Lagrangian, and .n ot the Hamiltonian.
'This is not aq imponaot point as long as we ate happy with
the non-relativistic world, where space and time do not rni~.
.e
The Schrodinger eq(lation, the Heisenberg equation, the von
Neuinann eqUation- everywhere-time is a variable.apal:t. For
ClClmple, the Schrodinger equation contains the·first order time
derivative, and the second order position derivative,
' .
The problems appear when one can no longer neglect the .
relativistic effects. As we have known since 1907, cowtesy of
Hermaoo Minkowski, what seems to us 'three-dimensional
space. + one-dimensional time' inctu.ally the 'fo..;.-dimmsiooal
spaceth'be'. This meabs, i!l panicular, that coordinates and
rime get mixed, if we deal with objects moving with relativistic.
sj)eeds (that is, with speeds comparable tO the speed of light in
vacuum). Therefore a quantum theory of such objects can no
longer treat them unequally, like"in the Schrodinger equation..
&
.
.~potllght: Schrodinger and Dirac · equ~tions · .
: SchrOdinger first tried tC! derive a Lorentz invariant e_quation for ;·
; an electron. but it did not yield the expected energy levels of a ;
; hydrogen atom knoWn from the experiment. Then Schrl)dinger · ;
; decided to try a OOI)-relativistic approximation and fully succeeded.· ;
! Later it turned out that his first attempt was actually a correct ;
·; equation. but for a different kind of particle: a -relativistic boson :
.
:
.:
instead. of. a relativistic fermion." · ·
Dirac derived a correct relativistic 'equation for electrons in
.
:
;
! 1928. Analysing_i( he came to the concept of antlpariicfes and !
!• predicted th_e existenGe of antielectrons !i.e. positron.sl. which were !•
:• discovered by Cart And~rson in 1932. :
•
.
••••• • ••••••••••••••••' ••••••••••• •••• •••••••••• ••••••••••••• ••••••••••••
f0¥1Dtifef].rxc{¥N}
docs not make any explicit difference betWeen space and time,
and it can be used as !he basis for a relativistic quantum field
lheory. Of course, you still do nor know how to cal~ulate such ·
an in~eg~:al, but chen, we are only learning here about quantum
cheory. Jf you decide to study quantum theory at a rather
advanced level, r.ou will know how.
• •
•• •••
••• ••
• ••
•• We know that· the electrostatic ~~ld E can be described by the •
•
•• scalar potential+ (alias itoltagel. It is called scalar potential •
•• ••
• because it is determine~ in each point by a single number [voltage). ;
•• •
••• The magnetic field B can be similarly described by a vector . ••
l potential A. The vector potential i~' relaled to the magnetic field •••
~
•• ••
l For exampi~. take a solen~id ta long cylindrical coil of.dia.meter !
l D and ~ength t.(L~ Dl,. thrWgh which flows the'e lectric cu~rent ·1
: . II. It is known from elem entary electromagnetic theory, that the :
; magnetic'field·of a solenoi~ inside it i~ uniform -and proportional to ;
l. Nl. ·where N is'the number of-turns of the Wire. Near the ends of ;
•• . ttie sotenoid ·this is no longer. true. but if t~e solenoid is really long. ;
••
••• this can be neglected. Remarl<ably. if the solenoid is i_nfinitely 101)9, ;
•
•• then there is no magnetic field outside. If ii is finite, but long. the- ;
•• magnetic fietd wiU appear o'n the outside, but only far aV:,ay from ;
• •.
••
•
•
the solenoid. Therefore, as long as we keep close enough, we can
..•
•
•
•• stiU consider the solenoid as infinitely tong. •
•
• ••
•
~ . The magneticflux through the solenoid is <r> ~B·Rf. Since there is !
••• no magnetic field outside. tl)en th·e same magnetic flux penetrates ;
• any sui-face, which .is crossed by the solenoid. We can then choose ••
••• ••
•
•• tlie vector potential in a very symmetric way: tet it.go along the ••
•• circles. centred on the axis oi the solenoid. Then the integral of A
• ••
•• along a circle of radius R is simply the length of the circle times •
••
••• the modulus of A: •••
• •
1 ~A-d(=21rR AIRI= $ . Therefor~ the modulus of ;he vect~r j
1 pote.ntial of a solenoid is A{RI=.6J/?.
. .;
••••••• •••••••• •••••••••• •••••••••••••••••••• •••••• •••••••••••••••••••• •
T= (p-aA)
c
l
=L _RA-p+ Q A2.
z
. 2M 2M Me 2M~·
Ct expHS~l}exp{~Jpdfhl A-~x}
qiH
i ·:: rr--...
:l i l •
'1::: •
A
Figure 9.6 The Aharonov7 Bohm effect: a series of electrons flying pasi
a s<>lenoid. The interference pattern on the screen wiU -ch8nge if the
magneiic field in the solenoid changes, even though the electrons cannot
appear in the regions where the magnetic fie~.ls nonzero
This does not seem a very useful expression, with all its
integrals. But let us reverse the path z, instead of integrating
the vector potential from A to B we·integrate it from B to A
(FigiUC 9.6). The integral will simply change sign (since we go
along the same path, but in the·opp<>site direction). But then the
sum of two iptegrals becomes one integral along the closed path
from A to B and back to A, which .goes around the solenoid,
.!.._(
he
f A·dx- .f A·dx)=-=-~A-dx=.!..4>.
1ic.' f he
. fMU'I · pathl .
j'l'}-tj'P)e•. .
Of course, the' phase factor does not affect the s~te ~ector
itSelf - after all, the probability is given by its modulw squared.
· Bur if there is interference
. between two . vecrors with diffeient
Berry phases, as in the case of the Aharonov- Bohm effect, there
·can be observable consequences. ·
Now we can ask whether such effects could happen to large .
systemS. Suppas.; a big particle can go from A to B along rwo
mirror-symmetric ways around the solenoid, with uactly .
the same actions S, and the only djfference due to the vector
potential. Should not we see the Ahar:onov-Bohm effect? The .
particle can be big- even though the action S is much, muclJ
greater, than ·11 , it cancels out. The .same reasoning should apply
.
9 The pa!h of extremal action @
to a big object going through a double slit. Nevertheless we do
not observe big objects doing these kinds of things.
ln the ~dy and not so early days of quancum theo!y there was
the intuition thai big objects are just prohibited from doing this:
Nevertheless the past 20 or so years of research have shown
that this is n ot necessarily so, and that the problem of quantum·
cl~ssical transition (that is; how the cosy and familiar laws .
of classical 'physics emerge from the strange quanrum rules)
reqllires a thorough inve$.tigation. It was especially spurred
on by the quest for quantum computing, so we will wa it until
C~pter 12 to discuss this mattez:.
····· · ······· · ···· · ········ · · ········ · ············· · ··············· ~·•
••
Fact-check· ••
•
••
•
•
••
t In classical mechanics, a physical motion realizes .••
• a a maximum of th)! Lagrangian •••
•
• b a minimum of the Lagrangian •
•• ••
•• c an extremum of the action ••
• ••
•
...
. •
• d a minimum of energy
••
•
•• •
2 The Euler-Lagrange equations of motion
•• •
a follow from the variational principle
..••
••
••
• b are equivalent to the Newtonian eq~ations •••
•
..•• c only apply to mec,hanical systems ••
••
•
• .d determine the trajectory to the lowest approximation .•
••• •
• 3 A Feynman's path integral determines ••
.•• •
•
••
••
• the.extr}!mal path between lhe initia l and final quantum
states
•
.••
••
• ••
•• b. the trans ition amplitude between the initial and final •
•• quantum states ••
• •
•• c the transition probability between the initial and final ••
•• ••
•
•
quantum states •
• •
• ·d the superposi:ion of the initial and final quantum states ••
••• .••
•• The path integral approach reUes upon
•
•
•
••
' a the quantum superposition principle
b the momentum conservation law
••
•
•
.••
•• ••
•• c Ihe Pauli exclusion principle ••
• •
• d the principle of the least action •
• •
•
@
• ••
• 5 The Aharonov- Bohm effect demons1rates.that
•• ••
•• · a the phase of a charged_quantuin particle cfepencfs ..on the ••
• •
•• magnetic field · · ••
••• b a charged quantum particle interacts with the magnetic •••
• •
••
••
field .. · · . · . ••
••
••
c . a charged quantum particle interacts with· the veCtor •
•• . potential ••
•• ••
••
• d a quantum particle can travel through a solenoid . ••
•• ••
•• 6 The action S[q[tll is extremal. This means that •
.
• a Slii!tll does not change with time
•
•
•
• •••
•• b Slij(tlJ .is the greatest or the ·smallest possible
•
• c S[ijltiJ does not change if q is slightly changed .. •••
••• •
•
•• d S[ijlt]J can have only one value . . •
••
••
••
••
7 The La.~rangia~ of a free particle is L =
Lagrange equation is .
1..;ts Euler-
.
•••
•• .
••• a mq-mqq = O ••
•
••• mqcO
••
• b •
••
•• c mqq=O •
•
••• d mij' 2 0 •••
•
..•
•
•
8 The path integral approach to relativistic quantum systems is
•
••
•
••• convenient. because
••
•
• •••
•
•• a it.does not contain operators •
•• b it does not treat t ime and space coordinates differently .•••
••• c it is a classical approximation •
••• d it is easy to make Lorentz invariant
•
••
• 9 The condition S > 1i meahs that
••
•• a all paths will contribute to the path integral
• b only extremal paths will contribute to the path integral
• •
•• ••
c contributions from different paths will not interfere
••
•••
d only contributions from nearby paths will interfere ..•••
•
• ••
•• 10 Pat!') integral approach can be applied to quantum fields
•• •
••
••• a only if they are relativistic
•••
• b only if they are bosonic
•
• ••
c only if they are fermionic ••
••• •
. • d always .•
• ••
················································· ·····-·················
Order! Order!
Quantum systems are- in principle - more complex than_the
classical ones, in particular those quantum systemS that contain
many quantum panicles. They possess specific, strange and
outright weird properties, such as entanglement, and their
behaviour is, in principle, i~possible to model in all detail using
classical computers (the fact pointed out by Feyrunan, which
initiated the search for quantum computers). Nevertheless,
as we have seen in Chapter. 8, there are sitUations when an
approximate treatment of quantum many-body systems
are not only possible but also pretty straightforward and
accurate. Foctunately, these situations include a large number
of scieoillically interesting and practically veiy important
cases. We will start with the world!orse of class demonstration
·e xperiments: magnetism.
Classi'ca.l magnets, second ord~r
phase tr.ansitjons and t~e order .
parameter
Magnerism is one of~ oldest sub;eas of scientific inv($figatioil.
In the classic a-earise On tin MAgnd, Magnetic Bodies, and the
~~ .Magn4t of the Eart/1 published in 1600, William Hubert
(1544-1.603) )lad already suted lhar magnetic auxadion is a
separate pbenomenon, not to be mixed np with the force enmd
by an ekctrified piece of aJPber. Since then, the investi~tion of
magnetism became one of the mOSt important areas of physics.
Many results, methOds and apptoaches qrigrated from there to
fat .temOved.areas
. . of physics,
. to cosmology, biology and even
economics. ..
A ferromagnet- what is ·colloquially called a 'magnet'- in
equilil?rium has a magnetic moment M, which disappears above
certain temperature Tc (the Curie point). This is because certa.in
atoms in this system have microscopic magnetic moments of
their own, and their interaction with each other tends to a!Jgn
them (Figure 10.1 ): At high enough temperat\l!es the dtermal
fluctuations rattle the system so much that this alignment is
destroyed;and the magnet I~ its magnetization. If we cool the
magnet·down, the magnetization is restored. (However we will
not go any deeper into SOflle imponant details here, e.g. that a
ferromagnet is usually split into regions with different directions
of.magnetization (domains) and will consider a single domain.)
This process is called phase transition.
,-\
_, ,,
,, '"/
\
,.I \
,.
\ '\
t "'-I. '\' .,
Flgunt 10.1 Ordering of magnetic moments In a femmagnet
Classical statistical physics has a number of ways of deSc:ribing
magnets, which successfully reproduce their lcey features. In
a simple theoretical model of a classical magnet we assume
that eacb atom in a crystal lattice bas a magnetic moment IJ.SI
(j labels tbe lattice sire, and 'we neglect aU the atoms that do
nor I)OSsess a magnetic moment of thejr'own). Here 11. is the
absolute value of the atomic magl\etic moment (assuming for
simplicity that they ate all 'the same); and s; is a vectot of unit
lengt)l, wbicb shows its direction. The Hami.lt<>nian function (i.e.
the energy) of such a magnet is ·
:s
H =-} ) 11s1 1 -J£L,h ·s1.
jl i
;.
•
•
Spotlight: Niels Henr ik David Bohr .
Niels Hennk David Bohr [1885- 1962). was the author of the first
... .
......... ....................... ......................... ............ : .
· :
•
: .:
: quantum theory of atomic-structure, and one of the founding
• •
; fathers of quantum theory. He also received the Nobel Prize in ;
; Physics in 1922. !
• •
! ·As a young researcher. Bohr received an invitation from Ernest ;
! Ruther ford to conduct post-doctorate research with him in !
;. Manchesterl1911l. ln 1913 he·propo~ed a solution to the puzzles of !
.! 'Rutherford 's model of atom and of the atomic spectra lin classical ;
•• ••
physics atoms would be unstable. atoms of the same elements
••• could have different properties•.and their emission spectra should
••
••
•
• ••
•
• not be anythin'g like what was observed and described by the ••
•
•• Balmer's and Rydberg's formulas). · •
•••
.• .
••
•
m~de already in 1911, though nobody ~alized that at the time. ·!
•
•• In his doctoral thesis. which did not attract much attention. Bohr !•
•• proved the Bohr-van Leeuwen theorem IHendrika van Leeuwen •
•• ••
proved it independently in 19211. The theorem states t!lat a system :
••• •
• of classical charged particles in equilibrium in aqy external electric :
••• or magnetic field and at any1emperature must have an exactly zero :
•
•• ••
• magnetic moment. ••
•• •
tO Orderi Order! e
• •
•• •
••
• ••
••
•• •
•
.•••.
•••
••
••
••
..
Q .O O ••
•
••
•• •
• ••
••
••• .
•
.•
•
•• •
•
••
••• ••
• •
•• •
• •
: A simple illustration of the Bohr-van Leeuwen theorem. Let us put :
; electrons in a box with ideally reflecting walls·and apply a magnetic !
• •
: field. In equilibrium most electrons will run with in circles (say, :
•
:. clockwise) under the action of the Lorentz force, F = fv x B;these ;
•
. . .
Figure 10.2 Coordinates, wh'ich describe a system of N magnetic atoms
Here]it is the coupling between two magnetic moments
(which has' the dimension of energf), and his the external
magnetic field. In equilibrium, physical systems have the
lowest possible energy. 1 The signs are chosen to ensure
that, first, in the presence of the magnetic field each atomic ·
moment tends to align with it, as a compass needle: the
second term in the Hamiltonian will correspond to 'the lowest
energy, when for each site h · ~L > 0. ~econd, if all Jj. are non-
negative, the first term in the Hamilronian function will give
the lowest energy, when all the dot productS a'r e positive,
s,.s, > 0. This is the case of ferromagnetic coupling, as all the
magnetic momentS will wanr to point in the same direction.
On the contrary, if the]lA were negative, the pairs of coupled
momentS would want to poini in the opposite directions
(antiferromagnelic c~upling):2 If the couplings can have
either sign, especially at random, the situation becomes really
interesting and often intractable. But here we are concerned
with the ferro~agnetic coupling only.
Let us switch off the external magnetic field (put h = 0) and look
at the average magnetic moment of the SYstem of N magnetic ·
atoms. Here we ca11 use essentially the same approach as in
.Chapter 1: consider the ensemble of systems in a configuration
space. There will be 2N ~oordinates, since the direction of a unit
vector s1 is determined by rwo numbers (for example, rhe polar
angle 81 changing from zero to "' radians, and the az.imuthal
angle cx1 changing fr9m zero to 2.,, Figure 10.2)..
The ensemble is represented by a 'swarm' of M » 1 pointS, each
corresponding to a possible state of the system. The average · ·
magnetization on the site number; of the Ising magilet is
(si ) = lirnM_ if L :.,sl•l· (The upper index labels the point in
.the swarm, i.e. a copy of the system in the ensemble.)
It tutns out !hat at high enough temperatures {s1} "' 0: there
=
is no magnetization. But at the Curie point, T Tc, the same
10 Order! Order~ e
magnetization appears on each site: p(s1) = M cF 0, and rhe
sysrem as a whole acquires a finite magnetic moment per unit
volume. This is ca lled a seco11d order phase 1ra11silio11.
.••• .••
• •
•
.••• ••
•
•
•
•
.•.
•
• •
• •
..
• •.
•
• .••
•
. ____
~ -: .. .. ..
, .. ... ~ • l ,• ·~-_ ••
.
••
•
•
~--
.
·:... .. - :: -- ......
-.; .. -.. _---- ..
-
...
_
.
• When a substance in equilibr~um changes its macroscopic ••
•.
.•• properties as the external conditions )e.g. temperature or
.•• pressure) change. we talk about a phase transition. .•••
•
.• The most common phase transitions are between a solid and a
•
;
•
..
•
bquid (melting and freezing) and a liquid and a gas (evaporation and ;
• condensation!. These phase transitions are called the first order :
•
• •
phase transitions. (The classification is due to Paul Ehrenfest.l ;
.•••
...•• One of their characteris\ic features is that the first order phase •
••
..• transitions ane not 'free of charge': a certain amount of energy in •
•
•• the form of heat must be supplied or taken from the system in the •
•
.
.•• process. For example. it is not enough to bring water to its boiling .•
•
•
point - 11 is necessary to keep the kettle on for a while before aU
•
•
••
.:•
...• water evaporates. and all this time the temperature of boiling water
•
will stay the same. Simrlarty. an ice cube in a drink will also stay at •
•
.
•
•
.
.•• freezing point until it melts ..This is because different phases have
•
••
•• •
•
• different energies per molec'!le, which must be suppUed before. •
•
•
• e.g.an H,O roolecule in liquid water can evaporate. ••
•
••
The appearance and disappearance of magnetization at the Curie •
•
•
point is different. If the external magnetic field is zero, this is a •
•
•
second order phase tra~sition. It means. in particular, that the ••
•
•• transition happens all at once. The reason is that the energies of ••
• •
•• both phases at this point are the same. What is different is their •
•
• •
•
••
symmetry. •
••
•• •• •
By the way of illustration, consider a chessboard made of
••• ••
• Lego'blocks. Breaking up the board and mixing up the blocks •
•
. will destroy the chessboard pattern. This will cost energy and •
•
•
correspond to a first order phase transition. Instead we can paint •
••
the white blocks a darker and darker shade of grey'(assumrng it ••
•
does not cost us any energy). At the moment the dark grey finally ••
. •
. becomes black the chessboard pattern suddenly disappears (that
•
•
••
•
•
•
is, the specific symmeiry of the system changes). though the .
•• chessboard itself rema ins intact. This is an analogy of the second
.•
•
•
.
•
•
.
••
• order phase transition.
. .
•
•
~············· ····· · ······· ··· ··· ·· ············· ··· ········ · ·· · · ·· ·····
.
•
.
~ •
••
•
••
•••
•
. 10 Order! Order! e
The state of the system with more symmetry is calle<f'disordered',
and with less symmetry '_ordered phase'. This js not an error! In
.mathematics and physics syriunetry means, menti3.11y, that an
object looks tbe same from diHereot directioos. The more Such
directioos, the more symmetric is the object. A square is more
symmettic than an equilatA:ral trianiJe; a circle is nuire symmetric
dian a square; and a sphere·is more symmellic than a cyliodec3
Io the same fashion, an empty piece of paper is more symmetric
than a page with an intricate pattern.
From this point of \riew, a mafinet above·the Cu.rie point is ~ore
symmetric: since there is no magnetization, all diuctiohs are the
same. On the other hand, though there is more symmetry, there
. is less order. The magnetic momentS randomly fluctuate, and at
any gi'!en time you cannot teU in what direction a given vector s1
is more lilcely to point: itS average iS zero, so it can·point in any
direction with equaJ probability.
.
This is why th~ a vern~ magn.etiz:arion (and similar quanri.ties
in other systems undergoing a second oi:der phase t~ansirion) is
called the order parameter. Above the transition temperature the
order parameter is zero. Below the ttanSition teinperature it is
finite. ·
·3 The &ct that a iphtrc (in three dltnensions) ·aod a cir<:le (in two
dimt11$ions) an !he moct ryn1IJl<tTic objeas wp <ecopized early 6n. This is
why IACicut phllooopbcn envisaged a pedecdy 'J'btrio:al Mooo and pei-fcaly
'J'bcrical plaoea "'~ around me Earih alons circular cn.jeaories.
in your pocket.) Nevertheles5, if we assume that such quantum
objects as arornic magnetic moments exist, we can for a ~bile
treat them as classical variables.
Tills is what Landau did i.il his theory of seeond order phase
transitions. He developed-it when working on the tbeocy of liquid
helium, and it proved to have a much wider applicability. Since
then more accurate theories of phase transitions were developed,
but it remains a vecy powe:rfu~ insightful and useful root. · ·
His idea was startlingly simple. It is known from classical
thermodynamics and statistical mechanics that in equilibrium
· a physical system is in a state.with the lowesf.{ree energy. Free
energy is a certain thennodynamic function, wh.ich at absolute
. zero coincides with the total energy of the system.• Landau
guessed that near the phase transition p(>int (critical temperature,
T, ) it would have the following form.(Figure 10.4):
F(~) = a(f- 1",)9• + ~~;•.
Here c1> is. the order parameter, which for simplicity we take to
be a real non-negative riu~ber, same as a and b . .· ·
If T > T;, both coefficients in the expression for F(¢) are positive,
and the only minimum is at¢= 0. In other wo~ds, above the
critical temperature the order is absent. ·
F F
Figure 10.4 Free eneryy abcwe and below the second order phase transition
temperature
10 Order! Order! e
The pic;ture ch~es when T < T,. As you can check, then
·the free energy has a maximum in the disordered state. The
·minimum is at ~ = Jii;rr._
T.J and this is the state in which
th~ system will end up in equjlibrium. Near the transition point
the order parameter has characteristic (for the Landau theory)
. square root behaviour. · ·
Now suppose that the order parameter can take both positive
and negative values. This creates a problem: at T < T, there
will be two IDinima of F(f)," ar .~ = ± J-fh(f- T.,). Which one
to choose?
If we tried to calculate· the order parameter by taking the
average over the eri~emble;we would obtain zero, because
diff~ent systems in the.ensemble would have positive or
negative values of the order parameter at random. Both positive
and negative terms would contribute equally and cancel each
other. Bur. in reality we would have just one system, with either
positive or negative q>.
· We have here encountered a very interesting and important
phenomenon: spontaneous .symmetry breaking.
.... ; •• ; ......·;
~
· :
.
In an equilibrium slate. according to )h~ Landau theory of second-
.;
The free energy has a minimum (or a maximum) if *
order phase transitions, the free energy is at a minimum.
= 0.
;
•
l
•
•
••
•
•
• Check that ·
••
•
• * if T > T,. the only minimum F14>l is at 4> = 0 .
•
•• *· If T< T,. then Flt,Ol·has a maximum at 4> = 0 and a minimum at
•• ••
~. ·=~. ·
•
••
•
. .••
·········· · ······································· ···~··················
Spontaoeous symmetry breaking~ ~ the symmetry of a
~non is lower than the symmetry of 'the problem.
What does this acTually mean? In our case the pro.~!em -the
function 1'(1/1) - is symmetric: it does.not depend on the sign
··of$, only on its absolute value. The solution, on ~be other
hand, is _either +J'fb(T - T.) or- Jfb(T - T,), so that if! has a
definite sign. The choice between them is made at random - apy
infinitesimally small perturbation at the transition point will
push the syswn towards the one or ~he other. ·
A standard textbook illustration of spontaneous syrrunei:ry
breaking is a sharp pencil balancing on its tip on a smooth
horizontal.surface: it can fall in any direction with equal
probability, so the problem is symmetric, but the slightest whiff
of air will bring ~t down, and it will end up pointing in one
definite direction. A less standard one -invol\'l:S a mosquito and
two heraldic animals carrying a heavy object.
F"ogure 10.5 Spontaneous symmetry breaking IZagoskin 2014: 167, Fig. 4.51
A similar situation arises in the Heisenberg magnet. There
we can take for the order parameter the absolute value of the
magnetization, M = IM~ and write
.
F(M) .: a(T - T,)M 2 +bM4 •
10 Order! Order! e
They .are found by first adding to the.free energy a ·term
- M ·.h with a sniall h, calculating the average magn~zation,
and then setting h exactly to zero. In this'way we place the
system in'tbe (imagined) exu:malmagnetic field h,·and thereby
choose the direcrion·in which it wiU prefer to magnetiZe in·every
system within the ensemble. This is like telling the mosqUito in
Figure 10.5' where to land.
·From the classiea) Heisenberg magnet, it is a shoi1: trip to the
quantum Heisenberg magner model. By replacing classical
vectors of fixed ·length with quantum angular momentum
operators we obtain the quantum Hamiltonian
Superconductorsr. superconducting
pha~e transition and the
superconducting order parameter
The time span be~een the discovery of superconductivlry
in 1911 and its expla~tion in i957 may :s~m excessive,
but only to a public accustomed to a steady and very fast
progress of physics over the last hundred years: When i~
was discovered, quantum theory was still in its infancy, and
.superconductivity is a macroscop\c quantum phenomenon.
Thi: theoretical description ofsuperconductivity did not
appear all of a sudden ;0: a finished foim: there were a .
· number .of ~ntermediar~ steps, with stop~gap assumptions and
plausible guesses, and ..:.. remarkably -. roost of this guesswork
was eventually shown to follow &om a consistent microscopic
theory.
g . . . . . ,
. . ..................................
~
.
Spotlight: Heike Kamerlingh Onnes
.. . .
. . . . . . ...
· .
.
.~
• : Superconductivity was discovered by Heike Kamerlingh Onnes ;
; ( 1853-19261 in the course of his experiments on the properties of ;
; matter near tlie absolute zero of temperature. These experiments ;
:• were only made possible by his development and refinement of :•
! crycgenic technology. He received his Nobel·Prize in Physics !
.! (1913) for this research. and in particular. for the liquefaction of :
; helium. This was a well-deserved award: all cryogenics is based . !
; · on ihe use of liquid. helium Ithe common helium'-4 and the rare ;
•
~ isotope, helium-'31. and costs of helium loom big,in most physics :
• •
•
: depa rtments' resea rch budgets. ..
•
:
···· ·· ··· · ·· ····~ · ································· · ······· · ········· · ·
..
The first striking pW~Jerty of a system in' a superconducting
state was, of course; its ability to conduct electricity without
resistance. This was what attracted the attention of Kamcrlingb
Onnes: his meccucy sample, immerse.;! in liquid helium, at 4.i K
starred conducting electricity at zero voltage. This also· gave the·
pheno~enon its nam,e. ; · · ·
Ir turned our that not aU normal conductors become
supe,rconductors at low eno~b temtieraruces. Actually, the but
normal conductors (like gold, silver or copper) never become
superconducting and for a gOod reason, which we will discuss latec
Arid usually the better a material is at superronducting, the worse
it is at conducting electricity in normal Sta~. For example, niobium
becomes supcrconducting at 9 K, lead at 7 K; but aluminium-
· which is a good enouch normal conductor to replace copper
· sometimes- becomes superconducting at slightly higher. than. 1 K.
. .
...
mm ~
~
....•
.
.
.. ~ .
....~
•
v
. .
Flgurw UU An ideal conducto• vs. a superconducto•: ~ supermnductor'
expels the magneti~ field
10·0rderl o'roer! @
It alSo turned out that superconductors are not the same as
~ideal conductors' (conductors with zero electrical resistance).
The difference is in their interaction with the magnetic field.
Suppose tbat a piece of material, which becomes an ideal · ·
conductor below a certain temperature, is placed in the
magnetic field at a higher temperature and then cooled down
(Figure 10.6). The magnetic field will then be 'frozen' in the
material. The reason is ~imple. Any change of the magnetic field
will produce- by the virtue of Maxwell's equations (or, if you
wish, Faraday's law of electrical induction) - electrical currents,
which will flow in such a way as to produce a magnetic ·
field of their own, which would completely cancel out any
attempted change to the initial magnetic field. On the contrary,
a superconductor does not freeze external magnetic fields:
it expels them. This phenomenon, known as the Meissner-
Ochsenfeld effect, discovered in 1933, played a significant
role in the understanding of superconductivity. In particular,
· it helped bring about the realization that the transition to a
superconducting state is a second~order phase transition. s
5 "I:his applies if it takes place with zero external magnetic fields. If the
sr,stcm is initiaUy placed in a magnetic field,.as in Figure 10.6, this will be a
lirst-<lrder phase transitioa. The role of latent heat is played by the eaergy
required to expel tbe magnetic field from rhe volume of space occupied by
the supeccoaducror. ·
The essence of this ·theocy is contained in the expression for the
free energy density' of a superconductor:
Here F0 is the free energy densiry of the system in its normal State.
First, the right-band side of this equation contains familiar ·
terms, like in a magnet, only with the magnetic monient
replaced by some C011Jp/ex function >V{1"). This should be ·~be
order parameter in .om system below the superconduCting
transition temperature t,. The last term is (as you probably.
know !(Om the theory of electrolllagnetism) the energy densiry
of the magnetic field B(r)"! Bur what is the third term?
6 Free energy pee ~nit volume. In order tO find the free energy of me
S)'lltem, one mll$t integrate this expression nver a·u of •pace.
7 Astin, we are" using Gaussian units -your teoctboolc is probably using
the SI, so do not worry about the coefficients like 1/81t or lk.
. . ,0 Order! Order! e
phenomena without trying to establish its relation ro the first
principles. Its authors assumed that the order parameter >v(r) is
the 'macroscopic wave function of superconducting dcarons',
.whatever this may mean. Then the fl1.ird term makes sense: it
·is the density of the kinetic energy of such 'electrons'. Their
·charge and mass do not have to coincide with the charge and
mass of fr~ electrons in space, but rather serve as SOIII.e'effective
parametus. • It turned out that q -= 2e, twice the dcaron charge.
The 'superconducting wave function' is the order 'p;._,;ameter of a
superconductor. It is usually written as (up to a factor) as
. .
separating its 'absolute value and its phaSe, ll and t/J. This makes
sense. The absolute value determine.s .the very existence of
superconductivity: it is zero above T, and nonzero below it. In
the absence 'of external magnetic field,_when both Band A are
zero, we can assume that 'V is the same across the system, and
therefore the 'kinet.ic' term in the free energy (which contains
the derivative of 'Ill will be zero as well. Then what remains is
the same as in a magnet, with 11 playing the role of the absolute.
value of the magnetic moment, M, and nothing depends on the
superconduaing phase t/J (as nothing depended on the direction ·
of the magnetic moment).
Here we w~ again run into the same problem as with a magnet:
since nothing depends on $, it can take any value, and the
ensemble average of the complex order parameter vrwould be
zero. Again, this is resolved by using quasiaverages.
The phase of the order parame.ter of an isolated· superconductor
has no physical meaning- much as the overall phase of a wave
function. But its gradient- th_e magnitude and direction of its
change in space- plays an important role. It determines the
magn.irude and. direction of the supercu"ent- die very current
that flows without resiStaJice and that attracted attention of
Kamedingh Onnes in the first place.
· 10 Orde;! Order! e
BCS theory, Bose-Einstein
condensate, Cooper pairs and the
superconducting energy gap .
The BCS (Bardem-Cooper-&hrieffer) theory of superconducting
State was based on a seemingly absurd assumption; that in
superconduaors the conduction electrons weakly attract each
other. Of course, those electrons are quasi particles, and we
already know that the electrostatic repulsion between them is
drasticaUy modified (screened), but attraction? We will get to
· justify this assumption in a moment, but first let us see what this
l',na<E;.u, Tl= N.
• •
Clearly, for any E the number n8 (E) must I;Je positive: a negative
nwnber of particles is no.t something even quantum mechanics
~live with. Th~efore e!;~ -1> O,tha~ is, e:;~ > 1 for any
energy E 2:. 0..Therefore I' is always negative (compare this to
the always positive Fermi energy).
. .
Jn. a large system, where the energy levels are vei:y dense, the
sum LEn8 (E;t~, T} can be usually rewritten as an integral, . ..
J: p(E)~8(E;,u, T)dE. Here p(E) is the density of states- in a
fp(E)n (E;.u,ndB=
~
8 N
0
. .
sometimes cannot be satisfied.with any p < 0 (or even p = 0).
This is a mathematical fact: if the derisity of states drops to zero
as F. -+ 0 (which is the c:i.se in three-dimensional systems}; then
below certain temperature T. the normalization condition cannot
be rner. What happens.then is the Bose-Eiostein condensation: .
10 Order! Order! e
a macroscopic number of particles will congregate in the
ground state of the system, with zero energy. The nonnalization
condition then becomes
-
N (T)+ Jp(B}no.(E;O,T}dB= N.
0
0
•••••••••
. • •••••••••••• •• •••••••• •• • ••••••••••• • ••• • •••••••••••••••••• .
.
:~
Key idea: Bose-Einstein .condensation
The Bose-Einstein condensation temperature T, is determined
· .:;
: from the condition · · :
• •
l .j plEin6 (E;O,TidE = j .~E) dE = N ~.
!. o oKT :.
.•••••••••••••••••••••••••••••••••••
. . esc _,
•••••• •• •• ••••• ••••••••• •••••••• ••••
..
~- ........................................ ·;~~~~ :;;~~~ ·;;~· ;~; ·,;::~· ·;
~• · · Paul's Law :
.
: ............•...•.•••.•••..•..••••.•.......• , .•••...........•.••.••••.:
All the N 0 particles, which cannot be 'accommodated' in tbe
states with positive energies, are faUing tO tbe bottom, to die
ground state, forming the Bose-Einstein condensate. The lower
the temperature, the more of them wiU be in the condensate.
(Do not misunderstand me: all quantum particles of the same
kind are indistinguishable. You cannot point your 6nger at a
particular boson and say: this one is in me
condensate. We are
talking. here about the occupation numbers of states with given
energies, but to say just 'particle' saves time and space- as long
as you remember what is acruaUy meant here.)
g .. . .
.Key idea: Macroscopic ·wave function
. . . .
:
•
: , The anomalous average in r:eal space is the very 'macroscopic . ;
; -Nave function of superconducting e.lectrons· +lrl. which was · ; .
; introduced by landau _and Ginzburg in their theory: ;
• •
l• . •
'l'{r)oc(i,lrlo;,i..l}0 • l•
• •
: We have here switi:hed from the annihilation operators ~ in the :
.
: . · momentum space to the field operators "'lrl in real space.
. ..
•••••••••••• •• ••••• ••••• ••••••••••••••••••••••••••••••••• •• •• •••••• •• •••
..
;
..
10 Order/Order/ e.
quite long after the electron is gone, there remains a region
..yith an extra concentration of ions and, the.reiore, net positive
electricclJ.arge. This region can attract another electron and so
an effeqive e/earo~lectron attraction mediated by phonons is
produced!
This effective electron-elemon coupling can be taken inro account
J r[3
by adding to the Hamiltonian the term d -!Wf.P!.P!.tit]
(g is a positive constant}, and further apprO)cimated by writiJig
f.t'r[-~.;;t,~,]~ fb[-t (.;;ii}•.;,.;,]+.Ia'r(-g.;iii (.;,.;,}.]= .·
Id'r[-A"(r).;,.;, - A(r).;;;;]. .
The term t.(r) = g( tj 1.p 1}0 is called the pairing potential and -
up to the factor g - coincides with the superconducting order
parameter (if include in it the phase factor exp{iq>). It is a
complex-valued function of position in real space,'· Its special
importance is that its absolute value dere.rmines the magoirude
of the superconducting mergy gap - that is, the ritinimal energy
that can be talcen frol1) the superconducting condensate. This .
can be only done by breaking up·a Cooper pair and one must
provide each of its electrons ·a t least energy 16(r)r in order to
do that. Therefore indeed one cannot easily stop a moving ·
condensate- and supercurrents can flow undisturbed.
Josephson effect*
Now let us consider a beautiful and instructive phenomenon,
which has many applications in science and technology. This is
the jostphso11 effect.
\Yie have seen that the Ginzburg-Landau theory was put o n
a solid microscopic foundation. Its superconducting order
parameter 'it (r) can indeed be considered as a macroscopic
wave function of the superconducting condensate of Cooper
pairs. The effective mass m• is twice the mass of an elecrron (a
COIIdttcrioll electron, not the one in vacuum), and the charge
q = 2e is twice the electron charge. What is more to the point,
ir is the condensate density, that is, the anomalous average,
(t;,lji,)., and not the energy gap, Jg(~lyit)J, that determines the
superconductivity. The coupling strength ~ and with it the energy
gap, can be zero in some part of the system, but there will still be
superconductivity there.
.
r
ClQ
10 Order! Order! @
lbis.was what Josephson realized. He considered two bulk
pieces of superconductor separated by a thin insulating ·
barrier, through which electroris could twine(; the so-called
josephson ;unction (Figure 10.8). The common wisdom then
was that ~uperronducting cuuent could not flow through,
since it required the tunnelling of two electrons at once. Ifthe
probability of one electron tunnelling is P « I the probability of
two simultaneous tunnelling should be J>l, which is vanishingly
small. But if superconducting condensate can exist in the barrier ·
(where there is no electron-electron attraction and therefore
g: 0 and the gap is zero), then the Cooper pair can tunnel
as a single quantUm particle with a small, but not negligible
probability P.
Here we will follow a simple approach proposed liy Fey~ni~.
He suggested describing the Josephson junction by a two-
component wave function, ·
}·
The components are Ginzburg-Landau condensate wave
functions, whi~ are normalized in such a way that their
modulll$ squared gives the density of electrons in the condensate.
This is the usual thing to do. We also assume that neither the
magnitude nor the phase of the condensate change inside bulk
superconductOrs. This is a good approl<irnation: the possible
flow of Cooper pairs through the barrier is a mere trickle (since
P « 1), and therefore it will not noticeably disturb the bulk.
Now, the Hamiltonian of the junction, acting on '1', can be
. written as a two-by-two matrix,
10 Order! Order! e
..
this·current, I,, is called the ]osephsotJ critical CM>Tent. Note that
it is proportionacl to K (i.e. to the transparency of the burier to
· a suigle electron) and nor ~o K', as everybody expected before
Josephson.·
This is a beautiful science. The Josephson effect was quickly
conlirmed in expe<iment and its analogues in'oth.er areas have
been studied·ever since. In teChnology, the josephson junctions
are key components of SQUIDs (devices used as e:memely
sensitive magnetometers -e.g. with applications in the medical
imaging, whiCh we have discussed earlier). They are used for
volr:age standards, etc., but one of the most interesting and
challenging applications of Josephson jnncrions is towards
quanrom computation. The superconducting quantum bits of
all kinds (there are several of them) contain Josephson junctions
and rely on the. Josephson effect for their operation.
.
.... .............••......•............ •.., ...........•............ •. :
••
Fact-check •
•
•
• •
1 The adjacent atomic magnetic moments tend to poinL in the ••
••• •
• same direction. if the coupling is ••
•• •
•
•• a antiferromagne!ic . •••
••
• b ferromagnetic ••
•
• ••
•
•• c d1amagnetic •
d paramagnetic ••
••• ; . . ••
• ••
•• 2 Point out an example C)! a second. order phase transition •
•
•• •••
a freezing •
••• 'b magnetization
••
• ••
•• •
c melting .
.•
•
•••
•• d el(aporption . ••
• ••
•• 3 What system 'properties change during the second order_ phase •
•• •
••
•• transition? •
••
• a density •••
••• ••
b symmetry •
• ••
•• c volume •
•
•
• d . electric charge
. •••
• •
• ••
••• 4 Spontaneous symmetry breaking means that •
••
•
•
••
•
a the symmetry of the system is ran~omly destroyed •
.•.
••
b the system undenJoes a phase transition
••• •
•
• c the symmetry of the system's state is lower than the ••
...••
• •
symmetry oftl)e equations IIVhich govern its behaviour •
•• d the system becomes more symmetric ..•••
• •
• •
•
• 5 One can distinguish a superconductor from an ideal conductor, ••
• •
•• because •
•
••
• a an ideal conductor has zero electrical resistance
.••
•• ••
•
• b an ideal conductor expels the extemal magnetic field •
•
•
• c a supercol)ductor expels the external magnetic field · ••
•• ••
• d. a superconductor freeles in an external magnetic field •
•• ••
. •
6 Free enenJy
••
••
•••
a
a is the energy .that can be freely extracted from physical ••
.•
•
•.
•
•
system
••
••
•
•• b is a quantum mechanical operator of a physical system ••
•• ••
• c coincides with the en~rgy of a system at absolute zero •
••
•• d is a thermodynamic funct ion. which is at a minimum .when •••
•
the system.is in equilibrium . •
••• ••
.
•• •••
7 The order parameter of a. superconductor is
• •
• ••
•• a a Hermitian operator •
• •
• b a complex number •
• •
• •
••• c an expectation value of two field operators. •••
•
• d zero above the transition temperature ••
• •
•• •
•
• 8 During the Bose- Einstein condensatiO[l •
•
•• ••
• a all bosons occupy the lowest energy state •
•
•
• b many bosons occupy the lowest enenJy state ••
•
••• ••
c the Bose-Einstein condensate appears
•• •••
•• d · the occupation number of the ground state becomes •
•• •
•
• macroscopic ••
•
10 order! Order! ·e
•• ••
••
• 9 Superconductivity is possible, because ••
••
..•
•
•
electrons in a conductor can undergo the Bose-Einstein
•
•
•
•• condensation ••
•
.•
••
b electrons in a conductor can form Cooper pairs •
•
•
•
c electrons in a conductor interact with phonons ••
• •
• .d electrons are fermions •
• ••
• ••
•
• •
.•
• 10 Tl)e Josephson eHeci is 'possible. becaus.e
••
••
• ,. ·a Cooper pair tunnels coherently
• ••
•
• b tunneUing ·a mplitude for two electrons is two times less
•
•
.. ••
•
•.
•
•
• c
than that for .one electron
there is no voltage across the tu.nnelling barrier
•
••
•
•• ••
•• d tunnelling probability for two electrons is two times less
• •••
•• than that fpr one electron ••
• ••
· ···· ··· · ·· ·· ·········· · ········· · ············· · ······ ·· ···· · ·· ~ ·······
.Curiouser and
•
cunouser
One of the main objections against Newton's theory of graviry
was that it introduced'action at a distance: in order for .the law
of inver~ squares to work, any tWo giavitating masses had to
'know' the positions of each orher at an)" instant, no matter how·
large a .distance separated them. The adherents of Descartes'
_physics, which dominated European natural philosophy before
Newton and did not go down Witho~ a 'fight,·pointed that out
as the ~;:ardinal flaw of the new fangled ~eory. To them action
at a distance was inconceivable, and gravity was supposed to
be the result of interaction of bodies with the aether - an all-
pervading medium. Tbe vortices in _aether were supposed r~ be
responsible for the fortnarion of planetary orbits and for the fall
of heary bodies.
Unfortunately, Cartesian physics itself had a cardinal flaw:
paraphrasing Laplace, it could explain anyrhing and predict
nothing. Newtonian mechanics, despite (or rather thanks
to} its 'unphysical' action at a distance could and did make
quantitative predictions, and that sealed the matter for the rime.
The Coulomb law was another version of actiol.l at a distance.
Only when the attempts to present electrodynamics in the same
way ran into serious'problems in the mid-19th century while
Maxwell's theory wanuccessful, the action at a·distance·theories
started going out of fashion. When the general relatiVity took
over from the Newtonian gravicy, it seemed tliat local theories
would role forever. And then came quanrum mechanics ..: ·
'·
Einstei11-Podolsky-Rosen.paradox ·
The inui~sic randomness-of ·q uantum theory was, of course,
,_an irritant for the physicists accustomed to the (theoretically
strict) Laplacian determinism of classicaf mechanics. But
this irritation was mitigated by the experience of classical
statistical mechanics and the practical impossibility to follow
on this -determinism for a macroscopic system (for example,
a
. a roomful, or even fraction of the cubic millimetre, of
gas). It seemed that ·quantum mechanics could well be
an approximation; w.hic_h can be derived from ·a 'm~re
complet~' theory. Such a t,heory wou:ld be deterministic
and operate with some quantities ('hidden variables'), ·
which for some-reason only manifest themselves through ·
quantum mechanical observables. There were precedents. For
ex<~mpli:, equations of the theory of ~iasticity were knoWn
and _accurately. described the.propenies of solids long before..
fhe aromic structure of matrer was established, not to speak ·
about the observation of atoms themselves.
g-.'®·--.-·---~ II
~ .
F'~gure 11.1 The Einstein-Podolsky-Rosen experiment
•
••
•• the axis Oz) is tl)e state(~) . and.the :do..vn· staie is (n. Then the
•
••
••
- I ·'"')
expectation value of 5, in the state EPI'f = .,(!~lf) is
. (figure out
••
•
•
•• where the t came fro.m!l · 2
..•
•
••
••
• •
.••
••
•
Take the u: ®o: -term first.
•
•
•
•
•• (...Ia: ®0:1.,}. z(tJ.- ~tfa:' f><>:itJ.- ~t). ±(t~Ia: ~":It,~H{t.lj...; eo:Iit} •
••
••
••
· -Wtla: eaglt~)•±(ttla: l!lla:lttH{tla;lt){ll.,:l J.) ~
•
•
•
••
. -.f(~a:I~)(J.la:lt)'~Wra:lt}(tiO:I'}•WJa:l~}{~a:ft} l
••
•
.•
••
; We hi!ve ~ere explicitly written that U: only acts on the f irst ·arn:m:·. ••
; · IP.article A), and of only on the second (particle Bl. The matrix of is a •
••
.•
: unit matrix. It does not change the slate it acis upon: for example.
••
•
•
•
•
.•
•
•
•
••
•••
•
.
.
•• Since (tiL}= 0 and (.J.)t} =·0. we can immediately drop all the
•
•
a:
: · ierms with (t l a: (.j.} = (ti.J.} = O.and {l) It)= <.J.It} a o. .•
•
.
•
•
•••
•
.•
••
.
•
•
••
and they will also be zero.·You can check that
••
•••
•• { ~ ~· )( ~ )=11
{ijcr:jt}=O o o{ ~ )=O, and{ljcr:j~)sO as well. ••
•••
••
;
•
Yo~ can check that the u:®u: -term will a.lso produce a zero. •
;
•
! Repeating this with S a nd 5 will improve your quantum :
.
: mechanical intuition :nd build character.
.
.
.
•••••• •••••••••••••••••••••••••••• •• •••••••••••• •••• ••• •••••••••• ••••••
~
:
Let us align· both detectors with the .axis Oz. Suppose the
apparatus B is a htde farther from 0 , or rhat the particle B llies
a little .slower, so. that the detector A always fires first.
According to the rules of quantum mechanics, 'during
measurement the quantum state of the system is randomly
projected on one of the eigenstares of the operator beipg
measured, and tht measured value wiU be the corresponding
eigenstate. The operator measured by the detector A is (we·
· measure fins in cb.e convenient units of h) s:
= tc1 uC.
®
. Tbe ® cr0 ,term simply means. that the detector A only measures
the spin of particle A and .does nor do anything to parcicle B.'(Jt
cannot:. the interaction of cb.e particle with a detector is local,
and the derec10rs are so far
apart that everi light cannoJ reach
B from A before the particle A is measured.) The eigenstates •
of u, are !r)=( ~)with the eigenvalue +1 an.d I!)= [ n
with the eigenvalue -1. The initial state.ofthe system was
IEPR) = l't.J.~lt~. Therefore after measurement it'will. be either
s;
It l) (if the measured spin projection is +1/2) or 1.1. t) (i( s; is
-112). Either ourcome bas the probability 'h.
Now an important point: $• + 5• =0, the total spin of the system
· is zero. Therefore at the same moment, when the apparallJS A
s;
measures the spin of particle A, the spin of particle B becomes
fully determiiu:d: s:= -S:. S: =f,
If s: f,
then = and vice versa.
·. it) = l. --~)-~:j+-}.,.J.)='~}-1+-} .
. . . .fi.
. .
J2 . ·
. . .•
··· ···· ···· ·. · · ··········· · ··-··· ·. ··· · ··· · ~······· · ··· · ···· ······ ·· ·
A simple exercise . .. ••
•
Check that all this is actual.ly so. . .
. ...
•
•
····~ · ······~···~·············.~············ ·· ························
. ..
. .
This means that our·EPR-sritte can be rewritten as
l • • •
s
that is, the eigenstate of the operator :with the eigenvalue
- 112.' Therdore, if the apparatus B was also turned by 90", it
·would certainly find that the x-component of spin of the particle
B equals -112. That is reasonable: the rota! spin musr be zero.
But, since-the appar~tus.B is still measuring the z-component of
spin, it will register ei'ther +112 or - 112, witb.proba~iJiry· *·
.
In rhe same fashion we can consider the' case when the
measurement of particle A yields
the particle B becomes
=
. · ..
s: ·
-!·
The..n the state of
. and so.forth.
and.so on
1 Do nOt worry about the minus sisn. You can multiply an ~stat< by
any numb<'r, and it remajns an eigcnstatt l>vith the $31110 eigcnvalue.ln odw
words: it is tbc modulus sqwired of the state vector t!iat matters.'
..
=]2{'~)~z r} ~~~)JJ+-i)r
• •
; If now we measure the x·<;omponent of spin of the particle ;
L A. the state of the particle 8 will be either ~=j-t} .. j
.j .(its:=i}or~=+-)(it5:=--}rl~o;herwords,ifthe
. . .;
; system·is in·the state lx}. both particles·. spins are pointing in ;
; lhe same direction. (Please do not tliink that this means that the :
•
~ expectation value (zi.Sxlz )= 1. It is zero: there will be equal j
l• •
contribution from the cases 5: = 5~ =fand s~ =5~ =-i.l •
••
•
: As you may recall from Chapter 7, if the total angular moment of a :
•
; system is Sh, then its projection on any given axis can take exactti :
• •
: 125 ~ 1) values- in our case, 2" 1 + 1 = 3. The state IX} has s, = 0. ;
: The othe~ two states are Itt) with S,= I and Ill) with S2 =-I. · ;
!• These three states form a triplet, while .the EPR state with its zero :
•
.: spin and therefore zero projection of spin.on any axis is a singlet.
······· · ·· ··· ·· ············~·· ·· ·· · ········ · · ~· ········· · ·· ············
:
:
e
.
with equal probabilities (if the detectors are at 90•). What is
worse, the detector A can be reset at any momenr, e.i·right ·
before the particle A arrives, which completely eliminates any .
possibility of a signal from A reaching B to tell abol!t the setup.
It looks like the eventS -at A and B are, aftec all, connected by
what Einstein called 'spukhafte Fernwirkung' or 'spooky action·
at a distance'. Einstein was very unhappy about it: According to
Eipstein, the particles A and B should have rea:! (that is, real.ly
existing) values of z- and x-components of their spins all the
time. 1 The fact that the operators o, and o, do not commute and.
therefore cannot have common eigenstates meant to Einstein
· that quantum "Olechanics. is not complete: the state vector does
not tell us everything about the system.
~
~- ...~~ ·~~:·;:;~; ~~·~~:~: :~~~:· :;;~;; ~~~ ·~; ~~~ ~~~:~·~~; ~;; ~~·~~: l
-:"" simultaneously, of the quantities P and Q can be predicted, they :
• • •
: are not simultaneously real. This makes the reality of P and Q :
! . depend upon the process of measurement carried out on the !
.!: first system, which.does not disturb the second system in. any
way. No reasonable definition of reality could be ·expected to
.!
:
• •
: permit this. :
• •
•• (Einstein et al.. 1935: 777) ;
•
. . . .
: .........•....•.•....•........•..
. ~··· · ··· · ··········
. . ···· · ······. · ·· ·. ····
.
2 The EPR paper wed a d.iff.;,enr.mOde!, l>ur the gist of iris !he same.
.•• [In his response to the EPR argument} Bohr was inconsistent, ;
•• unclear, wilfully obscure and right. _Einstein was consistent, ;
• clear, _down-to-earth and wrong. ;
.• .
•
•
John Bell to Graham Farmelo ••
.•
..... J··········· · ···· · ············ ·· ············· · ··· ~····· ············
.
•
'}- ~ -(lt)+IJ·})(ft)+li))_ltt)+l!t}+IU)+IU)
'" -I }- Ji . ji. - 2 ,
. .
.
and genemlly for any. state, which is a product of.fwictions;
describing the particles A and._B:
)'!') = JA)JB).
- -.•
: . All non -factorized states are entangled. and there are different :
• •
: degrees of entanglement. Examples of maximally entangled states :
:
•
are the' EPR state and GHZ state (after Greenberger. Horne and i
~ Zeilinger, who introduced it in1989): I.W.~~m}. Such states ~
; can be realized in many systems. not"necessarily spin ~l/2 . :
!• . particles. In experiments o·n quantum computing and quantum !•
.
: communications one usually uses qubits and photons.
.
•••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••• ••• ••••••
:
~
. .
Entangled states make the spooky action at a distance a
realiry. Their existence underlines that quantum mechanics is
not only random, but thoroughly nonlocal. Measuring one
particle from an entangled pair 'will instantaneously change
the quantum state of another one, no matter how far it is.
Would n_ot this be a marvellous way of beating the speciitl
relativity with its measly speed-of-light limit on the speed of
commli.nications?
The answer is negati~e. Suppose we have set up a 'superluminal
. communication channel' by placing rormwhere in spaoe. a
souroe of enlllllgled pairs of particles.of spin 1h (or photons:
instead of spins, we could use the polarization of light, and
instead of detectors, polarizUs, but that would not change the.
outcome). One particle of each pair.arrives at the deteciior A',
which we will use as a transmitter, and the other (a lime larer)
· at the detector 8 (serving as a receiver). Let every pair be in an
EPR State,'and assume that none is lost In space, detectors work
perfectly, and so on. and so forth. If both A and B detectors are
aligned in %-direction, then every time there is a + lfl-readout
there, there will be a -lfl-rcadout at B: ·
s. • •• •
8 rtadout: ·
s, • -. •
at
Unfortunately, the +1fl and -lfl-readoutS of s, A happen
~t random, with a probability of 50%, and there is no way of
controlling them. The operator at ll will be 'receiving' a random
string of pluses and min usn (or zeros and ories). Of oonrse,
once the operators A and B compare their notes, they will.
immediately see that they are perfectly anticorrelated. But this
is DO good for s!Jpcr)umin'a[ COmnlUOicatiORS, since the fastest
possible way of exchanging these records is by using light or
radio waves. · ·
We can try and play with the- detector A. ·Let us, for example, '
periodically switch ir from z· to .x·position. UJ)iortunately, this
wiU oDly destroy the COJTelations between the readoutS at A
and B. You can look at the table of outcomes and see that if
a.t A the x-component is measured,'then the z~omponenr at
B wiU be •·lfl·or - lfl with equal probability, whatever is the •
readout at A.
-
EPA
•
. '
•
p; ~ 0
1 1
0 0 0 1
1 1 0
1 0
Af¢·······~ · · · · ··¢·/s
.~.
''· ~ ''·
~~B
'
..''
Figure 1 1.5 A very simple land not quite practicall scheme for quantum
cryptography
11 Curiouserandcuriouser e
.• .•
: massive amounrof intercepted .information accumulated over :
; many years: One~tiine pads can be lost, stolen or bought. The ;
• •
; exa.mple of f'dward Snowden shows what a single defector can do . :
; Encryption programs can contain backdoors created on purpose by ;
: the'developers. · :
...............•.••..•........
• ....................... ~ ........ ....... ...•
a·~··_
• :
. . . . . . .. . . . ,;.;~:;~~-~-~:~:·~~~:-~~:~·;~;·;~~:~·.!
· · .Field cryptography 101 :
.
............ •.•...... ·~ ................... ··: .......................·......
. ·: ·
• .
.
® "\
.
~~ ...
Figure 11.& Schriidinger's C..t GedankenexperirT'H!nl (Zaqoskin 201 1: 4,
Fig. 1.11 . . •
. .
The hmdamentalr2ndomness and nonlcicality of quantum
· mechanics .made many pbysjcists unhappy, even thoUgh It
continued to gi~e extremely accurate predictions in continually ·
· .vcpanding areas - from nuclea~ fission, particle physics and
lasers. to electronics, materials science and quantum chemistry.
Some of this unhappiness could.be attributed to th~ attitUde .
of some physicists and philosophers, who saw in quantum
mechanics the. downfall of traditional scienti6c objectivism,
. aCC9rdiDg to which whatever we observe and investigate exiStS
inde~enrly of our.conscience, and trumpeted the triumph
of the subjectivist worldview. The ne\vs about the demise of
scientific objectivism was premature., though our understanding
of what is 'objective reality' had to be seriously amended in
view ~f what quantum mechanics tells us about the world.
Tbe·famous 'SchrOdioger's cat' Gedankenexperiment is a good
example (Figure 11.6). A cat is placed in a cloSed container
together with a radioactive atom (e.g. polonium-210), and a
Geiger counter conoect,ed to the valve of a can of poisonous
gas. Polonium is an tt-radioactive element with half-life T = 138
days, which decays into the stable isorope;lead-206. The
quantum state of the polonium acorn can be therefore written as
a superpos10on
This state collapses only wheri Wigner Sees his friend and this
· is not quite a reasOnable picture despite its logical ixrefutability.
Theri, there is a· queStion of how sentient the observer must be.
Will a cat be ab~,~;o 'observe itself'? Will there be.any difference
between a cleve.r and a dumb cat (or a clever and dumb friend)?
How abo.ut mice? Where do we stop? Will gerting.a PhD
improve your ability to collapse a quantum state? ·.
A more reasonable approach would be to asaibe the collapse to
the interactions inside the container, which will either kill or not
kill the cat even before anyone bothers to look. The umbrella
term for these interactions is decoherence. The·key requirement
S For example, one can daim that he or she is the only. person in
the universe and everything else is jUst an ill~sion. This is a logically ..
unassailable position - but tzying to live ir would be.a disaster, and .writing
books promoting such a point of view (solipsism) to allegedly illusory
readers ia: not <~';lite consistent. . . . . .
of decoherence is the presence of a macroscopic system, but the
question remains how macroscopic it should be.
"Jhe problems concerning the existence o£a·macrosoopic
quantum system in·a quantwn supi:rposiri<;>n of states could
be considered of no practical interest, until it tw:ned out thai
quite large systems could be put in a quantwn superposition of
different states, if only one manages to properly insulate them
from the environment. We will therefore·consider these.questions
in the next chapter, when discussing quantum computing.
Bell's inequality*
The oonlocality of quantum mechanics found irs ex:act
mathematical expression in Bell's inequality (derived by John
Stewart BeU (1928-1.9.90) in 1964).
.
BeU was interested in what kind of a theory With lUdden
variables could reproduce the predictions of quanf\!.ID
mechanics, pagicularly for the EPR experiment.
Let us once mote consider two spin-112 particles with zero total
spin, w!Uch are measured "by deacrors at poims A and B, and .
assume that there is a set of hidden variables A. which completely
describe these two particles. If we reject action-at-a-distance
and insist on locality, tben the result of measurement at A must
be indcpc:ndent on that llt B (Figure 11.7). For example, the
probability of measuring spin up at A and spin down at B will be
A /.¢--····~·-·····~~ B
f.gu,.11 .7 Checking BeU"s inequality
11 Curiouser'and curiouser §
In tbis situation the probabilities depend· on tl;le values of hidden
variables, A.'Here P{ab) is the probability that both event a and
event b occur. You will easily persuade 'yourSelf that if these
events are independent, tb.en.P{ab)=P(aj.P'(b). For example, the
probabili~:>: of throwing two sixes with fair dice is·
' 1 1 1 '
- x-= -
6 6 36"
. .
In principle a tl)eory with hidden variables can be probabilistic,
an
with the outcome of experiment only depending on rhe
values A through the probability density p(A) But we will show
that in order to properly describe the EPR ·experiment, a theory·
with local hidd.e.n variables must be determi11istic: for each state
of the system the.r.e must be a definite choice of A.
indeed, for ail EPR pair of particles the spins, mc:aSured at A ·
and B, are always opposite. Therefore .
'
Probabilities and probability densities are non-ntgarive,
•
Therefore the integral on the right-~d side; can be zero only
if.either P.(t; A)= 0, or P1 (t; A)= 0, or p(A) = 0. The' Ia~
choice is ·nonsensical (it would mean that nothing ever l;lappens,
including 'nothing')..Therefore we are left with e.ither P.{f; A)
= 0, or P1(t; Al =.0. In·the same way from P..{.U) ':' 0 we find ·
that eitl)er P~(l; A) ,; 0, or P1(l; A),;, 0. Each ~asurement can
produce either spin·up, or spin down. Therefore the result of the
measurement is determined by the hidden variables without any
randomness: If P.{t; A) =·0, then P~(l; A)= 1, and so on: This is
alttady reniarlcable: locality
. demands determinism
' . ..
Now let us condUCt tJ,.,e different measurements of an EPR
pair at A and B. For example, we can measures,.. s, and the
projection of spin on the diagonal at 45• in the plane Oxz.
The measwd spins must be always opposite. In a theory with
· bidden parameters, the outcomes of these experiments must
be determ.ined by some pre-existing (before the measurement)
variables. Let us calli;.< the variable; which determines the ..
outcome of the s, meas\UemeO:t on particle A:~ =±I if the .
measurement gives s~ =±lin rhe same way we introduce
~A= ±I for the measurement of S:, and '7A =±I for the
nieasur~ent of S:r• and similar variables for the measurements
performed on the particle B.
Now, rhe pcobabiliry for a particle from the EPR pair to have
values~ = 1.-'1 = -I equals
P(C= 1, '1 = - 1) 0:: P(~ :;o 1. ~ = 1. '1 = -1) + P(~ = - 1, C= I , 'I= .- 1.)
(since either ~ = 1, or. ~= - 1)•
. Probabilities are non-negative, therefore
.
· ·11 Curiouser and curiouser @
• •• ••••••• ••••••• ••• ••• •• ••••• •••••• •• ••••• •••• ••• •••• •• ••••• •• •• ••• •
••
Fact-check •
•••
• •
•
••
1 The EPR experiment demonstrates that quantum mechanics is ••
.• .
•
•
a stochastic •••
• •
• b nonlocal ••
• •
• •
c acausal
•
•
• ·d. incomplete
.••
• ••
• •
••• •
•
•• 2 The EPR experiment does Aot allow faster-than-light ••
• communications, beca use •
••
•• a the wave function collapse takes finite1ime
••• b the outcome of a quantum measurement can only be'
•
•
•
•
predicted statistically
•
• C · the measurements at A and 8 are not. correlated
•
••• d the total spin is only conserved on aver-age . ••
• •
• •
• 3 Which of these quantum states a re entangled? ••
•• ••
••
•
•• • irt}•itt)-IU)-I.U)
' 2
c *j;;IJ.L) ••
••
••
• . •
•
•
•
••
•
.. li Jtt)-11•~U} d . 3l!r~IU) ••
•
. 6 ••
..
•
• ••
.•••
•
•
' What ane some of the vulnerabilities of one-time pad
cryptography?
••
•
•
•••
...
•
• 8
b
repeated use
secure distribution
••
•
•• ••
..
• •
• c password steal!ng •
••
•
•• d redundancy ••
•• •
•
•• 5 What are some of ttie advant11ges of quantum key distribution? ••
•• . •
••
•• il negligible chance of eavesdropping ••
•
••
••
b faster-than~light communication .•
•
c one-time pads of arbitrary length ·. •
•
.••
.• d eavesdropping attempts can be detected
•
•••
•
•
••
•• 6 According to the no-cl~ning theorem · · •
•
••
.•
• I no-two quantum systems can be prepared in the same ••
•• quantum state .. ••
••
••
• b no quantum system can be prepared in a superposition of .•
#
@
.
..
.
•
•
••
c an unknown quantum state cannot be copied · .•••• .
d a known quantum state cannot be copied
•
• •••
• •
••• 7 The 'Schrodinger·s cat' and Wigner's friend' ••
•• ••
.Gedankene'xperiments illuminate ••
••
•
•
•• a the quantum measurement problem •
•
•
•• b . the problem of quantum-classical transition .••
•• c the inlluence of the observer's consCience on quantum ••
• ••
• mechanical processes •
•• ••
• d the incompleteness of quantum mechanics ••
•
• •
•••
•
• 8 An experiment. in which the Bell's inequality is violated,
•
•• . . ••
•• demonstrates that ••
• •
• a quantum mechanics is incomplete •
••• •
•••
b quantum mechanics is self-contradictory
••• ••
• c local hidden variables are possible ••
•
• d Nature is non-local ••
••
.
•
••
•
•• 9 The macroscopic environment of q quantum system·. ••
••
• a disrupts quantum correlations in the system •••
••
• b makes qu,antum evolution impossible •
••
• •
••
••
c reduces the dimensionality of the system's Hilbert space •••
• d determines which observables can be measured •
•• •
•••
•
•• 10 In an EPR experiment. what is'lhe probability of measuring ..•
•• spin up at A' and spin down at 8? •
•
•• •••
• a 10.0% ••
•• •
•• b 50% ••
• ••
•• c 25%
• •••
••
d 0% . •
• ••••••••• •• ••••••••••••• ••••••••••••••• • •••• ••••••••••• • •••••••••••• • ••
•••
..:
: C. Andrew, The Defence of the Realm: The Authorized History of
.
:.
.• • •••••••••••••••••••• • ••••••••••• •••••• •••••••••• ••••••••••• •••••••••••.
M/5.. Allen
. Lane, 2009,. p. 367. . ;
~chrod.inger's
elephants and
quantum sHde
rules·
The keyJea'rure of science is its ability to not just explain, but
to predict the behaviour of the world around us. From the
predictions of eclipses to the calculations of planetary orbits
apd trajectories of spacecraft and ballistic missiles, from atomic
transitions to chemical reactions, £rompure science to applied
science to engineering- the power 'Of science is built on its
predictive force, an~ tbe latter means a lot of computations. The
reilson is that while the mathematical expression of the laws
of.Nature may' be quite simple;, the corresponding equations
of motion practically never have exact solutions. One must
develop either some approximate schemes, or numerical methOds
of solviPg these equations, or both. And in any case solving a
problem 'from the first principle' ,remains a very challenging task.
In dealing with it we come to rely more and more on the support
of computers.' But the use of computers' cteateS problems of its
own, from devel~ping a general tbeocy. of their operation. to the
practical questions of their design, manufacture and maintenance,
to the point when engineering and fundamental physics are no
'
longer distinguishable. This makes the field of quannun computing ·
and- more broadly- qua~twn engjneeririg especially interestin'g.
Cdestial mechanics-. the application of the Newtonian
·dynamics rb the motion of the.celestial bodies- was the first
science where larg1:-scale computations were required. .
The ideal picture of pla~ets following th~ ·e)liptic orbits
around the SUJi in accordance with Kepler's laws is easily
derived from the Newton'S Jaws and universal gravity,.but only
if there are.only two b<l<lies in the ·system - the Sun and a single
planet. This i~ just an approximation to re11lity: there are more
than two objects in this Solar system, and, unfortunately it is
impossible ~o solve exacdy the equations of motion already
for three gravitating objects (except for ·some very special
cases). This is the famous 'three-body problem'. It does have
some equally famous elCact solutions (some of them found
.by Lagrange), but it has rigorously proven that this problem
has no 'good' Solutions for the absolute majority of initial
conditions. ·
The siruation with more than three obj~ is even worse.
Therefore in order to solve the Newtonian equations of
motion for the Solar system (and thereby confirm- or refute -
the validity of Newtonian dynamics and universal gtaviry,
by comparing these theoretical predictions with the acrual ·
astronomical observations), it was necessary to build the
perturbarion. theory. for example,,when making.calculations
for Venus,. first one had to take into account the pull from the
Sun (which is the greateSt), then from Jupiter, then from other
planets, and so on and so forth.
. .
In penurbation theory the solutiorui ~re f~und as a sum of many
(m principle -· i~finitely many) contributions, finding which is a
time-consumin.g and labour-intensive process, requiring many
computations. First this was dO;iie manually'(with ~e' help of
the logarithmic table5, inverited in the 17th century by Jo4n
Napier). The accuracy of these cakulations by the inid-19th
ceririlry was suffici!'nt to predict and then discover a n~w planet,·
·of
Neptune, based on the deviations Uranus from its cal.culared.
orbit. Nevertheless many effects in celeStial mechanies -such
as tlie relation 'between the satellites of giant planets and the
shape of their rings - could only be investigated with the arrivaJ
.
of pOWerful c~mputers in the'latter haU of the 20th century,
because they involved such a large number.of Jx>dje$ that any
manual computations, even assisted by m~cal calculators
or slide rules, were hopelesS. · ·· ···
Tb~ ·gro~g power·<>( computers prompted the development·
of a separate branch of. physics, compura~ional physics, along
with theoretical and experiinental phySics, devoted to :a pircct
modelliJ18 of the behaviour of various physical systems by
. solving the corresponding equations:of motion n.imerically.1
It was not only better ·numerical algorithms that were. being ·
. developed. The b'ardware w,as evolving fast: the sj>C!Cd
of.computers steadily increased, arid their size shrank.
According to the famous Moore's law - an observation made
.back i.n 1965 - the number of transistors in a·n integrated
circuit doubled approximately every two years, and the
trend, surprisingly, holds even now. But this shrinking of
tlie unit eiements cannot go on furever. There.is a limit to
how sm4/f they can become. In principle, this would limit.
the power of computers, ar least.those bUilt on the same .
principles as the current ones. From here followed another
imponant question: w~ether a computer can' ,[(iciently model
physical systems-.
'Efficiently' here means that there should ·be a reasonable
relation between the sca~e of t.he problem and the amount of
. computational resources needed to solve it. If, for example,
in order to solve the problem of three gravitating bOdies you
would need a desktop, for six bodies a supercomputer, and for
!line bodies all the 'computing power· of Earth, the modelling
would not be·efficient,. tlsuaUy one ex~ from :efficiency' that
the computational resources should scale no faster than some
power of the s~e. of the problem. So an al>proach .requiring one
desktop fur a three-body problem and 2, 21 = 4 Qr even, sa·y,
. for a six-body problem ciluld
2 10 = 1024.desktops .
. be considered.
1 for enmple, by.'slicing' rime ond space in small P.i<oos OJld replacius
the diffetipti21 equations by me di.lfere= cqliatioDS, as we ba~e briefly
mentioned in O.aptet 2. ·
.
.12 Schrlidlnger's elephan;s and quantum slide rules e
.
'efficient'. (The latter case would not be really efficient, but that
is a different story.) ·
.
Richard Fcyn.mao was one of those ~entists who were
interested in both problems, and in 1982 he pointed out that
a cOmputer, which opecactes according to the rules of classical
physics, cannot efficiently model a guanrum system. That was
an important, troubling and promisiDg ·observation.
a ·... '. . . . . .
• ·
•
~:·;~;~; :~·;~~;;s·t~~~· ;~ ~~ ·;~~:~,~~~~ ~~;~;;
doubles approxi'!'ately every two years. ·:
.l
•
:
.:
Moore's Law :
.
!• If something cannot go on forever. it will stop. ; ·
•
.
: • H.erbert Stein's Law
. :
.
···· · ········~ ···· ·· · · ··················· · ·················· · ······· ····
and so on). Slide rules were fast, efficient and nor roo expensive,
and for a hundred years there was no engineer and hardly a
physicisr withour a slide rule.'
More complex analogue computers were builr for sol\'ing
a specific problem, or a class of problems. One area, where
one early on had to solve complex equations as accurate!)' as
possible, is the continuum mechanics (which includes such
disciplines as fluid mechan ics and theory of elasticity). Its
development was spurred by the requirements of practical
engineering. Unforrunately, the equations, which describe
such systems - be ir an iron strut under varying stress or an
airplane wing in a rurbulcnt flow- are notoriously hard ro
soh•e. Take, for example, the fundamental equations of fluid
mechanics, the Navier-Stokes equations, which describe the
motion of a viscous fluid and are known for almost 200 years.
Nor only are the)' very hard to sol\'e numerically. The question
of whether there exists or not a 'smooth and globally defined'
solution to rbese equarions remains a major unsolved problem
of mathematical physics. Bur finding accurate enough solutions
ro these equations for a varier)' of conditions is absolutely
necessary when designing ships and aircraft.
One can use wind tunnels to directly recreate rhe desired
conditions and simply observe what the aircraft will do under
such and such conditions. But for a large aircraft or a ship this
would nor do. It w:ts proven though (back in the 19th cenrury)
that a scale model of a ship can be tested at a different speed,
and maybe in a different kind of medium, and the results can be
recalculated back ro the full scale. The installations where such
2 In Hayao Miyaz:tki's last animared film, The Wind Rises, the hero's slide
rule plars a prominent pan.
· tesiS auperformed (ship model basius) are essenliaUy analogue
computers (or simula(ors), which use one physical system 10 ·
predict the .behaviour
. of a different physical system: ·
When building aria:logue computers one·makes use of the
fact that differem physical systems are often described by
identical equations. For example, a mechanical oscillator (a
spring pendulum with friction) and an electrical osciU!ltoi .
(an LC ci.m'iit with resistive l6ss) satisfy the same equation,
~f =·- mlq -TJ!ft ,'even d10u~ in o~e case q is the position of
a pendulwn and in the other it is voltage on a capacitor, and" is
determined by the friction or electrical conductance. Therefore
in order to solve a system of differenri.al equations one can build
an appropriate electric circuit'(which will be much easier to
make and measure than an equivalerit system of pendulums!)
and .measure the appropriate voltages.
Taking up this.approach, we therefore expect (with Fcynrnan),
that the use of quantunl computers to simulate quantum
systems should save us from the tight place. Again, we will calL
a quantum computer any quantum system that can be used ·
10 simulate (and therefort. predict) the behaviour of another
quantum wsrem.
A . .. NOTA
0 1
·1 . . 0 ' ' .
·········································· ·····················~·-~ ······················
S Any logjcal circuir c•n ~implement«! with reversible gares c>nly, thc>ugh
this is not bow con\-entiona.l compurcrs optrart'.
.
Table 12.4 Truth table 4IA CNOT B)
IN N U'Jl Qi,.IT
A B B•AXORB
0 0 9,
0 1 0 ,
1 0 1 1
1' 1 1 0 .
······•·••·•·····················•·• ·········•·••································ ········••
Quantum gates
First, the set ef Universal quantum ptes includes ooe-qubit
gates, which ~bould allow atbitr~ry manipulations with the
quaqrum state of a single qu~it (just imagine rotating its.Bloch
vector). Examples of such gates are ~li-X, Yand Z g~tes, ·
given by the Pauli matrices rr;,,,,. &omChapter 4.1£ a qubit is
F'ogunt 12.2 Quantum CNOT gajo (Zagoskin 2011: 314, Fig. A.1.11
.
6 Named aftu Jocques Hoclamard.a promiocnr Fttneb mathematician,
and pronounced 'ab-<lah-mAHr'. ·
. . .
. 12 SchriJdinger's elephants a~d ~uantum slide rules ·8
Pauli-X -gate) to the target qubit state, ii the control qubit is in
state 11} This gate can be repre$Cnted as a ·four-by-four matrix '
1 0· 0 0
CNOT=
. o 1 o ·o
0 0 0 1
0 0 1 0
6)
Indeed, if'the control qubit is in stare jO) = ( and the target
qubit is in some state jV'} = (:),then the two-qubit state vector is
1 u u
1 .. v
- v
'"'} = 0 u 0 '
0 v 0
1 0 0 0 u u
0 1 0 0 v
CNOTII{f>= =
o· o o 1 0
0 0 1 0 0
1 0 0 0 0 0
CNOTI'I''} =
0 1 0. 0 0
-
. ·o '
= ltii'}( U H V ).
0 0 0 1 u v
0 0 1 0 v .u
.
Figure 12..3 Two flux qubits Interact Ilia tlleir magnetic fields
8 (1)
0 X fW
x!O.,.II I t 1-l(,.j ·
•·•·······•·••••·•·························•••··············••················•·••·······
.
If we have a classical computei, there is no choice but' to ·
:lctually calculate and compare f(O) and f(l ), because a classical
bit can be either zero or one. On the other hand, a quantuni ·
'bit can be in a supe.rposition of both srat~ and the Deutsch'
algi>rilhm takes advantage of this. ·
.@)
....... .
.
. . ... .......................... ......... 4 . . ...... . . . . . . . . . . . ....... . . . .
. :
Recall that the function ftx) can take only values U:£\:l.
and. one. Therefore the state of the qubit B in the output,
"-
f(~
x>H
'-\t..-
-f~("..;.t.>. • 'th loHtl . !tHo). loHt) . ..
- ,tset er~ (ifftx)=O)or 72 ~ -Jr
(if /lx) = 1). We can rewrite the state of the two·qubit-system
~It<),.. = {t·L ~i±lx)J}{I!!tjl}. The plus ~ign in'±' is taken
if f(x) = 0, min;.$ if f(x) = 1. (This sensitivity to /(x) is due to our
earlier insistence that the black box should cak'ulate ftx) or
(l~/lx)) &pending on the state of the qubit B).
Note also that the quannun state (IJI}.;. turns out .to be
facroriud: it is the product of the state of qubit A and the
state of qubit·B. We caD 'therefore now forger abOut the qubit
B alt~er (and ~nyway its .state, 105f> , d~ not depend on
. .
flx))' and concentrate our attention on qubit A•.
. .
We wanted toJcnow whether /tO)= /ll} or n'or.lf {(0) ~ /l1),
! !~ )( ~ }{ ~- )=10}.
Hj'l'+}·%(
m-.E~~~~i~· . . :·. . . . . . . . . . . . . _
.:. ;. . .:. ._
.... 1
: A qublt IS on the state I'P.J. What 1s the probability of findong 1t 10 ;
..
; state 10)? Or in state 11)? :
.
.
.;········
Then answer th.e same questions if the qubit is in the state l'l'.) .
····· · ····· · ····· ~· ············· · ·· ··· · ··· ~ ······ ·· · ······ ···· ··
:
G··K~~id~~;·P-~bli·~ -k~;·~~~-~~~i~~-~i~~lif·i~d........... ~~
- ·,: · A popular way of describing the pubtic key encryption is to imagine :
• •
: that Alice maintains a stock of freely available, open strongboxes :
• •
: with a spring latch. Anybody can 'put a message in a box. close it :·
• ••
•
: and send to Alice. but only Aijce has the key and can open the box.
.:
•••••••• •• ••. • ••••• •• •• • ••• • •••• • • ••• • •• • • • •••••••• • •• •• ••• • ••••••• • ••• • • •
. .
8 Peter Shor is ao Aroericaa mathematician wl!<> made iJnporunt
contributions to quantum computing besides lhe. eponymous algonrhm. .
numbers•, no matter how large. But it is hard to find the factors,
given the product. This operation lies in the basis of publio key
cryptosystems (SllCh as the popular PGP ('pretty good privacy'},
those ust;d by the banks and internet merchanrs to,conduct
money ttansactions; and of course the encryption systems used
by large corporations and governments).
'Hard' means dlllt in order to find the factors of anN-digit
number, all known classical algorithms10 would require
the amount of time, which grows with N faster than any ,
power of N (that is, e.g. as exp(N)}. In 'other words, they are
· 'exponential', and not 'polynomial', in N.
In practice, it ~Y take decades or centuries in order t~ fuid the
factors and break the code by mnning the existing algorithms
on the existing classical supercomputers. What is even worse
is that as soon as Somebody gets sufficient computing po'\¥er
to break, say, a 128-digit Key code, ir is enough to_switch to a
256-digit key in order to make your codes safe again (and such
switching is quite easy and cheap). On the other band, the very
knowledge that somebody can .break public key encryption io
a polynomial time would have very deep consequences for the
global ecoooiny, defence arid peliri.cs. ·
: .
...•.............••......... ................. ... ~ ...................
If it tums out that somebody will be able to break this ;
.
and then only keep the right one. Unlike the Deutsch algQrithm,
rhe Shoi algorithm is probabilistic, This means that if we
want to factorize some numbq M using this algor:j.thm, the
quantum computer will &ve a eorrect .an~er Q only with a ·
6nire probability :P. But this is not really a problem. Factorizing
is a so-called l'iP-problcm (nondeterministic polynomial time),
which essentially means that while it is b~rd to find an answer,
it.is easy to check whether the answer is correcr·or not. ln our
case.we simply divide M by Q·. lf there is '!- remainder, we.just .
rerun the algorithm and check again. The probability of not
getting the right answer after n attempts is (1 - P)" and will very
· quickly go to zero as n gxCIWs.
..
Schrodinger's el.ephants,
quantum· error correction and
DiVincenzo criteria
In order to run the Shor ·algorithm, a quantum computer must
contain at the very least enough qubits to fit iri the nu'1J,bcr 'to
be factorized. These hundreds of qubirs must be manipulated
· in a very p~ way (we have seen·that even a simple Deutsch
algorithm requires a lot of manipulations wirh qubit states
in order to·extract the information), and all·the time they
must be m.aintained in a coherent superposition of many
different quantum states. This is a n<?toriously difficult task. A
superposition of two quantwn states of a single or a few qubits,
like JooHI I} , is ·routinely called a cat stat~ and as we know they .
J2
are already"very fragile. In a useful digital quanrum computer
we must deal with real 'SchrOdinger's elephant' States and
· somehow ensure their surviv~l during irs operation.
The decoherence time of a quantum system generally drops
fast as the size of the syStem increases, and the decohereoce
time even of a single qubii iS not long enough to perform
the necessary number of quantum logic gates. Therefore the
quantwn state of a quantum computer will be disrupted long
before it will finish the ·assigned task; and the result will be
garbage.
The designers of classical computers met with a similar
problem. Even though classical bit states, zero or one, are much
more robust than die qubit states, they are subject to noise and
fluctuations. In order to prevent errors, each logic bit is encoded
by several physical bits. This redundancy.(like the 'Alpha; Bravo,
Charlie', etc.) with the periodic error correction ensures the ·
stability ~f information . .
The simplest example o f classical error correction is the three-
bit majority rule. Each logic bit is encoded in three physical bits:
o~ 000, 1 ~ 111. In the absence of noise all three bits must.
·have the same value. From time to time the bits are read out
and corrected. For example, 010 ~000.110 ~ 111. This scheme
protects. only against single bit·flips: if two bits were flipped
between the check-ups, the majority rules will make the mistake.
No error correction method protects against all possible errors
(a complete physical destruction of a computet is also an error
of sorts), but the ones employed in modern computers are
more .t han adequate. Unfortunatelt these methods cannot work
witb quantwn computers, because the intermediate states of
qubirs are quantum s uperpositions and will be destroyed by a
measurement.
The goal o f error correction is to restore the State of a
computer to what it was before the error ~appened. As we
know, the rigorous no-cloning theorem (Chapter 11) prohibits
00 . No error happened
01 Oubit 8 lOpped
10 QubaCftip~
11 • Oubit Aflipped
···~···· · ······~·········································································
13 To give you ~n idea, at the pre.e;,t time, the number of qua.o.twn gate$
iloe can _
apply tq a snpei'C9oducting q,ubit before it dccohetes i< about a
huncked and growing. ·
14 Assumi.!ig, of ootitsc, tlut there is no {uiu:lamental ban on large enough
a
..j.stems being in quantum coherent state. It may be that the best way of
finding it out is 't o try and bwld a quantum computeL
E
E,.(l)
Grot.ndstale
. .
Flgu"' 12.5 Adiabatic. evolution of energy
. levels.
.
A similar approach in quantum computing is based on the
adiabatic theorem of quantuin mechanics. Suppose the
Hamiltoriian of a quantum system d~pends ·on time, so that its
quant~ state v~~or $atisfies the equario~ i/14;;>= H(t)llf').
At any moment of time the Hamiltonian will have .a sec
instantaneous eigenvectors, sud. that H(t)l¥'.ftl) =E.(t)lti.(tl).
For example, its ground state will be also time dependent
(Figure 12.5). ·
Then the theorem cJajms that if initially the system is in its
ground state (i.e. 1'1'(0)) = I1J1.(0))), if the ground stace of the
system is always separated from the excited $tates by a Mite
energy gap (i.e. E,(t)- E0(t) > 0), and ifthe Hamiltonian changes
not too fast (there is a rigorous expression for this 'not too fast',
of course), then·tbC.sysrem will remain in its ground state (i.e.
I'P(t)} = 11!'0(1))) at all limes with the probability close to one•
.
•• •
•
.•
'I . ;I
• ••
•
•• ••
• •
•• ••
•
..•••
• ~· •
•
•
•
•
• •
•••
••
I~~~
' .
•
•
••
•
.. •• •
•
•
Not all these adva.ntages are as dear-cut as one would like. The
~.rewriting' of a circuit based quantum prbgramm,e in terms of
an adiabatic quantum computer requires some unrealistically
complex patterns of couplings between qubitS. There are .
. reasons to believe t~t one cannot operate this kind of a device'
in4efin.i_tely long, since itS quantum coherence will be eventually
disrupted. The enetgy levels of such a device may not satisfy the
conditions of the adiabatic theorem. But still, it is a tempting
proposition, and there can be some shon cuts.
. .
One such shon cur is a 'qtumlwn Cl[ltimiz;er' or 'qumuum
annea~·. 'J'hi3 is a limited-purpose adiabatic quantum
computer, a kind of 'quan~ slide nile'.lt is indeed like a
quantum counterpan to a classical analogue computer..ir wo~ld
solve not .a n arb.iuaty problem, bur a specific one, or a specific ·
limi~ed class of problt;ms. It may not even wive them exactly,
bur give a good enough approximation. Many important
problems either belong tp this cfass (optimization problems) o r
can be reduced to them .
.
A good e~mple is the travelling salesman's problem: given
a set of towns connected by roads, ~d the shortest route
passing through each town at least once. This is an important
logistical problem, especially if you can solve it '(or produce a
good enough approximation) in real tim~. And this is an ideal
problem for a quantum optimize~
The machines produced by D-Wave Sysrems Inc. (Figure 12.6)
belong to this class of quantum devices. They contain bundreds
Figure 12.6 D·Wave Systems quantum optimizer
~
• » •
' I P • • • • '
..
' ' • •
J •
' '
•
•••
c
i( ~v) •••
••
•
•
••• [u+vljo}+!u-vll1) · ••
•• d •
•
•
•
•
•
.J2 •
•
•••
• 7 The Shor algorithm allows us to break
••• •••
•• a one-time pad encryption •
•
b public key,encryption ••
•
• ••
•• c. Enigma code ••
•
••• d Morse code •••
•
.•
•
.• 8 Quantum error correction is necessary 10 order to ..
••
..•
•
a break the no-cloning theorem
••
•
•
• ••
••• b allow a quantum computer to operate longer than the ••
• ••
•
• decoherence time ~(a qubit. ••
•
•
•• c increase the accuracy of quantum computation ••
•
Sturm·und Draf)g:
the old _quantum theory. .
To begin with, tbe Planck's formula of 1·900 ~ aJmest literaUy
dictated by the need to i.QrerpOlate between Rayleigh-Jeans and
Wien's laws for-the equilibrium elecrromagnetic radiation. This in
no way diminishes his great ac!Uevement and intellecrual bravery.
• But it did certainly help that hls formula, based on a simple ....
· assumption that eleettOJ:!l'lgnetic energy is emitted or absorbed by
matter in discre1£ portions; has as limiting cases the two formulas
so well founded in cl.usical physics.]Jte Wien's Jaw for the
spearat density of high-frequency of electr.oinag,:.eric radiation
not only agJeed ~th die eicperiment, but was derived from
thermodynamk31 considerations: (Equilibrium thermodyn~rnics
is argliably the most reliabl~ discipllne"in all of scienc:l!.) The
Rayleigh-Jeans Jaw for the spectral density of /ow-frequency
electromagnetic radiation was derived directly from Maxwell's
well-established electromagnetic theory and statistical mechanics, ··
and also agreep with the experiment. This dearly indicated that
Planck's formula is not just an ad hoc hypothesi$, and that it is
likely to reflect sonie ntl" aspect of reality:
.
Plaock's.formula did not ~Y anything abOut _the properties of
light itsdf - It would be .as correct if light was not quantized at
. .
a·········~;~~·~~·~~~~·~~;;~~~~;;:-~;;~:~·;;~;~~~;;:::;~;~~~~; ·1
···-·- :· · follow that beer consists ot"indivisible pint portions. ;
• •
; Albert Einstein about the question ofwhether the light quanta exist. :
• •
; quoted in Philipp Frank. Einstein: His Life and Times (Oa Capo Press. ;
• •
.; 20021. translated from the German by George Rosen. ;
·· · ~ ············· · ······ ······· · ···· ··· ·· · · ·· · ··········· · ····· · ·······
:
~ ·5~-~iii~·ht·=·c;~·;;~~~-~~d·~~~~-~~i~~;~-t~ ......:.............l.
: In the limit of large quantum numbers (or the Planck constant h -+ OJ :
;. .quantum formulas must red'!ce to classical fof!J'lulas. ;
. ......................................... ··•· ..............................•
•
•
•
!-··
...
~- -~·~;;;~;~; ~;:;~·;-:e~~~: ;;;:;~~-;;, ~:~~;~;;~~ ;~~-:~~~~~~~. ~
•. and making them see the light, ·but rather j)ecause its :
·. ·
; opponents eventuaUy die.and a new generation gro~ up that is :
:• familiar with it. ;
• •
• Ma• Planck. A Scientific Autobiogrophy 119491 :
: . .
.. ···········&·········· ······· ························· .:
·················
In the case of quantum mechanics, it was not as hopeless as
Planck's saying seems to indicate. The new truth did-convince
the opponrots and made them see the light. They just were
rather .uncomfortable with the truth - or maybe the ligbi:.did
hurt thei..t vision ~ and this discomfort to a certain ·exteilt
persists four genetations later. . . ··
Tbe two key {eatureS of qUantum m~nics, its nonlocality
and stachasticity, were to a certain extent-the' hardest bits
to·swallow. 'E,instein was.V.ery unhappy abounhem, but his
attempts to demonstrate the incompleteness. of quantum
mechanics (in paniculai:, the EPR Gedankenex~ent)
eventually led to a direct experimenn.l confirmation of these
very features. They turned out to be tbe reflection of the
fundamental properties of Nature, an~ not bizarre artefacts of
quantum mechanical formalism.
The qileStion of whether the state vector ·i s 'real' begs the
q11estion of what 'i'eal' iueans. Is it something you can touch or
see? Then atoms or X~rays are not 'real': Is it something that
produces objectively observable and predictable effects? Then
yes, state vectors ace 'real'.
Can one say that rather than being 'real', a state vector just
contains thi infor;nation we can have about the physical··
system? Ye$, but tben·ir·isnecessary to say·who are 'we' and
what is 'infomiarion'. lnfocmarion must have a material carrier, ·
· and information depends on the .r~pient. A letter in Klingon
will not be. all that infonnarive to a hobbit.
There exjs~·a number ·~f interpretations of qu!lJitum niCchanical
fonnalism. I bave menriooed earlier the 'Q>peobapl interpm:ation',
which .rW<fly separateS quantum and classical woclds with9ut telling
you where to draw the boundary. You have certainly beard about
the ' many-world in~retation' proposed by Hugh Everett; the 'pilot
wav~ intetpretation by David BOhm goes back to Louis de Broglie·
himsdf. There are otbec interpretations. But the bottom line is that
as long as one talks about 'i.nr.erprerations', they all must lead to the
same standard equations and rules of quanmm spechanics and yield
the same pcedicrion5. FAPP - Foe All Praaical Pwposes- they are aD
the same. I would tbexefore wbolebeanedly support the diem m of .
·physicist David Meniun: Shut_Up ,.;.d Calcul3te.
'But whete is the physical sense'? Well, what:is the physical
sense, if not the intuition acquired by die expetience of
dealing with concrete problems based on a specific physical
theory? In classical mechanics we deal with forces, velocities,
accelerations; which are all vectors, without much fuss - but
there.are no 'vectors' in the Universe you could touch or point
at. (The realization that in the material world there is no
such thing as a 'triangle', a 'sphere' ·or a ' dodecahedron', goes
back to the ancient Greeks, in particular Plato.) In quantum
mechanics we deal wit.h q uantum· states, which are vectors
in_Hilbert spaces, and observables, which are Hetmitian
operators in these spaces, and there is no reason to make
fuss about that either. The main thing is that they correctly
describe and predict the behaviour of the outside world, the .
objective reality, which is indepe)ldeiit on anyone's
subjective mind.
'But is this a true d.cscription?' Here we must talk about science
in general,_the sc(entific method and the philosophy of science.
.
'It was a warm summer evening in ·
ancient Greece' ·
A single word 'sci~na:' means ~ intetwoven and inseparable,
bur distinct, things: the system of objective rational kDowledge
about Natore, which has not just explanatory, but also
. predictivt: power; the system of methods for verifying, te_sting,
.
.
: · Michal HeUer, Philosoplty and Universe :
. ..
························!· ·· ·· · ~·· ·· ···································
~
ra····~~·; ;·~:;~~;;;i~~·~~~~;::·;;~~:~~;~~;;~~i~-~~-~:·;~; ~
-;·· sea. Without ever being able to ~ismantle it in dry-dock and :
·
.
. : . . recon.struct it from !he best..components.
. : .
.:
: Otlo Neural h.
. ' Protocol Sentences·.
.
. . loc!.II.J>gical PositN;sm :
in IU. Ayer
(1959] :
.
• •
·· ·· ······~·· · ··· · ··············· · ······ ······ ·· · ·······················
.
The boat is the corpus of scientific theories, and yes, it shows
the signs of its oQgin, aod is pr<!bablynot the best one c:Ould
build. In other words, the argument stares that science cannot
go beyond a set of makeshift 'models', and therefore does:
not tell ~ anything about the 'true nature of things'. But
the argument. acrually defeats itself: however unsigbtfy and
imperfect, with all its wear and rear, this is still a boat. Its
structure sufficiently rellects the reality of the outside oeean
to keep afloat and inove in the desiied direction, and it allows ·
furthet improvements. Even ii one ¢31100t get the 'ultimate'
theory, we C3Jl tell which of the competing theories is better in
describing observations and making predictions, and therefore
can improve our knowledge. There is o.;·logical proof that
we will be always capable of getting closer a.nd clbser to the
abso!ute truth, but is such a proof possibl~ or even necessary?
There is also another important consideration, stemming from
Bolu's correspondence principle in the old quantum theory.
As you recall, it was the requirement that in the limit of large
quantum nwnJiers irs formulas should reproduce the formulas
a··········~~~·~~;;;~;~~;;;:~;;~~:~·;;;~~;~;;;~; ·i:~i:~;~;~~:~;~~~ ·1
: · · · · from magic. :
; Arthur C. Clarke. Profiles of the Future 119621 :
• •
. •• • •••••• • •••••• •• ••. • ••• •• • •
••• •• • •• •••••••••••• • ••• • ••• •• • • ••• • •••••• ••
Fact·check Answers e
CHAP)"ER7 CHAPTER9 CHAPTER11
1 (a) 1 (c) 1 (b) .
8 (c) and (d) 8 (b), (c) and (d) 8 (b) and (d).
Taking it further ·e
Peierls, R., Surprises in Theoretical Physics. Princeton University
Press, 1979. . . .
Peierls, R., More Surprises in Theoretical Physic$. Princeron
University Pcess, 1991.
Plan.ck, M., Sc~ntific ~utolliography..Greenwood Press, 1%8.
Poincare, H., The Fcundaoons of Science: Scie11ce a11d
Hypothesis, The Valr4e of Science, Scienie atld Method,
CrcateSpace Independent Publishing Platform, 2014.
Reif, F., Statistical Physics (Berkeley Physics Course, Vol. S).
McGraw-Hill Book Company, 1967. ·
Russell, S., Wisdom of the we:St. Crescent Boolcs, 1978.
Wichmann, E. H., Qruurtum Physics (Berkeley Physics Course,
Vol. 4). McGraw-Hill College, 1?71.
. .
Zeldovich, Ya. B. and L M. Yaglom, Higher Math for Beginning
Physicists and Engi11eers. Prentice Hall, 1988. ·
Ziman,J. M.; Elements ofAdvt:mced Qua11tum Theory. Cambridge
Universi!}' Press, 197S. .
Figure credits
.
Figure 4.16 · Copyright C 2003, American PliySical Society
Figure 5.6 Q A.M. Zagoskin 2011, published by_Cambridge
U~iversity Pre5s, reproduced with permission.
Figure 8.5 Quantum Theo"ry of Many-Body Srstems,
Figure 2.1 ,'2014, p..55, A. Zagoskin Q Springer
International Publishing. With pemiission of
Springer Sderu:e+Business Media.
Figure 8.8 T.-S. Choy, J. Naser, J. Chen, S. Hershlield and
C. Stanton_. A·database 9£-fermi surface in-virtual
reality modeling language (vrml). Bulletin o(The . :
American Plrysical Society, 45(1): L3.6.42, 2000.
Figure 8.10 Quaorum Theory of Many-Body Systems:·. ·
.Figure 2.3, 2014, p58,A.·Zagoslcin C Springer
lnt#natiooal Publishing. With peimission of -·
Springer Science+Business Media.
Figure 10.5 Quantum Theory of Many-Body Systems,
Figure 4.5, 2014, p167, A. -Zagoskin C Springer
International Publishing. With permission of
.Springer Scienc~+Business Media.
. .
Figure 11.6 . 0 A. M. Zagoskin 2011, published by Cambridge
University Press, reproduced with permission: ·
Figure 12.2 . CA. M. Zagoskin 2011,published by Cambridge
University Press, reproduced with permission.
· Ftgnre 12.6 Copyright C 2011 D-Wave Systems Inc.
Figure .credits
.
e
.
Index
.
a-particles 16&-72, 205,331 BCS IBanleen-C<lOper- SchrieHerl
Abbe, Ernst 182 theory 298, 302-4
acceloration 9, 10 Bet~ John 320, 333
action 19- 20; 259-60 Betrs inequality 333-5
quantization of 38-9, 41-4 Berezin. Feli.< 268
. adiabatic invariants 4G-1, 376 Berry phase 2n
adiabatic quantum c~mputing bias 110,113- 14
367- 8 . ·Binnig, Gerd 176
adiabatic theorem 365-6 bits
Aharonov-Bohm effect 27G-B classical 97-8, 111
Aharonov, Yakir 270 see also qubits
Allen, John F. 300 Blochequetions 115-16,118,123-6
analogue computers 343-6- Bloch, Felix 110-11 ·
anatytic geom21ry 16-17 Bloch oscillations 235
ancilla qubll$362, 364 Blo.;h sphere 107, 118-19, 122-3,
Anderson;Carl269 144-7
•
angular momentum 99-100 Bloch vectors 1Q5-8, 115-16,
quantum 203-4 118-19, 122-4. 144-7
angular valocity 116-17 Bloch w'avas 232-3
an~ihilation operators 206-1 7 Bloch"s th~orem 232
anomalous averagos 302-3 Bogoliubov. Nikolay 291- 2, 298
antiferromagnotic coupling 285 Bohm, David 270, 380
antimatter 67 Bohr, Niels 283-4. 319,320,375-6
antipart icles 247. 269 Bohr radius 195, 196
apparatus 134 Bohr- Sommerfeld ~uantlzation
see also measurement condition 38~9. 41 , 4~. 45, 48.
Arago, Fra~s 80 376
Aristotle 152-3, 159,383 Bohr-van lee~o~Wen theorem 283-JO
arrow paradox 159 Boltz man equation 28
atoms 158, 192•201, 375-6 Boltzman factor 168, 170
see also nuclear magnetic Boltzman. Ludwig 28.312
resonance (NMRI Bom, Max 58, 378
azimuthal angle 98-9 Bom·s rule 58-9, 136,378
Bose- Einstein condensation
Babbaga, Chartes347 298-304
back-action 148 Bose formula 298-9
Balmer, Johann 197 Bose operators 207
Bardeen, John 298 boscns 201- 5.207,210, 217
bare panicles 238 compound 205. 301. 302
· Green's functions oi 245 compound bosons 205, 301, 302
occupation nombers 298-300 computers341-2 .
see alsc photons analogue 343-6
bra vecrors 72. 73 digital343, 347-9
Brattain. Walter 2'18 see also quantum computing
Brillouin zon·e s 234 conduction band 236
conduction electrons
calculus 6 in crystals 230- 7
calculus o.f variat ions 261 dressed 238, 249-50
canonical momentum 26 in jeUium model of metals 222-9,
carbon atom 201 237~. 245
.
Carroll, Lewis 324 in superconductors 298, 302-4
Cartesian coordinates 2. 4-6. 98 configuration space 25-6
cathode ray tube 88 · conjugate variables 22. 42-3, 61,
celestial mechanics 340-1 62.68- 9
charge qubits 102. 13D-1 Cooper, Leon 298
superconducting 102. 103, 126-9, Cooper pairs 102, .126, 128-9,
139.- 49 302-4, 306
charge screening 224-5, 226, coordinate systems 2-3
237-8,248-9 ·cartesian 2, 4-6, 98 ·
charged quantum particles in . generalized 25-6
electromagnetic field 270~ spherical 98-9, 193-4
circu~s 347; 348-9 coordina(e transfonnation 2-3
Clarke, Arthur C. 390 correspondence principle 376,
classical bits 97~. 111 388- 9 .
classical mechanics 2- 30, 166 cosine 13- 14
Newton's !aws.of motion 9-10, creation operators 206-17 ·
-15,255-8,261,340-1 cryogenic technology 293
perturbation theory 242 cubic oscillators 242
quantum-classical transition 139 Curie point 282•.285-6, 288
statistical mechanics 27-9. 312 cyclic freq uency 16
variational approach to 258-62
CNOTgates 0 -Wave Systems q.u antum
classical 348. 349. . optimizers 368-70
· quantum 351-3 · Davisson, Ctinton 186
code-breaking 126,358-60 de Broglie, Louis 185, 186, 377
see also encryption de Broglie wavelength 186-7, 188
collapse of the '!"ave function 137-9 de Maupertuis, Pierre-Louis
communications. faster-th.an-Hght· Moreau 261
322-4 decoherence 332-3
commutators 55, 60-1. 378 decolierence time 361,364
com~lex conjugates 46 degrees of freedom 22
complex numbers 46, 48-9 density matrix 89-91
Index e
of qubits 121-6, 143-5 in atoms 192-201
d~nsity of electron states 176. 229 charge· screening 224-5, 226.
dephasing ofq ubits 123-5, US 237-8.248-9
derivatives 6-1 o. 55 a nd chemical properties of
partial 21-2 elements 200-1
Descartes. R•ne 2. 4. 17. 386-7 in c.r ystals 23G-7
detector back-action 148 density calculation 228-9
Deutsch algorithm 35:P7, 362 density of electron states 176,
Dewdney. AU.xander 346 229
differential equations !G-1 1. 21. distribution functions of 225-9
'3-4 . dressed 238, 249-50
d iffe rentiation see derivatives effective mass of 230, 238
differentiation operator 55 Green's function.s of 244-5,
diffraction of massive part.lcles 246·8 •'249-50
184-7 intel'llc tions with phonons 245
digital computers 343. 347- 9 in jetlium model of metals 222.-~.
dilution fridges 127, 369 237-8,245
Dirac delta function 67. 228 photoelectric effecl 179-8\, 375
Dirac, Paul 67, 70, n. 225, 269, 378 relativistic equation for 269
discre te energy spectrum 83 . scanning tunnel~ng microscope
distribution functions 28, 29, 30, 175-7
91-2 in sul)9rconducton 298. 302-4
of electrons 225-9 elements
dressed particles 238, 249.50 chemical properties of 200-1
dummy indices 74 transmutation of 166-7
tlhpses 17, 18
Ehrenfest. Paul41 , 204 · empty lattice model 233-5
eigenstates 57, 58-9, 61- 2 encryption 126, 324- 30, 35&-60
·projection postulate 136-.7. 155-6 energy bands 234-7
of qubi!s 112-15 , energy conservation la w 19
see also measurement on~ rgy eigenstates see eigenstates
lndeJ!. e
H"isenberg uncertainty relations Kamerlingh Onnes, Heike 293, 296
62, 149- 52 Kapitsa. Leonidovich 300-1
Heisenberg. Werner 68, 69. 3?8 ket vectors 72, 13 '
hetium'4, supertluid 294. 301 . kinetic energy 17. 19
'
helium Uquetactioi\ 293 ~inetic energy operator 216, 2.95
Heller, Michal386-7 Klein-Gordon equali~ns 371
Hermitian conjugates 108.207. 210 Kronecker della 208
Hermilian field operators 217- 18 Kronig, Ralph 204
Hermitian matrices 108, 109,
119-20. 122 lagrange equations 24. 262
Higgs boson 205. 304 ·t.agrange, Joseph-lquis 24-5, 258
Hilbert space S!l-3, 56-7, 72- 3 lagrangian 25- 6, 258-?. 262, 266,
Fock space 208- 9,213. 216 273,274
of 9"bits 104-5, 109 landau, Lev 89. 91,255, 289, 294
Hilbert, William 282 landau theory of second order
history. of quantum mechanics phase transitions 289-90 .
37~ - landau-Zener-Stiic~etberg effect
Hooke. Robert 14 366
Hooke's law 14, 15 la~lace, Pie,.,...Simon 241
Huygens. Chrisliaan 80, 81 Laplacian operator 193, 194
hydrogen atoms 1'12-7, 375-6 Large Hadron CoUider!LHCI167
hypllfVOlumes 42-3 Larmer fr'equency 124
hypothetico·deductive methqd Larmor pn>eession 124
38~90 Leibniz. Gottfried Wilhelm von 6,
. 18
independent V<~riables 21 Lenard, Pllitipp 35, 39, 180, 181
indislioguishabitity of elementary Ught
. particles, princiP.le of 202-5 photoelectric effect 179-31, 375 ·
instantaneous eigenvectors 3~5 · single-photon double slit
integrals of motion 157 -· experiment 182-3
integration 18 wave theory of 80-2. 181 - 2
interference (inear frequency 16
•
of massive particles 184-7 liouville equation 30, 91-2
of photons 182-3 logic gates 344, 347- 9
interference patterns 87 see also quantum gates
interpretation of quantum lorentz force 284
mechanics 378-80 lorentz invariant 269
ionizalior>energy 195, 196 loschmidt. Johann 312
Index 9
observables Sb, 134, 166 phenomenological theories 295-6
qubitl19:..20 philosophy of science 380-90
see also measurement phonons 231, 245, 303- 4 .
occupation numbers 206, 298-<300 photoelectric effect 179-81, 3~
old quantum theory 316-1: photons .179-.84, 299
one- time pads 324-30 P!anclc cons1ant 19, 35, 38, 42-3
operators 54- 7, 66-1 , 1'66 Planck, Max 35, 36, 374, 379
annihilation 206-17 P!ato381- 3
creation 206- 17 . Poi5s0n·Arago· Fresn&l spot 80
Laplacian 193. 194 Poisson brackets68-9. 70-1, 92,
velocity 297 378
orbital quantum number 196-7 Poisson, Denis 80
order paramoter '288, 289-90 Poisson's equation 226
superconducting 296. 30'..305 polar angle 98- 9
polonium 331
pairing potential304 Popper, Karl387
partial derivatives 21-2 poteotlalenergy 17,18-19
particle density operator 215 potential. energy operator 21.6
particle number operator 209-10 principal quantum number 195.
particle-wave duality 87 · 196-7
particles ~ · principle of e>rtremal action 259-60
in a box82-4 · principle of indistingulsl\ability of
like waves 184--tl elementary particles 202-5
in a .ring 84-5 probability distribution functions
ytaves Uka 179-84 see distribution functions .
path Integrals 255, 265-70, 272-6 projection poslulate136-7, 15!>-6
Pauli exclusion priniciple 121, . protons 100-1 .
201-2.209,225 pubUc key encryption 126,358-60
PauU gates 349-50 . pure stale 90
Pauli matrices 119- 20,121, i22 .
PauU, Wolfgang 121 ' QNO S8ll quantum non-demolition
pendulums ,36. 39-41, 25'6-7 (QNDl measurement
see also harmonic osdllators quantization condition 35, 36,
periodic boundary conditions 84-5 37-41,60
Periodic Table 199, 200. 222 Bohr-Sommerfeld 38-9. 41. 44,
pet;turt>alion theo<y 240-3, 346-1 45,48,376
phase space 11-13,41-3 quantum angular momentum
. 6N-dime.,.ional 23, 25, 42-3 203-4
phase trajectories 16-20, 36-8, 48 quantum beats 114-15, 118,
phase transitions 282,286-7 . 129-31
Landau theory of second order quantum bits see qubils
289-90 . quantum-ctasS!Callr.:.ns~lon 139. ·.
'
superconductors 293-4, 302-3 quantum compass needles 36T-8
quantum computing 99, 101, quasiaVl!rages 291-2
126-31, 345,349 quasim<>me.ntum 232-4, 235, 237
adiabatic 367-8 .. quasipa~ictes 2·31, 249- 50
Deutsch algorithm 353- 7,362 see also conduction eleelrons
DIVincenzo criteria 363-4 qubits 97-131
error correction 361- 3 anciUa' 362, 364
and pubtic key encryp.tion 126, Bloch equations 115- 16, 118,
. 358-60 123-6
quantum gates 349-53 charge 102. 130-1
quantum optimizers 368- 70 controlling quantu m state of
quantum parallelism 353-7 118-19
Shor algorithm 358- 60 density matrix of 121-6, 143-5
quantum dots 102. 130- 1 . dephasi ng of 123-5, 148
qu_antum electrodynamics 184, 255 eigenstates of 112-1 5
quantum.ensembles 89-9 1 encoding 362-3
qu•ntum equations of motion Hamiltonian of 109-12. 118.
see Hei.senberg equations of 123-5. 128 ..
motion measurement of 139-49
quantum e.,.-or correction 361- 3 observables 119-20
quantum gates 349-53 quantum gates 349-53
quantum non-demolliion [QNDI n!laxation of 123-5
measurement 155-8 state vector of 104-8
quantum numbers superconducting charge· I 02,
magnetic 196-7 103, 126-~. 139- 49
orbita1196-7 superconducting Hux 103•
principal195, 196- 7 se~ a!w quantum computing
. spin 99-101. 202, 204
quantum optlmizers 368-70 radioactivity 166-7, 169-72,33 1
quantum oscillators 36-411 45, radius vectors 5-6, 98
211- 14 . randomn.,... 60, 137
quantum parallelism 353-7 Rayleigl>-Jeans law 374
quantum propagation 80-2 rec.ollection theory 381-3
quantum statistical mechanics reference irames 6
.
88-91 .
quantum superposition principle
relativistic quantum field theory
184
86-7 relaxation of qubits 123-5
quantum tomography 329 renormaUiation 238
q uantum l unnaWng 111, 173 Rohrer. Heinrich 176
a:·decay 167-72 rotation, vector 70, 116-17
scanning tunneWng micr oscope running waves &5
173-8 . Rutherford, Ernest 166-7, 169, 283.
quantum uncertai nty principle 375
42-3, 48,60,61~. 82, 378 Rydberg 195
Index e
.
flYdbel]l atoms 201 Sj)ttia\ relativity 374
Ryijberg formula 196, 197 spherical coordinates 98- 9, 193-4
Rydberg, Johannes 197 . spherical harmonics 194
spin 99-101. 202.204
scanning tunneWng mic.roscope · spin-statistics theorem 121,202
173-8 spontaneous symmetry breaking
S.:hrieffer. John Robert 298 290-1
S.:hrOdinger elephan1361 spring per>dulums see 1\armoni¢ .
Schriidinger equations n..ao. 86. oscillators
269.-377-a . standard devialion61
Bloch waves 232- 3 standard quantum limit 153-4
of eloctrons 1.92- 5, 200 state vector projection 135-7
of Josephson junctions 301 state vectors 23. 49-50,53-4. 55-7.
· quantum tunnelling 171, 173 166
for qubits111-12. 115 of qubits 104-8
· S.:hrOdinger. Erwin 7{>, 269, 320. stationary states ·ao
330,377-a statistical ensembles 28-9
Schriidinger representation 76, n statiStical me<hanics 27-9, 312
S.:hrOdingor's cat 76, 331-2 : q.uantum 88-91
. science,,phllosophy of 380-90 Siern. Otto 36. 45
scientific theories 385, 387-90 STM s..e scanning tunnelUng
second derivat~.9 microscope
second order differentia\ equations Stoletov's law 179, 181
10-11.21 strong continuous measuromant
· second order phase transitions 159-60
286.287 strong force 169
Landau theory of 289- 90 . strong measurement 143. 144~5.
superconductorS 293-4, 302-3 146
second quantization 216- 17 subjectivist point of vif!W 331- 2
self-energy 249•50 superconducting c~acge qubits 102.
Shockley, William 298 . 103, 126-9, 139-49
Shor algorithm 358-60 superconducting energy gap 304
sine 13- U superconducting flux qubits 103 .
· singt.-pholon double's\it superconducting order parameter
experirnenl182-3 296. 304. 305
stide rules 3~ · superconducting penetration depth
Snowden, Edward 330 304
Soddy. Frederick 166, 169 oupercor>ducting phase 296
sotid stale theory 110 superconducting phase·transition
Sommerfeld. Amold 376 293-4, 302- 3
sound waves 179 superconductors 292-7
see alsc phonons BCS {Bardeen-Cooper-
spacetime 269-70 .S.:hrieffor) theory 298, 302-4
JO$~phscm
effect JO:HI vector potential 27!-2. 274, 276
su~luid helium-4 2'14, 301 vector rotation 71, 116- 17
wperpos~ion principle 86-7 vectors
Blo<:h 10:HI, 11 5-16, t1 8-19,
tangents 4 122-4, 144-7
Taylor expansion 260 cioss product of 117- 18
Taylor, ~offrey Ingram 183 ket and bra 72, 73
temperature. and m~gnetization radius 5-6, 98
282, 28!>-6, 288 scalar product of 51, 73
Thomas-Fermi lengtH 226 see also state vectors
Thomson, George 186 velocity7- 9, 10
thought experiments see angula r 116-17
~dankeni!Xperiment velocity operators 297
three·b~ major~ rule 361 · VENONA project 329-30
trajectories 6 virtual particles 247-8
phase16-20,36-8,48 von Neumann equatioh 91-J, 121
transistors 298 von Neumann, John 136
' transition amplitude 265-6, 268
translational symmetry 232 wave equations 78
transmU1atioo of elements 166-7 wave function 78-80
transpositions 108 wave p;~ckets 82
truth tables 347,-9 wave theory of tight 8~. 181-2
tunneUing see quantum tunnelting waves
tunnelling matrix element 110, 111 like particles 179-84
two-level quantum systems sse particles like 184- 8
qubits running 85
two-W..ll poteniiat 110, 111. 113- 14 superposition of 87
weak·continuous measurement
Uhlenbecl<, Ge<~rge 204 146, 149
uncertainty principle 42-3, 48, 60, Wien'slaw 314
61-3, 82, 378 Wigner, Eugene 332
unr-.rsat gravity constant t 0 work functions 180-1
universal quantum computers
363-.4 Young, Thomas 182
Index e