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

Size: px
Start display at page:

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

Transcription

1 Quantum Quantum QSIT-Course ETH Zürich 17. Oktober 2007 Two Level

2 Outline Quantum Two Level Two Level

3 Outline Quantum Two Level Two Level

4 Outline Quantum Two Level Two Level

5 (I) Quantum Definition ( ) 0 1 X = 1 0 ( ) = 0 1 ( ) 1 0 S = 0 i ( ) 0 i Y = i 0 ( ) H = ( ) 1 0 T = 0 e iπ/4 H = (X + Z )/ 2 S = T 2 Z = ( ) Two Level

6 (II) Quantum R X (θ) = e iθ/2 X = cos (θ/2) I i sin (θ/2) X R Y (θ) = e iθ/2 Y = cos (θ/2) I i sin (θ/2) Y R Z (θ) = e iθ/2 Z = cos (θ/2) I i sin (θ/2) Z Rˆn (θ) = e iθ/2 ˆn σ = cos (θ/2) I i sin (θ/2) (n X X + n Y Y + n Z Z ) Two Level XYX = Y XZX = Z XR Y (θ)x = R Y ( θ) XR Z (θ)x = R Z ( θ)

7 X-Y decomposition of a single qbit gate Quantum Theorem X-Y decomposition of a single qbit gate U C 2 2 unitary α, β γ, δ R: U = e iα R Z (β)r Y (γ)r Z (δ) Proof. U can be written as U ( = e i(α β/2 δ/2) cos(γ/2) e i(α β/2+δ/2) sin(γ/2) e i(α+β/2 δ/2) sin(γ/2) e i(α+β/2+δ/2) cos(γ/2) also true for any two non-parallel rotation axis Rˆn (θ), R ˆm (θ) ˆn ˆm ) Two Level

8 X-Y decomposition of a single qbit gate Quantum Theorem X-Y decomposition of a single qbit gate U C 2 2 unitary α, β γ, δ R: U = e iα R Z (β)r Y (γ)r Z (δ) Proof. U can be written as U ( = e i(α β/2 δ/2) cos(γ/2) e i(α β/2+δ/2) sin(γ/2) e i(α+β/2 δ/2) sin(γ/2) e i(α+β/2+δ/2) cos(γ/2) also true for any two non-parallel rotation axis Rˆn (θ), R ˆm (θ) ˆn ˆm ) Two Level

9 Corrollary of decomposition Quantum Corollary U C 2 2 unitary α R A, B, C C 2 2 unitary: ABC = I, U = e iα AXBXC Proof. ( A = R Z (β)r Y (γ/2), B = R Y ( γ/2)r Z ), ( C = R δ β Z 2 ( XBX = XR Y ( γ/2)xxr Z R Y (γ/2)r Z ( δ+β 2 ) δ+β 2 ) X = δ+β 2 ), Two Level

10 controled by one Qbit CNOT = Cphase = = e iα e iα = = Quantum Two Level controled U = ( U ) = =

11 controled by several Qbits Quantum =, where V 2 = U = ( ), 1 0 where S = T 2, T = 0 e iπ/4. Expansion to more control Qbits is tedious, but not difficult. Two Level

12 Two Level Theorem Two level gates are universal. U C 3 3 unitary U i C 3 3 : U i = U i 1, U i C 2 2 unitary U = U 1 U 2 U 3 Proof. U = a b c d e f g h j b 0: U 1 = U 1 U =, a b c 0 e f g h j a b a 2 + b 2 a 2 + b a b + b a a + b Quantum Two Level

13 Proof contd. Proof. contd. c 0 U 2 = U 2 U 1 U = a c 0 a 2 + c 2 a 2 + c c a 0 a 2 + c 2 a 2 + c 2 1 b c 0 e f 0 h j d = g = 0 U 3 =, but U 2 U 1 U are unitary e f 0 h j Quantum Two Level U 3 U 2 U 1 U = I U = U 1 U 2 U 3 for higher dimensions similar processes

14 Unitaries of Higher Dimensions Quantum U C d d U = N j=1 (U j 1 d 2), U j C 2 2, N d(d 1) 2 U C d d : N (d 1) ex: U jk = δ jk e 2πi p i, where p j is the j th prime number. With one single qbit gate and CNOTs an arbitrary two-level unitary operation on a state of n qbits can be implemented, where the CNOTs are used to shuffle. Two Level

15 Quantum Therefore CNOTs and unitary single Qbit operations form an universal set of quantum computing. Unfortunately, for most single Qbit operations exists no straightforward method of error correction. Two Level

16 Approximation of Unitaries Quantum Definition error E(U, V ) := max (U V ) ψ ψ E(U m U m 1... U 1, V m V m 1... V 1 ) m j=1 E(U j, V j ) Proof. E(U 2 U 1, V 2 V 1 ) = (U 2 U 1 V 2 V 1 ) ψ = (U 2 U 1 V 2 U 1 ) ψ + (V 2 U 1 V 2 V 1 ) ψ (U 2 U 1 V 2 U 1 ) ψ + (V 2 U 1 V 2 V 1 ) ψ E(U 2, V 2 ) + E(U 1, V 1 ) further by induction Two Level

