量子计算与量子信息 · 第二章 线性代数与量子力学

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

如何使用本 skill

• 不带参数 — 加载第二章的核心数学/物理框架
• 带主题 — 问 密度矩阵、Schmidt 分解、POVM、偏迹、Bell 不等式 等，我会读对应小节文件再回答
• 带小节号 — 问 2.4 或 sec2.4，加载该小节
• 浏览 — 问"有哪些小节？"查看完整索引

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

核心概念框架

量子力学四公理：① 系统状态 = 希尔伯特空间中的态矢/密度算符；② 演化 = 幺正变换（薛定谔方程）；③ 测量 = 一组测量算符/PVM；④ 复合系统 = 子系统希尔伯特空间的张量积。第二章用线性代数把这四条公理精确化。

线性代数骨架：线性空间 → 线性映射（算符）→ 内积空间 → 标准正交基 (ONB) 完备性关系 → 矩阵分类（正规/Hermite/幺正/正定/投影）→ 奇异值分解 (SVD) 与极分解 → 张量积。这是量子力学的"语言"。

量子态 = 迹为 1 的正定算符 $\rho$：纯态 $\rho=\ketbra{\psi}{\psi}$（秩 1，不可写成其他态的凸组合）；混态是纯态的概率混合（球内，秩 $>1$）。知道 $\rho$ 就能算任何可观测量的期望与方差。单 qubit 用 Bloch 矢量参数化。

演化 = 幺正变换：$U^\dagger U=I$ 保持内积与归一。定态（哈密顿量本征态）的演化只是乘一个相位因子 $e^{-iEt/\hbar}$，概率分布不变。

测量公理 (PVM/POVM)：每个可观测量 ↔ 一个 PVM $\{P_i\}$（正交投影、求和为 $I$），用 Hermite 算符 $A=\sum_i a_i P_i$ 表示物理量。POVM $\{E_i\}$ 是 PVM 的推广（只要正定且求和为 $I$，不必正交/幂等），用于最优态区分。测量给出结果概率 $\Tr(\rho P_i)$ 和测后态。

复合系统工具：偏迹 → 约化密度矩阵（描述子系统）；施密特分解 $\ket{\Psi}=\sum_i \lambda_i \ket{i}_A\ket{i}_B$（施密特数 = 纠缠度量）；纯化（任何混态都能视为更大系统纯态的约化）。

纠缠与局域实在论：纠缠 = 不可分解为张量积的关联。EPR 悖论 + Bell 不等式：实验中 Bell 态违反 Bell 不等式，否定"局域隐变量"，确认量子力学正确。

小节索引

主题索引

• Bloch 矢量 / qubit 参数化 → 2.3
• EPR / Bell 不等式 / 局域实在论 → 2.6
• POVM / PVM / 测量公理 → 2.4
• Schmidt 分解 / 纯化 → 2.5
• 奇异值分解 (SVD) / 极分解 → 2.2
• 密度矩阵 / 纯态 / 混态 → 2.3
• 张量积 → 2.2
• 态区分 / 超密编码 / 不可克隆 → 2.6
• 偏迹 / 约化密度矩阵 → 2.5
• 海森堡不确定性 / 期望方差 → 2.4
• 矩阵分类 (正规/Hermite/幺正/投影) → 2.2
• 纠缠 → 2.5, 2.6
• 量子力学四公理 → 2.1
• 薛定谔方程 / 幺正演化 / 定态 → 2.4

辅助文件

• glossary.md — 关键术语表（中英对照）
• patterns.md — 线性代数/量子力学计算技巧
• cheatsheet.md — 算符分类与测量速查

范围与限制

本 skill 仅覆盖 QCQI 第二章（线性代数与量子力学）的概念框架，源自一份中文 Mathematica 笔记。公式以纯文本/Unicode 近似表示，精确推导与证明请参阅原书。具体的数值算例、图像在笔记中以代码/图片形式存在，未完整转录。

2.1 量子力学公理

核心思想

量子力学可由四条公理完整刻画。第二章用线性代数把这些公理精确化——所有后续概念（态、门、测量、纠缠）都是这四条的推论。

四条公理

