Introduction to Quantum logic (2) 2002.10.10 Yong-woo Choi.

Slides:



Advertisements
Similar presentations
Department of Computer Science & Engineering University of Washington
Advertisements

Generating Random Stabilizer States in Matrix Multiplication Time: A Theorem in Search of an Application Scott Aaronson David Chen.
Quantum Computation and Quantum Information – Lecture 3
Quantum Circuit Decomposition
Puzzle Twin primes are two prime numbers whose difference is two.
1 Combinational Logic Design&Analysis. 2 Introduction We have learned all the prerequisite material: – Truth tables and Boolean expressions describe functions.
Quantum Packet Switching A. Yavuz Oruç Department of Electrical and Computer Engineering University of Maryland, College Park.
Quantum Logic Marek Perkowski. Sources Mosca, Hayes, Ekert, Lee Spector in collaboration with Herbert J. Bernstein, Howard Barnum, Nikhil Swamy {lspector,
Midterm Exam for Quantum Computing Class Marek Perkowski.
Review of Basics and Elementary introduction to quantum postulates.
Advanced Computer Architecture Laboratory EECS Fall 2001 Quantum Logic Circuits John P. Hayes EECS Department University of Michigan, Ann Arbor,
Chien Hsing James Wu David Gottesman Andrew Landahl.
Derivatives of Perkowski’s Gate k f2 g h t t De Vos gates  f1f1  A B P Q Feynman gates A B P f 2f 2  C Q R Toffoli gates Q P f 2 A C R B S D 0.
Quantum Error Correction Michele Mosca. Quantum Error Correction: Bit Flip Errors l Suppose the environment will effect error (i.e. operation ) on our.
Quantum Computing Ambarish Roy Presentation Flow.
Quantum Theory Made Easy 0 1 Classical p0p0 p1p1 probabilities Quantum a0a0 a1a1 0 1 amplitudes p 0 +p 1 =1|a 0 | 2 +|a 1 | 2 =1 bit qubit p i is a real.
Review of Basics and Elementary introduction to quantum postulates.
Engineering Models and Design Methods for Quantum State Machines.
“Both Toffoli and CNOT need little help to do universal QC” (following a paper by the same title by Yaoyun Shi) paper.
Dirac Notation and Spectral decomposition Michele Mosca.
Quantum Behaviors: synthesis and measurement Martin Lukac Normen Giesecke Sazzad Hossain and Marek Perkowski Department of Electrical Engineering Portland.
Anuj Dawar.
1 Recap (I) n -qubit quantum state: 2 n -dimensional unit vector Unitary op: 2 n  2 n linear operation U such that U † U = I (where U † denotes the conjugate.
Authors Faisal Shah Khan Marek A. Perkowski Slides prepared by Faisal Shah Khan.
An Arbitrary Two-qubit Computation in 23 Elementary Gates or Less Stephen S. Bullock and Igor L. Markov University of Michigan Departments of Mathematics.
Dirac Notation and Spectral decomposition
CSEP 590tv: Quantum Computing Dave Bacon June 29, 2005 Today’s Menu Administrivia Complex Numbers Bra’s Ket’s and All That Quantum Circuits.
quantum computing |Y0 U H H-1 Y|A|Y quantum-bit (qubit) 0  
Quantum Computing MAS 725 Hartmut Klauck NTU
Classical Versus Quantum. Goal: Fast, low-cost implementation of useful algorithms using standard components (gates) and design techniques Classical Logic.
Alice and Bob’s Excellent Adventure
Michael A. Nielsen University of Queensland Quantum Mechanics I: Basic Principles Goal of this and the next lecture: to introduce all the basic elements.
Quantum Mechanics(14/2)Taehwang Son Functions as vectors  In order to deal with in more complex problems, we need to introduce linear algebra. Wave function.
Outline Main result Quantum computation and quantum circuits Feynman’s sum over paths Polynomials QuPol program “Quantum Polynomials” Quantum polynomials.
Logic gates & Boolean Algebra. Introduction Certain components (called logic elements) of the computer combine electric pulses using a set of rules. Electric.
1 Cost Metrics for Reversible and Quantum Logic Synthesis Dmitri Maslov 1 D. Michael Miller 2 1 Dept. of ECE, McGill University 2 Dept. of CS, University.
ANPA 2002: Quantum Geometric Algebra 8/15/2002 DJM Quantum Geometric Algebra ANPA Conference Cambridge, UK by Dr. Douglas J. Matzke Aug.
 Quantum State Tomography  Finite Dimensional  Infinite Dimensional (Homodyne)  Quantum Process Tomography (SQPT)  Application to a CNOT gate  Related.
Solving mutual exclusion by using entangled Qbits Mohammad Rastegari proff: Dr.Rahmani.
1 hardware of quantum computer 1. quantum registers 2. quantum gates.
A brief introduction to Quantum computer
8.4.2 Quantum process tomography 8.5 Limitations of the quantum operations formalism 量子輪講 2003 年 10 月 16 日 担当:徳本 晋
1 Introduction to Quantum Information Processing CS 467 / CS 667 Phys 667 / Phys 767 C&O 481 / C&O 681 Richard Cleve DC 653 Lecture.
Logic Gates M. AL-Towaileb1. Introduction Boolean algebra is used to model the circuitry of electronic devices. Each input and each output of such a device.
Garbage in Reversible Designs of Multiple Output Functions
IPQI-2010-Anu Venugopalan 1 qubits, quantum registers and gates Anu Venugopalan Guru Gobind Singh Indraprastha Univeristy Delhi _______________________________________________.
Quantum Computers The basics. Introduction 2/47 Dušan Gajević.
Quantum Cost Calculation of Reversible Circuit Sajib Mitra MS/ Department of Computer Science and Engineering University of Dhaka
What is a quantum computer? A quantum computer is any device for computation that makes use of quantum mechanical phenomena to perform operations on data,
Logic Gates and Boolean Algebra Introduction to Logic II.
1 An Introduction to Quantum Computing Sabeen Faridi Ph 70 October 23, 2007.
Beginner’s Guide to Quantum Computing Graduate Seminar Presentation Oct. 5, 2007.
Intro to Quantum Algorithms SUNY Polytechnic Institute Chen-Fu Chiang Fall 2015.
Attendance Syllabus Textbook (hardcopy or electronics) Groups s First-time meeting.
Quantum gates SALEEL AHAMMAD SALEEL. Introduction.
Richard Cleve DC 3524 Introduction to Quantum Information Processing CS 467 / CS 667 Phys 667 / Phys 767 C&O 481 / C&O 681 Lecture.
Postulates of Quantum Mechanics
Introduction to Quantum Computing Lecture 1 of 2
CSCI-100 Introduction to Computing
MATH2999 Directed Studies in Mathematics Quantum Process on One Qubit System Name: Au Tung Kin UID:
Example of programming a quantum robot
Quantum Computing Dorca Lee.
A Ridiculously Brief Overview
Chap 4 Quantum Circuits: p
Introduction to Quantum logic (2)
OSU Quantum Information Seminar
Homework 2 This homework is the first use of quantum gates. In lectures we learned about the following gates: inverter, Feynman (controlled NOT), Toffoli.
Quantum Computation and Information Chap 1 Intro and Overview: p 28-58
Design of new quantum primitives
Sajib Kumar Mitra, Lafifa Jamal and Hafiz Md. Hasan Babu*
Presentation transcript:

Introduction to Quantum logic (2) Yong-woo Choi

Classical Logic Circuits v Circuit behavior is governed implicitly by classical physics v Signal states are simple bit vectors, e.g. X = v Operations are defined by Boolean Algebra

Quantum Logic Circuits v Circuit behavior is governed explicitly by quantum mechanics v Signal states are vectors interpreted as a superposition of binary “qubit” vectors with complex-number coefficients v Operations are defined by linear algebra over Hilbert Space and can be represented by unitary matrices with complex elements

Signal state (one qubit) Corresponsd to

More than one qubit v If we concatenate two qubits We have a 2-qubit system with 4 basis states We have a 2-qubit system with 4 basis states And we can also describe the state as And we can also describe the state as Or by the vector Tensor product

Quantum Operations v Any linear operation that takes states satisfying satisfying and maps them to states and maps them to states satisfying satisfying must be UNITARY must be UNITARY

Find the quantum gate(operation) From upper statement We now know the necessities 1. A matrix must has inverse, that is reversible. 1. A matrix must has inverse, that is reversible. 2. Inverse matrix is the same as. 2. Inverse matrix is the same as. So, reversible matrix is good candidate for quantum gate

Quantum Gate  One-Input gate: Wire WIRE   By matrix Wire Input Output

Quantum Gate  One-Input gate: NOT NOT   By matrix NOT Gate Input Output

Quantum Gate  Two-Input Gate: Controlled NOT (Feynman gate) CNOT   By matrix = concatenate y

Quantum Gate  3-Input gate: Controlled CNOT (Toffoli gate) NOT NOT   By matrix =

Quantum circuit G1 G2 G3 G4 G5 G7 G6 G8 TensorProduct Matrix multiplication multiplication