Basic concepts from quantum theory

Similar documents
B. BASIC CONCEPTS FROM QUANTUM THEORY 93

Basic concepts from quantum theory

Basic concepts from quantum theory

B.2 Wave-particle duality

Lecture 4: Postulates of quantum mechanics

Quantum Computing Lecture 3. Principles of Quantum Mechanics. Anuj Dawar

Introduction to Quantum Mechanics

2. Introduction to quantum mechanics

Open quantum systems

B.7 Uncertainty principle (supplementary)

Basics on quantum information

Basics on quantum information

Quantum decoherence. Éric Oliver Paquette (U. Montréal) -Traces Worshop [Ottawa]- April 29 th, Quantum decoherence p. 1/2

Unitary Dynamics and Quantum Circuits

SUPERDENSE CODING AND QUANTUM TELEPORTATION

Hilbert Space, Entanglement, Quantum Gates, Bell States, Superdense Coding.

INTRODUCTORY NOTES ON QUANTUM COMPUTATION

10 Interpreting Quantum Mechanics

Quantum Gates, Circuits & Teleportation

Chapter III. Quantum Computation. Mathematical preliminaries. A.1 Complex numbers. A.2 Linear algebra review

INTRODUCTION TO QUANTUM COMPUTING

1 Mathematical preliminaries

Quantum Mechanics C (130C) Winter 2014 Final exam

1 1D Schrödinger equation: Particle in an infinite box

Unitary evolution: this axiom governs how the state of the quantum system evolves in time.

A review on quantum teleportation based on: Teleporting an unknown quantum state via dual classical and Einstein- Podolsky-Rosen channels

Introduction to Quantum Computing

1 1D Schrödinger equation: Particle in an infinite box

1 Fundamental physical postulates. C/CS/Phys C191 Quantum Mechanics in a Nutshell I 10/04/07 Fall 2007 Lecture 12

Ph 219/CS 219. Exercises Due: Friday 20 October 2006

Quantum information and quantum computing

1 Planck-Einstein Relation E = hν

Quantum Mechanics II: Examples

6.896 Quantum Complexity Theory September 9, Lecture 2

Qubits vs. bits: a naive account A bit: admits two values 0 and 1, admits arbitrary transformations. is freely readable,

D.5 Quantum error correction

Singlet State Correlations

If quantum mechanics hasn t profoundly shocked you, you haven t understood it.

The Postulates of Quantum Mechanics

Bell s Theorem. Ben Dribus. June 8, Louisiana State University

Short Course in Quantum Information Lecture 2

The Schrodinger Equation and Postulates Common operators in QM: Potential Energy. Often depends on position operator: Kinetic Energy 1-D case:

An Introduction to Quantum Information. By Aditya Jain. Under the Guidance of Dr. Guruprasad Kar PAMU, ISI Kolkata

The Framework of Quantum Mechanics

Physics is becoming too difficult for physicists. David Hilbert (mathematician)

Consistent Histories. Chapter Chain Operators and Weights

Chapter 2 The Density Matrix

Review of the Formalism of Quantum Mechanics

Open quantum systems

Quantum Computing 1. Multi-Qubit System. Goutam Biswas. Lect 2

Ph 219/CS 219. Exercises Due: Friday 3 November 2006

Introduction to Bell s theorem: the theory that solidified quantum mechanics

Quantum Entanglement. Chapter Introduction. 8.2 Entangled Two-Particle States

THE DELAYED CHOICE QUANTUM EXPERIMENT

Topic 2: The mathematical formalism and the standard way of thin

2 The Density Operator

conventions and notation

C/CS/Phys 191 Quantum Mechanics in a Nutshell I 10/04/05 Fall 2005 Lecture 11

2 Quantum Mechanics. 2.1 The Strange Lives of Electrons

Hardy s Paradox. Chapter Introduction

1 Measurement and expectation values

3. Quantum Mechanics in 3D

Quantum Measurements: some technical background

. Here we are using the standard inner-product over C k to define orthogonality. Recall that the inner-product of two vectors φ = i α i.

C/CS/Phys C191 Quantum Mechanics in a Nutshell 10/06/07 Fall 2009 Lecture 12

