anin mimos math

Upload: atul-nipane

Post on 05-Apr-2018

226 views

Category:

Documents


0 download

TRANSCRIPT

  • 8/2/2019 Anin Mimos Math

    1/24

    Quantum Algebra-1

    A. Pathak

    0-0

  • 8/2/2019 Anin Mimos Math

    2/24

    What are we going to discuss?

    It is not in the scope of this 50 minutes lecture to provide all themathematical knowledge required for quantum computing. But we willgive some basic ideas which are essential for us to proceed further. In

    particular we will discuss the following: Vector space (only introduction and elementary definitions)

    Dirac notation

    Inner product and outer product

    Gram-Schmidt procedure

    Eigen values and eigen operators

    Normal, unitary and positive operators

    Tensor product

    Partial trace

    1

  • 8/2/2019 Anin Mimos Math

    3/24

    Vector Space: Hilbert space is a finite dimensional complex vector space

    Recall the vectors in conventional three dimensional space.

    In a 3 dimensional coordinate space you need 3 numbers to describe

    any vector. These three numbers are essentially projection along three directions

    (or three axes) specified by three orthonormal unit vectors.

    In three dimensional space we need a set of three orthonormal unit

    vectors i, j and k to describe any other vectorP (in terms of these

    unit vectors) asP = xi + yj + zk.

    If we generalize this idea and do not restrict ourself to threedimension and allow the scaler projections (x, y, z etc.) to becomplex then we obtain a vector space in general. Note: All thequantum computing literature refers to a finite-dimensional complexvector space by the name Hilbert Space . We will use H to denotesuch a space.

    2

  • 8/2/2019 Anin Mimos Math

    4/24

    Large Vector Space

    A vector space consists of a set of vectors ( , , .......), together witha set of scalars (a, b, c.........), which is closed under vector addition and

    scaler multiplication. Thus a set of objects constitutes a vector space, ifit obeys following rules:

    1. Closure: Addition of two objects of the set gives another object of

    the same set (addition of two vectors gives a vector). Therefore a

    well defined operation will never take you outside the vector space.

    2. Has a zero: for every object V there exist another object 0 suchV + 0 = V .

    3. Scalar Multiplication : If c is a scaler then cV is also a vector

    4. Inverse: For every V there exists a V such that V + ( V) = 05. Associative: (V + W) + X = V + ( W + X)

    3

  • 8/2/2019 Anin Mimos Math

    5/24

    The Cn Vector Space

    In the conventional cartesian coordinate system where the unit vectors, i, j and k forms a complete set of

    orthonormal bases. Under this bases we can describe an arbitrary vector P as (x , y , z) or as x

    yz. Thus

    the elements of the column matrix is essentially the coefficients of the bases.

    To describe an arbitrary n-dimensional state/vector we need a complete set of n orthonormal bases and

    the state can be described by a set of n complex numbers which are the coefficients of the n bases. In

    general the coefficients of the bases can be complex number and the space spanned by the set of n

    orthonormal bases is called Cn space. A very special case of Cn space is one in which all the coefficients

    are real and that space is known as Rn space.

    In Cn vector space you need n complex numbers to describe any vector of this space. In other words any

    object of this set is n tuples of complex numbers. For example

    a =

    z1

    z2

    z3

    .

    .

    .

    .

    zn

    is a vector in Cn space.

    4

  • 8/2/2019 Anin Mimos Math

    6/24

    Therefore we should have

    z1

    z2

    z3

    .

    .

    .

    .

    zn

    +

    z1

    z2

    z3

    .

    .

    .

    .

    zn

    =

    z1 + z1

    z2 + z2

    z3 + z3

    .

    .

    .

    .

    zn + zn

    ,

    and

    c

    z1

    z2

    z3

    .

    .

    .

    .

    zn

    =

    cz1

    cz2

    cz3

    .

    .

    .

    .

    czn

    .

    For a discrete quantum system with n possible states, we will be interested in Cnspace.

    5

  • 8/2/2019 Anin Mimos Math

    7/24

    Inner Products

    An inner product is a generalization of the dot product. In a vectorspace, it is a way to multiply two vectors to yield a complex number(

    |

    ,

    |

    |

    Cathat obeys the following rules:

    1. ( , ) is linear in its second argument

    (|vk, kak|wk) = kak (|vk, |wk) ,2.

    (|v, |w) = (|w, |v) ,3.

    (

    |v

    ,

    |v

    )

    0.

    a Actually is bracket now we can divide it into two parts as | . Thus thebra-ket is divided in two parts and the left part (i.e |) is known as bra andthe right part (i.e. | is known as ket. Thus the bra and ket in Dirac notation isessentially division of conventional bracket in to two parts.

    6

  • 8/2/2019 Anin Mimos Math

    8/24

    Bases and Linear Independence:

    If there exist a set of vectors {|v1, |v2, ..., |vn} such that any vector |v in the space can be written as a

    linear combination of the vectors in the set (i.e. |v =

    n

    j=1|vj). Then the set is called spanning set.

    A spanning set does not always forms a basis but bases forms a spanning seta

    . Actually, a linearlyindependent spanning set forms a basis. The condition of linear independence of a set of vectors

    {|v1, |v2, ..., |vn} is mathematically stated as

    nj=1

    aj |vj = 0 if and only if all aj = 0.

    In other words if there does not exist any linear combination of the set of vectors {|v1, |v2, ..., |vn} which

    adds to zero nontrivially then it forms a set of linearly independent vectors.

    The elements of the basis set are linearly independent of each other so they satisfy the following

    condition of orthogonalityb

    vi|vj = 0 fo r alli = j.

    aA set of vectors that spans the space is also called complete.bIn general any two vectors |v and |w are orthogonal to each other if they satisfy v|w = 0.

    7

  • 8/2/2019 Anin Mimos Math

    9/24

    Qubit: A vector in 2 dimensional space

    If we have a vector in a particular direction we can easily obtain an unit vector in the same direction by

    dividing the vector by its norm. Since in the direction of|v.

    unit vector = |vv|v

    , (1)

    where

    normof |v = ||v| =

    v|v. (2)

    It is usual practice to use a basis set whose elements are of unit magnitude and orthogonal to each other.

    Such a basis set is known as orthonormal basis set and the elements of the set satisfy

    vi|vj = ij,

    where ij is Kronecker delta function:

    In two dimensional quantum space we use a basis {|0 and|1} to describe an arbitrary state (qubit)

    | = |0 + |1 and |0 and |1 satisfy

    0|0 = 1|1 = 1 and 0|1 = 1|0 = 0. (3)

    Thus {|0, |1} forms an orthonormal basis in 2 dimensional quantum vector space.

    Problem:Assume that (4) is satisfied and then show that the

    |00+|112

    ,|00|11

    2,|01+|10

    2,|01|10

    2

    forms a

    complete set of orthonormal basis in C4 space.

    8

  • 8/2/2019 Anin Mimos Math

    10/24

  • 8/2/2019 Anin Mimos Math

    11/24

    Outer Products

    Let |v be a vector in the vector space V and |w be a vector in thevector space W. Then the outer product of |w and |v (which is denoted

    as |wv| in Dirac notation) is a linear map from V into W defined by|wv|(|v) = |wv|v. (6)

    10

  • 8/2/2019 Anin Mimos Math

    12/24

    Linear Operators

    An operator A is said to be linear if and only if it satisfies the following

    properties:

    A[f(x) + g(x)] = Af(x) + Ag(x) (7)and

    A[cf(x)] = cAf(x) (8)

    where f and g are arbitrary functions and c is an arbitrary constant.Examples: d

    dxis a linear operator since,

    d

    dx[f(x) + g(x)] =

    d

    dxf(x) +

    d

    dxg(x)

    andd

    dx[cf(x)] = cd

    dxf(x).

    But ( )2 is not a linear operators since,

    [f(x) + g(x)]2 = [f(x)]2 + [g(x)]2.Similarly, we can show that x2, d

    2

    dx2etc. are linear operators and

    , log()

    are nonlinear operators. It is an outstanding curiosity to note that theoperators occurring in quantum mechanics are essentially linear.

    11

  • 8/2/2019 Anin Mimos Math

    13/24

    Pauli Matrices

    Following set of four useful matrices which acts on a 2-dimensional

    vector space (or on single qubit) are known as Pauli matrices:

    0 = I =

    1 00 1

    , (9)

    1 = x = X =

    0 11 0

    , (10)

    2 = y = Y =

    0 ii 0

    (11)

    and

    3 = z = Z =

    1 00 1

    . (12) The identity matrix is not always included in the set of Pauli

    matrices but we have included it to make a complete set oforthogonal basis. Thus any 2 2 complex Hermitian matrices can beexpressed in terms of the the Pauli matrices.

    12

  • 8/2/2019 Anin Mimos Math

    14/24

    Properties of Pauli matrices

    All single-qubit quantum gates are 2 2 unitary matrices. The Pauli matrices are some of the most

    important single-qubit operations, for example, 1 represents the NOT gate. As this matrices are very

    useful in quantum computing here we will note some of the properties of these matrices.

    For i, j = 1, 2, 3 Pauli matrices satisfy

    2i = I, (13)

    ij = ji f o r i = j, (14)

    det(1) = 1, (15)

    T r(i) = 0 (16)

    and

    [i, j ] = iijkk (17)

    a where ijk is Levi-Civita symbolb

    a[A,B]=AB-BA defines commutation of A and B. If [A,B]=0, then we say A and B commutes.b The value of Levi-Civita symbol is 1 if (i, j, k) is an even permutation of (1,2,3), -1 for odd permutations and 0 for all other cases, to

    be more precise

    ijk =

    1 if(i,j,k) is (1, 2, 3) or (2, 3, 1) or (3, 1, 2)

    1 if(i,j,k) or (1, 3, 2) or (3, 2, 1) or (2, 1, 3)

    0 otherwise

    13

  • 8/2/2019 Anin Mimos Math

    15/24

    Gram-Schmidt procedure:

    Suppose we start with a non orthonormal basis (|e1, |e2, .....|en).Gram-Schmidt procedure provides us a simple prescription to generatean orthonormal basis (

    |e1

    ,

    |e2

    , .....

    |en

    ) from the non orthonormal basis

    (|e1, |e2, .....|en). The prescription is as follows:1. Normalize the first basis vector:

    |e1 =|e1||e1|| .

    2. Find the projection of the second vector along the first and subtract

    it off:

    |e2

    e1

    |e2

    |e1

    .

    This is orthogonal to |e1. Normalize it to obtain |e23. Subtract from |e3, its projection along |e1 and |e2:

    |e3 e1|e3|e1 e2|e3|e2and normalize the resultant vector to get |e3. Continue the processtill we obtain |en.

    14

  • 8/2/2019 Anin Mimos Math

    16/24

    Example

    Let us construct an orthonormal basis from the non orthonormal set {|e1, |e2:|e1 =

    2

    1

    and |e2 =

    1

    3

    }

    Step 1: Normalize the first vector

    |e1 =

    21

    2 1

    2

    1

    = 15 21 .Step 2.1: construct the second vector orthogonal to the normalized first vector

    |e2 e1|e2|e

    1 =

    1

    3

    .4 .2

    13

    2

    1

    =

    1

    3

    2

    1

    =

    1

    2

    Step 2.2: Normalize the vector constructed in step 2.1

    |e2 =

    12

    1 2 12 =

    1

    5

    12 .

    Thus we have the required orthonormal set of basis as

    15

    2

    1

    , 1

    5

    1

    2

    .

    Problem: Use Gram-Schmidt procedure to orthonormalize the basis |e1 = (1 i)i + 2j + ik , |e2 = (2i)i + 3j + 2kand |e3 = (1 i)i +j + (1 + i)k.

    15

  • 8/2/2019 Anin Mimos Math

    17/24

    Eigenvalues and Eigenvectors

    If an operator is operated on a vector (state) and yield a scaler

    multiplied by the vector (state), then the equation is called the eigen

    value equation. The operator is called the eigen operator, the vector(state) is called eigen state (eigen vector) and the scaler is called eigen

    value. Therefore, if we have

    A|v = |v, (18)then A is the eigen operator, |v is the eigen vector (eigen state) and is the eigen value. For example, if we consider d

    dxas the eigen operator

    then exp(nx) is a valid eigen state having eigen value n but sin(x) is not

    an eigen function of the operator

    d

    dx. Problem:1. Find out the eigenvalues of the Pauli matrices [hints: find roots to

    the equation (i i = 0)].

    16

  • 8/2/2019 Anin Mimos Math

    18/24

    Hermitian Operators

    To define Hermitian operator first we have to define adjoint operators.

    Ais the adjoint operator of the operator A if A and A satisfies,

    (A|v, |w) = (|v, A|w) (19)for all vectors |v and |w in the vector space V. The adjoint operatorssatisfies following properties:

    A

    = A, A = (A)T , (AB) = BA. (20)

    Now we can loosely define Hermitian operator as an operator which

    satisfies,

    A = A. (21)This is essentially the definition of a self adjoint operator. In a strictsense all the self adjoint operators defined by (21) is Hermitian but allHermitian operators are not self adjoint. But the Hermitian operatorswhich are not self adjoint are not very important in the context ofquantum computing.

    17

  • 8/2/2019 Anin Mimos Math

    19/24

    Normal, unitary and positive operators:

    Following definitions are also important for the understanding of thetext:

    1. Normal operator:any operator that satisfies AA = AA is known asnormal operator

    2. Unitary operator: If the operator A satisfies AA = AA = I, then A iscalled unitary. So it is easy to note that the unitary operators areessentially normal and an unitary operator A must satisfy A1 = A.

    3. Positive Operators: operator B is called positive operator if itsatisfies, (|v, B|v) 0 for all |v in the vector space V. That means apositive operator does not have any negative eigen value. But apositive operator can have eigen value 0. Now if we exclude thispossibility and demand that all the eigenvalues B are positive then

    the B is called positive definite operator. Thus a positive definiteoperator B satisfies, (|v, B|v) > 0 for all |v in the vector space V.

    18

  • 8/2/2019 Anin Mimos Math

    20/24

    Tensor Products:

    A tensor product space is a larger vector space formed from two smaller ones simply by combining elements

    from each in all possible ways that preserve both linearity and scalar multiplication. If V is a vector space of

    dimension n and W is a vector space of dimension m. Then V W is a vector space of dimension nm. The idea

    of tensor product can be clarified from the following examples: Consider Pauli matrices X = 0 11 0 andY =

    0 i

    i 0

    tensor product of these matrices is

    X Y =

    0.Y 1.Y

    1.Y 0.Y

    =

    0 0 0 i

    0 0 i 0

    0 i 0 0

    i 0 0 0

    .Similarly we have

    |0 |1 = |01 = 10

    01

    = 0

    1

    0

    0

    .

    The fact that tensor product preserves linearity and scalar multiplication can be mathematically stated as

    z(|v |w) = (|v z|w) = (z|v |w) scalar multiplication

    and

    |v (|w1 + |w2) = |v |w1 + |v |w2)

    (|w1 + |w2) |v = |w1 |v + |w2 |v

    linearity.

    19

  • 8/2/2019 Anin Mimos Math

    21/24

    Trace and Partial trace:

    The traceaof a n n square matrix A is defined as the sum of the elements on the main diagonal. Thus

    T r(A) =

    n

    j Ajj . (22)Example:

    The trace operation has some interesting properties, let us list few of them here:

    1.

    T r(AT) = TrA.

    Since the diagonal elements of a square matrix does not change on transposition therefore

    2.

    T r(A) = T r(AB) = T r(BA)

    3. The trace is a linear map i.eT r(A + B) = T r(A) + T r(B)

    and

    T r(rA) = r T r(A).

    a The use of the term trace arises from a German word spur which is anonymous to English word spoor.

    20

  • 8/2/2019 Anin Mimos Math

    22/24

    Partial Trace

    Partial trace is a generalized version of trace. It is easy to understand if

    we consider state |AB HA HB. Even if the states are entangled thestate of the first qubit can in general be described by a density operatorAon HA. Popularly,

    A is called reduced density operator. The

    mathematical operation that calculates the reduced density operator is

    the partial trace. The reduced density operator A can be defined in

    terms of the density operator of the composite system as

    A T rB(AB), (23)where T rB is the partial trace over system B, which is defined as

    T rB (|a1a2| |b1b2|) |a1a2|T r (|b1b2|) . (24)Using the cyclic property of the trace

    T r (|b1b2|) = T r (b2|b1) = b2|b1 (25)we can simplify (24) as

    T rB (|a1a2| |b1b2|) |a1a2|b2|b1. (26)This operation (TrB) is often called tracing out system B.

    21

  • 8/2/2019 Anin Mimos Math

    23/24

    Example

    Trace out the second qubit of the two qubit entangled state

    | = 12

    (|00 + |11) .The density matrix for this state is

    = || = 12

    (|0000| + |0011| + |1100| + |1111|) . (27)Now we can compute the partial trace as

    A = T rB()

    = 12

    T rB (|0000| + |0011| + |1100| + |1111|)= 1

    2(|00|T r(|00|) + |01|T r(|01|) + |10|T r(|10|) + |11|T r(|11|))

    =1

    2 (|00|0|0 + |01|1|0 + |10|0|1 + |11|1|1)= 1

    2(|00| + |11|) .

    (28)Problem: Trace out the first qubit of all four Bell states.

    22

  • 8/2/2019 Anin Mimos Math

    24/24

    What happens in quantum mechanics?

    In quantum mechanics there exists an operator corresponding to each dynamical observable of classical

    physics. Examples: Momentum and energy are classical observable, in quantum mechanics ih ddx

    represents

    momentum operator pxalong X direction, ihddt

    represents energy.

    These operators may be represented by matrices and these operators satisfy eigen value equations of the form

    Aop| = | (29)

    where, Aop is the eigen operator, | is the eigen-state and is the eigen value. As it is expected the eigen

    values are discrete and this means all values of the observable are not possible. The meaning of the word

    quantum is discrete and this discrete nature of the quantum mechanics intrinsically lies in the inherent

    operator algebra.

    Again as a measurement of the observable can only yield one of the eigen values of the operator that

    represents the particular observable and we cannot measure anything imaginary, so the eigenvalues of

    the meaningful physical operators will be real. And this requirements make it essential that the

    quantum mechanical operators has to be Hermitian. Other physical conditions makes it unitary too.

    Therefore, most of the time we will deal with Hermitian unitary operators.