3.2

Дополнительные задачи

[31/0%]
LaTeX
Задача 3.2.1
?
(i)

Дан стандартный базис {e→1,e→2}\left\{ \overrightarrow {e}_{1}, \overrightarrow {e}_{2}\right\} в C2\mathbb {C}^{2}. Являются ли

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})

базисом в C4\mathbb {C}^{4}?

(ii)

Пусть e→1\overrightarrow {e}_{1}, e→2\overrightarrow {e}_{2} — стандартный базис в C2\mathbb {C}^{2}. Восемь векторов

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}

образуют стандартный базис в R8\mathbb {R}^{8}. Образуют ли 8 векторов

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})

ортонормированный базис в R8\mathbb {R}^{8}?

(iii)

Пусть векторы v→1\overrightarrow {v}_{1}, v→2\overrightarrow {v}_{2} образуют ортонормированный базис в C2\mathbb {C}^{2}. Тогда четыре вектора

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}

образуют ортонормированный базис в C4\mathbb {C}^{4}. Образуют ли четыре вектора

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}

базис в C4\mathbb {C}^{4}? Можно ли записать эти четыре вектора как произведение Кронекера двух векторов в C2\mathbb {C}^{2}?

(iv)

Три вектора

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}

образуют ортонормированный базис в R3\mathbb {R}^{3}. Образуют ли 9 векторов

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 }

ортонормированный базис в R9\mathbb {R}^{9}? Эти векторы играют роль для π\pi-мезонов.

Задача 3.2.2

Покажите, что условия на x1,x2,y1,y2∈Rx_{1}, x_{2}, y_{1}, y_{2} \in \mathbb {R}, при которых

(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}

задаются равенством x1y2=x2y1x_{1} y_{2} = x_{2} y_{1}.

?
Задача 3.2.3

6×66 \times 6 первичная циклическая матрица SS задана как

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}.

Пусть e→j\overrightarrow {e}_{j} (j=1,…,6j = 1, \ldots , 6) — стандартный базис в R6\mathbb {R}^{6}. Тогда

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}

и 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}. Рассмотрим матрицу Адамара

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

Примените ST(I3⊗U)S^{T}(I_{3} \otimes U) и S(I3⊗U)S(I_{3} \otimes U) к стандартному базису. Обсудите результат.

?
Задача 3.2.4
?
(i)

Известно, что если AA и BB — нормальные матрицы, то A⊗BA \otimes B нормальна. Можно ли найти две ненормальные матрицы CC и DD, для которых C⊗DC \otimes D нормальна?

(ii)

Рассмотрим обратимую ненормальную матрицу 2×22 \times 2 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}.

Является ли матрица M⊗M−1M \otimes M^{-1} ненормальной?

Задача 3.2.5

Пусть AA, BB — обратимые матрицы над R\mathbb {R}. Тогда

(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}.

Найдите условия на матрицы 2×22 \times 2 над R\mathbb {R}, при которых A−1⊗B−1=B−1⊗A−1A^{-1} \otimes B^{-1} = B^{-1} \otimes A^{-1}.

?
Задача 3.2.6

Рассмотрим набор матриц 2×22 \times 2

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)

Являются ли эти матрицы линейно независимыми?

(ii)

Являются ли матрицы A⊗AA \otimes A, B⊗BB \otimes B, C⊗CC \otimes C, D⊗DD \otimes D линейно независимыми?

(iii)

Покажите, что матрицы 2×22 \times 2 BB и DD подобны. Покажите, что матрицы B⊗DB \otimes D и D⊗BD \otimes B подобны.

Задача 3.2.7

Пусть ⊕\oplus обозначает прямую сумму.

?
(i)

Пусть AA — матрица 2×22 \times 2 над C\mathbb {C}. Можно ли записать A⊗AA \otimes A в виде

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}

