引言
「造出一个量子态」和「证明你造出了这个量子态」是两件完全不同的事。量子态层析(Quantum State Tomography)就是后者:通过一组精心设计的测量,从统计计数中反推出量子态的密度矩阵。它是量子实验的「眼睛」——没有层析,你无法知道自己的制备是否成功、纠缠是否真实、纠错是否有效。但层析也是最容易被误用的工具:测量基选错、计数不足、重构不加约束,都会给出「看起来很美」却完全错误的结果。本文系统讲解量子态层析:从密度矩阵与 Bloch 球说起,再到线性层析、测量的完备性与信息论极限、最大似然估计、保真度与距离度量、过程层析、压缩感知与高效方案、实验陷阱,最后谈从层析到基准测试的工程实践。目标:掌握「如何正确地验证一个量子态」。
前置:/quantum-qubit-gates-basics/(量子比特与测量)、/quantum-entanglement-bell-state/(纠缠态与贝尔态)、/quantum-error-mitigation/(噪声与误差)。
目录
- 1. 为什么需要量子态表征
- 2. 密度矩阵与量子态的完整描述
- 3. 线性层析:从测量到重构
- 4. 测量的完备性与信息论极限
- 5. 最大似然估计
- 6. 保真度与距离度量
- 7. 过程层析与门表征
- 8. 压缩感知与高效层析
- 9. 实验实现与常见陷阱
- 10. 从层析到基准测试
- 速查表
- 延伸阅读
1. 为什么需要量子态表征
「制备」与「验证」是两件事:
制备:用激光/微波/光路把量子系统推到一个目标态
验证:测量并确认「它真的是这个态」
为什么不能只看制备参数:
器件有误差、串扰、漂移
目标态与真实态之间的偏差往往是「看不出来」的
→ 必须用测量数据「反推」真实态
表征回答的四类问题:
1. 保真度:我制备的态离目标态有多近?
2. 纠缠:态里真的有纠缠吗?纠缠多少?
3. 噪声:偏差是退相干、串扰还是读出错误?
4. 门质量:我实现的门是否等价于目标门?
→ 表征是「量子实验的度量衡」
心智:层析的本质是「用统计换信息」——不可克隆定理禁止复制未知态,测量坍缩又破坏原态,因此只能反复重新制备、变换测量基、累积计数,再从计数反推密度矩阵。「重新制备的一致性」是层析有效的前提。
2. 密度矩阵与量子态的完整描述
密度矩阵是量子态的「最一般描述」:
纯态:|ψ⟩,密度矩阵 ρ = |ψ⟩⟨ψ|
混态:概率混合,ρ = Σ_i p_i |ψ_i⟩⟨ψ_i|
性质(三条公理):
1. 厄米:ρ = ρ†
2. 半正定:ρ ≥ 0(所有特征值非负)
3. 迹为 1:Tr(ρ) = 1
→ 任何合法量子态都必须同时满足这三条
量子比特的参数化:
单比特密度矩阵:
ρ = (I + x·σx + y·σy + z·σz) / 2
其中 (x, y, z) 是 Bloch 向量,|r| = √(x²+y²+z²) ≤ 1
|r| = 1 → 纯态(Bloch 球面)
|r| < 1 → 混态(球内部)
|r| = 0 → 完全混合态(球心)
物理意义:
层析 = 「测量 Bloch 向量的三个分量」
需要 3 个独立测量基(σx, σy, σz)
心智:密度矩阵是量子态的「身份证」——三条公理(厄米、半正定、迹为 1)定义了合法态,而层析就是从测量计数中估计它的全部参数。参数量随比特数指数增长(4^n - 1),这正是层析无法「无脑扩展到大规模」的根本原因。
3. 线性层析:从测量到重构
单比特线性层析的完整流程:
目标:估计 Bloch 向量 (x, y, z)
步骤:
1. 重复制备态 ρ 共 N 次
2. 分三组测量:
N/3 次测 σz → 得到 P(+1)、P(-1) → z = P(+1) - P(-1)
N/3 次测 σx → 得到 x
N/3 次测 σy → 得到 y
3. 用估计值拼出 ρ = (I + xσx + yσy + zσz)/2
→ 「线性反演」:测量结果与参数之间是线性关系
为什么叫「线性」层析:
Pauli 期望值 c_P = Tr(P ρ) 是 ρ 的线性函数
测量频率是 c_P 的无偏估计
→ ρ_est = (1/2^n) Σ_P ĉ_P · P 直接给出密度矩阵
→ 计算简单、无需迭代
线性层析的测量设置数量:
| 比特数 n | Pauli 项数 | 独立测量设置 |
|---|---|---|
| 1 | 3 | 3 |
| 2 | 15 | 9 |
| 3 | 63 | 27 |
| n | 4^n - 1 | 3^n |
心智:线性层析的计算很漂亮,但结果常常「不物理」——测量统计误差会让估计出的密度矩阵出现负特征值。因此现代层析几乎都带约束:在合法态的集合内做最大似然或凸优化,这是「线性反演」与「可靠重构」之间的分水岭。
4. 测量的完备性与信息论极限
完备测量的定义:
信息完备(Informationally Complete, IC):
一组测量的结果概率能唯一确定任意量子态
条件:测量算符张成的空间「覆盖」整个算符空间
单比特的 IC 测量:
需要至少 4 个线性无关的测量结果
例:σx, σy, σz 三基 + 恒等 → 恰好完备
→ 不完备则「无解」,过完备则「冗余但更稳健」
过完备测量的好处:
过完备(如 6 个测量基):
冗余信息 → 对统计噪声更稳健
可用「最小二乘」平均掉部分误差
代价:
测量设置更多 → 时间更长 → 漂移影响更大
→ 「完备性」与「稳健性」之间存在权衡
心智:层析的根本障碍是「指数级样本复杂度」——估计 4^n 个参数,每个需要 1/ε² 次测量,全层析在大规模上不可能。量子 Cramér-Rao 界给出了任何方案都无法突破的精度天花板;自适应测量与压缩感知则是「在极限内争取更优」的两条主要路径。
5. 最大似然估计
MLE 的基本思想:
给定测量数据 D(各结果的计数)
构造似然函数 L(ρ) = Pr(D | ρ)
最大似然估计:ρ_MLE = argmax L(ρ),约束 ρ 合法
→ 「最可能产生这组数据的量子态」
似然函数的构造:
设第 j 次测量的投影算符为 {E_jk}(第 k 个结果)
数据中第 j 组测量出现 k 的次数为 n_jk,总次数 N_j
则似然:
L(ρ) = Π_j Π_k [Tr(E_jk ρ)]^(n_jk)
实践中最大化对数似然:
log L(ρ) = Σ_j Σ_k n_jk · log Tr(E_jk ρ)
→ 对数形式把乘积变求和,数值上更稳定
数值求解方法:
1. 梯度上升 / 定点迭代:
从「最大混合态」出发,迭代更新 ρ
(标准的 RρR 迭代算法,保证收敛)
2. 凸优化:
用半正定规划(SDP)或投影梯度法
约束:ρ ≥ 0、Tr(ρ) = 1
3. 参数化方法:
用 Cholesky 分解 ρ = T†T / Tr(T†T) 保证半正定
→ 在无约束空间优化 T,自动满足合法性
→ 三种方法各有工程权衡
心智:最大似然估计是层析的事实标准——它天然保证结果合法(半正定),且大样本下统计有效。但要记住两点:MLE 在边界附近有「低估纯度」的系统偏差,且它只给点估计,不给误差棒;严谨的层析结果必须报告置信区域。
6. 保真度与距离度量
保真度(Fidelity):态与态有多近:
定义(一般形式):
F(ρ, σ) = [Tr √(√ρ σ √ρ)]²
取值范围 [0, 1],1 表示完全相同
纯态与混态:
F(|ψ⟩, σ) = ⟨ψ|σ|ψ⟩(简单的期望值形式)
常用近似(工程中):
F ≈ (Tr √(√ρ σ √ρ))² 用数值方法算
→ 量子实验报告的「保真度 99.5%」通常指它
保真度的陷阱:
1. 平方还是不开方:
不同文献定义不同(F 与 √F 混用)
→ 报告时必须明确公式
2. 与目标态比较 vs 与理想态比较:
目标态来自实验标定,理想态来自理论
两者可以差很多
3. 层析估计的保真度有偏:
线性层析可能给出 F > 1(非物理)
小样本时保真度被系统性高估
→ 报告保真度必须附「置信区间」与「样本量」
其他距离度量:
| 度量 | 定义要点 | 特点 |
|---|---|---|
| 保真度 F | 态重叠程度 | 直观、易被高估 |
| 迹距离 | 半的 L1 范数 | 有操作意义(区分概率) |
| 纠缠保真度 | 与理想纠缠态比较 | 衡量纠缠质量 |
| 纯度 | Tr(ρ²) | 判断纯态/混态 |
| 负度 | 部分转置的负特征值和 | 纠缠度量 |
心智:保真度是最常被引用、也最常被误用的指标——定义有平方与不开方两派,比较对象(目标态 vs 理想态)常被含糊处理,且层析估计会系统性高估它。报告保真度必须同时给出定义、样本量与置信区间,否则数字没有意义。
7. 过程层析与门表征
从「态」到「过程」:
态层析:表征一个量子态 ρ
过程层析(Process Tomography):表征一个量子操作(门/信道)
→ 回答「我的 CNOT 到底做了什么」
数学工具:
信道用「过程矩阵」χ 或「Choi 矩阵」描述
ρ_out = Σ_{mn} χ_mn E_m ρ_in E_n†
E_m 为算符基(如 Pauli 基)
→ 过程层析 = 「估计 χ 矩阵的全部元素」
标准流程:
1. 制备一组完备的输入态(如 4 个基态 / 6 个态)
2. 对每个输入态施加待表征的门
3. 对输出态做态层析
4. 从「输入-输出」对反推过程矩阵
资源开销:
d 维系统需要 d² 个输入态 + 每个 d² 个测量设置
→ 4^n × 4^n 级别的开销(比态层析更贵)
心智:过程层析回答「我的门做了什么」,代价是比态层析更高的指数开销——它需要完备的输入态与输出态层析。工程上更常用随机基准测试(RB):虽然只给「平均保真度」这一个数字,但它对制备/测量误差鲁棒且能扩展到多比特,是量子硬件报告门质量的标准工具。
8. 压缩感知与高效层析
为什么需要「高效」层析:
全层析需要 4^n 个参数、每个 1/ε² 次测量
→ 10 比特 = 10^6 参数,完全不可行
但许多实际量子态是「结构化的」:
低秩(近似纯态)
低纠缠(矩阵乘积态 MPS)
稀疏(少数 Pauli 分量主导)
→ 利用先验结构,可以大幅减少测量数
压缩感知(Compressed Sensing):
核心思想:
若信号在某基下「稀疏」,则可用远少于 Nyquist 的采样恢复
量子版:
若 ρ 在 Pauli 基下近似稀疏 → 少测即可重构
用 L1 最小化(或核范数最小化)求解
→ 「低秩 + 少量测量」可以精确恢复
矩阵乘积态(MPS)层析:
若态是「低纠缠」的:
可以用 MPS 表示,参数量只随比特数线性增长
逐比特「扫描」测量,边测边估计
→ 适合一维、低纠缠的量子系统
→ 对高纠缠态(如随机线路输出)失效
方案选择对照:
| 方案 | 适用前提 | 输出 | 成本 |
|---|---|---|---|
| 全层析 + MLE | 小规模(≤ 3 比特) | 完整 ρ | 4^n |
| 压缩感知 | 低秩/稀疏 | 完整 ρ | poly(n) |
| MPS 层析 | 低纠缠 | 完整 ρ(MPS 形式) | poly(n) |
| 阴影层析 | 只要期望值 | 指定观测量 | log 级/观测量 |
| 直接保真度 | 只要一个数字 | 保真度 | 远低于层析 |
心智:高效层析的共同思路是「利用先验结构」——低秩、低纠缠、稀疏,任一条都能把指数开销压成多项式。如果连一个数字(保真度)都不需要完整重构,直接保真度估计与阴影层析是最务实的选择;而「先做全层析再算保真度」往往是最贵也最不精确的路。
9. 实验实现与常见陷阱
实验流程中的关键环节:
1. 态制备:每次测量都要重新制备(一致性是前提)
2. 测量基变换:用单比特旋转把目标基转到测量基
3. 数据采集:计数统计(需要足够多的样本)
4. 读出校正:用「读出错误矩阵」校正计数
5. 重构:MLE 或凸优化
6. 误差分析:自举法(bootstrap)或蒙特卡洛估计置信区间
→ 六步中任何一步出错都会污染最终结果
陷阱一:SPAM 误差:
SPAM = State Preparation And Measurement
制备不完美 + 测量有错误 → 计数被系统性污染
后果:
层析结果「偏向」某个方向(系统偏差)
报告的门保真度被高估
缓解:
读出校正矩阵(用已知态标定)
门集层析(GST)自洽消除 SPAM
心智:层析的正确性取决于六个环节的乘积,而不是重构算法单独的质量——SPAM 误差、样本不足、态漂移、模型错误是四类最常见陷阱。报告层析结果时必须同时给出:测量设置、样本量、读出校正方法与置信区间,否则数字不可复现。
10. 从层析到基准测试
层析的定位:
层析:完整表征 → 信息最全,但代价指数级
→ 适合「小规模、需要完整信息」的场景
基准测试:只回答「好不好」→ 信息少,但可扩展
→ 适合「大规模、需要日常监控」的场景
→ 两者是「显微镜」与「体温计」的关系
主流基准测试工具:
1. 随机基准测试(RB):
随机 Clifford 序列 → 平均门保真度
变体:交错 RB(单个门)、同时 RB(串扰)
2. XEB(交叉熵基准测试):
随机线路 + 交叉熵估计
用于「量子优势」实验的保真度指标
3. 量子体积(Quantum Volume):
综合「比特数 × 门质量 × 连通性」的单一数字
→ 硬件厂商常用的宣传指标
4. 循环基准测试(Cycle Benchmarking):
估计「每个循环」的错误率,定位错误来源
层析与基准测试的分工:
| 工具 | 输出 | 规模 | 用途 |
|---|---|---|---|
| 态层析 | 完整 ρ | ≤ 3 比特 | 原理验证、纠缠判定 |
| 过程层析 | 完整 χ | ≤ 2 比特 | 门调试 |
| RB | 平均保真度 | 可达 10+ 比特 | 日常监控 |
| XEB | 线路保真度 | 50+ 比特 | 量子优势评估 |
| 量子体积 | 单一数字 | 综合 | 硬件对比 |
心智:层析是「显微镜」,基准测试是「体温计」——前者信息全但只适用于小规模,后者信息少却能扩展到几十比特。工程上的正确做法是分层使用:先用可扩展的基准测试(RB/XEB)看整体,再用层析定位具体问题;并且永远优先「直接估计目标量」,而不是为算一个数字做全层析。(延伸见 /quantum-error-mitigation/、/quantum-error-correction/。)
速查表
| 主题 | 结论 |
|---|---|
| 层析本质 | 用大量破坏性测量的统计重建密度矩阵 |
| 密度矩阵 | 厄米、半正定、迹为 1 |
| 参数量 | 4^n - 1,随比特数指数增长 |
| 线性层析 | 计算简单,但结果可能不物理 |
| 完备测量 | 至少 4 个线性无关结果(单比特) |
| 样本复杂度 | 每参数 O(1/ε²),整体指数级 |
| 精度极限 | 量子 Cramér-Rao 界(Fisher 信息) |
| MLE | 结果合法、渐近有效,但边界处有偏差 |
| 保真度 | 定义有歧义,报告须附样本量与置信区间 |
| 过程层析 | 表征门,开销比态层析更大 |
| RB / XEB | 可扩展的基准测试,SPAM 鲁棒 |
| 高效方案 | 压缩感知、MPS、阴影层析、直接保真度 |
一句话记忆:量子态层析就是「用统计换信息」——不可克隆定理禁止复制未知态,测量又破坏原态,所以只能反复重制备、换测量基、累积计数,再反推出密度矩阵;密度矩阵有三条公理(厄米、半正定、迹为 1),参数量 4^n - 1 随比特数指数增长,这是层析无法大规模化的根本原因;线性层析计算漂亮但结果常不物理(负特征值),因此现代层析都用最大似然或凸优化做「约束重构」;保真度是最常引用也最常误用的指标(定义有歧义、常被系统性高估),报告必须附样本量与置信区间;过程层析表征门但开销更大,工程上更常用对 SPAM 鲁棒的随机基准测试(RB)与 XEB;高效层析的共同思路是利用先验结构(低秩、低纠缠、稀疏),而如果只要一个数字,直接保真度估计与阴影层析永远比「先全层析再算」更务实。(延伸见 /quantum-qubit-gates-basics/、/quantum-error-mitigation/。)
延伸阅读
- /quantum-qubit-gates-basics/ — 测量公设与 Bloch 球的物理基础
- /quantum-entanglement-bell-state/ — 纠缠判定与 Bell 不等式
- /quantum-error-mitigation/ — 读出校正与误差缓解的工程实践
- /quantum-error-correction/ — 逻辑比特的表征与纠错验证
- /quantum-quantum-sensing-metrology/ — 量子 Fisher 信息与精度极限
- /quantum-randomness-qrng/ — 用测量统计验证量子性
- /quantum-circuit-optimization/ — 门表征与线路质量评估
- 计算机基础专题 — 概率统计与估计理论基础
继续阅读
探索更多技术文章
浏览归档,发现更多关于系统设计、工具链和工程实践的内容。