22.1

Задачи главы

[13/100%]
Показать
LaTeX
Задача 22.1.1

Четыре матрицы Дирака задаются как

γ1=(000−i00−i00i00i000),γ2=(000−100100100−1000), \gamma _{1} = \begin{pmatrix} 0 & 0 & 0 & -i \\ 0 & 0 & -i & 0 \\ 0 & i & 0 & 0 \\ i & 0 & 0 & 0 \end{pmatrix}, \quad \gamma _{2} = \begin{pmatrix} 0 & 0 & 0 & -1 \\ 0 & 0 & 1 & 0 \\ 0 & 1 & 0 & 0 \\ -1 & 0 & 0 & 0 \end{pmatrix}, γ3=(00−i0000ii0000−i00),γ4=(1000010000−10000−1) \gamma _{3} = \begin{pmatrix} 0 & 0 & -i & 0 \\ 0 & 0 & 0 & i \\ i & 0 & 0 & 0 \\ 0 & -i & 0 & 0 \end{pmatrix}, \quad \gamma _{4} = \begin{pmatrix} 1 & 0 & 0 & 0 \\ 0 & 1 & 0 & 0 \\ 0 & 0 & -1 & 0 \\ 0 & 0 & 0 & -1 \end{pmatrix}

и

γ5=γ1γ2γ3γ4=(00−10000−1−10000−100). \gamma _{5} = \gamma _{1}\gamma _{2}\gamma _{3}\gamma _{4} = \begin{pmatrix} 0 & 0 & -1 & 0 \\ 0 & 0 & 0 & -1 \\ -1 & 0 & 0 & 0 \\ 0 & -1 & 0 & 0 \end{pmatrix}.

Определим матрицы 4×44 \times 4

σjk:=i2[γj,γk],j<k \sigma _{jk} := \frac{i}{2}[\gamma _{j}, \gamma _{k}], \qquad j < k

где j=1,2,3j = 1, 2, 3, k=2,3,4k = 2, 3, 4.

?
(i)

Вычислите σ12\sigma_{12}, σ13\sigma_{13}, σ14\sigma_{14}, σ23\sigma_{23}, σ24\sigma_{24}, σ34\sigma_{34}.

(ii)

Образуют ли 16 матриц

I4, γ1, γ2, γ3, γ4, γ5, γ5γ1, γ5γ2, γ5γ3, γ5γ4, σ12, σ13, σ14, σ23, σ24, σ34 I_{4}, \ \gamma _{1}, \ \gamma _{2}, \ \gamma _{3}, \ \gamma _{4}, \ \gamma _{5}, \ \gamma _{5}\gamma _{1}, \ \gamma _{5}\gamma _{2}, \ \gamma _{5}\gamma _{3}, \ \gamma _{5}\gamma _{4}, \ \sigma _{12}, \ \sigma _{13}, \ \sigma _{14}, \ \sigma _{23}, \ \sigma _{24}, \ \sigma _{34}

базис в гильбертовом пространстве M4(C)M_{4}(\mathbb {C})? Если да, является ли этот базис ортогональным?

Задача 22.1.2

Пусть PP — первичная (примарная) n×nn \times n матрица перестановки

P:=(010…0001…0⋮⋮⋮⋱⋮000…1100…0) P := \begin{pmatrix} 0 & 1 & 0 & \ldots & 0 \\ 0 & 0 & 1 & \ldots & 0 \\ \vdots & \vdots & \vdots & \ddots & \vdots \\ 0 & 0 & 0 & \ldots & 1 \\ 1 & 0 & 0 & \ldots & 0 \end{pmatrix}

а VV — унитарная диагональная n×nn \times n матрица (ζ∈C\zeta \in \mathbb {C})

V:=(10000ζ0000ζ20⋮⋮⋮⋮000…ζn−1) V := \begin{pmatrix} 1 & 0 & 0 & & 0 \\ 0 & \zeta & 0 & & 0 \\ 0 & 0 & \zeta ^{2} & & 0 \\ \vdots & \vdots & \vdots & & \vdots \\ 0 & 0 & 0 & \ldots & \zeta ^{n-1} \end{pmatrix}

где ζn=1\zeta^{n} = 1. Тогда множество матриц

{PjVk:j,k=0,1,…,n−1} \left\{ P^{j}V^{k} : j, k = 0, 1, \ldots , n-1\right\}

образует базис в гильбертовом пространстве всех n×nn \times n матриц со скалярным произведением

⟨A,B⟩:=1ntr⁡(AB∗) \left\langle A, B \right\rangle := \frac{1}{n}\operatorname {tr}(AB^{*})

для n×nn \times n матриц AA и BB. Запишите этот базис для n=2n = 2.

