QCQI第八章补充 · 量子信道

可视化图示

① 量子信道的三种等价描述

Kraus 分解 Choi–Jamiołkowski 重排 · 半正定分解 信道 ε(ρ) CPTP 映射（完全正 · 保迹） Kraus 算符 {Eₖ} ε(ρ) = Σₖ Eₖ ρ Eₖ† Σₖ Eₖ† Eₖ = I 蔡氏矩阵 / Choi 矩阵 J(ε) = (ε⊗I)|Ω⟩⟨Ω| 半正定 J ≥ 0

三种描述互为等价、可双向转换：由 Kraus 算符代入即得 ε(ρ)；对 Choi 矩阵作谱分解即得一组 Kraus 算符；ε 的完全正性 ⇔ Choi 矩阵半正定。

② 信道是 Bloch 表示下的仿射变换

|0⟩ |1⟩ ε : r ↦ M r + c M：收缩矩阵　c：平移矢量 |0⟩ 椭球

信道在 Bloch 表示下是仿射变换：纯态构成的单位球被线性收缩（M）并整体平移（c），半径变小、球心偏离原点，从而成为内含于原球的椭球。

③ 典型信道对 Bloch 球的作用

|0⟩ 去极化 整体均匀收缩 |0⟩ 相位阻尼 / 消相干 沿 z 轴压扁，保留 z 分量 |0⟩ 振幅阻尼 收缩并移向 |0⟩ 北极

虚线为原单位球：去极化使球向球心等比收缩；相位阻尼仅压缩 x-y 平面、把球压成沿 z 轴的纺锤；振幅阻尼既收缩又把球心推向 |0⟩，体现能量耗散趋于基态。

量子计算与量子信息 · 第八章补充 量子信道

原著: M. Nielsen & I. Chuang《Quantum Computation and Quantum Information》第八章补充 | 来源: 中文学习笔记 (.nb) | 生成: 2026-06-19

如何使用本 skill

  • 不带参数 — 加载量子信道的三种描述与转换框架
  • 带主题 — 问 Kraus、蔡氏矩阵、相位阻尼、Bloch 仿射 等，我会读对应小节文件再回答
  • 带小节号 — 问 8.2 或 sec8.2，加载该小节
  • 浏览 — 问"有哪些小节？"查看完整索引

当你问的主题不在下面的核心框架里，我会先读相关小节文件再回答。

核心概念框架

量子信道 = CPTP 映射：开放量子系统的演化由完全正定且保迹 (Completely Positive Trace-Preserving) 的映射 $\mathcal{E}(\rho)$ 描述。它有三种等价描述，本补充围绕它们之间的相互转换展开。

三种等价描述：

  1. 信道映射 $\mathcal{E}$：直接给出 $\rho \to \mathcal{E}(\rho)$。
  2. Kraus 算符 $\{E_k\}$：$\mathcal{E}(\rho)=\sum_k E_k \rho E_k^\dagger$，保迹条件 $\sum_k E_k^\dagger E_k = I$。
  3. 蔡氏矩阵 (Choi matrix) $J(\mathcal{E})$：把信道作用在最大纠缠态上得到的矩阵，$J(\mathcal{E})=(\mathcal{E}\otimes I)(\ketbra{\Omega}{\Omega})$。

转换路径（本补充主线）：信道 $\to$ 蔡氏矩阵（以比特翻转为例）$\to$ 对蔡氏矩阵做谱分解（本征值/本征态）$\to$ Kraus 算符。Choi-Jamiołkowski 同构是这条路径的理论基础。

典型信道：比特翻转、相位翻转、相位阻尼（与相位翻转效果一致）、去极化、振幅阻尼——每个都有标准 Kraus 算符与对应的 Bloch 向量仿射变换矩阵（$\vec r \mapsto M\vec r + \vec c$，描述 Bloch 球如何被压缩/平移）。

应用：用上述工具数值验证扰动量子纠错 (Perturbative Quantum Error Correction) 中两个公式 (18) 与 (20) 的等价性。

小节索引

小节标题关键概念
8.1从信道到蔡氏矩阵CPTP、Choi 矩阵定义、比特翻转为例
8.2从蔡氏矩阵到 Kraus 算符谱分解、本征值/本征态 $\to$ Kraus
8.3典型信道Kraus 算符 + Bloch 仿射变换矩阵
8.4算例与验证信道 $\to$ Kraus 多例、换基、Perturbative QEC 验证

