Quantum Information & Quantum Computing

Similar documents
Quantum Information & Quantum Computing

17. Oktober QSIT-Course ETH Zürich. Universality of Quantum Gates. Markus Schmassmann. Basics and Definitions.

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

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).

Ph 219b/CS 219b. Exercises Due: Wednesday 20 November 2013

Unitary Dynamics and Quantum Circuits

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

b) (5 points) Give a simple quantum circuit that transforms the state

The Classification of Clifford Gates over Qubits

Ph 219b/CS 219b. Exercises Due: Wednesday 21 November 2018 H = 1 ( ) 1 1. in quantum circuit notation, we denote the Hadamard gate as

arxiv:quant-ph/ v1 16 Jul 2003

The Bloch Sphere. Ian Glendinning. February 16, QIA Meeting, TechGate 1 Ian Glendinning / February 16, 2005

Optimal Realizations of Controlled Unitary Gates

Quantum information and quantum computing

Principles of Quantum Mechanics Pt. 2

Quantum gate. Contents. Commonly used gates

Physics ; CS 4812 Problem Set 4

Complex numbers: a quick review. Chapter 10. Quantum algorithms. Definition: where i = 1. Polar form of z = a + b i is z = re iθ, where

Chapter 10. Quantum algorithms

QUANTUM COMPUTATION. Exercise sheet 1. Ashley Montanaro, University of Bristol H Z U = 1 2

Single qubit + CNOT gates

Introduction to Quantum Computing

Lecture 3: Hilbert spaces, tensor products

Quantum Computation. Nicholas T. Ouellette. March 18, 2002

ON THE ROLE OF THE BASIS OF MEASUREMENT IN QUANTUM GATE TELEPORTATION. F. V. Mendes, R. V. Ramos

4. QUANTUM COMPUTING. Jozef Gruska Faculty of Informatics Brno Czech Republic. October 20, 2011

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

Problem Set # 6 Solutions

Introduction to Quantum Computing

Homework 1/Solutions. Graded Exercises

C/CS/Phys C191 Quantum Gates, Universality and Solovay-Kitaev 9/25/07 Fall 2007 Lecture 9

Lecture Notes on QUANTUM COMPUTING STEFANO OLIVARES. Dipartimento di Fisica - Università degli Studi di Milano. Ver. 2.0

The Framework of Quantum Mechanics

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

Quantum computing! quantum gates! Fisica dell Energia!

Lecture 4: Postulates of quantum mechanics

Quantum Geometric Algebra

Linear Algebra and Dirac Notation, Pt. 3

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

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

Lecture 2: Introduction to Quantum Mechanics

Lie algebraic aspects of quantum control in interacting spin-1/2 (qubit) chains

CS/Ph120 Homework 1 Solutions

Demonstration of the Coupled Evolution Rules 163 APPENDIX F: DEMONSTRATION OF THE COUPLED EVOLUTION RULES

Topological quantum computation with anyons

CS286.2 Lecture 8: A variant of QPCP for multiplayer entangled games

Ph 219b/CS 219b. Exercises Due: Wednesday 4 December 2013

Projects about Quantum adder circuits Final examination June 2018 Quirk Simulator

Lecture 2: From Classical to Quantum Model of Computation

Bounds on Quantum codes

Ph 219b/CS 219b. Exercises Due: Wednesday 22 February 2006

Gates for Adiabatic Quantum Computing

Lecture 3: Constructing a Quantum Model

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

CHAPTER 2 AN ALGORITHM FOR OPTIMIZATION OF QUANTUM COST. 2.1 Introduction

PHYS 705: Classical Mechanics. Rigid Body Motion Introduction + Math Review

Quantum Nonlocality Pt. 4: More on the CHSH Inequality

Circuits for Shor Factorization

Introduction to Quantum Information Processing

Compute the Fourier transform on the first register to get x {0,1} n x 0.

Short introduction to Quantum Computing

Algebraic Expressions

Lecture 11 September 30, 2015

Quantum Information Types

