（4）量子态矢与算子(算符)

1.基本定义

—— 态矢与算符，是量子力学及量子信息中最重要的概念之二（即使一个系统没有哈密顿量也存在态矢与算符）
——态矢（state vector），代表量子态的状态，可标记为$|\psi ⟩$（狄拉克符号表示）；算子或算符（operator）,定义为对态矢或算子的操作，可记为$\hat{O}$
——态矢和算子所在的空间，被称为希尔伯特空间（态矢/量子的希尔伯特空间）
——定义态矢和算子的是那些与基矢选择无关的性质：
a.内积：$⟨\psi |\phi ⟩$（保真度）$⟨\phi |\hat{O}|\phi ⟩$（均值或观测值）等
b.迹（trace）trace（$\hat{O}$）；
c.对易子$[\hat{O},\hat{P}]=\hat{O}\hat{P}-\hat{P}\hat{O}$
d.本征关系$\hat{O}|\phi ⟩=O|\phi ⟩$
注：右矢（|$⟩$）定义在希尔伯特空间,左矢（$⟨|$）定义在对偶希尔伯特空间

---

例：泡利算符${\hat{\sigma }}^x$,${\hat{\sigma }}^y$,${\hat{\sigma }}^z$
满足如下性质：$[{\hat{\sigma }}^a,{\hat{\sigma }}^b]=2i{\epsilon }_{abc}{\hat{\sigma }}^c$,$({\hat{\sigma }}^a{)}^2=-i{\hat{\sigma }}^x{\hat{\sigma }}^y{\hat{\sigma }}^z=I$（力学基础）
自旋算符给出了SU(2)群的生成元（群论里的知识）
注：代数性质是定义算符的核心

---

态矢和算子在给定基矢下的展开系数，可由向量或矩阵表示
基矢：定义为一组态矢{$|i⟩$} ,满足正交完备性：
$$⟨i|i^{{}^{\prime }}⟩={\delta }_{ii{}^{\prime }},\sum _i|i⟩⟨i|=I$$
注：（a）迪拉克矩阵${\delta }_{ii{}^{\prime }}=1当i=i^{{}^{\prime }}$，否则${\delta }_{ii{}^{\prime }}=0$
（b）在特殊情况下，基矢可以不正交，也可以不完备或过完备；
（c）$|i⟩⟨i|=|i⟩⨂⟨i|$，$⨂$称为直积、张量积、外积或克伦内克积。

---

2.基矢与系数

例：${\hat{\sigma }}^z$的两个本征态，记为$|\uparrow ⟩$与$|\downarrow ⟩$（在量子信息与量子计算领域，常被记作为$|0⟩$与$|1⟩$，与经典比特的两个状态相对应），其本征值分别为1与-1.
——$|\uparrow ⟩$与$|\downarrow ⟩$构成一组正交完备基矢，满足$⟨i|i^{{}^{\prime }}⟩={\delta }_{ii{}^{\prime }},|\uparrow ⟩⟨\uparrow |+|\downarrow ⟩⟨\downarrow |=I$
——设定该组基矢的矢量表示为：
$|1⟩={\sum }_{s=0}^1{\varphi }_s|s⟩,$ 系数 $\varphi ={\left[\begin{array}{cc}0& 1\end{array}\right]}^T$
$|1⟩={\varphi }_0|0⟩+{\varphi }_1|1⟩$,即只有当${\varphi }_0=0，{\varphi }_1=1$时等式成立
$|0⟩={\sum }_{s=0}^1{\varphi }_s^{\prime }|s⟩,$ 系数 ${\varphi }^{\prime }={\left[\begin{array}{cc}1& 0\end{array}\right]}^T$
注：此后都标记$|\uparrow ⟩=|1⟩,|\downarrow ⟩=|0⟩$
——任意单个自旋的量子态可写成基矢的线性叠加：$|\phi ⟩={\phi }_0|0⟩+{\phi }_1|1⟩$可见，系数𝜑为一个二维向量。
——态矢和算子的定义是独立于基矢的，因此，态并不等价于某个向量，算子也并不等价于某个矩阵；但在不引起误解的情况下，可直接可认为态即为对应的系数向量，算子即为对应的系数矩阵，如$|1⟩={\left[\begin{array}{cc}0& 1\end{array}\right]}^T$（真正的含义是：1态在给定基底下的系数为0，1）
——规定：左矢（bra）$⟨\phi |$ 对应于行向量，右矢（ket）$|\phi ⟩$对应于列向量；$⟨\phi |$为$|\phi ⟩$的转置共轭。（复数中需要取共轭）

