Section 3.2

Supplementary Problems

[31/0%]
LaTeX
Problem 3.2.1
?
(i)

Given the standard basis {e→1,e→2}\left\{ \overrightarrow {e}_{1}, \overrightarrow {e}_{2}\right\} in C2\mathbb {C}^{2}. Is

12(e→1⊗e→1+e→2⊗e→2),12(e→1⊗e→1−e→2⊗e→2), \frac{1}{\sqrt{2}}(\overrightarrow {e}_{1} \otimes \overrightarrow {e}_{1} + \overrightarrow {e}_{2} \otimes \overrightarrow {e}_{2}), \qquad \frac{1}{\sqrt{2}}(\overrightarrow {e}_{1} \otimes \overrightarrow {e}_{1} - \overrightarrow {e}_{2} \otimes \overrightarrow {e}_{2}), 12(e→1⊗e→2+e→2⊗e→1),12(e→1⊗e→2−e→2⊗e→1) \frac{1}{\sqrt{2}}(\overrightarrow {e}_{1} \otimes \overrightarrow {e}_{2} + \overrightarrow {e}_{2} \otimes \overrightarrow {e}_{1}), \qquad \frac{1}{\sqrt{2}}(\overrightarrow {e}_{1} \otimes \overrightarrow {e}_{2} - \overrightarrow {e}_{2} \otimes \overrightarrow {e}_{1})

a basis in C4\mathbb {C}^{4}?

(ii)

Let e→1\overrightarrow {e}_{1}, e→2\overrightarrow {e}_{2} be the standard basis in C2\mathbb {C}^{2}. The eight vectors

e→1⊗e→1⊗e→1,e→1⊗e→1⊗e→2,e→1⊗e→2⊗e→1,e→1⊗e→2⊗e→2, \overrightarrow {e}_{1} \otimes \overrightarrow {e}_{1} \otimes \overrightarrow {e}_{1}, \quad \overrightarrow {e}_{1} \otimes \overrightarrow {e}_{1} \otimes \overrightarrow {e}_{2}, \quad \overrightarrow {e}_{1} \otimes \overrightarrow {e}_{2} \otimes \overrightarrow {e}_{1}, \quad \overrightarrow {e}_{1} \otimes \overrightarrow {e}_{2} \otimes \overrightarrow {e}_{2}, e→2⊗e→1⊗e→1,e→2⊗e→1⊗e→2,e→2⊗e→2⊗e→1,e→2⊗e→2⊗e→2 \overrightarrow {e}_{2} \otimes \overrightarrow {e}_{1} \otimes \overrightarrow {e}_{1}, \quad \overrightarrow {e}_{2} \otimes \overrightarrow {e}_{1} \otimes \overrightarrow {e}_{2}, \quad \overrightarrow {e}_{2} \otimes \overrightarrow {e}_{2} \otimes \overrightarrow {e}_{1}, \quad \overrightarrow {e}_{2} \otimes \overrightarrow {e}_{2} \otimes \overrightarrow {e}_{2}

provides the standard basis in R8\mathbb {R}^{8}. Do the 8 vectors

12(e→1⊗e→1⊗e→1±e→2⊗e→2⊗e→2),12(e→1⊗e→1⊗e→2±e→2⊗e→2⊗e→1), \frac{1}{\sqrt{2}}(\overrightarrow {e}_{1} \otimes \overrightarrow {e}_{1} \otimes \overrightarrow {e}_{1} \pm \overrightarrow {e}_{2} \otimes \overrightarrow {e}_{2} \otimes \overrightarrow {e}_{2}), \qquad \frac{1}{\sqrt{2}}(\overrightarrow {e}_{1} \otimes \overrightarrow {e}_{1} \otimes \overrightarrow {e}_{2} \pm \overrightarrow {e}_{2} \otimes \overrightarrow {e}_{2} \otimes \overrightarrow {e}_{1}), 12(e→1⊗e→2⊗e→1±e→2⊗e→1⊗e→2),12(e→1⊗e→2⊗e→2±e→2⊗e→1⊗e→1) \frac{1}{\sqrt{2}}(\overrightarrow {e}_{1} \otimes \overrightarrow {e}_{2} \otimes \overrightarrow {e}_{1} \pm \overrightarrow {e}_{2} \otimes \overrightarrow {e}_{1} \otimes \overrightarrow {e}_{2}), \qquad \frac{1}{\sqrt{2}}(\overrightarrow {e}_{1} \otimes \overrightarrow {e}_{2} \otimes \overrightarrow {e}_{2} \pm \overrightarrow {e}_{2} \otimes \overrightarrow {e}_{1} \otimes \overrightarrow {e}_{1})

form an orthonormal basis in R8\mathbb {R}^{8}?

(iii)

