Solution 1 for USTC class Physics of Quantum Information

Similar documents
Solution 1 for USTC class Physics of Quantum Information

C/CS/Phy191 Problem Set 3 Solutions Out: Oct 1, 2008., where ( 00. ), so the overall state of the system is ) ( ( ( ( 00 ± 11 ), Φ ± = 1

763622S ADVANCED QUANTUM MECHANICS Solution Set 1 Spring c n a n. c n 2 = 1.

Ph 219a/CS 219a. Exercises Due: Wednesday 23 October 2013

Solutions to Chapter 1 exercises

Ph 219a/CS 219a. Exercises Due: Wednesday 12 November 2008

PHYS 215C: Quantum Mechanics (Spring 2017) Problem Set 3 Solutions

Quantum Mechanics I - Session 4

Lecture 6/7 (February 10/12, 2014) DIRAC EQUATION. The non-relativistic Schrödinger equation was obtained by noting that the Hamiltonian 2

The Order Relation and Trace Inequalities for. Hermitian Operators

Matrix Mechanics Exercises Using Polarized Light

Solutions Homework 4 March 5, 2018

Tensor Analysis. For orthogonal curvilinear coordinates, ˆ ˆ (98) Expanding the derivative, we have, ˆ. h q. . h q h q

1 Matrix representations of canonical matrices

Homework Notes Week 7

This model contains two bonds per unit cell (one along the x-direction and the other along y). So we can rewrite the Hamiltonian as:

Inner Product. Euclidean Space. Orthonormal Basis. Orthogonal

Quadratic speedup for unstructured search - Grover s Al-

Numerical Heat and Mass Transfer

Eigenvalues of Random Graphs

1 Vectors over the complex numbers

CME 302: NUMERICAL LINEAR ALGEBRA FALL 2005/06 LECTURE 13

THEOREMS OF QUANTUM MECHANICS

Explicit constructions of all separable two-qubits density matrices and related problems for three-qubits systems

8.4 COMPLEX VECTOR SPACES AND INNER PRODUCTS

APPENDIX A Some Linear Algebra

Georgia Tech PHYS 6124 Mathematical Methods of Physics I

Grover s Algorithm + Quantum Zeno Effect + Vaidman

Salmon: Lectures on partial differential equations. Consider the general linear, second-order PDE in the form. ,x 2

CONDITIONS FOR INVARIANT SUBMANIFOLD OF A MANIFOLD WITH THE (ϕ, ξ, η, G)-STRUCTURE. Jovanka Nikić

Lectures - Week 4 Matrix norms, Conditioning, Vector Spaces, Linear Independence, Spanning sets and Basis, Null space and Range of a Matrix

Phys304 Quantum Physics II (2005) Quantum Mechanics Summary. 2. This kind of behaviour can be described in the mathematical language of vectors:

arxiv: v1 [quant-ph] 6 Sep 2007

Math 217 Fall 2013 Homework 2 Solutions

Composite Hypotheses testing

MATH 829: Introduction to Data Mining and Analysis The EM algorithm (part 2)

CSCE 790S Background Results

U.C. Berkeley CS294: Beyond Worst-Case Analysis Luca Trevisan September 5, 2017

2. Postulates of Quantum Mechanics. [Last revised: Friday 7 th December, 2018, 21:27]

Solutions to Exercises in Astrophysical Gas Dynamics

Advanced Quantum Mechanics

Lecture 12: Discrete Laplacian

2.3 Nilpotent endomorphisms

ON A DETERMINATION OF THE INITIAL FUNCTIONS FROM THE OBSERVED VALUES OF THE BOUNDARY FUNCTIONS FOR THE SECOND-ORDER HYPERBOLIC EQUATION

Density matrix. c α (t)φ α (q)

Lecture 5.8 Flux Vector Splitting

arxiv: v2 [quant-ph] 29 Jun 2018

Feb 14: Spatial analysis of data fields

Supplementary Information

Solutions to exam in SF1811 Optimization, Jan 14, 2015

Lorentz Group. Ling Fong Li. 1 Lorentz group Generators Simple representations... 3

ψ = i c i u i c i a i b i u i = i b 0 0 b 0 0

für Mathematik in den Naturwissenschaften Leipzig

n α j x j = 0 j=1 has a nontrivial solution. Here A is the n k matrix whose jth column is the vector for all t j=0

The Feynman path integral

Chat eld, C. and A.J.Collins, Introduction to multivariate analysis. Chapman & Hall, 1980

Using T.O.M to Estimate Parameter of distributions that have not Single Exponential Family

Spin-rotation coupling of the angularly accelerated rigid body

Section 8.3 Polar Form of Complex Numbers

332600_08_1.qxp 4/17/08 11:29 AM Page 481

The lower and upper bounds on Perron root of nonnegative irreducible matrices

Mathematical Preparations

Error Bars in both X and Y

= = = (a) Use the MATLAB command rref to solve the system. (b) Let A be the coefficient matrix and B be the right-hand side of the system.

Non-interacting Spin-1/2 Particles in Non-commuting External Magnetic Fields

7. Products and matrix elements

Linear Approximation with Regularization and Moving Least Squares

Transfer Functions. Convenient representation of a linear, dynamic model. A transfer function (TF) relates one input and one output: ( ) system

arxiv:quant-ph/ Jul 2002

Chapter 5. Solution of System of Linear Equations. Module No. 6. Solution of Inconsistent and Ill Conditioned Systems

Perron Vectors of an Irreducible Nonnegative Interval Matrix

Structure and Drive Paul A. Jensen Copyright July 20, 2003

Some Comments on Accelerating Convergence of Iterative Sequences Using Direct Inversion of the Iterative Subspace (DIIS)

A FORMULA FOR COMPUTING INTEGER POWERS FOR ONE TYPE OF TRIDIAGONAL MATRIX

Lecture 3: Probability Distributions

Quantum Mechanics for Scientists and Engineers. David Miller

2 More examples with details

Topic 5: Non-Linear Regression

Lecture notes for the course: Quantum Information

Physics 5153 Classical Mechanics. D Alembert s Principle and The Lagrangian-1

arxiv:quant-ph/ v1 16 Mar 2000

Hongyi Miao, College of Science, Nanjing Forestry University, Nanjing ,China. (Received 20 June 2013, accepted 11 March 2014) I)ϕ (k)

Estimation: Part 2. Chapter GREG estimation

ON MECHANICS WITH VARIABLE NONCOMMUTATIVITY

On the symmetric character of the thermal conductivity tensor

ON THE EXTENDED HAAGERUP TENSOR PRODUCT IN OPERATOR SPACES. 1. Introduction

1 Rabi oscillations. Physical Chemistry V Solution II 8 March 2013

Dynamic Systems on Graphs

LECTURE 9 CANONICAL CORRELATION ANALYSIS

Matrix Approximation via Sampling, Subspace Embedding. 1 Solving Linear Systems Using SVD

14 The Postulates of Quantum mechanics

The Prncpal Component Transform The Prncpal Component Transform s also called Karhunen-Loeve Transform (KLT, Hotellng Transform, oregenvector Transfor

Note: Please use the actual date you accessed this material in your citation.

w ). Then use the Cauchy-Schwartz inequality ( v w v w ).] = in R 4. Can you find a vector u 4 in R 4 such that the

Numerical Properties of the LLL Algorithm

Causal Diamonds. M. Aghili, L. Bombelli, B. Pilgrim

A new Approach for Solving Linear Ordinary Differential Equations

Math1110 (Spring 2009) Prelim 3 - Solutions

Now that we have laws or better postulates we should explore what they imply

Tokyo Institute of Technology Periodic Sequencing Control over Multi Communication Channels with Packet Losses

Transcription:

Soluton 1 for 018 019 USTC class Physcs of Quantum Informaton Shua Zhao, Xn-Yu Xu and Ka Chen Natonal Laboratory for Physcal Scences at Mcroscale and Department of Modern Physcs, Unversty of Scence and Technology of Chna, Hefe, 3006, P.R. Chna 1. Descrbe and prove the no-clonng theorem. The no-clonng theorem states that t s mpossble to create an dentcal copy of an arbtrary unknown quantum state. The prove can be seen n the Box 1.1 on the page 53 of Quantum computon and quantum nformaton by Nelsen.. Prove that non-orthogonal states can t be relably dstngushed. The proof can be seen n the Box.3 on the page 87 of Quantum computon and quantum nformaton by Nelsen. 3. Fnd the egenvectors, egenvalues, and dagonal representatons of the Paul matrces X, Y and Z. The calculaton s omtted.. Wrte down the commutaton relatons and ant-commutaton relatons for the Paul matrces and prove them. The commutaton relatons: [σ, σ j ] = ɛ jk σ k, the ant-commutaton relatons: {σ, σ j } = δji, where, j, k = 1,, 3. The proof s omtted.

5. Prove the Cauchy Schwarz nequalty that for any two vectors v and w, v w v v w w. The proof can be seen n the Box.1 on the page 68 of Quantum computon and quantum nformaton by Nelsen. 6. Let v be any real, three-dmensonal unt vector and θ a real number. Prove that where v σ = 3 =1 v σ. expθ v σ = cosθi + snθ v σ, Usng the propertes of Paul matrces { σ = I, t can be proved that v σ = I. From Taylor seres expanson σ σ j = ɛ jk σ k, we can get fx = f0 + f 0x +... = n=0 f n 0 x n, n! where A s an operator, A = I. expθa = cosθi + snθa, exp θa = cosθi + snθa, Then, we obtan expθ v σ = cosθi + snθ v σ, f set A = v σ. 7. Prove that for any -dmenson lnear operator A, A = 1 T raid + 1 T raσ k σ k, k=1 n whch σ k k = 1,, 3 are Paul matrces.

Suppose that A = 3 j=0 a jσ j, where σ 0 = Id and σ k k = 1,, 3 are Paul matrces, Aσ k = a j σ j σ k, snce j=0 T rσ j σ k = δ jk, 3 so T raσ k = T ra j σ j σ k = a j δ jk = a k, j=0 j=0 a k = 1 T raσ k, we get that A = 1 T raid + 1 T raσ k σ k, 8. Prove that an operator ρ s the densty operator assocated to some ensemble k=1 {p, ψ } f and only f t satsfes the condtons: a Trace condton ρ has trace equal to one b Postve condton ρ s a postve operator The proof can be seen n the Theorem.5 on the page 101 of Quantum computon and quantum nformaton by Nelsen. 9. Let ρ be a densty operator. 1. Show that ρ can be wrtten as ρ = I + r σ where r s a real three-dmensonal vector such that r 1.. Show that T rρ 1, wth equalty f and only f ρ s a pure state. 3. Show that a state ρ s a pure state f and only f r = 1.

1. Usng the concluson derved n the prevous problem, we get ρ = 1 T rρid + 1 T rρσ σ. =1 By defnng r = T rρσ, = 1,, 3 and usng T rρ = 1, we get. Defne ρ = p φ φ, ρ = I + r σ. ρ = p φ φ p j φ j φ j = p p j φ φ φ j φ j,j = p φ φ j T rρ = T r p φ φ = T r p φ φ = p Snce p = 1, p p = 1, T rρ 1 wth equalty f and only f p j = 1, p j = 0 when states ρ s a pure state, 3. Snce ρ = I + r σ,

5 usng we get that snce T rρ = 1 T ri + r σ + r. T ri =, T rσ = 0, = 1,, 3 T rρ = 1 1 + r T rρ 1 wth equalty f and only f ρ s a pure state, r = 1 f and only f ρ s a pure state. r 1. 10. Consder an experment, n whch we prepare the state 0 wth the probablty C 0,and the state 1 wth the probablty C 1. How to descrbe ths type of quantum state? Compare the dfferences and smlartes between t wth the state C 0 0 + C 1 e θ 1. Ths state s a mxd state, whose densty matrx s ρ = C 0 0 0 + C 1 1 1 = C 0 0 0 C 1 The state ψ = C 0 0 + C 1 e θ 1 s a pure state, whose densty matrx s ρ = C 0 0 0 + C 1 1 1 + C 0 C 1 e θ 0 1 + C 0 C 1 e θ 1 0 C 0 C 0 C 1 e θ = C 0 C 1 e θ C 1 It s easy to see that her densty matrxes are dfferent. When measurng these two states, f { 0, 1 } bass s used, the probabltes we get 0 and 1 are same; f other bass s used, the probabltes are dfferent.

6 11. Please prepare the polarzed optcal quantum state C 0 0 + C 1 e θ 1 from an ntal state 0, wth half wave plate and quarter-wave plate. To mplement arbtrary sngle qubt untary transformaton, how many wave plates are at least needed, and how to perform them? For a rotaton δ around an axs n the Bloch Sphere, the operator s gven by the Jones matrx cosθ snθ 1 0 cosθ snθ U δ θ = snθ cosθ 0 e δ snθ cosθ cos θ + e δ sn θ cosθ snθ e δ cosθ snθ = cosθ snθ e δ cosθ snθ e δ cos θ + sn θ n whch the 0 poston s defned as the poston where horzontal polarzed lght stays horzontal and vertcal polarzed stays vertcal or n other words the rotaton axs concurs wth the z-axs n the Bloch Sphere. A HWP rotates the state vector by δ =. The operator for a HWP reads cosθ snθ U θ = snθ cosθ A QWP rotates the state vector by δ =. The operator for a QWP reads U θ = 1 1 + cosθ snθ snθ 1 cosθ Snce there are three parameters n the untary matrx Û except the global phase, two QWPs and one HWP are needed to mplement arbtrary sngle qubt untary transformaton. Solve the relaton Û = e δ U γu βu α.e.

7 cosα γ cosα β + γ snα + γ snα β + γ Û = e δ cosα β + γ snα γ + cosα + γ snα β + γ cosα + γ snα β + γ cosα β + γ snα γ cosα γ cosα β + γ + snα + γ snα β + γ we can get the angle of the QWPs and HWP. Let the quantum state go through QWP α, HWPβ and QWPγ one after another we can mplement arbtrary sngle qubt untary transformaton Û. For example, the angles for the wave plates for the 3 standard drectons are untary transformaton QWPα HWPβ QWPγ Î 0 0 0 σˆ x ˆσ y 0 ˆσ z 0 To get the state C 0 0 +C 1 e θ 1, perform the untary transformaton Û = eδ U γu βu α on the state 0. By solvng the relaton C 0 = e δ U γu βu α 1 C 1 e θ 0.e. C 0 C 1 e θ = e δ 1 cosα γ cosα β + γ snα + γ snα β + γ cosα β + γ snα γ + cosα + γ snα β + γ we can get the angles of the QWPs and HWP.