主题索引

  • Bloch 向量仿射变换 $\to$ 8.3
  • CPTP / 完全正定保迹 $\to$ 8.1
  • Choi / 蔡氏矩阵 $\to$ 8.1, 8.2
  • Kraus 算符 $\to$ 8.2, 8.3, 8.4
  • 去极化 / 振幅阻尼 $\to$ 8.3
  • 比特翻转 / 相位翻转 / 相位阻尼 $\to$ 8.1, 8.3
  • 扰动量子纠错验证 $\to$ 8.4
  • 谱分解（蔡氏矩阵） $\to$ 8.2

辅助文件

范围与限制

本 skill 来自一份内容较"骨架化"的 Mathematica 补充笔记——原文主要由标题、公式单元与数值代码构成，散文说明很少。因此本 skill 的小节在忠实转录笔记结构的基础上，结合量子信道的标准知识补全了概念脉络；具体的矩阵数值、谱分解结果、QEC 公式 (18)/(20) 的完整表达式与数值验证代码未在笔记文本层中完整保留。精确公式与数值请参阅原书第 8 章与原笔记。

8.1 从信道到蔡氏矩阵（以比特翻转为例）

核心思想

量子信道 $\mathcal{E}$ 是描述开放系统演化的 CPTP 映射。把它作用在最大纠缠态的一半上，得到的矩阵就是蔡氏矩阵 (Choi matrix)——它把"映射"编码成一个普通矩阵，便于分析。

量子信道 (CPTP 映射)

  • 完全正定 (CP)：$\mathcal{E}\otimes I$ 对任意扩展系统都保持正定（保证物理性）。
  • 保迹 (TP)：$\Tr(\mathcal{E}(\rho))=\Tr(\rho)$（概率守恒）。

蔡氏矩阵 / Choi-Jamiołkowski 同构

  • 定义：$J(\mathcal{E}) = (\mathcal{E}\otimes I)(\ketbra{\Omega}{\Omega})$，其中 $\ket{\Omega}=\sum_i\ket{ii}$ 是（未归一）最大纠缠态。
  • 意义：信道 $\mathcal{E}\leftrightarrow$ 矩阵 $J(\mathcal{E})$ 一一对应（同构）。$\mathcal{E}$ 是 CP $\iff J(\mathcal{E})\ge 0$（半正定）；$\mathcal{E}$ 保迹 $\iff J$ 的部分迹 $= I$。
  • 作用：把"对所有输入 $\rho$ 的映射"压缩成一个有限维矩阵，可直接做谱分解。

Worked Example：比特翻转信道

  • 比特翻转信道：$\mathcal{E}(\rho)=(1-p)\rho + p X\rho X$（以概率 $p$ 施加 Pauli-X）。
  • 把它作用在最大纠缠态一半上，按定义算出对应的蔡氏矩阵 $J$，作为后续（§8.2）谱分解 $\to$ Kraus 的输入。

关键要点

  1. 量子信道 = CPTP 映射；CP 保证物理、TP 保证概率守恒。
  2. 蔡氏矩阵 $J(\mathcal{E})=(\mathcal{E}\otimes I)\ketbra{\Omega}{\Omega}$ 把信道编码成一个矩阵。
  3. CP $\iff J\ge 0$；这使"映射的正定性"变成"矩阵的半正定性"，便于检验与分解。

关联

  • 8.2：对 J 做谱分解即得 Kraus 算符。
  • 8.3：比特翻转是典型信道之一。

8.2 从蔡氏矩阵到 Kraus 算符

核心思想

蔡氏矩阵 $J(\mathcal{E})$ 是半正定矩阵，对它做谱分解（求本征值与本征态），每个本征对就给出一个 Kraus 算符。这是从信道矩阵表示恢复算符和表示的标准途径。

谱分解 → Kraus

  • 对 $J(\mathcal{E})$ 做谱分解：$J = \sum_k \lambda_k \ketbra{v_k}{v_k}$，$\lambda_k\ge 0$（因 $J$ 半正定）。
  • 每个本征向量 $\ket{v_k}$（$d^2$ 维）按"向量化逆操作"reshape 成 $d\times d$ 矩阵，再乘 $\sqrt{\lambda_k}$，即得一个 Kraus 算符 $E_k = \sqrt{\lambda_k}\cdot\mathrm{mat}(\ket{v_k})$。
  • 于是 $\mathcal{E}(\rho)=\sum_k E_k \rho E_k^\dagger$，且保迹 $\sum_k E_k^\dagger E_k=I$。

讨论蔡氏矩阵的本征值与本征态

  • 非零本征值个数 = 信道的 Kraus 秩（最少需要的 Kraus 算符数）。
  • 本征值 $\lambda_k$ 给出各 Kraus 通道的"权重"；$\lambda_k=0$ 的方向不贡献 Kraus 算符。
  • Kraus 表示不唯一：任意一组 Kraus $\{E_k\}$ 与另一组 $\{F_j\}$ 等价 $\iff$ 差一个幺正混合 $F_j=\sum_k u_{jk}E_k$（谱分解给出的是正交规范的一组）。