17 Standard Set of universal Hadamard H, phase S, CNOT, π/8 = T, where π/8 could be replaced by Toffoli. T = R Z (π/4), HTH = R X (π/4) up to a global phase. exp ( iπ/8 Z ) exp ( iπ/8 X) = (cos π 8 I i sin π ) (cos 8 Z π 8 I i sin π ) 8 X = cos 2 π ( 8 I i cos π 8 (X + Z ) + sin π ) 8 Y sin π 8 =Rˆn (θ), Quantum Two Level where ˆn = ( cos π 8, sin π 8, cos π 8 ) and cos θ 2 = cos2 π 8.

18 Multiples of irrational Angles Quantum cos θ 2 = cos2 π 8 = θ 2π / Q, therefore any Rˆn (α) can be arbitrary close approximated. HRˆn (α)h = R ˆm (α), where ˆm = ( cos π 8, sin π 8, cos π ) 8. U C 2 2 unitary α, β γ, δ R: U = e iα Rˆn (β)r ˆm (γ)rˆn (δ) Finally, U C 2 2 unitary, ε > 0 n 1, n 2, n 3 N : E (U, Rˆn (θ) n 1HRˆn (θ) n 2HRˆn (θ) n 3) < ε. Two Level

19 Generic qbit Definition A generic qbit gate is a U C 2n 2 n with eigenvalues e iθ 1, e iθ 2, e iθ 2 n : j, k θ j π / Q θ j θ k / Q. n NU n has eigenvalues e inθ 1, e inθ 2, e inθ 2 n, each n defines therefore a point on a 2 k -torus. If U = e ia λ R ε n : E ( U n, e iλa) < ε. By switching leads we can get another generic qbit gate U = PUP, where might be P = SWAP. It can easily been shown, that { e iλa} have a closed Lie Algebra. U = e ib, B = PAP 1 ; by explicit computation can be shown, that the complete Lie-Algebra of U(4) can be computed by successives commutation, starting by A and B. Quantum Two Level

20 Efficiency of Approximation Quantum Theorem Solovay-Kitaev theorem: Any quantum circuit containing m CNOT s and single qbit gates can be approximatet to an accuracy ε using only O ( m log c (m/ε) ) gates from a discrete set, where c = lim δ 0 δ>0 2 + δ. On one hand U C 2n 2 n : O ( n 2 4 n log c (n 2 4 n /ε) ) operations are sufficient, on the other hand U C 2n 2 n : Ω (2 n log(1/ε)/ log(n)) operations are required for implementing a V : E(U, V ) ε. Two Level

21 Quantum CNOTs and unitary single Qbit operations form an universal set for quantum computing. Unitary single Qbit operations can be approximated to an arbitrary precision by a finite set of gates. This approximation cannot always be done efficiently. Two Level

22 Quantum Michael A. Nielsen, Isaac L. Chuang: Quantum Computation and Quantum Information, Chapter 4: Quantum circuits John Preskill: Lecture Notes for Quantum Information and Computation, Chapter 6.2.3: quantum gates Two Level

Quantum Information & Quantum Computing

Quantum Information & Quantum Computing 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

More information

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

1 Readings. 2 Unitary Operators. C/CS/Phys C191 Unitaries and Quantum Gates 9/22/09 Fall 2009 Lecture 8 C/CS/Phys C191 Unitaries and Quantum Gates 9//09 Fall 009 Lecture 8 1 Readings Benenti, Casati, and Strini: Classical circuits and computation Ch.1.,.6 Quantum Gates Ch. 3.-3.4 Kaye et al: Ch. 1.1-1.5,

More information

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

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). C/CS/Phys 191 Quantum Gates and Universality 9//05 Fall 005 Lecture 8 1 Readings Benenti, Casati, and Strini: Classical circuits and computation Ch.1.,.6 Quantum Gates Ch. 3.-3.4 Universality Ch. 3.5-3.6

More information

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

The Bloch Sphere. Ian Glendinning. February 16, QIA Meeting, TechGate 1 Ian Glendinning / February 16, 2005 The Bloch Sphere Ian Glendinning February 16, 2005 QIA Meeting, TechGate 1 Ian Glendinning / February 16, 2005 Outline Introduction Definition of the Bloch sphere Derivation of the Bloch sphere Properties

More information

Ancilla-driven universal quantum computing

Ancilla-driven universal quantum computing Ancilla-driven universal quantum computing Vlad Gheorghiu Department of Physics Carnegie Mellon University Pittsburgh, PA 15213, U.S.A. September 30, 2010 Vlad Gheorghiu (CMU) Ancilla-driven universal

More information

Anyons and topological quantum computing

Anyons and topological quantum computing Anyons and topological quantum computing Statistical Physics PhD Course Quantum statistical physics and Field theory 05/10/2012 Plan of the seminar Why anyons? Anyons: definitions fusion rules, F and R

More information

Quantum Information & Quantum Computing

Quantum Information & Quantum Computing Math 478, Phys 478, CS4803, February 9, 006 1 Georgia Tech Math, Physics & Computing Math 478, Phys 478, CS4803 Quantum Information & Quantum Computing Problems Set 1 Due February 9, 006 Part I : 1. Read

More information

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

C/CS/Phys C191 Quantum Gates, Universality and Solovay-Kitaev 9/25/07 Fall 2007 Lecture 9 C/CS/Phys C191 Quantum Gates, Universality and Solovay-Kitaev 9/25/07 Fall 2007 Lecture 9 1 Readings Benenti, Casati, and Strini: Quantum Gates Ch. 3.2-3.4 Universality Ch. 3.5-3.6 2 Quantum Gates Continuing

More information

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