где B1B_{1}, B2B_{2} — матрицы 2×22 \times 2, C1C_{1}, D2D_{2} — матрицы 1×11 \times 1, а C2C_{2}, D1D_{1} — матрицы 3×33 \times 3?

(ii)

Пусть AA, BB, CC, DD — матрицы n×nn \times n. Верно ли, что

(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)

Пусть AA, BB — матрицы 2×22 \times 2 над R\mathbb {R}. Можно ли записать A⊗BA \otimes B в виде

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

Здесь CC, DD — матрицы 2×22 \times 2 над R\mathbb {R}, а EE, FF — матрицы 3×33 \times 3 над R\mathbb {R}.

Задача 3.2.8

Пусть J=iσ2J = i\sigma_{2}, где σ2\sigma_{2} — вторая матрица спина Паули.

?
(i)

Покажите, что любая матрица 2×22 \times 2 A∈SL(2,C)A \in SL(2,\mathbb {C}) удовлетворяет ATJA=JA^{T}JA = J, где ATA^{T} — транспонированная матрица AA.

(ii)

Пусть AA — матрица 2×22 \times 2 с A∈SL(2,C)A \in SL(2,\mathbb {C}). Покажите, что

(A⊗A)T(J⊗J)(A⊗A)=J⊗Jи(A⊕A)T(J⊕J)(A⊕A)=J⊕J. (A \otimes A)^{T}(J \otimes J)(A \otimes A) = J \otimes J \qquad \text{и} \qquad (A \oplus A)^{T}(J \oplus J)(A \oplus A) = J \oplus J.
Задача 3.2.9
?
(i)

Найдите условия на матрицы 2×22 \times 2 AA и BB, при которых

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

Пусть AA, BB — матрицы 2×22 \times 2. Найдите условия на AA и BB, при которых

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

Рассмотрим матрицу 4×44 \times 4

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

Матрица MM является так называемым магическим квадратом, поскольку суммы её строк, столбцов, суммы по главной диагонали и по главной побочной диагонали равны. Является ли M⊗MM \otimes M магическим квадратом? Докажите или опровергните. Найдите собственные значения MM.

?
Задача 3.2.11

Пусть {e→j}1≤j≤N\left\{ \overrightarrow {e}_{j}\right\}_{1 \leq j \leq N} — стандартный базис в C\mathbb {C}, а S={1,…,N}S = \left\{ 1, \ldots , N\right\} — множество индексов. Для каждого упорядоченного подмножества индексов I={j1,j2,…,jp}⊂SI = \left\{ j_{1}, j_{2}, \ldots , j_{p}\right\} \subset S определим e→I\overrightarrow {e}_{I} как

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)}}.

Пусть n=3n = 3 и p=2p = 2. Найдите все e→I\overrightarrow {e}_{I}.

?
Задача 3.2.12

Пусть AA, BB — матрицы 2×22 \times 2 над C\mathbb {C}.

?
(i)

Предположим, что A⊗B=B⊗AA \otimes B = B \otimes A. Можно ли заключить, что AB=BAAB = BA? Докажите или опровергните.

(ii)

Предположим, что AB=BAAB = BA. Можно ли заключить, что A⊗B=B⊗AA \otimes B = B \otimes A?

Задача 3.2.13

Пусть

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)

Предположим, что

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}.

Найдите коэффициенты tjkℓt_{jk\ell }, при которых

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

Предположим, что

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}.

Найдите коэффициенты tjkℓt_{jk\ell }, при которых

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

Рассмотрим векторы

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}

в C3\mathbb {C}^{3} и C2\mathbb {C}^{2} соответственно. Найдите матрицу перестановки 6×66 \times 6 PP, для которой P(u→⊗v→)=v→⊗u→P(\overrightarrow {u} \otimes \overrightarrow {v}) = \overrightarrow {v} \otimes \overrightarrow {u}.

(ii)

Найдите все нетривиальные решения уравнения

(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}.

Из этого уравнения получаем четыре условия

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}.

