# 超向量化与 Pauli 转移矩阵

## 1 超向量化

超向量化（Supervectorization）是将矩阵展开为向量的一种方法，这在量子信息理论中非常有用。对于密度矩阵 $\rho$，可以通过向量化操作将其表示为一个列向量：

$$
\ket{\rho\rangle} = \mathrm{vec}(\rho)
$$
其中，$\mathrm{vec}(\rho)$ 表示将矩阵 $\rho$ 的元素按列（或行）顺序排列成一个列向量。这种表示方式使得密度矩阵的线性变换可以用矩阵乘法来表示，方便计算和分析。

## 2 量子操作的超算符表示

一个量子操作（量子通道）$\mathcal{E}$，可以表示为一个超算符（Superoperator）$\mathcal{E}^{\#}$，使得：

$$
\ket{\mathcal{E}(\rho)\rangle} = \mathcal{E}^{\#} \ket{\rho\rangle}
$$
其中，$\mathcal{E}^{\#}$ 是一个 $d^2 \times d^2$ 的矩阵，$d$ 是系统的希尔伯特空间维度。

## 3 Pauli 转移矩阵

Pauli 转移矩阵（Pauli Transfer Matrix，PTM）是利用 Pauli 算符基表示量子操作的一种特定方法。由于 Pauli 算符集合在算符空间中是完备的，可以将密度矩阵和量子操作用 Pauli 基展开。

对于 $n$ 个量子比特的系统，Pauli 算符集合 $\{P_i\}$ 包含了所有可能的 $n$ 比特 Pauli 算符的张量积。密度矩阵可以表示为：

$$
\rho = \sum_i r_i P_i
\label{ptm}
$$
其中，$r_i = \mathrm{Tr}[P_i \rho]$ 是密度矩阵在 Pauli 基下的分量，将这些分量组成向量 $\vec{r}$。

据此，可以对密度矩阵做一种特别的超向量化:

$$
\mathrm{vec}(\rho) = \ket{\rho\rangle}= [\cdots,r_i,\cdots]^T
$$
由于密度矩阵本身是 $2^n\times2^n$ 的，依此做扁平化后该向量的维度是 $4^n$.

对于算符而言：

$$
\mathcal{E}^{\#}_{ij} = \frac{1}{2^n} \mathrm{Tr}\left[ P_i \mathcal{E}(P_j) \right]
$$
因此，量子操作对密度矩阵的作用在 Pauli 分量空间中可以表示为：

$$
\ket{\rho'\rangle} = \mathcal{E}^{\#} \ket{\rho\rangle}
$$
最后，观测量为：

$$
\bra{\langle Q} = \frac{1}{2^n} [\cdots, \mathrm{Tr}[P_iQ],\cdots]
$$

PTM 保证了在得到最终的观测量

$$
\braket{\langle Q|\mathcal{E}^{\#}|\rho\rangle}
$$
是不变的，而得到的任意矩阵也与原形式有一一对应。

## 4 关系与区别

- **超向量化** 是一种一般性的数学工具，将矩阵变为向量，便于使用线性代数方法进行计算。

- **PTM** 是在 Pauli 基下对量子操作进行表示的特定方法，是超向量化的一个应用。在 PTM 表示中，利用了 Pauli 算符的正交性和完备性，使得量子操作可以在 Pauli 分量空间中表示为线性映射。

因此，PTM 是超向量化的一种特殊形式，专门针对 Pauli 基展开。它在量子信息处理中广泛应用，因为 Pauli 算符与量子错误和噪声有直接的联系。