Tutorial 6 - MUB and Complex Inner Product

Similar documents
14 Fourier analysis. Read: Boas Ch. 7.

There are two things that are particularly nice about the first basis

Inner Product Spaces

Vectors in Function Spaces

Mathematics Department Stanford University Math 61CM/DM Inner products

Hilbert Spaces: Infinite-Dimensional Vector Spaces

Quantum Computing Lecture 2. Review of Linear Algebra

Review of Linear Algebra

The following definition is fundamental.

2.3. VECTOR SPACES 25

MTH 2032 SemesterII

LECTURE 6: LINEAR VECTOR SPACES, BASIS VECTORS AND LINEAR INDEPENDENCE. Prof. N. Harnew University of Oxford MT 2012

Mathematical Methods wk 1: Vectors

Mathematical Methods wk 1: Vectors

Homework I, Solutions

INNER PRODUCT SPACE. Definition 1

Math 581 Problem Set 5 Solutions

Chapter 4: Interpolation and Approximation. October 28, 2005

Lecture 5: Vector Spaces I - Definitions

LINEAR ALGEBRA W W L CHEN

Lecture Notes 1: Vector spaces

Exam questions with full solutions

DS-GA 1002 Lecture notes 0 Fall Linear Algebra. These notes provide a review of basic concepts in linear algebra.

MATH 115A: SAMPLE FINAL SOLUTIONS

Methods of Mathematical Physics X1 Homework 2 - Solutions

Algebra II. Paulius Drungilas and Jonas Jankauskas

Math 45, Linear Algebra 1/58. Fourier Series. The Professor and The Sauceman. College of the Redwoods

Definition 1. A set V is a vector space over the scalar field F {R, C} iff. there are two operations defined on V, called vector addition

MTH 2310, FALL Introduction

Lecture 3: Hilbert spaces, tensor products

Finite-dimensional spaces. C n is the space of n-tuples x = (x 1,..., x n ) of complex numbers. It is a Hilbert space with the inner product

The Gram-Schmidt Process 1

1. General Vector Spaces

Linear Algebra and Dirac Notation, Pt. 1

Lecture notes on Quantum Computing. Chapter 1 Mathematical Background

Exercises * on Linear Algebra

2.4 Hilbert Spaces. Outline

Hilbert Spaces. Hilbert space is a vector space with some extra structure. We start with formal (axiomatic) definition of a vector space.

Linear Cyclic Codes. Polynomial Word 1 + x + x x 4 + x 5 + x x + x