---

例：量子态内积对应于系数向量的内积:
$⟨\phi \mid \psi ⟩={\left[\begin{array}{ccc}{\phi }_0^{\ast }& {\phi }_1^{\ast }][{\psi }_0& {\psi }_1\end{array}\right]}^T$
证明: 由$|\psi ⟩={\sum }_i{\psi }_i|i⟩,|\phi ⟩={\sum }_j{\phi }_j|j⟩$
有$⟨\phi \mid \psi ⟩={\sum }_{ij}{\phi }_j^{\ast }{\psi }_i⟨j\mid i⟩$
由基矢的正交归一性 $⟨j\mid i⟩={\delta }_{ji},$ 有 $⟨\phi \mid \psi ⟩={\sum }_{ij}{\phi }_j^{\ast }{\psi }_i{\delta }_{ji}={\sum }_i{\phi }_i^{\ast }{\psi }_i$
证毕

---

基矢的矢量表示确定之后，可用这组基矢对算符做展开，得到算符的系数。例如，泡利算符的展开系数为2 × 2的矩阵，满足：
$${\hat{\sigma }}^{\alpha }=\sum _{ij=0}^1{\sigma }_{ij}^a|i⟩⟨j|$$（再次强调：${\hat{\sigma }}^{\alpha }$是希尔伯特空间中的算子，${\sigma }_{ij}^a$是一个二阶张量（矩阵），一定要注意二者的区别和联系；在不引起误解的情况下，算符与其系数可混用）

---

由${\hat{\sigma }}^{\alpha }={\sum }_{ij=0}^1{\sigma }_{ij}^a|i⟩⟨j|$以及基矢的正交归一性，易得算符与其系数之间满足：
$${\sigma }_{ij}^a=⟨i|{\hat{\sigma }}^{\alpha }|j⟩$$证明如下：
${\hat{\sigma }}^{\alpha }={\sigma }_{00}^a|0⟩⟨0|+{\sigma }_{10}^a|1⟩⟨0|+{\sigma }_{01}^a|0⟩⟨1|+{\sigma }_{11}^a|1⟩⟨1|$
假如两边同时乘以$|0⟩⟨0|$，即：
$⟨0|{\hat{\sigma }}^{\alpha }|0⟩={\sigma }_{00}^a⟨0|0⟩⟨0|0⟩+{\sigma }_{10}^a⟨0|1⟩⟨0|0⟩+{\sigma }_{01}^a⟨0|0⟩⟨1|0⟩+{\sigma }_{11}^a⟨0|1⟩⟨1|0⟩$
因为$⟨1|0⟩$和$⟨0|1⟩$都等于0，$⟨0|0⟩$等于1
所以原式等于：$⟨0|{\hat{\sigma }}^{\alpha }|0⟩={\sigma }_{00}^a$，同理其它条件情况下也成立。