Automatic Parallelisation of Quantum Circuits Using the Measurement Based Quantum Computing Model

ELEMENTARY LINEAR ALGEBRA

CHAPTER 12 Boolean Algebra

Translating between the roots of the identity in quantum computers

Algebraic Expressions and Identities

Ancilla-driven universal quantum computing

The Problem of Constructing Efficient Universal Sets of Quantum Gates

1 Quantum Circuits. CS Quantum Complexity theory 1/31/07 Spring 2007 Lecture Class P - Polynomial Time

LINEAR ALGEBRA BOOT CAMP WEEK 4: THE SPECTRAL THEOREM

The Principles of Quantum Mechanics: Pt. 1

Introduction to Quantum Algorithms Part I: Quantum Gates and Simon s Algorithm

Vectors. September 2, 2015

X row 1 X row 2, X row 2 X row 3, Z col 1 Z col 2, Z col 2 Z col 3,

Lecture Notes on Quantum Information and Computation

Quantum Information & Quantum Computation

Quantum Algorithms. Andreas Klappenecker Texas A&M University. Lecture notes of a course given in Spring Preliminary draft.

Constructive quantum scaling of unitary matrices

2.3. VECTOR SPACES 25

LECTURE NOTES ON QUANTUM COMPUTATION. Cornell University, Physics , CS 483; Spring, 2005 c 2006, N. David Mermin

Quantum Computing: Foundations to Frontier Fall Lecture 3

UNM Physics 452/581: Introduction to Quantum Information, Problem Set 3, Fall 2007

Many Body Quantum Mechanics

Quantum Computing Lecture 2. Review of Linear Algebra

arxiv: v3 [quant-ph] 2 Apr 2013

Introduction to Group Theory

Linear Algebra Homework and Study Guide

Lecture 7: Quantum Fourier Transform over Z N

MATH 221: SOLUTIONS TO SELECTED HOMEWORK PROBLEMS

The Solovay-Kitaev theorem

An Introduction to Cartan s KAK Decomposition for QC Programmers

QPEL Quantum Program and Effect Language

Chapter-2 BOOLEAN ALGEBRA

Math 1060 Linear Algebra Homework Exercises 1 1. Find the complete solutions (if any!) to each of the following systems of simultaneous equations:

Homework 2. Solutions T =

Properties of Linear Transformations from R n to R m

Mathematical Review for AC Circuits: Complex Number

Transcription:

Math 478, Phys 478, CS4803, September 18, 007 1 Georgia Tech Math, Physics & Computing Math 478, Phys 478, CS4803 Quantum Information & Quantum Computing Homework # Due September 18, 007 1. Read carefully Nielsen-Chang, Section 4. & 4.3.. Treat as many exercises in Section 4.3 as possible. 3. Turn in exercises (to be graded) # 4., 4.4, 4.5, 4.7, 4.8, 4.9, 4.13, 4.17, 4.18, 4.1, 4.3, 4.4, 4.5, 4.35. Exercises : 4.- Let x R and A be a matrix such that A = 1 then show that e ıxa = cos xi +ı sin xa. By definition e ıxa = = = (ıxa) n n=0 n=0 n=0 n! (ıxa) n (n)! ( 1) n x n (n)! = cos x I + ı sin x A (ıxa) n+1 + (n + 1)! n=0 I + ı n=0 ( 1) n x n+1 (n + 1)! A 4.4- Express the Hadamard gate as a product of R x and R y rotation and a phase. By definition the matrix of the Hadamard gate in the computer basis is given by H = 1 [ ] 1 1 = X + Z. 1 1 Thanks to (4.), e ıπx/4 = (I + ıx)/ and e ıπz/4 = (I + ız)/ are the R x, R z rotations of angle π/4. Hence (I + ıx) (I + ız) (I + ıx) 1 = (I + ı(x + Z) XZ) (I + ıx) 1 = (I + ı(x + Z) XZ + ıx I ZX ıxzx) = ı (X + Z) = ı H

