Quantum Cost Calculation of Reversible Circuit Sajib Mitra MS/2008-09 Department of Computer Science and Engineering University of Dhaka

Slides:



Advertisements
Similar presentations
Quantum Computation and Quantum Information – Lecture 3
Advertisements

Quantum Circuit Decomposition
University of Queensland
Reversible Gates in various realization technologies
( ( ) quantum bits conventional bit
Synthesis of Reversible Synchronous Counters Mozammel H A Khan Department of Computer Science and Engineering, East West University, 43 Mohakhali, Dhaka.
A Transformation Based Algorithm for Reversible Logic Synthesis D. Michael Miller Dmitri Maslov Gerhard W. Dueck Design Automation Conference, 2003.
Quantum Error Correction SOURCES: Michele Mosca Daniel Gottesman Richard Spillman 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.
University of Queensland
Engineering Models and Design Methods for Quantum State Machines.
April 25, A Constructive Group Theory based Algorithm for Reversible Logic Synthesis.
Design of Regular Quantum Circuits
Quantum Computing Joseph Stelmach.
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.
Minimization Techniques for Reversible Logic Synthesis.
Grover’s Algorithm in Machine Learning and Optimization Applications
Introduction to Quantum logic (2) Yong-woo Choi.
New Approach to Quantum Calculation of Spectral Coefficients Marek Perkowski Department of Electrical Engineering, 2005.
ROM-based computations: quantum versus classical B.C. Travaglione, M.A.Nielsen, H.M. Wiseman, and A. Ambainis.
Microwave Engineering
Classical Versus Quantum. Goal: Fast, low-cost implementation of useful algorithms using standard components (gates) and design techniques Classical Logic.
Quantum Error Correction Jian-Wei Pan Lecture Note 9.
QUANTUM ENTANGLEMENT AND IMPLICATIONS IN INFORMATION PROCESSING: Quantum TELEPORTATION K. Mangala Sunder Department of Chemistry IIT Madras.
Alice and Bob’s Excellent Adventure
Quantum Computing Presented by: Don Davis PHYS
CSCI-235 Micro-Computers in Science Hardware Design Part I.
REVERSIBLE LOGIC SYNTHESIS. Overview of the Presentation 1. Introduction 2. Design of a Reversible Full-adder Circuit.
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.
Solving mutual exclusion by using entangled Qbits Mohammad Rastegari proff: Dr.Rahmani.
1 SNS COLLEGE OF ENGINEERING Department of Electronics and Communication Engineering Subject: Digital communication Sem: V Cyclic Codes.
Important Components, Blocks and Methodologies. To remember 1.EXORS 2.Counters and Generalized Counters 3.State Machines (Moore, Mealy, Rabin-Scott) 4.Controllers.
1 hardware of quantum computer 1. quantum registers 2. quantum gates.
Islamic University Of Gaza, Nael Aburas Data Storage Introduction to computer, 2nd semester, 2010/2011 Mr.Nael Aburas
CSCI-100 Introduction to Computing Hardware Design Part I.
You Did Not Just Read This or did you?. Quantum Computing Dave Bacon Department of Computer Science & Engineering University of Washington Lecture 3:
Quantum Computing Paola Cappellaro
Design of an 8-bit Carry-Skip Adder Using Reversible Gates Vinothini Velusamy, Advisor: Prof. Xingguo Xiong Department of Electrical Engineering, University.
A brief introduction to Quantum computer
Quantum Computing Reversibility & Quantum Computing.
Introduction to Quantum Computing
Generating Toffoli Networks from ESOP Expressions Yasaman Sanaee Winter 2009 University of New Brunswick.
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.
Garbage in Reversible Designs of Multiple Output Functions
CLASSICAL LOGIC SRFPGA layout With I/O pins.
Primitive Logic Functions Kuliah Sistem Digital, Teknik Elektro UMY (Rahmat Adiprasetya)
IPQI-2010-Anu Venugopalan 1 qubits, quantum registers and gates Anu Venugopalan Guru Gobind Singh Indraprastha Univeristy Delhi _______________________________________________.
An Introduction to Quantum Computation Sandy Irani Department of Computer Science University of California, Irvine.
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,
Online Testable Fault Tolerant Full Adder in Reversible Logic Synthesis Sajib Kumar Mitra MS/ Department of Computer Science and Engineering University.
Systems Architecture, Fourth Edition 1 Processor Technology and Architecture Chapter 4.
BDD-based Synthesis of Reversible Logic for Large Functions Robert Wille Rolf Drechsler DAC’09 Presenter: Meng-yen Li.
Beginner’s Guide to Quantum Computing Graduate Seminar Presentation Oct. 5, 2007.
Quantum gates SALEEL AHAMMAD SALEEL. Introduction.
Prabhas Chongstitvatana Chulalongkorn University
Schematics 201 Lecture Topic: Electrical Symbols
Week 7: Gates and Circuits: PART II
Introduction to Quantum logic (2)
OSU Quantum Information Seminar
13 Digital Logic Circuits.
GCSE Computer Science – Logic Gates & Boolean Expressions
Quantum Computing Prabhas Chongstitvatana Faculty of Engineering
Linear Optical Quantum Computing
ELEC Digital Logic Circuits Fall 2015 Logic Testing (Chapter 12)
Design of new quantum primitives
Quantum Computing Joseph Stelmach.
Sajib Kumar Mitra, Lafifa Jamal and Hafiz Md. Hasan Babu*
Agenda Lecture Content: Combinatorial Circuits Boolean Algebras
Presentation transcript:

Quantum Cost Calculation of Reversible Circuit Sajib Mitra MS/ Department of Computer Science and Engineering University of Dhaka

O VERVIEW Reversible Logic Quantum Computing Quantum Gates Realization of Quantum NOT Quantum wire and Special Cases Quantum Cost Calculation of RC Conclusion Assignment References

Reversible Logic Equal number of input and output vectors Preserves an unique mapping between input and output vectors of the particular circuit One or more operation can implement in a single unit called Reversible Gate ( N x N ) Reversible Gate has N number of inputs and N number of outputs where N= {1, 2, 3, …}

Reversible Logic (cont…) Advantage Recovers bit-loss as well as production of heat Adaptable for Quantum Computing Multiple operations in a single cycle Uses low power CMOS technology

Reversible Logic (cont…) Limitation Feedback is strictly restricted Maximum and minimum Fan-out is always one

Reversible Logic (cont…) Most Popular reversible gates are as follows: Fig. 3x3 Dimensional Reversible gates

Reversible Logic (cont…) Most Popular reversible gates are as follows: Fig. 4x4 Dimensional Reversible gates

Quantum Computing First proposed in the 1970s, quantum computing relies on quantum physics by taking advantage of certain quantum physics properties of atoms or nuclei that allow them to work together as quantum bits, or qubits, to be the computer's processor and memory. Qubits can perform certain calculations exponentially faster than conventional computers. Quantum computers encode information as a series of quantum-mechanical states such as spin directions of electrons or polarization orientations of a photon that might represent as or might represent a superposition of the two values.

Quantum Computing (cont…) Quantum Computation uses matrix multiplication rather than conventional Boolean operations and the information measurement is realized using qubits rather than bits The matrix operations over qubits are simply specifies by using quantum primitives as follows:

Quantum Computing (cont…) InputOutput ABPQ Input/output Pattern Symbol 00a 01b 10c 11d

Quantum Computing (cont…)

InputOutput ABPQ

Quantum Gates Fig: Quantum Gates are used for realizing Reversible Circuit

Quantum Gates (cont…) What is SRN? But

Quantum Gates (cont…) What is SRN? But NOT But How?

Realization of Quantum NOT Basic operator for single input line: 1. NOT 2. Coin Flip 3. Quantum Coin Flip

Realization of Quantum NOT (cont…)

/2 1/4 Probability of 0 or 1 based on Coin Flip:

Realization of Quantum NOT (cont…) /2 1/4 Probability of 0 or 1 based on Coin Flip: So the Probability of P(0)=1/2 P(1)=1/2

Realization of Quantum NOT (cont…) Probability of |0> or |1> based on Quantum Coin Flip: |1 > |0 > |1 > |0 > |1 >

Realization of Quantum NOT (cont…) Probability of |0> or |1> based on Quantum Coin Flip: |1 > |0 > |1 > |0 > |1 > So the Probability of P(|0>)=1 P(|1>)=0

Realization of Quantum NOT (cont…) NOT operation can be divided into to SRN matrix production NO T 10

Quantum Cost ( QC ) of any reversible circuit is the total number of 2x2 quantum primitives which are used to form equivalent quantum circuit.

Quantum Wire and Special Cases (cont…) Quantum XOR gate, cost is 1

Quantum Wire and Special Cases (cont…) Two Quantum XOR gates, but cost is 0

Quantum Wire and Special Cases (cont…) Quantum Wire

Quantum Wire and Special Cases (cont…) SRN and its Hermitian Matrix on same line. VV + = Identity and the total cost = 0 Quantum Cost of V and V + are same, equal to one.

Quantum Wire and Special Cases (cont…) SRN and its Hermitian Matrix on same line. VV + = Identity and the total cost = 0

Quantum Wire and Special Cases (cont…) The attachment of SRN (Hermitian Matrix of SRN) and EX-OR gate on the same line generates symmetric gate pattern has a cost of 1. Here T= V or V+

Quantum Wire and Special Cases (cont…) The cost of all 4x4 Unitary Matrices (b, c, d) and the symmetric gate pattern (e, f, g, h) are unit.

Quantum Cost of F2G

Quantum Cost of Toffoli Gate But How?

Quantum Cost of Toffoli Gate InputOutput ABR 00C 01C 10C 11C’

Quantum Cost of Toffoli Gate NOT InputOutput ABR 00C 01C 10C 11C’ InputOutput ABR 00C 01C 10C 11C’

Quantum Cost of Toffoli Gate InputOutput ABR 00C 01C 10C 11C’ InputOutput ABR 00C 01C 10C 11C’

Now

Quantum Cost of Toffoli Gate InputOutput ABR 00C 01C 10C 11C’ Have anything wrong?

Quantum Cost of Toffoli Gate InputOutput ABR 00C 01C 10C 11C’ Ok

Quantum Cost of Toffoli Gate (cont…) Alternate representation of Quantum circuit of TG…

Quantum Cost of Fredkin Gate But How?

Quantum Cost of Fredkin Gate (cont…)

Quantum Cost of Peres Gate

Quantum Cost of NFT Gate

Quantum Cost of MIG Gate

Assignment Find out cost

About Author Sajib Kumar Mitra is an MS student of Dept. of Computer Science and Engineering, University of Dhaka, Dhaka, Bangladesh. His research interests include Electronics, Digital Circuit Design, Logic Design, and Reversible Logic Synthesis.

T HANKS T O A LL