Ph 219b/CS 219b. Exercises Due: Wednesday 21 November 2018 H = 1 ( ) 1 1. in quantum circuit notation, we denote the Hadamard gate as h 29b/CS 29b Exercises Due: Wednesday 2 November 208 3. Universal quantum gates I In this exercise and the two that follow, we will establish that several simple sets of gates are universal for quantum

More information

The Solovay-Kitaev theorem

The Solovay-Kitaev theorem The Solovay-Kitaev theorem Maris Ozols December 10, 009 1 Introduction There are several accounts of the Solovay-Kitaev theorem available [K97, NC00, KSV0, DN05]. I chose to base my report on [NC00], since

More information

Problem Set # 8 Solutions

Problem Set # 8 Solutions 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 November 15, 010 Problem Set # 8 Solutions 1. (a) The eigenvectors of S 1 S are

More information

The Deutsch-Josza Algorithm in NMR

The Deutsch-Josza Algorithm in NMR December 20, 2010 Matteo Biondi, Thomas Hasler Introduction Algorithm presented in 1992 by Deutsch and Josza First implementation in 1998 on NMR system: - Jones, JA; Mosca M; et al. of a quantum algorithm

More information

Quantum Computing: Foundations to Frontier Fall Lecture 3

Quantum Computing: Foundations to Frontier Fall Lecture 3 Quantum Computing: Foundations to Frontier Fall 018 Lecturer: Henry Yuen Lecture 3 Scribes: Seyed Sajjad Nezhadi, Angad Kalra Nora Hahn, David Wandler 1 Overview In Lecture 3, we started off talking about

More information

Introduction to Quantum Computing

Introduction to Quantum Computing Introduction to Quantum Computing Lecture The rules and math of quantum mechanics Enter the Qubit First we start out with the basic block of quantum computing. Analogous to the bit in classical computing,

More information

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

Ph 219b/CS 219b. Exercises Due: Wednesday 20 November 2013 1 h 219b/CS 219b Exercises Due: Wednesday 20 November 2013 3.1 Universal quantum gates I In this exercise and the two that follow, we will establish that several simple sets of gates are universal for

More information

Universality of single quantum gates

Universality of single quantum gates Universality of single quantum gates Bela Bauer 1, Claire Levaillant 2, Michael Freedman 1 arxiv:1404.7822v3 [math.gr] 20 May 2014 1 Station Q, Microsoft Research, Santa Barbara, CA 93106-6105, USA 2 Department

More information

Quantum gate. Contents. Commonly used gates

Quantum gate. Contents. Commonly used gates Quantum gate From Wikipedia, the free encyclopedia In quantum computing and specifically the quantum circuit model of computation, a quantum gate (or quantum logic gate) is a basic quantum circuit operating

More information

Quantum Error Correction Codes-From Qubit to Qudit. Xiaoyi Tang, Paul McGuirk

Quantum Error Correction Codes-From Qubit to Qudit. Xiaoyi Tang, Paul McGuirk Quantum Error Correction Codes-From Qubit to Qudit Xiaoyi Tang, Paul McGuirk Outline Introduction to quantum error correction codes (QECC) Qudits and Qudit Gates Generalizing QECC to Qudit computing Need

More information

A new universal and fault-tolerant quantum basis

A new universal and fault-tolerant quantum basis Information Processing Letters 75 000 101 107 A new universal and fault-tolerant quantum basis P. Oscar Boykin a,talmor a,b, Matthew Pulver a, Vwani Roychowdhury a, Farrokh Vatan a, a Electrical Engineering

More information

Problem Set # 6 Solutions

Problem Set # 6 Solutions 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.

More information

Unitary Dynamics and Quantum Circuits

Unitary Dynamics and Quantum Circuits qitd323 Unitary Dynamics and Quantum Circuits Robert B. Griffiths Version of 20 January 2014 Contents 1 Unitary Dynamics 1 1.1 Time development operator T.................................... 1 1.2 Particular

More information

Introduction to Quantum Information Processing QIC 710 / CS 768 / PH 767 / CO 681 / AM 871

Introduction to Quantum Information Processing QIC 710 / CS 768 / PH 767 / CO 681 / AM 871 Introduction to Quantum Information Processing QIC 710 / CS 768 / PH 767 / CO 681 / AM 871 Lecture 1 (2017) Jon Yard QNC 3126 jyard@uwaterloo.ca TAs Nitica Sakharwade nsakharwade@perimeterinstitute.ca

More information

Physics ; CS 4812 Problem Set 4

Physics ; CS 4812 Problem Set 4 Physics 4481-7681; CS 4812 Problem Set 4 Six problems (six pages), all short, covers lectures 11 15, due in class 25 Oct 2018 Problem 1: 1-qubit state tomography Consider a 1-qubit state ψ cos θ 2 0 +

More information

Simulating classical circuits with quantum circuits. The complexity class Reversible-P. Universal gate set for reversible circuits P = Reversible-P

Simulating classical circuits with quantum circuits. The complexity class Reversible-P. Universal gate set for reversible circuits P = Reversible-P Quantum Circuits Based on notes by John Watrous and also Sco8 Aaronson: www.sco8aaronson.com/democritus/ John Preskill: www.theory.caltech.edu/people/preskill/ph229 Outline Simulating classical circuits

More information

Overlapping qubits THOMAS VIDICK CALIFORNIA INSTITUTE OF TECHNOLOGY J O I N T WO R K W I T H BEN REICHARDT, UNIVERSITY OF SOUTHERN CALIFORNIA