Math 478, Phys 478, CS4803, September 18, 007 where XZ + ZX = 0 XZX = Z have been used. Thus H = e ıπ/ e ıπx/4 e ıπz/4 e ıπx/4. Here ˆn = (n x, n y, n z ) R 3 is a vector of length one. Thus (ˆn σ) = (n x X + n y Y + n z Z) = (n x + n y + n z) I + n x n y (XY + Y X) + n y n z (Y Z + ZY ) + n z n x (ZX + XZ) = I since XY + Y X = 0 = Y Z + ZY = ZX + XZ. 4.7- Show that XY X = Y and use it to prove that XR y (θ)x = R y ( θ). [ ] [ ] 0 1 0 ı By definition X = and Y =. Therefore a direct calculation gives 1 0 ı 0 [ ] [ ] ı 0 ı 0 XY =, Y X = = XY. 0 ı 0 ı Hence XY X = Y X = Y. Moreover, thanks to (4.), R y (θ) = cos θ I + ı sin θ Y so that indeed XR y (θ)x = cos θ X + ı sin θ XY X = cos θ I ı sin θ Y = R y ( θ). 4.8- An arbitrary single qubit unitary operator can be written in the form for some real numbers α, θ and a tridimensional unit vector ˆn. 1. Prove this fact. U = e ıα Rˆn (θ) (1). Find values for α, θ and ˆn giving the Hadamard gate H. [ 1 0 3. Find values for α, θ and ˆn giving the phase gate S = 0 ı If eq. (1) holds, since H = (X + Z)/, it follows that choosing α = π/, θ = π/ and ˆn = (1, 0, 1)/ gives { ( )} X + Z (X + Z) ı cos π/ + ı sin π/ = = H. In much the same way S is obtained in choosing α = π/4, θ = π/4 and ˆn = (0, 0, 1) giving S = e ıπ/4 e ıπz/4. Let now U be a unitary matrix and it will be shown that (1) holds. First, det U is a pure phase. For indeed det U = det Udet U = det U det U = det UU = 1. Therefore there is α R such that det U = e ıα. Hence U = e ıα W with W unitary and det W = 1. ].

Math 478, Phys 478, CS4803, September 18, 007 3 Since W is unitary, it is normal and thus can be diagonalized in an orthonormal basis with eigenvalues λ ±. Unitarity implies that both eigenvalues are pure phases. Since det W = λ + λ = 1 there is a real number θ such that λ ± = e ±ıθ. As a consequence tr W = cos θ. As any matrix, W can be decomposed in a unique way in the Pauli basis namely W = w 0 I + w x X + w y Y + w z Z, w i C. Clearly tr W = w 0 so that w 0 = cos θ. Moreover writing w i as u i + ıv i with u i, v i R (for i = x, y, z), this gives, with u = (u x, u y, u z ) and v = (v x, v y, v z ), W = cos θ I + u σ + ı v σ, W = cos θ I + u σ ı v σ. By unitarity, it follows that giving I = W W = (cos θ + u + v ) I + ( cos θ u + u v) σ, cos θ + u + v = 1, cos θ u = u v. From the second equation, it follows that cos θ u = 0 so that either cos θ = 0 or u = 0. If u 0, then u and v are colinear, and thanks to the l.h.s, u + v = 1 so that there is φ R and a unit vector ˆn such that u + ı v = e ıφˆn. Then, since det ˆn σ = 1 it implies that φ = π and eq. (1) holds with θ = π/. If u = 0, then v = sin θ so that there is a unit vector ˆn such that and eq. (1) also holds. W = cos θ I + ı sin θ ˆn σ = Rˆn (θ). 4.9- Explain why a single qubit unitary operator can be written as U = [ e ı(α β/ δ/) cos γ/ e ı(α β/+δ/) sin γ/ e ı(α+β/ δ/) sin γ/ e ı(α+β/+δ/) cos γ/ Any unitary matrix can be written as [ ] a b U = c d where the two columns makes an orthonormal basis, namely ] () a + c = 1, b + d = 1, ab + cd = 0. (3) If c = 0 (resp. b = 0) this implies b = 0 (resp. c = 0) and both a, d are pure phases, so that it is always possible to find (non unique) real numbers α, β, δ such that a = e ı(α β/ δ/) and d = e ı(α+β/+δ/) and eq. () holds. Similarly if a = 0 (resp. d = 0) then d = 0 (resp. a = 0) and it is always possible to find (non unique) real numbers α, β, δ such that b = e ı(α β/+δ/) and c = e ı(α+β/ δ/) so that eq. () holds again. Therefore it is possible to assume that none of the cœfficients a, b, c, d vanish. In particular, there are real numbers 0 < γ, γ < π such that a = cos γ/, c = sin γ/, d = cos γ /

