矩阵的偏迹

一、定义

矩阵的偏迹运算是量子力学中的一种特殊的运算，它是一种特殊的矩阵迹运算。只不过这种取迹的过程并不是对全空间展开的，而是对某一个子空间。
如果有两个希尔伯特空间分别记为$H_{A}$和$H_{B}$，它们可以分别用来表示两个量子系统A和B，那么就能对这两个空间做直积运算，从而得到系统A与B的复合系统，记为：

$$H_{A,B}=H_{A} \bigotimes H_{B}$$

设空间$H_{A,B}$中的密度矩阵为$\rho_{A,B}$。再设$\left \{ w_{i}| i=1,2,...,N_{B} \right \}$为空间$H_{B}$的一组基矢，其中$N_{B}$为空间$H_{B}$的维度，那么定义$\rho_{A,B}$对子系统B求偏迹为：

$$\rho_{A}=Tr_{B}(\rho_{A,B})=\sum_{i=1}^{N_{B}}\left \langle w_{i}| \rho_{A,B}|w_{i} \right \rangle$$

上式是按照狄拉克记号写的。其中$\left \langle w_{i}| \rho_{A,B}|w_{i} \right \rangle$表示$\rho_{A,B}$与$w_{i}$做内积。但是，$\rho_{A,B}$是复合希尔伯特空间$H_{A,B}$中的矩阵，而$w_{i}$是空间$H_{B}$中的变量，所以这两者做内积就比较特殊。

二、复合空间中的向量与子空间中的向量的内积

为了说明这种内积究竟是如何运算的，需要先定义A,B复合系统（复合空间$H_{A,B}$）中的向量与B空间中的向量做内积是什么意思。
假设X是$H_{A,B}$中的向量。这样X可以写成：

$$| X \rangle=\sum_{a,b} x_{a,b} | a\rangle \bigotimes | b \rangle$$

也就是将X分解为$H_{A,B}$中的一组基向量的线性叠加。其中$| a\rangle \bigotimes | b \rangle$就是任意一个基向量。而a,b分别又是$H_{A}$和$H_{B}$的基向量。既然$\left \{ b \right \}$是$H_{B}$的一组基，那么自然可以把$H_{B}$中的任意一个向量Y分解：

$$| Y \rangle = \sum_{b}y_{b} |b \rangle$$
那么定义X与Y的内积为： $$\langle X|Y\rangle = \sum_{a,b} x_{a,b}^{*} \langle a| \bigotimes \langle b| \cdot \sum_{b} y_{b} |b\rangle = \sum_{a,b,b^{'}} x_{a,b}^{*} ~ y_{b^{'}} ~\langle a| ~ \langle b|b^{'} \rangle$$

三、复合空间中的矩阵与子空间中的向量内积

设$\rho$为复合空间中的矩阵，则：

$$\rho_{Ａ,B}=\sum_{a,a',b,b'} |a \rangle \bigotimes |b \rangle \langle b'| \bigotimes \langle a'|$$

其中a,a’是中的一组基，b,b’是中的基向量。$| \rangle \langle |$运算表示向量的直积运算。其中的运算法则就是按照狄拉克记号，把它分解为向量的内积运算：

$$\langle Y| \rho_{A,B} |Y \rangle = \left ( \sum_{b}^{''}~y_{b''}^{*} \langle b''| \right ) \left ( \sum_{a,a',b,b'}~ \rho_{a,a'b,b'} |a \rangle \bigotimes |b \rangle \langle b'| \bigotimes \langle a'| \right ) \left ( \sum_{b}^{''} ~ y_{b''} | b''\rangle \right )　\\~\\ = \sum_{a,a'} \rho_{a,a',b,b'} ~ y_{b''} ~y_{b''}^{*} |a \rangle \langle a|$$

所以不难理解偏迹运算写成矩阵形式相当于：

$$\sum_{b} \langle \omega_{b}| \rho_{A,B} | \omega_{b} \rangle = \sum_{a,a',b,b'} \rho_{a,a',b,b'} |a \rangle \langle a|~\langle b| b' \rangle$$