关键要点

  1. $J$ 半正定 $\Rightarrow$ 谱分解 $J=\sum_k\lambda_k\ketbra{v_k}{v_k}$，$\lambda_k\ge 0$。
  2. 每个 $(\sqrt{\lambda_k}, \ket{v_k}) \to$ 一个 Kraus 算符 $E_k$（向量 reshape 成矩阵）。
  3. 非零本征值数 = Kraus 秩；Kraus 表示差一个幺正自由度，不唯一。

关联

  • 8.1：$J$ 由信道 $\to$ 蔡氏矩阵得到。
  • 8.3/8.4：对典型信道与算例执行这套谱分解流程。

8.3 几种典型信道的 Kraus 算符与 Bloch 仿射变换

核心思想

单 qubit 信道既可用 Kraus 算符描述，也可用 Bloch 向量仿射变换 $\vec r \mapsto M\vec r + \vec c$ 描述（$M$ 是 $3\times 3$ 矩阵、$\vec c$ 是平移向量）——后者直观展示信道如何压缩/平移 Bloch 球。

典型信道的 Kraus 算符

（$p$ 为出错概率，$\sigma$ 为 Pauli 矩阵）

  • 比特翻转：$E_0=\sqrt{1-p}\,I$，$E_1=\sqrt{p}\,X$。
  • 相位翻转：$E_0=\sqrt{1-p}\,I$，$E_1=\sqrt{p}\,Z$。
  • 相位阻尼 (phase damping)：与相位翻转效果一致（笔记原话："相位阻尼和相位反转一样"）——同样只衰减相干（off-diagonal）项，等价于一个退相位过程。
  • 比特-相位翻转：$E_0=\sqrt{1-p}\,I$，$E_1=\sqrt{p}\,Y$。
  • 去极化 (depolarizing)：$E_0=\sqrt{1-3p/4}\,I$，$E_1=\sqrt{p/4}\,X$，$E_2=\sqrt{p/4}\,Y$，$E_3=\sqrt{p/4}\,Z$（以概率 $p$ 把态替换为最大混合）。
  • 振幅阻尼 (amplitude damping)：$E_0=\begin{pmatrix}1&0\\0&\sqrt{1-\gamma}\end{pmatrix}$，$E_1=\begin{pmatrix}0&\sqrt{\gamma}\\0&0\end{pmatrix}$（描述能量耗散 $\ket{1}\to\ket{0}$）。

Bloch 向量仿射变换矩阵 r → Mr + c

  • 比特翻转：$M=\mathrm{diag}(1,\, 1-2p,\, 1-2p)$，$\vec c=0$（沿 $y$、$z$ 收缩）。
  • 相位翻转 / 相位阻尼：$M=\mathrm{diag}(1-2p,\, 1-2p,\, 1)$，$\vec c=0$（沿 $x$、$y$ 收缩，$z$ 不变）。
  • 去极化：$M=\mathrm{diag}(1-p,\, 1-p,\, 1-p)$，$\vec c=0$（各向同性缩小，整球向球心收缩）。
  • 振幅阻尼：$M=\mathrm{diag}(\sqrt{1-\gamma},\, \sqrt{1-\gamma},\, 1-\gamma)$，$\vec c=(0,0,\gamma)$（球收缩并向北极 $\ket{0}$ 平移）——这是唯一带非零平移 $\vec c$ 的典型例子。

关键要点

  1. 相位阻尼与相位翻转效果一致：都只衰减相干项。
  2. Kraus 与 Bloch 仿射变换是同一信道的两种描述；仿射形 $\vec r\mapsto M\vec r+\vec c$。
  3. 去极化各向同性收缩 $(\vec c=0)$；振幅阻尼收缩并平移 $(\vec c\ne 0)$，反映能量耗散的不可逆性。

关联

  • 8.2：这些 Kraus 算符可由各自蔡氏矩阵谱分解得到。
  • 8.4：算例中在不同基底下展开同一信道的 Kraus 算符。

8.4 算例与验证

核心思想

把 §8.1–8.3 的转换流程应用到具体信道：从信道求 Kraus、在不同基底下展开 Kraus，并用这些工具数值验证扰动量子纠错的两个公式等价。

