Effiziente Algorithmen Hartmut Klauck Universität Frankfurt SS 06 20.7.
Quantum Computing MAS 725 Hartmut Klauck NTU 12.3.2012.
-
Upload
charles-wade -
Category
Documents
-
view
224 -
download
1
Transcript of Quantum Computing MAS 725 Hartmut Klauck NTU 12.3.2012.
Quantum ComputingMAS 725Hartmut KlauckNTU12.3.2012
Topics today
Superdense coding Distinguishing quantum states Bell inequalities
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)?
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
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
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
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
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
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|
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!
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
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
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
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}
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
Bell inequalities
Assumptions behind the inequality: There are probabilities P(q,r,s,t) [realism], and the measurements are independent [locality]
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]
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)
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 · ¾
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
Rotation gate
Qubit |0i is mapped to cos(/8) |0i + sin(/8) |1i
Probability of measuring 0 is thencos2(/8)
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)
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
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
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??
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
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