第 2 课 · 希尔伯特空间的语言——狄拉克符号、内积、幺正演化与布洛赫球 · 模块一：基础与工具

幺正变换：量子门的数学资格

  • 命题框：$U^\dagger U = UU^\dagger = I \Rightarrow U^{-1} = U^\dagger$（逆就是共轭转置）；演化 $|\psi'\rangle = U|\psi\rangle$
  • 推导/演算：
    1. 定义读法：U 与 $U^\dagger$ 相乘（无论先后）等于单位矩阵 $\Rightarrow$ U 可逆，且逆不必另算——再取一次共轭转置即可
    2. 资格检查演算（哈达玛门，教材 §5.1）：$H = (1/\sqrt{2})\cdot[[1, 1], [1, -1]]$；H 是实对称矩阵 → $H^\dagger = H^{T} = H$
    3. 矩阵元逐个乘出 $H\cdot H$：对角元 $(1/2)(1\cdot 1 + 1\cdot 1) = 1$；非对角元 $(1/2)(1\cdot 1 + 1\cdot(-1)) = (1/2)(1 - 1) = 0$ → $H\cdot H = I$ ✓，H 合法
  • 结果框：量子门 ⟺ 幺正矩阵，演化必须可逆；"为什么恰好要求幺正"= 下一页两行证明（保范数 ⟺ 概率守恒）
类型definition-derivation