Quantum Computer Algorithms: basics

Transcription

1 Quantum Computer Algorithms: basics Michele Mosca Canada Research Chair in Quantum Computation SQUINT Summer School on Quantum Information Processing June 3

2 Overview A quantum computing model Basis changes Eigenvalue kick-back Some simple algorithms

3 A QUANTUM COMPUTING MODEL

4 Classical logic gates A gate is a function from m bits to n bits, for some fied numbers m and n AND NOT a b a b a a

5 Classical circuits We glue gates together to make circuits (or arras of gates ) which compute Boolean functions

6 Universal sets of logic gates A set B of gates is universal if, for an Boolean function F, there is a circuit composed of gates in B that computes F E.g. B = { NOT } is not universal E.g B = { AND } is not universal E.g. B = {NOT, AND, FANOUT } is universal

7 eample A circuit made from gates from set A = {,, }

8 Universal sets of logic gates If B is universal B = {,, } then e.g. = C C C

9 Universal sets of logic gates We can eactl simulate the circuit with gates from A with a circuit with gates from B C C C C

10 Making irreversible gates reversible Note that irreversible gates are reall just reversible gates where we hardwire some inputs and/or throw awa some outputs a a b b a b a b a b

11 Making irreversible circuits reversible a b c d Replace irreversible gates with their reversible counterparts a b c d

12 New gates and notation X X -gate or NOT-gate X controlled-not gate b b b b

13 A Classical Computing Model Acclic circuits of reversible gates

14 Eample phsical realization NOT (negligible coupling to the environment)

15 More logic gates (negligible coupling to the environment)

16 A classical computation

17 Aside: Is this realistic? We do have a theor of classical linear error correction. But before we worr about stabilizing this sstem, let s push forward its capabilities.

18 A quantum gate i NOT + i NOT +

19 A simple quantum circuit i + NOT NOT i

20 Linear Algebra notation NOT NOT i i i i i i =

21 Notation = = = = = = =

22 A quantum computation NOT i + NOT I i + CNOT i +

23 A quantum computation NOT I + i + i c NOT I i i i i

24 A Quantum Computing Model Acclic circuits of unitar gates (from a finite universal set ) and von Neumann measurements in the computational basis? = {,} a n

25 Universalit A set B of quantum gates is universal if, for an positive integer n, an unitar operator ( n U S U ) on n qubits and for an e >, there is a finite circuit in those gates that implements satisfing U ~ U ~ U < e where A = min?? = A?

26 In other words A set B of quantum gates is universal if, for an positive integer n, the gates of B acting on n qubits span a dense subset of S U ( n ). Wh not demand eact implementation of all operators? Eact universalit would require an infinite set of gates B and/or infinite sized circuits.

27 Some universal sets {C-NOT, all -qubit gates} {C-NOT, H, P} most -qubit gates are universal

28 BASIS CHANGES

29 Distinguishing orthogonal states Given a state {??, }? B =,?, K N?? = i j d i j we can in principle determine which state we have b performing a Von Neumann measurement with respect to the basis B

30 Distinguishing orthogonal states We can implement this measurement efficientl if we can efficientl implement the unitar transformation A? j = j? j A A t? j j

31 In general We can measure an state wrt the basis B in this wa j a j? j A A t? j j a j j j with probabilit a j

32 The Hadamard basis change H H H + + H

33 The Hadamard transformation: summar b H + ( ) b

34 The Hadamard transformation: circuit notation b b H + ( )

35 The Hadamard transformation on several bits H + ( ) H + ( ) H 3 + ( ) 3

36 The Hadamard transformation: global view H 3 H {, } 3 ( ) 8 3 H

37 The Hadamard transformation: global view 3 H H H {, } 3 ( ) 8 3

38 The Hadamard transformation: global view H H H 3 = {,} 3 ( ) 8 3

39 The Hadamard transformation on several bits + ( ) H + ( ) H 3 + ( ) H 3

40 The Hadamard transformation: global view H {, } 3 ( ) 3 H 3 H

41 The Hadamard transformation: global view {, } 3 ( ) 3 H H H 3

42 Looking at NOT and CNOT in Hadamard bases Consider appling a NOT (or X ) gate to the following states + X + X ( ) In other words: X = H Z H Z =

43 e.g. Now consider appling a controlled-not gate to the following states ( ) C N O T + ( + ) ( ) C N O T + ( + ) ( ) C N O T ( ) ( ) C N O T ( )

44 e.g. Now consider appling a controlled-not gate to the following states ( )( ) C N O T + + ( + )( + ) ( )( ) C N O T + ( )( + ) ( )( ) C N O T + ( )( ) ( )( ) C N O T ( + )( )

45 Eigenvalue kick-back

46 Computing functions into the phase Suppose we know how to compute a function f : {,} {,} c U f a c f ( ) ( ) ( ) a ( ) f ( )

47 Generalization: Eigenvalue kick-back Suppose we know how to compute an operator U? = Then the controlled-u gives us e if? c U? =? c U? = e if? ( ) (? e if )? c U + = +

48 How do we implement c-u? Replace ever gate G in the circuit for with a c-g. For eample, =

49 SOME SIMPLE ALGORITHMS

50 Deutsch s problem Compute ( ) f ( ) using U onl once f f H H f

51 Deutsch algorithm H f () H ( ) f () f () f = ) f ( ) f ( ( ) + ( ) )( ) f ( ) ( ) ) ( f ( ) f ( + ( ) )( )

52 Deutsch-Jozsa problem f : {,} n {,} Suppose promise that f is either constant or balanced. Decide if f is constant or balanced. with the Equivalentl, determine ( ) n f ( )

53 Deutsch-Jozsa problem H H H H {,} 3 ( ) 3 f ( ) + H H Probabilit of measuring f is ( ) i.e. we measure iff f is constant 3 f ( )

54 Bernstein-Vazirani problem Suppose f ( ) = a f : {,} n for some {,} a {, } is of the form n Given determine c U a f c f ( ) a = a a K a n

55 Bernstein-Vazirani problem H H H H H H a a a 3 f {,} 3 3 {,} 3 ( ) 3 a

56 Another propert of Hadamard transformation Consider n Z S + = + S s s S S Let Then = + S t t n t S S H ) ( { } S s t s Z t t S n = =, :

57 e.g. Consider }, { s S = s S + = + Then ( ) = + = + S t n t t n t s t n t n t t t S H ) ( ) ( ) (