Необходимо провести разбор случаев, начиная с x1=0x_{1} = 0 и x1≠0x_{1} \neq 0.

(iii)

Рассмотрим стандартный базис e→1\overrightarrow {e}_{1}, e→2\overrightarrow {e}_{2}, e→3\overrightarrow {e}_{3} в R3\mathbb {R}^{3}. Найдите матрицу перестановки 8×88 \times 8 TT, для которой 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}.

Задача 3.2.15

Рассмотрим обратимую матрицу 2n×2n2n \times 2n

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}.

Определяющее уравнение для элемента S∈Sp(2n)S \in Sp(2n) имеет вид

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

Найдите обратную матрицу к CC.

?
Задача 3.2.16

Покажите, что

(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}

где ⊕\oplus обозначает прямую сумму.

?
Задача 3.2.17

Пусть σ0=I2\sigma_{0} = I_{2}, σ1\sigma_{1}, σ2\sigma_{2}, σ3\sigma_{3} — матрицы спина Паули. Эти матрицы образуют ортогональный базис в гильбертовом пространстве матриц 2×22 \times 2.

?
(i)

Покажите, что любую матрицу 2×22 \times 2 можно записать в виде линейной комбинации

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

Покажите, что любую матрицу 4×44 \times 4 можно записать в виде линейной комбинации

∑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}.

Покажите, что любую матрицу 2n×2n2^{n} \times 2^{n} можно записать в виде линейной комбинации

∑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)

Рассмотрим 256 матриц размера шестнадцать на шестнадцать

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}}

где j0,j1,j2,j3∈{0,1,2,3}j_{0}, j_{1}, j_{2}, j_{3} \in \left\{ 0,1,2,3\right\}. Пусть

ψ=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}

Найдите ψTTj0j1j2j3ψ=tj0j1j2j3\psi^{T} T_{j_{0}j_{1}j_{2}j_{3}} \psi = t_{j_{0}j_{1}j_{2}j_{3}}.

Задача 3.2.18

Пусть AA — обратимая матрица n×nn \times n с A2=InA^{2} = I_{n}. Рассмотрим

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)

Найдите X12X_{1}^{2}, X22X_{2}^{2}, X32X_{3}^{2}, X1X2X_{1}X_{2}, X1X3X_{1}X_{3}, X2X3X_{2}X_{3}.

(ii)

Найдите коммутаторы [X1,X2][X_{1}, X_{2}], [X2,X3][X_{2}, X_{3}], [X3,X2][X_{3}, X_{2}].

Задача 3.2.19

Пусть AA, BB — заданные ненулевые матрицы 2×22 \times 2. Пусть XX — матрица 2×22 \times 2. Найдите решение уравнения X⊗A=B⊗XX \otimes A = B \otimes X.

?
Задача 3.2.20

Пусть AA — матрица m×mm \times m, а BB — матрица n×nn \times n. Сумма Кронекера определяется как

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

Верно ли, что (A⊕KB)⊗C=(A⊗C)⊕K(B⊗C)(A \oplus_{K} B) \otimes C = (A \otimes C) \oplus_{K} (B \otimes C)? Докажите или опровергните.

?
Задача 3.2.21

Пусть AA — матрица m×mm \times m над C\mathbb {C}, а BB — матрица n×nn \times n над C\mathbb {C}. Решите уравнение

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

Очевидно, что A=0mA = 0_{m}, B=0nB = 0_{n} является решением. Существуют ли ненулевые решения? Может ли оператор vec⁡\operatorname {vec} быть полезен?

?
Задача 3.2.22

Пусть AA — матрица 2×22 \times 2 над C\mathbb {C}. Покажите, что условие на AA, при котором A⊗I2=I2⊗AA \otimes I_{2} = I_{2} \otimes A, задаётся равенствами a12=a21=0a_{12} = a_{21} = 0, a11=a22a_{11} = a_{22}.

?
Задача 3.2.23
?
(i)