Math 478, Phys 478, CS4803, September 18, 007 4 and b = sin γ /. In addition, since ab = cd, it follows that 0 = a b c d = sin (γ γ)/ and therefore γ = γ since both belong to (0, π). Thus, there are real numbers θ a, θ b, θ c, θ d such that a = cos γ/ e ıθa c = sin γ/ e ıθc b = sin γ/ e ıθ b d = cos γ/ e ıθ d From eq. (3), it follows that θ c θ d = θ a θ b or equivalently, there is a real number α such that θ a + θ d = θ c + θ b = α. Therefore it is possible to find real numbers φ and φ such that θ a = α φ θ b = α φ θ c = α + φ θ d = α + φ Setting φ + φ = β and φ φ = δ gives eq. (). 4.13- (Circuit identities)it is useful to be able to simplify circuits by inspection, using well-known identities. Prove the following three identities HXH = Z, HY H = Y, HZH = X. (4) By definition, XZ = ZX, X = I = Z and ZX = ıy. Moreover the Hadamard operator can be written as H = (X + Z)/. These definitions leads to In addition H = H, H = X + XZ + ZX + Z = I. HXH = X3 + X Z + ZX + ZXZ = X + Z X Consequently, multiplying to the right and to the left by H gives HZH = X, since H = I. At last, Y = ızx = ıxz so that HY H = ıhxhhzh = ızx = Y. 4.17- (Building cnot from the controlled-z gate) Construct a cnot gate from one controlled-z gate, that is, the gate whose action on the computational basis is specified by the unitary matrix 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 = Z (5) and the two Hadamard gates, specifying the control and the target qubits.

Math 478, Phys 478, CS4803, September 18, 007 5 Fig. 1 How to construct cnot from the controlled-z gate The controlled-z gate can be described algebraically as C 1 (Z) x, y = x Z x y. It is easy to check that its matrix is given by eq. (5) in the computational basis. Since X = HZH (see eq. (4)), cnot x, y = x X x y = x (HZH) x y = x HZ x H y = I H C 1 (Z) I H x, y giving the result described in Figure 1. 4.18- Show that Fig. By construction C 1 (Z) x, y = x Z x y = x ( 1) xy y = ( 1) xy x, y = Z y x y which is exactly what Figure expresses. 4.1- Verify that Figure 3 implements the C (U) operation As can be seen from Figure 3, there are five gates in the circuit of the r.h.s. Therefore the quantum states describing the computer can be labeled by ψ 0,, ψ 5 if ψ 0 denotes the input, while ψ s denotes the state after the s-th gate. So that ψ 5 is the output. If the input is given by ψ 0 = x, y, z then ψ 1 = x y V y z ψ = x y + x V y z ψ 3 = x y + x (V ) x+y V y z ψ 4 = x y + x (V ) x+y V y z = x y (V ) x+y V y z ψ 5 = x y V x (V ) x+y V y z In the last expression, giving the output, x + y has to be understood modulo. Namely ψ out = x, y V x (V ) x+y V y z. So that if (x, y) (1, 1) then the one-qubit operation