Let the vectors v→1\overrightarrow {v}_{1}, v→2\overrightarrow {v}_{2} form an orthonormal basis in C2\mathbb {C}^{2}. Then the four vectors

v→1⊗v→1,v→1⊗v→2,v→2⊗v→1,v→2⊗v→2 \overrightarrow {v}_{1} \otimes \overrightarrow {v}_{1}, \qquad \overrightarrow {v}_{1} \otimes \overrightarrow {v}_{2}, \qquad \overrightarrow {v}_{2} \otimes \overrightarrow {v}_{1}, \qquad \overrightarrow {v}_{2} \otimes \overrightarrow {v}_{2}

form an orthonormal basis in C4\mathbb {C}^{4}. Do the four vectors

v→1⊗v→1+v→2⊗v→2,v→1⊗v→1−v→2⊗v→2,v→1⊗v→2+v→2⊗v→1,v→1⊗v→2−v→2⊗v→1 \overrightarrow {v}_{1} \otimes \overrightarrow {v}_{1} + \overrightarrow {v}_{2} \otimes \overrightarrow {v}_{2}, \quad \overrightarrow {v}_{1} \otimes \overrightarrow {v}_{1} - \overrightarrow {v}_{2} \otimes \overrightarrow {v}_{2}, \quad \overrightarrow {v}_{1} \otimes \overrightarrow {v}_{2} + \overrightarrow {v}_{2} \otimes \overrightarrow {v}_{1}, \quad \overrightarrow {v}_{1} \otimes \overrightarrow {v}_{2} - \overrightarrow {v}_{2} \otimes \overrightarrow {v}_{1}

form a basis in C4\mathbb {C}^{4}? Can the four vectors be written as a Kronecker product of two vectors in C2\mathbb {C}^{2}?

(iv)

The three vectors

e→0=(010),e→+=12(101),e→−=12(10−1) \overrightarrow {e}_{0} = \begin{pmatrix} 0 \\ 1 \\ 0 \end{pmatrix}, \qquad \overrightarrow {e}_{+} = \frac{1}{\sqrt{2}} \begin{pmatrix} 1 \\ 0 \\ 1 \end{pmatrix}, \qquad \overrightarrow {e}_{-} = \frac{1}{\sqrt{2}} \begin{pmatrix} 1 \\ 0 \\ -1 \end{pmatrix}

form an orthonormal basis in R3\mathbb {R}^{3}. Do the 9 vectors

v→0,0=13(e→+⊗e→−+e→−⊗e→+−e→0⊗e→0) \overrightarrow {v}_{0,0} = \frac{1}{\sqrt{3}}(\overrightarrow {e}_{+} \otimes \overrightarrow {e}_{-} + \overrightarrow {e}_{-} \otimes \overrightarrow {e}_{+} - \overrightarrow {e}_{0} \otimes \overrightarrow {e}_{0}) v→1,0=12(e→+⊗e→−−e→−⊗e→+) \overrightarrow {v}_{1,0} = \frac{1}{\sqrt{2}}(\overrightarrow {e}_{+} \otimes \overrightarrow {e}_{-} - \overrightarrow {e}_{-} \otimes \overrightarrow {e}_{+}) v→1,±1=±12(e→±⊗e→0−e→0⊗e→±) \overrightarrow {v}_{1,\pm 1} = \pm \frac{1}{\sqrt{2}}(\overrightarrow {e}_{\pm } \otimes \overrightarrow {e}_{0} - \overrightarrow {e}_{0} \otimes \overrightarrow {e}_{\pm }) v→2,0=16(e→+⊗e→−+e→−⊗e→++2e→0⊗e→0) \overrightarrow {v}_{2,0} = \frac{1}{\sqrt{6}}(\overrightarrow {e}_{+} \otimes \overrightarrow {e}_{-} + \overrightarrow {e}_{-} \otimes \overrightarrow {e}_{+} + 2\overrightarrow {e}_{0} \otimes \overrightarrow {e}_{0}) v→2,±1=12(e→±⊗e→0+e→0⊗e→±) \overrightarrow {v}_{2,\pm 1} = \frac{1}{\sqrt{2}}(\overrightarrow {e}_{\pm } \otimes \overrightarrow {e}_{0} + \overrightarrow {e}_{0} \otimes \overrightarrow {e}_{\pm }) v→2,±2=e→±⊗e→± \overrightarrow {v}_{2,\pm 2} = \overrightarrow {e}_{\pm } \otimes \overrightarrow {e}_{\pm }

form an orthonormal basis in R9\mathbb {R}^{9}? These vectors play a role for the π\pi-mesons.

Problem 3.2.2

Show that the conditions on x1,x2,y1,y2∈Rx_{1}, x_{2}, y_{1}, y_{2} \in \mathbb {R} such that

