Professional Documents
Culture Documents
Quantum Mechanics Theoretical Minimum - Notes Part 2
Quantum Mechanics Theoretical Minimum - Notes Part 2
However, we can
B
use phase to also reduce dof of by one, for a total phase reduction of
two.
The composite state vector has 4 complex parameters but only one
normalization condition and one phase to ignore, for an equivalent of 6 real
parameters; i.e., dof = 6:
, thus using phase to reduce the dof by one. That is the best
we can do with phase. We cannot force more than one coefficient be real.
Exercise 6.4. Using the matrix expressions (3.20) for and the
d
vector expressions for (2.11) and (2.12) show that Alice’s single-spin
states are
, , ,
, , .
We can calculate how Alice’s and Bob’s operators act on the product basis
vectors by remembering that Alice’s s operators act only on the first element and
Bob’s act only on the 2nd. Examples are
51
.
All of the spin operator results are tabulated in the Appendix Tables 1-3, below.
TABLE 1. Up-Down Basis
2-Spin Eigenvectors
|uu⟩ |ud⟩ |du⟩ |dd⟩
z |uu⟩ |ud⟩ - |du⟩ - |dd⟩
x |du⟩ |dd⟩ |uu⟩ |ud⟩
y i |du⟩ i |dd⟩ -i |uu⟩ -i |ud⟩
z |uu⟩ - |ud⟩ |du⟩ - |dd⟩
x |ud⟩ |uu⟩ |dd⟩ |du⟩
y i |ud⟩ -i |uu⟩ i |dd⟩ -i |du⟩
and L an observable in
SAB . Then . If is the product
L
Since we know that A operates only on Alice’s part of , we will
usually shorten this expression to
52
. (6.09)
Exercise 6.5 asks us to prove that every prediction about Alice’s half of the
system is the same as it would be in the single-state theory, and similarly for
Bob. Thus, in the 2-state product system the following still holds:
(6.11)
This means that the Spin-Polarization Principle still holds for the product system:
there is some state for which the spin is +1. We claim that this principle does not
sing
hold for the entangled state :
53
T1 , T2 , and T3
is, +1 is an eigenvalue with degeneracy 3 which is why are
sing
called triplets and a singlet.
(6.12)
That is,
and
sing
Example. Show represents two particles entangled with opposite spins.
54
.
Thus, whenever Alice measures +1 spin then Bob measures -1, and vice-versa
■
Thus far we have defined the tensor product of two vectors, say
A and B
and , as . For n = 2, have 2
how to write as an array. Moreover, we have not yet defined the tensor
product of two matrices nor how to express the tensor product as an
and . Then
SAB has composite basis
. Let and
55
. (7.10)
(I)
and
(II)
but not yet how to express nor . We define these now using a
pattern definition.
Definition. (7.6)
(7.7)
This pattern definition can be extended to any size array, larger or smaller. In
A B
particular, replacing matrix L by vector and matrix M by vector gives
. (7.8)
Exercise 7.3 (below) proves that the matrix pattern definition (7.7) is in
agreement with the tensor definition (7.10). It shows that the matrix expressions
for LHS and RHS of (7.10) are equal.
56
Solution. Multiplying the right-hand sides of (7.7) and (7.8) yields
. (a)
A LA B M B
Replacing by and by in the pattern definition (7.8) yields
✔ ■
uu
In a 2-spin system, an operator is represented by a 4x4 matrix with rows ,
ud du dd uu ud du dd
, , and and columns , , , and . The next
example shows how to use the tensor pattern definition (7.7) to compute the
57
matrix of a 2-spin operator and then confirms that the answer agrees with the
inner product definition (6.05).
Example. Compute using both the matrix (7.7) and inner-product (6.05)
definitions and confirm that the matrix expression for acts only on Alice’s
vector components while leaving Bob’s vector components alone.
Solution.
(III)
and
. (IV)
Thus,
Recall the inner product definition (6.05) for an element of a linear operator M :
. Letting yields
58
(7.2)
We next confirm that the matrix definition of tensor product enables to act only
on Alice’s vector components and that Bob’s components are unchanged.
, ,
59
, (7.9)
So
Exercise 7.1 is similar, demonstrating that Alice’s half of the state vector is
In the next example we show that the tensor and inner product definitions agree
for a more complex tensor product.
Exercise 7.2. Compute using the tensor and inner product definitions.
The tensor definition yields
60
.
Definition. Given a bra and a ket , their outer product is the linear
A
operator defined by its action on ket vectors :
. (7.01)
. (7.02)
61
: (7.03)
Thus,
. (7.04)
Observe that the pattern approach used to write tensors in matrix form also
. ✔
Example. Confirm that the pattern expression (7.04) and the tensor-product
definition (7.01) for outer product are in agreement.
and
62
■
A
if is a vector then is a vector
Observe that
A
proportional to . We say projects onto .
, (7.05)
the sum of the diagonal elements.
(g) (7.11)
(i.e., the sum of all projection operators for a given basis is I )
(h) (7.12)
Proof.
(a) By 7.03, . So .✔
(b) Since . ✔
63
(c) Since . ✔
(e) since is
normalized. ✔
(f) . ✔
Definition. Suppose there are several states and that Alice has
(7.12a)
and we say Alice’s system is mixed or the density matrix represents a mixed
state. When the density matrix represents a single state , is simply the
projection operator,
(7.12b)
64
and we say that Alice's system is pure. Notice that “pure” can be considered a
special case of “mixed” where r = 1. When we wish to exclude “pure” we will say
that Alice’s system is entangled. (The book does not make this distinction.)
Theorem 7.2. Let LA be any observable of Alice's system and suppose her
system is mixed.
(a) Show that Alice’s expectation is
. (7.13)
(b) Let be a basis for the Hilbert space of Alice’s states, and denote
LA
and in this basis. Show that can be expressed
(7.14)
Proof. Had Alice prepared her system in a single state then she would have
in row a ' and column a " is . The diagonal element in row a ' and
elements of . Finally, ■
65
(7.12c)
(7.12d)
the wave function (and also the composite system state ). Because
. (7.17)
Exercise. Suppose Alice and Bob have single-spin systems and Alice selects an
observable LA of her subsystem A. LA has no effect on Bob’s subsystem B. Find
the operator L in the composite system AB that represents LA. If AB is pure, find
LA
Alice's expected outcome .
66
Keep in mind that the 1st and 3rd subscripts pertain to Alice and the 2nd and 4th
pertain to Bob.
If L is the operator on the composite system that represents LA, we must have
In addition, the half of the elements, like , that represent a change in Bob's
state must equal zero and the remaining elements that leave Bob’s states
(7.18)
and we use the pattern definition for matrix representation of tensor product to
get
. ✔
67
Now, suppose AB is pure. Then there is a unit composite state vector . Let
So
and
L
We are now set up to compute Alice’s expected outcome. To compute ,
recall
. By letting we get
(7.15)
(7.19)
. (7.19b)
✔ (7.21)
This is the same as equation (7.14) in which represented Alice's density
S
matrix for a mixed system A . Thus, even though AB is pure, A is described
as a mixed state. We will quantify just how "mixed" A is shortly.
68
LA
To generate the other expression, (7.13), for , we denote Alice's density
matrix as . Then
(7.20b)
and
(7.20b), we obtain . ✔ ■
Susskind says that in order to calculate Alice’s density matrix she may have
had need of the composite wave function, but once she has she can forget
where it came from and use it compute anything about her observations. I
believe this is because the diagonal of contains the probabilities of all of
Alice’s possible states. But I find that sometimes one has to be very careful with
the notation involved. (See “Caution” below). Thus, I have formalized Susskind’s
comment in next theorem. The last section of the proof to the Corollary to
Theorem 7.5, coming soon, is an example of when one must be careful with the
notation.
system
SB having orthonormal eigenvectors . Suppose the composite
S
system AB is prepared in the state . Let be Alice’s
density matrix per equation (7.17). After a measurement LA is performed, the
a
probability of being in state is
(7.22)
69
. ■
states Ei of an atom. Then and a = Ei. If Bob’s states are also energy
subscript “a” is summed over E1, E2, …, En. As another example, were LA =
a
then would be summed over .
Theorem 7.4. Alice's and Bob’s systems are pure iff the composite wave function
(7.25)
Conversely, suppose A and B are pure. Then there are state vectors
and . So
70
.
So
2 2
This represents n equations (i.e., ) in n unknowns (i.e.,
Definition. If the composite wave function does not factorize, we say that AB is
(and Alice and Bob are) entangled. AB is maximally entangled if all of Alice's
(and Bob's) probabilities P(k) in equation (7.12a) are equal.
We can restate Theorem 7.4 using this definition: If Alice and Bob are entangled
then Alice does not have a state space. That is, AB is entangled implies A is
entangled.
Summary – What Alice knows about her system and the composite system
when AB is pure
Alice has complete knowledge about the composite system because she
Proof. We must show that all of Alice's probabilities are equal; that is,
71
Suppose . Then . Thus,
Using we get
So . Thus, AB is
maximally entangled. ✔
T2 and T3
and we can similarly show this for . ✔ ■
We next prove the footnote on p. 108 of the book that states that any Hermitian
matrix can be diagonalized by a change of basis. There are insights to be gained,
including the corollary to the theorem.
72
of corresponding eigenvalues. Write , and let U be the matrix
whose columns are the eigenvectors:
. (A)
So
. (B)
. (C)
† †
This implies that the i j-element of U MU , row i of U (expression B) times
column j of MU (expression C), is
. (D)
. ✔
U is unitary because
73
. ■
Corollary. Let be Alice's density matrix in a pure composite system AB, and
denote the eigenvalues of by . Let U be the matrix whose columns are the
, (a)
and by definition (7.17) Alice’s density matrix is
where . (b)
. (c)
The matrix U is
, (d)
and so
. (e)
By Theorem 7.5 U is unitary,
. (f)
74
Also by Theorem 7.5, is a diagonal matrix having the eigenvalues of on its
diagonal:
. ✔ (g)
a
We start by writing Alice’s basis elements in terms of the eigenvector basis
elements .
Claim: (h)
for a = 1, …, n
75
.
for a = 1, …, n.
for a = 1, …, n. ✔
We can use (h) to write the composite state vector in terms of the basis
. (i)
. (j)
So
(k)
. (l)
Hence
. (m)
76
Claim : (n)
First, replace
LA in the theorem by . Since the eigenvectors of are with
a
associated eigenvalues , we must replace the eigenvectors by and the
the basis . (Note that the subscript a need not be replaced by subscript ).
77
. The latter sum equals by equation (n), so we replace on
Proof. and . So
.
(*) Replace i by k and k by i. ■
Theorem 7.7. Let be the wave function for a pure composite system AB,
and let be the density matrix for system A.
(a) is Hermitian
(b) (Exercise 7.6) Tr () = 1
(c) If is an eigenvalue of , then 0 ≤ ≤ 1
(d) If any eigenvalue equals 1 then all the others are zero
Proof.
(a) and
✔
78
(b) ✔
(d) By (b) and (c), if one diagonal element = 1, then the rest are zero. ✔
(e) For a pure system A, by definition there is a state vector , and is the
projection operator: . So
. ✔
Also
. ✔
. So
. ✔
✔ ■
Theorem 7.8. Suppose Alice's density matrix represents a pure system with
79
Proof.
(b) ✔
(c) By (a), has one eigenvalue equal to 1. By Theorem 7.7 (d), if any
eigenvalue is 1, all the others are 0. ■
An example of the concepts of the past few pages is helpful: Alice's and Bob's
state vectors, wave functions, observables and expected values; density matrix
and a change of basis to diagonalize it; product state and wave function; and
correlation of the observables.
80
Example.
Given
Compute/Identify
Find Bob's density matrix , confirm that it is the projection operator, and
compute .
81
Solution.
Bob
Spin is prepared in direction n̂ and measured along z-axis. Thus, Bob’s spin
Check #1: ✔
(definition of expected value)
82
Bob's wave function is . ✔
Alice
, , , and
Density Matrix
Bob's system is pure since AB is a product space. Thus, his density matrix is
where :
Therefore
Check #1: . ✔
83
Check #3:
Even though the formula above for in Theorem 7.2 pertains to mixed
systems, it is true also for a pure system, like this one, because pure is a special
case of mixed where P(a) = 1 for one state a and P(a') = 0 for all other states a'.
We next diagonalize and confirm (per the Corollary to Theorem 7.5) that its
diagonal entries are the eigenvalues of . (We would also diagonalize but it
is already diagonalized and we observe that its diagonal entries are indeed its
eigenvalues.)
. (a)
and .
84
Let U be a unitary matrix whose columns are the eigenvectors of :
.
Then
So
Thus, ✔
✔
✔
85
Plugging Alice's values into Bob's generic formulas yield
.
So
Composite System
. ✔
The product state wave function is
. ✔
86
Therefore ✔
Note 1. Exercise 7.9 is practically a subset of this exercise except that Alice's as
well as Bob's state is generic.
Note 2. Had the system been prepared in the z-direction and measured in some
direction n̂ (instead of vice-versa), the problem would essentially be the same
but we would not have been able to use key formulas like 2.2 [ ], 4.13
We saw in Bob's generic system that his density matrix has one eigenvalue
+1 and the other 0. This behavior is required by Theorem 7.8.
87
Summary – What Alice knows about her system and Bob's system if the
composite system is pure
Alice knows the wave function (or, equivalently, the composite state) of
the composite system AB since it is pure
At one extreme, if the composite state is a product state (i.e., not
entangled) then
o Alice knows everything about her own state, namely the probability
of each possible outcome.
o But she has no knowledge of Bob's system since the two systems
are uncorrelated.
At the other extreme, if the composite state is maximally entangled, then
o Alice knows nothing about her own state because the probability of
each outcome is the same as every other
o But after she performs a measurement of her state she knows
everything about Bob's state because the two states are fully
correlated. For example, if Alice measures up then she knows that
Bob will measure down.
= Read-out of +1
= Read-out of -1
u and d
Alice's states are .
The basis for the composite system (consisting of Alice plus the apparatus) is
(i)
After a measurement, if A reads +1 then the spin is up and if it reads -1 then the
spin is down.
, (ii)
88
an entangled state where P(+1) = . It is maximally entangled if in the
singlet state of :
Moreover, over time the system evolves via a unitary operator U operating on
Even though we will only be concerned with measurements taken when we turn
the apparatus on, that is when the screen is initially blank, to verify L is a
bonafide operator we proceed to see if we can generate a consistent Hermitian
matrix for L.
In the 1st matrix below we have labeled the rows and columns of L. For example,
To solve for the elements of L we begin with the two equations in formula (i).
89
90
To determine additional elements of L we must define additional actions by L.
When the on-off button is pushed a 2nd time we define the result to be “off” (i.e, a
blank screen) while preserving the system state. That is, we define
(iii)
91
The four elements yet to be defined actually don’t matter since
92
Returning to entanglement and collapse, at first the apparatus knows the spin
state and is entangled, but Alice has not yet looked at the display so she is not
yet entangled. After she looks at the apparatus, she becomes entangled, and
from her perspective the spin wave function has collapsed. From Bob's
perspective the system has not collapsed; it is just a 3-way entangled system
(spin, apparatus, Alice).
Extend Alice’s system A to contain her measuring apparatus and Alice herself,
and the same for Bob’s system B. Let be a basis for A and be a basis
for B. Then is a basis for AB. Let be the composite system wave
function, possibly entangled:
(7.31)
We will show there is nothing Bob can do to instantly change , thus proving that
even if AB is maximally entangled, no faster-than-light signal can be sent by Bob
to change Alice’s system. That is, quantum mechanics does not violate “locality”.
93
.
When U acts on the initial wave function it creates a new, or final, wave function
. (7.32)
. (7.33)
Also
94
.
So
. (7.34)
Susskind does not state Bell's Theorem. He argues that it violates a different
definition of locality (that he also does not state).
Example 1. (QM: waves do not have definite properties, not even hidden
properties, until they collapse). Entangle 2 particles to have opposite spins. Let
Alice and Bob make repeated spin measurements in the directions 0°, 120°, and
-120°, each choosing directions randomly. Compare their first measurements,
their 2nd measurements, their 3rd measurements, etc. Find the expectation that
compared spins are in opposite directions.
95
.
When Bob randomly chooses his direction, there is a 1/3 chance he picks the
same direction as Alice and 2/3 chance he picks a different direction.
If he chooses the same direction, then his result is -1 since the particles are
oppositely entangled. That is, his conditional probability of picking the opposite
spin is
.
So, Bob’s conditional probability is
Thus,
In the next example, the doors represent directions, the color blue represents +1
spin, and red represents -1 spin.
Solution.
96
Alice picks 2/3 Bob picks 1/3 1
Blue same door
Alice picks 2/3 Bob picks 2/3 1/2
Blue diff door
Alice picks 1/3 Bob picks 1/3 1
Red same door
Alice picks 1/3 Bob picks 2/3 0
Red diff door
E(opposite colors) ■
Suppose the particles do have a definite spin prior to measurement. If the front
balls are all blue (or all red) then E(opposite color) = 1. Suppose there are balls
of both colors. There must be 2 blue balls and 1 red, or vice-versa. Example 2
5
proves that E(opposite spin) = 9 . Thus, no matter what, E(opposite spin) .
However, if the particles have no definite spin until the moment of measurement,
1
then Example 1, which uses QM calculations, predicts that E(opposite spin) = 2 .
Theorem (Bell's Inequality). Two particles are entangled with opposite spin. They
are repeatedly measured along axes chosen randomly and independently from 3
different directions. If they have definite spins (even if they are hidden values that
Years after Bell developed his famous theorem, the technology became available
to make a large number of spin measurements. The measured result was ½.
Thus, it was found that particles do not have definite spin until the moment a
measurement is made.
97
Example 3. (Single spin measurement). A classical computer can simulate
quantum spin.
Alice selects an orientation and pushes the Measure Button on the apparatus.
The computer uses a random number generator to output +1 or -1 with
There is no known experiment that Alice can perform to distinguish that the
computer is not a quantum computer. ■
Let
LA and LB be Alice's and Bob's respective measurement operators. Then
example, .
98
The computer in the above example is non-local because it sends signals faster
than the speed of light. Yet this system is local with respect to our definition of
locality because even instantaneous information from Bob about his wave
function cannot affect Alice's density function (which encapsulates everything she
can know about her system). This is the argument that Susskind makes to
support his claim that Bell's Theorem (and also the Einstein-Bohr argument) was
about a computer simulation and not about the real world. He does not explicitly
give his alternate definition of “simulation locality” nor does he describe how it
relates to Bell Theorem (which he doesn’t state).
Solution. First of all, if the computer is situated, say, with Bob, then the slower-
than-light updating of her Display Window is a clear giveaway to Alice that the
computer is classical.
But perhaps part of the composite computer resides with Alice and part with Bob.
They can now see instantaneous results in their Display Windows.
The computer can only use for Alice and for Bob.
So, how do Alice and Bob figure out the computer is not a quantum computer?
Suppose that Alice and Bob make a large number of measurements,
independently and randomly choosing from directions 0°, 120°, and -120°. Since
1
the spins have distinct values, according to Bell's Theorem, E(opp spin) > 2 . But,
also according to Bell's theorem, a true quantum computer would yield
1
E(opp spin) = 2 . So, Alice and Bob are able to determine that the computer is
not a quantum computer. (They could also just compare their spins and observe
that more than half of them are not opposites.) ■
99
Chapter 8. Particles and Waves
TABLE 8.1
State Vector
(8.1) (A)
Bra Vector
Wave
Function
Probability (3.11)
(B)
Inner
Product
(8.2)
Normaliza-
tion (8.3)
is the function that satisfies
Kronecker
Delta & Dirac
Delta (8.4)
Functions for every continuous function F having
compact support
Integration
By Parts (F)
for wave functions F and G
Basis Vector
(G) (H)
Inner
Product with (1.5) (8.13)
100
a Basis
Vector
Quantum Mechanics is not so much about particles and waves as it is about the
set of non-classical principles given in Chapter 3 that govern their behavior. We
now extend the principles and concepts from the discrete systems we have so far
studied to continuous systems (where we will at last develop wave examples.)
Table 8.1 provides a side-by-side overview of the discrete and continuous cases.
It also includes key equation numbers, both mine and the book’s. For easier
comparison, for the discrete case I have changed the notation from to .
The sections below provide clarification and detail.
Vector Space
It is easy to show that all the conditions of a vector space hold if we define
a complex number to be .
Probability
(8.1)
and probability is determined by
. (3.11)
For the continuous case there are both a probability density function and a
. (A)
The density function is
. (B1)
The cumulative distribution function can act on a finite or infinite interval:
101
. (B2)
Inner Product
Let .
. (1.14)
. (8.2)
Dirac Delta
In this book it is assumed that all wave functions are continuous and have
compact support.
(8.4)
for every continuous function F having compact support.
The reason this definition is “informal“ is that in fact there is no such function. We
give a more rigorous definition shortly.
Then
102
(C)
It is understood that the limit and integral sign cannot be freely interchanged.
This, too, doesn't make sound mathematical sense since it violates Fubini’s
theorem. Even worse, we do make the interchange when necessary or
convenient.
: (D)
✔
and
: (E)
. ✔
approaches infinity at a rate that keeps the area under the curve
at unity.
Thie informal definition (C)could also have been made in terms of the normal
103
Unfortunately, the fact that the above definitions are informal and mathematically
incorrect makes proving some of its properties difficult. See, for example, the
delta function is defined for any measurable set containing zero to be 1, and
to be 0 for any other measurable set. The Lebesgue integral with respect to
There is a cumulative distribution function associated with the density function
where .
104
Integration By Parts
FG | ba
We are able to drop the term because wave functions are zero at :
(F)
x
Consider . When is one of the basis vectors used in the definition of
(8.13)
In order to have a discrete process to imitate, we write the discrete basis vector
in terms of the Kronecker delta:
. (G)
Then,
(1.5)
In the continuous version of (G), the Kronecker delta is replaced by the Dirac
delta and takes the form
. (H)
Equation (8.2) can be rewritten
(I)
and so
105
. ✔
Linear Operators
(because since ).
(8.7)
Thus, D is anti-Hermitian. But, we next show that this means that both i D and
- i D are Hermitian. In particular, is Hermitian.
106
(i)
(ii)
(iii)
(iv)
Suppose M is anti-Hermitian:
(v)
Then
The RHS is
Thus,
107
a.e. (almost everywhere; i.e., except on a set of measure
zero)
a.e. (8.11)
We seek a function that has the property (8.11) and that also satisfies the
normalization requirement:
. (8.3)
We claim that the Dirac delta function meets these conditions. Let
(J)
108
(8.15)
Note 2. The symbols “P” and “p” are used to denote probability (CDF and density
function). We use italics to denote momentum, “P ” and “p” (momentum operator
and momentum eigenvalue).
label the momentum wave function , then the state written in terms of
momentum is:
. (K)
p
Since is one of the basis vectors in equation (K), formula 8.13 applies:
. (8.20)
We are now set to develop the equations that transform back and forth between
and .
p
Step 1. Since a momentum eigenvector can be considered to be a state of X,
x
it can be written in terms of the basis. It will have its own wave function that
. (L)
. (M)
p
Step 2: Since is an eigenvector of P,
109
.
LHS: .
RHS: .
a.e.
I believe the problem arises from the impreciseness of the informal Dirac delta
definition. An approach that apparently works is to first assume that x is periodic
.
Thus,
a.e. (8.17)
Therefore
(8.18)
110
. (8.21)
(8.21)
and
. (8.22)
Thus,
: (8.24)
Example. Alice measures the position wave form of some particle and she
wants to know the probability that she would have measured momentum p.
: (8.25)
Equations (8.24) and (8.25) are reciprocal Fourier transforms, and are the
central equations of Fourier analysis.
111
and
So,
,
or
. (8.29)
.
No matter how cleverly we measure position and inertia, we can never drive the
uncertainty below this small quantity.
112