Problem Set # 6 Solutions

Similar documents
Problem Set # 8 Solutions

Fault-Tolerant Universality from Fault-Tolerant Stabilizer Operations and Noisy Ancillas

Simulation of quantum computers with probabilistic models

Teleportation-based approaches to universal quantum computation with single-qubit measurements

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

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

Quantum Entanglement and the Bell Matrix

Calculating with the square root of NOT

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

Relations for 2-qubit Clifford+T operator group

arxiv:quant-ph/ v2 18 Feb 1997

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

Quantum Information & Quantum Computing

The Classification of Clifford Gates over Qubits

IBM quantum experience: Experimental implementations, scope, and limitations

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

Bounds on Quantum codes

Quantum computing! quantum gates! Fisica dell Energia!

Quantum gate. Contents. Commonly used gates

Principles of Quantum Mechanics Pt. 2

Lecture 3: Constructing a Quantum Model

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

Quantum information and quantum computing

arxiv:quant-ph/ Oct 2002

Grover s algorithm. We want to find aa. Search in an unordered database. QC oracle (as usual) Usual trick

Problem Set # 5 Solutions

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

(IN)EQUIVALENCE OF COLOR CODE AND TORIC CODE. Aleksander Kubica, B. Yoshida, F. Pastawski

Quantum Information & Quantum Computing

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

Theory of fault-tolerant quantum computation

Linear Algebra and Dirac Notation, Pt. 3

Quantum Phase Estimation using Multivalued Logic

Quantum Error Correcting Codes and Quantum Cryptography. Peter Shor M.I.T. Cambridge, MA 02139

Single qubit + CNOT gates

arxiv: v1 [quant-ph] 14 Mar 2017

Topological Qubit Design and Leakage

Optimal Realizations of Controlled Unitary Gates

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

Instantaneous Nonlocal Measurements

Measurement-based quantum computation 10th Canadian Summer School on QI. Dan Browne Dept. of Physics and Astronomy University College London

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

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

Classical simulations of non-abelian quantum Fourier transforms

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

Constructive quantum scaling of unitary matrices

PHY305: Notes on Entanglement and the Density Matrix

Lecture 3: Hilbert spaces, tensor products

arxiv: v2 [quant-ph] 12 Aug 2008

6.896 Quantum Complexity Theory September 18, Lecture 5

CSE 599d - Quantum Computing Stabilizer Quantum Error Correcting Codes

Chapter 10. Quantum algorithms

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

Knotted Pictures of Hadamard Gate and CNOT Gate

Robust Characterization of Quantum Processes

Techniques for fault-tolerant quantum error correction

Quantum Error Correction and Fault Tolerance. Classical Repetition Code. Quantum Errors. Barriers to Quantum Error Correction

DECAY OF SINGLET CONVERSION PROBABILITY IN ONE DIMENSIONAL QUANTUM NETWORKS

6.080/6.089 GITCS May 6-8, Lecture 22/23. α 0 + β 1. α 2 + β 2 = 1

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

Quantum Computation. Michael A. Nielsen. University of Queensland

Is Entanglement Sufficient to Enable Quantum Speedup?

Lecture 6: Quantum error correction and quantum capacity

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

An Introduction to Quantum Computation and Quantum Information

Introduction to Quantum Computing

Teleportation of Quantum States (1993; Bennett, Brassard, Crepeau, Jozsa, Peres, Wootters)

arxiv:quant-ph/ v1 1 Jul 1998

Hamiltonian simulation and solving linear systems

Transformation of quantum states using uniformly controlled rotations

Transversality versus Universality for Additive Quantum Codes

Quantum Computing Lecture 2. Review of Linear Algebra

MP 472 Quantum Information and Computation

SUPERDENSE CODING AND QUANTUM TELEPORTATION

Shorter stabilizer circuits via Bruhat decomposition and quantum circuit transformations

example: e.g. electron spin in a field: on the Bloch sphere: this is a rotation around the equator with Larmor precession frequency ω

Quantum error correction for continuously detected errors

Projects about Quantum adder circuits Final examination June 2018 Quirk Simulator

Introduction into Quantum Computations Alexei Ashikhmin Bell Labs

Lecture 2: From Classical to Quantum Model of Computation

Unitary Dynamics and Quantum Circuits