(x1x2)⊗(y1y2)=(y1y2)⊗(x1x2) \begin{pmatrix} x_{1} \\ x_{2} \end{pmatrix} \otimes \begin{pmatrix} y_{1} \\ y_{2} \end{pmatrix} = \begin{pmatrix} y_{1} \\ y_{2} \end{pmatrix} \otimes \begin{pmatrix} x_{1} \\ x_{2} \end{pmatrix}

is given by x1y2=x2y1x_{1} y_{2} = x_{2} y_{1}.

?
Problem 3.2.3

The 6×66 \times 6 primary cyclic matrix SS is given by

S=(010000001000000100000010000001100000)  ⟹  ST=(000001100000010000001000000100000010). S = \begin{pmatrix} 0 & 1 & 0 & 0 & 0 & 0 \\ 0 & 0 & 1 & 0 & 0 & 0 \\ 0 & 0 & 0 & 1 & 0 & 0 \\ 0 & 0 & 0 & 0 & 1 & 0 \\ 0 & 0 & 0 & 0 & 0 & 1 \\ 1 & 0 & 0 & 0 & 0 & 0 \end{pmatrix} \implies S^{T} = \begin{pmatrix} 0 & 0 & 0 & 0 & 0 & 1 \\ 1 & 0 & 0 & 0 & 0 & 0 \\ 0 & 1 & 0 & 0 & 0 & 0 \\ 0 & 0 & 1 & 0 & 0 & 0 \\ 0 & 0 & 0 & 1 & 0 & 0 \\ 0 & 0 & 0 & 0 & 1 & 0 \end{pmatrix}.

Let e→j\overrightarrow {e}_{j} (j=1,…,6j = 1, \ldots , 6) be the standard basis in R6\mathbb {R}^{6}. Then

STe→1=e→2,STe→2=e→3,STe→3=e→4,STe→4=e→5,STe→5=e→6,STe→6=e→1 S^{T} \overrightarrow {e}_{1} = \overrightarrow {e}_{2}, \quad S^{T} \overrightarrow {e}_{2} = \overrightarrow {e}_{3}, \quad S^{T} \overrightarrow {e}_{3} = \overrightarrow {e}_{4}, \quad S^{T} \overrightarrow {e}_{4} = \overrightarrow {e}_{5}, \quad S^{T} \overrightarrow {e}_{5} = \overrightarrow {e}_{6}, \quad S^{T} \overrightarrow {e}_{6} = \overrightarrow {e}_{1}

and Se→1=e→6S \overrightarrow {e}_{1} = \overrightarrow {e}_{6}, Se→2=e→1S \overrightarrow {e}_{2} = \overrightarrow {e}_{1}, Se→3=e→2S \overrightarrow {e}_{3} = \overrightarrow {e}_{2}, Se→4=e→3S \overrightarrow {e}_{4} = \overrightarrow {e}_{3}, Se→5=e→4S \overrightarrow {e}_{5} = \overrightarrow {e}_{4}, Se→6=e→5S \overrightarrow {e}_{6} = \overrightarrow {e}_{5}. Consider the Hadamard matrix

U=12(111−1). U = \frac{1}{\sqrt{2}} \begin{pmatrix} 1 & 1 \\ 1 & -1 \end{pmatrix}.

Apply ST(I3⊗U)S^{T}(I_{3} \otimes U) and S(I3⊗U)S(I_{3} \otimes U) to the standard basis. Discuss.

?
Problem 3.2.4
?
(i)

We know that if AA and BB normal matrices, then A⊗BA \otimes B is normal. Can we find two matrices CC and DD which are nonnormal but C⊗DC \otimes D is normal?

(ii)

Consider the invertible nonnormal 2×22 \times 2 matrix MM

M=(1101)  ⟹  M−1=(1−101). M = \begin{pmatrix} 1 & 1 \\ 0 & 1 \end{pmatrix} \implies M^{-1} = \begin{pmatrix} 1 & -1 \\ 0 & 1 \end{pmatrix}.

Is the matrix M⊗M−1M \otimes M^{-1} nonnormal?

Problem 3.2.5

Let AA, BB be invertible matrices over R\mathbb {R}. Then

(AB)−1=B−1A−1(A⊗B)−1=A−1⊗B−1. (AB)^{-1} = B^{-1}A^{-1} \qquad (A \otimes B)^{-1} = A^{-1} \otimes B^{-1}.

Find the conditions on 2×22 \times 2 matrices over R\mathbb {R} such that A−1⊗B−1=B−1⊗A−1A^{-1} \otimes B^{-1} = B^{-1} \otimes A^{-1}.

?
Problem 3.2.6

Consider the set of 2×22 \times 2 matrices