Math 478, Phys 478, CS4803, September 18, 007 6 Fig. 3 Circuit for the C (U) gate. V is any unitary satisfying V = U. The special case V = (1 ı)(i + ıx)/ corresponds to the Toffoli gate V x (V ) x+y V y is always the indentity I, since V = V 1. However, if x = y = 1 then x + y = 0, mod and V x (V ) x+y V y = V = U. Thus V x (V ) x+y V y = U xy for all (x, y) {0, 1}. And therefore ψ out = x, y U xy z = C (U) x, y, z. It is easy to check that if V = (1 ı)(i + ıx)/ = e ıπ/4 e ıπx/4, V = ı(cos π/ + ı sin π/x) = X. So that the previous circuit implements the Toffoli gate. 4.3- Construct a C 1 (U) gate for U = R x (θ) and U = R y (θ) using only cnot and single qubit gates. Can you reduce the number of single qubit gates from three to two? Fig. 4 Circuit implementing C 1 (U) : here ABC = I and U = e ıα AXBXC. The quantum circuit in Figure 4 describes how to implement a C 1 (U) gate from using only one-qubit and cnot gates. By construction det U = e ıα. If U = R y (θ) = e ıθy then α = 0. Moreover, taking A = I, B = e ıθy/ and C = e ıθy/, leads to ABC = BC = I and AXBXC = XBXC = e ıθy/ e ıθy/ = e ıθy since XY X = Y (see Exercise 4.7). In this case then, only the two 1-qubit gates B, C are needed. Actually A and C could be interchanged here. If U = R x (θ) however, a solution is given by A = H, B = e ıθz/ and C = e ıθz/ H. This is because HZH = X and XZX = Z (see Exercise 4.13). It does not seem possible to reduce the number of single qubit gates then.

Math 478, Phys 478, CS4803, September 18, 007 7 4.4- Verify that Figure 5 implements the Toffoli gate Fig. 5 Implementation of the Toffoli gate To compute the outcome of the r.h.s. it will be convenient to proceed gate by gate as indicated by the arrows in Figure 5. Since T = e ıπ/8 e ıπz/8 and since XZX = Z it follows that XT X = e ıπ/4 T. It is easy to jump directly to the step #9. This gives ψ 1 = x, y, z, ψ 9 = x, y X x T X y T X x T X y H z ψ 10 = x T y T X x T X y T X x T X y H z ψ 11 = x X x T y HT X x T X y T X x T X y H z ψ 1 = x T X x T y HT X x T X y T X x T X y H z ψ 13 = x X x T X x T y HT X x T X y T X x T X y H z ψ 14 = e ıπx/4 x SX x T X x T y HT X x T X y T X x T X y H z where T x = e ıπx/4 x has been used. If x = 0 then ψ out = 0 y z = toffoli 0, y, z. as can be checked immediately. If x = 1 then e ıπx/4 SX x T X x T y = e ıπ/4 SXT XT y = S y = (ı) y y. Thus, whenever y = 0 this gives If now x = y = 1 then ψ out = 1 0 HT XT T XT H z = 1, 0, z ψ out = 1, 1 ıht XT XT XT XH z = toffoli 1, 0, z. noindent However it is easy to check that T XT X = [ e ıπ/4 0 0 e ıπ/4 ] (T XT X) = ız.

Math 478, Phys 478, CS4803, September 18, 007 8 So that ψ out = 1, 1 HZH z = 1, 1 X z = toffoli 1, 1, z. Hence the result is the same as for the Toffoli gate for all values of (x, y, z). 4.5- Recall that the Fredkin (controlled-swap) gate performs the transform 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1. Give a quantum circuit which uses three Toffoli gates to construct the Fredkin gate (Hint : think of the swap-gate construction- you can control each gate one at a time).. Show that the first and the last Toffoli gates can be replaced by cnot-gates. 3. Now replace the middle Toffoli gate with the circuit of Figure 3 to obtain a Fredkin gate construction using only six two-qubit gates. 4. Can you come up with an even simpler construction, with five two-qubit gates? (6) Fig. 6 The Fredkin gate is a controlled-swap gate 1. As can be seem from eq. (6), the Fredkin gate acts on the computational basis as F 0, y, z = 0, y, z and F 1, y, z = 1, z, y. In other words if swap y, z = z, y then it can be written as F x, y, z = x (swap) x y, z. Hence the Fredkin gate is nothing but a controlled-swap. The swap-gate can be implemented by three alternating cnot-gates, suggesting that the Fredkin gate be given by the quantum circuit described on the l.h.s. of Figure 6. A direct calculation of the outcome of this quantum circuit gives indeed, if ψ i represents the quantum state of the computer after the i-th gate,