Пусть u→\overrightarrow {u}, v→\overrightarrow {v} — нормированные векторы-столбцы в Cn\mathbb {C}^{n} с u→∗v→=0\overrightarrow {u}^{*}\overrightarrow {v} = 0. Покажите, что u→⊗v→−v→⊗u→\overrightarrow {u} \otimes \overrightarrow {v} - \overrightarrow {v} \otimes \overrightarrow {u} нельзя записать в виде

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

где a→,b→∈Cn\overrightarrow {a}, \overrightarrow {b} \in \mathbb {C}^{n}. Эта задача играет роль для запутанности.

(ii)

Пусть u→,v→∈Cn\overrightarrow {u}, \overrightarrow {v} \in \mathbb {C}^{n} линейно независимы. Можно ли найти x→,y→∈Cn\overrightarrow {x}, \overrightarrow {y} \in \mathbb {C}^{n} такие, что

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

Пусть AA, BB — ненулевые матрицы n×nn \times n над C\mathbb {C}. Предположим, что AA и BB линейно независимы. Покажите, что A⊗B−B⊗AA \otimes B - B \otimes A нельзя записать в виде A⊗B−B⊗A=X⊗YA \otimes B - B \otimes A = X \otimes Y, где X,YX, Y — матрицы n×nn \times n над C\mathbb {C}.

Задача 3.2.24

Пусть n∈Nn \in \mathbb {N}. Числа Фибоначчи задаются элементами матрицы

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

Найдите последовательность, задаваемую матрицей 4×44 \times 4

((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 .

Сравните с последовательностью чисел Фибоначчи. Обсудите.

?
Задача 3.2.25

Пусть AA — матрица n×nn \times n над R\mathbb {R}. Матрица AA называется симметричной, если A=ATA = A^{T}. Если матрица AA симметрична относительно диагонали «северо-восток—юго-запад», т.е.aj,k=an−k+1,n−j+1a_{j,k} = a_{n-k+1,n-j+1}, она называется персимметричной. Пусть XX, YY — матрицы n×nn \times n над R\mathbb {R}, которые симметричны и персимметричны. Покажите, что X⊗YX \otimes Y снова симметрична и персимметрична.

?
Задача 3.2.26

Пусть AA — матрица n×nn \times n над C\mathbb {C}, а BB — матрица m×mm \times m над C\mathbb {C}. Предположим, что A⊗BA \otimes B положительно полуопределена. Можем ли мы заключить, что AA и BB положительно полуопределены?

?
Задача 3.2.27

Пусть AA, BB — положительно полуопределённые матрицы n×nn \times n. Покажите, что

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).
?
Задача 3.2.28

Пусть UU — унитарная матрица 2×22 \times 2, а I2I_{2} — единичная матрица 2×22 \times 2. Покажите, что матрица 4×44 \times 4

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}

унитарна. Используйте UU∗=I2UU^{*} = I_{2} и

(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}.
?
Задача 3.2.29

Пусть AA, BB — матрицы n×nn \times n над R\mathbb {R}. Пусть u→\overrightarrow {u}, v→\overrightarrow {v} — векторы-столбцы в Rn\mathbb {R}^{n}. Покажите, что

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)?

Это также можно записать как A(u→v→T)B≡(Au→)(v→TB)A(\overrightarrow {u}\overrightarrow {v}^{T})B \equiv (A\overrightarrow {u})(\overrightarrow {v}^{T}B), поскольку умножение матриц ассоциативно.

?
Задача 3.2.30

Рассмотрим обратимую матрицу 4×44 \times 4

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}.

Пусть

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

Покажите, что T(R(α)⊗R(β)T)T−1T(R(\alpha ) \otimes R(\beta )^{T})T^{-1} задаётся выражением

(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}.
?
Задача 3.2.31

Пусть v→\overrightarrow {v} — нормированный (столбцовый) вектор в R2\mathbb {R}^{2}. Является ли матрица

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

обратимой?

?