Assignment0
Assignment0
Let |Ψ∗ ⟩ be the state obtained after performing the complex conjugation
operation in the standard (σZ ) basis.
(i) Evaluate the quantity C(|Ψ⟩) = |⟨Ψ|σY ⊗ σY |Ψ∗ ⟩| and show that it is
proportional to the absolute value of the determinant of the matrix
M:
a b
M= .
c d
(ii) Show that the reduced density matrix on the first qubit is of the form
ρA = M M † . The state |Ψ⟩AB is entangled if and only if the reduced
state ρA has a rank greater than 1. Hence argue that the quantity
C(|ψ⟩) (called the concurrence) is nonzero if and only if the state |Ψ⟩
is entangled.
where R is a positive real number, and |ψ1 ⟩ and |ψ2 ⟩ are a pair of non-
orthogonal quantum states, with a real inner-product 0 ≤ ⟨ψ1 |ψ2 ⟩ ≤ 1.
Show that the set of three operators constitutes a valid POVM if and only
if R = 1+⟨ψ11 |ψ2 ⟩ .
Anita decides at random to send either |u⟩ or |v⟩ to Bharat, who then
has to make a measurement to decide which state she sent. Since the two
states are not orthogonal (|⟨u|v⟩| = sin(2α)), he cannot distinguish the
states perfectly. Bharat therefore settles for a procedure which is successful
only some of the time; he performs a three-outcome POVM defined by the
operators:
Eū + Ev̄ + Eϕ = I,
5. Schmidt Decomposition
(i) A simple way to arrive at the Schmidt form of a bipartite pure state
|ψ⟩AB is as follows. Let {|i⟩A } ∈ HA be the basis in which the re-
duced density operator ρA ≡ TrB [|ψ⟩⟨ψ|] is diagonal. Let |j⟩B be any
orthonormal basis in HB . Suppose we write down the state |ψ⟩ in the
basis {|i⟩A ⊗ |j⟩B }, as follows:
X
|ψ⟩ = cij |i⟩A |j⟩B .
i,j
are mutually orthogonal. Hence, show that the sets {|i⟩A } and {|ĩ⟩B }
constitute Schmidt bases for the state |ψ⟩ by explicitly writing down
its Schmidt form.
(ii) Obtain the Schmidt form of the following states:
(iii) For each of the states |Ψi ⟩AB in part (i), evaluate the reduced state
(i)
ρA ≡ TrB [ |ψi ⟩⟨ψi | ] on subsystem HA and write down its eigenvalues.
Recall that the Shannon entropy H of a probability distribution {pi },
is defined as follows:
X
H( {pi } ) ≡ − pi log pi .
i