92 CHAPTER III. QUANTUM COMPUTATION. Figure III.11: Diagram for swap (from NC).

Principles of Quantum Mechanics Pt. 2

Quantum Information Types

MP463 QUANTUM MECHANICS

Lecture 3: Hilbert spaces, tensor products

Errata list, Nielsen & Chuang. rrata/errata.html

PHY305: Notes on Entanglement and the Density Matrix

The Principles of Quantum Mechanics: Pt. 1

Introduction to Quantum Cryptography

J = L + S. to this ket and normalize it. In this way we get expressions for all the kets

C/CS/Phys 191 Quantum Gates and Universality 9/22/05 Fall 2005 Lecture 8. a b b d. w. Therefore, U preserves norms and angles (up to sign).

Ensembles and incomplete information

1 Readings. 2 Unitary Operators. C/CS/Phys C191 Unitaries and Quantum Gates 9/22/09 Fall 2009 Lecture 8

Chapter 5. Density matrix formalism

Lecture 4. QUANTUM MECHANICS FOR MULTIPLE QUBIT SYSTEMS

C/CS/Phys C191 Particle-in-a-box, Spin 10/02/08 Fall 2008 Lecture 11

Modern Physics notes Spring 2007 Paul Fendley Lecture 27

Lecture 2: Introduction to Quantum Mechanics

This is the important completeness relation,

Entanglement and information

Chapter 2: Quantum Entanglement

Stochastic Quantum Dynamics I. Born Rule

Probabilistic exact cloning and probabilistic no-signalling. Abstract

Transmitting and Hiding Quantum Information

Quantum Computing: Foundations to Frontier Fall Lecture 3

Quantum Computing Lecture 2. Review of Linear Algebra

Honors 225 Physics Study Guide/Chapter Summaries for Final Exam; Roots Chapters 15-18

The act of measuring a particle fundamentally disturbs its state.

EPR Paradox and Bell Inequalities

Supplementary information I Hilbert Space, Dirac Notation, and Matrix Mechanics. EE270 Fall 2017