Math 478, Phys 478, CS4803, September 18, 007 9 ψ 1 = x, y, z + xy ψ = x, y + xz + x y, z + xy = x, xy + xz, z + xy ψ out = ψ 3 = x, xy + xz, z + xy + xxy + x z = x, xy + xz, xz + xy In these equations, x = x, x = 1 x = 1 + x, xx = 0 have been used. If x = 0 the outcome is therefore 0, y, z while if x = 1 it is 1, z, y. Hence the l.h.s. of Figure 6 implements indeed the Fredkin gate.. Actually the left and the right Toffoli gates can be replaced by a simple cnot gate, as in the r.h.s. of Figure 6. For indeed the same calculation performed now on the r.h.s. gives giving indeed the same result. ψ 1 = x, y, z + y ψ = x, y + xz + xy, z + y = x, xy + xz, z + y ψ out = ψ 3 = x, xy + xz, z + y + xy + xz = x, xy + xz, xz + xy 3. Replacing the Toffoli gate in the middle by the quantum circuit given in Figure 3, will give Figure 7, where V = e ıπ/4 (I + ıx)/. In such a case V = X, or, equivalently (V ) = X. It can be checked directly that the r.h.s. of Figure 7 gives indeed the Fredkin gate for, using the same type of computation as before, ψ 1 = x, y, z y ψ = x V y z y y z ψ 3 = x V y z y x y z ψ 4 = x (V ) x y z V y z y x y z ψ 5 = x (V ) x y z V y z y y z ψ 6 = x V x (V ) x y z V y z y y z = x u y z ψ out = ψ 7 = x u u y z where u = V x (V ) x y z V y z y.

Math 478, Phys 478, CS4803, September 18, 007 10 Fig. 7 Quantum circuit implementing the Fredkin gate Hence if x = 0 then u = y and u y z = z. If x = 1 then u = V (V ) 1 y z V y z y = V {y z} y = X y z y = y y z = z. Then u y z = y. Thus ψ out = x (swap) x y, z = F x, y, z. This circuit requires seven elementary two-qubit-gates and not six as suggested. However, the product of two such gates is a two-qubit gate so that the product of the first gates on the r.h.s. of Figure 7 can be considered as a unique two-qubit gate, meaning that only 6 such gates are necessary. If G denotes this product then ıπ/4 ( y + ı z ) G y, z = e 4. It does not seem possible to decrease the number of two-qubit gates. 4.35- (Measurement commutes with controls) A consequence of the principle of deferred measurements is that measurements commute with quantum gates when the qubit being measured is a control qubit, that is : Fig. 8 (Recall that double lines represents classical bits in this diagram.) Prove the first equality. The rightmost circuit is simply a convenient notation to depict the use of measurement result to classically control a quantum gate.

Math 478, Phys 478, CS4803, September 18, 007 11 If x, y is the input in these circuit, then on the leftmost circuit, the quantum state of the computer before measurement is x U x y. In general then the input will be a linear combinations x,y α xy x, y of the computational basis. The measurement will give an outcome for the value of the first qubit. If this outcome is x, then then, thanks to the axioms about measurement, the output will be given by y ψ out = α xyu x y = U x y α xy y y α xy y α xy In the middle circuit, the measurement of the first qubit is made first. If x is the outcome then the new state, right after the measurement is given by y ψ meas = α xy y y α xy The classical bit x is then applied to control the gate U so that the output will be U x ψ meas which the same output as for the leftmost circuit.