信道 → Kraus 的多个算例

  • 算例 1–3：给定若干单 qubit 信道（或其蔡氏矩阵），按 §8.2 流程谱分解得到各自的 Kraus 算符组，并核验保迹条件 $\sum_k E_k^\dagger E_k = I$。
  • 算例 4：换基底展开 Kraus（单比特）：与算例 1 计算的是同一个信道，但把 Kraus 算符在另一组算符基底下展开——验证 Kraus 表示的非唯一性（不同基底/幺正混合给出等价的信道）。
  • 检验式 (transflat)：核验某个把信道"展平"为矩阵的变换式（向量化/transfer matrix 形式）与直接计算一致。

验证扰动量子纠错 (Perturbative QEC) 公式 (18) 与 (20) 的等价性

  • 目标：用上述信道/Kraus 工具，数值检验某篇扰动量子纠错工作中公式 (18) 与公式 (20) 在数值上等价。
  • 结果：笔记记录"数值验证通过"——两式在所测参数下给出一致结果。

关键要点

  1. 算例 1–3：标准"信道$\to$蔡氏矩阵$\to$谱分解$\to$Kraus"流程并核验保迹。
  2. 算例 4：同一信道在不同基底下的 Kraus 展开等价——印证 Kraus 非唯一。
  3. Perturbative QEC 公式 (18) $\equiv$ (20) 经数值验证通过。

关联

  • 8.1/8.2：算例使用的核心转换路径。
  • 8.3：算例信道多为典型信道或其组合。

备注

本节在原笔记中以公式单元与数值代码为主，散文极少；上述为依据可见标题与"数值验证通过"等记录的归纳。具体矩阵、(18)/(20) 表达式与代码请见原笔记。

术语表 · QCQI 第八章补充（量子信道）

Bloch 仿射变换 — 单 qubit 信道写成 $\vec r\mapsto M\vec r+\vec c$ (8.3) Choi-Jamiołkowski 同构 — 信道 $\leftrightarrow$ 蔡氏矩阵一一对应 (8.1) CP（完全正定） — $\mathcal{E}\otimes I$ 对任意扩展保持正定 (8.1) CPTP 映射 — 完全正定且保迹，量子信道的定义 (8.1) Kraus 算符 $\{E_k\}$ — $\mathcal{E}(\rho)=\sum_k E_k \rho E_k^\dagger$，$\sum_k E_k^\dagger E_k=I$ (8.2) Kraus 秩 — 非零 Kraus 算符个数 = 蔡氏矩阵非零本征值数 (8.2) Perturbative QEC — 扰动量子纠错，验证公式 (18) $\equiv$ (20) (8.4) TP（保迹） — $\Tr(\mathcal{E}(\rho))=\Tr(\rho)$，概率守恒 (8.1) transfer matrix / 展平 — 把信道向量化为矩阵的表示 (8.4) 比特翻转信道 — $E_0=\sqrt{1-p}\,I$, $E_1=\sqrt{p}\,X$ (8.1,8.3) 去极化信道 — 以概率 $p$ 替换为最大混合，$M$ 各向同性收缩 (8.3) 振幅阻尼 — 能量耗散 $\ket{1}\to\ket{0}$，仿射含平移 $\vec c=(0,0,\gamma)$ (8.3) 最大纠缠态 $\ket{\Omega}$ — $\sum_i\ket{ii}$，定义蔡氏矩阵用 (8.1) 相位阻尼 — 衰减相干项，与相位翻转效果一致 (8.3) 相位翻转信道 — $E_0=\sqrt{1-p}\,I$, $E_1=\sqrt{p}\,Z$ (8.3) 蔡氏矩阵 (Choi matrix) — $J(\mathcal{E})=(\mathcal{E}\otimes I)\ketbra{\Omega}{\Omega}$；CP $\iff J\ge 0$ (8.1,8.2) 谱分解 — $J=\sum_k\lambda_k\ketbra{v_k}{v_k} \to$ Kraus 算符 (8.2)

信道/Kraus/蔡氏矩阵转换技巧 · QCQI 第八章补充

信道 → 蔡氏矩阵

何时用：要检验 CP、或准备求 Kraus。 怎么做：$J(\mathcal{E})=(\mathcal{E}\otimes I)(\ketbra{\Omega}{\Omega})$，$\ket{\Omega}=\sum_i\ket{ii}$；等价于把 $\mathcal{E}$ 作用在最大纠缠态一半上。 权衡：维度升到 $d^2\times d^2$；但把"映射"变成可分解的矩阵。

蔡氏矩阵 → Kraus

何时用：已有 J，要算符和表示。 怎么做：谱分解 $J=\sum_k\lambda_k\ketbra{v_k}{v_k}$；$E_k=\sqrt{\lambda_k}\cdot\mathrm{mat}(\ket{v_k})$（向量 reshape 成 $d\times d$）。 权衡：得到正交规范的一组 Kraus；Kraus 表示不唯一（差幺正混合）。