A=(1100),B=(0101),C=(0011),D=(1010). A = \begin{pmatrix} 1 & 1 \\ 0 & 0 \end{pmatrix}, \qquad B = \begin{pmatrix} 0 & 1 \\ 0 & 1 \end{pmatrix}, \qquad C = \begin{pmatrix} 0 & 0 \\ 1 & 1 \end{pmatrix}, \qquad D = \begin{pmatrix} 1 & 0 \\ 1 & 0 \end{pmatrix}.
?
(i)

Are the matrices linearly independent?

(ii)

Are the matrices A⊗AA \otimes A, B⊗BB \otimes B, C⊗CC \otimes C, D⊗DD \otimes D linearly independent?

(iii)

Show that the 2×22 \times 2 matrices BB and DD are similar. Show that the matrices B⊗DB \otimes D and D⊗BD \otimes B are similar.

Problem 3.2.7

Let ⊕\oplus be the direct sum.

?
(i)

Let AA be an 2×22 \times 2 matrix over C\mathbb {C}. Can A⊗AA \otimes A be written as

A⊗A=B1⊕B2+C1⊕C2+D1⊕D2 A \otimes A = B_{1} \oplus B_{2} + C_{1} \oplus C_{2} + D_{1} \oplus D_{2}

where B1B_{1}, B2B_{2} are 2×22 \times 2 matrices, C1C_{1}, D2D_{2} are 1×11 \times 1 matrices and C2C_{2}, D1D_{1} are 3×33 \times 3 matrices?

(ii)

Let AA, BB, CC, DD be n×nn \times n matrices. Is

(A⊕B)⊗(C⊕D)=(A⊗(C⊕D))⊕(B⊗(C⊕D))? (A \oplus B) \otimes (C \oplus D) = (A \otimes (C \oplus D)) \oplus (B \otimes (C \oplus D))?
(iii)

Let AA, BB be 2×22 \times 2 matrices over R\mathbb {R}. Can A⊗BA \otimes B be written as

A⊗B=C⊕D+1⊕E+F⊕1? A \otimes B = C \oplus D + 1 \oplus E + F \oplus 1?

Here CC, DD are 2×22 \times 2 matrices over R\mathbb {R} and EE, FF are 3×33 \times 3 matrices over R\mathbb {R}.

Problem 3.2.8

Let J=iσ2J = i\sigma_{2}, where σ2\sigma_{2} is the second Pauli spin matrix.

?
(i)

Show that any 2×22 \times 2 matrix A∈SL(2,C)A \in SL(2,\mathbb {C}) satisfies ATJA=JA^{T}JA = J, where ATA^{T} is the transpose of AA.

(ii)

Let AA be a 2×22 \times 2 matrix with A∈SL(2,C)A \in SL(2,\mathbb {C}). Show that

(A⊗A)T(J⊗J)(A⊗A)=J⊗Jand(A⊕A)T(J⊕J)(A⊕A)=J⊕J. (A \otimes A)^{T}(J \otimes J)(A \otimes A) = J \otimes J \qquad \text{and} \qquad (A \oplus A)^{T}(J \oplus J)(A \oplus A) = J \oplus J.
Problem 3.2.9
?
(i)

Find the conditions on the 2×22 \times 2 matrices AA and BB such that

(A⊗B)⊗(A⊗B)=(A⊗A)⊗(B⊗B). (A \otimes B) \otimes (A \otimes B) = (A \otimes A) \otimes (B \otimes B).
(ii)

Let AA, BB be 2×22 \times 2 matrices. Find the conditions on AA and BB such that

[A⊗B,B⊗A]=04  ⟺  (AB)⊗(BA)=(BA)⊗(AB). [A \otimes B, B \otimes A] = 0_{4} \iff (AB) \otimes (BA) = (BA) \otimes (AB).
Problem 3.2.10

Consider the 4×44 \times 4 matrix

M=(16321351011896712415141). M = \begin{pmatrix} 16 & 3 & 2 & 13 \\ 5 & 10 & 11 & 8 \\ 9 & 6 & 7 & 12 \\ 4 & 15 & 14 & 1 \end{pmatrix}.

The matrix MM is a so-called magic square, since its row sums, column sums, principal diagonal sum, principal counter diagonal sums are equal. Is M⊗MM \otimes M a magic square? Prove or disprove. Find the eigenvalues of MM.

?
Problem 3.2.11

Let {e→j}1≤j≤N\left\{ \overrightarrow {e}_{j}\right\}_{1 \leq j \leq N} be the standard basis in C\mathbb {C} and S={1,…,N}S = \left\{ 1, \ldots , N\right\} be the index set. For each ordered index subset I={j1,j2,…,jp}⊂SI = \left\{ j_{1}, j_{2}, \ldots , j_{p}\right\} \subset S, one defines e→I\overrightarrow {e}_{I} as