?
Задача 22.1.3

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

v→(α)=(cos⁡(α)sin⁡(α)),u→(β)=(cos⁡(β)sin⁡(β)) \overrightarrow {v}(\alpha ) = \begin{pmatrix} \cos (\alpha ) \\ \sin (\alpha ) \end{pmatrix}, \quad \overrightarrow {u}(\beta ) = \begin{pmatrix} \cos (\beta ) \\ \sin (\beta ) \end{pmatrix}

в R2\mathbb {R}^{2}. Найдите условие на α,β∈R\alpha , \beta \in \mathbb {R}, при котором

∣v→∗(α)u→(β)∣2=12. \left|\overrightarrow {v}^{*}(\alpha )\overrightarrow {u}(\beta )\right|^{2} = \frac{1}{2}.
?
Задача 22.1.4

Рассмотрим четыре ненормальные 2×22 \times 2 матрицы

Q=12(1100),R=12(001−1), Q = \frac{1}{\sqrt{2}}\begin{pmatrix} 1 & 1 \\ 0 & 0 \end{pmatrix}, \quad R = \frac{1}{\sqrt{2}}\begin{pmatrix} 0 & 0 \\ 1 & -1 \end{pmatrix}, S=12(1−100),T=12(0011). S = \frac{1}{\sqrt{2}}\begin{pmatrix} 1 & -1 \\ 0 & 0 \end{pmatrix}, \quad T = \frac{1}{\sqrt{2}}\begin{pmatrix} 0 & 0 \\ 1 & 1 \end{pmatrix}.

Покажите, что они образуют ортонормированный базис в гильбертовом пространстве 2×22 \times 2 матриц со скалярным произведением ⟨X,Y⟩=tr⁡(XY∗)\left\langle X, Y \right\rangle = \operatorname {tr}(XY^{*}).

?
Задача 22.1.5

Рассмотрим гильбертово пространство Md(C)M_{d}(\mathbb {C}) матриц d×dd \times d со скалярным произведением ⟨A,B⟩:=tr⁡(AB∗)\left\langle A, B \right\rangle := \operatorname {tr}(AB^{*}), A,B∈Md(C)A, B \in M_{d}(\mathbb {C}). Рассмотрим ортогональный базис из d2d^{2} эрмитовых d×dd \times d матриц B1,B2,…,Bd2B_{1}, B_{2}, \ldots , B_{d^{2}}, т.е.

⟨Bj,Bk⟩=tr⁡(BjBk)=dδjk \left\langle B_{j}, B_{k} \right\rangle = \operatorname {tr}(B_{j}B_{k}) = d\delta _{jk}

поскольку Bk∗=BkB_{k}^{*} = B_{k} для эрмитовой матрицы. Пусть MM — эрмитова d×dd \times d матрица. Пусть

mj=tr⁡(BjM)j=1,…,d2. m_{j} = \operatorname {tr}(B_{j}M) \qquad j = 1, \ldots , d^{2}.

Даны mjm_{j} и BjB_{j} (j=1,…,d2j = 1, \ldots , d^{2}). Найдите MM.

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

Рассмотрим гильбертово пространство H\mathcal{H} матриц 2×22 \times 2 над комплексными числами. Покажите, что перемасштабированные матрицы спина Паули μj=12σj\mu_{j} = \frac{1}{\sqrt{2}}\sigma_{j}, j=1,2,3j = 1, 2, 3

μ1=12(0110),μ2=12(0−ii0),μ3=12(100−1) \mu _{1} = \frac{1}{\sqrt{2}}\begin{pmatrix} 0 & 1 \\ 1 & 0 \end{pmatrix}, \quad \mu _{2} = \frac{1}{\sqrt{2}}\begin{pmatrix} 0 & -i \\ i & 0 \end{pmatrix}, \quad \mu _{3} = \frac{1}{\sqrt{2}}\begin{pmatrix} 1 & 0 \\ 0 & -1 \end{pmatrix}

а также перемасштабированная единичная матрица 2×22 \times 2

μ0=12(1001) \mu _{0} = \frac{1}{\sqrt{2}}\begin{pmatrix} 1 & 0 \\ 0 & 1 \end{pmatrix}

образуют ортонормированный базис в гильбертовом пространстве H\mathcal{H}.

(ii)

Найдите ортонормированный базис, состоящий из эрмитовых матриц, в гильбертовом пространстве H\mathcal{H} матриц 4×44 \times 4 над C\mathbb {C}.

Задача 22.1.7

Пусть AA, BB — эрмитовы матрицы. Найдите скалярное произведение

⟨A⊗B,B⊗A⟩. \left\langle A \otimes B, B \otimes A \right\rangle .

