Quantum Computing (Fall 2013) Instructor: Shengyu Zhang. Lecture 1 Basic concepts Anybody who is not shocked by quantum theory has not understood it. --- Niels Bohr I think I can safely say that nobody understands quantum mechanics. --- Richard Feynman On quantum theory I use up more brain grease than on relativity. --- Albert Einstein 0. About the course ο¬ Hard math (for CS students). CSE Undergrads: If you don’t find the Algorithm course “too easy”, then you probably should consider to just sit in this course instead of taking it for credit. ο¬ More from computer science perspectives, namely algorithms and complexity issues. Less from physics. Almost none about physical implementation of quantum computers. ο¬ 4 homework assignments + 1 final: reading project. 1. Starting from qubits One qubit: |π〉 = πΌ|0〉 + π½|1〉, where α, β are complex numbers satisfying |α|2 + |π½|2 = 1. Some examples: |0〉, |1〉, |+〉 = 1 √2 (|0〉 + |1〉), |−〉 = 1 √2 (|0〉 − |1〉). Dirac notation: | 〉 for column vector, 〈 | for raw vector, β¨ | β© for inner product. Measurement in computational basis: If one measures |π〉 = πΌ|0〉 + π½|1〉 in {|0〉, |1〉}, she observes 0 with probability |πΌ|2, and observes 1 with probability |π½|2. If 0 is observed, then the state becomes |0〉, and if 1 is observed, then the state becomes |1〉. Note that in general, measurements/observations change the system. Note some distinctive properties: 1. Outcome of a measurement is not deterministic. 2. Measurement changes the system. Operation on one qubit: One can operate on a single qubit in different ways. Some examples: the Pauli-X (NOT) gate π, the Pauli-X gate π, the Pauli-Z gate Z and the Hadamard gate π» are defined as follows. π=[ 0 1 ], 1 0 π=[ 0 −π ], π 0 π=[ 1 0 ], 0 −1 π»= 1 1 [ √2 1 1 ]. −1 Operating on a single qubit, these operators have the following effects. π(πΌ|0〉 + π½|1〉) = π½|0〉 + πΌ|1〉, π(πΌ|0〉 + π½|1〉) = πΌ|0〉 − π½|1〉, π(πΌ|0〉 + π½|1〉) = −ππ½|0〉 + ππΌ|1〉, π»(πΌ|0〉 + π½|1〉) = πΌ+π½ √2 |0〉 + πΌ−π½ √2 |1〉. Multiple qubits: If we have two qubits, then a state in the 2-qubit system is |π〉 = πΌ00 |00〉 + πΌ01 |01〉 + πΌ10 |10〉 + πΌ11 |11〉, where α00 , πΌ01 , πΌ10 , πΌ11 are complex numbers satisfying |πΌ00 |2 + |πΌ01 |2 + |πΌ10 |2 + |πΌ11 |2 = 1. For example, the following is an “EPR state”: |π〉 = |00〉 + |11〉 √2 And it is an example of non-product state, in the sense that it cannot be written as (πΌ1 |0〉 + π½1 |1〉) ⊗ (πΌ2 |0〉 + π½2 |1〉) for any coefficients πΌπ , π½π . Measurement in computational basis: For any π1 π2 ∈ {00,01,10,11}Observe π1 π2 with 2 probability |πΌπ1 π2 | , and the state becomes |π1 π2 〉. Operation on two qubits: One can also operate on a two-qubit system. An important example is Controlled-NOT (CNOT), defined as follows. 1 CNOT = [0 0 0 0 1 0 0 0 0 0 1 0 0], 1 0 which has the effect CNOT(πΌ00 |00〉 + πΌ01 |01〉 + πΌ10 |10〉 + πΌ11 |11〉) = πΌ00 |00〉 + πΌ01 |01〉 + πΌ11 |10〉 + πΌ10 |11〉. About the name “Controlled-NOT”: the first bit is the control bit, and conditioned on the control bit is 1, apply NOT gate to the second qubit. General pure states: In general, a pure quantum state of a π-qubit system corresponds to a π unit vector in πΆ 2 , the 2π -dimensional vector space over complex numbers. Here a unit vector is a vector |π〉 with β2 -norm being 1. General (orthogonal) measurements: Suppose that π = {|π£1 〉 , … , |π£πΎ 〉} is a set of orthonormal basis in a πΎ-dimensional system. If we make an orthogonal measurement in basis π on a pure state |π〉, then outcome π occurs with probability |β¨π£π |πβ©|2 , and if outcome π occurs, the state collapses to |π£π 〉. If one prepares a state chosen from {|π£1 〉 , … , |π£πΎ 〉}, and give it to you, then you can tell which state it is by the above measurement. An interesting (and sometimes annoying) fact is that if the set of states are not orthogonal, then there is no way to distinguish them perfectly. States with different global phases cannot be distinguished. Namely, if |π1 〉 = π ππ |π2 〉, then no measurement can distinguish them. 2. Mathematical model for quantum mechanics The postulates of quantum mechanics. Postulate 1: Associated to any isolated physical system is a complex vector space with inner product known as the state space of the system. The system is completely described by its state vector, which is a unit vector in the system's state space. Postulate 2: The evolution of a closed quantum system is described by a unitary transformation. That is, the state |π〉 of the system at time π‘1 is related to the state |π′〉 of the system at time π‘2 by a unitary operator π which depends only on the times π‘1 and π‘2 , |π′〉 = π|π〉. Postulate 3: Quantum measurements are described by a collection {ππ } of measurement operators. These are operators acting on the state space of the system being measured. The index m refers to the measurement outcomes that may occur in the experiment. If the state of the quantum system is |π〉 immediately before the measurement then the probability that result π occurs is given by † Pr[π] = β¨π|ππ ππ |πβ© and the state of the system after the measurement is ππ |π〉/√Pr[π]. The measurement † operators satisfy the completeness equation ∑m ππ ππ = πΌ, which expresses the fact that probabilities sum to one. Postulate 4: The state space of a composite physical system is the tensor product of the state spaces of the component physical systems. Moreover, if we have systems numbered 1 through π, and system number π is prepared in the state |ππ 〉, then the joint state of the total system is |π1 〉 ⊗ |π2 〉 ⊗ β― ⊗ |ππ 〉. 3. Basic facts, protocols No-cloning theorem---One cannot make a copy of a quantum state. Theorem There isn’t a unitary operator π operating on 2 qubits and mapping |π〉|0〉 to |π〉|π〉 for all single-qubit state |π〉. Proof. Consider |π〉 = |0〉, |1〉, |+〉. Teleportation---How to send quantum states using only classical channel (with the help of shared entanglement). Alice holds a qubit |π〉π΄1 = πΌ|0〉 + π½|1〉. Alice and Bob share an EPR pair |π〉π΄2 π΅ = |00〉+|11〉 √2 . Here we use subscripts to indicate the registers holding the state. Protocol: Alice applies CNOT on π΄1 π΄2 (π΄1 being the control bit), followed by a Hadamard gate on π΄1 . Alice then measures her part π΄1 π΄2 , which makes Bob’s qubit to collapse to one of the four orthogonal states |π00 〉 = πΌ|0〉 + π½|1〉, |π01 〉 = πΌ|1〉 + π½|0〉, |π10 〉 = πΌ|0〉 − π½|1〉, |π11 〉 = πΌ|1〉 − π½|0〉. Alice also observes a corresponding outcome π ∈ {00, 01, 10, 11}. Alice sends π, the 2-bit classical information to Bob, who then knows how to revert his state back to |π〉 = πΌ|0〉 + π½|1〉. For more details, see [NC00] Chapter 1.3.7. (If you don’t have the book, see the wiki page for a nice explanation.) Superdense coding---Using one qubit to encode two classical bits. Superdense coding is something converse to teleportation. Alice and Bob share an EPR pair |π〉 = |00〉+|11〉 √2 , and Alice wants to transfer two classical bits π ∈ {00, 01, 10, 11} to Bob. Protocol: Alice applies πΌ, π, π, ππ if π = 00, 01, 10, 11, respectively. Then the shared state becomes |00〉+|11〉 |00〉−|11〉 √2 , √2 , |10〉+|01〉 |01〉−|10〉 √2 √2 , , respectively. Alice sends her qubit to Bob, who then measures the state and gets the encoded information about π. 4. Entanglement and nonlocality Recall that an EPR state |π〉 = |00〉+|11〉 √2 is an entangled state, and it cannot be written as |π1 〉|π2 〉 for any single-qubit states |π1 〉 and |π2 〉. Entanglement is a key difference between classical and quantum mechanics. CHSH game. Consider the following game. Alice and Bob each receive a bit, π and π‘, respectively, and they each want to output a bit, π and π, respectively, such that π ⊕ π = π ∧ π‘. Note that no communication between Alice and Bob is allowed. With classical local operations and shared randomness, they can succeed with probability 3/4=75%, and that is optimal. With quantum local operations on a shared EPR pair, they can succeed with probability cos2 (π/8) = 0.853 …, higher than classical. See [BCMdW10] (Section II.B) for details. Reference [NC00] Michael Nielsen and Isaac Chuang, Quantum Computation and Quantum Information, Cambridge University Press, 2000. [BCMdW10] Harry Buhrman, Richard Cleve, Serge Massar, Ronald de Wolf, Nonlocality and communication complexity, Reviews of Modern Physics, volume 82, 2010. Exercise 1. We said that non-orthogonal states cannot be perfectly distinguished. Consider this on a simple example: One prepares a state |π〉 chosen from {|0〉, |1〉, |+〉, |−〉}, and let you guess which one it is. Show that you cannot use any measurement to identify |π〉 with certainty. 1 0 ] are orthogonal to each 0 1 2. Prove that the three Pauli matrices and the Identity matrix πΌ = [ other with the inner product defined by 〈π΄, π΅〉 = ∑ππ π΄∗ππ π΅ππ . Here the superscript * is the complex conjugate.