e→I=∑σ∈Sp(sgn⁡(σ))e→jσ(1)⊗e→jσ(2)⊗⋯⊗e→jσ(p). \overrightarrow {e}_{I} = \sum _{\sigma \in S_{p}} (\operatorname {sgn}(\sigma )) \overrightarrow {e}_{j_{\sigma (1)}} \otimes \overrightarrow {e}_{j_{\sigma (2)}} \otimes \cdots \otimes \overrightarrow {e}_{j_{\sigma (p)}}.

Let n=3n = 3 and p=2p = 2. Find all e→I\overrightarrow {e}_{I}'s.

?
Problem 3.2.12

Let AA, BB be 2×22 \times 2 matrices over C\mathbb {C}.

?
(i)

Assume that A⊗B=B⊗AA \otimes B = B \otimes A. Can we conclude that AB=BAAB = BA? Prove or disprove.

(ii)

Assume that AB=BAAB = BA. Can be concluded that A⊗B=B⊗AA \otimes B = B \otimes A?

Problem 3.2.13

Let

T=∑j,k,ℓ=01tjkℓv→j⊗v→k⊗v→ℓ. T = \sum _{j,k,\ell =0}^{1} t_{jk\ell } \overrightarrow {v}_{j} \otimes \overrightarrow {v}_{k} \otimes \overrightarrow {v}_{\ell }.
?
(i)

Assume that

v→0=(10),v→1=(01). \overrightarrow {v}_{0} = \begin{pmatrix} 1 \\ 0 \end{pmatrix}, \qquad \overrightarrow {v}_{1} = \begin{pmatrix} 0 \\ 1 \end{pmatrix}.

Find the coefficients tjkℓt_{jk\ell } such that

T=12(10000001)T. T = \frac{1}{\sqrt{2}} \begin{pmatrix} 1 & 0 & 0 & 0 & 0 & 0 & 0 & 1 \end{pmatrix}^{T}.
(ii)

Assume that

v→0=12(11),v→1=12(1−1). \overrightarrow {v}_{0} = \frac{1}{\sqrt{2}} \begin{pmatrix} 1 \\ 1 \end{pmatrix}, \qquad \overrightarrow {v}_{1} = \frac{1}{\sqrt{2}} \begin{pmatrix} 1 \\ -1 \end{pmatrix}.

Find the coefficients tjkℓt_{jk\ell } such that

T=12(1000001)T. T = \frac{1}{\sqrt{2}} \begin{pmatrix} 1 & 0 & 0 & 0 & 0 & 0 & 1 \end{pmatrix}^{T}.
Problem 3.2.14
?
(i)

Consider the vectors

u→=(u1u2u3),v→=(v1v2) \overrightarrow {u} = \begin{pmatrix} u_{1} \\ u_{2} \\ u_{3} \end{pmatrix}, \qquad \overrightarrow {v} = \begin{pmatrix} v_{1} \\ v_{2} \end{pmatrix}

in C3\mathbb {C}^{3} and C2\mathbb {C}^{2}, respectively. Find the 6×66 \times 6 permutation matrix PP such that P(u→⊗v→)=v→⊗u→P(\overrightarrow {u} \otimes \overrightarrow {v}) = \overrightarrow {v} \otimes \overrightarrow {u}.

(ii)

Find all non-trivial solutions of the equation

(x1x2)⊗(y1y2y3)=(y1y2y3)⊗(x1x2). \begin{pmatrix} x_{1} \\ x_{2} \end{pmatrix} \otimes \begin{pmatrix} y_{1} \\ y_{2} \\ y_{3} \end{pmatrix} = \begin{pmatrix} y_{1} \\ y_{2} \\ y_{3} \end{pmatrix} \otimes \begin{pmatrix} x_{1} \\ x_{2} \end{pmatrix}.

From the equation we obtain the four conditions

x1y2=y1x2,x1y3=y2x1,x2y1=y2x2,x2y2=y3x1. x_{1} y_{2} = y_{1} x_{2}, \qquad x_{1} y_{3} = y_{2} x_{1}, \qquad x_{2} y_{1} = y_{2} x_{2}, \qquad x_{2} y_{2} = y_{3} x_{1}.

A case study has to be done starting with x1=0x_{1} = 0 and x1≠0x_{1} \neq 0.

(iii)

Consider the standard basis e→1\overrightarrow {e}_{1}, e→2\overrightarrow {e}_{2}, e→3\overrightarrow {e}_{3} in R3\mathbb {R}^{3}. Find a 8×88 \times 8 permutation matrix TT such that T(e→1⊗e→2⊗e→3)=e→3⊗e→2⊗e→1T(\overrightarrow {e}_{1} \otimes \overrightarrow {e}_{2} \otimes \overrightarrow {e}_{3}) = \overrightarrow {e}_{3} \otimes \overrightarrow {e}_{2} \otimes \overrightarrow {e}_{1}.

