Банк задач по математике

Задача 22.2.1

Предположим, что $\mathcal{B}_{1,1}$ и $\mathcal{B}_{1,2}$ — взаимно несмещённые базисы в гильбертовом пространстве $\mathcal{H}_{1}$ , а $\mathcal{B}_{2,1}$ и $\mathcal{B}_{2,2}$ — взаимно несмещённые базисы в гильбертовом пространстве $\mathcal{H}_{2}$ соответственно. Покажите, что

\left\{ \left|j_{1}\right\rangle \otimes \left|k_{1}\right\rangle \right\} , \quad \left\{ \left|j_{2}\right\rangle \otimes \left|k_{2}\right\rangle \right\} , \qquad j_{1}, j_{2} = 1, \ldots , d_{1}, \ \ k_{1}, k_{2} = 1, \ldots , d_{2}

являются взаимно несмещёнными базисами в конечномерном произведении гильбертовых пространств $\mathcal{H}_{1} \otimes \mathcal{H}_{2}$ с $\dim (\mathcal{H}_{1} \otimes \mathcal{H}_{2}) = d_{1} \cdot d_{2}$ , а скалярное произведение в произведении гильбертовых пространств задаётся как

(\left\langle j_{1}\right| \otimes \left\langle k_{1}\right|)(\left|j_{2}\right\rangle \otimes \left|k_{2}\right\rangle ) = \left\langle j_{1}\middle |j_{2}\right\rangle \left\langle k_{1}\middle |k_{2}\right\rangle .

Примените этот результат к $\mathcal{H}_{2} = \mathbb {C}^{3}$ с

\mathcal{B}_{2,1} = \left\{ \left|1\right\rangle _{2,1} = \begin{pmatrix} 1 \\ 0 \\ 0 \end{pmatrix}, \ \left|2\right\rangle _{2,1} = \begin{pmatrix} 0 \\ 1 \\ 0 \end{pmatrix}, \ \left|3\right\rangle _{2,1} = \begin{pmatrix} 0 \\ 0 \\ 1 \end{pmatrix}\right\}

\mathcal{B}_{2,2} = \left\{ \left|1\right\rangle _{2,2} = \frac{1}{\sqrt{3}}\begin{pmatrix} 1 \\ 1 \\ 1 \end{pmatrix}, \ \left|2\right\rangle _{2,2} = \begin{pmatrix} 1/\sqrt{3} \\ -i/2 - 1/(2\sqrt{3}) \\ i/2 - 1/(2\sqrt{3}) \end{pmatrix}, \right\}

\left|3\right\rangle _{2,2} = \begin{pmatrix} 1/\sqrt{3} \\ i/2 - 1/(2\sqrt{3}) \\ i/2 - 1/(2\sqrt{3}) \end{pmatrix}.

?

Задача 22.2.2

(i)(ii)

Векторное пространство всех $n \times n$ матриц над $\mathbb {C}$ образует гильбертово пространство со скалярным произведением, определённым как $\left\langle A, B \right\rangle := \operatorname {tr}(AB^{*})$ . Это порождает норму $\left\| A\right\|^{2} = \operatorname {tr}(AA^{*})$ .

?

(i)

Рассмотрим группу Ли $U(n)$ . Найдите две унитарные матрицы $2 \times 2$ $U_{1}$ , $U_{2}$ такие, что $\left\| U_{1} - U_{2}\right\|$ принимает максимальное значение.

(ii)

Являются ли матрицы

U_{1} = \begin{pmatrix} 0 & 1 \\ 1 & 0 \end{pmatrix}, \qquad U_{2} = \frac{1}{\sqrt{2}}\begin{pmatrix} 1 & 1 \\ 1 & -1 \end{pmatrix}

такой парой?

Задача 22.2.3

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

\overrightarrow {v}(\alpha , \phi ) = \begin{pmatrix} e^{i\phi }\cos (\alpha ) \\ \sin (\alpha ) \end{pmatrix}, \quad \overrightarrow {u}(\beta , \psi ) = \begin{pmatrix} e^{i\psi }\cos (\beta ) \\ \sin (\beta ) \end{pmatrix}

в $\mathbb {C}^{2}$ . Найдите условие на $\alpha , \beta , \phi , \psi \in \mathbb {R}$ такое, что

\left|\overrightarrow {v}^{*}(\alpha , \phi )\overrightarrow {u}(\beta , \psi )\right|^{2} = \frac{1}{2}.

Заметим, что

\overrightarrow {v}^{*}(\alpha , \phi )\overrightarrow {u}(\beta , \psi ) = e^{i(\psi -\phi )}\cos (\alpha )\cos (\beta ) + \sin (\alpha )\sin (\beta )

и

\left|\overrightarrow {v}^{*}(\alpha , \phi )\overrightarrow {u}(\beta , \psi )\right|^{2} = \cos ^{2}(\alpha ) + 2\cos (\psi -\phi )\cos (\alpha )\cos (\beta ) + \sin ^{2}(\beta ).

?

Задача 22.2.4

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

\overrightarrow {v}_{1}(\phi _{1}, \theta _{1}) = \begin{pmatrix} \cos (\phi _{1})\sin (\theta _{1}) \\ \sin (\phi _{1})\sin (\theta _{1}) \\ \cos (\theta _{1}) \end{pmatrix}, \quad \overrightarrow {v}_{2}(\phi _{2}, \theta _{2}) = \begin{pmatrix} \cos (\phi _{2})\sin (\theta _{2}) \\ \sin (\phi _{2})\sin (\theta _{2}) \\ \cos (\theta _{2}) \end{pmatrix},

Найдите условия на $\phi_{1}, \theta_{1}, \phi_{2}, \theta_{2}$ такие, что $\left|\overrightarrow {v}_{1}^{*}(\phi_{1}, \theta_{1})\overrightarrow {v}_{2}(\phi_{2}, \theta_{2})\right| = \frac{1}{\sqrt{3}}$ .

?

Задача 22.2.5

Рассмотрим гильбертово пространство $M(2, \mathbb {C})$ матриц $2 \times 2$ над комплексными числами со скалярным произведением $\left\langle A, B \right\rangle = \operatorname {tr}(AB^{*})$ и $A, B \in M(2, \mathbb {C})$ . Два взаимно несмещённых базиса заданы как

\begin{pmatrix} 1 & 0 \\ 0 & 0 \end{pmatrix}, \quad \begin{pmatrix} 0 & 1 \\ 0 & 0 \end{pmatrix}, \quad \begin{pmatrix} 0 & 0 \\ 1 & 0 \end{pmatrix}, \quad \begin{pmatrix} 0 & 0 \\ 0 & 1 \end{pmatrix}

и

\frac{1}{2}\begin{pmatrix} 1 & 1 \\ 1 & 1 \end{pmatrix}, \quad \frac{1}{2}\begin{pmatrix} 1 & -1 \\ 1 & -1 \end{pmatrix}, \quad \frac{1}{2}\begin{pmatrix} 1 & 1 \\ -1 & -1 \end{pmatrix}, \quad \frac{1}{2}\begin{pmatrix} 1 & -1 \\ -1 & 1 \end{pmatrix}.

Постройте взаимно несмещённые базисы, применяя кронекерово произведение, для гильбертова пространства $M(4, \mathbb {C})$ .

?

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