Overlapping qubits THOMAS VIDICK CALIFORNIA INSTITUTE OF TECHNOLOGY J O I N T WO R K W I T H BEN REICHARDT, UNIVERSITY OF SOUTHERN CALIFORNIA Overlapping qubits THOMAS VIDICK CALIFORNIA INSTITUTE OF TECHNOLOGY JOINT WORK WITH BEN REICHARDT, UNIVERSITY OF SOUTHERN CALIFORNIA What is a qubit? Ion trap, Georgia Tech Superconducting qubit, Martinis

More information

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

Hilbert Space, Entanglement, Quantum Gates, Bell States, Superdense Coding. CS 94- Bell States Bell Inequalities 9//04 Fall 004 Lecture Hilbert Space Entanglement Quantum Gates Bell States Superdense Coding 1 One qubit: Recall that the state of a single qubit can be written as

More information

Introduction to Quantum Computing

Introduction to Quantum Computing Introduction to Quantum Computing Part I Emma Strubell http://cs.umaine.edu/~ema/quantum_tutorial.pdf April 12, 2011 Overview Outline What is quantum computing? Background Caveats Fundamental differences

More information

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

Errata list, Nielsen & Chuang.  rrata/errata.html Errata list, Nielsen & Chuang http://www.michaelnielsen.org/qcqi/errata/e rrata/errata.html Part II, Nielsen & Chuang Quantum circuits (Ch 4) SK Quantum algorithms (Ch 5 & 6) Göran Johansson Physical realisation

More information

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

4. QUANTUM COMPUTING. Jozef Gruska Faculty of Informatics Brno Czech Republic. October 20, 2011 4. QUANTUM COMPUTING Jozef Gruska Faculty of Informatics Brno Czech Republic October 20, 2011 4. QUANTUM CIRCUITS Quantum circuits are the most easy to deal with model of quantum computations. Several

More information

Constructive quantum scaling of unitary matrices

Constructive quantum scaling of unitary matrices Quantum Inf Process (016) 15:5145 5154 DOI 10.1007/s1118-016-1448-z Constructive quantum scaling of unitary matrices Adam Glos 1, Przemysław Sadowski 1 Received: 4 March 016 / Accepted: 1 September 016

More information

Quantum Control of Qubits

Quantum Control of Qubits Quantum Control of Qubits K. Birgitta Whaley University of California, Berkeley J. Zhang J. Vala S. Sastry M. Mottonen R. desousa Quantum Circuit model input 1> 6> = 1> 0> H S T H S H x x 7 k = 0 e 3 π

More information

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

Lie algebraic aspects of quantum control in interacting spin-1/2 (qubit) chains .. Lie algebraic aspects of quantum control in interacting spin-1/2 (qubit) chains Vladimir M. Stojanović Condensed Matter Theory Group HARVARD UNIVERSITY September 16, 2014 V. M. Stojanović (Harvard)

More information

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

Teleportation-based approaches to universal quantum computation with single-qubit measurements Teleportation-based approaches to universal quantum computation with single-qubit measurements Andrew Childs MIT Center for Theoretical Physics joint work with Debbie Leung and Michael Nielsen Resource

More information

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

Quantum Computation. Nicholas T. Ouellette. March 18, 2002 Quantum Computation Nicholas T. Ouellette March 18, 00 Abstract The theory of quantum computation, a new and promising field, is discussed. The mathematical background to the field is presented, drawing

More information

Advanced Cryptography Quantum Algorithms Christophe Petit

Advanced Cryptography Quantum Algorithms Christophe Petit The threat of quantum computers Advanced Cryptography Quantum Algorithms Christophe Petit University of Oxford Christophe Petit -Advanced Cryptography 1 Christophe Petit -Advanced Cryptography 2 The threat

More information

Generators for Continuous Coordinate Transformations

Generators for Continuous Coordinate Transformations Page 636 Lecture 37: Coordinate Transformations: Continuous Passive Coordinate Transformations Active Coordinate Transformations Date Revised: 2009/01/28 Date Given: 2009/01/26 Generators for Continuous

More information

Hongbing Zhang October 2018

Hongbing Zhang October 2018 Exact and Intuitive Geometry Explanation: Why Does a Half-angle-rotation in Spin or Quaternion Space Correspond to the Whole-angle-rotation in Normal 3D Space? Hongbing Zhang October 2018 Abstract Why

More information

Lecture 9: Phase Estimation

Lecture 9: Phase Estimation CS 880: Quantum Information Processing 9/3/010 Lecture 9: Phase Estimation Instructor: Dieter van Melkebeek Scribe: Hesam Dashti Last lecture we reviewed the classical setting of the Fourier Transform

More information

Chapter 10. Quantum algorithms

Chapter 10. Quantum algorithms Chapter 10. Quantum algorithms Complex numbers: a quick review Definition: C = { a + b i : a, b R } where i = 1. Polar form of z = a + b i is z = re iθ, where r = z = a 2 + b 2 and θ = tan 1 y x Alternatively,

More information

Constructive quantum scaling of unitary matrices arxiv: v3 [quant-ph] 26 Oct 2016

Constructive quantum scaling of unitary matrices arxiv: v3 [quant-ph] 26 Oct 2016 Constructive quantum scaling of unitary matrices arxiv:1510.00606v3 [quant-ph] 6 Oct 016 Adam Glos, and Przemys law Sadowski Institute of Theoretical and Applied Informatics, Polish Academy of Sciences,

More information