Problem 3.2.15

Consider the invertible 2n×2n2n \times 2n matrix

C=iσ2⊗In≡(0nIn−In0n). C = i\sigma _{2} \otimes I_{n} \equiv \begin{pmatrix} 0_{n} & I_{n} \\ -I_{n} & 0_{n} \end{pmatrix}.

The defining equation for an element S∈Sp(2n)S \in Sp(2n) is given by

(S−1)∗=S=C(S−1)TC−1. (S^{-1})^{*} = S = C(S^{-1})^{T}C^{-1}.

Find the inverse of the matrix CC.

?
Problem 3.2.16

Show that

(0110)⊗(1001)=(001)⊕(100)+(001)⊕(100) \begin{pmatrix} 0 & 1 \\ 1 & 0 \end{pmatrix} \otimes \begin{pmatrix} 1 & 0 \\ 0 & 1 \end{pmatrix} = \begin{pmatrix} 0 \\ 0 \\ 1 \end{pmatrix} \oplus \begin{pmatrix} 1 & 0 & 0 \end{pmatrix} + \begin{pmatrix} 0 & 0 & 1 \end{pmatrix} \oplus \begin{pmatrix} 1 \\ 0 \\ 0 \end{pmatrix}

where ⊕\oplus denotes the direct sum.

?
Problem 3.2.17

Let σ0=I2\sigma_{0} = I_{2}, σ1\sigma_{1}, σ2\sigma_{2}, σ3\sigma_{3} be the Pauli spin matrices. These matrices form an orthogonal basis in the Hilbert space of 2×22 \times 2 matrices.

?
(i)

Show that any 2×22 \times 2 matrix can be written as linear combination

∑j=03cjσj,cj∈C. \sum _{j=0}^{3} c_{j} \sigma _{j}, \qquad c_{j} \in \mathbb {C}.

Show that any 4×44 \times 4 matrix can be written as linear combination

∑j1=03∑j2=03cj1j2σj1⊗σj2,cj1j2∈C. \sum _{j_{1}=0}^{3} \sum _{j_{2}=0}^{3} c_{j_{1}j_{2}} \sigma _{j_{1}} \otimes \sigma _{j_{2}}, \qquad c_{j_{1}j_{2}} \in \mathbb {C}.

Show that any 2n×2n2^{n} \times 2^{n} matrix can be written as linear combination

∑j1=03∑j2=03⋯∑jn=03cj1j2…jnσj1⊗σj2⊗⋯⊗σjn,cj1j2…jn∈C. \sum _{j_{1}=0}^{3} \sum _{j_{2}=0}^{3} \cdots \sum _{j_{n}=0}^{3} c_{j_{1}j_{2}\ldots j_{n}} \sigma _{j_{1}} \otimes \sigma _{j_{2}} \otimes \cdots \otimes \sigma _{j_{n}}, \qquad c_{j_{1}j_{2}\ldots j_{n}} \in \mathbb {C}.
(ii)

Consider the 256 sixteen times sixteen matrices

Tj0j1j2j3:=σj0⊗σj1⊗σj2⊗σj3 T_{j_{0}j_{1}j_{2}j_{3}} := \sigma _{j_{0}} \otimes \sigma _{j_{1}} \otimes \sigma _{j_{2}} \otimes \sigma _{j_{3}}

where j0,j1,j2,j3∈{0,1,2,3}j_{0}, j_{1}, j_{2}, j_{3} \in \left\{ 0,1,2,3\right\}. Let

ψ=14(1111111111111111)T \psi = \frac{1}{4} \begin{pmatrix} 1 & 1 & 1 & 1 & 1 & 1 & 1 & 1 & 1 & 1 & 1 & 1 & 1 & 1 & 1 & 1 \end{pmatrix}^{T}

Find ψTTj0j1j2j3ψ=tj0j1j2j3\psi^{T} T_{j_{0}j_{1}j_{2}j_{3}} \psi = t_{j_{0}j_{1}j_{2}j_{3}}.

Problem 3.2.18

Let AA be an invertible n×nn \times n matrix with A2=InA^{2} = I_{n}. Consider

X1=In⊗A⊗A−1,X2=A⊗In⊗A−1,X3=A⊗A−1⊗In. X_{1} = I_{n} \otimes A \otimes A^{-1}, \qquad X_{2} = A \otimes I_{n} \otimes A^{-1}, \qquad X_{3} = A \otimes A^{-1} \otimes I_{n}.
?
(i)

Find X12X_{1}^{2}, X22X_{2}^{2}, X32X_{3}^{2}, X1X2X_{1}X_{2}, X1X3X_{1}X_{3}, X2X3X_{2}X_{3}.

(ii)