通过${\hat{\sigma }}^z$的本征方程及三个泡利算符的对易关系，可以求得其在该组基矢下的系数矩阵（在不引起误解的情况下，提及某张量时，可省略其下标,如${\sigma }_{ij}^a$,写为${\sigma }^x$等）
$${\sigma }^x=\left[\begin{array}{ll}0& 1\\ 1& 0\end{array}\right],{\sigma }^y=\left[\begin{array}{cc}0& i\\ -i& 0\end{array}\right],{\sigma }^z=\left[\begin{array}{cc}1& 0\\ 0& -1\end{array}\right]$$
（注：自旋算符与泡利算符相差因子2, 即 ${\hat{s}}^{\alpha }={\hat{\sigma }}^{\alpha }/2)$

2.1 代码实例（生成自旋算符）

import numpy as np

#定义函数
def spin_operator_one_half():
	op = dict()
	op['i'] = np.eye(2)#identity 
	op['x'] = np.zeros((2,2))
	op['x'][0, 1] = 1 / 2
    op['x'][1, 0] = 1 / 2
    op['y'] = np.zeros((2, 2), dtype=np.complex)
    op['y'][0, 1] = 1j / 2
    op['y'][1, 0] = -1j / 2
    op['z'] = np.zeros((2, 2))
    op['z'][0, 0] = 1 / 2
    op['z'][1, 1] = -1 / 2
    return op
#输出
spin = spin_operator_one_half()
print('Spin-x operator = ')
print(spin['x'])
print('\nSpin-y operator = ')
print(spin['y'])
print('\nSpin-z operator = ')
print(spin['z'])

---

3.系数运算

给定基矢，确定量子态与算子的向量与矩阵表示之后，相关的计算变为向量与矩阵的运算

---

例：定义上升算符 ${\hat{\sigma }}^{+}$ 和下降算符 ${\hat{\sigma }}^{-},$ 其在 ${\hat{\sigma }}^Z$ 的本征基矢下的矩阵表示为
$${\sigma }^{+}=\left[\begin{array}{ll}0& 1\\ 0& 0\end{array}\right],{\sigma }^{-}=\left[\begin{array}{ll}0& 0\\ 1& 0\end{array}\right]$$
有 ${\hat{\sigma }}^{+}|0⟩=|1⟩,{\hat{\sigma }}^{-}|1⟩=|0⟩,{\hat{\sigma }}^{+}|1⟩={\hat{\sigma }}^{-}|0⟩=0,$ 分别对应于
$$\left[\begin{array}{ll}0& 1\\ 0& 0\end{array}\right]\left[\begin{array}{l}0\\ 1\end{array}\right]=\left[\begin{array}{l}1\\ 0\end{array}\right],\left[\begin{array}{ll}0& 0\\ 1& 0\end{array}\right]\left[\begin{array}{l}1\\ 0\end{array}\right]=\left[\begin{array}{l}0\\ 1\end{array}\right],\left[\begin{array}{ll}0& 1\\ 0& 0\end{array}\right]\left[\begin{array}{l}1\\ 0\end{array}\right]=\left[\begin{array}{ll}0& 0\\ 1& 0\end{array}\right]\left[\begin{array}{l}0\\ 1\end{array}\right]=\left[\begin{array}{l}0\\ 0\end{array}\right]$$
算符的连乘对应于矩阵乘， 满足结合律。例如 ${\hat{\sigma }}^{+}{\hat{\sigma }}^{-}|1⟩=-|0⟩,$ 对应
$$\left[\begin{array}{cc}1& 0\\ 0& -1\end{array}\right]\left[\begin{array}{ll}0& 0\\ 1& 0\end{array}\right]\left[\begin{array}{l}1\\ 0\end{array}\right]=-\left[\begin{array}{l}0\\ 1\end{array}\right]$$
注：矩阵积可写为求和的形式, 例如 ${\mathbf{\sigma }}^{+}\mathbf{\phi }\iff {\Sigma }_j{\mathbf{\sigma }}_{ij}^{+}{\mathbf{\phi }}_{\mathbf{j}},$ 即进行相应的指标收缩（将一个算符作用在一个算符上，或者将一个算符作用在一个向量上）
注 ：指标收缩是张量网络的核心