第 12 课 · Grover 搜索——几何、最优迭代与下界 · 模块二:算法主线

分析工具:不变子空间

  • 命题框:$Ax_0 = u_{00}x_0 + u_{10}x_1$ 且 $Ax_1 = u_{01}x_0 + u_{11}x_1 \iff \mathrm{span}\{x_0, x_1\}$ 是 $A$ 的不变子空间;$A$ 限制为 $2\times 2$ 矩阵,第 $j$ 列 = 第 $j$ 个基矢的像的系数
  • 演算(数字例,取自教材练习 2):设 $Ax_0 = 2x_0 + x_1$、$Ax_1 = x_0 - x_1$ → 第一列 $(2, 1)$、第二列 $(1, -1)$ → $A = \begin{bmatrix}2 & 1\\ 1 & -1\end{bmatrix}$,子空间不变 ✓
  • 性质行(三条,各一行结论):
    1. 封闭性 → $A$ 的幂与多项式 $f(A)$ 都保持子空间——"反复迭代同一个 $G$"因此合法
    2. 特征值由 $2\times 2$ 特征方程求得;换基 = 相似变换,特征值不变
    3. 基不正交时先 Gram–Schmidt 正交化;幺正算子只有在正交归一基下的矩阵才仍幺正,才能识别为旋转/反射
  • 结果框:初态落在不变子空间内 $\Rightarrow$ 不必跟踪 $N$ 维,只需分析一个 $2\times 2$ 矩阵
类型definition-derivation