Optimal Realizations of Controlled Unitary Gates

Optimal Realizations of Controlled Unitary Gates Optimal Realizations of Controlled nitary Gates Guang Song and Andreas Klappenecker Department of Computer Science Texas A&M niversity College Station, TX 77843-3112 {gsong,klappi}@cs.tamu.edu Abstract

More information

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

Grover s algorithm. We want to find aa. Search in an unordered database. QC oracle (as usual) Usual trick Grover s algorithm Search in an unordered database Example: phonebook, need to find a person from a phone number Actually, something else, like hard (e.g., NP-complete) problem 0, xx aa Black box ff xx

More information

Quantum Computing Lecture 2. Review of Linear Algebra

Quantum Computing Lecture 2. Review of Linear Algebra Quantum Computing Lecture 2 Review of Linear Algebra Maris Ozols Linear algebra States of a quantum system form a vector space and their transformations are described by linear operators Vector spaces

More information

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

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 0 Quantum algorithms Complex numbers: a quick review / 4 / 4 Definition: C = { a + b i : a, b R } where i = Polar form of z = a + b i is z = re iθ, where r = z = a + b and θ = tan y x Alternatively,

More information

Optimal Controlled Phasegates for Trapped Neutral Atoms at the Quantum Speed Limit

Optimal Controlled Phasegates for Trapped Neutral Atoms at the Quantum Speed Limit with Ultracold Trapped Atoms at the Quantum Speed Limit Michael Goerz May 31, 2011 with Ultracold Trapped Atoms Prologue: with Ultracold Trapped Atoms Classical Computing: 4-Bit Full Adder Inside the CPU:

More information

Lectures on Fault-Tolerant Quantum Computation

Lectures on Fault-Tolerant Quantum Computation Lectures on Fault-Tolerant Quantum Computation B.M. Terhal, IBM Research I. Descriptions of Noise and Quantum States II. Quantum Coding and Error-Correction III. Fault-Tolerant Error-Correction. Surface

More information

PHYSICS 220 : GROUP THEORY FINAL EXAMINATION. [1] Show that the Lie algebra structure constants are given by the expression. S c. x a x. x b.

PHYSICS 220 : GROUP THEORY FINAL EXAMINATION. [1] Show that the Lie algebra structure constants are given by the expression. S c. x a x. x b. PHYSICS 220 : GROUP THEORY FINAL EXAMINATION This exam is due in my office, 5438 Mayer Hall, at 10 am, Friday, June 15. You are allowed to use the course lecture notes, the Lax text, and the character

More information

Quantum Computation. Yongjian Han. Fall Key Lab. of Quantum Information, CAS, USTC. uantum Entanglement Network Group (USTC) Fall / 88

Quantum Computation. Yongjian Han. Fall Key Lab. of Quantum Information, CAS, USTC. uantum Entanglement Network Group (USTC) Fall / 88 Quantum Computation Yongjian Han Key Lab. of Quantum Information, CAS, USTC Fall 2015 uantum Entanglement Network Group (USTC) Fall 2015 1 / 88 Overview Course Overview In the following, we will introduce

More information

Linear Algebra and Dirac Notation, Pt. 1

Linear Algebra and Dirac Notation, Pt. 1 Linear Algebra and Dirac Notation, Pt. 1 PHYS 500 - Southern Illinois University February 1, 2017 PHYS 500 - Southern Illinois University Linear Algebra and Dirac Notation, Pt. 1 February 1, 2017 1 / 13

More information

Geometric theory of nonlocal two-qubit operations

Geometric theory of nonlocal two-qubit operations Geometric theory of nonlocal two-qubit operations Jun Zhang, 1 Jiri Vala,,3 Shankar Sastry, 1 and K. Birgitta Whaley,3 1 Department of Electrical Engineering and Computer Sciences, University of California,

More information

Quantum Computation. Alessandra Di Pierro Computational models (Circuits, QTM) Algorithms (QFT, Quantum search)

Quantum Computation. Alessandra Di Pierro Computational models (Circuits, QTM) Algorithms (QFT, Quantum search) Quantum Computation Alessandra Di Pierro alessandra.dipierro@univr.it 21 Info + Programme Info: http://profs.sci.univr.it/~dipierro/infquant/ InfQuant1.html Preliminary Programme: Introduction and Background

More information

QM1 Problem Set 1 solutions Mike Saelim

QM1 Problem Set 1 solutions Mike Saelim QM Problem Set solutions Mike Saelim If you find any errors with these solutions, please email me at mjs496@cornelledu a We can assume that the function is smooth enough to Taylor expand: fa = n c n A

More information

G : Quantum Mechanics II

G : Quantum Mechanics II G5.666: Quantum Mechanics II Notes for Lecture 5 I. REPRESENTING STATES IN THE FULL HILBERT SPACE Given a representation of the states that span the spin Hilbert space, we now need to consider the problem

More information

Quantum algorithms (CO 781, Winter 2008) Prof. Andrew Childs, University of Waterloo LECTURE 1: Quantum circuits and the abelian QFT

Quantum algorithms (CO 781, Winter 2008) Prof. Andrew Childs, University of Waterloo LECTURE 1: Quantum circuits and the abelian QFT Quantum algorithms (CO 78, Winter 008) Prof. Andrew Childs, University of Waterloo LECTURE : Quantum circuits and the abelian QFT This is a course on quantum algorithms. It is intended for graduate students

More information

Lecture 3: Hilbert spaces, tensor products