Find the commutators [X1,X2][X_{1}, X_{2}], [X2,X3][X_{2}, X_{3}], [X3,X2][X_{3}, X_{2}].

Problem 3.2.19

Let AA, BB be given nonzero 2×22 \times 2 matrices. Let XX be a 2×22 \times 2 matrix. Find the solution of the equation X⊗A=B⊗XX \otimes A = B \otimes X.

?
Problem 3.2.20

Let AA be an m×mm \times m matrix and BB be an n×nn \times n matrix. The Kronecker sum is defined by

A⊕KB:=A⊗In+Im⊗B. A \oplus _{K} B := A \otimes I_{n} + I_{m} \otimes B.

Is (A⊕KB)⊗C=(A⊗C)⊕K(B⊗C)(A \oplus_{K} B) \otimes C = (A \otimes C) \oplus_{K} (B \otimes C)? Prove or disprove.

?
Problem 3.2.21

Let AA be m×mm \times m over C\mathbb {C}, and BB be n×nn \times n over C\mathbb {C}. Solve the equation

A⊗B=A⊗In+Im⊗B. A \otimes B = A \otimes I_{n} + I_{m} \otimes B.

Obviously A=0mA = 0_{m}, B=0nB = 0_{n} is a solution. Are there nonzero solutions? Could be the vec⁡\operatorname {vec}-operator of any use?

?
Problem 3.2.22

Let AA be an 2×22 \times 2 matrix over C\mathbb {C}. Show that the condition on AA such that A⊗I2=I2⊗AA \otimes I_{2} = I_{2} \otimes A is given by a12=a21=0a_{12} = a_{21} = 0, a11=a22a_{11} = a_{22}.

?
Problem 3.2.23
?
(i)

Let u→\overrightarrow {u}, v→\overrightarrow {v} be normalized column vectors in Cn\mathbb {C}^{n} with u→∗v→=0\overrightarrow {u}^{*}\overrightarrow {v} = 0. Show that u→⊗v→−v→⊗u→\overrightarrow {u} \otimes \overrightarrow {v} - \overrightarrow {v} \otimes \overrightarrow {u} cannot be written as

u→⊗v→−v→⊗u→=a→⊗b→ \overrightarrow {u} \otimes \overrightarrow {v} - \overrightarrow {v} \otimes \overrightarrow {u} = \overrightarrow {a} \otimes \overrightarrow {b}

where a→,b→∈Cn\overrightarrow {a}, \overrightarrow {b} \in \mathbb {C}^{n}. This problem plays a role for entanglement.

(ii)

Let u→,v→∈Cn\overrightarrow {u}, \overrightarrow {v} \in \mathbb {C}^{n} and linearly independent. Can one find x→,y→∈Cn\overrightarrow {x}, \overrightarrow {y} \in \mathbb {C}^{n} such that

x→⊗y→=u→⊗v→−v→⊗u→? \overrightarrow {x} \otimes \overrightarrow {y} = \overrightarrow {u} \otimes \overrightarrow {v} - \overrightarrow {v} \otimes \overrightarrow {u}?
(iii)

Let AA, BB be nonzero n×nn \times n matrices over C\mathbb {C}. Assume that AA and BB are linearly independent. Show that A⊗B−B⊗AA \otimes B - B \otimes A cannot be written as A⊗B−B⊗A=X⊗YA \otimes B - B \otimes A = X \otimes Y, where X,YX, Y are n×nn \times n matrices over C\mathbb {C}.

Problem 3.2.24

Let n∈Nn \in \mathbb {N}. The Fibonacci numbers are provided by the entries of the matrix

(1110)n,n=1,2,…. \begin{pmatrix} 1 & 1 \\ 1 & 0 \end{pmatrix}^{n}, \qquad n = 1, 2, \ldots .

Find the sequence provided by the 4×44 \times 4 matrix

((1110)⊗(1110))n,n=1,2,…. \left(\begin{pmatrix} 1 & 1 \\ 1 & 0 \end{pmatrix} \otimes \begin{pmatrix} 1 & 1 \\ 1 & 0 \end{pmatrix}\right)^{n}, \qquad n = 1, 2, \ldots .

Compare with the sequence of the Fibonacci numbers. Discuss.

?
Problem 3.2.25