• 公理 1（状态）：孤立量子系统的状态由其希尔伯特空间中的单位态矢 $\ket{\psi}$ 描述；更一般地由密度算符 $\rho$（迹为 1 的正定算符）描述。知道 $\rho$ 就能得到该系统关于任何物理量的任何命题的正确性，进而得到期望与方差等统计性质。
• 公理 2（演化）：封闭系统的演化由幺正变换描述，$\ket{\psi'}=U\ket{\psi}$；连续时间下由薛定谔方程 $i\hbar\, d\ket{\psi}/dt = H\ket{\psi}$ 给出。
• 公理 3（测量）：测量由一组测量算符 $\{M_i\}$ 描述；可观测量 ↔ 一个 PVM（投影算符值测度），用 Hermite 算符表示物理量。测量给出结果概率与测后态。
• 公理 4（复合系统）：复合系统的希尔伯特空间是各子系统希尔伯特空间的张量积 $H_A \otimes H_B$。

关键概念

• 正交投影算符就是"命题"：投影 $P$ 对应一个是/非命题，$\bra{\psi}P\ket{\psi}$ 给出该命题为真的概率。
• 态矢 vs 密度算符：纯态可用 $\ket{\psi}$；混态必须用 $\rho$。$\rho$ 是更普适的描述。

关键要点

1. 四公理 = 态 / 演化 / 测量 / 复合，分别对应希尔伯特空间、幺正群、PVM、张量积。
2. 量子态的本质是"迹为 1 的正定算符"，它编码了所有可测的统计信息。
3. 测量是唯一把量子信息变成经典信息的环节，且会改变态。

关联

• 2.2：四公理的数学工具（线性空间、内积、张量积）。
• 2.4：公理 2、3 的展开（幺正演化与 PVM/POVM）。
• 第一章：这里把第 1 章直觉性的 qubit/门/测量严格化。

2.2 线性代数基础

核心思想

量子力学的数学语言：线性空间 → 算符 → 内积空间 → 矩阵分类 → SVD/极分解 → 张量积。用狄拉克符号统一几何与代数。

框架与工具

• 线性映射（算符）与秩：秩的代数定义——若 $A$ 中至少有一个 $r$ 阶子式不为零，且当 $r<\min(m,n)$ 时所有 $r+1$ 阶子式全为零，则 $\mathrm{rank}(A)=r$。本征值与本征向量是算符的核心不变量。
• 内积空间：复内积空间到自身的同构 = 幺正变换。等距未必同构（例：维数不匹配）。ONB（标准正交基）满足完备性关系 $\sum_i \ketbra{i}{i} = I$。
• 常见算符分类：
• 正规算符 $A$：$AA^\dagger=A^\dagger A$，可被幺正对角化（谱定理）。
• Hermite 算符 $T$：$T^\dagger=T$，本征值实，表示物理量（可观测量）。
• 投影算符 $P$：$P^2=P$ 且 $P^\dagger=P$，对应"命题"。
• 幺正算符 $U$：$U^\dagger U=I$，复内积空间到自身的同构，保内积。
• 奇异值分解 (SVD)：任意矩阵 $A = U D V^\dagger$，$D$ 为非负对角（奇异值）。奇异值非简并时，若要求降序排列则 SVD 唯一；简并时在奇异值子空间上有旋转自由度。可用来确定秩为 $r$ 矩阵的自由度。
• 极分解：$A = U P$（幺正 × 正算符），类比复数的模-相位分解。
• 张量积：张量积空间 = 笛卡尔积除以双线性关系。为什么用张量积？因为双线性——分别有 $m$、$n$ 个能级的两系统合在一起应有 $m\times n$ 个能级。可在算符上定义张量积。

关键概念

• 谱定理：正规算符可被一组 ONB 对角化。
• 为何投影而非一般正算符（纠错条件中）：投影算符对应可完美区分的正交子空间，是可恢复性的关键。

关键要点

1. 算符按代数性质分类（正规/Hermite/幺正/投影/正定），每类对应一种物理角色。
2. SVD 是最通用的分解，揭示秩、自由度、几何（旋转-缩放-旋转）。
3. 张量积来自"双线性 ⇒ 能级相乘"的物理需求，是复合系统的数学基础。

关联

• 2.1：这些工具实现四公理。
• 2.3：密度矩阵是正定 Hermite 算符；Bloch 用本征分解。
• 2.5：施密特分解本质就是对二分态矢做 SVD。

2.3 量子态

核心思想

量子态 = 迹为 1 的正定算符 $\rho$。纯态是其极端情形（秩 1），混态是纯态的概率混合。单 qubit 可用 Bloch 矢量几何化。

框架

• 物理状态 vs 物理量（经典 vs 量子）：经典态是相空间一点、物理量是其上的函数；量子态是 $\rho$、物理量是 Hermite 算符，二者通过 $\Tr(\rho A)$ 配对得期望。
• 单 qubit 参数化：$\ket{\psi}=\cos(\theta/2)\ket{0}+e^{i\phi}\sin(\theta/2)\ket{1}$ ↔ Bloch 矢量 $r=(\sin\theta\cos\phi,\ \sin\theta\sin\phi,\ \cos\theta)$。U3 门 = 用欧拉角参数化 $U(2)$ 群元。
• 密度算符：$\rho=\sum_i p_i \ketbra{\psi_i}{\psi_i}$，$\Tr(\rho)=1$，$\rho\ge0$。$r_i=\Tr(\rho\sigma_i)$ 给出 Bloch 分量。
• 多比特计算基与 Bell 基：$n$ 比特计算基 $\{\ket{0\cdots0},\dots,\ket{1\cdots1}\}$；Bell 基是 4 个最大纠缠两比特态。在计算基下测量 Bell 态，Alice 和 Bob 总是得到相同结果（强关联）。
• 希尔伯特空间上的距离：$d(u,v)$ 由内积导出，如 $\mathrm{Re}\,\braket{u}{v}$ 相关的保真度/迹距离类度量。

纯态 vs 混态判据

• 纯态：$\Tr(\rho^2)=1$；不能写成另外两个量子态的凸线性组合；密度矩阵秩为 1；Bloch 矢量在球面 $\lvert r\rvert=1$。
• 混态：$\Tr(\rho^2)<1$；秩 $>1$；$\lvert r\rvert<1$（球内）；最大混合 $\rho=I/2$ → 球心。

关键要点

1. $\rho$ 是迹 1 正定算符；它编码系统所有可测统计信息。
2. 单 qubit ↔ Bloch 球：纯态在面、混态在内、最大混合在心。
3. 纯/混判据：$\Tr(\rho^2)$、秩、凸组合可分解性、$\lvert r\rvert$ 四者等价。

关联

• 2.2：$\rho$ 是 Hermite 正定算符，用本征分解写成纯态混合。
• 2.4：$\rho$ 经幺正演化 $\rho\to U\rho U^\dagger$；测量给出 $\Tr(\rho P_i)$。
• 2.5：约化密度矩阵通常是混态，即使全局是纯态（纠缠的标志）。

2.4 演化与测量

核心思想

封闭系统按幺正变换演化（公理 2）；测量按 PVM/POVM 给出概率与测后态（公理 3）。这两条把"态如何变化"和"如何提取信息"精确化。

幺正演化

• 薛定谔方程：$i\hbar\, d\ket{\psi}/dt = H\ket{\psi}$，解为 $\ket{\psi(t)}=U(t)\ket{\psi(0)}$，$U=e^{-iHt/\hbar}$ 幺正。
• 定态：哈密顿量本征态 $H\ket{E}=E\ket{E}$，演化只是乘相位 $e^{-iEt/\hbar}$，概率分布不随时间变化。
• 密度算符演化：$\rho\to U\rho U^\dagger$。

测量：PVM 与 POVM

• PVM（投影算符值测度）：一族投影 $\{P_i\}$，满足 $P_i$ 正交幂等 $+\ \sum_i P_i=I$。从 PVM 构建物理量 $A=\sum_i a_i P_i$（Hermite）。
• 结果 $i$ 的概率 $=\Tr(\rho P_i)$（纯态 $=\bra{\psi}P_i\ket{\psi}$）；测后态 $=P_i\rho P_i/\Tr(\rho P_i)$。
• POVM：一族正定算符 $\{E_i\}$，只需 $E_i\ge0$ 且 $\sum_i E_i=I$（不要求正交/幂等）。是 PVM 的推广，用于不关心测后态、只求最优区分概率的场景。
• 单 qubit 测量：计算基测量 = 用 $\{\ketbra{0}{0},\ketbra{1}{1}\}$；测 $\sigma_x$ 则用 $\{\ketbra{+}{+},\ketbra{-}{-}\}$（非计算基方向）。
• Bell 基测量：在计算基下测 Bell 态，两方结果总相同（关联）。

统计量与不确定性

• 期望：$\langle A\rangle=\Tr(\rho A)$。
• 方差：$(\Delta A)^2=\langle A^2\rangle-\langle A\rangle^2$。
• 海森堡不确定性关系：$\Delta A\cdot\Delta B \ge \tfrac{1}{2}\lvert\langle[A,B]\rangle\rvert$，源于算符不对易。

关键要点

1. 演化幺正、可逆；测量非幺正、不可逆且改变态。
2. 可观测量 ↔ PVM ↔ Hermite 算符，三位一体。
3. POVM 比 PVM 更灵活，是态区分等任务的最优测量框架。
4. 不对易算符不能同时确定 ⇒ 不确定性关系。

关联

• 2.1：本节是公理 2、3 的展开。
• 2.3：测量作用于 $\rho$，给出 $\Tr(\rho P_i)$。
• 2.6：POVM 用于非正交态的最优区分。

2.5 复合系统：偏迹、施密特分解与纯化

核心思想

描述复合系统的子系统、量化纠缠的核心工具：偏迹给出约化密度矩阵；施密特分解给出二分态的标准型；纯化把混态升格为更大系统的纯态。

偏迹与约化密度矩阵

• 约化密度矩阵：$\rho_A = \Tr_B(\rho_{AB})$，对 B 取偏迹，描述只看 A 子系统时的状态。
• 偏迹的两种惯例：不同教材对指标顺序约定不同（惯例 1 / 惯例 2），结果一致但写法有别。
• 性质：偏迹是线性映射。
• 关键现象：即使 $\rho_{AB}$ 是纯态，$\rho_A$ 也可能是混态——这正是纠缠的标志。

施密特分解 (Schmidt)

• 形式：任意二分纯态 $\ket{\Psi}=\sum_i \lambda_i \ket{i}_A\otimes\ket{i}_B$，$\lambda_i\ge0$ 且 $\sum_i \lambda_i^2=1$。
• 本质：对态矢的系数矩阵做 SVD，$\lambda_i$ 是奇异值。
• 施密特数（非零 $\lambda_i$ 个数）= 纠缠度量；施密特数 $=1$ ⟺ 可分（无纠缠）。
• $\rho_A$ 与 $\rho_B$ 有相同的非零本征值 $\{\lambda_i^2\}$。

纠缠

• 定义：不可写成张量积 $\ket{a}\otimes\ket{b}$ 的态。复合量子系统的奇妙特性。
• 判据：施密特数 $>1$ ⟺ 纠缠。

纯化 (Purification)

• 思想：任何混态 $\rho_A$ 都可视为某个更大系统纯态 $\ket{\Psi}_{AB}$ 的约化：$\rho_A = \Tr_B(\ketbra{\Psi}{\Psi})$。
• 规范自由度：$\ket{\Psi}=\sum_{i,k} \ket{\psi_i}\otimes(\ket{e_k} u_{ik})$，纯化不唯一，差一个辅助系统上的幺正 $u$。

关键要点

1. 偏迹 → 子系统状态；纯态的子系统可以是混态（纠缠的指纹）。
2. 施密特分解 = 二分态的 SVD；施密特数量化纠缠。
3. 纯化：混态总能"提纯"为更大纯态，差一个辅助幺正自由度。

关联

• 2.2：施密特分解 = SVD 的物理版本。
• 2.3：约化态通常是混态 $\rho$。
• 2.6：纠缠态违反 Bell 不等式。

2.6 量子力学的应用：EPR/Bell、态区分、超密编码

核心思想

用前面的公理与工具解决具体问题：纠缠能否被局域隐变量解释（Bell）？非正交态能区分到什么程度（态区分/POVM）？纠缠如何提升通信容量（超密编码）？

EPR 悖论与 Bell 不等式的违反

• EPR：Einstein 等质疑量子力学不完备，设想存在"局域隐变量"。
• Bell 不等式：任何局域实在论模型都满足某不等式；量子纠缠态（Bell 态）的关联会违反该不等式。
• 结论：实验确认违反 ⇒ 否定局域实在论，确认量子力学正确。纠缠是真实的非经典关联。

态区分

• 正交态可完美区分：相互正交的两个态可被一组投影测量确定区分；非正交态无法完美区分。
• POVM 区分非正交态（Nielsen 2.2.4）：用 POVM 对非正交态做"无错但允许失败"的区分（unambiguous discrimination）。
• Worked Example（Bob 的判定）：Bob 收到两种等概率的可能态。设计 POVM $\{E_1,E_2,E_?\}$：测到 $E_1$ 确定是态 1，$E_2$ 确定是态 2，测到 $E_?$ 则"无法判断"（弃权）。代价是有限的失败概率，换来零错误率。

超密编码 (Superdense Coding)

• 思想：Alice 与 Bob 预共享一对 Bell 态，Alice 只对自己 1 个 qubit 施加 $\{I,X,Z,XZ\}$ 之一，再把该 qubit 发给 Bob，Bob 做 Bell 测量即可读出 2 个经典比特。
• 要点：1 个量子比特 + 预共享纠缠 = 传 2 经典比特。是隐形传态的"对偶"。

不可克隆定理

• 内容：不存在能复制任意未知量子态的幺正操作。
• 后果：禁止线路扇出；保障量子密码安全。

关键要点

1. Bell 不等式违反是纠缠非经典性的实验判决——否定局域实在论。
2. 正交可完美区分，非正交只能用 POVM 做无错-允许弃权的区分。
3. 超密编码：纠缠让 1 qubit 携带 2 经典比特；不可克隆禁止复制未知态。

关联

• 2.5：纠缠（施密特数>1）是本节所有协议的资源。
• 2.4：态区分用 POVM；超密编码末端用 Bell 测量。
• 第一章：隐形传态是超密编码的对偶协议。

术语表 · QCQI 第二章

Bell 不等式 — 局域实在论满足的不等式，量子纠缠态违反之 (2.6) Bloch 矢量 — 单 qubit 态 ↔ 球内/面点 $r=\Tr(\rho\sigma)$ (2.3) EPR 悖论 — Einstein 等对量子力学完备性的质疑，引出局域隐变量 (2.6) Hermite 算符 — $T^\dagger=T$，本征值实，表示可观测量/物理量 (2.2,2.4) ONB（标准正交基） — 满足完备性 $\sum_i \ketbra{i}{i}=I$ (2.2) POVM — 正算符值测度 $\{E_i\}$，$E_i\ge0$ 且 $\sum_i E_i=I$，PVM 的推广 (2.4) PVM（投影算符值测度） — 正交投影族 $\{P_i\}$，$\sum_i P_i=I$，对应可观测量 (2.4) Schmidt 分解 — 二分纯态 $\ket{\Psi}=\sum_i \lambda_i \ket{i}_A\ket{i}_B$，= 系数矩阵的 SVD (2.5) Schmidt 数 — 非零施密特系数个数，纠缠度量；$>1$ ⟺ 纠缠 (2.5) SVD（奇异值分解） — $A=UDV^\dagger$，$D$ 非负对角；揭示秩与几何 (2.2) U3 门 / 欧拉角 — 用三个角参数化 $U(2)$ 群元 (2.3) von Neumann 测量 — 由 PVM 描述的投影测量 (2.4) 不可克隆定理 — 任意未知态不可被完美复制 (2.6) 偏迹 (partial trace) — $\Tr_B$，对子系统求迹得约化密度矩阵 (2.5) 几何意义 (SVD) — 旋转 → 沿轴缩放 → 旋转 (2.2) 幺正算符 $U$ — $U^\dagger U=I$，保内积，复内积空间到自身的同构 (2.2,2.4) 态区分 — 正交态可完美区分，非正交态须用 POVM (2.6) 密度算符 $\rho$ — 迹 1 正定算符；纯态 $\Tr(\rho^2)=1$，混态 $<1$ (2.3) 定态 — 哈密顿量本征态，演化仅乘相位，分布不变 (2.4) 张量积 — 复合系统希尔伯特空间 $H_A\otimes H_B$；源于双线性 (2.2) 投影算符 $P$ — $P^2=P$, $P^\dagger=P$，对应"命题" (2.2) 施密特数 — 见 Schmidt 数 (2.5) 极分解 — $A=UP$，幺正×正算符 (2.2) 正规算符 — $AA^\dagger=A^\dagger A$，可被幺正对角化（谱定理） (2.2) 海森堡不确定性 — $\Delta A\cdot\Delta B\ge\tfrac{1}{2}\lvert\langle[A,B]\rangle\rvert$ (2.4) 混态 — 纯态的概率混合，$\Tr(\rho^2)<1$，Bloch 球内 (2.3) 纠缠 — 不可写成张量积的态，施密特数 $>1$ (2.5,2.6) 纯化 (purification) — 混态视为更大系统纯态的约化，差一辅助幺正 (2.5) 纯态 — $\rho=\ketbra{\psi}{\psi}$，秩 1，Bloch 球面 (2.3) 约化密度矩阵 — $\rho_A=\Tr_B(\rho_{AB})$，子系统状态 (2.5) 薛定谔方程 — $i\hbar\, d\ket{\psi}/dt=H\ket{\psi}$，给出幺正演化 (2.4) 超密编码 — 1 qubit + 共享纠缠传 2 经典比特 (2.6) 谱定理 — 正规算符可被一组 ONB 对角化 (2.2) 量子力学四公理 — 态/演化/测量/复合系统 (2.1) 期望与方差 — $\langle A\rangle=\Tr(\rho A)$，$(\Delta A)^2=\langle A^2\rangle-\langle A\rangle^2$ (2.4) 秩 (rank) — 最大非零子式阶数 (2.2)

线性代数 / 量子力学计算技巧 · QCQI 第二章

用本征分解写密度矩阵

何时用：判断纯/混、算 $\Tr(\rho^2)$、求 Bloch 矢量。 怎么做：$\rho=\sum_i p_i \ketbra{i}{i}$（谱分解），$p_i$ 为本征值（概率）。$r_a=\Tr(\rho\sigma_a)$。 权衡：本征基随 $\rho$ 变化；混态本征值不止一个非零。

对二分态做施密特分解

何时用：判断/量化两体纯态纠缠，求约化密度矩阵本征值。 怎么做：把 $\ket{\Psi}$ 的系数排成矩阵 $C$，做 SVD：$C=UDV^\dagger$，$\lambda_i=D$ 的奇异值；$\ket{\Psi}=\sum_i \lambda_i \ket{i}_A\ket{i}_B$。 权衡：仅适用于两体纯态；多体或混态需其他纠缠度量。

用偏迹求子系统状态

何时用：只关心复合系统的一部分。 怎么做：$\rho_A=\Tr_B(\rho_{AB})$，对 B 的基求和 $\sum_k \bra{k_B}\rho_{AB}\ket{k_B}$。注意惯例一致。 权衡：丢失关联信息；纯态偏迹后可能变混态。

用 POVM 做非正交态区分

何时用：要无错地区分非正交态，可容忍"弃权"。 怎么做：构造 $\{E_1,E_2,E_?\}$，$\sum_i E_i=I$；$E_1/E_2$ 确定判定，$E_?$ 弃权。 权衡：零错误率换取有限失败概率（无法判断的概率）。

用 SVD 求秩与自由度

何时用：分析矩阵秩、低秩逼近、几何分解。 怎么做：$A=UDV^\dagger$；非零奇异值个数 = 秩；降序排列使分解唯一（非简并时）。 权衡：简并奇异值子空间上有旋转自由度，分解不唯一。

用欧拉角参数化单 qubit 门

何时用：把任意 U(2) 编译为硬件旋转 / U3 门。 怎么做：$U=e^{i\alpha}R_z(\beta)R_y(\gamma)R_z(\delta)$，对应 Bloch 球上一次合成旋转。 权衡：同一目标态可由不同 (轴,角) 实现，参数化不唯一。

反模式

• 混淆纯态与混态判据：务必用 $\Tr(\rho^2)=1$ / 秩 1 / $\lvert r\rvert=1$ 同时核验。
• 偏迹惯例不一致：两种指标约定混用会算错约化矩阵。
• 以为非正交态可完美区分：只有正交态可完美区分。
• 忘记归一：测后态要除以 $\Tr(\rho P_i)$。

速查表 · QCQI 第二章

算符分类速查

纯态 vs 混态判据（四者等价）

测量速查

• 概率：$P(i)=\Tr(\rho P_i)$，纯态 $=\bra{\psi}P_i\ket{\psi}$。
• 测后态：$P_i\rho P_i/P(i)$（PVM）。
• 期望：$\langle A\rangle=\Tr(\rho A)$；方差 $(\Delta A)^2=\langle A^2\rangle-\langle A\rangle^2$。
• PVM：正交 + 幂等 + $\sum_i P_i=I$（要测后态用它）。
• POVM：只需 $E_i\ge0$ 且 $\sum_i E_i=I$（只求概率/最优区分用它）。

复合系统工具决策

• 要子系统状态 → 偏迹 $\rho_A=\Tr_B(\rho_{AB})$。
• 要判断/量化两体纠缠 → 施密特分解，看施密特数。
• 要把混态变纯态 → 纯化（加辅助系统）。
• 要判定全局纯态是否纠缠 → 施密特数 $>1$ ⟺ 纠缠。

分解方法速记

核心红线

1. 正交才能完美区分；非正交只能 POVM 无错-弃权区分。
2. 不可克隆：任意未知态不可复制。
3. Bell 违反：纠缠否定局域实在论。
4. 偏迹惯例：全程统一一种指标约定。