Wanted: Dead And Alive

Embed Size (px)

Citation preview

  • 7/24/2019 Wanted: Dead And Alive

    1/32

  • 7/24/2019 Wanted: Dead And Alive

    2/32

    Quantum Computation

    Howard A. Blair (Syracuse University) QuantumComputing 11/04/14 2 / 33

  • 7/24/2019 Wanted: Dead And Alive

    3/32

    Nondeterministic classical states work like this:

    Someone puts either a black marble in the box with probability p,

    or a white marble in the box with probability 1 p.The state of the box with regard to the color of the marble it

    contains is either black with probability p, or white probability

    (1 p).You look in the box tomeasurethe state of the box in regard to the

    color of the marble. Suppose you see a black marble. Then there

    was a marble there along and it was black.

    Howard A. Blair (Syracuse University) QuantumComputing 11/04/14 3 / 33

  • 7/24/2019 Wanted: Dead And Alive

    4/32

    Quantum States:

    A simple example: One bit. We physically represent bits many

    ways. One way: circularly polarized photons.

    3D glasses at the movies.

    Clockwize polarization can be regarded as representing bit value

    0 and counterclockwize polarization regarded as representing 1.

    Howard A. Blair (Syracuse University) QuantumComputing 11/04/14 4 / 33

  • 7/24/2019 Wanted: Dead And Alive

    5/32

    Spin:

    Howard A. Blair (Syracuse University) QuantumComputing 11/04/14 5 / 33

  • 7/24/2019 Wanted: Dead And Alive

    6/32

    Quantum States:

    Howard A. Blair (Syracuse University) QuantumComputing 11/04/14 6 / 33

  • 7/24/2019 Wanted: Dead And Alive

    7/32

    Leibniz gave us two things important for computer

    science

    The Principle ofInertia: Everything remains in the state in which it

    is, unlesscausedto change state.The Principle of theIdentity of Indiscernables: Two things are

    the actually the same thing if, and only if, they bear exactly the

    sameessentialrelationships to everything. (HUGE)

    Essential?

    Howard A. Blair (Syracuse University) QuantumComputing 11/04/14 7 / 33

  • 7/24/2019 Wanted: Dead And Alive

    8/32

    And then came Mach

    Ernst Machs positivist/empiricist view: Stick to observables. If

    with the help of the atomic hypothesis one could actually establish

    a connection between several observable properties which

    without it would remain isolated, then I should say that this

    hypothesis was an economical one. (i.e: The atom concept is,maybe, a useful hack.)

    Machs positivist/empiricist view, which remains at the heart of

    contemporary physics, leads right back into metaphysics. What

    we observe hasprofound metaphysical implications: Forsomething to exist it must have properties observable in

    principle. (Theres the rub!)

    Howard A. Blair (Syracuse University) QuantumComputing 11/04/14 8 / 33

  • 7/24/2019 Wanted: Dead And Alive

    9/32

    Superposition:

    The circular polarization property of a photon is oneofimplementing aqubit: its state, i.e. its polarization direction, is a

    quantum state: a0 + b1, called awave function.

    a, bare square roots of probabilities withphase- called

    amplitudes. Wave functions can with combine constructively and

    destructively.

    a0 + b1 = ei

    p0 + ei(1 p)1

    The squares of the absolute values ofaandbare probabilities.

    The absolute value operation removes phase. e.g.

    eip = p

    Howard A. Blair (Syracuse University) QuantumComputing 11/04/14 9 / 33

  • 7/24/2019 Wanted: Dead And Alive

    10/32

    The rules (of projective measurement)

    Observe a qubit thats in state a0 + b1.

    The result of your observation will be either 0or1.

    The probability of getting 0 is |a|2 and of getting 1 is |b|2.(Wave functioncollapse.) After the observation the photon iseither

    in state0or in state1

    depending on whether0or1was observed.

    Important Question: How do we know the state really wasnt 0 or1, like the marble in the box, before we observed it?

    Howard A. Blair (Syracuse University) QuantumComputing 11/04/14 10 / 33

  • 7/24/2019 Wanted: Dead And Alive

    11/32

    2 qubits: Entanglement

    a00 + b01 + c10 + d11Suppose we have two photons, the first in state a0 + b1and thesecond in statec0 + d1.

    The combined system is in theseparablestate

    (a0 + b1) (c0 + d1) = ac00 + ad01 + bc10 + bd11

    What about states like

    1

    2 00 + 1

    2 11The quantum states of the separate qubits arent there. Therefore

    those qubits do not separately exist? (Quantum Leibniz)

    Howard A. Blair (Syracuse University) QuantumComputing 11/04/14 11 / 33

  • 7/24/2019 Wanted: Dead And Alive

    12/32

    Quantum Teleportation

    The Setup 1: On an apparatus in her lab in New York, Alice has a

    qubit in some quantum statea0 + b1. She does not know thequantum state of her qubit. She wants to send the qubit to Bob

    who is in Paris. Specifically, she wants to cause the quantum state

    of the qubit storage apparatus in Bobs lab in Paris to become

    a0 + b1.

    The Setup 2: Alice and Bob have prepared a pair of entangled

    qubits in (BellorEPR) state

    12

    00 + 1

    211

    on a pair of single qubit storage devices, one of which they each

    took to their labs.

    We have suggested there are no separate qubit states stored in

    their qubits from the entangled pair.

    Howard A. Blair (Syracuse University) QuantumComputing 11/04/14 12 / 33

  • 7/24/2019 Wanted: Dead And Alive

    13/32

    Quantum Teleportation

    Initially, there are three qubit storage devices in play: (1) holdsAlices qubit that she wants to teleport; (2) Alices qubit

    participating in the entangled pair; (3) Bobs qubit participating in

    the entangled pair.

    AToBeSent AEntangled BEntangled

    The state of the three devices is partially entangled like this:

    (a0 + b1)

    (

    1

    200 +

    1

    211)

    =a

    2000 +

    a2

    011 + b

    2100 +

    b2

    111

    Howard A. Blair (Syracuse University) QuantumComputing 11/04/14 13 / 33

  • 7/24/2019 Wanted: Dead And Alive

    14/32

    Quantum Teleportation

    Alice pretends that the state of her qubit part of the entangled pair

    really exists and sends her qubit state that she wants to teleportand her qubit state from the entangled pair through a

    controlled-notquantum gate. The state of the three devices

    becomes:

    a

    2 000 + a

    2 011 + b

    2 110 + b

    2 101Classical controlled-not gate:

    0 0

    0

    1 1

    0

    Control

    Howard A. Blair (Syracuse University) QuantumComputing 11/04/14 14 / 33

  • 7/24/2019 Wanted: Dead And Alive

    15/32

    Quantum controlled-not gate

    Qubit values0and1, respectively:

    1

    0

    0

    1

    The quantum controlled-not gate must map pairs of inputs to pairs

    of outputs in the same that the classical controlled-not gate does.

    Pairs of quantum states on separate, distinguishable components

    result in tensor products of the separate states. In matrix form wetake Kronecker products.

    Howard A. Blair (Syracuse University) QuantumComputing 11/04/14 15 / 33

  • 7/24/2019 Wanted: Dead And Alive

    16/32

    Distinguishable multi-partite quantum systems

    Suppose we have two quantum bits

    a0 + b1 c0 + d1

    In matrix notation

    a0 + b1 = a

    1

    0

    + b

    0

    1

    =

    a

    b

    c0 + d1 = c

    10+ d

    01

    =

    cd

    Howard A. Blair (Syracuse University) QuantumComputing 11/04/14 16 / 33

  • 7/24/2019 Wanted: Dead And Alive

    17/32

    Distinguishable multi-partite quantum systems

    The combined system of two qubits is in state

    (a0 + b1) (c0 + d1) =

    acad

    bc

    bd

    Howard A. Blair (Syracuse University) QuantumComputing 11/04/14 17 / 33

  • 7/24/2019 Wanted: Dead And Alive

    18/32

    Distinguishable multi-partite quantum systems

    For the controlled-not gate we have thefollowing inputs

    0 0 =

    1

    0

    0

    0

    0 1 =

    0

    1

    0

    0

    1 0 =

    0

    0

    1

    0

    1 1 =

    0

    0

    0

    1

    and corresponding outputs

    0 0 = 1

    00

    0

    0 1 =

    0

    10

    0

    1 1 =

    0

    00

    1

    1 0 =

    0

    01

    0

    Howard A. Blair (Syracuse University) QuantumComputing 11/04/14 18 / 33

  • 7/24/2019 Wanted: Dead And Alive

    19/32

    Distinguishable multi-partite quantum systems

    In matrix notation thisunitaryoperation is

    1 0 0 0

    0 1 0 0

    0 0 0 1

    0 0 1 0

    Classical (sequential) computation: A sequence of small

    changes in thecomputational state; i.e. a state is given by the

    values of all of the variables involved. State change consists of

    changing the value of one of the variables.

    Quantum computation: State is multipartite: some componentsof the state a quantum states, others classical states. State

    change is consists of classical changes to classical components,

    orunitarychanges to quantum components, or measurements of

    quantum components.

    Howard A. Blair (Syracuse University) QuantumComputing 11/04/14 19 / 33

  • 7/24/2019 Wanted: Dead And Alive

    20/32

    Quantum Teleportation

    We left Alices and Bobs three qubit multipartite system in state

    a2

    000 + a

    2011 +

    b2

    110 + b

    2101

    Alice then sends her qubit (the one to be teleported) through a

    Hadamard gate:

    0 ( 12

    0 + 1

    21) 1 ( 1

    20 1

    21)

    Substituting on the first qubit, the state of the three partially

    entangled devices is now:

    a2(

    12

    0 + 1

    21)00 +

    a2(

    12

    0 + 1

    21)11

    + b

    2(

    12

    0 12

    1)10 + b

    2(

    12

    0 12

    1)01

    Howard A. Blair (Syracuse University) QuantumComputing 11/04/14 20 / 33

  • 7/24/2019 Wanted: Dead And Alive

    21/32

    Quantum Teleportation

    which simplifies to

    a

    2000 +

    a

    2100 +

    a

    2011 +

    a

    2111

    +b

    2010 b

    2110 +

    b

    2001 b

    2101

    (and now for more quantum wierdness):

    =1

    200(a0+b1)+1

    201(a1+b0)+1

    210(a0b1)+1

    211(a1b0)

    Howard A. Blair (Syracuse University) QuantumComputing 11/04/14 21 / 33

  • 7/24/2019 Wanted: Dead And Alive

    22/32

    Quantum Teleportation

    Alice performs a projective measurement on both of her qubits

    which will cause a wave function partial collapse of the entirethree-qubit system shared by Alice and Bob.

    Suppose for example that Alices qubit to sent is measured to be 1

    and the qubit originally entangled with Bobs is measured to be0.

    Then the quantum state of the system collapses to

    10(a0 b1)

    Bobs qubit is now in statea0 b1. He doesnt knowaandb.Alice emails Bob to tell him the result of her measurement. Bobthen knows that if he applies a phase-flip operation (i.e. 0 0and1 1) he will have Alices qubit (value) in the device in his lab

    a0 + b1

    Howard A. Blair (Syracuse University) QuantumComputing 11/04/14 22 / 33

  • 7/24/2019 Wanted: Dead And Alive

    23/32

    Factoring pure quantum states

    Let Fn2 be the set of alln-tuples of bits.

    A pure quantum state ofndistinguishable qubits has the form

    =xFn

    2

    axx

    where xFn

    2

    |ax|2 = 1

    Consider theax arranged in a 2 2 . . . 2 array, i.e. anndimensional hypermatrixT. Then is factorable as a tensorproduct of individual qubit states if, and only if, the determinant of

    every 2 2 submatrix ofT vanishes.

    Howard A. Blair (Syracuse University) QuantumComputing 11/04/14 23 / 33

  • 7/24/2019 Wanted: Dead And Alive

    24/32

    Factoring pure quantum states

    Entangled?a

    2000 +

    a

    2100 +

    a

    2011 +

    a

    2111

    +b

    2010 b

    2110 +

    b

    2001 b

    2101

    Howard A. Blair (Syracuse University) QuantumComputing 11/04/14 24 / 33

  • 7/24/2019 Wanted: Dead And Alive

    25/32

    Factoring pure quantum states

    a/2 000 a/2 100

    b/2 001 -b/2 101

    b/2 010 -b/2 110

    a/2 011 a/2 001

    Howard A. Blair (Syracuse University) QuantumComputing 11/04/14 25 / 33

  • 7/24/2019 Wanted: Dead And Alive

    26/32

    SQIL

    qubitp,q,r; // All qubits are assumed to be randomly

    // initialized in some quantum state.

    bitu,v,w; //u,v,w are initialized to 0.

    measureqinw; // After execution the state of q and v// is either0and 0, or1and 1.

    if(w = 1) // Notice that the state transition performed by

    // this branching command is not unitary.

    then

    NOT(q); // The state of q after this branching command is// is0. NOT(x0+ y1) = y0+ x1

    Howard A. Blair (Syracuse University) QuantumComputing 11/04/14 26 / 33

  • 7/24/2019 Wanted: Dead And Alive

    27/32

    SQIL

    measurerinw;

    if(w = 1)then

    NOT(r); // At this point the state of the qubit pair (q,r) is

    //00. The combined state of all three qubits is

    // a 000+ b 100

    BELL(q,r); // BELL(x,y) can be any 2-qubit unitary that maps

    //00to the Bell state

    // (1/sqrt2) 00+ (1/sqrt2) 11.

    // To see the combined state of all three qubits,// multiply (a 0+ b textbf1)((1/sqrt2) 00+ (1/sqrt2) 11)

    CNOT(p,q); // CNOT(00) =00. CNOT(01) =01.

    // CNOT(10) =11. CNOT(11) =10.

    Howard A. Blair (Syracuse University) QuantumComputing 11/04/14 27 / 33

  • 7/24/2019 Wanted: Dead And Alive

    28/32

    SQIL

    Hadamard(p);measurepinu;

    measureqinv; // Four possibilities for u, v

    if(u = 0)and(v = 1)

    then

    NOT(r)else if(u = 1)and(v = 0)

    then

    PhaseFlipPi(r) //PhaseFlipPi(x 0+ y 1) = x 0- y 1

    else

    {PhaseFlipPi(r);NOT(r)

    }

    Howard A. Blair (Syracuse University) QuantumComputing 11/04/14 28 / 33

    ?

  • 7/24/2019 Wanted: Dead And Alive

    29/32

    How do we know quantum states are not classical?

    Answer: Kochen-Specker, Bell/CSHS inequality, ...

    Simon Kochen, Ernst Specker, 1968

    J.F. Clauser, M.A. Horne, A. Shimony, R.A. Holt, 1969

    Howard A. Blair (Syracuse University) QuantumComputing 11/04/14 29 / 33

    B ll

  • 7/24/2019 Wanted: Dead And Alive

    30/32

    Bell

    Alice and Bob are given a large collection of entangled pairs of

    qubits, where each pair is entangled in a phase-flipped Bell state

    12

    01 12

    10

    For each pair, Alice has one of the qubits, Bob the other.

    Alice prepares two apparatuses to perform a projective

    measurement on each of her qubits that will return +1

    corresponding to bit-value of 0 and -1 corresponding to a bit-value

    of 1. Specifically, Alice prepares the observables

    Z=

    1 0

    0 1

    X=

    0 1

    1 0

    Howard A. Blair (Syracuse University) QuantumComputing 11/04/14 30 / 33

    B ll

  • 7/24/2019 Wanted: Dead And Alive

    31/32

    Bell

    Bob prepares similar but more elaborateobservables

    S= 1

    2(Z X) T= 1

    2(Z X)

    Bob leaves for our Martian colony with his qubits and apparatuses.

    At a prearranged time when Mars and Earth are about 20

    light-minutes apart, Alice and Bob each measure their qubits

    using their prepared observables. We assume their actions take

    much less than 20 minutes and are therefore relativistically

    causally separated.? What is the expected value of the random variable

    V= ZASB+ XASB+ XATB ZATB

    Howard A. Blair (Syracuse University) QuantumComputing 11/04/14 31 / 33

    B ll

  • 7/24/2019 Wanted: Dead And Alive

    32/32

    Bell

    If we assume that Alices and Bobs qubits had definite

    probabilistically determined 0 or 1 valued states prior tomeasurement, then we obtain, independently of the probability

    distribution, the firstBell inequality:

    E(V) = E(ZASB+ XASB+ XATB

    ZATB)

    2

    If we calculate the expected values of the quantum mechanical

    observables on theentangledqubit pairs, we obtain for each of

    the component observables

    E(ZASB) = E(XASB) = E(XATB) = E(ZATB) = 12

    Hence

    E(V) = 2

    2

    Howard A. Blair (Syracuse University) QuantumComputing 11/04/14 32 / 33