PLEASE LET ME KNOW IF YOU FIND TYPOS (send to

The Postulates of Quantum Mechanics Common operators in QM: Potential Energy. Often depends on position operator: Kinetic Energy 1-D case: 3-D case

Density Matrices. Chapter Introduction

Semiconductor Physics and Devices

arxiv: v1 [quant-ph] 27 May 2009

Transcription:

B. BASIC CONCEPTS FROM QUANTUM THEORY 77 B Basic concepts from quantum theory B.1 Introduction B.1.a Bases In quantum mechanics certain physical quantities are quantized, such as the energy of an electron in an atom. Therefore an atom might be in certain distinct energy states groundi, first excitedi, second excitedi,... Other particles might have distinct states such as spin-up "i and spin-down #i. In each case these alternative states correspond to orthonormal vectors: h" #i =0, hground first excitedi =0, hground second excitedi =0, hfirst excited second excitedi =0. In general we may express the same state with respect to di erent bases, such as vertical or horizontal polarization!i, "i; ororthogonaldiagonal polarizations %i, &i. B.1.b Superpositions of Basis States One of the unique characteristics of quantum mechanics is that a physical system can be in a superposition of basis states, for example, i = c 0 groundi + c 1 first excitedi + c second excitedi, where the c j are complex numbers, called (probability) amplitudes. With respect to a given basis, a state i is interchangeable with its vector of coe cients, c =(c 0,c 1,...,c n ) T. When the basis is understood, we can use i as a name for this vector. This ability of a quantum system to be in many states simultaneously is the foundation of quantum parallelism. As we will see, when we measure the quantum state c 0 E 0 i + c 1 E 1 i +...+ c n E n i with respect to the E 0 i,..., E n i basis, we will get the result E j i with probability c j and the state will collapse into state E j i.sincetheprobabilities must add to 1, c 0 + c 1 + + c n =1,weknowk ik =1,that is, the vector is normalized.

78 CHAPTER III. QUANTUM COMPUTATION Figure III.1: Probability density of first six hydrogen orbitals. The main quantum number (n =1,, 3) and the angular momentum quantum number (` =0, 1, =s,p,d)areshown. (Themagneticquantumnumberm =0in these plots.) [fig. from wikipedia commons] For the purposes of quantum computation, we usually pick two basis states and use them to represent the bits 1 and 0, for example, 1i = groundi and 0i = excitedi. We call this the computational basis. I ve picked the opposite of the obvious assignment ( 0i = groundi) justtoshowthatthe assignment is arbitrary (just as for classical bits). Note that 0i 6= 0, the zero element of the vector space, since k 0ik =1butk0k =0. (Thus0 does not represent a physical state, since it is not normalized.) B. Postulates of QM In this section you will learn the four fundamental postulates of quantum mechanics. 1 1 Quotes are from Nielsen & Chuang (010) unless otherwise specified.

B. BASIC CONCEPTS FROM QUANTUM THEORY 79 B..a Postulate 1: state space Postulate 1: Associated with any isolated physical system is a state space, which is a Hilbert space. The state of the system is completely defined by its state vector, which is a unit vector in the system s state space (Nielsen &Chuang,010). Thestatevectorhastobenormalizedsothatthetotal probability is 1; it is equivalent to the probability axiom that states that the maximum probability (probability of the whole sample space) = 1. In previous examples, the state vectors have been finite dimensional, but Hilbert spaces can be infinite dimensional as well. For example, a quantum system might have an unlimited number of energy levels, 0i, 1i, i,... If the state of the system is a superposition, i = P 1 k=0 c k ki, thenthesquared amplitudes must sum to 1, P 1 k=0 c k =1. Aquantumstate i is often a wavefunction, whichdefinestheprobability amplitude distribution (actually, the probability density function) of some continuous quantity. For example, i may define the complex amplitude (r)associatedwitheachlocationr in space, and i may define the complex amplitude of (p)associatedwitheachmomentump (see Fig. III.1). Infinite dimensional Hilbert spaces also include spaces of wavefunctions such as these. The inner product of wavefunctions is defined: Z h i = (r) (r)dr. R 3 (For this example we are assuming the domain is 3D space.) Wavefunctions are also normalized, 1 = k ik = R (r) dr. For our purposes, finite R 3 dimensional spaces are usually adequate. In quantum mechanics, global phase has no physical meaning; all that matters is relative phase. In other words, if you consider all the angles around the circle, there is no distinguished 0 (see Fig. III.). Likewise, in acontinuouswave(suchasasinewave),thereisnodistinguishedstarting point (see Fig. III.3). To say all quantum states are normalized is equivalent to saying that their absolute length has no physical meaning. That is, only their form (shape) matters, not their absolute size. This is a characteristic of information. Another way of looking at quantum states is as rays in a projective Hilbert space. A ray is an equivalence class of nonzero vectors under the relation, = i 9z 6= 0 C : = z, where, 6= 0. That is, global magnitude and phase (r and in z = re i )areirrelevant(i.e.,havenophysicalmeaning).

80 CHAPTER III. QUANTUM COMPUTATION q Figure III.: Relative phase vs. global phase. What matters in quantum mechanics is the relative phase between state vectors (e.g., in the figure). Global phase has no physical meaning ; i.e., we can choose to put the 0 point anywhere we like. Figure III.3: Relative phase vs. global phase of sine waves. There is no privileged point from which to start measuring absolute phase, but there is adefiniterelativephasebetweenthetwowaves.

B. BASIC CONCEPTS FROM QUANTUM THEORY 81 This is another way of expressing the fact that the form is significant, but not the size. However, it is more convenient to use normalized vectors in ordinary Hilbert spaces and to ignore global phase. B..b Postulate : evolution Postulate : The evolution of a closed quantum system is described by a unitary transformation (Nielsen & Chuang, 010). Therefore a closed quantum system evolves by complex rotation of a Hilbert space. More precisely, the state i of the system at time t is related to the state 0 i of the system at time t 0 by a unitary operator U which depends only on the times t and t 0, 0 i = U(t, t 0 ) i = U i. This postulate describes the evolution of systems that don t interact with the rest of the world. That is, the quantum system is a dynamical system of relatively low dimension, whereas the environment, including any measurement apparatus, is a thermodynamical system (recall Ch. II, Sec. B). The laws of quantum mechanics, like the laws of classical mechanics, are expressed in di erential equations. However, in quantum computation we usually deal with quantum gates operating in discrete time, so it is worth mentioning their relation. The continuous-time evolution of a closed quantum mechanical system is given by the Schrödinger equation: i~ d (t)i = H (t)i, dt or more compactly, i~ i = H i. H is the Hamiltonian of the system (a fixed Hermitian operator), and ~ is the reduced Planck constant (often absorbed into H). Since H is Hermitian, it has a spectral decomposition, H = P E E EihE, where the normalized Ei are energy eigenstates (or stationary states) with corresponding energies E. Thelowestenergyistheground state energy. In quantum computing, we are generally interested in the discrete-time dynamics of quantum systems. Stone s theorem shows that the solution to the Schrödinger equation is: (t + s)i = e iht/~ (s)i.

8 CHAPTER III. QUANTUM COMPUTATION Therefore define U(t) def =exp( iht/~); then (t+s)i = U(t) (s)i. Itturns out that U is unitary (Exer. III.5). Hence the evolution of a closed quantum mechanical system from a state i at time t to a state 0 i at time t 0 can be described by a unitary operator, 0 i = U i. Conversely,foranyunitary operator U there is a Hermitian K such that U =exp(ik) (Exer.III.6). B..c Postulate 3: quantum measurement What happens if the system is no longer closed, that is, if it interacts with the larger environment? In particular, what happens if a quantum system interacts with a much larger measurement apparatus, the purpose of which is to translate a microscopic state into a macroscopic, observable e ect? For example, suppose we have a quantum system that can be in two distinct states, for example, an atom that can be in a ground state 0i and an excited state 1i. Sincetheyaredistinctstates,theycorrespondtoorthogonal vectors, h0 1i =0. Supposefurtherthatwehaveameasurementapparatus that turns on one light if it measures state 0i and a di erent light if it measures state 1i. Now consider an atom in a quantum state i = 1 0i + p 3 1i, asuperpo- sition of the states 0i and 1i. When we measure i in the computational basis, we will measure 0i with probability 1 = 1,andwewillmeasure 1i 4 with probability p 3 = 3. After measurement, the system is in the state we 4 measured ( 0i or 1i, respectively);thisisthe collapse ofthewavefunction. We depict the possibilities as follows: i i 1/4! 0i, 3/4! 1i. Now consider a more complicated example, a quantum system that can be in three distinct states, say an atom that can be in a ground state 0i or two excited states, 1i and i. Note that h0 1i = h1 i = h0 i =0. Suppose the quantum system is in state i = p 1 0i+ 1 1i+ 1 i. Further,supposewe have a measurement apparatus that turns on a light if it measures state 0i and does not turn it on otherwise. When we measure i, withprobability p1 = 1 we will measure 0i and after measurement it will collapse to state 0i. With probability 1 + 1 = 1 it will not measure state 0i and the

B. BASIC CONCEPTS FROM QUANTUM THEORY 83 light won t go on. In this case, it will collapse to state 1 p 1i + 1 p i, which we get by renormalizing the state measured: 1 q 1i + 1 i 1 + 1 i = 1 p 0i + 1 1i + 1 i = p 1 1i + p 1 i. We can depict the possible outcomes as follows: 8 < : 1/! 0i 1/! 1 p 1i + 1 p i. In other words, we zero out the coe cients of the states we didn t measure and renormalize (because quantum states are always normalized). Now we develop these ideas more formally. AmeasurementcanbecharacterizedbyasetofprojectorsP m,foreach possible measurement outcome m. In the first example above, the measurement operators are P 1 = 0ih 0 and P = 1ih 1. In the second example, the operators are P 1 = 0ih 0 and P = 1ih 1 + ih. Inthelattercase,P 1 projects the quantum state into the subspace spanned by { 0i}, andp projects the quantum state into the subspace spanned by { 1i, i}. Theseareorthogonal subspaces of the original space (spanned by { 0i, 1i, i}). Since a measurement must measure some definite state, a projective measurement is a set of projectors P 1,...,P N satisfying: (1) They project into orthogonal subspaces, so for m 6= n we have P m n = 0, theidenticallyzero operator. () They are complete, that is, I = P N m=1 P m,someasurement always produces a result. Projectors are also idempotent, P m P m = P m,since if a vector is already projected into the m subspace, projecting it again has no e ect. Finally, projectors are Hermitian (self-adjoint), as we can see: P m = X j! j ih j = X ( j ih j ) = X j j j ih j = P m. Now we can state Postulate 3. Postulate 3: Quantum measurements are described by a complete set of orthogonal projectors, P m,foreachpossiblemeasurementoutcomem.

84 CHAPTER III. QUANTUM COMPUTATION Measurement projects the state into a subspace with a probability given by the squared magnitude of the projection. Therefore, the probability of measurement m of state i is given by: p(m) =kp m ik = h P mp m i = h P m P m i = h P m i. (III.1) This is Born s Rule, which gives the probability of a measurement outcome. The measurement probabilities must sum to 1, which we can check: X p(m) = X! X h P m i = h P m i = h I i = h i =1. m m m This follows from the completeness if the projectors, P m P m = I. For an example, suppose P m = mih m, andwritethequantumstatein the measurement basis: i = P m c m mi. Then the probability p(m) of measuring m is: p(m) = h P m i = h ( mih m ) i = h mihm i = hm ihm i = hm i = c m. More generally, the same holds if P m projects into a subspace, P m = P k kih k ; the probability is p(m) = P k c k. Alternatively, we can zero out the c j for the orthogonal subspace, that is, for the jih j omitted by P m.tomaintain a total probability of 1, the normalized state vector after measurement is B..d P m i p p(m) = P m i kp m ik. Postulate 4: composite systems Postulate 4: The state space of a composite physical system is the tensor product of the state spaces of the component physical systems (Nielsen & Chuang, 010). If there are n subsystems, and subsystem j is prepared in state j i,thenthecompositesystemisinstate no 1 i i n i = j i. j=1

B. BASIC CONCEPTS FROM QUANTUM THEORY 85 B.3 Wave-particle duality (supplementary) Some of the capabilities of quantum computation depend on the fact that microscopic objects behave as both particles and waves. To see why, imagine performing the double-slit experiment with three di erent kinds of objects. Imagine a stream of classical particles impinging on the two slits and consider the probability of their arriving on a screen. Define P j (x) tobethe probability of a particle arriving at x with just slit j open, and P 1 (x) to be the probability of a particle arriving at x with both open. We observe P 1 = P 1 + P,asexpected. Now consider classical waves, such as water waves, passing through the two slits. The energy I of a water wave depends on the square of its height H, whichmaybepositiveornegative.hence, I 1 = H 1 =(H 1 + H ) = H 1 +H 1 H + H = I 1 +H 1 H + I. The H 1 H term may be positive or negative, which leads to constructive and destructive interference. Finally, consider quantum particles. The probability of observing a particle is given by the rule for waves. In particular, the probability P is given by the square of a complex amplitude A: P 1 = A 1 + A = A 1 A 1 + A 1 A + A A 1 + A A, = P 1 + A 1 A + A 1 A + P. Again, the interference terms A 1 A + A 1 A can be positive or negative leading to constructive and destructive interference. How does a particle going through one slit know whether or not the other slit is open?

86 CHAPTER III. QUANTUM COMPUTATION xactly one eighth of the original amount of light. A B C Figure III.4: Fig. from Rie el & Polak (000). B.4 Superposition Asimpleexperimentdemonstratesquantume ectsthatcannotbeexplained by classical physics (see Fig. III.4). Suppose we have three polarizing filters, A, B, and C, polarized horizontally, 45, and vertically, respectively. Place the horizontal filter A between a strong light source, such as a laser, and ascreen. Thelightintensityisreducedbyonehalfandthelightishorizontally polarized. (Note: Since the light source is unpolarized, i.e., it has all polarizations, the resulting intensity would be much less than one half if the filter allowed only exactly horizontally polarized light through, as would be implied by a sieve model of polarization.) Next insert filter C, polarized vertically, and the intensity drops to zero. This is not surprising, since the filters are cross-polarized. Finally, insert filter B, polarized diagonally, between A and C, and surprisingly some light (about 1/8 intensity) will return! This can t be explained by the sieve model. How can putting in more filters increase the light intensity? Quantum mechanics provides a simple explanation of the this e ect; in fact, it s exactly what we should expect. A photon s polarization state can be represented by a unit vector pointing in appropriate direction. Therefore, arbitrary polarization can be expressed by a 0i+b 1i for any two basis vectors 0i and 1i, where a + b =1. Apolarizingfiltermeasuresastatewithrespecttoabasisthatincludes avectorparalleltoitspolarizationandoneorthogonaltoit. Thee ectof filter A is the projector P A =!ih!. To get the probability amplitude, apply it to i def = a!i + b "i: p(a) = h! i = h! (a!i + b "i) = ah!!i + bh! "i = a. So with probability a we get!i (recall Eqn. III.1, p. 84). So if the polarizations are randomly distributed from the source, half will get through

B. BASIC CONCEPTS FROM QUANTUM THEORY 87 > diag up> > diag down> Figure III.5: Alternative polarization bases for measuring photons (black = rectilinear basis, red = diagonal basis). Note %i = p 1 ( "i +!i) and!i = p 1 ( %i + &i). and all of them will be in state!i. Why one half? Note that a = cos, where is the angle between i and!i, andthat ha i = 1 Z 0 cos d = 1. When we insert filter C we are measuring with the projector P C = "ih" and the result is 0, as expected: p(ac) = h"!i =0. Now insert the diagonal filter B between the horizontal and vertical filters A and C. Filter B measures with respect to the projector { %i, &i} basis (see Fig. III.5). Transmitted light is given by the projector P B = %ih%. To find the result of applying filter B to the horizontally polarized light emerging from filter A, we must express!i in the diagonal basis:!i = 1 p ( %i + &i).

88 CHAPTER III. QUANTUM COMPUTATION So if filter B is %ih% we get %i photons passing through filter B with probability 1/: apple 1 p(b) = h%!i = h% p ( %i + &i = p 1 h% %i = 1 p h% &i = 1. Hence, the probability of source photons passing though filters A and B is p(ab) = p(a)p(b) = 1/4. The e ect of filter C, then, is to measure %i by projecting against "i. Note that %i = p 1 ( "i +!i). The probability of these photons getting through filter C is apple 1 h! %i = h! p ( "i +!i) = 1 p = 1. Therefore we get!i with another 1/ decrease in intensity (so 1/8 overall).

B. BASIC CONCEPTS FROM QUANTUM THEORY 89 B.5 No-cloning theorem Copying and erasing are two of the fundamental (blackboard-inspired) operations of conventional computing. However, the No-cloning Theorem of quantum mechanics states that it is impossible to copy the state of a qubit. To see this, assume on the contrary that we have a unitary transformation U that does the copying, so that U( i ci) = i i, where ci is an arbitrary constant qubit (actually, ci can be any quantum state). That is, U ci = i. Next suppose that i = a 0i + b 1i. BythelinearityofU: U i ci = U (a 0i + b 1i) ci = U(a 0i ci + b 1i ci) distrib. of tensor prod. = U(a 0ci + b 1ci) = a(u 0ci)+b(U 1ci) linearity = a 00i + b 11i copying property. On the other hand, by expanding i we have: U ci = i = (a 0i + b 1i) (a 0i + b 1i) = a 00i + ba 10i + ab 01i + b 11i. Note that these two expansions cannot be made equal in general, so no such unitary transformation exists. Cloning is possible only in the special cases a =0,b =1ora =1,b =0,thatis,onlywhereweknowthatweare cloning a determinate (classical) basis state. The inability to simply copy aquantumstateisoneofthecharacteristicsofquantumcomputationthat makes it significantly di erent from classical computation. B.6 Entanglement B.6.a Entangled and decomposable states The possibility of entangled quantum states is one of the most remarkable characteristics distinguishing quantum from classical systems. Suppose that H 0 and H 00 are the state spaces of two quantum systems. Then H = H 0 H 00 is the state space of the composite system (Postulate 4). For simplicity, suppose that both spaces have the basis { 0i, 1i}. Then H 0 H 00 has the

90 CHAPTER III. QUANTUM COMPUTATION basis { 00i, 01i, 10i, 11i}. (Recallthat 01i = 0i 1i, etc.) Arbitrary elements of H 0 H 00 can be written in the form X c jk jki = X c jk j 0 i k 00 i. j,k=0,1 j,k=0,1 Sometimes the state of the composite systems can be written as the tensor product of the states of the subsystems, i = 0 i 00 i. Such a state is called a separable, decomposable or product state. In other cases the state cannot be decomposed, in which case it is called an entangled state For an example of an entangled state, consider the Bell state 01 i,which might arise from a process that produced two particles with opposite spin (but without determining which is which): 01 i def = 1 p ( 01i + 10i) def = + i. (III.) (The notations 01 i and + i are both used.) Note that the states 01i and 10i both have probability 1/. Such a state might arise, for example, from aprocessthatemitstwoparticleswithoppositespinangularmomentumin order to preserve conservation of spin angular momentum. To show that 01 i is entangled, we need to show that it cannot be decomposed, that is, that we cannot write 01 i = 0 i 00 i,fortwostate vectors 0 i = a 0 0i + a 1 1i and 00 i = b 0 0i + b 1 1i. Let s try a separation or decomposition: Multiplying out the RHS yields: 01 i? =(a 0 0i + a 1 1i) (b 0 0i + b 1 1i). a 0 b 0 00i + a 0 b 1 01i + a 1 b 0 10i + a 1 b 1 11i. Therefore we must have a 0 b 0 = 0 and a 1 b 1 = 0. But this implies that either a 0 b 1 =0ora 1 b 0 =0(asopposedto1/ p ), so the decomposition is impossible. For an example of a decomposable state, consider 1 ( 00i + 01i + 10i + 11i). Writing out the product (a 0 0i + a 1 1i) (b 0 0i + b 1 1i) asbefore,we require a 0 b 0 = a 0 b 1 = a 1 b 0 = a 1 b 1 = 1. This is satisfied by a 0 = a 1 = b 0 = b 1 = p 1,thereforethestateisdecomposable.

B. BASIC CONCEPTS FROM QUANTUM THEORY 91 In addition to Eq. III., the other three Bell states are defined: 00 i def = 1 p ( 00i + 11i) def = + i, (III.3) 10 i def = 1 p ( 00i 11 i def = 1 p ( 01i 11i) def = i, (III.4) 10i) def = i. (III.5) The states have two identical qubits, the states have opposite qubits. The + superscript indicates they are added, the that they are subtracted. The general definition is: xy i = 1 p ( 0,yi +( 1) x 1, yi). Remember this useful formula! The Bell states are orthogonal and in fact constitute a basis for H 0 H 00 (exercise). B.6.b EPR paradox The EPR Paradox was proposed by Einstein, Podolsky, and Rosen in 1935 to show problems in quantum mechanics. Our discussion here will be informal. Suppose a source produces an entangled EPR pair (or Bell state) + i = 00 i = p 1 ( 00i + 11i), and the entangled particles are sent to Alice and Bob. If Alice measures her particle and gets 0i, thenthatcollapsesthe state to 00i, andsobobwillhavetoget 0i if he measures his particle. Likewise, if Alice happens to get 1i, Bobisalsorequiredtoget 1i if he measures. This happens instantaneously (but it does not permit faster-thanlight communication, as explained below). One explanation is that there is some internal state in the particles that will determine the result of the measurement. Both particles have the same internal state. Such hidden-variable theories of quantum mechanics assume that particles are really in some definite state and that superposition reflects our ignorance of its state. However, they cannot explain the results of measurements in di erent bases. In 1964 John Bell showed that any local hidden variable theory would lead to measurements satisfying a certain inequality (Bell s inequality). Actual experiments, which have been conducted over tens of kilometers, violate Bell s inequality. Thus local hidden variable theories cannot be correct.

9 CHAPTER III. QUANTUM COMPUTATION Another explanation is that Alice s measurement a ects Bob s (or vice versa, if Bob measures first). These are called causal theories. According to relativity theory, however, in some frames of reference Alice s measurement comes first, and in other frames, Bob s comes first. Therefore there is no consistent cause-e ect relation. This is why Alice and Bob cannot use entangled pairs to communicate.