Quantum Computing MAS 725 Hartmut Klauck NTU 12.3.2012.
-
Upload
charles-wade -
Category
Documents
-
view
221 -
download
1
Transcript of Quantum Computing MAS 725 Hartmut Klauck NTU 12.3.2012.
![Page 1: Quantum Computing MAS 725 Hartmut Klauck NTU 12.3.2012.](https://reader035.fdocuments.in/reader035/viewer/2022062313/56649d015503460f949d41ae/html5/thumbnails/1.jpg)
Quantum ComputingMAS 725Hartmut KlauckNTU12.3.2012
![Page 2: Quantum Computing MAS 725 Hartmut Klauck NTU 12.3.2012.](https://reader035.fdocuments.in/reader035/viewer/2022062313/56649d015503460f949d41ae/html5/thumbnails/2.jpg)
Topics today
Superdense coding Distinguishing quantum states Bell inequalities
![Page 3: Quantum Computing MAS 725 Hartmut Klauck NTU 12.3.2012.](https://reader035.fdocuments.in/reader035/viewer/2022062313/56649d015503460f949d41ae/html5/thumbnails/3.jpg)
Superdense Coding
Alice has two bits of classical information she wants to send to Bob
We allow quantum communication Can we achieve this with sending one qubit (and
using entanglement)?
![Page 4: Quantum Computing MAS 725 Hartmut Klauck NTU 12.3.2012.](https://reader035.fdocuments.in/reader035/viewer/2022062313/56649d015503460f949d41ae/html5/thumbnails/4.jpg)
Superdense Coding
Communicate two bits without error: Even when Alice and Bob share entanglement,
sending 1 classical bit is not enough Without entanglement Alice needs to send 2
qubits [Holevo 73] Superdense Coding allows to send 2 bits with 1
qubit of communication and the consumption of 1 EPR pair
Note the two bits to be communicated are not yet known when Alice and Bob exchange the EPR pair
![Page 5: Quantum Computing MAS 725 Hartmut Klauck NTU 12.3.2012.](https://reader035.fdocuments.in/reader035/viewer/2022062313/56649d015503460f949d41ae/html5/thumbnails/5.jpg)
Superdense Coding
[Bennett and Wiesner 92] Alice applies a unitary transformation to her qubit xy=00 ) I (Identity) xy=01 ) Z (Phase Flip) xy=10 ) X (Bit Flip) xy=11 ) i¢Y
Bit and Phase Flip
![Page 6: Quantum Computing MAS 725 Hartmut Klauck NTU 12.3.2012.](https://reader035.fdocuments.in/reader035/viewer/2022062313/56649d015503460f949d41ae/html5/thumbnails/6.jpg)
Superdense Coding
The result is one of the four Bell states!
xy=00: 1/21/2 (|00i+|11i) xy=01: 1/21/2 (|00i-|11i) xy=10: 1/21/2 (|01i+|10i) xy=11: 1/21/2 (|01i-|10i)
Bob receives Alice’s qubit Since the states are mutually orthogonal for all 4 inputs, we
can measure them and perfectly distinguish them Measure in the Bell basis
![Page 7: Quantum Computing MAS 725 Hartmut Klauck NTU 12.3.2012.](https://reader035.fdocuments.in/reader035/viewer/2022062313/56649d015503460f949d41ae/html5/thumbnails/7.jpg)
Superdense Coding
Alternative: replace measuring in the Bell basis by:
Apply the unitary operation that maps the Bell basis onto the standard basis
For this simply reverse the circuit to generate Bell states
Then measure in the standard basis
![Page 8: Quantum Computing MAS 725 Hartmut Klauck NTU 12.3.2012.](https://reader035.fdocuments.in/reader035/viewer/2022062313/56649d015503460f949d41ae/html5/thumbnails/8.jpg)
A remark
The superdense coding protocol is optimal: Suppose Alice and Bob share an arbitrary
entangled state (independent of the classical message they want to send)
They still have to send n/2 qubits to communicate n classical bits
![Page 9: Quantum Computing MAS 725 Hartmut Klauck NTU 12.3.2012.](https://reader035.fdocuments.in/reader035/viewer/2022062313/56649d015503460f949d41ae/html5/thumbnails/9.jpg)
Distinguishing quantum states
We have a known set of quantum statesS={ |1 i ,…, |ki }
Input: a state from S Desired output: index i of the given state Identification Problem
Suppose all states in S are pairwise orthogonal We can solve the problem perfectly: construct an
observable with subspaces Si=span(|ii), and projectors |iihi|
![Page 10: Quantum Computing MAS 725 Hartmut Klauck NTU 12.3.2012.](https://reader035.fdocuments.in/reader035/viewer/2022062313/56649d015503460f949d41ae/html5/thumbnails/10.jpg)
Distinguishing states that are not orthogonal Let S={ |i , |i } with h | i 0 Can we solve the indentification problem? |i = |i + |i with = h|i A projective measurement is linear, i.e.
”-proportion” of |i behaves just like |i With probability |h|i|2 the output on |i is
(if the output on |i is always ) Hence the identification problem cannot be solved
without error!
![Page 11: Quantum Computing MAS 725 Hartmut Klauck NTU 12.3.2012.](https://reader035.fdocuments.in/reader035/viewer/2022062313/56649d015503460f949d41ae/html5/thumbnails/11.jpg)
Which features of quantum mechanics are „nonclassical“? Classical physics is deterministic Example: Rolling a die
The reason we model this with probabilities is that we don‘t know the initial state of the die, and that computing the exact motions is hard
Quantum mechanics is intrinsically probabilistic
God does not play dice
![Page 12: Quantum Computing MAS 725 Hartmut Klauck NTU 12.3.2012.](https://reader035.fdocuments.in/reader035/viewer/2022062313/56649d015503460f949d41ae/html5/thumbnails/12.jpg)
Which features of quantum mechanics are „nonclassical“? [Einstein Podolsky Rosen 35] claimed that quantum mechanics
gives an incomplete picture of reality What does that mean? There might be a deeper „classical“ theory that allows to
eliminate the probabilistic predictions of quantum mechanics by referring to „hidden parameters“
The state 1/21/2 (|00i+|11i) on two spatially separated qubits exhibits „spooky actions at a distance“: when measured it behaves like two perfectly correlated coin tosses, but (a large enough) distance would not allow communication
![Page 13: Quantum Computing MAS 725 Hartmut Klauck NTU 12.3.2012.](https://reader035.fdocuments.in/reader035/viewer/2022062313/56649d015503460f949d41ae/html5/thumbnails/13.jpg)
Quantum mechanics vs. local and realistic theories A theory is
local, when spatially separated systems do not influence each other
realistic, when properties are determined by the system that is measured already before a measurement• Properties can be predicted with certainty in principle• Properties are objective
![Page 14: Quantum Computing MAS 725 Hartmut Klauck NTU 12.3.2012.](https://reader035.fdocuments.in/reader035/viewer/2022062313/56649d015503460f949d41ae/html5/thumbnails/14.jpg)
Bell inequalities
Charlie prepares two particles (in some state) and gives one to Alice and Bob each
Alice and Bob are separated Alice‘s particle has properties for Alice PQ and PR
with values Q and R Bob‘s particle has properties PS and PT with values S
and T Values of the properties are „objective“, i.e., are
determined before the measurement takes place Q,R,S,T 2 {-1,1}
![Page 15: Quantum Computing MAS 725 Hartmut Klauck NTU 12.3.2012.](https://reader035.fdocuments.in/reader035/viewer/2022062313/56649d015503460f949d41ae/html5/thumbnails/15.jpg)
Bell inequalities
Rewrite QS+RS+RT-QT = Q( S-T ) + R( S+T ) S-T=0 or S+T=0, and QS+RS+RT-QT = § 2 We bound the expectation E[QS+RS+RT-QT] · 2 The random experiment here: Charlie‘s preparation of the
particles There is no randomness after Charlie has prepared them Now we have probabilities P(q,r,s,t) of the event that the
particles satisfy Q=q, R=r, S=s, T=t Expectation E[QS+RS+RT-QT] · 2 By linearity:
E[QS]+E[RS]+E[RT]-E[QT] · 2
![Page 16: Quantum Computing MAS 725 Hartmut Klauck NTU 12.3.2012.](https://reader035.fdocuments.in/reader035/viewer/2022062313/56649d015503460f949d41ae/html5/thumbnails/16.jpg)
Bell inequalities
Assumptions behind the inequality: There are probabilities P(q,r,s,t) [realism], and the measurements are independent [locality]
![Page 17: Quantum Computing MAS 725 Hartmut Klauck NTU 12.3.2012.](https://reader035.fdocuments.in/reader035/viewer/2022062313/56649d015503460f949d41ae/html5/thumbnails/17.jpg)
Measuring EPR pairs
State of the two particles: 1/21/2 (|01i-|10i)
We show that there are observables such that E[QS]+E[RS]+E[RT]-E[QT] ¸ 2¢ 21/2
Experimental test decides in favor of quantum mechanics [Aspect 82]
![Page 18: Quantum Computing MAS 725 Hartmut Klauck NTU 12.3.2012.](https://reader035.fdocuments.in/reader035/viewer/2022062313/56649d015503460f949d41ae/html5/thumbnails/18.jpg)
Hidden parameters
We give a slightly different view of this result via games A classical model with hidden parameters: Alice and Bob receive particles prepared by Charlie
This means: There is shared classical information, which determines
the value for all measurements performed by Alice and Bob
Remark: given a realistic theory with hidden parameters such a list exists
For the rest of the protocol/game Alice and Bob are separated (spatially and causally)
![Page 19: Quantum Computing MAS 725 Hartmut Klauck NTU 12.3.2012.](https://reader035.fdocuments.in/reader035/viewer/2022062313/56649d015503460f949d41ae/html5/thumbnails/19.jpg)
Hidden parameters
The task of Alice and Bob: Alice and Bob can initially agree on a strategy, then no further
communication is allowed Alice and Bob then receive a random bit x resp. Y They may use more shared randomness They produce outputs a,b The protocol succeeds, if xÆy = a©b
x,y describe the property that has to be measured What is the winning probability of the best protocol? Optimal strategy: both always output 0 They win with probability 3/4
If a locally realistic theory with hidden parameters can „explain“ quantum theory, then both theories need to predict the same outcome. I.e., every quantum strategy needs to have success · ¾
![Page 20: Quantum Computing MAS 725 Hartmut Klauck NTU 12.3.2012.](https://reader035.fdocuments.in/reader035/viewer/2022062313/56649d015503460f949d41ae/html5/thumbnails/20.jpg)
A quantum protocol
Alice and Bob share the state 1/21/2 (|01i-|10i)
x=0, Alice measures in the standard basis and outputs the result
x=1, Alice applies the rotation
measures, outputs the result
y=0, Bob measures, outputs the complement of the result
y=1, Bob rotates with
measures, outputs complement
![Page 21: Quantum Computing MAS 725 Hartmut Klauck NTU 12.3.2012.](https://reader035.fdocuments.in/reader035/viewer/2022062313/56649d015503460f949d41ae/html5/thumbnails/21.jpg)
Rotation gate
Qubit |0i is mapped to cos(/8) |0i + sin(/8) |1i
Probability of measuring 0 is thencos2(/8)
![Page 22: Quantum Computing MAS 725 Hartmut Klauck NTU 12.3.2012.](https://reader035.fdocuments.in/reader035/viewer/2022062313/56649d015503460f949d41ae/html5/thumbnails/22.jpg)
Analysis
Case 1: x=0, y=0; both measure in the standard basis, output a,b with a=b, hence a©b=0,result is always correct
Case 2: x=0, y=1; A) Alice measures a=0 (with prob. ½)Remaining state is |01iBob now has |1i, i.e., b=0 with prob. cos2(/8), error is 1-cos2(/8)= sin2(/8)
B) Alice measures a=1, like case 2 a) Case 3: x=1, y=0; analogous , error sin2(/8)
![Page 23: Quantum Computing MAS 725 Hartmut Klauck NTU 12.3.2012.](https://reader035.fdocuments.in/reader035/viewer/2022062313/56649d015503460f949d41ae/html5/thumbnails/23.jpg)
Analysis
Case 4: x=y=1, now the desired output is a©b=1Alice and Bob both rotate before measuring
Alice rotates by -/8, Bob rotates by +/8 Now the two measurements are independent (angle
is ¼/4), and the error is ½ A tedious calculation shows that the state after
the rotations is ½ ( |00i + |01i - |10i +|00i ) Total error:
¼ (0 + 2¢sin2(/8) + 1/2) ¼ 0.2 Hence the success probability is larger than in any
classical theory
![Page 24: Quantum Computing MAS 725 Hartmut Klauck NTU 12.3.2012.](https://reader035.fdocuments.in/reader035/viewer/2022062313/56649d015503460f949d41ae/html5/thumbnails/24.jpg)
Back to Bell inequality
R: result of measuring in the standard basis (§ 1) Q: result of measuring after Alice’s rotation (§ 1)
S: result of measuring in the standard basis (§ 1) T: result measuring after Bob’s rotation (§ 1)
E[RS]=1, E[QS]=E[RT]=cos2(/8)E[QT]=1/2
Hence E[RS]+E[QS]+E[RT]-E[QT]=1 + 2 cos2(/8) - 1/2 ¼ 2.2 > 2
![Page 25: Quantum Computing MAS 725 Hartmut Klauck NTU 12.3.2012.](https://reader035.fdocuments.in/reader035/viewer/2022062313/56649d015503460f949d41ae/html5/thumbnails/25.jpg)
Was we know
Quantum effects are fundamentally different from classical physics
In toy problems (Deutsch Josza) quantum computers can beat classical computers
Do we get speedups for interesting problems? Is it possible to solve NP-complete problems efficiently on
quantum computers? How about uncomputable functions??
![Page 26: Quantum Computing MAS 725 Hartmut Klauck NTU 12.3.2012.](https://reader035.fdocuments.in/reader035/viewer/2022062313/56649d015503460f949d41ae/html5/thumbnails/26.jpg)
Goals of quantum computing
(Building a quantum computer) Design efficient algorithms Design and analyze protocols for quantum
communication/entanglement assisted communication
Quantum cryptography Fault tolerance
![Page 27: Quantum Computing MAS 725 Hartmut Klauck NTU 12.3.2012.](https://reader035.fdocuments.in/reader035/viewer/2022062313/56649d015503460f949d41ae/html5/thumbnails/27.jpg)
Simon’s Problem
Given: Black box function f:{0,1}n!{0,1}n Promise: there is an s2{0,1}n with s0n
For all x: f(x)=f(x©s) For all x,y: x y©s ) f(x) f(y)
Find s !
Example: f(x)=2bx/2c Then for all k: f(2k)=f(2k+1); s=00 ... 01
Simon’s algorithm solve the problem in time/queries poly(n) Every classical randomized algorithm (even with errors) needs
(2n/2) queries to the black box