检验是否合法信道

何时用：判断给定映射是不是物理信道。 怎么做：CP $\iff J(\mathcal{E})\ge 0$（半正定）；TP $\iff \sum_k E_k^\dagger E_k=I$（或 $J$ 部分迹$=I$）。 权衡：两个条件都要查，缺一不可。

Kraus ↔ Bloch 仿射变换

何时用：想直观看单 qubit 信道对 Bloch 球的作用。 怎么做：$M_{ij}=\tfrac{1}{2}\Tr(\sigma_i \mathcal{E}(\sigma_j))$，$c_i=\tfrac{1}{2}\Tr(\sigma_i \mathcal{E}(I))$；得 $\vec r\mapsto M\vec r+\vec c$。 权衡：只适用于单 qubit；高维无此简单几何。

换基底展开 Kraus（验证非唯一）

何时用：要把 Kraus 写在另一组算符基下，或核对两组 Kraus 等价。 怎么做：$F_j=\sum_k u_{jk}E_k$（$u$ 幺正）；两组给出同一信道。 权衡：纯表示变换，物理信道不变。

反模式

  • 忘记保迹检验：只看 CP（$J\ge 0$）不够，还要 $\sum_k E_k^\dagger E_k=I$。
  • 以为 Kraus 唯一：差一个幺正混合都等价。
  • 混淆相位阻尼与振幅阻尼：前者只退相干 $(\vec c=0)$，后者耗能并平移 $(\vec c\ne 0)$。
  • 向量化 reshape 顺序搞错：行/列约定不一致会得到转置的 Kraus。

速查表 · QCQI 第八章补充（量子信道）

三种等价描述

描述形式合法性条件
信道映射 $\mathcal{E}$$\rho \to \mathcal{E}(\rho)$CPTP
Kraus$\mathcal{E}(\rho)=\sum_k E_k\rho E_k^\dagger$$\sum_k E_k^\dagger E_k=I$
蔡氏矩阵 $J$$(\mathcal{E}\otimes I)\ketbra{\Omega}{\Omega}$$J\ge 0$ 且部分迹$=I$

转换路线

信道 ℰ ──(ℰ⊗I)|Ω⟩⟨Ω|──► 蔡氏矩阵 J ──谱分解──► Kraus {E_k}
ℰ ──M_ij=½Tr(σ_iℰ(σ_j))──► Bloch 仿射 r→Mr+c  (单 qubit)

典型单 qubit 信道：Kraus

信道Kraus
比特翻转$\sqrt{1-p}\,I,\ \sqrt{p}\,X$
相位翻转$\sqrt{1-p}\,I,\ \sqrt{p}\,Z$
相位阻尼同相位翻转（退相干）
比特-相位翻转$\sqrt{1-p}\,I,\ \sqrt{p}\,Y$
去极化$\sqrt{1-3p/4}\,I,\ \sqrt{p/4}\,\{X,Y,Z\}$
振幅阻尼$\left[\begin{smallmatrix}1&0\\0&\sqrt{1-\gamma}\end{smallmatrix}\right],\ \left[\begin{smallmatrix}0&\sqrt{\gamma}\\0&0\end{smallmatrix}\right]$

典型信道：Bloch 仿射 $\vec r\to M\vec r+\vec c$

信道$M=\mathrm{diag}(\cdot)$$\vec c$
比特翻转$(1,\ 1-2p,\ 1-2p)$$0$
相位翻转/阻尼$(1-2p,\ 1-2p,\ 1)$$0$
去极化$(1-p,\ 1-p,\ 1-p)$$0$
振幅阻尼$(\sqrt{1-\gamma},\ \sqrt{1-\gamma},\ 1-\gamma)$$(0,0,\gamma)$

关键判据

  • CP $\iff$ 蔡氏矩阵 $J\ge 0$。
  • TP $\iff \sum_k E_k^\dagger E_k=I$（$\iff J$ 部分迹$=I$）。
  • Kraus 秩 $=J$ 的非零本征值个数。
  • Kraus 非唯一：差一个幺正混合 $F_j=\sum_k u_{jk}E_k$。

记忆点

  • 相位阻尼 $\equiv$ 相位翻转（都只衰减相干项）。
  • 去极化各向同性收缩；振幅阻尼收缩 + 向 $\ket{0}$ 平移（唯一 $\vec c\ne 0$）。
  • Perturbative QEC：公式 (18) $\equiv$ (20)，数值验证通过。