3. 量子通道的数学表示
量子噪声通道描述的是开放量子系统从初态到末态的演化规律。若把量子态写成密度矩阵 ρ，则一个物理上合法的量子通道就是一个映射 ℰ：ρ ↦ ℰ(ρ)。本节要回答的核心问题是：什么样的映射才算“物理合法”？以及同一个通道为什么可以有四种等价描述——完全正定保迹映射、Kraus算符表示、Choi矩阵和 Stinespring 扩张。理解这四种语言之间的转换，是后续噪声建模、通道仿真与实验比对的基础。
一、完全正定保迹映射：物理合法性的判据
一个量子通道 ℰ 必须同时满足两个条件。第一是保迹性：对任意输入态 ρ，都有 Tr[ℰ(ρ)] = Tr[ρ] = 1，即概率守恒，输出仍是合法量子态。第二是完全正定性：不仅 ℰ 本身把正定矩阵映为正定矩阵，而且当它与任意维度的辅助系统张量组合 ℰ ⊗ Ik 时，仍把正定矩阵映为正定矩阵。只要求“正定”是不够的，因为存在转置映射这类“正定但不完全正定”的映射，它会把纠缠态映出负本征值，从而违反物理。
因此，量子通道的标准定义是：完全正定且保迹的线性映射，简称 CPTP 映射。线性意味着 ℰ(aρ₁ + bρ₂) = aℰ(ρ₁) + bℰ(ρ₂)；完全正定保证纠缠辅助下不出现负概率；保迹保证概率归一。这三条合起来，就是“物理可实现”的数学刻画。
二、Kraus算符表示：把通道拆成若干“分支”
CPTP 映射有一个极其有用的等价形式——Kraus 表示。任何 CPTP 映射都可以写成
ℰ(ρ) = Σ_k K_k ρ K_k†其中 {K_k} 称为 Kraus 算符，满足完备性关系 Σ_k K_k† K_k = I。这个求和可以理解为：通道把输入态以若干“分支”方式演化，每个分支对应一个 Kraus 算符，分支概率由 Tr[K_k ρ K_k†] 给出。Kraus 算符的个数 r 称为 Kraus 秩，它反映了通道引入噪声的“通道数”。
以最常见的三个单比特噪声通道为例，可以直接写出它们的 Kraus 算符：
- 比特翻转通道（翻转概率 p）：K₀ = √(1−p) I，K₁ = √p X。
- 相位翻转通道（相位翻转概率 p）：K₀ = √(1−p) I，K₁ = √p Z。
- 退极化通道（退极化概率 p）：K₀ = √(1−3p/4) I，K₁ = √(p/4) X，K₂ = √(p/4) Y，K₃ = √(p/4) Z。
注意退极化通道的 Kraus 算符满足 K₀†K₀ + K₁†K₁ + K₂†K₂ + K₃†K₃ = (1−3p/4)I + (p/4)(X²+Y²+Z²) = (1−3p/4)I + (3p/4)I = I，完备性成立。Kraus 表示不是唯一的：对 {K_k} 做任意酉混合，得到的新算符组描述同一通道。这一点在数值实现中很重要——不同软件可能给出不同的 Kraus 算符组，但物理通道相同。
三、Choi矩阵：把通道变成一个矩阵
Kraus 表示虽然直观，但不便于直接判断“这个映射是否完全正定”。Choi 矩阵提供了另一种等价描述。定义最大纠缠态 |Ω⟩ = (1/√d) Σ_i |i⟩|i⟩，则通道 ℰ 的 Choi 矩阵为
J(ℰ) = (ℰ ⊗ I)(|Ω⟩⟨Ω|)它是一个 d²×d² 的矩阵。核心定理是：ℰ 完全正定当且仅当 J(ℰ) 半正定；ℰ 保迹当且仅当对 J(ℰ) 做部分迹 Tr₂[J(ℰ)] = I/d。因此，判断一个映射是否物理合法，只需构造 Choi 矩阵并检查它是否半正定、部分迹是否为单位阵。Choi 矩阵与 Kraus 算符的关系是 J(ℰ) = Σ_k vec(K_k) vec(K_k)†，其中 vec 把矩阵按列堆叠成向量。Choi 矩阵的秩恰好等于 Kraus 秩。
Choi 矩阵还有一个实用价值：它把“通道作用在态上”转化为“矩阵乘法”。给定输入态 ρ，输出可以写成 ℰ(ρ) = Tr₁[J(ℰ)(ρᵀ ⊗ I)]。这在数值仿真中非常方便，因为只需存储一个 d²×d² 矩阵，就能计算任意输入态的输出。
四、Stinespring扩张：把噪声“归因”到环境
Stinespring 扩张定理指出：任何 CPTP 映射都可以表示为一个更大的封闭系统上的酉演化，再对环境求偏迹。具体地，存在环境空间 H_E、环境初态 |0⟩_E 和联合酉算符 U，使得
ℰ(ρ) = Tr_E[ U (ρ ⊗ |0⟩⟨0|_E) U† ]这个表示把“噪声”解释为系统与环境纠缠后丢弃环境信息的结果。Kraus 算符与 Stinespring 扩张的关系是 K_k = ⟨k|_E U |0⟩_E，即 Kraus 算符是联合酉算符在环境基下的矩阵元。因此，Kraus 表示可以看作 Stinespring 扩张在环境基下的“切片”。
Stinespring 扩张的物理意义在于：它告诉我们任何噪声通道都可以用“系统+环境”的封闭酉演化来模拟。在量子噪声仿真中，这提供了一条标准实现路径——先构造联合酉算符 U，再对环境求偏迹。对于退极化通道，环境维度为 4，U 可以用受控 Pauli 操作构造；对于振幅阻尼通道，环境维度为 2，U 是一个受控旋转。
五、四种描述的等价关系与选用建议
四种描述不是四个不同的通道，而是同一物理对象的四种“语言”。它们之间的转换关系可以总结为：CPTP 是定义层，Kraus 是分解层，Choi 是矩阵层，Stinespring 是扩张层。Kraus 算符通过 vec 堆叠得到 Choi 矩阵；Choi 矩阵通过本征分解得到 Kraus 算符；Kraus 算符通过环境基矩阵元得到 Stinespring 扩张；Stinespring 扩张通过求偏迹回到 CPTP 映射。
在实际建模中，选用哪种描述取决于任务。若要做理论推导和合法性判断，优先用 CPTP 定义和 Choi 矩阵；若要做数值仿真，Kraus 表示最直接，因为只需存储一组矩阵并做矩阵乘法；若要模拟“系统+环境”的物理过程，Stinespring 扩张最自然；若要在实验上做通道层析，Choi 矩阵是标准输出形式，因为层析数据直接给出 J(ℰ) 的估计。