Верно ли, что ⟨A⊗B,B⊗A⟩≥0\left\langle A \otimes B, B \otimes A \right\rangle \geq 0? Докажите или опровергните.

?
Задача 22.1.8

Рассмотрим гильбертово пространство матриц n×nn \times n над C\mathbb {C}. Пусть AA, BB — две матрицы n×nn \times n над C\mathbb {C}. Предположим, что ⟨A,B⟩=0\left\langle A, B \right\rangle = 0. Вычислите

⟨A⊗A,B⊗B⟩,⟨A⊗B,A⊗B⟩,⟨A⊗B,B⊗A⟩. \left\langle A \otimes A, B \otimes B \right\rangle , \qquad \left\langle A \otimes B, A \otimes B \right\rangle , \qquad \left\langle A \otimes B, B \otimes A \right\rangle .
?
Задача 22.1.9

Рассмотрим гильбертово пространство H=C4\mathcal{H} = \mathbb {C}^{4} и эрмитовы матрицы

H=(2−10−1−12−100−12−1−10−12) H = \begin{pmatrix} 2 & -1 & 0 & -1 \\ -1 & 2 & -1 & 0 \\ 0 & -1 & 2 & -1 \\ -1 & 0 & -1 & 2 \end{pmatrix} A=(1000000000−100000),B=(000001000000000−1). A = \begin{pmatrix} 1 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 \\ 0 & 0 & -1 & 0 \\ 0 & 0 & 0 & 0 \end{pmatrix}, \qquad B = \begin{pmatrix} 0 & 0 & 0 & 0 \\ 0 & 1 & 0 & 0 \\ 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & -1 \end{pmatrix}.

Рассмотрим матрицу 16×1616 \times 16

K=12(H⊗I4+I4⊗H)−λA⊗A−μB⊗B K = \frac{1}{2}(H \otimes I_{4} + I_{4} \otimes H) - \lambda A \otimes A - \mu B \otimes B

действующую в гильбертовом пространстве C16\mathbb {C}^{16}, где λ,μ≥0\lambda , \mu \geq 0.

?
(i)

Рассмотрим матрицу перестановки

R=(0100001000011000). R = \begin{pmatrix} 0 & 1 & 0 & 0 \\ 0 & 0 & 1 & 0 \\ 0 & 0 & 0 & 1 \\ 1 & 0 & 0 & 0 \end{pmatrix}.

Таким образом, обратная к RR существует. Вычислите (R⊗R)−1K(R⊗R)(R \otimes R)^{-1}K(R \otimes R) и коммутатор [R⊗R,K][R \otimes R, K]. Обсудите.

(ii)

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

S=(0010010010000001),T=(1000000100100100). S = \begin{pmatrix} 0 & 0 & 1 & 0 \\ 0 & 1 & 0 & 0 \\ 1 & 0 & 0 & 0 \\ 0 & 0 & 0 & 1 \end{pmatrix}, \qquad T = \begin{pmatrix} 1 & 0 & 0 & 0 \\ 0 & 0 & 0 & 1 \\ 0 & 0 & 1 & 0 \\ 0 & 1 & 0 & 0 \end{pmatrix}.

Найдите коммутаторы [S⊗S,K][S \otimes S, K] и [T⊗T,K][T \otimes T, K]. Обсудите.

Задача 22.1.10

Рассмотрим гильбертово пространство матриц 2×22 \times 2. Пусть α,β∈R\alpha , \beta \in \mathbb {R} и

A(α)=12(cos⁡(α)sin⁡(α)sin⁡(α)−cos⁡(α)),B(β)=12(cos⁡(β)sin⁡(β)sin⁡(β)−cos⁡(β)). A(\alpha ) = \frac{1}{\sqrt{2}}\begin{pmatrix} \cos (\alpha ) & \sin (\alpha ) \\ \sin (\alpha ) & -\cos (\alpha ) \end{pmatrix}, \qquad B(\beta ) = \frac{1}{\sqrt{2}}\begin{pmatrix} \cos (\beta ) & \sin (\beta ) \\ \sin (\beta ) & -\cos (\beta ) \end{pmatrix}.

Найдите условия на α\alpha и β\beta, при которых ⟨A(α),B(β)⟩=12\left\langle A(\alpha ), B(\beta ) \right\rangle = \frac{1}{2}. Матрицы A(α)A(\alpha ), B(β)B(\beta ) содержат 12σ3\frac{1}{\sqrt{2}}\sigma_{3} при α=0\alpha = 0 и 12σ1\frac{1}{\sqrt{2}}\sigma_{1} при α=π/2\alpha = \pi /2.

Изучите случай

