This preview shows pages 1–3. Sign up to view the full content.
This preview has intentionally blurred sections. Sign up to view the full version.
View Full Document
Unformatted text preview: March 2, 2006 Physics 681481; CS 483: Discussion of #3 I. (a) For each of the four possibilities for the unknown function f , the corresponding forms for the state  i =  i f (0) i +  1 i f (1) i (1) are  i 00 = 1 2 (  i +  1 i )  i , f (0) = 0 , f (1) = 0; (2)  i 11 = 1 2 (  i +  1 i )  1 i , f (0) = 1 , f (1) = 1; (3)  i 01 = 1 2 (  i i +  1 i 1 i ) , f (0) = 0 , f (1) = 1; (4)  i 10 = 1 2 (  i 1 i +  1 i i ) , f (0) = 1 , f (1) = 0 . (5) We know that  i has one of these four forms, and wish to distinguish between two cases: Case 1:  i =  i 00 or  i 11 ; Case 2:  i =  i 01 or  i 10 . By applying Hadamard transformations we can change the four possible states to ( H H )  i 00 = 1 2 (  i i +  i 1 i ) , f (0) = 0 , f (1) = 0 , (6) ( H H )  i 11 = 1 2 (  i i   i 1 i ) , f (0) = 1 , f (1) = 1 , (7) ( H H )  i 01 = 1 2 (  i i +  1 i 1 i ) , f (0) = 0 , f (1) = 1 , (8) ( H H )  i 10 = 1 2 (  i i   1 i 1 i ) , f (0) = 1 , f (1) = 0 . (9) If we now make a measurement then if we have one of the Case1 states, (6) or (7), we get 00 half the time and 01 half the time, while if we have one of the Case2 states, (8) or (9), we get 00 half the time and 11 half the time. So regardless of what the state is, half the time we get 00 and learn nothing whatever, and half the time we get 01 (Case 1) or 11 (Case 2) and learn which case we are dealing with. (b) We know that the state (1) is one of the four states (2)(5). We are allowed to apply an arbitrary twoQbit unitary transformation U to  i before we make the measurement. If every possible measurement outcome must rule out one or the other of the two cases, then if U  i 00 , U  i 11 , U  i 01 , and U  i 10 are all expanded in the computational basis, then those computationalbasis states that appear in the Case1 expansions cannot appear in the Case2 expansions, for otherwise there would be a nonzero probability of a measurement outcome that did not enable us to discriminate between the two cases. Consequently U  i 00 and U  i 11 must each be orthogonal to each of U  i 01 and U  i 10 . But this is 1 impossible, because unitary transformations preserve inner products, while (2)(5) show that the inner product of any Case1 state with any Case2 state is 1 2 . (c) Were asked to show that no matter what unitary transformation is applied to the state (1) prior to a measurement, the probability of being able to learn from the measurement whether or not f (0) = f (1) cannot exceed 1 2 . I show this below in an even more general situation, in which we bring in n additional ( ancillary ) Qbits. These might) Qbits....
View Full
Document
 Spring '08
 Ginsparg

Click to edit the document details