量子计算中的线性代数基础
1. 特殊算子
在希尔伯特空间 (V) 中，对于线性算子 (A)，存在唯一的伴随算子 (A^{\dagger})，满足 ((\vert v\rangle, A\vert w\rangle) = (A^{\dagger}\vert v\rangle, \vert w\rangle)) ，其中 (\vert v\rangle, \vert w\rangle \in V)。伴随算子 (A^{\dagger}) 的矩阵表示是转置共轭矩阵 ((A^)^T) 。其主要性质如下：
1. ((AB)^{\dagger} = B^{\dagger}A^{\dagger})
2. (\vert v\rangle^{\dagger} = \langle v\vert)
3. ((A\vert v\rangle)^{\dagger} = \langle v\vert A^{\dagger})
4. ((\vert w\rangle\langle v\vert)^{\dagger} = \vert v\rangle\langle w\vert)
5. ((A^{\dagger})^{\dagger} = A)
6. ((\sum_{i} a_iA_i)^{\dagger} = \sum_{i} a_i^A_i^{\dagger})
这些性质表明， dagger 运算在应用于算子的线性组合时是共轭线性的。
1.1 正规算子
若算子 (A) 满足 (A^{\dagger}A = AA^{\dagger})，则称 (A) 为正规算子。谱定理指出，算子 (A) 可对角化当且仅当