⟨A(α)⊗A(α)⟩=⟨B(β)⊗B(β)⟩=14. \left\langle A(\alpha ) \otimes A(\alpha )\right\rangle = \left\langle B(\beta ) \otimes B(\beta )\right\rangle = \frac{1}{4}.

Расширьте матрицу A(α)A(\alpha ) до

A(α,ϕ)=12(cos⁡(α)eiϕsin⁡(α)e−iϕsin⁡(α)−cos⁡(α)). A(\alpha , \phi ) = \frac{1}{\sqrt{2}}\begin{pmatrix} \cos (\alpha ) & e^{i\phi }\sin (\alpha ) \\ e^{-i\phi }\sin (\alpha ) & -\cos (\alpha ) \end{pmatrix}.
?
Задача 22.1.11

Рассмотрим матрицы спина Паули σ3\sigma_{3}, σ1\sigma_{1}, σ2\sigma_{2}. Покажите, что нормированные собственные векторы σ3\sigma_{3}, σ1\sigma_{1}, σ2\sigma_{2} образуют набор взаимно несмещённых базисов.

?
Задача 22.1.12

Рассмотрим три матрицы 4×44 \times 4 σ3⊗σ3\sigma_{3} \otimes \sigma_{3}, σ1⊗σ1\sigma_{1} \otimes \sigma_{1}, σ2⊗σ2\sigma_{2} \otimes \sigma_{2}. Найдите взаимно несмещённые базисы для этих матриц, применяя результат предыдущей задачи.

Обобщите результаты задач 11 и 12 на случай гильбертова пространства C8\mathbb {C}^{8} с σ3⊗σ3⊗σ3\sigma_{3} \otimes \sigma_{3} \otimes \sigma_{3}, σ1⊗σ1⊗σ1\sigma_{1} \otimes \sigma_{1} \otimes \sigma_{1}, σ2⊗σ2⊗σ2\sigma_{2} \otimes \sigma_{2} \otimes \sigma_{2}. Обобщите на nn кронекеровых произведений матриц спина Паули.

?
Задача 22.1.13

Пусть d≥2d \geq 2. Рассмотрим гильбертово пространство Cd\mathbb {C}^{d} и пусть e→0,e→1,…,e→d−1\overrightarrow {e}_{0}, \overrightarrow {e}_{1}, \ldots , \overrightarrow {e}_{d-1} — стандартный базис

e→0=(100⋮0),e→1=(010⋮0),…,e→d−1=(00⋮01). \overrightarrow {e}_{0} = \begin{pmatrix} 1 \\ 0 \\ 0 \\ \vdots \\ 0 \end{pmatrix}, \quad \overrightarrow {e}_{1} = \begin{pmatrix} 0 \\ 1 \\ 0 \\ \vdots \\ 0 \end{pmatrix}, \quad \ldots , \quad \overrightarrow {e}_{d-1} = \begin{pmatrix} 0 \\ 0 \\ \vdots \\ 0 \\ 1 \end{pmatrix}.

Пусть ωd:=ei2π/d\omega_{d} := e^{i2\pi /d}. Тогда мы можем построить новые ортонормированные базисы посредством

v→m;b≡∣m;b⟩=1d∑n=0d−1ωbn(n−1)/2−nme→n,b,m=0,1,…,d−1 \overrightarrow {v}_{m;b} \equiv \left|m;b\right\rangle = \frac{1}{\sqrt{d}}\sum _{n=0}^{d-1} \omega ^{bn(n-1)/2-nm}\overrightarrow {e}_{n}, \qquad b, m = 0, 1, \ldots , d-1

где dd базисов помечены индексом bb, а mm отмечает состояние внутри базиса. Таким образом мы получаем взаимно несмещённые базисы.

?
(i)

Рассмотрим d=2d = 2 и b=0b = 0. Найдите базис ∣0;0⟩\left|0;0\right\rangle, ∣1;0⟩\left|1;0\right\rangle.

(ii)

Рассмотрим d=3d = 3 и b=0b = 0. Найдите базис ∣1;0⟩\left|1;0\right\rangle, ∣2;0⟩\left|2;0\right\rangle, ∣3;0⟩\left|3;0\right\rangle.

(iii)

Рассмотрим d=4d = 4 и b=0b = 0. Найдите базис ∣0;0⟩\left|0;0\right\rangle, ∣1;0⟩\left|1;0\right\rangle, ∣2;0⟩\left|2;0\right\rangle, ∣3;0⟩\left|3;0\right\rangle. Выясните, можно ли записать эти состояния в виде кронекерова произведения двух векторов из C2\mathbb {C}^{2}, то есть являются ли состояния запутанными или нет?