Lecture 3: Hilbert spaces, tensor products CS903: Quantum computation and Information theory (Special Topics In TCS) Lecture 3: Hilbert spaces, tensor products This lecture will formalize many of the notions introduced informally in the second

More information

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

Quantum Computing Lecture 3. Principles of Quantum Mechanics. Anuj Dawar Quantum Computing Lecture 3 Principles of Quantum Mechanics Anuj Dawar What is Quantum Mechanics? Quantum Mechanics is a framework for the development of physical theories. It is not itself a physical

More information

QUANTUM PHASE ESTIMATION WITH ARBITRARY CONSTANT-PRECISION PHASE SHIFT OPERATORS

QUANTUM PHASE ESTIMATION WITH ARBITRARY CONSTANT-PRECISION PHASE SHIFT OPERATORS Quantum Information and Computation, Vol., No. 9&0 (0) 0864 0875 c Rinton Press QUANTUM PHASE ESTIMATION WITH ARBITRARY CONSTANT-PRECISION PHASE SHIFT OPERATORS HAMED AHMADI Department of Mathematics,

More information

MATH 185: COMPLEX ANALYSIS FALL 2009/10 PROBLEM SET 10 SOLUTIONS. f(z) = a n. h(z) := a n+m (z a) n. f(z) = h(z) + (z a) m n. =: e h(z) F (z).

MATH 185: COMPLEX ANALYSIS FALL 2009/10 PROBLEM SET 10 SOLUTIONS. f(z) = a n. h(z) := a n+m (z a) n. f(z) = h(z) + (z a) m n. =: e h(z) F (z). MATH 85: COMPLEX ANALYSIS FALL 29/ PROBLEM SET SOLUTIONS. (a) Show that if f has a pole or an essential singularity at a, then e f has an essential singularity at a. Solution. If f has a pole of order

More information

Extended Superposed Quantum State Initialization Using Disjoint Prime Implicants

Extended Superposed Quantum State Initialization Using Disjoint Prime Implicants Extended Superposed Quantum State Initialization Using Disjoint Prime Implicants David Rosenbaum, Marek Perkowski Portland State University, Department of Computer Science Portland State University, Department

More information

C. Complex Numbers. 1. Complex arithmetic.

C. Complex Numbers. 1. Complex arithmetic. C. Complex Numbers. Complex arithmetic. Most people think that complex numbers arose from attempts to solve quadratic equations, but actually it was in connection with cubic equations they first appeared.

