Download qm2 - Michael Nielsen

Survey
yes no Was this document useful for you?
   Thank you for your participation!

* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project

Document related concepts

Delayed choice quantum eraser wikipedia , lookup

Identical particles wikipedia , lookup

Double-slit experiment wikipedia , lookup

Scalar field theory wikipedia , lookup

Renormalization group wikipedia , lookup

Quantum field theory wikipedia , lookup

Particle in a box wikipedia , lookup

Quantum dot wikipedia , lookup

Algorithmic cooling wikipedia , lookup

Relativistic quantum mechanics wikipedia , lookup

Bohr–Einstein debates wikipedia , lookup

Coherent states wikipedia , lookup

Hydrogen atom wikipedia , lookup

Quantum fiction wikipedia , lookup

Compact operator on Hilbert space wikipedia , lookup

Theoretical and experimental justification for the Schrödinger equation wikipedia , lookup

Max Born wikipedia , lookup

Path integral formulation wikipedia , lookup

Copenhagen interpretation wikipedia , lookup

Orchestrated objective reduction wikipedia , lookup

History of quantum field theory wikipedia , lookup

Quantum electrodynamics wikipedia , lookup

Quantum decoherence wikipedia , lookup

Bell test experiments wikipedia , lookup

Bra–ket notation wikipedia , lookup

Quantum machine learning wikipedia , lookup

Many-worlds interpretation wikipedia , lookup

Quantum computing wikipedia , lookup

Quantum group wikipedia , lookup

Density matrix wikipedia , lookup

Symmetry in quantum mechanics wikipedia , lookup

Canonical quantization wikipedia , lookup

Bell's theorem wikipedia , lookup

T-symmetry wikipedia , lookup

Interpretations of quantum mechanics wikipedia , lookup

Quantum entanglement wikipedia , lookup

Probability amplitude wikipedia , lookup

Hidden variable theory wikipedia , lookup

EPR paradox wikipedia , lookup

Measurement in quantum mechanics wikipedia , lookup

Quantum state wikipedia , lookup

Quantum key distribution wikipedia , lookup

Quantum teleportation wikipedia , lookup

Transcript
Quantum Mechanics II:
Examples
Michael A. Nielsen
University of Queensland
Goals:
1. To apply the principles introduced in the last lecture to
some illustrative examples: superdense coding, and
quantum teleportation.
2. Revised form of postulates 2 (dynamics) and 3
(measurement).
3. Introduce more elements of the Dirac notation.
4. Discuss the philosophy underlying quantum information
science.
Alice
Superdense coding
Bob
ab
ab
Theorist’s impression
of a measuring device
Alice
Superdense coding
Bob
ab
ab
Alice
Superdense coding
X 0  1;
Bob
X 1  0
Z 0  0 ; Z 1 1
ab
00 : Apply I
01 : Apply Z
10 : Apply X
11 : Apply XZ
00  11
2
00  11
2
00  11
2
00  11
2




00  11
2
00  11
2
10  01
2
10  01
2
00  11
2
ab
Superdense coding can be viewed as a statement about
the interchangeability of physical resources.
1 ebit + 1 qubit of communication  2 bits of classical communication
Worked exercise: Could Alice and Bob still communicate
two bits using the superdense coding protocol if the initial
01  10
state shared by Alice and Bob was
?
2
Revised measurement postulate
Recall postulate 3: If we measure  in an orthonormal
basis e1 ,..., ed , then we obtain the result j with probability
P ( j )  ej 
2
.
The measurement disturbs the system, leaving it in a state ej
determined by the outcome.
Problem: Imagine we measure a quantum system, A, in the
orthonormal basis e1 ,..., edA .
Suppose system A is part of a larger system, consisting of
two components, A and B .
How should we describe the effect of the measurement on
the larger system?
Revised measurement postulate
Recall postulate 3: If we measure  in an orthonormal
basis e1 ,..., ed , then we obtain the result j with probability
P ( j )  ej 
2
.
The measurement disturbs the system, leaving it in a state ej
determined by the outcome.
The revised postulate replaces the orthogonal states e1 ,..., ed
with a complete set of orthogonal subspaces V1 ,...,Vm .
V V1 V2  ... Vm .
Example:
   e1   e2    e3
sp  e1 , e2 , e3
  sp  e
1
, e2
  sp  e 
3
A general measurement can be thought of as asking the
question "which of the subspaces V1 ,...,Vm are we in?"
Revised measurement postulate
Recall postulate 3: If we measure  in an orthonormal
basis e1 ,..., ed , then we obtain the result j with probability
P ( j )  ej 
2
.
The measurement disturbs the system, leaving it in a state ej
determined by the outcome.
Mathematically, it is convenient to describe the subspaces
V1 ,...,Vm in terms of their corresponding projectors, P1 ,...,Pm .
Example: The projector P onto sp  e1 , e2  acts as
P  e1   e2   e3    e1   e2
In general, the projector P onto a subspace V acts as
the identity on that subspace, and annihilates everything
orthogonal to V .
Revised measurement postulate
Let P1 ,..., Pm be a set of projectors onto a complete set of
orthogonal subspaces of state space.

