東京工業大学 情報理工学院 情報工学系 2021年8月実施 午前 1.

标签：

• TITech
• Hermitian-Matrix
• Unitary-Matrix
• Spectral-Decomposition-of-Hermitian-Matrix

Author

Miyake

Description

题目描述

题面缺失边界： 当前 Description 为空，本地 Git 历史中的该栏也始终为空。下列矩阵、七个作答项目及分解形式均可由 Kai 唯一恢复；原题对符号 $U^*$、$H^*$ 的预先约定和各问的具体措辞没有留存。

给定复矩阵

$$A=\frac13 \begin{pmatrix} 1&-2&-2\\ -2&1&-2\\ -2&-2&1 \end{pmatrix},$$

其中上标 $*$ 表示共轭转置。回答：

1. 求 $\det A$。

2. 求特征多项式 $\det(xI-A)$ 并因式分解。

3. 求 $A$ 的全部特征值。

4. 分别求 $A$ 对应于各特征值的特征空间的一组基。

5. 说明复方阵 $U$ 为酉矩阵的条件，并判断 $A$ 是否为酉矩阵、给出理由。

6. 说明复方阵 $H$ 为 Hermitian 矩阵的条件，并判断 $A$ 是否为 Hermitian 矩阵、给出理由。

7. 求酉矩阵 $B$ 和对角矩阵 $D$，使

   $$A=BDB^*.$$

   Kai 中对应的特征值次序为

   $$D=\operatorname{diag}(-1,1,1).$$

考点

• Hermitian 矩阵的谱：计算给定实对称矩阵的特征多项式、特征值及各特征空间。
• 酉矩阵判定：验证 $A^*A=AA^*=I$，并利用本题中 $A^*=A$、$A^2=I$ 的特殊结构。
• Hermitian 矩阵的谱分解：在重特征值的特征空间内选取正交基，归一化后组成酉矩阵 $B$。

Kai

1)

$$\begin{aligned} \det A &= \frac{1}{27} \left( (1-8-8) - (4+4+4) \right) \\ &= -1 \end{aligned}$$

2)

$$\begin{aligned} \det (xI-A) &= x^3-x^2-x+1 \\ &= (x+1)(x-1)^2 \end{aligned}$$

3)

2. より、 $A$ の固有値は $-1, 1$ である。

4)

$A$ の固有値 $-1$ に対する固有空間（これは1次元である）の基底を求めるために、

$$\begin{aligned} \frac{1}{3} \begin{pmatrix} -4 & 2 & 2 \\ 2 & -4 & 2 \\ 2 & 2 & -4 \end{pmatrix} \begin{pmatrix} x \\ y \\ z \end{pmatrix} = \begin{pmatrix} 0 \\ 0 \\ 0 \end{pmatrix} \end{aligned}$$

とおくと、 $x=y=z$ を得るので、例えば、

$$\begin{aligned} \begin{pmatrix} 1 \\ 1 \\ 1 \end{pmatrix} \end{aligned}$$

が基底になる。

$A$ の固有値 $1$ に対する固有空間の基底を求めるために、

$$\begin{aligned} \frac{1}{3} \begin{pmatrix} 2 & 2 & 2 \\ 2 & 2 & 2 \\ 2 & 2 & 2 \end{pmatrix} \begin{pmatrix} x \\ y \\ z \end{pmatrix} = \begin{pmatrix} 0 \\ 0 \\ 0 \end{pmatrix} \end{aligned}$$

とおくと、 $x+y+z=0$ を得るので、例えば、

$$\begin{aligned} \begin{pmatrix} 1 \\ -1 \\ 0 \end{pmatrix} , \ \ \begin{pmatrix} 1 \\ 0 \\ -1 \end{pmatrix} \end{aligned}$$

が基底になる。

5)

複素正方行列 $U$ とその複素転置 $U^*$ について、

$$\begin{aligned} U^* U = U U^* = \text{単位行列} \end{aligned}$$

が成り立つとき、 $U$ はユニタリ行列であるという。

与えられた $A$ について、

$$\begin{aligned} A^* = A \end{aligned}$$

であり、計算から

$$\begin{aligned} A^2 = I \end{aligned}$$

がわかるので、 $A$ はユニタリ行列である。

6)

複素正方行列 $H$ とその複素転置 $H^*$ について、

$$\begin{aligned} H = H^* \end{aligned}$$

が成り立つとき、 $H$ はエルミート行列であるという。

与えられた $A$ について、

$$\begin{aligned} A^* = A \end{aligned}$$

であるので、 $A$ はエルミート行列である。

7)

4. で $A$ の固有値 $1$ に対する固有空間の基底を求めたが、

$$\begin{aligned} \begin{pmatrix} 1 \\ -1 \\ 0 \end{pmatrix} , \ \ \begin{pmatrix} 1 \\ 1 \\ -2 \end{pmatrix} \end{aligned}$$

のように選ぶこともでき、このようにすると直交した基底になる。

したがって、規格化も考慮して、

$$\begin{aligned} B = \frac{1}{\sqrt{6}} \begin{pmatrix} \sqrt{2} & \sqrt{3} & 1 \\ \sqrt{2} & -\sqrt{3} & 1 \\ \sqrt{2} & 0 & -2 \end{pmatrix} \end{aligned}$$

とおくと、

$$\begin{aligned} A = BDB^* , \ \ D = \begin{pmatrix} -1 & 0 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & 1 \end{pmatrix} \end{aligned}$$

が成り立つことがわかる。