More information

) z r θ ( ) ( ) ( ) = then. Complete Solutions to Examination Questions Complete Solutions to Examination Questions 10.

) z r θ ( ) ( ) ( ) = then. Complete Solutions to Examination Questions Complete Solutions to Examination Questions 10. Complete Solutions to Examination Questions 0 Complete Solutions to Examination Questions 0. (i We need to determine + given + j, j: + + j + j (ii The product ( ( + j6 + 6 j 8 + j is given by ( + j( j

More information

Quantum Field Theory III

Quantum Field Theory III Quantum Field Theory III Prof. Erick Weinberg January 19, 2011 1 Lecture 1 1.1 Structure We will start with a bit of group theory, and we will talk about spontaneous symmetry broken. Then we will talk

More information

Chapter 30 MSMYP1 Further Complex Variable Theory

Chapter 30 MSMYP1 Further Complex Variable Theory Chapter 30 MSMYP Further Complex Variable Theory (30.) Multifunctions A multifunction is a function that may take many values at the same point. Clearly such functions are problematic for an analytic study,

More information

Considering our result for the sum and product of analytic functions, this means that for (a 0, a 1,..., a N ) C N+1, the polynomial.

Considering our result for the sum and product of analytic functions, this means that for (a 0, a 1,..., a N ) C N+1, the polynomial. Lecture 3 Usual complex functions MATH-GA 245.00 Complex Variables Polynomials. Construction f : z z is analytic on all of C since its real and imaginary parts satisfy the Cauchy-Riemann relations and

More information

arxiv:quant-ph/ v2 20 Dec 2010

arxiv:quant-ph/ v2 20 Dec 2010 arxiv:quant-ph/41126v2 2 Dec 2 Constructing arbitrary Steane code single logical qubit fault-tolerant gates Austin G. Fowler Centre for Quantum Computer Technology School of Physics, University of Melbourne

More information

Lecture 2: From Classical to Quantum Model of Computation

Lecture 2: From Classical to Quantum Model of Computation CS 880: Quantum Information Processing 9/7/10 Lecture : From Classical to Quantum Model of Computation Instructor: Dieter van Melkebeek Scribe: Tyson Williams Last class we introduced two models for deterministic

More information

Introduction to Quantum Computing

Introduction to Quantum Computing Introduction to Quantum Computing Toni Bluher Math Research Group, NSA 2018 Women and Mathematics Program Disclaimer: The opinions expressed are those of the writer and not necessarily those of NSA/CSS,

More information

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

Lecture Notes on QUANTUM COMPUTING STEFANO OLIVARES. Dipartimento di Fisica - Università degli Studi di Milano. Ver. 2.0 Lecture Notes on QUANTUM COMPUTING STEFANO OLIVARES Dipartimento di Fisica - Università degli Studi di Milano Ver..0 Lecture Notes on Quantum Computing 014, S. Olivares - University of Milan Italy) December,

More information

Quantum computing! quantum gates! Fisica dell Energia!

Quantum computing! quantum gates! Fisica dell Energia! Quantum computing! quantum gates! Fisica dell Energia! What is Quantum Computing?! Calculation based on the laws of Quantum Mechanics.! Uses Quantum Mechanical Phenomena to perform operations on data.!

More information

Quantum Computing with Non-Abelian Quasiparticles

Quantum Computing with Non-Abelian Quasiparticles International Journal of Modern Physics B c World Scientific Publishing Company Quantum Computing with Non-Abelian Quasiparticles N. E. Bonesteel, L. Hormozi, and G. Zikos Department of Physics and NHMFL,

More information

Introduction to Quantum Information Processing QIC 710 / CS 768 / PH 767 / CO 681 / AM 871

Introduction to Quantum Information Processing QIC 710 / CS 768 / PH 767 / CO 681 / AM 871 Introduction to Quantum Information Processing QIC 71 / CS 768 / PH 767 / CO 681 / AM 871 Lecture 8 (217) Jon Yard QNC 3126 jyard@uwaterloo.ca http://math.uwaterloo.ca/~jyard/qic71 1 Recap of: Eigenvalue

More information

Simulation of quantum computers with probabilistic models

Simulation of quantum computers with probabilistic models Simulation of quantum computers with probabilistic models Vlad Gheorghiu Department of Physics Carnegie Mellon University Pittsburgh, PA 15213, U.S.A. April 6, 2010 Vlad Gheorghiu (CMU) Simulation of quantum

More information

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

. Here we are using the standard inner-product over C k to define orthogonality. Recall that the inner-product of two vectors φ = i α i. CS 94- Hilbert Spaces, Tensor Products, Quantum Gates, Bell States 1//07 Spring 007 Lecture 01 Hilbert Spaces Consider a discrete quantum system that has k distinguishable states (eg k distinct energy

More information

Linear Algebra and Dirac Notation, Pt. 3

Linear Algebra and Dirac Notation, Pt. 3 Linear Algebra and Dirac Notation, Pt. 3 PHYS 500 - Southern Illinois University February 1, 2017 PHYS 500 - Southern Illinois University Linear Algebra and Dirac Notation, Pt. 3 February 1, 2017 1 / 16

More information

Principles of Quantum Mechanics Pt. 2

Principles of Quantum Mechanics Pt. 2 Principles of Quantum Mechanics Pt. 2 PHYS 500 - Southern Illinois University February 9, 2017 PHYS 500 - Southern Illinois University Principles of Quantum Mechanics Pt. 2 February 9, 2017 1 / 13 The

More information

Single qubit + CNOT gates

Single qubit + CNOT gates Lecture 6 Universal quantum gates Single qubit + CNOT gates Single qubit and CNOT gates together can be used to implement an arbitrary twolevel unitary operation on the state space of n qubits. Suppose

More information

arxiv: v1 [quant-ph] 12 Aug 2013

arxiv: v1 [quant-ph] 12 Aug 2013 On quantum circuits employing roots of the Pauli matrices Mathias Soeen, 1 D. Michael Miller, and Rolf Drechsler 1 1 Institute of Computer Science, niversity of Bremen, Germany Department of Computer Science,

More information

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

Quantum Error Correction and Fault Tolerance. Classical Repetition Code. Quantum Errors. Barriers to Quantum Error Correction Quantum Error Correction and Fault Tolerance Daniel Gottesman Perimeter Institute The Classical and Quantum Worlds Quantum Errors A general quantum error is a superoperator: ρ ΣA k ρ A k (Σ A k A k = I)

More information

Lecture 4: Postulates of quantum mechanics

Lecture 4: Postulates of quantum mechanics Lecture 4: Postulates of quantum mechanics Rajat Mittal IIT Kanpur The postulates of quantum mechanics provide us the mathematical formalism over which the physical theory is developed. For people studying

More information

Introduction to Quantum Information Processing CS 467 / CS 667 Phys 667 / Phys 767 C&O 481 / C&O 681

Introduction to Quantum Information Processing CS 467 / CS 667 Phys 667 / Phys 767 C&O 481 / C&O 681 Introduction to Quantum Information Processing CS 467 / CS 667 Phys 667 / Phys 767 C&O 48 / C&O 68 Lecture (2) Richard Cleve DC 27 cleve@cs.uwaterloo.ca Order-finding via eigenvalue estimation 2 Order-finding

More information

Seminar 1. Introduction to Quantum Computing

Seminar 1. Introduction to Quantum Computing Seminar 1 Introduction to Quantum Computing Before going in I am also a beginner in this field If you are interested, you can search more using: Quantum Computing since Democritus (Scott Aaronson) Quantum

More information

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

QUANTUM COMPUTING. Part II. Jean V. Bellissard. Georgia Institute of Technology & Institut Universitaire de France QUANTUM COMPUTING Part II Jean V. Bellissard Georgia Institute of Technology & Institut Universitaire de France QUANTUM GATES: a reminder Quantum gates: 1-qubit gates x> U U x> U is unitary in M 2 ( C

More information

Introduction to Quantum Computing

Introduction to Quantum Computing Introduction to Quantum Computing Petros Wallden Lecture 7: Complexity & Algorithms I 13th October 016 School of Informatics, University of Edinburgh Complexity - Computational Complexity: Classification

More information

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

C/CS/Phy191 Problem Set 6 Solutions 3/23/05 C/CS/Phy191 Problem Set 6 Solutions 3/3/05 1. Using the standard basis (i.e. 0 and 1, eigenstates of Ŝ z, calculate the eigenvalues and eigenvectors associated with measuring the component of spin along

More information

CHAPTER 8. COMPLEX NUMBERS

CHAPTER 8. COMPLEX NUMBERS CHAPTER 8. COMPLEX NUMBERS Why do we need complex numbers? First of all, a simple algebraic equation like x = 1 may not have a real solution. Introducing complex numbers validates the so called fundamental

More information

Lecture 4 Eigenvalue problems

Lecture 4 Eigenvalue problems Lecture 4 Eigenvalue problems Weinan E 1,2 and Tiejun Li 2 1 Department of Mathematics, Princeton University, weinan@princeton.edu 2 School of Mathematical Sciences, Peking University, tieli@pku.edu.cn

More information

Symmetries for fun and profit

Symmetries for fun and profit Symmetries for fun and profit Sourendu Gupta TIFR Graduate School Quantum Mechanics 1 August 28, 2008 Sourendu Gupta (TIFR Graduate School) Symmetries for fun and profit QM I 1 / 20 Outline 1 The isotropic

More information

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

LECTURE NOTES ON QUANTUM COMPUTATION. Cornell University, Physics , CS 483; Spring, 2005 c 2006, N. David Mermin LECTURE NOTES ON QUANTUM COMPUTATION Cornell University, Physics 481-681, CS 483; Spring, 2005 c 2006, N. David Mermin IV. Searching with a Quantum Computer Last revised 3/30/06 Suppose you know that eactly

More information

Lecture 21 Relevant sections in text: 3.1

Lecture 21 Relevant sections in text: 3.1 Lecture 21 Relevant sections in text: 3.1 Angular momentum - introductory remarks The theory of angular momentum in quantum mechanics is important in many ways. The myriad of results of this theory, which

More information

Chapter 2: Complex numbers

Chapter 2: Complex numbers Chapter 2: Complex numbers Complex numbers are commonplace in physics and engineering. In particular, complex numbers enable us to simplify equations and/or more easily find solutions to equations. We

More information

Fidelity of Quantum Teleportation through Noisy Channels

Fidelity of Quantum Teleportation through Noisy Channels Fidelity of Quantum Teleportation through Noisy Channels Sangchul Oh, Soonchil Lee, and Hai-woong Lee Department of Physics, Korea Advanced Institute of Science and Technology, Daejon, 305-701, Korea (Dated:

More information

ADVANCED QUANTUM INFORMATION THEORY

ADVANCED QUANTUM INFORMATION THEORY CDT in Quantum Engineering Spring 016 Contents ADVANCED QUANTUM INFORMATION THEORY Lecture notes Ashley Montanaro, University of Bristol ashley.montanaro@bristol.ac.uk 1 Introduction Classical and quantum

More information

A remarkable representation of the Clifford group

A remarkable representation of the Clifford group A remarkable representation of the Clifford group Steve Brierley University of Bristol March 2012 Work with Marcus Appleby, Ingemar Bengtsson, Markus Grassl, David Gross and Jan-Ake Larsson Outline Useful

More information

In a D-dimensional Hilbert space, a symmetric informationally complete POVM is a

In a D-dimensional Hilbert space, a symmetric informationally complete POVM is a To: C. A. Fuchs and P. Rungta From: C. M. Caves Subject: Symmetric informationally complete POVMs 1999 September 9; modified 00 June 18 to include material on G In a -dimensional Hilbert space, a symmetric

More information

Short Course in Quantum Information Lecture 5

Short Course in Quantum Information Lecture 5 Short Course in Quantum Information Lecture 5 Quantum Algorithms Prof. Andrew Landahl University of New Mexico Course Info All materials downloadable @ website http://info.phys.unm.edu/~deutschgroup/deutschclasses.html

More information

Reversible and Quantum computing. Fisica dell Energia - a.a. 2015/2016

Reversible and Quantum computing. Fisica dell Energia - a.a. 2015/2016 Reversible and Quantum computing Fisica dell Energia - a.a. 2015/2016 Reversible computing A process is said to be logically reversible if the transition function that maps old computational states to

More information

arxiv:quant-ph/ v5 6 Apr 2005

arxiv:quant-ph/ v5 6 Apr 2005 Nonunitary quantum circuit Hiroaki Terashima 1, and Masahito Ueda 1, arxiv:quant-ph/3461v5 6 Apr 5 1 Department of Physics, Tokyo Institute of Technology, Tokyo 15-8551, Japan CREST, Japan Science and

More information

Factoring on a Quantum Computer

Factoring on a Quantum Computer Factoring on a Quantum Computer The Essence Shor s Algorithm Wolfgang Polak wp@pocs.com Thanks to: Eleanor Rieffel Fuji Xerox Palo Alto Laboratory Wolfgang Polak San Jose State University, 4-14-010 - p.

More information

Short introduction to Quantum Computing

Short introduction to Quantum Computing November 7, 2017 Short introduction to Quantum Computing Joris Kattemölle QuSoft, CWI, Science Park 123, Amsterdam, The Netherlands Institute for Theoretical Physics, University of Amsterdam, Science Park

More information

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

Quantum Algorithms. Andreas Klappenecker Texas A&M University. Lecture notes of a course given in Spring Preliminary draft. Quantum Algorithms Andreas Klappenecker Texas A&M University Lecture notes of a course given in Spring 003. Preliminary draft. c 003 by Andreas Klappenecker. All rights reserved. Preface Quantum computing

More information