j
Pj  I ;
Pj Pk   jk Pj
This set of projectors defines a measurement.
If we measure  then we get outcome j with probability
Pr( j )   Pj  .
The measurement unavoidably disturbs the system, leaving
Pj 
it in the post-measurement state
 Pj 
Example: A two-outcome measurement on a qutrit
A general state of a qutrit may be written    0   1   2 .
P1 projects onto sp  0 , 1  ; and
P2 projects onto sp  2  .
   
2
2
Pr(1)   P1             
    0 
Pr(2)   P2   
 =
'
1
P1 
 P1 

2
 0  1
2
 
2
 2
 =

~ 2

 P2 
'
2
P2 
Example: Measuring the first of two qubits
Suppose we want to perform a measurement in the basis
e1 , e2 for the first of two qubits.
The rule is to first form the corresponding projectors
P1 , P2 onto the state space of that qubit, and then to
tensor them with the identity on the second qubit,
obtaining P1  I and P2  I .
Example: If the state of two qubits is
   00 00   01 01  10 10  11 11
then measuring the first qubit in the computational basis
gives the result 0 with probability
Pr  0     P0  I  
 00 00  01 01  10 10  11 11   00 00  01 01
2
  00   01
2

Example: Measuring the first two of three qubits
Suppose we have three qubits in the state
 e1 a   e2 b   e3 c   e4 d .
e1 , e2 , e3 , e4 is an orthonormal basis for the state
space of the first two qubits.
a , b , c , d are normalized states of the third qubit.
Measuring the first two qubits in the basis e1 , e2 , e3 , e4
gives the result 1 with probability
Pr(1)    P1  I  
=   e1 a
=

2
Post-measurement state is e1 a .
Teleportation
Alice
Bob
Teleportation
Alice
01
Bob
01
Teleportation
Alice
Bob
00  11
2
 0  1
 00  11 
 0   1  

2


 000   011   100   111

2
1  01  10  1  01  10 




2
2
2
2



1  00  11  1  00  11 
00 




2
2
2
2


10 
1  01  10  1  01  10 
01 




2
2
2
2


1  00  11  1  00  11 
11 




2
2
2
2


Teleportation
Alice
01
Bob
I
1  00  11 
 
  0   1    0   1
2
2

1  00  11 
Z
 

0


1



  0   1
2
2

1  01  10 
 
  1   0
2
2

1  01  10 
 
  1   0
2
2

X
  



0  1

  0   1

ZX
Teleportation can be viewed as a statement about the
interchangeability of physical resources.
1 ebit + 2 classical bits of communication  1 qubit of communication
Compare with superdense coding:
1 ebit + 1 qubit of communication  2 bits of classical communication
1 qubit of communication = 2 bits of communication (Mod 1 ebit)
The fundamental question of information science
1.
Given a physical resource – energy, time, bits, space,
entanglement; and
2. Given an information processing task – data compression,
information transmission, teleportation; and
3. Given a criterion for success;
We ask the question:
How much of 1 do I need to achieve 2, while satisfying 3?
Pursuing this question in the quantum case has led to, and
presumably will continue to lead to, interesting new information
processing capabilities.
“How to write a quant-ph”
Are there any fundamental scientific questions that can be
addressed by this program?
What fundamental problems are addressed
by quantum information science?
You
Your challenger
Knowing the rules  Understanding the game
Knowing the rules of quantum mechanics

Understanding quantum mechanics
What high-level principles are
implied by quantum mechanics?
Robert B. Laughlin, 1998 Nobel Lecture
“I give my class of extremely bright graduate students,
who have mastered quantum mechanics but are
otherwise unsuspecting and innocent, a take-home exam
in which they are asked to deduce superfluidity from
first principles.
There is no doubt a special place in hell being reserved
for me at this very moment for this mean trick, for the
task is impossible.
Superfluidity, like the fractional quantum Hall effect, is
an emergent phenomenon – a low-energy collective effect
of huge numbers of particles that cannot be deduced
from the microscopic equations of motion in a rigorous
way and that disappears completely when the system is
taken apart (Anderson, 1972)”
Quantum information science as an approach
to the study of complex quantum systems
Quantum processes
Shor’s algorithm
teleportation
communication
theory of entanglement
quantum phase transitions
cryptography
quantum
error-correction
Complexity
A few quanta of miscellanea
The “outer product” notation
The spectral theorem – diagonalizing Hermitian matrices
Historical digression on measurement
The trace operation
Quantum dynamics in continuous time: an alternative
form of the second postulate
Outer product notation
Let  and  be vectors.
Define a linear operation (matrix)   by
      