Let AA be an n×nn \times n matrix over R\mathbb {R}. The matrix AA is called symmetric if A=ATA = A^{T}. If the matrix AA is symmetric about the `northeast-to-southwest' diagonal, i.e.aj,k=an−k+1,n−j+1a_{j,k} = a_{n-k+1,n-j+1} it is called persymmetric. Let XX, YY be n×nn \times n matrices over R\mathbb {R} which are symmetric and persymmetric. Show that X⊗YX \otimes Y is again symmetric and persymmetric.

?
Problem 3.2.26

Let AA be an n×nn \times n matrix over C\mathbb {C} and BB be an m×mm \times m matrix over C\mathbb {C}. Assume that A⊗BA \otimes B is positive semidefinite. Can we conclude that AA and BB are positive semidefinite?

?
Problem 3.2.27

Let AA, BB be n×nn \times n positive semidefinite matrices. Show that

tr⁡(A⊗B)≤14(tr⁡(A)+tr⁡(B))2,tr⁡(A⊗B)≤12tr⁡(A⊗A+B⊗B). \operatorname {tr}(A \otimes B) \leq \frac{1}{4}(\operatorname {tr}(A)+\operatorname {tr}(B))^{2}, \qquad \operatorname {tr}(A \otimes B) \leq \frac{1}{2}\operatorname {tr}(A \otimes A + B \otimes B).
?
Problem 3.2.28

Let UU be a 2×22 \times 2 unitary matrix and I2I_{2} be the 2×22 \times 2 identity matrix. Show that the 4×44 \times 4 matrix

V=(0001)⊗U+(eiα000)⊗I2,α∈R V = \begin{pmatrix} 0 & 0 \\ 0 & 1 \end{pmatrix} \otimes U + \begin{pmatrix} e^{i\alpha } & 0 \\ 0 & 0 \end{pmatrix} \otimes I_{2}, \qquad \alpha \in \mathbb {R}

is unitary. Utilize UU∗=I2UU^{*} = I_{2} and

(0001)(eiα000)=(eiα000)(0001)=(0000). \begin{pmatrix} 0 & 0 \\ 0 & 1 \end{pmatrix} \begin{pmatrix} e^{i\alpha } & 0 \\ 0 & 0 \end{pmatrix} = \begin{pmatrix} e^{i\alpha } & 0 \\ 0 & 0 \end{pmatrix} \begin{pmatrix} 0 & 0 \\ 0 & 1 \end{pmatrix} = \begin{pmatrix} 0 & 0 \\ 0 & 0 \end{pmatrix}.
?
Problem 3.2.29

Let AA, BB be n×nn \times n matrices over R\mathbb {R}. Let u→\overrightarrow {u}, v→\overrightarrow {v} be column vectors in Rn\mathbb {R}^{n}. Show that

A(u→⊗v→T)B≡(Au→)⊗(v→TB)? A(\overrightarrow {u} \otimes \overrightarrow {v}^{T})B \equiv (A\overrightarrow {u}) \otimes (\overrightarrow {v}^{T}B)?

It can also be written as A(u→v→T)B≡(Au→)(v→TB)A(\overrightarrow {u}\overrightarrow {v}^{T})B \equiv (A\overrightarrow {u})(\overrightarrow {v}^{T}B) since matrix multiplication is associative.

?
Problem 3.2.30

Consider the invertible 4×44 \times 4 matrix

T=(1001100−101100−ii0)  ⟹  T−1=12(1100001i001−i1−100). T = \begin{pmatrix} 1 & 0 & 0 & 1 \\ 1 & 0 & 0 & -1 \\ 0 & 1 & 1 & 0 \\ 0 & -i & i & 0 \end{pmatrix} \implies T^{-1} = \frac{1}{2}\begin{pmatrix} 1 & 1 & 0 & 0 \\ 0 & 0 & 1 & i \\ 0 & 0 & 1 & -i \\ 1 & -1 & 0 & 0 \end{pmatrix}.

Let

R(α)=(cos⁡(α)−sin⁡(α)sin⁡(α)cos⁡(α)). R(\alpha ) = \begin{pmatrix} \cos (\alpha ) & -\sin (\alpha ) \\ \sin (\alpha ) & \cos (\alpha ) \end{pmatrix}.

Show that T(R(α)⊗R(β)T)T−1T(R(\alpha ) \otimes R(\beta )^{T})T^{-1} is given by

(cos⁡(α−β)00isin⁡(α−β)0cos⁡(α+β)−sin⁡(α+β)00sin⁡(α+β)cos⁡(α+β)0isin⁡(α−β)00cos⁡(α−β)). \begin{pmatrix} \cos (\alpha -\beta ) & 0 & 0 & i\sin (\alpha -\beta ) \\ 0 & \cos (\alpha +\beta ) & -\sin (\alpha +\beta ) & 0 \\ 0 & \sin (\alpha +\beta ) & \cos (\alpha +\beta ) & 0 \\ i\sin (\alpha -\beta ) & 0 & 0 & \cos (\alpha -\beta ) \end{pmatrix}.
?
Problem 3.2.31

Let v→\overrightarrow {v} be a normalized (column) vector in R2\mathbb {R}^{2}. Is the matrix

I2−v→⊗v→T I_{2} - \overrightarrow {v} \otimes \overrightarrow {v}^{T}

invertible?

?