errata list, nielsen & chuang - atomic physics · errata list, nielsen & chuang ... part...
TRANSCRIPT
![Page 1: Errata list, Nielsen & Chuang - Atomic Physics · Errata list, Nielsen & Chuang ... Part II, Nielsen & Chuang • Quantum circuits (Ch 4) ... Quantum computation and quantum information](https://reader031.vdocuments.us/reader031/viewer/2022012306/5b8106597f8b9a2a088e3da3/html5/thumbnails/1.jpg)
Errata list, Nielsen & Chuang
• http://www.michaelnielsen.org/qcqi/errata/errata/errata.html
![Page 2: Errata list, Nielsen & Chuang - Atomic Physics · Errata list, Nielsen & Chuang ... Part II, Nielsen & Chuang • Quantum circuits (Ch 4) ... Quantum computation and quantum information](https://reader031.vdocuments.us/reader031/viewer/2022012306/5b8106597f8b9a2a088e3da3/html5/thumbnails/2.jpg)
Part II, Nielsen & Chuang
• Quantum circuits (Ch 4) SK • Quantum algorithms (Ch 5 & 6)
– Göran Johansson • Physical realisation of quantum computers
(Ch 7) – Andreas Walther
![Page 3: Errata list, Nielsen & Chuang - Atomic Physics · Errata list, Nielsen & Chuang ... Part II, Nielsen & Chuang • Quantum circuits (Ch 4) ... Quantum computation and quantum information](https://reader031.vdocuments.us/reader031/viewer/2022012306/5b8106597f8b9a2a088e3da3/html5/thumbnails/3.jpg)
Quantum computation and quantum information
Chapter 4 Quantum circuits
![Page 4: Errata list, Nielsen & Chuang - Atomic Physics · Errata list, Nielsen & Chuang ... Part II, Nielsen & Chuang • Quantum circuits (Ch 4) ... Quantum computation and quantum information](https://reader031.vdocuments.us/reader031/viewer/2022012306/5b8106597f8b9a2a088e3da3/html5/thumbnails/4.jpg)
Chapter 4
• Quantum circuits – Quantum circuits provide us with a language
for describing quantum algorithms ⇒ We can quantify the resources needed for a quantum algorithm in terms of gates, operations etc. It also provides a toolbox for algorithm design.
• Simulation of quantum systems
![Page 5: Errata list, Nielsen & Chuang - Atomic Physics · Errata list, Nielsen & Chuang ... Part II, Nielsen & Chuang • Quantum circuits (Ch 4) ... Quantum computation and quantum information](https://reader031.vdocuments.us/reader031/viewer/2022012306/5b8106597f8b9a2a088e3da3/html5/thumbnails/5.jpg)
Chapter 4, Quantum circuits
• 4.1 Quantum algorithms • 4.2 Single qubit operations • 4.3 Controlled operations • 4.4 Measurement • 4.5 Universal quantum gates • 4.6 Circuit model summary • 4.7 Simulation of quantum systems
![Page 6: Errata list, Nielsen & Chuang - Atomic Physics · Errata list, Nielsen & Chuang ... Part II, Nielsen & Chuang • Quantum circuits (Ch 4) ... Quantum computation and quantum information](https://reader031.vdocuments.us/reader031/viewer/2022012306/5b8106597f8b9a2a088e3da3/html5/thumbnails/6.jpg)
Chapter 4, Quantum circuits
• 4.1 Quantum algorithms • 4.2 Single qubit operations • 4.3 Controlled operations • 4.4 Measurement • 4.5 Universal quantum gates • 4.6 Circuit model summary • 4.7 Simulation of quantum systems
![Page 7: Errata list, Nielsen & Chuang - Atomic Physics · Errata list, Nielsen & Chuang ... Part II, Nielsen & Chuang • Quantum circuits (Ch 4) ... Quantum computation and quantum information](https://reader031.vdocuments.us/reader031/viewer/2022012306/5b8106597f8b9a2a088e3da3/html5/thumbnails/7.jpg)
Why are there few quantum algorithms
• Algorithm design is difficult • Quantum algorithms need to be better than
classical algorithms to be interesting • Our intuition works better for classical
algorithms, making obtaining ideas about quantum algorithms still harder
![Page 8: Errata list, Nielsen & Chuang - Atomic Physics · Errata list, Nielsen & Chuang ... Part II, Nielsen & Chuang • Quantum circuits (Ch 4) ... Quantum computation and quantum information](https://reader031.vdocuments.us/reader031/viewer/2022012306/5b8106597f8b9a2a088e3da3/html5/thumbnails/8.jpg)
Chapter 4, Quantum circuits
• 4.1 Quantum algorithms • 4.2 Single qubit operations • 4.3 Controlled operations • 4.4 Measurement • 4.5 Universal quantum gates • 4.6 Circuit model summary • 4.7 Simulation of quantum systems
![Page 9: Errata list, Nielsen & Chuang - Atomic Physics · Errata list, Nielsen & Chuang ... Part II, Nielsen & Chuang • Quantum circuits (Ch 4) ... Quantum computation and quantum information](https://reader031.vdocuments.us/reader031/viewer/2022012306/5b8106597f8b9a2a088e3da3/html5/thumbnails/9.jpg)
Chapter 4, Quantum circuits
• 4.2 Single qubit operations – We will analyse arbitrary single qubit and
controlled single qubit operations
![Page 10: Errata list, Nielsen & Chuang - Atomic Physics · Errata list, Nielsen & Chuang ... Part II, Nielsen & Chuang • Quantum circuits (Ch 4) ... Quantum computation and quantum information](https://reader031.vdocuments.us/reader031/viewer/2022012306/5b8106597f8b9a2a088e3da3/html5/thumbnails/10.jpg)
In quantum information data is represented by quantum bits (qubits) • A qubit is a quantum mechanical systems
with two states |0> and |1> that can be in any arbitrary superposition Ψ = α|0⟩+β |1⟩
of those states
![Page 11: Errata list, Nielsen & Chuang - Atomic Physics · Errata list, Nielsen & Chuang ... Part II, Nielsen & Chuang • Quantum circuits (Ch 4) ... Quantum computation and quantum information](https://reader031.vdocuments.us/reader031/viewer/2022012306/5b8106597f8b9a2a088e3da3/html5/thumbnails/11.jpg)
Qubit representation
+=Ψ 1
2sin0
2cos θθ ϕγ ii ee
![Page 12: Errata list, Nielsen & Chuang - Atomic Physics · Errata list, Nielsen & Chuang ... Part II, Nielsen & Chuang • Quantum circuits (Ch 4) ... Quantum computation and quantum information](https://reader031.vdocuments.us/reader031/viewer/2022012306/5b8106597f8b9a2a088e3da3/html5/thumbnails/12.jpg)
The Bloch sphere
+=Ψ 1
2sin0
2cos θθ ϕγ ii ee
![Page 13: Errata list, Nielsen & Chuang - Atomic Physics · Errata list, Nielsen & Chuang ... Part II, Nielsen & Chuang • Quantum circuits (Ch 4) ... Quantum computation and quantum information](https://reader031.vdocuments.us/reader031/viewer/2022012306/5b8106597f8b9a2a088e3da3/html5/thumbnails/13.jpg)
Single qubit gates
• Single qubit gates, U, are unitary
![Page 14: Errata list, Nielsen & Chuang - Atomic Physics · Errata list, Nielsen & Chuang ... Part II, Nielsen & Chuang • Quantum circuits (Ch 4) ... Quantum computation and quantum information](https://reader031.vdocuments.us/reader031/viewer/2022012306/5b8106597f8b9a2a088e3da3/html5/thumbnails/14.jpg)
1.3.1 Single qubit gates
![Page 15: Errata list, Nielsen & Chuang - Atomic Physics · Errata list, Nielsen & Chuang ... Part II, Nielsen & Chuang • Quantum circuits (Ch 4) ... Quantum computation and quantum information](https://reader031.vdocuments.us/reader031/viewer/2022012306/5b8106597f8b9a2a088e3da3/html5/thumbnails/15.jpg)
Fig 4.2, page 177
![Page 16: Errata list, Nielsen & Chuang - Atomic Physics · Errata list, Nielsen & Chuang ... Part II, Nielsen & Chuang • Quantum circuits (Ch 4) ... Quantum computation and quantum information](https://reader031.vdocuments.us/reader031/viewer/2022012306/5b8106597f8b9a2a088e3da3/html5/thumbnails/16.jpg)
Single qubit gates on Bloch sphere
• X-gate – 180° rotation around x-axis
• Y-gate – 180° rotation around y-axis
• Z-gate – 180° rotation around z-axis
![Page 17: Errata list, Nielsen & Chuang - Atomic Physics · Errata list, Nielsen & Chuang ... Part II, Nielsen & Chuang • Quantum circuits (Ch 4) ... Quantum computation and quantum information](https://reader031.vdocuments.us/reader031/viewer/2022012306/5b8106597f8b9a2a088e3da3/html5/thumbnails/17.jpg)
The Bloch sphere
+=Ψ 1
2sin0
2cos θθ ϕγ ii ee
![Page 18: Errata list, Nielsen & Chuang - Atomic Physics · Errata list, Nielsen & Chuang ... Part II, Nielsen & Chuang • Quantum circuits (Ch 4) ... Quantum computation and quantum information](https://reader031.vdocuments.us/reader031/viewer/2022012306/5b8106597f8b9a2a088e3da3/html5/thumbnails/18.jpg)
Fig 4.2, page 177
![Page 19: Errata list, Nielsen & Chuang - Atomic Physics · Errata list, Nielsen & Chuang ... Part II, Nielsen & Chuang • Quantum circuits (Ch 4) ... Quantum computation and quantum information](https://reader031.vdocuments.us/reader031/viewer/2022012306/5b8106597f8b9a2a088e3da3/html5/thumbnails/19.jpg)
Single qubit gates on Bloch sphere
• S-gate – 90° rotation around z-axis
• T-gate – 45° rotation around z-axis
• H-gate – 90° rotation around the y-axis followed by 180°
rotation around the x-axis
![Page 20: Errata list, Nielsen & Chuang - Atomic Physics · Errata list, Nielsen & Chuang ... Part II, Nielsen & Chuang • Quantum circuits (Ch 4) ... Quantum computation and quantum information](https://reader031.vdocuments.us/reader031/viewer/2022012306/5b8106597f8b9a2a088e3da3/html5/thumbnails/20.jpg)
Rotation an arbitrary angle around axes x, y and z
![Page 21: Errata list, Nielsen & Chuang - Atomic Physics · Errata list, Nielsen & Chuang ... Part II, Nielsen & Chuang • Quantum circuits (Ch 4) ... Quantum computation and quantum information](https://reader031.vdocuments.us/reader031/viewer/2022012306/5b8106597f8b9a2a088e3da3/html5/thumbnails/21.jpg)
Chapter 4, Quantum circuits
• 4.1 Quantum algorithms • 4.2 Single qubit operations • 4.3 Controlled operations • 4.4 Measurement • 4.5 Universal quantum gates • 4.6 Circuit model summary • 4.7 Simulation of quantum systems
![Page 22: Errata list, Nielsen & Chuang - Atomic Physics · Errata list, Nielsen & Chuang ... Part II, Nielsen & Chuang • Quantum circuits (Ch 4) ... Quantum computation and quantum information](https://reader031.vdocuments.us/reader031/viewer/2022012306/5b8106597f8b9a2a088e3da3/html5/thumbnails/22.jpg)
CNOT is a MODULO-2 addition of the control bit to the target bit
ctctc ⊕→
![Page 23: Errata list, Nielsen & Chuang - Atomic Physics · Errata list, Nielsen & Chuang ... Part II, Nielsen & Chuang • Quantum circuits (Ch 4) ... Quantum computation and quantum information](https://reader031.vdocuments.us/reader031/viewer/2022012306/5b8106597f8b9a2a088e3da3/html5/thumbnails/23.jpg)
Fig 4.4, control-U
tUctc c→
![Page 24: Errata list, Nielsen & Chuang - Atomic Physics · Errata list, Nielsen & Chuang ... Part II, Nielsen & Chuang • Quantum circuits (Ch 4) ... Quantum computation and quantum information](https://reader031.vdocuments.us/reader031/viewer/2022012306/5b8106597f8b9a2a088e3da3/html5/thumbnails/24.jpg)
Controlled arbitrary rotation
tUctc c→Lets start with inputs |c> = |0> and |t> = |Ψ>, what is the output?
Now we choose |c> = |1> and |t> = |Ψ>, what is the output?
![Page 25: Errata list, Nielsen & Chuang - Atomic Physics · Errata list, Nielsen & Chuang ... Part II, Nielsen & Chuang • Quantum circuits (Ch 4) ... Quantum computation and quantum information](https://reader031.vdocuments.us/reader031/viewer/2022012306/5b8106597f8b9a2a088e3da3/html5/thumbnails/25.jpg)
Controlled arbitrary rotation
![Page 26: Errata list, Nielsen & Chuang - Atomic Physics · Errata list, Nielsen & Chuang ... Part II, Nielsen & Chuang • Quantum circuits (Ch 4) ... Quantum computation and quantum information](https://reader031.vdocuments.us/reader031/viewer/2022012306/5b8106597f8b9a2a088e3da3/html5/thumbnails/26.jpg)
Arbitrary single qubit operation in terms of z and y rotations
(theorem 4.1 page 175)
![Page 27: Errata list, Nielsen & Chuang - Atomic Physics · Errata list, Nielsen & Chuang ... Part II, Nielsen & Chuang • Quantum circuits (Ch 4) ... Quantum computation and quantum information](https://reader031.vdocuments.us/reader031/viewer/2022012306/5b8106597f8b9a2a088e3da3/html5/thumbnails/27.jpg)
Preparing for logical gates Page 176
![Page 28: Errata list, Nielsen & Chuang - Atomic Physics · Errata list, Nielsen & Chuang ... Part II, Nielsen & Chuang • Quantum circuits (Ch 4) ... Quantum computation and quantum information](https://reader031.vdocuments.us/reader031/viewer/2022012306/5b8106597f8b9a2a088e3da3/html5/thumbnails/28.jpg)
Controlled arbitrary rotation
![Page 29: Errata list, Nielsen & Chuang - Atomic Physics · Errata list, Nielsen & Chuang ... Part II, Nielsen & Chuang • Quantum circuits (Ch 4) ... Quantum computation and quantum information](https://reader031.vdocuments.us/reader031/viewer/2022012306/5b8106597f8b9a2a088e3da3/html5/thumbnails/29.jpg)
Notation
• Computational basis states (page 202) – A quantum circuit operating on n qubits acts in
a 2n-dimensional complex Hilbert space. The computational basis state are product states |x1, . . .,xn> where xi=0,1.
– For example a two qubit state |x1>|x2> in the computational basis is expressed as
– |Ψ> = α|00> + β|01> + γ|10> + δ|11> • Where we have the basis states for the tensor
product of the |x1>|x2> basis states
![Page 30: Errata list, Nielsen & Chuang - Atomic Physics · Errata list, Nielsen & Chuang ... Part II, Nielsen & Chuang • Quantum circuits (Ch 4) ... Quantum computation and quantum information](https://reader031.vdocuments.us/reader031/viewer/2022012306/5b8106597f8b9a2a088e3da3/html5/thumbnails/30.jpg)
Hadamard gates, exercise 4.16
![Page 31: Errata list, Nielsen & Chuang - Atomic Physics · Errata list, Nielsen & Chuang ... Part II, Nielsen & Chuang • Quantum circuits (Ch 4) ... Quantum computation and quantum information](https://reader031.vdocuments.us/reader031/viewer/2022012306/5b8106597f8b9a2a088e3da3/html5/thumbnails/31.jpg)
Exercise 4.16, page
• Matrix for H-gate on x2
• Matrix for H-gate on x1
−
−
−−
11100100
1100110000110011
21
11100100
1010010110100101
21
![Page 32: Errata list, Nielsen & Chuang - Atomic Physics · Errata list, Nielsen & Chuang ... Part II, Nielsen & Chuang • Quantum circuits (Ch 4) ... Quantum computation and quantum information](https://reader031.vdocuments.us/reader031/viewer/2022012306/5b8106597f8b9a2a088e3da3/html5/thumbnails/32.jpg)
H-gate is unitary
• Matrix multiplication H†H=I
=
−−
−−
1000010000100001
1010010110100101
21
1010010110100101
21
![Page 33: Errata list, Nielsen & Chuang - Atomic Physics · Errata list, Nielsen & Chuang ... Part II, Nielsen & Chuang • Quantum circuits (Ch 4) ... Quantum computation and quantum information](https://reader031.vdocuments.us/reader031/viewer/2022012306/5b8106597f8b9a2a088e3da3/html5/thumbnails/33.jpg)
Exercise 4.20
![Page 34: Errata list, Nielsen & Chuang - Atomic Physics · Errata list, Nielsen & Chuang ... Part II, Nielsen & Chuang • Quantum circuits (Ch 4) ... Quantum computation and quantum information](https://reader031.vdocuments.us/reader031/viewer/2022012306/5b8106597f8b9a2a088e3da3/html5/thumbnails/34.jpg)
Multiplying the Hadamard gates
• We can just extend exercise 4.16 by multiplying the two Hadamard gates
−−−−−−
=
−
−
−−
111111111111
1111
21
1100110000110011
21
1010010110100101
21
![Page 35: Errata list, Nielsen & Chuang - Atomic Physics · Errata list, Nielsen & Chuang ... Part II, Nielsen & Chuang • Quantum circuits (Ch 4) ... Quantum computation and quantum information](https://reader031.vdocuments.us/reader031/viewer/2022012306/5b8106597f8b9a2a088e3da3/html5/thumbnails/35.jpg)
Exercise 4.20
• Multiplying Hadamard and CNOT gates give
• Answer: a CNOT gate where the first bit is the control bit
=
=
−−−−−−
−−−−−−
0010010010000001
111111111111
1111
21
0100100000100001
111111111111
1111
21
What operation is this matrix carrying out?
![Page 36: Errata list, Nielsen & Chuang - Atomic Physics · Errata list, Nielsen & Chuang ... Part II, Nielsen & Chuang • Quantum circuits (Ch 4) ... Quantum computation and quantum information](https://reader031.vdocuments.us/reader031/viewer/2022012306/5b8106597f8b9a2a088e3da3/html5/thumbnails/36.jpg)
Two control bits
![Page 37: Errata list, Nielsen & Chuang - Atomic Physics · Errata list, Nielsen & Chuang ... Part II, Nielsen & Chuang • Quantum circuits (Ch 4) ... Quantum computation and quantum information](https://reader031.vdocuments.us/reader031/viewer/2022012306/5b8106597f8b9a2a088e3da3/html5/thumbnails/37.jpg)
Many control bits
![Page 38: Errata list, Nielsen & Chuang - Atomic Physics · Errata list, Nielsen & Chuang ... Part II, Nielsen & Chuang • Quantum circuits (Ch 4) ... Quantum computation and quantum information](https://reader031.vdocuments.us/reader031/viewer/2022012306/5b8106597f8b9a2a088e3da3/html5/thumbnails/38.jpg)
Chapter 4, Quantum circuits
• 4.1 Quantum algorithms • 4.2 Single qubit operations • 4.3 Controlled operations • 4.4 Measurement • 4.5 Universal quantum gates • 4.6 Circuit model summary • 4.7 Simulation of quantum systems
![Page 39: Errata list, Nielsen & Chuang - Atomic Physics · Errata list, Nielsen & Chuang ... Part II, Nielsen & Chuang • Quantum circuits (Ch 4) ... Quantum computation and quantum information](https://reader031.vdocuments.us/reader031/viewer/2022012306/5b8106597f8b9a2a088e3da3/html5/thumbnails/39.jpg)
Quantum teleportation
Measurements followed by classically controlled operations can always be replaced by conditional quantum operations
Principle of deferred measurement
No classical operation is needed from Bobs side. Is Alice not transmitting
information faster than the speed of light?
![Page 40: Errata list, Nielsen & Chuang - Atomic Physics · Errata list, Nielsen & Chuang ... Part II, Nielsen & Chuang • Quantum circuits (Ch 4) ... Quantum computation and quantum information](https://reader031.vdocuments.us/reader031/viewer/2022012306/5b8106597f8b9a2a088e3da3/html5/thumbnails/40.jpg)
Chapter 4, Quantum circuits
• 4.1 Quantum algorithms • 4.2 Single qubit operations • 4.3 Controlled operations • 4.4 Measurement • 4.5 Universal quantum gates • 4.6 Circuit model summary • 4.7 Simulation of quantum systems
![Page 41: Errata list, Nielsen & Chuang - Atomic Physics · Errata list, Nielsen & Chuang ... Part II, Nielsen & Chuang • Quantum circuits (Ch 4) ... Quantum computation and quantum information](https://reader031.vdocuments.us/reader031/viewer/2022012306/5b8106597f8b9a2a088e3da3/html5/thumbnails/41.jpg)
Universal quantum gates (4.5)
– A set of gates is universal if any unitary operation can be approximated to arbitrary accuracy by quantum circuits only involving these gates
![Page 42: Errata list, Nielsen & Chuang - Atomic Physics · Errata list, Nielsen & Chuang ... Part II, Nielsen & Chuang • Quantum circuits (Ch 4) ... Quantum computation and quantum information](https://reader031.vdocuments.us/reader031/viewer/2022012306/5b8106597f8b9a2a088e3da3/html5/thumbnails/42.jpg)
CNOT, Hadamard and T-gates form a universal set
• 1. An arbitrary unitary operator can be expressed as a product of unitary operators acting on two computational basis states ( subsection 4.5.1).
• 2. An arbitrary unitary operator acting on two computational basis states can be expressed as a product of single qubit operations and CNOT gates. (page 192-193) (subsection 4.5.2, exercise 4.39)
![Page 43: Errata list, Nielsen & Chuang - Atomic Physics · Errata list, Nielsen & Chuang ... Part II, Nielsen & Chuang • Quantum circuits (Ch 4) ... Quantum computation and quantum information](https://reader031.vdocuments.us/reader031/viewer/2022012306/5b8106597f8b9a2a088e3da3/html5/thumbnails/43.jpg)
Exercise 4.93, Page 193
![Page 44: Errata list, Nielsen & Chuang - Atomic Physics · Errata list, Nielsen & Chuang ... Part II, Nielsen & Chuang • Quantum circuits (Ch 4) ... Quantum computation and quantum information](https://reader031.vdocuments.us/reader031/viewer/2022012306/5b8106597f8b9a2a088e3da3/html5/thumbnails/44.jpg)
CNOT, Hadamard and T-gates form a universal set
• 1. An arbitrary unitary operator can be expressed as a product of unitary operators acting on two computational basis states ( subsection 4.5.1).
• 2. An arbitrary unitary operator acting on two computational basis states can be expressed as a product of single qubit operations and CNOT gates. (page 192-193) (subsection 4.5.2, exercise 4.39)
• 3. Single qubit operations may be approximated to arbitrary accuracy using Hadamard and T gates (subsection 4.5.3)
![Page 45: Errata list, Nielsen & Chuang - Atomic Physics · Errata list, Nielsen & Chuang ... Part II, Nielsen & Chuang • Quantum circuits (Ch 4) ... Quantum computation and quantum information](https://reader031.vdocuments.us/reader031/viewer/2022012306/5b8106597f8b9a2a088e3da3/html5/thumbnails/45.jpg)
Single qubit operations may be approximated to arbitrary accuracy using H- and T-gates
(subsection 4.5.3) • From the corrected version of Eq. 4.13 page 176 we
see that (exercise 4.11): • If m and n are non parallel vectors in three
dimensions any arbitrary single qubit unitary operation, U may be written as
• It is shown on page 196 that rotations of arbitrary angles can be carried out around two different axes using combinations of H- and T-gates
)...()()()( 2211 γβγβαmnmn RRRReU i=
![Page 46: Errata list, Nielsen & Chuang - Atomic Physics · Errata list, Nielsen & Chuang ... Part II, Nielsen & Chuang • Quantum circuits (Ch 4) ... Quantum computation and quantum information](https://reader031.vdocuments.us/reader031/viewer/2022012306/5b8106597f8b9a2a088e3da3/html5/thumbnails/46.jpg)
Approximating arbitrary unitary gates (4.5.3 & 4.5.4)
• In order to approximate a quantum circuit consisting of m CNOT and single qubit gates with an accuracy ε, only about O[m*log(m/ε)] gate operations are required (Solovay-Kitaev theorem).
• This does not sound too bad! • The problem is that of the order 22n gates are
required to implement an arbitrary n-qubit unitary operation (see page 191-193), thus this is a computationally hard problem.
![Page 47: Errata list, Nielsen & Chuang - Atomic Physics · Errata list, Nielsen & Chuang ... Part II, Nielsen & Chuang • Quantum circuits (Ch 4) ... Quantum computation and quantum information](https://reader031.vdocuments.us/reader031/viewer/2022012306/5b8106597f8b9a2a088e3da3/html5/thumbnails/47.jpg)
PSPACE
Quantum Computational Complexity 4.5.5. Relation to classical complexity classes
BQP
BPP
P
• BPP is thought to be subset of BQP, enabling QC to solve some problems more efficient than classical computers
• BQP is a subset of PSPACE a) Any problem consuming
polynomial time can consume a maximal polynomial amount of space
b) A problem inefficiently solvable regarding time might still be solved efficiently regarding space (usage of the same set of gates)
![Page 48: Errata list, Nielsen & Chuang - Atomic Physics · Errata list, Nielsen & Chuang ... Part II, Nielsen & Chuang • Quantum circuits (Ch 4) ... Quantum computation and quantum information](https://reader031.vdocuments.us/reader031/viewer/2022012306/5b8106597f8b9a2a088e3da3/html5/thumbnails/48.jpg)
Complexity classes
![Page 49: Errata list, Nielsen & Chuang - Atomic Physics · Errata list, Nielsen & Chuang ... Part II, Nielsen & Chuang • Quantum circuits (Ch 4) ... Quantum computation and quantum information](https://reader031.vdocuments.us/reader031/viewer/2022012306/5b8106597f8b9a2a088e3da3/html5/thumbnails/49.jpg)
The power of quantum computation • NP complete problems are a subgroup of NP • If any NP-complete problem has a polynomial time
solution then P=NP • Factoring is not known to be NP-complete • Quantum computers are known to solve all problems in P
efficiently but cannot solve problems outside PSPACE efficiently
• If quantum computers are proved to be more efficient than classical computers P=/=PSPACE
• Quantum computers are (supposedly) experimentally realizable, thus this is not just a mathematical curiosity but also tells us something about how the limits and power of computation in general
![Page 50: Errata list, Nielsen & Chuang - Atomic Physics · Errata list, Nielsen & Chuang ... Part II, Nielsen & Chuang • Quantum circuits (Ch 4) ... Quantum computation and quantum information](https://reader031.vdocuments.us/reader031/viewer/2022012306/5b8106597f8b9a2a088e3da3/html5/thumbnails/50.jpg)
Quantum computing changes the landscape of computer science
• QC algorithms do not violate the Church-Turing thesis: – any algorithmic process can be simulated using
a Turing machine • QC algorithms challenge the strong version
of the Church-Turing thesis – If an algorithm can be performed at any class of
hardware, then there is an equivalent efficient algorithm for a Turing machine
![Page 51: Errata list, Nielsen & Chuang - Atomic Physics · Errata list, Nielsen & Chuang ... Part II, Nielsen & Chuang • Quantum circuits (Ch 4) ... Quantum computation and quantum information](https://reader031.vdocuments.us/reader031/viewer/2022012306/5b8106597f8b9a2a088e3da3/html5/thumbnails/51.jpg)
Chapter 4, Quantum circuits
• 4.1 Quantum algorithms • 4.2 Single qubit operations • 4.3 Controlled operations • 4.4 Measurement • 4.5 Universal quantum gates • 4.6 Circuit model summary • 4.7 Simulation of quantum systems
![Page 52: Errata list, Nielsen & Chuang - Atomic Physics · Errata list, Nielsen & Chuang ... Part II, Nielsen & Chuang • Quantum circuits (Ch 4) ... Quantum computation and quantum information](https://reader031.vdocuments.us/reader031/viewer/2022012306/5b8106597f8b9a2a088e3da3/html5/thumbnails/52.jpg)
The quantum circuit model of computation
• Properties: – Quantum computer may be a hybrid of quantum and
classical resources to maximize efficiency – A quantum circuit operates on n qubits spanning a 2n
dimensional state space. The product states of the form |x1,x2,..,xn> ;xi={0,1} are the computational basis states
• Basic steps: – Preparation – Computation – Measurement
![Page 53: Errata list, Nielsen & Chuang - Atomic Physics · Errata list, Nielsen & Chuang ... Part II, Nielsen & Chuang • Quantum circuits (Ch 4) ... Quantum computation and quantum information](https://reader031.vdocuments.us/reader031/viewer/2022012306/5b8106597f8b9a2a088e3da3/html5/thumbnails/53.jpg)
The quantum circuit model of computation
• Maybe it would be better that the computational basis states are entangled
• Maybe the measurements should not be carried out in the computational basis
• It is not known whether the quantum circuit model constitute an optimum quantum computer language
![Page 54: Errata list, Nielsen & Chuang - Atomic Physics · Errata list, Nielsen & Chuang ... Part II, Nielsen & Chuang • Quantum circuits (Ch 4) ... Quantum computation and quantum information](https://reader031.vdocuments.us/reader031/viewer/2022012306/5b8106597f8b9a2a088e3da3/html5/thumbnails/54.jpg)
Chapter 4, Quantum circuits
• 4.1 Quantum algorithms • 4.2 Single qubit operations • 4.3 Controlled operations • 4.4 Measurement • 4.5 Universal quantum gates • 4.6 Circuit model summary • 4.7 Simulation of quantum systems
![Page 55: Errata list, Nielsen & Chuang - Atomic Physics · Errata list, Nielsen & Chuang ... Part II, Nielsen & Chuang • Quantum circuits (Ch 4) ... Quantum computation and quantum information](https://reader031.vdocuments.us/reader031/viewer/2022012306/5b8106597f8b9a2a088e3da3/html5/thumbnails/55.jpg)
Quantum simulation
• Feynman 1982 • Chemistry (large molecules, reactions) • Biology (even larger molecules) • Simulation of the properties of new synthesized
molecules
![Page 56: Errata list, Nielsen & Chuang - Atomic Physics · Errata list, Nielsen & Chuang ... Part II, Nielsen & Chuang • Quantum circuits (Ch 4) ... Quantum computation and quantum information](https://reader031.vdocuments.us/reader031/viewer/2022012306/5b8106597f8b9a2a088e3da3/html5/thumbnails/56.jpg)
Simulation of quantum systems
• With n qubits there are 2n different differential equations that must be solved
• The equation above has the formal solution
Ψ=Ψ Hdtdi
)0()( Ψ=Ψ− Hti
et
![Page 57: Errata list, Nielsen & Chuang - Atomic Physics · Errata list, Nielsen & Chuang ... Part II, Nielsen & Chuang • Quantum circuits (Ch 4) ... Quantum computation and quantum information](https://reader031.vdocuments.us/reader031/viewer/2022012306/5b8106597f8b9a2a088e3da3/html5/thumbnails/57.jpg)
Simulation of quantum systems •While quantum computers are hoped to solve general calculations efficiently, another field in which they are hoped to succeed is the simulation of specific physical systems described by a Hamiltonian. •However the physical system must be approximated efficiently, to do so:
|ψ(t)> Exp[-iHt]
|ψ’(t)> U |ψ’(0)>
|ψ(0)>
![Page 58: Errata list, Nielsen & Chuang - Atomic Physics · Errata list, Nielsen & Chuang ... Part II, Nielsen & Chuang • Quantum circuits (Ch 4) ... Quantum computation and quantum information](https://reader031.vdocuments.us/reader031/viewer/2022012306/5b8106597f8b9a2a088e3da3/html5/thumbnails/58.jpg)
Simulation of quantum systems •While quantum computers are hoped to solve general calculations efficiently, another field in which they are hoped to succeed is the simulation of specific physical systems described by a Hamiltonian. •However the physical system must be approximated efficiently, to do so:
|ψ’(0)>
|ψ(0)> Approximating the state The continuous function is discretised to arbitrary precision using a finite set of basis vectors The set of basis vectors must be chosen such that for any given time, the approximated state has to be equal to the original state within a given error tolerance
k kk
c(x) (x)dx ' cΨ = ϕ → Ψ = ϕ∑∫
![Page 59: Errata list, Nielsen & Chuang - Atomic Physics · Errata list, Nielsen & Chuang ... Part II, Nielsen & Chuang • Quantum circuits (Ch 4) ... Quantum computation and quantum information](https://reader031.vdocuments.us/reader031/viewer/2022012306/5b8106597f8b9a2a088e3da3/html5/thumbnails/59.jpg)
Simulation of quantum systems •While quantum computers are hoped to solve general calculations efficiently, another field in which they are hoped to succeed is the simulation of specific physical systems described by a Hamiltonian. •However the physical system must be approximated efficiently, to do so:
Exp[-iHt]
U
Approximating the Operator Discretizing of the differential equations begins with choosing an appropriate ∆t. It has to fulfill the demands set by the maximum error. The approximation of the differential operator is a three step process. First, if possible separate H into a set of Hamiltonians, Hi, which act on a maximal constant number of particles. (next neighbor interaction, etc). Secondly, write the effect of H on the system as time evolves as a product of the effect of the individual Hi. Thirdly, the effect of Hi is written in terms of a quantum circuit.
![Page 60: Errata list, Nielsen & Chuang - Atomic Physics · Errata list, Nielsen & Chuang ... Part II, Nielsen & Chuang • Quantum circuits (Ch 4) ... Quantum computation and quantum information](https://reader031.vdocuments.us/reader031/viewer/2022012306/5b8106597f8b9a2a088e3da3/html5/thumbnails/60.jpg)
Simulation of quantum systems Approximating the Operator The evolution operator is of the form If possible H is broken down into a sum of local interactions If the sub Hamiltonians do not commute it follows that We now introduce the Trotter formula
kk
H H= ∑
Exp[ iHt]−
1 2 1 2Exp[ i(H H ...)t] Exp[ iH t]Exp[ iH t]...− + + ≠ − −
[ ] [ ]{ }n
nniBtExpniAtExptBAiExp //lim])([
∞→=+
![Page 61: Errata list, Nielsen & Chuang - Atomic Physics · Errata list, Nielsen & Chuang ... Part II, Nielsen & Chuang • Quantum circuits (Ch 4) ... Quantum computation and quantum information](https://reader031.vdocuments.us/reader031/viewer/2022012306/5b8106597f8b9a2a088e3da3/html5/thumbnails/61.jpg)
(Trotter formula) By varying n we can obtain a product representation of the evolution operator within any given error Now that H is broken down into a product of local Hamiltonians which may be written on a quantum circuit form (Exercise 4.51). The product of the circuit corresponds to a unitary operator U.
[ ] [ ]{ }n
nniBtExpniAtExptBAiExp //lim])([
∞→=+
[ ] [ ] [ ] )()( 22121 tOtiHExptiHExptHHiExp ∆+∆∆=∆+
[ ] [ ] [ ]tiHExptiHExptiHExpU n∆∆∆= ...21
tjttUt
tUtt
fj
f ∆=Ψ=Ψ
Ψ=∆+Ψ
;)()(
)()(
0
Simulation of quantum systems Approximating the Operator
![Page 62: Errata list, Nielsen & Chuang - Atomic Physics · Errata list, Nielsen & Chuang ... Part II, Nielsen & Chuang • Quantum circuits (Ch 4) ... Quantum computation and quantum information](https://reader031.vdocuments.us/reader031/viewer/2022012306/5b8106597f8b9a2a088e3da3/html5/thumbnails/62.jpg)
Exercise 4.51, page 210
![Page 63: Errata list, Nielsen & Chuang - Atomic Physics · Errata list, Nielsen & Chuang ... Part II, Nielsen & Chuang • Quantum circuits (Ch 4) ... Quantum computation and quantum information](https://reader031.vdocuments.us/reader031/viewer/2022012306/5b8106597f8b9a2a088e3da3/html5/thumbnails/63.jpg)
Chapter 4, Quantum circuits
• 4.1 Quantum algorithms • 4.2 Single qubit operations • 4.3 Controlled operations • 4.4 Measurement
![Page 64: Errata list, Nielsen & Chuang - Atomic Physics · Errata list, Nielsen & Chuang ... Part II, Nielsen & Chuang • Quantum circuits (Ch 4) ... Quantum computation and quantum information](https://reader031.vdocuments.us/reader031/viewer/2022012306/5b8106597f8b9a2a088e3da3/html5/thumbnails/64.jpg)
Chapter 4, Quantum circuits
• 4.5 Universal quantum gates – Single qubit and CNOT gates are universal – A discrete set of universal operators – Approximating arbitrary unitary gates is hard – Quantum computational complexity
• 4.6 Circuit model summary • 4.7 Simulation of quantum systems
![Page 65: Errata list, Nielsen & Chuang - Atomic Physics · Errata list, Nielsen & Chuang ... Part II, Nielsen & Chuang • Quantum circuits (Ch 4) ... Quantum computation and quantum information](https://reader031.vdocuments.us/reader031/viewer/2022012306/5b8106597f8b9a2a088e3da3/html5/thumbnails/65.jpg)
Chapter 4
End
![Page 66: Errata list, Nielsen & Chuang - Atomic Physics · Errata list, Nielsen & Chuang ... Part II, Nielsen & Chuang • Quantum circuits (Ch 4) ... Quantum computation and quantum information](https://reader031.vdocuments.us/reader031/viewer/2022012306/5b8106597f8b9a2a088e3da3/html5/thumbnails/66.jpg)
Projects • 1 Quantum simulators, Peter • 2 Free space communication, Stefan • 3 Quantum computation with spins in quantum dots, Peter • 4 Bell inequality: quantum non-locality vs local realism, Peter • 5 Entanglement: concept, measures and open problems, Peter • 6 Quantum computing in rare earth ion doped crystals, Stefan • 7 Quantum repeaters, Stefan • 8 Quantum memories, Stefan • 9 Quantum computation with superconducting qubits, Peter • 10 Majorana qubits & topological quantum computation, Martin • 11 Beam up my quantum state, Scotty!, Peter