C/CS/Phy191 Problem Set 6 Solutions 3/23/05

Quantum Optics and Quantum Informatics FKA173

Magic States. Presented by Nathan Babcock

Lecture 4: Postulates of quantum mechanics

Fault-tolerant logical gates in quantum error-correcting codes

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

Quantum Physics II (8.05) Fall 2002 Assignment 3

Short Course in Quantum Information Lecture 5

A Performance Simulator for Quantitative Analysis of the Implications of Fault-Tolerance in Distributed Quantum Computer Architectures

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

Fourier analysis of boolean functions in quantum computation

Extended Superposed Quantum State Initialization Using Disjoint Prime Implicants

Unitary rotations. October 28, 2014

Chapter 2. Basic Principles of Quantum mechanics

More advanced codes 0 1 ( , 1 1 (

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

arxiv: v1 [quant-ph] 12 Aug 2013

QUANTUM COMPUTING. Part II. Jean V. Bellissard. Georgia Institute of Technology & Institut Universitaire de France

arxiv:quant-ph/ v1 18 Apr 2000

Transcription:

Id: hw.tex,v 1.4 009/0/09 04:31:40 ike Exp 1 MIT.111/8.411/6.898/18.435 Quantum Information Science I Fall, 010 Sam Ocko October 6, 010 1. Building controlled-u from U (a) Problem Set # 6 Solutions FIG. 1. Circuit which implements a controlled-u gate. U u = u (b) We may use a similar construction when U u = e iφ u for a known φ. We just need to correct this phase appropriately. FIG.. Circuit which implements a controlled-u gate. U u = e iφ u (c) We can t do a similar procedure for an unknown φ because we don t know how much a phase we would need to implement. Note that we could estimate φ through phase estimation.. Gottesman Knill. (a) We first show that Hadamards and phase gates can be used to perform any single-qubit normalizer operation where UZU = Z. For this to be true, U must have only diagonal terms, so to within an arbitrary phase: U = ( ) 1 0 0 e iφ

Id: hw.tex,v 1.4 009/0/09 04:31:40 ike Exp We also know that for U to be a normalizer ( ) UXU 0 e iφ = e iφ = ±X, ±Y 0 Therefore, e iφ = ±1, ±i, so U is some product of phase gates to within a global phase. Lemma: Given any Pauli operator g, there is some product of Hadamards and phase gates N s.t. NgN = Z. Given any single-qubit unitary in the normalizer subgroup U, there exists some element g of the Pauli group s.t. UgU = Z. Using the lemma, we may write U = V N, so UgU = V NgN V = V ZV = Z. Therefore, since V must be some product of phase gates and N is some product of Hadamards and phase gates, U = V N is some product of Hadamards and phase gates. Therefore, Hadamard and phase gates can be used to perform any normalizer operation on a single qubit (b) The circuit applies a unitary operation Ū which we want to prove is equal to U. To do so, we show case by case that σ Ū γ ψ = σ U γ ψ σ, γ, ψ, which then shows that Ū = U. To do so, we use a few identities UZ 1 = X 1 g U, X 1 U = g UZ 1 UX 1 = Z 1 g U, Z 1 U = g UX 1 ŪZ 1 = X 1 g Ū, X 1Ū = g ŪZ 1 ŪX 1 = Z 1 g Ū, Z 1Ū = g ŪX 1 We use these to come up with a few alternate definitions of U : U ψ = 0 U ( 0 ψ ) = 0 g U ( 1 ψ ) = 1 g U ( 0 ψ ) = First, 1 g g U ( 1 ψ ) 0 Ū ( 0 ψ ) = 0 1 ( 0 U ψ + 1 gu ψ ) = 1 U ψ = 0 U ( 0 ψ ) likewise, 0 Ū ( 1 ψ ) = 0 1 ( 0 g U ψ 1 g g U ψ ) = 1 g U ψ = 0 g g U ( 1 ψ ) = 0 U ( 1 ψ )

Id: hw.tex,v 1.4 009/0/09 04:31:40 ike Exp 3 likewise, 1 Ū ( 0 ψ ) = 1 1 ( 0 U ψ + 1 gu ψ ) = 1 (gu ψ ) = 1 ggu ( 0 ψ ) = 1 U ( 0 ψ ) and lastly, 1 Ū ( 1 ψ ) = 1 1 ( 0 g U ψ 1 g gu ψ ) = 1 (g gu ψ ) = 1 gg g gu ( 1 ψ ) = 1 Ū ( 1 ψ ). Since σ Ū γ ψ = σ U γ ψ σ, γ, ψ, Ū = U, and we have therefore performed the desired unitary. We write U = V U where V, the unitary described by all of the circuit except for U : FIG. 3. Circuit which describes the unitary V is in the normalizer subgroup. Therefore, U = V U is an n-qubit gate in the normalizer subgroup. We can see from the circuit that constructing a gate in N(G n+1 ) requires the construction of a gate in N(G n ), followed by O(n) gates. Therefore, inductively it takes n i=1 O(i) = O(n ) gates to construct U. (c) The above procedure only works when UZ 1 U = X 1 g, UX 1 U = Z 1 g, so we must show how to extend the procedure to work on arbitrary elements of the normalizer group. Given an arbitrary normalizer U, we write UZ 1 U = G, UX 1 U = G, where G, G are n + 1-qubit elements of the Pauli group. G, G must anticommute, so looking at the entries of G, G, there must be some qubit j where the entries of G, G are different Pauli matrices σ, σ. Therefore, applying the swap gate(which is in the normalizer subgroup) between qubits 1,j: SWAP 1j U Z 1 (SWAP 1j U) = SWAP 1j G SWAP 1j = σ 1 g SWAP 1j U X 1 (SWAP 1j U) = SWAP 1j G SWAP 1j = σ 1 g Lemma: Given any two different Pauli matrices σ σ, there is some product of Hadamards and phase gates N s.t. NσN = X, Nσ, N = Z. Therefore, N SWAP 1j U Z 1 (N SWAP 1j U) = X 1 g, N SWAP 1j U X 1 (N SWAP 1j U) = Z 1 g,

Id: hw.tex,v 1.4 009/0/09 04:31:40 ike Exp 4 and to apply any unitary U in the normalizer group, we first apply N SWAP 1j U through the procedure in part b), and then apply (N SWAP 1j ). Doing this procedure takes n i=1 O(i) = O(n ) gates.

MASSACHUSETTS INSTITUTE OF TECHNOLOGY 1. Building controlled-u from U. MIT.111/8.411/6.898/18.435 Quantum Information Science I October 1, 010 Problem Set #6 (due in class, 8-Oct-10) Suppose you are given a box which performs a unitary gate U on a one-qubit input state. In addition, you are given u, and eigenstate of U with eigenvalue one. (a) Provide a quantum circuit using quantum Fredkin (ie controlled-swap) gates, which peforms a controlled-u gate, using this box, and u. (b) Can you use the same approach if u has some known eigenvalue e iφ? (c) What if φ is unknown?. The Gottesman-Knill Theorem. An important result in quantum computation is that H, CNOT, and the Pauli gates are not universal for quantum computation, and in fact any quantum circuit composed from those gates (together with standard input states and measurements in the computational basis) can be simulated efficiently by a classical computer! This result is known as the Gottesman-Knill theorem, and in this problem we prove the essential result behind the theorem. Let G n denote the Pauli group on n qubits, that is, matrix multiplication acting on the set of n-fold tensor products of Pauli matrices (including multiplicative factors ±1, ±i). By definition, we say the set of U such that UG n U = G n is the normalizer of G n, and denote it by N(G n ). The following theorem about the normalizer of the Pauli group holds: Suppose U is any unitary operator on n qubits with the property that if g G n then UgU G n. Then up to a global phase U may be composed from O(n ) Hadamard, phase and controlled-not gates. We can construct an inductive proof of this theorem as follows: (a) Prove that the Hadamard and phase gates (H and S) can be used to perform any normalizer operation on a single qubit. (b) Suppose U is an n + 1 qubit gate in N(G n+1 ) such that UZ 1 U = X 1 g and UX 1 U = Z 1 g for some g, g G n. Define U on n qubits by U ψ 0 U( 0 ψ ). Use the inductive hypothesis to show that this construction for U: may be implemented using O(n ) Hadamard, phase and controlled-not gates. (c) Show that any gate U N(G n+1 ) may be implemented using O(n ) Hadamard, phase and controlled-not gates.