Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
If you confirm that the file is coming from a trusted source, you can send the following SHA-256
hash value to your admin for the original file.
f64db5a58585fcdbb713ab69e5659983c6eef277b3f476f089572644b3e40901
by
Willi-Hans Steeb
International School for Scientific Computing
at
University of Johannesburg, South Africa
Yorick Hardy
Department of Mathematical Sciences
at
University of South Africa
by Willi-Hans Steeb
World Scientific Publishing, Singapore 2010
ISBN 978-981-4335-31-7
http://www.worldscibooks.com/mathematics/8030.html
by Willi-Hans Steeb
World Scientific Publishing, Singapore 2006
ISBN 981 256 916 2
http://www.worldscibooks.com/mathematics/6202.html
by Willi-Hans Steeb
World Scientific Publishing, Singapore 2007
ISBN 981-256-916-2
http://www.worldscibooks.com/physics/6515.html
v
The International School for Scientific Computing (ISSC) provides certifi-
cate courses for this subject. Please contact the authors if you want to do
this course or other courses of the ISSC.
steebwilli@gmail.com
steeb_wh@yahoo.com
Home page of the author:
http://issc.uj.ac.za
vi
vii
Contents
Preface v
Notation x
1 Qubits 1
3 Matrix Properties 25
4 Density Operators 67
5 Partial Trace 87
8 Entropy 106
9 Measurement 110
10 Entanglement 113
13 Miscellaneous 138
Bibliography 150
Index 155
viii
x
Notation
:= is defined as
∈ belongs to (a set)
∈
/ does not belong to (a set)
∩ intersection of sets
∪ union of sets
∅ empty set
N set of natural numbers
Z set of integers
Q set of rational numbers
R set of real numbers
R+ set of nonnegative real numbers
C set of complex numbers
Rn n-dimensional Euclidean space
space of column vectors with n real components
Cn n-dimensional complex linear space
space of column vectors with n complex components
H Hilbert
√ space
i −1
<z real part of the complex number z
=z imaginary part of the complex number z
|z| modulus of complex number z
|x + iy| = (x2 + y 2 )1/2 , x, y ∈ R
T ⊂S subset T of set S
S∩T the intersection of the sets S and T
S∪T the union of the sets S and T
f (S) image of set S under mapping f
f ◦g composition of two mappings (f ◦ g)(x) = f (g(x))
x column vector in Cn
xT transpose of x (row vector)
0 zero (column) vector
k.k norm
x · y ≡ x∗ y scalar product (inner product) in Cn
x×y vector product in R3
A, B, C m × n matrices
det(A) determinant of a square matrix A
tr(A) trace of a square matrix A
rank(A) rank of matrix A
AT transpose of matrix A
xi
A conjugate of matrix A
A∗ conjugate transpose of matrix A
A† conjugate transpose of matrix A
(notation used in physics)
A−1 inverse of square matrix A (if it exists)
In n × n unit matrix
I unit operator
0n n × n zero matrix
AB matrix product of m × n matrix A
and n × p matrix B
A•B Hadamard product (entry-wise product)
of m × n matrices A and B
[A, B] := AB − BA commutator for square matrices A and B
[A, B]+ := AB + BA anticommutator for square matrices A and B
A⊗B Kronecker product of matrices A and B
A⊕B Direct sum of matrices A and B
δjk Kronecker delta with δjk = 1 for j = k
and δjk = 0 for j 6= k
λ eigenvalue
real parameter
t time variable
Ĥ Hamilton operator
The Pauli spin matrices are used extensively in the book. They are given
by
0 1 0 −i 1 0
σx := , σy := , σz := .
1 0 i 0 0 −1
In some cases we will also use σ1 , σ2 and σ3 to denote σx , σy and σz .
Chapter 1
Qubits
Problem 1. Let |0i, |1i be the standard basis in the Hilbert space C2 ,
i.e.
1 0
|0i = , |1i = .
0 1
π
Let (0 ≤ θ < 4)
1
2 Problems and Solutions
U (θ, φ) = n · σ ≡ n1 σ1 + n2 σ2 + n3 σ3
Ĥ = ε0 I2 + ~ωσ3 + ∆1 σ1 + ∆2 σ2
Problem 9. Let
3
X 3
X
A= ak σk , B= b` σ`
k=0 `=0
Problem 11. Consider the Pauli spin matrices σ1 , σ2 , σ3 . Can one find
a 2 × 2 invertible matrix K with K = K −1 and
Kσ1 K = σ1 , Kσ2 K = −σ2 , Kσ3 K = σ3 ?
Find exp(−iĤt/~).
det(Ĥ(λ) − I2 E) = 0
d
det(Ĥ(λ) − I2 E) = 0
dE
with respect to E and λ.
−e−iθ sin(φ)
cos(φ)
U= .
eiθ sin(φ) cos(φ)
Problem 16. Consider the Pauli spin matrices σ1 , σ2 and σ3 . Can one
find an α ∈ R such that
U = α1 σ1 + α2 σ2 + α3 σ3
is a unitary matrix.
where α, β, γ are the Euler angles with the range 0 ≤ α < 2π, 0 ≤ β ≤ π
and 0 ≤ γ < 2π.
Problem 20. Let Ĥ0 and Ĥ1 be a pair of real symmetric n × n matrices,
where Ĥ0 is a diagonal matrix. Let
σ3 + eiφ σ1
Qubits 7
Problem 23. Let |φ1 i, |φ2 i be two normalized vectors in the Hilbert
space R2 . Assume that
1
hφ1 |φ2 i = .
2
Give a geometric interpretation of this equation.
in the Hilbert space C2 . Are the vectors normalized? If not normalize the
vectors.
Problem 25. Let H be an arbitrary Hilbert space. Let |ψi and |φi be
arbitrary normalized states in H. Find all the solutions of the equation
hφ|ψihψ|φi = i.
nj := hψ|σj |ψi, j = 1, 2, 3
Is the vector
n1
n = n2
n3
in R3 normalized?
(ii) Consider the Hamilton operator
µ~ µ~
Ĥ(t) = − B(t) · σ ≡ − (B1 (t)σ1 + B2 (t)σ2 + B3 (t)σ3 )
2 2
where B(t) is a time-dependent homogeneous magnetic field. Show that
the Schrödinger equation
d
i~ |ψ(t)i = Ĥ(t)|ψ(t)i
dt
can be written as
d
n(t) = −µB(t) × n
dt
where × denotes the vector product.
Problem 29. Find the square roots of the Pauli spin matrices
1 0 0 1 0 −i 1 0
σ0 = , σ1 = , σ2 = , σ3 =
0 1 1 0 i 0 0 −1
∗
E
ejk = UH Ejk UH , j, k = 1, 2
hv1 |v2 i = 0.
Problem 33. (i) Find the norms of the vectors in the Hilbert space C2
iα
e sin(i)
|ψi = , |φi =
e−iα cos(i)
10 Problems and Solutions
where α ∈ R.
(ii) Normalize the vectors |ψi and |φi.
(iii) After normalizing the vectors calculate the probability
p(α) = |hψ(α)|φi|2 .
Discuss p as a function of α.
Normalize the vector and then study the cases α → +∞ and α → −∞.
Can one find a non-zero (column) vector u in C2 such that
u∗ v = 0 ?
v1 = ψ ∗ σ1 ψ, v2 = ψ ∗ σ2 ψ, v3 = ψ ∗ σ3 ψ.
the second eigenvector with eigenvalue λ2 = −1. Find v1∗ v1∗ , v2∗ v2 and
v1∗ v2 . Discuss. Find
λ1 v1 v1∗ + λ2 v2 v2∗ .
Discuss.
Chapter 2
√
Problem 1. Let := e2πi/3 ≡ (−1 + i 3)/2. Consider the eight states
in C8
1 1 1 0 0 0
|ψ1 i = ⊗ ⊗ , |ψ2 i = ⊗ ⊗
0 0 0 1 1 1
1 1 1 0 1 0 1 0 1 1
|ψ3 i = √ ⊗ ⊗ + ⊗ ⊗ + ⊗ ⊗
3 0 0 1 0 1 0 1 0 0
1 0 0 1 0 1 0 1 0 0
|ψ4 i = √ ⊗ ⊗ + ⊗ ⊗ + ⊗ ⊗
3 1 1 0 1 0 1 0 1 1
1 1 1 0 1 0 1 0 1 1
|ψ5 i = √ ⊗ ⊗ + ⊗ ⊗ + ⊗ ⊗
3 0 0 1 0 1 0 1 0 0
1 1 1 0 1 0 1 0 1 1
|ψ6 i = √ ⊗ ⊗ + ⊗ ⊗ + ⊗ ⊗
3 0 0 1 0 1 0 1 0 0
1 0 0 1 0 1 0 1 0 0
|ψ7 i = √ ⊗ ⊗ + ⊗ ⊗ + ⊗ ⊗
3 1 1 0 1 0 1 0 1 1
1 0 0 1 0 1 0 1 0 0
|ψ8 i = √ ⊗ ⊗ + ⊗ ⊗ + ⊗ ⊗
3 1 1 0 1 0 1 0 1 1
(i) Calculate the scalar product hψj |ψk i for j, k = 1, 2, . . . , 8.
(ii) Which of the vectors are entangled?
12
Kronecker and Tensor Product 13
1 0
1 0 1 1
√ = (A ⊗ B) √ ?
2 0 2 1
1 0
On the left-hand side we have the Bell state |Φ+ i and on the right-hand
side we have the Bell state |Ψ+ i. Since A and B are invertible we find that
A ⊗ B is also invertible with (A ⊗ B)−1 = A−1 ⊗ B −1 .
(ii) Can we also find 2 × 2 matrices A, B such that det(A) = det(B) = 1,
i.e. A, B ∈ SL(2, R)?
0 1
1 0
1 0
1 0
1
0
√ = (A ⊗ B ⊗ C) √ ?
3 1 2 0
0 0
0 0
0 1
On the left-hand side we have the W-state and on the right-hand side we
have the GHZ-state.
dA dB
i~ = [A, H](t), i~ = [B, H](t).
dt dt
The solutions can be given as
H = ~ω(1 A ⊗ B + 2 A ⊗ In + 3 Im ⊗ B).
tr(eA ⊗ eB ) = tr(eA⊗B ) ?
Prove or disprove.
P2 = hσ1 ⊗ σ1 , σ3 ⊗ σ3 , σ1 ⊗ σ2 , σ2 ⊗ σ3 , σ3 ⊗ σ1 i.
Problem 10. Consider the hermitian matrices of the three dipole oper-
ators
0 1 0 0 −i 0 1 0 0
1 1
L1 = √ 1 0 1 , L2 = √ i 0 −i , L3 = 0 0 0
2 0 1 0 2 0 i 0 0 0 −1
and the hermitian matrices of five quadrupole operators
0 0 1 0 0 −i
U1 = 0 0 0, U2 = 0 0 0 ,
1 0 0 i 0 0
0 1 0 0 −i 0 1 0 0
1 1 1
V1 = √ 1 0 −1 , V2 = √ i 0 i , Q0 = √ 0 −2 0.
2 0 −1 0 2 0 −i 0 3 0 0 1
Multiplying these eight hermitian matrices by i we obtain a basis for the
semi-simple Lie algebra su(3). Consider the Hamilton operator
Ĥ = κ0 Q0 ⊗ Q0 + κ1 (V1 ⊗ V1 + V2 ⊗ V2 ) + κ2 (U1 ⊗ U1 + U2 ⊗ U2 ).
σ1 ⊗ σ1 , σ2 ⊗ σ2 , σ3 ⊗ σ3 .
Problem 13. Consider the Pauli spin matrix σ2 . Find the eigenvalues
and eigenvectors for σ2 and σ2 ⊗ σ2 . For σ2 ⊗ σ2 show that we find two sets
16 Problems and Solutions
σ1 ⊗ σ2 ⊗ σ3 .
where 1 , 2 , 3 , γ ∈ R.
U 1 ⊗ Π1 + U 2 ⊗ Π2
is unitary.
(ii) Let U1 = σ1 , U2 = σ3 and
1 1 1 1 1 −1
Π1 = , Π2 = .
2 1 1 2 −1 1
Show that this state is entangled, i.e. it can not be written as a product
state.
is unitary.
Kronecker and Tensor Product 17
exp(z(A ⊗ Π)).
exp(z(A1 ⊗ Π1 + A2 ⊗ Π2 )).
(iii) Use the result from (ii) to find the unitary matrix
U (t) = exp(−iĤt/~)
Problem 20. Consider the Hilbert space C16 and the normalized state
1
|ψi = √ (| ↑i ⊗ | ↑i ⊗ | ↑i ⊗ | ↑i + | ↓i ⊗ | ↓i ⊗ | ↓i ⊗ | ↓i
2
where
1 0
| ↑i = , | ↓i = .
0 1
Give a computer algebra implementation that calculates the 256 expecta-
tion values
with the eigenvalues 1/2 and −1/2 and the corresponding normalized eigen-
vectors
1 1 1 1
e1/2 = √ , e−1/2 = √ .
2 1 2 −1
Do the four vectors
1 1
√ (e1/2 ⊗ e1/2 + e−1/2 ⊗ e−1/2 ), √ (e1/2 ⊗ e1/2 − e−1/2 ⊗ e−1/2 ),
2 2
1 1
√ (e1/2 ⊗ e−1/2 + e−1/2 ⊗ e−1/2 ), √ (e1/2 ⊗ e−1/2 − e−1/2 ⊗ e−1/2 ),
2 2
form a basis in C4 ? Prove or disprove.
N
Problem 23. Let N ≥ 1. Consider the Hilbert space C2 . The (N + 1)
Dicke states are defined by
N N 1
, ` − i := p (|0i ⊗ · · · ⊗ |0i ⊗ |1i ⊗ · · · ⊗ |1i +permutations)
2 2 N C` | {z } | {z }
` N −`
Problem 26. Consider the Hilbert space C9 and the three normalized
states
1 0 0 1
1
|ψ12 i = √ 0 ⊗ 1 − 1 ⊗ 0
2 0 0 0 0
0 0 0 0
1
|ψ23 i = √ 1 ⊗ 0 − 0 ⊗ 1
2 0 1 1 0
0 1 1 0
1
|ψ31 i = √ 0 ⊗ 0 − 0 ⊗ 0 .
2 1 0 0 1
(i) Are the states entangled?
(ii) Find the density matrices.
(iii) Form a mixed state from the three density matrices.
Problem 30. (i) Let σ1 , σ2 , σ3 be the Pauli spin matrices. Find the
commutators and anticommutators
[σ1 ⊗σ2 ⊗σ3 , σ3 ⊗σ1 ⊗σ2 ], [σ3 ⊗σ1 ⊗σ2 , σ2 ⊗σ3 ⊗σ1 ], [σ2 ⊗σ3 ⊗σ1 , σ1 ⊗σ2 ⊗σ3 ]
[σ1 ⊗σ2 ⊗σ3 , σ3 ⊗σ1 ⊗σ2 ]+ , [σ3 ⊗σ1 ⊗σ2 , σ2 ⊗σ3 ⊗σ1 ]+ , [σ2 ⊗σ3 ⊗σ1 , σ1 ⊗σ2 ⊗σ3 ]+ .
a permutation matrix?
a density matrix?
(iii) Is
3
1 X
ρ= (σ 0 ⊗ σ 0 ⊗ σ 0 + vj σj ⊗ σj ⊗ σj )
23 j=1
Problem 38. Let σ1 , σ2 , σ3 be the Pauli spin matrices. Show that the
4 × 4 matrix
1 1 1 1 1 −i 1 1 1 1 1 1
R= √ ⊗√ (σ1 ⊗σ2 ) √ ⊗√
2 1 −1 2 1 i 2 1 −1 2 i −i
can be written as direct sum of two 2 × 2 matrices. Discuss.
1
iγσ2 ⊗σ2 0 iγσ ⊗σ 1 1
e ≡e 2 2 ⊗ .
0 0 0
0
cos(γ/2)
0
(U1 (α) ⊗ U2 (β)) ?
0
sin(γ/2)
Matrix Properties
form an orthonormal basis in the Hilbert space C3 . Find the unitary ma-
trices U12 , U23 , U31 such that
1 0 0 0
0 1 0 0
U =
0 0 0 1
0 0 1 0
25
26 Problems and Solutions
A ⊗ In ⊗ In + In ⊗ B ⊗ In + In ⊗ In ⊗ C
{ I2 ⊗ I2 , σ1 ⊗ σ1 , −σ2 ⊗ σ2 , σ3 ⊗ σ3 }
1
|huj |vk i| = √ for all j, k ∈ { 1, 2, . . . , n }.
n
(i) Find such bases for the Hilbert space C2 . Start of with the standard
basis
1 0
u1 = , u2 = .
0 1
(ii) Find such bases for the Hilbert space C3 . Start of with the standard
basis
1 0 0
u1 = 0 , u2 = 1 , u3 = 0 .
0 0 1
(iii) Find such bases for the Hilbert space C4 using the result from C2 and
the Kronecker product.
[A, B]+ ≡ AB + BA = 0n
α = −iωt, A = σ3 ⊗ σ3 ⊗ σ3
28 Problems and Solutions
β = −i∆t/~, B = σ1 ⊗ σ1 ⊗ σ1 .
[A, B] = AB − BA = 0n .
Let a, b ∈ C. Calculate
eaA+bB .
(ii) Let a = −iωt, b = −i∆t/~ (∆ real) and
A = σ3 ⊗ σ3 ⊗ · · · ⊗ σ3 , B = σ1 ⊗ σ1 ⊗ · · · ⊗ σ1
with n (even) factors of the Kronecker products. Then the conditions given
above are satisfied. Simplify the result from (i) with this assumption.
[A, B]+ = AB + BA = 0n .
A = σ3 ⊗ σ3 ⊗ · · · ⊗ σ3 , B = σ1 ⊗ σ1 ⊗ · · · ⊗ σ1
with n (odd) factors of the Kronecker products. Then the conditions given
above are satisfied. Simplify the result from (i) with this assumption.
Problem 11. Consider the Hilbert space C3 and the standard basis
1 0 0
|0i = 0 , |1i = 1 , |2i = 0 .
0 0 1
where ω = e2πi/3 .
(i) Calculate the state R|ji, T |ji, where j = 0, 1, 2.
Matrix Properties 29
1
|ψi = √ (|0i ⊗ |0i + |1i ⊗ |1i + |2i ⊗ 2i).
3
[σm ⊗ σn , σk ⊗ I2 ] ≡ [σm , σk ] ⊗ σn
[σm ⊗ σn , I2 ⊗ σk ] ≡ σm ⊗ [σn , σk ]
where k, m, n ∈ { 1, 2, 3 }.
Problem 13. Given two arbitrary normalized states |ψi and |φi in C2 .
Find a 2 × 2 unitary matrix U such that |ψi = U |φi, i.e. U must be
expressed in terms of the compenents of the states |ψi and φi.
Let
P = In − vj vj∗ − vk vk∗ + vj vk∗ + vk vj∗ , j 6= k.
(i) What is the condition on the eigenvalues of H such that P HP ∗ = H.
(ii) Find P 2 .
Problem 20. We know that any n × n hermitian matrix has only real
eigenvalues. Assume that a given n × n matrix has only real eigenvalues.
Can we conclude that the matrix is hermitian? Prove or disprove.
1 1 −1 −1 0 0 0 0
0 0 0 0 1 1 −1 −1
, , , , , , , .
0 0 0 0 1 −1 1 −1
1 −1 1 −1 0 0 0 0
√
The normalization factor would be 1/ 2. In class B we have the eight
vectors
0 0 0 0 1 −1 1 −1
1 1 −1 −1 0 0 0 0
, , , , , , , .
0 0 0 0 1 1 −1 −1
1 −1 1 −1 0 0 0 0
√
The normalization factor is also 1/ 2. In class C we have the eight vectors
0 0 0 0 1 1 −1 −1
0 0 0 0 1 −1 1 −1
, , , , , , , .
1 1 −1 −1 0 0 0 0
1 −1 1 −1 0 0 0 0
√
Again the normalization factor is 1/ 2. Show that if α(nA , m) is the angle
between the nth vector of class A and the mth vector of class B, then
and
α(nA , mA ) = α(nB , mB ) = α(nC , mC ).
Each class contains four oppositely oriented pairs of vectors. This means
that the ordering of the vectors is such that class B is related to class A in
exactly the same way as class C is related to B and A is related to C.
(ii) Show that the normalized vectors in class A are maximally entangled.
(iii) Show that the vectors in class B and class C can be written as the
Kronecker product of two vectors from R2 .
(iv) The Hadamard gate given by the unitary matrix
1 1 1
H=√
2 1 −1
plays a central role in quantum computing. Consider now the 4 × 4 matrix
R = I2 ⊗ H
32 Problems and Solutions
where ⊗ denotes the Kronecker product and I2 is 2×2 unit matrix. Thus R
itself is a unitary matrix. Applying this matrix to the 24 vectors. Discuss.
(v) Show that the construction given above can be extended to higher
dimensional cases. For example in R8 we would start with
1
√ (±1, ±1, 0, 0, 0, 0, 0, 0)T
2
and all permutations. Show that this provides us with the GHZ-state
1
√ (1 0 0 0 0 0 0 1)T
2
which is fully entangled when we use the three tangle (based on the hy-
perdeterminant) as measure of entanglement. Show that we find a set of
unentangled states, for example
1
1
0
1 1 1 1 1 0
⊗ ⊗√ = √ .
0 0 2 1 2 0
0
0
0
Show that using the three-tangle as measure for entanglement we find 0 for
these vectors.
Let d = 2 and
1 i
A= .
i −1
Find the norm.
d
X
|ψA i = ajk |ji ⊗ |ki.
j,k=1
eiφ1 0 0 eiφ1
1 0 1 e iφ2 1 e iφ2 1 0
√ , √ iφ2 , √ iφ2 , √
0 2 e −e 0
2 2 2
iφ1 iφ1
e 0 0 −e
eiφ1 0 0 eiφ1
1 0 iφ2 iφ2
e e 0
M (φ1 , φ2 ) = √ .
2 0 eiφ2 −eiφ2 0
eiφ1 0 0 −eiφ1
X := x1 σ1 + x2 σ2 + x3 σ3 , Y := y1 σ1 + y2 σ2 + y3 σ3 .
1
x·y = tr(XY ).
2
(iii) Show that
x2 y3 − x3 y2
i
− [X, Y ] ↔ x × y = x3 y1 − x1 y3 .
2
x1 y2 − x2 y1
Thus we have the Hilbert space C2 . For s = 1 we have the three states
|1, −1i, |1, 0i, |1, 1i and can identify
0 0 1
|1, −1i 7→ 0 , |1, 0i 7→ 1 , |1, 1i 7→ 0 .
1 0 0
Problem 28. (i) Consider the Pauli spin matrix σ2 and the Lie group
SL(2, C). Let S ∈ SL(2, C). Show that
Sσ2 S T = σ2
(S ⊗ S)(σ2 ⊗ σ2 )(S T ⊗ S T ) = σ2 ⊗ σ2 .
Problem 29. Let |1i, |2i, . . . , |di be an orthonormal basis in the Hilbert
space Cd . Consider the matrix
d
X
S= (|jihk| ⊗ |kihj|).
j,k=1
−e−iφ2
1 eiφ1
U (φ1 , φ2 ) = √
2 eiφ2 e−iφ1
eiφ1 0 0 −e−iφ2
1 0 eiφ3 −e−iφ4 0
U (φ1 , φ2 , φ3 , φ4 ) = √
0 eiφ4 e−iφ3 0
2
eiφ2 0 0 e−iφ1
e 1 √0 −e−iφ2
iφ
1
U (φ1 , φ2 ) = √ 0 2 0
2 eiφ2 0 e−iφ1
How can this information be used to find the eigenvalues and eigenvectors
of the Bell matrix
1 0 0 1
1 0 1 1 0
B=√ .
2 0 1 −1 0
1 0 0 −1
1 1 0 1
1 1 1 0 1 1 1 −1
v1 = , v2 = √ , v3 = √ , v4 =
2 1 2 −1 0 2 1
2
1 0 −1 −1
hv1 |v2 i = 0.
38 Problems and Solutions
1 1 1 1
1 ieiφ −1 −ie iφ
H(φ) =
1 −1 1 −1
1 −ieiφ −1 ie iφ
1 0 0 1
1 0 1 1 0
B=√
2 0 1 −1 0
1 0 0 −1
Problem 38. Let σ1 , σ2 , σ3 be the Pauli spin matrices. For the Dirac
equation the following 4 × 4 matrices play a central role. We define
I2 0 2 02 σk
β := , αk = k = 1, 2, 3.
02 −I2 σk 0 2
Show that
2
d
X 2d
|ψj i ⊗ |ψj ihψj | ⊗ hψj | = .
j=1
d+1
(iv) Can one find a SIC-POVM in C4 using the states from (i) and the
Kronecker product?
where a, b, c, d ∈ C.
(i) Find A2 and A3 .
(ii) Use the result from (i) to find all matrices A such that A3 = σ1 .
Problem 45. Let φ11 , φ12 , φ21 , φ22 ∈ R. Consider the matrix
1 eiφ11 eiφ12
V =√ .
2 eiφ21 eiφ22
(i) What are the conditions on φ11 , φ12 , φ21 , φ22 such that the matrix is
unitary?
(ii) What are the conditions on φ11 , φ12 , φ21 , φ22 such that the matrix is
hermitian?
What are the conditions on φ11 , φ12 , φ21 , φ22 such that V = V −1 ?
unitary?
Hint. Utilize
e = H = S1 ⊗ S1 + S2 ⊗ S2 + S3 ⊗ S3
H
~ω
e = K = S1 ⊗ S2 + S2 ⊗ S3 + S3 ⊗ S1
K
~ω
admit the same spectrum for all s.
(iv) Find the commutator
[S1 ⊗ S1 + S2 ⊗ S2 + S3 ⊗ S3 , S1 ⊗ S2 + S2 ⊗ S3 + S3 ⊗ S1 ]
and anticommutator
[S1 ⊗ S1 + S2 ⊗ S2 + S3 ⊗ S3 , S1 ⊗ S2 + S2 ⊗ S3 + S3 ⊗ S1 ]+ .
(v) For the case s = 21 , s = 1, s = 32 find the eigenvalues and the normalized
eigenvectors.
(vi) Calculate exp(z H)
e and exp(z K). e
Discuss.
3
1 X 1 1
tr(AB) ≡ tr(σj A) tr(σj B) ?
2 j=1
2 2
with α = 1, 2, 3. Let
S1 ⊗ I3 ⊗ I3 I3 ⊗ S1 ⊗ I3 I3 ⊗ I3 ⊗ S1
S1 = S2 ⊗ I3 ⊗ I3 , S2 = I3 ⊗ S2 ⊗ I3 , S3 = I3 ⊗ I3 ⊗ S2
S3 ⊗ I3 ⊗ I3 I3 ⊗ S3 ⊗ I3 I3 ⊗ I3 ⊗ S3
and
I3 ⊗ S2 ⊗ S3 − I3 ⊗ S3 ⊗ S2
S2 × S3 = I3 ⊗ S3 ⊗ S1 − I3 ⊗ S1 ⊗ S3
I3 ⊗ S1 ⊗ S2 − I3 ⊗ S2 ⊗ S1
Thus
S1 ·(S2 ×S3 ) = S1 ⊗S2 ⊗S3 −S1 ⊗S3 ⊗S2 +S2 ⊗S3 ⊗S1 −S2 ⊗S1 ⊗S3 +S3 ⊗S1 ⊗S2 −S3 ⊗S2 ⊗S1 .
σ1 ⊗ σ2 ⊗ σ3 .
where 1 , 2 , 3 , γ ∈ R.
Problem 66. Find the nonzero (column) vectors u ∈ C16 such that
(σ1 ⊗ σ3 ⊗ I2 ⊗ σ3 )u = u
(σ3 ⊗ σ1 ⊗ σ3 ⊗ I2 )u = u
(I2 ⊗ σ3 ⊗ σ1 ⊗ σ3 )u = u
(σ3 ⊗ I2 ⊗ σ3 ⊗ σ1 )u = u.
Find the commutators [Σ1 , Σ2 ], [Σ2 , Σ3 ], [Σ3 , Σ1 ] and compare with the
commutators [σ1 , σ2 ], [σ2 , σ3 ], [σ3 , σ1 ].
Matrix Properties 49
all with the eigenvalues +1, 0 and −1. Show that Sj3 = Sj .
(ii) Let φ ∈ R. Show that
exp(z1 σ1 ⊗ σ1 + z2 σ2 ⊗ σ2 + z3 σ3 ⊗ σ3 ).
Problem 73. Let σ3 , σ1 be the Pauli spin matrices. Find the commuta-
tors
[σ1 ⊗ σ1 ⊗ σ1 , σ3 ⊗ σ3 ⊗ σ3 ]
50 Problems and Solutions
and
[σ1 ⊗ σ1 ⊗ σ1 ⊗ σ1 , σ3 ⊗ σ3 ⊗ σ3 ⊗ σ3 ].
Discuss the general case with n Kronecker products.
which is a unitary matrix. Each column vector of the matrix is a fully en-
tangled state. Are the normalized eigenvectors of B are also fully entangled
states?
Problem 81. Consider the Pauli spin matrices to describe a spin- 12 par-
ticle. In the square array of 4 × 4 matrices
I2 ⊗ σ3 σ3 ⊗ I2 σ3 ⊗ σ3
σ1 ⊗ I2 I2 ⊗ σ1 σ1 ⊗ σ1
σ1 ⊗ σ3 σ3 ⊗ σ1 σ2 ⊗ σ2
each row and each column is a triad of commuting operators. Consider the
hermitian 3 × 3 matrices to describe a particle with spin-1
0 1 0 0 −i 0 1 0 0
~ ~
S1 := √ 1 0 1 , S2 := √ i 0 −i , S3 := ~ 0 0 0 .
2 0 1 0 2 0 i 0 0 0 −1
Is in the square array of 9 × 9 matrices
I3 ⊗ S3 S3 ⊗ I3 S3 ⊗ S3
S1 ⊗ I3 I3 ⊗ S1 S1 ⊗ S1
S1 ⊗ S3 S3 ⊗ S1 S2 ⊗ S2
each row and each column a triad of commuting operators?
where q · σ := q1 σ1 + q2 σ2 + q3 σ3 . Calculate
(Q ⊗ S + R ⊗ S + R ⊗ T − Q ⊗ T )2 .
Problem 86. Using the definitions from the previous problem we define
1 1 1 1
s−,j := (σx,j − iσy,j ) = σ−,j , s+,j := (σx,j + iσy,j ) = σ+,j
2 2 2 2
and
c1 = s−,1
j−1
!
X
cj = exp iπ s+,` s−,` s−,j for j = 2, 3, . . .
`=1
with s− −
n+1 = s1 (cyclic boundary condition) and the term
m
n
1 X − −
Y = s s .
m! j=1 j j+1
Let
1 0
u= , v= .
0 1
Calculate
Y (u ⊗ u ⊗ · · · ⊗ u), Y (v ⊗ v ⊗ · · · ⊗ v).
(σ1 ⊗ σ1 + σ2 ⊗ σ2 )2 , (σ1 ⊗ σ1 + σ2 ⊗ σ2 )3 .
R := σ1 ⊗ σ1 + σ2 ⊗ σ2 + σ3 ⊗ σ3 .
(i) Find tr(R). Using this result what can be said about the eigenvalues of
R.
(ii) Find R2 . Using this result and the result from (i) derive the eigenvalues
of the matrix R.
(iii) Find 41 (I4 + R)2 .
[A, B] = σ2 ⊗ σ3 − σ3 ⊗ σ2 .
Ĥ = A ⊗ In + In ⊗ B + (A ⊗ B)
Problem 106. Consider the Pauli spin matrices σ1 , σ2 and σ3 . Can one
find an α ∈ R such that
exp(iασ3 )σ1 exp(−iασ3 ) = σ2 ?
√
Problem 108. (i) Let τ = ( 5 − 1)/2 be the golden mean number.
Consider the 2 × 2 matrices
−i7π/10 √
−τ e−iπ/10
e 0 √ −i τ
B1 = , B2 = .
0 −e−i3π/10 −i τ −τ eiπ/10
The matrices are invertible. Are the matrices unitary? Is B1 B2 B1 =
B2 B1 B2 ?
(ii) Show that using computer algebra
−2 4 −1 −1 −2 −1 −5 −1 0 i
B2 B1 B2 B1 B2 B1 B2 B1 B2 B1 B2 B1 B2 ≈ .
i 0
U = α1 σ1 + α2 σ2 + α3 σ3
These states play a role for the π-mesons. Show that the states
|π + i ⊗ |π + i, |π − i ⊗ |π − i
1 1
√ (|π + i ⊗ |π 0 i + |π 0 i ⊗ |π + i), √ (|π 0 i ⊗ |π − i + |π − i ⊗ |π 0 i)
2 2
1 1 1
√ (|π + i⊗|π 0 i−|π 0 i⊗|π + i), √ (|π + i⊗|π − i−|π − i⊗|π + i), √ (|π 0 i⊗|π − i−|π − i⊗|π 0 i)
2 2 2
1 1
√ (2|π 0 i⊗|π 0 i+|π + i⊗|π − i+|π − i⊗|π + i), √ (|π + i⊗|π − i+|π − i⊗|π + i−|π 0 i⊗|π 0 i)
6 3
form an orthonormal basis in the Hilbert space C9 . Which of these states
are entangled?
Problem 115. (i) The electronic scattering matrix has the form
−3 − 2 − 1 0 1 2 3
X02 = I2 ⊗ I2 ⊗ I2 ⊗ σz ⊗ I2 ⊗ σz ⊗ I2
X−20 = I2 ⊗ σz ⊗ I2 ⊗ σz ⊗ I2 ⊗ I2 ⊗ I2
X12 = I2 ⊗ I2 ⊗ I2 ⊗ I2 ⊗ σz ⊗ σz ⊗ I2
X−2−1 = I2 ⊗ σz ⊗ σz ⊗ I2 ⊗ I2 ⊗ I2 ⊗ I2
X23 = I2 ⊗ I2 ⊗ I2 ⊗ I2 ⊗ I2 ⊗ σz ⊗ σz
X−3−2 = σz ⊗ σz ⊗ I2 ⊗ I2 ⊗ I2 ⊗ I2 ⊗ I2 .
Let
K = λ(X02 + X−20 + X12 + X−2−1 + X23 + X−3−2 )
where λ ∈ R. Calculate tr(exp(K)) and discuss the behaviour on λ.
Problem 120. Is
(σ3 ⊗ σ2 ⊗ σ1 )(σ1 ⊗ σ2 ⊗ σ3 )(σ3 ⊗ σ2 ⊗ σ1 ) = σ1 ⊗ σ2 ⊗ σ3 ?
Is
(σ3 ⊗ I2 ⊗ σ1 )(σ1 ⊗ σ2 ⊗ σ3 )(σ3 ⊗ I2 ⊗ σ1 ) = σ1 ⊗ σ2 ⊗ σ3 ?
Problem 124. Let c†1 , c†2 , . . . , c†n be Fermi creation operators and c1 , c2 , . . . , cn
be Fermi annihilation operators with the anticommutation relations
[c†j , ck ]+ = δjk I.
(i) Consider the unitary matrix
0 1
U= .
1 0
Is the operator
0 1 c1
K̂U = c†1 c†2 = c†1 c2 + c†2 c1
1 0 c2
unitary?
(ii) Consider the hermitian matrix
0 −i
U= .
i 0
Is the operator
0 −i c1
K̂H = c†1 c†2 = −ic†1 c2 + ic†2 c1
i 0 c2
62 Problems and Solutions
hermitian?
(iii) Consider the nonnormal matrix
0 1
N= .
0 0
Is the operator
0 1 c1
c†1 c†2 = c†1 c2 + c†2 c1
K̂N =
0 0 c2
nonnormal?
Problem 128. Let c†1 , c†2 be Fermi creation operators and annihilation
and c1 , c2 be Fermi annihilation operators. Consider the operators
F1 = c†1 c†2 , F2 = c2 c1 , F3 = c†1 c2 , F4 = c†2 c1
i.e. F2 = F1† and F4 = F1† . Find the commutators [Fj , Fk ] and anti-
commutators [Fj , Fk ]+ .
T
Problem 132. Consider the vector v = 21 ( 1 0 1 1 0 1 ) ∈ C6 .
Find a Schmidt decomposition of v over C6 = C2 ⊗ C3 and over C6 =
C3 ⊗ C2 .
a unitary matrix?
are given by 1, k 2 , 1 + k 2 .
Problem 135. Find all 2 × 2 matrices A and B over C such that the
4 × 4 matrix
U = A ⊗ I2 + I2 ⊗ B
is unitary. Start of with
r11 eiα11 r12 eiα12 s11 eiβ11 s12 eiβ12
A= , A= ,
r21 eiα21 r22 eiα22 s21 eiβ21 s22 eiβ22
Matrix Properties 65
S1 ⊗ S3 ⊗ S2 .
1
Γ[µ,ν] := i(Γµ Γν − Γν Γµ ).
2
Do these fifteen matrices together with the 4 × 4 identity matrix form an
orthogonal basis in the vector space of 4 × 4 matrices over C?
Problem 141. Let J2 be the 2 × 2 matrix with all entries 1 and I2 the
2 × 2 identity matrix. Find the eigenvalues and normalized eigenvectors of
I2 ⊗ J2 + J2 ⊗ I2 .
Extend to Jn and In .
Chapter 4
Density Operators
Problem 3. (i) Find a normalized state |φi in the Hilbert space C2 such
that we have the density matrix
1 1
|φihφ| = I2 + √ (σ1 + σ3 ) .
2 2
(ii) Find a normalized state |ψi in the Hilbert space C2 such that we have
the density matrix
1 1
|ψihψ| = I2 + √ (σ1 + σ2 + σ3 ) .
2 3
67
68 Problems and Solutions
is a density matrix.
1 0 0 1−
1 0 0 0 0
ρ() =
2 0 0 0 0
1− 0 0 1
a density matrix?
1
ω− = (I2 ⊗ I2 − σ1 ⊗ σ1 + σ2 ⊗ σ2 + σ3 ⊗ σ3 )
4
1
ω + = (I2 ⊗ I2 + σ1 ⊗ σ1 − σ2 ⊗ σ2 + σ3 ⊗ σ3 )
4
+ 1
ρ = (I2 ⊗ I2 + σ1 ⊗ σ1 + σ2 ⊗ σ2 − σ3 ⊗ σ3 )
4
are density matrices. How they are related to the 4 Bell states
0 1 1 0
1 1 1 0 1 0 1 1
|ψ − i = √ , |φ− i = √ , |φ+ i = √ , |ψ + i = √ ?
2 −1 2 0 2 0 2 1
0 −1 1 0
λρ1 + (1 − λ)ρ2
a density matrix?
1 1
|ψ1 i = √ (|0i ⊗ |0i + |1i ⊗ |1i), |ψ2 i = √ (|0i ⊗ |0i − |1i ⊗ |1i)
2 2
1 1
|ψ3 i = √ (|0i ⊗ |1i + |1i ⊗ |0i), |ψ2 i = √ (|0i ⊗ |1i − |1i ⊗ |0i).
2 2
Write ρ using the Pauli spin matrices σ1 , σ2 , σ3 , the 2 × 2 identity matrix
I2 and the Kronecker product.
70 Problems and Solutions
Find ρ.
1 1
|ψ3 i = √ (|0i ⊗ |1i + |1i ⊗ |0i), |ψ2 i = √ (|0i ⊗ |1i − |1i ⊗ |0i).
2 2
Write ρ using the Pauli spin matrices and the 2 × 2 identity matrix I2 .
Ĥ = ~ωσ1 .
Solve the von Neumann equation for the given ρ(0) and the given Ĥ. The
von Neumann equation is given by
dρ
i~ = [Ĥ, ρ](t)
dt
with the solution
ρ(t) = e−iĤt/~ ρ(0)eiĤt/~ .
Ĥ = ~ωσ1 ⊗ σ1 .
Solve the von Neumann equation for given ρ and the given Ĥ. The von
Neumann equation is given by
dρ
i~ = [Ĥ, ρ](t)
dt
with the solution
ρ(t) = e−iĤt/~ ρ(0)eiĤt/~ .
a density matrix?
(ii) Can one find a state |ψi in C2 such that
ρ = |ψihψ| ?
ρ ⊗ ρ, ρ ⊕ ρ, ρ?ρ
density matrices? Here ⊗ denotes the Kronecker product, ⊕ the direct sum
and ? operation which is defined for two 2 × 2 matrices A and B as
a11 0 0 a12
0 b11 b12 0
A?B = .
0 b21 b22 0
a21 0 0 a22
Problem 20. Let |0i, |1i be the standard basis in C2 . Consider the
entangled state
1
|ψi = √ (|0i ⊗ |1i − |1i ⊗ |0i)
2
with the density matrix ρ = |ψihψ|. Find the reduced density matrix ρ1 .
Discuss.
Density Operators 73
1 1 + r cos(θ) r sin(θ)e−iφ
ρ=
2 r sin(θ)eiφ 1 − r cos(θ)
Problem 23. Let S be the set of unit vectors in the Hilbert space Cn .
Let u ∈ S. A function µ(u) from S to R is called a generalized probability
measure if the following two conditions hold: (i) for u ∈ S, 0 ≤ µ(u) ≤ 1,
n
(ii)
Pn if u1 , . . . , un form an orthonormal basis in the Hilbert space C , then
j=1 µ(uj ) = 1.
µ(ρ) = tr(ρuu∗ )
Problem 29. Consider the Hamilton operator acting in the Hilbert space
C4
Ĥ = ~ω1 (σ3 ⊗ I2 + I2 ⊗ σ3 ) + ~ω2 (σ1 ⊗ σ1 )
where ω1 , ω2 > 0.
(i) Find the (real) eigenvalues (the matrix Ĥ is hermitian) E0 , E1 , E2 , E3
with the ordering E0 ≤ E1 ≤ E2 ≤ E3 .
(ii) Find the corresponding normalized eigenvectors |E0 i, |E1 i, |E2 i, |E3 i.
Are the eigenvectors separable?
(iii) Calculate the partition function Z(β) (β = 1/(kB T )) defined by
3
X
Z(β) := exp (−βEj ) .
j=0
(iv) We define
e−βEj
pj (β) := , j = 0, 1, 2, 3.
Z(β)
Calculate the density matrix
3
X
ρ(β) = pj (β)|Ej ihEj |.
j=0
76 Problems and Solutions
Do we have a mixed or pure state? Study the cases ρ(∞) and ρ(0).
1−α 0 0 0
1 0 1+α −2α 0
ρ(α) =
4 0 −2α 1+α 0
0 0 0 1−α
and
2 cos2 θ 0 0 0
1 0 sin2 θ sin2 θ 0
ρ(θ) =
2 0 sin2 θ sin2 θ 0
0 0 0 0
density matrices? Prove or disprove. If so, do we have a mixed or pure
state?
a density matrix?
1 0 1 0
1 0 1 0 1
ρ=
4 1 0 1 0
0 1 0 1
ρ = tρ1 + (1 − t)ρ2
a density matrix?
(ii) The Hilbert-Schmidt distance d(ρ1 , ρ2 ) is given by
p
d(ρ1 , ρ2 ) := tr((ρ1 − ρ2 )2 ).
Problem 39. Let σ1 , σ2 , σ3 be the Pauli spin matrices. Find the condi-
tions on the real coefficients rj , uj , tjk (j, k = 1, 2, 3) such that
3 3 3 X3
1 X X X
ρ= (I2 ⊗ I2 + rj σj ⊗ I2 + uj I2 ⊗ σj + tjk σj ⊗ σk )
4 j=1 j=1 j=1 k=1
a density matrix. Obviously this matrix is hemitian and has trace 1, but
are all the eigenvalues are non-zero?
(ii) Is the matrix
3
1 X
ρ = (I3 ⊗ I3 + vj Sj ⊗ Sj )
9 j=1
a density matrix?
Problem 43. Consider a mixture of 25% of the pure state (1, 0)T , 25%
of the pure state (0, 1)T and 50% of the pure state √12 (1, 1)T described by
the density matrix
1 1 1 0 1 1 1 1
ρ= (1 0) + (0 1) + √ √ (1 1).
4 0 4 1 2 2 1 2
Find the spectral representation of ρ. Use the spectral representation of ρ to
find another mixture of pure states with the same (measurement) statistical
properties as ρ.
80 Problems and Solutions
e−iφ
α 0
1
ρ(α, φ) = 0 2 − 2α 0
2
eiφ 0 α
a density matrix?
a density matrix.
Apply the Cayley transform to find the corresponding unitary matrix. Dis-
cuss.
(ii) Consider the density matrix (pure state)
1 1 −i 1 1 1
ρ= =√ √ ( 1 −i ) .
2 i 1 2 i 2
Apply the Cayley transform to find the corresponding unitary matrix. Dis-
cuss.
Density Operators 81
1 1 ··· 1
1 1 1 ··· 1
ρ= . . .. . .
n .. .. . ..
1 1 ··· 1
Apply the Cayley transform to find the corresponding unitary matrix. Dis-
cuss.
(iv) Consider the mixed state
1/2 0
ρ= .
0 1/2
Apply the Cayley transform to find the corresponding unitary matrix. Dis-
cuss.
Show that
N +1
Q(θ, φ, t) := hθ, φ|ρ(t)|θ, φi
4π
N N 1/2 1/2
N +1 X X N N ∗
= Cm (t)Cn (t)
4π m=0 n=0
m n
2N −m−n
×(cos(θ/2)) (sin(θ/2))m+n e−i(m−n)φ .
ρ = tρ1 + (1 − t)ρ2
a density matrix.
(ii) If so apply it to the density matrices which are related to the Bell states
0 0 0 0 1 0 0 1
1 0 1 1 0 1 0 0 0 0
ρ1 = , ρ2 = .
2 0 1 1 0 2 0 0 0 0
0 0 0 0 1 0 0 1
(iii) The Hilbert-Schmidt distance d(ρ1 , ρ2 ) is given by
p
d(ρ1 , ρ2 ) = tr((ρ1 − ρ2 )2 ).
Find the distance for the two density matrices given in (ii).
Problem 53. Consider the Hilbert space C2 and the projection matrices
1 1 1 1 1 −1
Π1 = , Π2 = .
2 1 1 2 −1 1
Find Π1 Π2 and Π1 + Π2 . Let
cos(θ)
ρ(θ) = ( cos(θ) sin(θ) ) .
sin(θ)
Density Operators 83
Find
tr(ρΠ1 ), tr(ρΠ2 ).
Then 2 2
2 2
1 1
σA σB ≥ h[A, B]+ i − hAihBi + h[A, B]i .
2 2
(i) Let n = 2 and A = σ1 , B = σ2 and
1 1 1
ρ= .
2 1 1
Calculate
ρ = (|ψ0 ihψ0 |) ⊗ (|ψ1 ihψ1 |).
84 Problems and Solutions
Is ρ a density matrix?
Let
1 1 1 1 0 0
1 1
A= 1 1 1, B= 0 1 0.
3 3
1 1 1 0 0 1
Both matrices are density matrices, with A a pure state and B a mixed
state. Calculate the left- and right-hand side of the two inequality. Discuss.
a density matrix?
Is
n
X
ρ= λj vj vj∗
j=1
a density matrix?
Density Operators 85
p1 0 ··· 0
0 p2 0 · · · ∗
ρ(U, p) = U U
··· ··· ··· ···
0 0 · · · pN
is a density matrix. Find the density matrix for the case N = 2 and with
p = (1/4, 3/4) and
1 1 1
U=√ .
2 1 −1
a density matrix?
Chapter 5
Partial Trace
87
88 Problems and Solutions
(i) Calculate the partial trace ρAB = trC (ρ) with the basis
1 0
I4 ⊗ , I4 ⊗ .
0 1
(ii) Calculate the partial trace ρA = trB (ρAB ) with the basis
1 0
I2 ⊗ , I2 ⊗ .
0 1
x01 = x1
x02 = x1 ⊕ x2
x01 = x1
x02 = x1 ⊕ x2
x03 = x1 ⊕ x2 ⊕ x3 .
89
90 Problems and Solutions
x01 = x1
x02 = x1 ⊕ x2
x03 = x3 ⊕ (x1 · x2 ).
x01 = x1 ⊕ x3
x02 = x1 ⊕ x2
x03 = (x1 · x2 ) ⊕ (x1 · x3 ) ⊕ (x2 · x3 ).
Problem 10. The Fredkin gate F(x1 ; x2 , x3 ) has 3 inputs (x1 , x2 , x3 ) and
three outputs (y1 , y2 , y3 ). It maps boolean patterns
(x1 , x2 , x3 ) → (x1 , x3 , x2 )
(a, b, c) → (a, a · b ⊕ c, a · c ⊕ b)
reversible?
92 Problems and Solutions
Problem 13. Prove that the Fredkin gate is universal. A set of gates is
called universal if we can build any logic circuits using these gates assuming
bit setting gates are given.
S=A⊕B
C = A · B.
x01 = x1 ⊕ x3
x02 = x1 ⊕ x2
x03 = (x1 + x2 ) ⊕ (x1 + x3 ) ⊕ (x2 + x3 ).
x01 = x1
x02 = x2
x03 = x3
x04 = x4 ⊕ x1 ⊕ x2 ⊕ x3 .
x01 = x1 ⊕ x3
x02 = x2 ⊕ x3 ⊕ (x1 · x2 ) ⊕ (x2 · x3 )
x03 = x1 ⊕ x2 ⊕ x3
x04 = x4 ⊕ x3 ⊕ (x1 · x2 ) ⊕ (x2 · x3 ) .
(a, b, c) → (a, a · b + a · c, a · c + a · b)
Reversible Logic Gates 93
Problem 19. Show that the map f : {0, 1}3 → {0, 1}3
abc xyz
000 -> 000
100 -> 100
010 -> 101
110 -> 011
001 -> 001
101 -> 010
011 -> 110
111 -> 111
Problem 21. (i) Let x1 , x2 ∈ {0, 1}. Let ⊕ be the XOR operation. Show
that
(x1 , x2 ) 7→ (x1 ⊕ 1, x1 ⊕ x2 )
is a 2-bit reversible gate.
(ii) Let
1 0
|0i = , |1i = .
0 1
Find the 4 × 4 permutation matrix P such that
(v) Given a 4 × 4 permutation matrix (as a quantum gate). How can one
construct a corresponding 2-bit reversible gate? Apply it to the permuta-
tion matrix
0 1 0 0
0 0 1 0
P = .
0 0 0 1
1 0 0 0
Problem 22. The NOT, AND and OR gate form a universal set of oper-
ations (gates) for boolean algebra. The NAND operation is also universal
for boolean algebra. However these sets of operations are not reversible sets
of operations. Consider the Toffoli and Fredkin gates
F REDKIN : {0, 1}3 → {0, 1}3 , F REDKIN (a, b, c) = (a, a·c+ā·b, a·b+ā·c)
where ā is the NOT operation, + is the OR operation, · is the AND oper-
ation and ⊕ is the XOR operations.
Unitary Transformations
and Quantum Gates
0 0 0 1
0 0 1 0
S= .
0 1 0 0
1 0 0 0
95
96 Problems and Solutions
dψ
i~ = Hψ(t) (1)
dt
with ψ(0) the initial value. The evolution of ψ(t) is determined by
dU (t)
i~ ψ(0) = HU (t)ψ(0). (3)
dt
(ii) Assume that H = ~ωσ3 . Find U (t).
Unitary Transformations and Quantum Gates 97
|φi = (U ⊗ Im )|ψi
r(ρψ φ
1 ) ≥ r(ρ1 ), r(ρψ φ
2 ) ≥ r(ρ2 ).
Pn := { I2 , σ1 , σ2 , σ3 }⊗n ⊗ { ±1, ±i }
1 0 0 0
0 1 0 0
UCN OT =
0 0 0 1
0 0 1 0
is an element of C2 .
(iv) Is the Fredkin gate an element of C3 ?
iφ1j iφ2j
where e , e (j = 1, . . . , n) are the eigenvalues of U1 and U2 , re-
spectively and u1j , u2j (j = 1, . . . , n) are the corresponding normalized
eigenvectors of U1 and U2 , respectively. Let the unitary matrices
n
X
V1 = eiφ1j /2 u1j u∗1j
j=1
n
X
V2 = eiφ2j /2 u2j u∗2j
j=1
n
Extend to the Hilbert space C2 with the first Bell state given by
1 T
√ (1 0 ··· 0 1)
2
Problem 14. Consider the Bell matrix B and the normalized vector v
1 0 0 1 1
1 0 1 1 0 1 1 1 1 1 1
B=√ , v = ≡ √ ⊗√ .
2 0 1 −1 0 2 1 2 1 2 1
1 0 0 −1 1
1 1 0 0
0 1 0 1 1 1
U = √ , U = √ ,
0 2 0 0 2 1
0 1 0 0
0 0 0 1
0 1 1 0 1 0
U = √ , U = √ .
1 2 −1 0 2 0
0 0 1 −1
We use
{|ji, j = 0, 1, . . . , 7}
as an orthonormal basis in C8 .
Problem 20. (i) Let A, B be n × n matrices over R. Show that one can
find a 2n × 2n unitary matrix U such that
A B A + iB 0n
U U∗ = .
−B A 0n A − iB
U = In − 2uu∗ .
ABA = BAB.
A∗ U A = U
unitary?
U1 = V U2 V ∗ ?
Problem 30. (i) Find the condition on the n × n matrix A over C such
that In + A is a unitary matrix.
(ii) Let B be an 2 × 2 matrix over C. Find all solutions of the equation
B + B ∗ + BB ∗ = 02 .
A + A−1 = I2 .
U = α1 σ1 + α2 σ2 + α3 σ3
Unitary Transformations and Quantum Gates 105
is a unitary matrix.
1 0 0 1
1 1 0 1 −1 0
U = √ (I2 ⊗ I2 + iσ1 ⊗ σ2 ) = √ .
2 2 0 1 1 0
−1 0 0 1
Calculate
Problem 35. (i) What are the conditions on φ11 , φ12 , φ21 , φ22 ∈ R such
that iφ
1 e 11 eiφ12
U (φ11 , φ12 , φ21 , φ22 ) = √ iφ iφ
2 e 21 e 22
is a unitary matrix?
(ii) What are the condition on φ11 , φ12 , φ21 , φ22 ∈ R such that U (φ11 , φ12 , φ21 , φ22 )
is an element of SU (2)?
Chapter 8
Entropy
E := tr(Hρ).
Let
ψ(ρ) := tr(Hρ) − tr(ρ ln(ρ)).
(i) Show that
ln tr(eH ) = max { tr(Hρ) + S(ρ) }.
(ii) Show that
−S(ρ) = max { tr(Hρ) − ln tr(eH ) }.
106
Entropy 107
1/3 0 0 1/6
0 1/6 0 0
ρ= .
0 0 1/6 0
1/6 0 0 1/3
Find the eigenvalues of ρ and then the von Neumann entropy S(ρ).
where
pnm := hψn |Pm |ψn i
are the joint probabilities and
M
X −1 N
X −1
pn· := pnm , p·m := pnm
m=0 n=0
Note that the right-hand side does not involve the state |ψi.
(i) Let
0 1 1 0 cos(θ)
A = σ1 = , B = σ3 = , |ψi = .
1 0 0 −1 sin(θ)
Calculate the left and right-hand side of the entropic uncertainty relation.
Is the entropic uncertainty relation tight for this case?
(ii) The (Landau-Pollak) uncertainty relation states that
p p
arccos( PA ) + arccos( PB ) ≥ arccos( max |hαj |βk i|)
1≤j,k≤n
where
PA := max pj (A, |ψi), PB := max pj (B, |ψi).
1≤j≤n 1≤j≤n
Calculate the left-hand and right-hand side of this uncertainty relation for
A and B given in (i).
and S (AB) is a positive constant which gives the lower bound of the right-
hand side of the inequality. Consider the Hilbert space C2 . Let
cos θ
A = σ1 , B = σ2 , |ψi = .
sin θ
where
n
X n
X
S (A) = − |hψ|uj i|2 ln(|hψ|uj i|2 ), S (A) = − |hψ|vj i|2 ln(|hψ|vj i|2 )
j=1 j=1
and SAB is a positive constant providing the lower bound of the right-hand
side of the inequality. Let
0 1 1 0
A = σ1 = , B = σ3 =
1 0 0 −1
and
cos(θ)
|ψi = .
sin(θ)
Calculate S (A) and S (B) .
Chapter 9
Measurement
110
Measurement 111
on the state
1
√ (|01i + |10i) ⊗ |ψi
2
can be corrected to obtain the correct |ψi as the last qubit.
Alice has the first qubit and Bob has the second qubit. Let I2 be the 2 × 2
identity matrix and UH be the Hadamard matrix
1 1 1
UH = √ .
2 1 −1
If Alice receives the bit a = 0 and Bob receives the bit b = 0, then Alice
applies I2 to her qubit and Bob applies I2 to his quibit, i.e. I2 ⊗ I2 to the
Bell states. If Alice receives the bit a = 1 and Bob receives the bit b = 0,
then Alice applies UH to her qubit and Bob applies I2 to his quibit, i.e.
UH ⊗ I2 is applied to the Bell states. If Alice receives the bit a = 0 and Bob
receives the bit b = 1, then Alice applies I2 to her qubit and Bob applies
UH to his quibit, i.e. I2 ⊗ UH is applied to the Bell states. If Alice receives
the bit a = 1 and Bob receives the bit b = 1, then Alice applies UH to her
qubit and Bob applies UH to his quibit, i.e. UH ⊗ UH is applied to the Bell
states. Find the states
|ψ1 i = (I2 ⊗I2 )|ψi, |ψ2 i = (UH ⊗I2 )|ψi, |ψ3 i = (I2 ⊗UH )|ψi, |ψ4 i = (UH ⊗UH )|ψi
Entanglement
0
1 1
|ψi = √ .
2 −1
0
Let σ1 , σ2 , σ3 be the Pauli spin matrices. Show that the matrices I2 ⊗ I2 ,
−σ1 ⊗ σ1 , −σ2 ⊗ σ2 , −σ3 ⊗ σ3 leave the state |ψi invariant.
Problem 3. Let |0i, |1i be the standard basis in the Hilbert space C2 .
Consider the GHZ-state
1
|ψi = √ (|0i ⊗ |0|i ⊗ |0i + |1i ⊗ |1i ⊗ |1i).
2
Find the expectation values
113
114 Problems and Solutions
Problem 5. Let |0i, |1i be an arbitrary orthonormal basis. Can the state
1 1 1 1
|ψi = √ |0i ⊗ |0i + √ |0i ⊗ |1i + √ |1i ⊗ |0i + √ |1i ⊗ |1i
2 8 8 4
be written as a product state?
Problem 9. There are six different types of quark known as flavor: up,
down, charm, strange, top, bottom. Consider the two equations for states
1 1 1
cos θ √ (|uui + |ddi + |ssi) +sin θ √ (|uui + |ddi − 2|ssi) = √ (|uui+|ddi)
3 6 2
Entanglement 115
1 1
cos θ √ (|uui + |ddi − 2|ssi) − sin θ √ (|uui + |ddi + |ssi) = −|ssi
6 3
where |uui ≡ |ui ⊗ |ui etc. Find cos θ and sin θ from this two equations.
Is |ψi an eigenstate of Sz ⊗ Sz ⊗ Sz ?
and
(I2 ⊗ σ2 ⊗ σ3 ⊗ σ2 )|ψi, (σ1 ⊗ σ2 ⊗ σ2 ⊗ σ1 )|ψi, (I2 ⊗ σ3 ⊗ σ2 ⊗ σ2 )|ψi.
The three tangle τ3 is a measure of entanglement and is defined for the three
qubit state |ψi as
τ123 := 4|DetC|
where C = (cijk ). Find the three tangle for the GHZ-state
1
|GHZi = √ (|0i ⊗ |0i ⊗ |0i + |1i ⊗ |1i ⊗ |1i)
2
and the W -state
1
|W i = √ (|0i ⊗ |0i ⊗ |1i + |0i ⊗ |1i ⊗ |0i + |1i ⊗ |0i ⊗ |0i).
3
Show that determinant det C = c00 c11 − c01 c10 is the unique irreducible
polynomial (up to sign) of content one in the 4 unkowns cjk that vanishes
whenever the system of equations
∂p ∂p
p= = =0 (2)
∂x1 ∂x2
∂p ∂p ∂p
p= = = =0 (2)
∂x1 ∂x2 ∂x3
and analogously
|βi = cos(β)|Hi + sin(β)|V i.
Calculate the probability
2
p(α, β) = |(hα| ⊗ hβ|)|ψi| .
U = e−iπσ2 /4 ⊗ I2 .
Ĥ = J(σ1 ⊗ σ1 + σ2 ⊗ σ2 + σ3 ⊗ σ3 ).
where the µj ’s are the square roots of the eigenvalues of the 4 × 4 matrix
Ĥ = ~ωσ1 ⊗ σ3 ⊗ σ1
U (t) = e−iπI⊗I⊗σ2 /4 eiπσ3 ⊗I⊗σ3 /4 eiπσ1 ⊗I⊗I/4 e−iωtσ3 ⊗σ3 ⊗I e−iπσ1 ⊗I⊗I/4 e−iπσ3 ⊗I⊗σ3 /4 eiπI⊗I⊗σ2 /4
HN := span{ |ni : n = 0, 1, . . . , N − 1 }
Find the matrix elements of the phase operator φ̂N in the occupation num-
ber basis |ni with n = 0, 1, . . . , N − 1.
Ĥ = ~ω(σ3 ⊗ σ3 ) + ∆(σ1 ⊗ σ1 ).
Calculate exp(−iĤt/~).
x y z
where σ , σ , σ are the Pauli spin matrices, 0 ≤ γ ≤ 1, g is a constant
y
x
and we impose cyclic boundary conditions. This means σL = σ0x , σL = σ0y ,
z z
σL = σ0 .
(i) Find the commutator [Ĥ, Ĉ], where
L−1
Y
Ĉ := σjz .
j=0
(ii) Calculate Ĉ 2 . Show that Ĉ and Ĉ 2 form a group under matrix mul-
tiplication. Give the character table. What are the eigenvalues of Ĉ? We
define
1
Q̂ := (I − Ĉ)
2
122 Problems and Solutions
L−1
X
Ẑ = σjz .
j=0
Discuss.
Using the four coefficients cjk we form the polynomial p in the two variables
x1 , x2
p(x1 , x2 ) = c00 + c01 x1 + c10 x2 + c11 x1 x2 .
Consider the three equations p = 0, ∂p/∂x1 = 0, ∂p/∂x2 = 0, i.e.
and
∂p
= c01 + c11 x2 = 0
∂x1
∂p
= c10 + c11 x1 = 0.
∂x2
Show that this system of three equations with two unkowns x1 , x2 only
admits solutions if
HN := span{ |ni : n = 0, 1, . . . , N − 1 }
Entanglement 123
Find the matrix elements of this linear operator in the occupation number
basis |ni.
n
Problem 35. We consider the finite-dimensional Hilbert space H = C2
and the normalized state
1
X
|ψi = cj1 ,j2 ,...,jn |j1 i ⊗ |j2 i ⊗ · · · ⊗ |jn i
j1 ,j2 ,...,jn =0
in this Hilbert space. Here |0i, |1i denotes the standard basis. Let jk
(j, k = 0, 1) be defined by 00 = 11 = 0, 01 = 1, 10 = −1. Let n be even
or n = 3. Then an n-tangle can be introduced by
1
X
τ1...n = 2 cα1 ...αn cβ1 ...βn cγ1 ...γn cδ1 ...δn
α1 ,...,α
...
n =0
δ ,...,δ
1 n =0
×α1 β1 α2 β2 · · · αn−1 βn−1 γ1 δ1 γ2 δ2 · · · γn−1 δn−1 αn γn βn δn .
√ √
(i) Consider the case n = 4 and a state |ψi with c0000 = 1/ 2, c1111 = 1/ 2
and all other coefficients are 0. Find τ1234 . √
(ii) Consider
√ the case n = 4 and a state |ψi with c0000 = 1/ 2, c1111 =
−1/ 2 and all other coefficients are 0. Find τ1234 . √
√ Consider the case n = 4 and a state |ψi with c0001 = 1/ 2, c1110 =
(iii)
1/ 2 and all other coefficients are 0. Find τ1234 . √
(iv) √ Consider the case n = 4 and a state |ψi with c0001 = 1/ 2, c1110 =
−1/ 2 and all other coefficients are 0. Find τ1234 .
Ĥ = ~ω(σ3 ⊗ σ3 ) + ∆1 σ1 ⊗ σ1 + ∆2 σ2 ⊗ σ2 .
(i) Find the eigenvalues. Discuss energy level crossing. Find the normalized
eigenvectors.
(ii) Calculate the commutators
Σjk := σj ⊗ σk , j, k = 1, 2, 3.
1
√ (e1 ⊗e2 ⊗e3 +e2 ⊗e3 ⊗e1 +e3 ⊗e1 ⊗e2 −e1 ⊗e3 ⊗e2 −e3 ⊗e2 ⊗e1 −e2 ⊗e1 ⊗e3 )
6
1
√ ((e1 ⊗e2 ⊗e3 +e2 ⊗e1 ⊗e3 )+ε(e2 ⊗e3 ⊗e1 +e1 ⊗e3 ⊗e2 )+ε∗ (e3 ⊗e1 ⊗e2 +e3 ⊗e2 ⊗e1 ).
6
where
1 0
e1 = , e2 =
0 1
and 0 < θ < π/4.
0 0 0 1
0 0 1 0
σ1 ⊗ σ1 = .
0 1 0 0
1 0 0 0
These two states are orthonormal to each other and obviously not entangled.
The normalized eigenvectors for the eigenvalue −1 are
1 1
1 1 1 1 1 −1 1 1 1 1 1 1
√ ⊗√ = , √ ⊗√ = .
2 1 2 −1 2 1 2 −1 2 1 2 −1
−1 −1
These two states are orthonormal to each other and obviously not entangled.
All four vectors form an orthonomal basis in C4 . Find linear combinations
of the two cases so that the eigenvectors are entangled and still form an
orthonormal basis in C4 .
126 Problems and Solutions
entangled?
1 cos(α) cos(β)
1 0 cos α cos β cos(α) sin(β)
|ψi = √ , |φi = ⊗ ≡ .
2 0 sin α sin β sin(α)cos(β)
1 sin(α) sin(β)
One defines
G(|ψi) = max |hφ|ψi|
α,β
as the maximum overlap between |ψi and the product state |φi. Find
G(|ψi).
(ii) Given the state
1
1 1
|χi = .
2 1
1
Find G(|χi) with the product state given at (i). Discuss.
Problem 44. Consider a bipartite system and the product Hilbert space
H = H1 ⊗ H2 . Let |ψi ∈ H and normalized. Then a density matrix (pure
state)
ρ12 := |ψihψ|
is entangled when the density matrices
ρj = trk (ρ12 ), j, k = 1, 2, j 6= k
where D is the set of density matrices with positive partial transpose (PPT
states) and
S(σkρ) := tr(σ log2 (σ) − σ log2 (ρ)).
Find S(σkρ) for the density matrix (one of the Werner states)
2 0 0 0
1 0 1 1 0
σ= .
6 0 1 1 0
0 0 0 2
1
1 0
|Ψi = √ .
2 0
1
1
1 1
|Ψi = .
2 1
1
1
1 0
|ψi = √
2 1
0
entangled?
(ii) Is the state in C4
0
1
|ψi = √ −i
2 0 i
entangled?
Apply the vec-operator to these matrices and then normalize them. Can
the vectors be written as Kronecker products of vectors in C3 ?
Chapter 11
Bell Inequality
Problem 1. Consider four observers: Alice (A), Bob (B), Charlie (C)
and Dora (D) each having one of the qubits. Every observer is allowed
to choose between two dichotomic observables. Denote the outcome of
observer X’s measurement by Xi (X = A, B, C, D) with i = 1, 2. Under
the assumption of local realism, each outcome can either take the value
+1 or −1. The correlations between the measurement outcomes of all four
observers can be represented by the product Ai Bj Ck Dl , where i, j, k, l =
1, 2. In a local realistic theory, the correlation function of the measurement
performed by all four observers is the average of Ai Bj Ck Dl over many runs
of the experiment
Q(Ai Bj Ck Dl ) = hψ|(nA B C D
i · σ) ⊗ (nj · σ) ⊗ (nk · σ) ⊗ (nl · σ)|ψi .
130
Bell Inequality 131
Quantum Channels
Let Hn denote the vector space of n × n Hermitian matrices over the real
numbers. We say that ρ ∈ Hn is positive semi-definite (or ρ ≥ 0) if x∗ ρ x ≥
0 for all x ∈ Cn , or equivalently: all of the eigenvalues of ρ are non-negative.
A linear map ψ : Hn → Hp is TPCP (trace-preserving completely positive)
if
1. TP (trace-preserving): ∀ρ ∈ Hn , trρ = trψ(ρ)
2. CP (completely positive): ∀m ∈ N, ρ ∈ Hmn ,
ρ≥0 ⇒ (ψ ⊗ Im×m )(ρ) ≥ 0
where Im×m is the identity operator on m × m matrices.
132
Quantum Channels 133
Let m = n = 2 and
0 1 0 0
V1 = , V2 = .
0 0 1 0
Show that V1 and V2 are Kraus operators and find the associated Kraus
map.
vec(ψ(X)) = Ψ vec(X)
Calculate
0 0
ψ .
0 1
Is there a Kraus map associated with a single Kraus operator which also
provides this transformation?
Kj ⊗ K` , j, ` = 0, 1, 2, 3
Kj ? K ` , j, ` = 0, 1, 2, 3
Show that
m X
X m
(Kj ⊗ K` )(Kj∗ ⊗ K`∗ ) = In ⊗ In ≡ In2 .
j=1 `=1
Show that
m X
X m
(Kj ? K` )(Kj∗ ? K`∗ ) = I2 ⊗ I2 = I4 .
j=1 `=1
where |G| denotes the number of elements in the finite group G. Show that
tr(A) = tr(A).
e
(ii) Is the determinant preserved under the linear map?
(iii) Let A be positive semi-definite. Is A
e positive semi-definite?
(iv) Apply it to the case of 4 × 4 matrices with
1 0 0 1
1 0 0 0 0
A=ρ=
2 0 0 0 0
1 0 0 1
and the group is given by the 4×4 permutation matrices with |G| = 4! = 24.
Consider Let
2
n
X
A= (vecVek )(vecVek )∗ .
k=1
Miscellaneous
138
Miscellaneous 139
U (t) = exp(Ω(t))
P∞
and Ω(t) = k=1 Ωk (t). Find the first two terms in the expansion, i.e. find
Ω1 (t) and Ω2 (t).
Ĥ = ~ωσ 1 · σ 2 ≡ ~ω(σ1 ⊗ σ1 + σ2 ⊗ σ2 + σ3 ⊗ σ3 ).
hX, Y i := tr(XY ∗ ), X, Y ∈ H.
Find the time evolution for the coefficients cj (t), i.e. dcj /dt, where j =
1, 2, . . . , n2 .
|00i, |01i, |02i, |10i, |11i, |11i, |12i, |20i, |21i, |22i
where |00i ≡ |0i ⊗ |0i, and |0i, |1i, |2i is the standard basis in C3 . Show
that the normalized states
2
1 X 2πijn/3
|ψinm = √ e |ji ⊗ |(j + m) mod 3i
3 j=0
i.e.
1
|ψi00 = √ (|00i + |11i + |22i)
3
1
|ψi10 = √ (|00i + e2πi/3 |11i + e4πi/3 |22i)
3
1
|ψi20 = √ (|00i + e4πi/3 |11i + e2πi/3 |22i)
3
1
|ψi01 = √ (|01i + |12i + |20i)
3
1
|ψi11 = √ (|01i + e2πi/3 |12i + e4πi/3 |20i)
3
1
|ψi21 = √ (|01i + e4πi/3 |12i + e2πi/3 |20i)
3
1
|ψi02 = √ (|02i + |10i + |21i)
3
1
|ψi12 = √ (|02i + e2πi/3 |10i + e4πi/3 |21i)
3
1
|ψi22 = √ (|02i + e4πi/3 |10i + e2πi/3 |21i)
3
Find
w ∝ hψ|ψi.
Miscellaneous 141
n
in the Hilbert space C2 . The bitstring j0 j1 . . . jN −1 can be mapped one-
to-one into a non-negative integer j
N
X −1
j= jk 2k
k=0
det(Σ) ≥ det(C)
where
i
Σk` = cov(Ak , A` ), Ck` = − h[Ak , A` ]i.
2
Let
1 1
A = σ1 , B = σ2 , |ψi = √ .
2 −1
Find the left-hand side and right-hand side of the inequality.
Problem 11. The most general real three-qubit state can be written as
|ψi = −c3 cos2 θ|0i ⊗ |0i ⊗ |1i − c2 |0i ⊗ |1i ⊗ |0i + c3 sin(θ) cos(θ)|0i ⊗ |1i ⊗ |1i
−c1 |1i ⊗ |0i ⊗ |0i − c3 sin(θ) cos(θ)|1i ⊗ |0i ⊗ |1i + (c0 + c3 sin2 (θ))|1i ⊗ |1i ⊗ |1i
{ uj : j = 1, 2, . . . , n }, { vk : k = 1, 2, . . . , n }
Problem 14. Solve the initial value problem of the optical Bloch equa-
tions.
dρ11 dρ22 b
=− = i (e−i(ω−α)t ρ12 − ei(ω−α)t ρ21 )
dt dt 2
dρ12 dρ∗ b
= 21 = i ei(ω−α)t (ρ11 − ρ22 )
dt dt 2
with the initial conditions
where
(∆F )2 := hφ|F̂ 2 |φi − hφ|F̂ |φi2 .
The inequality follows from the non-negativity of the Gramian determinant
of the vectors |ψi, |φi, and F̂ |φi. Consider the Hilbert space C2 and the
Hamilton operator
0 1
Ĥ = ~ω
1 0
the positive semidefinite operator
1 1
F̂ =
1 1
144 Problems and Solutions
with Ĥ|ψi = E0 |ψi and E0 = −~ω. Apply the inequality to these operators
and states, i.e. calculate the left and right-hand side of the inequality.
h · i := tr(ρ·).
(i) Let
1/2 0
A = σ1 , B = σ2 , ρ= .
0 1/2
Calculate the left-hand side of the inequalty and the right-hand sides of the
inequality. Discuss.
(ii) Let
1/4 0 0 0
0 1/4 0 0
A = σ1 ⊗ σ1 , B = σ2 ⊗ σ2 , ρ= .
0 0 1/4 0
0 0 0 1/4
Calculate the left-hand side of the inequalty and the right-hand sides of the
inequality. Discuss.
dψ1 1 1 dψ2 1 1
i = − ωψ1 + γS(t)ψ2 , i = ωψ2 + γS(t)ψ1 .
dt 2 2 dt 2 2
Rewrite this system in terms of the observable Bloch variables
A(t) := |ψ2 |2 − |ψ1 |2 , B(t) := i(ψ2 ψ1∗ − ψ1 ψ2∗ ), C(t) := ψ2 ψ1∗ + ψ1 ψ2∗ .
∂2 ∂
H1 = 1, H2 = x, H3 = , H4 = i .
∂x2 ∂x
(i) Show that we have a nilpotent Lie algebra under the commutator.
146 Problems and Solutions
(ii) Let
1 df
α1 (t) = cf (t), α2 (t) = c, α3 (t) = − , α4 (t) = .
2 dt
Consider the Hamilton operator
4
X
K= αj (t)Hj
j=1
Ĥ = ∆1 σ1 ⊗ σ1 + ∆2 σ2 ⊗ σ2 + ∆3 σ3 ⊗ σ3 .
Z(β) = tr exp(−K).
Problem 22. Let |ψi, |φi be normalized states in the Hilbert space Cn .
Let K be a positive semi-definite matrix in Cn . Show that
1 hφ|ψi hφ|K|ψi
G := det hφ|ψi 1 hφ|K|φi ≥ 0.
hφ|K|ψi hφ|K|φi hφ|K 2 |φi
Problem 25. The group generator of the compact Lie group SU (2) can
be written as
1 ∂ ∂ i ∂ ∂ 1 ∂ ∂
J1 = z1 + z2 , J2 = z2 − z1 , J3 = z1 − z2 .
2 ∂z2 ∂z1 2 ∂z1 ∂z2 2 ∂z1 ∂z2
148 Problems and Solutions
(i) Find
J+ = J1 + iJ2 , J− = J1 − iJ2 .
(ii) Let j = 0, 1, 2, . . . and m = −j, −j + 1, . . . , 0, . . . , j. We define
1
ejm (z1 , z2 ) = p z1j+m z2j−m .
(j + m)!(j − m)!
Find
J+ ejm (z1 , z2 ), J− ejm (z1 , z2 ), J3 ejm (z1 , z2 )
(iii) Let
1
J 2 = J12 + J22 + J32 ≡ (J+ J− + J− J+ ) + J32 .
2
Find
J 2 ejm (z1 , z2 ).
Armstrong M. A.
Groups and Symmetry
Springer (1988)
Bredon G. E.
Introduction to Compact Transformation Groups
Academic Press (1972)
Bronson R.
Matrix Operations
Schaum’s Outlines, McGraw-Hill (1989)
Bump D.
Lie Groups
Springer (2000)
Campoamor-Stursberg R.
“The structure of the invariants of perfect Lie algebras”, J. Phys. A: Math.
Gen. 6709–6723 (2003)
Carter R. W.
Simple Groups of Lie Type
John Wiley (1972)
150
Bibliography 151
DasGupta Ananda
American J. Phys. 64 1422–1427 (1996)
Dixmier J.
Enveloping Algebras
North-Holland (1974)
Englefield M. J.
Group Theory and the Coulomb Problem
Wiley-Interscience, New York (1972)
Fuhrmann, P. A.
A Polynomial Approach to Linear Algebra
Springer (1996)
Gallian J. A.
Contemporary Abstract Algebra, Sixth edition
Houghton Mifflin (2006)
Grossman S. I.
Elementary Linear Algebra, Third Edition
Wadsworth Publishing, Belmont (1987)
152 Bibliography
Hall B. C.
Lie Groups, Lie Algebras, and Representations: an elementary introduction
Springer (2003)
Helgason S.
Groups and Geometric Analysis, Integral Geometry, Invariant Differential
Operators and Spherical Functions
Academic Press (1984)
Humphreys J. E.
Introduction to Lie Algebras and Representation Theory
Springer (1972)
Isham C. J.
Modern Diffferential Geometry
World Scientific (1989)
Johnson D. L.
Presentation of Groups
Cambridge University Press (1976)
Jones H. F.
Groups, Representations and Physics
Adam Hilger, Bristol (1990)
Lang S.
Linear Algebra
Bibliography 153
Miller W.
Symmetry Groups and Their Applications
Academic Press, New York (1972)
Ohtsuki T.
Quantum Invariants
World Scientific, Singapore (2002)
Olver P. J.
Applications of Lie Groups to Differential Equations, second edition, Grad-
uate Text in Mathematics, vol. 107, Springer, New York (1993)
Steeb W.-H.
Matrix Calculus and Kronecker Product with Applications and C++ Pro-
grams
World Scientific Publishing, Singapore (1997)
Steeb W.-H.
Continuous Symmetries, Lie Algebras, Differential Equations and Com-
puter Algebra
World Scientific Publishing, Singapore (1996)
Steeb W.-H.
Hilbert Spaces, Wavelets, Generalized Functions and Quantum Mechanics
Kluwer Academic Publishers, Dordrecht (1998)
Steeb W.-H.
Problems and Solutions in Theoretical and Mathematical Physics,
Second Edition, Volume I: Introductory Level
World Scientific Publishing, Singapore (2003)
Steeb W.-H.
Problems and Solutions in Theoretical and Mathematical Physics,
154 Bibliography
Sternberg S.
Lie Algebras 2004
Varadarajan V. S.
Lie Groups, Lie Algebras and Their Representations
Springer (2004)
Wawrzynczyk A.
Group Representations and Special Functions
D. Reidel (1984)
Whittaker E. T.
A treatise on the analytical dynamics of particles and rigid bodies
Wybourne B. G.
Classical Groups for Physicists
John Wiley, New York (1974)
Index
Bell matrix, 43, 50, 53, 54, 96, 101 Optical Bloch equations, 143
Bell states, 69
Bloch variables, 145 Partition function, 14, 146
Braid-like relation, 103 Pauli group, 97, 123
Pauli spin matrices, 52
Cayley transform, 74 Phase operator, 120
Clifford group, 98
Complementary, 142 Quantum correlation function, 42
Quantum correlation matrix, 147
Dicke states, 18
Remoteness, 124
Entropic uncertainty relation, 108 Schrödinger equation, 96
Exceptional points, 6 Shannon information entropy, 108
Spin coherent state, 35
Feynman gate, 89
Spin-1, 44, 51
Fredkin gate, 90–92
Stinespring representation, 136
Generalized Fredkin gate, 91 Three tangle, 116
Generalized Toffoli gate, 91 Three-tangle, 120
GHZ-state, 13, 116 Toffoli gate, 56, 90, 91
Gramian, 147 Translation operator, 147
Gramian determinant, 143
Uncertainty relation, 142
Hadamard basis, 21 Uncertainty relations, 144
Half-adder, 92
Hyperdeterminat, 116 Variance, 3, 124
155