Example: 1 0  0   1   1    1
Connection to matrices:
If a   j a j j , and b   j bj j then a b k  bk* a .
 a1 
But a2  b1* b2*
 
 
 1  bk* a .
 
 
 a1 
Thus a b  a2  b1* b2* b3*  .
 
Outer product notation
1 
1
Example: 0 0   1 0  
0 
0
0 
0
Example: 1 1   0 1  
1 
0
0
0 
0
1 
1 0   0 0  1 1
Example: Z  

0

1


1 
0
Example: 0 1    0 1  
0 
0
0 
0
Example: 1 0    1 0  
1 
1
0 1 
Example: X  
 0 1 1

 1 0
1
0 
0
0 
0
Exercise: Find an outer product representation for Y .
Outer product notation
One of the advantages of the outer product notation
is that it provides a convenient tool with which to
describe projectors, and thus quantum measurements.
Recall: The projector P onto sp  e1 , e2  acts as
P  e1   e2   e3    e1   e2
This gives us a simple explicit formula for P , since
 e1 e1  e2 e2   e1   e2   e3    e1   e2
More generally, the projector onto a subspace spanned by
orthonormal vectors e1 ,..., em is given by
P   j ej ej .
Exercise: Suppose e1 ,..., ed
space. Prove that I   j ej
†
is an orthonormal basis for state
ej .
Exercise: Prove that a b = b a .
The spectral theorem
Theorem: Suppose A is a Hermitian matrix, A †  A. Then
A is diagonalizable,
A  Udiag  1 , , d U † ,
where U is unitary, and 1 , , d are the eigenvalues of A.
But diag  1 ,
, d  = j j j
Thus A   j j ej
j .
ej , where ej  U j is the j
eigenvector of A, A ej  j ej .
A   k k Pk , where Pk is the projector onto the
k eigenspace of A.
Examples of the spectral theorem
1 0 
Example: Z  
 0 0 1 1

0 1
0  1
0 1 
Example: X  
has eigenvectors  
, with

2
 1 0
corresponding eigenvlaues  1.
1 1
1 1
  -   =   1 1-   1 -1
2 1
2 -1
1 1 1 1  1 1
= 
 


2 1 1 2  1 1 
0 1 
=

1
0


Historical digression: the measurement
postulate formulated in terms of “observables”
Our form: A complete set of projectors Pj onto orthogonal
subspaces. Outcome j occurs with probability
Pr(j )   Pj  .
The corresponding post-measurement state is
Pj 
.
 Pj 
Old form: A measurement is described by an observable,
a Hermitian operator M , with spectral decomposition
M   j j Pj .
The possible measurement outcomes correspond to the
eigenvalues j , and the outcome j occurs with probability
Pr(j )   Pj  .
The corresponding post-measurement state is
Pj 
.
 Pj 
An example of observables in action
Example: Suppose we "measure Z".
Z has spectral decomposition Z  0 0 - 1 1 , so
this is just like measuring in the computational basis,
and calling the outcomes "1" and "-1", respectively, for
0 and 1.
Exercise: Find the spectral decomposition of Z  Z .
Show that measuring Z  Z corresponds to measuring
the parity of two qubits, with the result +1 corresponding
to even parity, and the result -1 corresponding to odd
parity.
Exercise: Suppose we measure the observable M for a
state  which is an eigenstate of that observable. Show
that, with certainty, the outcome of the measurement is
the corresponding eigenvalue of the observable.
The trace operation
tr A    j Ajj
0 1 
Examples: X  
tr  X   0;

 1 0
 1 0
I 

0
1


tr I   2.
Cyclicity property: tr AB  =tr BA  .
tr AB    j AB  jj   jk Ajk Bkj   jk Bkj Ajk  k BA kk  tr BA 
Exercise: Prove that tr  a b  = a b .
An alternative form of postulate 2
Postulate 2: The evolution of a closed quantum system
is described by a unitary transformation.
' U 
But quantum dynamics occurs in continuous time!
An alternate form of postulate 2
The evolution of a closed quantum system is described by
Schroedinger's equation:
d 
i
H 
dt
where H is a constant Hermitian matrix known as the
Hamiltonian of the system.
The eigenvectors of H are known as the energy eigenstates
of the system, and the corresponding eigenvalues are known
as the energies.
Example: H  X has energy eigenstates  0  1  / 2 and
 0  1  / 2, with corresponding energies  
Connection to old form
of postulate 2
The solution of Schroedinger's equation is  (t )  exp(  iHt )  (0)
U  exp(  iHt )
' U 