( 9x + 3y. y 3y = (λ 9)x 3x + y = λy 9x + 3y = 3λy 9x + (λ 9)x = λ(λ 9)x. (λ 2 10λ)x = 0

LINEAR ALGEBRA (PMTH213) Tutorial Questions

Physics 342 Lecture 2. Linear Algebra I. Lecture 2. Physics 342 Quantum Mechanics I

Math Linear Algebra II. 1. Inner Products and Norms

Math 261 Lecture Notes: Sections 6.1, 6.2, 6.3 and 6.4 Orthogonal Sets and Projections

Vector Spaces. Vector space, ν, over the field of complex numbers, C, is a set of elements a, b,..., satisfying the following axioms.

5 Compact linear operators

Elements of linear algebra

Dot product. The dot product is an inner product on a coordinate vector space (Definition 1, Theorem

6.1 Composition of Functions

1. Foundations of Numerics from Advanced Mathematics. Linear Algebra

Inner products. Theorem (basic properties): Given vectors u, v, w in an inner product space V, and a scalar k, the following properties hold:

Lecture 2: Mutually Orthogonal Latin Squares and Finite Fields

88 CHAPTER 3. SYMMETRIES

Math 3191 Applied Linear Algebra

Page 404. Lecture 22: Simple Harmonic Oscillator: Energy Basis Date Given: 2008/11/19 Date Revised: 2008/11/19

Quantum Mechanics- I Prof. Dr. S. Lakshmi Bala Department of Physics Indian Institute of Technology, Madras

Lecture 10: Eigenvectors and eigenvalues (Numerical Recipes, Chapter 11)

Linear Algebra Massoud Malek

Mathematical Methods wk 2: Linear Operators

Dot Products, Transposes, and Orthogonal Projections

Fall TMA4145 Linear Methods. Solutions to exercise set 9. 1 Let X be a Hilbert space and T a bounded linear operator on X.

Functional Analysis Exercise Class

5. Orthogonal matrices

Further Mathematical Methods (Linear Algebra)

MATH 220: INNER PRODUCT SPACES, SYMMETRIC OPERATORS, ORTHOGONALITY

Problems in Linear Algebra and Representation Theory

Physics 342 Lecture 2. Linear Algebra I. Lecture 2. Physics 342 Quantum Mechanics I

Linear Cyclic Codes. Polynomial Word 1 + x + x x 4 + x 5 + x x + x f(x) = q(x)h(x) + r(x),

HW2 Solutions

Unitary evolution: this axiom governs how the state of the quantum system evolves in time.

Math 350 Fall 2011 Notes about inner product spaces. In this notes we state and prove some important properties of inner product spaces.

Short Course in Quantum Information Lecture 2

Math 115 Spring 11 Written Homework 10 Solutions

Prof. M. Saha Professor of Mathematics The University of Burdwan West Bengal, India

22.3. Repeated Eigenvalues and Symmetric Matrices. Introduction. Prerequisites. Learning Outcomes

HILBERT SPACES AND THE RADON-NIKODYM THEOREM. where the bar in the first equation denotes complex conjugation. In either case, for any x V define

Lecture 3: Review of Linear Algebra

Orthonormal Bases; Gram-Schmidt Process; QR-Decomposition

Lecture 3: Review of Linear Algebra

ELE/MCE 503 Linear Algebra Facts Fall 2018

ROOT SYSTEMS AND DYNKIN DIAGRAMS

Some Introductory Notes on Quantum Computing

Chapter 4 Euclid Space

Supplementary information I Hilbert Space, Dirac Notation, and Matrix Mechanics. EE270 Fall 2017

Hilbert Space, Entanglement, Quantum Gates, Bell States, Superdense Coding.

Solutions to the Exercises * on Linear Algebra

(v, w) = arccos( < v, w >

Linear algebra II Homework #1 solutions A = This means that every eigenvector with eigenvalue λ = 1 must have the form

1: Introduction to Lattices

Vector Spaces and Dimension. Subspaces of. R n. addition and scalar mutiplication. That is, if u, v in V and alpha in R then ( u + v) Exercise: x

Functional Analysis Review

Recall: Dot product on R 2 : u v = (u 1, u 2 ) (v 1, v 2 ) = u 1 v 1 + u 2 v 2, u u = u u 2 2 = u 2. Geometric Meaning:

MATH Linear Algebra

(v, w) = arccos( < v, w >

Quantum Mechanics-I Prof. Dr. S. Lakshmi Bala Department of Physics Indian Institute of Technology, Madras. Lecture - 21 Square-Integrable Functions

The Schrodinger Wave Equation (Engel 2.4) In QM, the behavior of a particle is described by its wave function Ψ(x,t) which we get by solving:

Reproducing Kernel Hilbert Spaces

Solutions Final Exam May. 14, 2014

Linear Algebra Review

Section 7.5 Inner Product Spaces

Transcription:

Tutorial 6 - MUB and Complex Inner Product Mutually unbiased bases Consider first a vector space called R It is composed of all the vectors you can draw on a plane All of them are of the form: ( ) r v =, r where both r and r are reals An orthonormal basis { v, v } is a set of two vectors such that each one is of length, ie v j v j = for j =,, and they are orthogonal, ie v v = 0 (Recall standard definition of the scalar product if you have forgotten) Two orthonormal bases B = { v, v } and B = { w, w } are called mutually unbiased if each vector from one basis has equal overlap with any vector from another basis Formally, v j w k = for all j, k A set of more than two orthonormal bases is called mutually unbiased if they are all pairwise mutually unbiased (a) Draw two distinct orthonormal bases in R which are mutually unbiased Consider B = { v, v } = {( ) ( )} 0, 0 and B = { w, w } =, FIG : Mutually unbiased bases { if i = j Obviously ( v i, v j ) = ( w i, w j ) = δ i,j = 0 if i j Hence B and B are orthonormal bases in R Also v w = v w = v w = v w = = B and B are mutually unbiased orthonormal bases (b) How should one arrange vectors v and w for their matrix multiplication to agree with the scalar product formula? ( v, w) = w d v i w i = (v,, v d ) = vt w w d i=

(c) How many mutually unbiased bases are there in R? There are only two mutually unbiased bases in R ( ) x Suppose not Let B 3 be another distinct orthonormal basis mutually unbiased to B and B Let u = B y 3 Now ) ( ) = u v = x ( x = ± Similarly ) ( ) y 0 = u v = x 0 ( y = ± y ( ) { ( ) ( ) ( ) ( )} x Thus u = y,,, = { u, u, u 3, u 4 } But u w =, u w =, u 3 w = 0, u 4 w = 0 Hence u does not exist = B 3 does not exist There are only two mutually unbiased bases in R Note Let S be the set of mutually unbiased bases The maximal number of mutually unbiased bases in each S is the same Hence it does not matter which orthonormal basis we used in search for the maximal number of mutually unbiased bases Claim There are no mutually unbiased basis in R 3 For R 3 two orthonormal bases B = { v, v, v 3 } and B = { w, w, w 3 } are said to be mutually biased if and only if v j w k = for all j, k 3 0 0 Without loss of generality, let B = { v, v, v 3 } = 0,, 0 be an orthonormal basis in R 3 Let u = y B, another set of orthonormal basis mutually unbiased to B Now 0 0 x z 3 = u v x = y 0 x = ± Similarly, y = z = ± and z 0 3 3 u, 3, 3, 3 3,, 3 3,, 3 3 But none of the vectors in the set is orthogonal to each other, ie ( u i, u j ) 0 for all i j in the set, contradicting the fact that u B an orthonormal basis Therefore u does not exist and there is no pair of mutually unbiased bases in R 3

3 The vector space C is defined in analogy to R It is composed of the vectors: ( ) c v =, where now c and c are complex numbers The scalar product above gets replaced by the following inner product rule: where d and d are the complex components of vector w c v w c d + c d, (d) How should one arrange vectors v and w for their matrix multiplication to agree with the inner product formula? ( v, w) = i w vi w i = (v,, vd) = v w w d (e) How many mutually unbiased bases are there in C? There are three unbiased bases in C {( ) ( )} 0 First, we show that the set B = { v, v } =, is an orthonormal basis in C 0 Let ( ) ( ) ( ) a + bi 0 C v = = α + β for some a, b, c, d R and α, β C Then α = a + bi and c + di 0 ( ) ( ) 0 β = c + di This implies B spans C Obviously and are linearly independent Hence B 0 is a basis for C Since ( v, v ) = δ ij, B is an orthonormal basis for C and dim(c ) = In a similar way, we can show that the set B = { w, w } =, is an orthonormal basis of C also We have shown in (a) that S = {B, B } is a set of mutually unbiased bases [] Let B 3 be another distinct orthonormal basis mutually unbiased to B and B Consider u = B 3 where a, b, c, d R Now ( z ) = z ( ) a + bi c + di ( ) ( ) = u v = a + bi c + di 0 ( ) ( ) = u v = a + bi 0 c + di ( ) ( ) = u w = a + bi c + di ( ) ( ) = u w = a + bi c + di a + b = () c + d = () (a + c) + (b + d) = (3) (a c) + (b d) = (4) [] Since the basis vectors in {B, B } are real, the complex inner product operation reduces to the real scalar product

Solving for the equations () to (4) we have either { a =, b = c = 0, d = ± } Therefore u = ( z ) = z { a =, b = c = 0, d = ± } ( ) { ( ) ( ) ( ) ( )} a + bi c + di,, i i, i = { u i, u, u 3, u 4 } Clearly u = u 4, u = u 3 and ( u, u ) = 0 As a result the third set of orthonormal basis is B 3 = { u, u } =, i i 4 or and there are three mutually unbiased bases in C Note: If the dimension of a Hilbert space (C d ) d is an integer power of a prime number, then the maximal number of mutually unbiased bases is d+ Since is a prime number, the maximal number of mutually unbiased bases in C is 3 In summary, let S be the set containing all mutually unbiased orthonormal bases {( ) ( )} { ( 0 (i) In R, S = {B, B } where B =, and B 0 = 0 0 (ii) In R 3, S = {B} where B = 0,, 0 0 0 {( ) ( )} { ( 0 (iii) In C, S = {B, B, B 3 } where B =,, B 0 =, i i Inner product between functions ) ( )}, ) ( )}, and B 3 = Mathematicians abstracted essential features of vector spaces such as those discussed above and noted that many objects behave in a similar way Here you will prove that it is possible to define inner product between (wave) functions and during the lecture it will be shown that indeed one can think about the wave functions as vectors Inner product is a generalisation of the scalar product It is any relation between two objects (vectors, functions, polynomials, etc) f and g, usually written as (f, g) that satisfies the following: Note symmetry under conjugation (f, g) = (g, f), linearity (f, αg) = α(f, g), (f, g + h) = (f, g) + (f, h), α C, positive-definiteness (f, f) 0, (f, f) = 0 f = 0 For the linearlity condition } (i) (f, αg) = α(f, g) (f, αg + h) α(f, g) + (f, h) for all α C (ii) (f, g + h) = (f, g) + (f, h) (= ) ( =) (f, αg + h) (ii) = (f, αg) + (f, h) (i) = α(f, g) + (f, h) Let α =, we have (ii) Let h = 0 we have (f, αg) α(f, g) + (f, 0) [] = α(f, g), ie part(i) [] Let α = 0 in (i) above Then (f, 0) = 0(f, g) = 0

5 (a) Show that the scalar product in R 3 satisfies properties above (with α R) Scalar product in R 3 is defined as ( v, w) = v T w = i v i w i R for all v, w R 3 Symmetric ( v, w) = i v i w i = i w i v i = ( w, v) Linearity ( u, α v + w) u T (α v + w) = α u T v + u T w α( u, v) + ( u, w) Positivity ( v, v) = v T v = v 0 and 0 = ( v, v) = v T v = v v = 0 v = 0 (b) Show that the inner product in C satisfies properties above Inner product in C is defined as ( v, w) = v w = i v i w i C where v is the conjugate transpose of column vector v ie v = ( v T ) = ( v ) T Symmetric Linearity ( v, w) = vi w i = i ( ) wi v i = ( w, v) ( u, α v + w) u (α v + w) = α u v + u w α( u, v) + ( u, w) i Positivity ( v, v) = v v = v 0 and 0 = ( v, v) = v v = v v = 0 v = 0 (c) Show that the following integral between wave functions f(x) and g(x) satisfies the properties of the inner product: (f, g) f (x)g(x)dx Symmetric: Linearity: (f, g) ( ( ) f (x)g(x)dx = f(x)g (x)dx) = g (x)f(x)dx (g, f) (f, αg + h) f (x) [αg(x) + h(x)] dx = [αf (x)g(x) + f (x)h(x)] dx = α f (x)g(x)dx + f (x)h(x)dx = α(f, g) + (f, h)

6 Positivity: Discussion (f, f) f (x)f(x)dx = f(x) dx 0 and 0 = (f, f) = f(x) dx f = 0 The mutually unbiased bases are quite extensively studied due to their applications in quantum mechanics Yet, their maximal number in vector spaces C d is unknown whenever d is not a power of a prime The simplest case being d = 6 If you see more than three mutually unbiased bases in this case, contact lecturer immediately! Application of Mutually Unbiased Bases (MUB) Quantum: Information theory, Entanglement, Cryptography, Key distribution, etc More generally, mutually unbiased bases in Hilbert space C d { f,, f d } such that e j f k = d j, k {,, d} are two orthonormal bases { e,, e d } and