Lecture 1 - Department of Computer Science and Engineering, CUHK

advertisement
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.
Download