3. 保真度数学基础
在量子比特门保真度测试中，“保真度”并不是一个单一数字，而是一族在不同抽象层次上定义的量。理解它们的数学定义与相互关系，是正确选择测试方法、解读实验数据的前提。本节从密度矩阵与量子信道出发，梳理态保真度、过程保真度、平均门保真度与纠缠保真度四条主线，并说明它们之间的换算与约束关系。
一、密度矩阵：量子态的通用表示
纯态可以用态矢量 |ψ⟩ 描述，但真实量子比特总是与环境保护弱耦合，处于混合态。混合态用密度矩阵 ρ 表示，满足三个条件：厄米性 ρ†=ρ、半正定性 ρ≥0、迹为 1（Tr ρ=1）。单量子比特密度矩阵可写成布洛赫球形式：
ρ = (I + r_x·X + r_y·Y + r_z·Z) / 2
其中 r=(r_x, r_y, r_z) 为布洛赫矢量，|r|≤1。|r|=1 对应纯态，|r|=0 对应完全混合态 I/2。测量算符 M 的期望值为 ⟨M⟩=Tr(ρM)。这一表示把“态”变成了一个可计算、可层析的对象，也是后续所有保真度定义的共同基础。
二、态保真度：两个量子态有多接近
态保真度衡量两个密度矩阵 ρ 与 σ 的相似程度，通用定义为：
F(ρ, σ) = ( Tr √( √ρ · σ · √ρ ) )²
当其中一个为纯态 |ψ⟩ 时，简化为 F = ⟨ψ|σ|ψ⟩，即目标态在待测态上的布居。若两者都是纯态，则 F = |⟨ψ|φ⟩|²，取值范围 [0,1]，1 表示完全相同。态保真度是“点对点”的度量，常用于量子态层析（QST）后判断制备或传输质量。例如制备目标 |0⟩，层析得到 ρ，若 F(ρ, |0⟩⟨0|)=0.992，说明该态制备保真度约 99.2%。
三、量子信道表示：从态到过程
门操作是一个量子信道，把输入态映射为输出态。完全正定保迹映射（CPTP）可用 Kraus 算符表示：
ρ' = E(ρ) = Σ_k K_k ρ K_k†, Σ_k K_k† K_k = I
也可用 Choi 矩阵表示：J(E) = (I ⊗ E)(|Ω⟩⟨Ω|)，其中 |Ω⟩ 为未归一化最大纠缠态。Choi 矩阵是 4×4 厄米矩阵，迹为 2，完全刻画单比特信道。理想单比特门 U 的 Choi 矩阵为 |U⟩⟩⟨⟨U|，其中 |U⟩⟩ 为 U 的向量化。过程保真度正是基于 Choi 矩阵定义的。
四、过程保真度与平均门保真度
过程保真度衡量实际信道 E 与理想门 U 的接近程度，常用定义（Nielsen 定义）为：
F_pro = Tr( J(E) · J(U) ) / d²
其中 d=2 为维度，J(U) 为理想门的 Choi 矩阵。该定义等价于对输入态取平均的纠缠辅助保真度，取值范围 [0,1]。过程保真度需要完整信道层析（QPT）才能计算，实验成本高。
平均门保真度则从“随机输入态的平均输出保真度”角度定义：
F_avg = ∫ dψ ⟨ψ| U† E(|ψ⟩⟨ψ|) U |ψ⟩
对单比特门，F_avg 与过程保真度存在解析关系：F_pro = (2·F_avg + 1)/3，反解得 F_avg = (3·F_pro − 1)/2。这一关系非常重要：随机基准测试（RB）直接测得的是 F_avg，而 QPT 给出的是 F_pro，两者可通过上式互相换算。例如 RB 测得 F_avg=0.998，则对应 F_pro≈0.997。
五、纠缠保真度：过程保真度的等价形式
纠缠保真度定义为：将信道作用于最大纠缠态的一半，所得输出与理想输出之间的态保真度：
F_e = ⟨Ω| (I ⊗ E)(|Ω⟩⟨Ω|) |Ω⟩ / d²
可以证明，对单比特门，纠缠保真度与过程保真度数值相等，即 F_e = F_pro。因此纠缠保真度常被用作过程保真度的“操作化”定义，也是 QPT 实验数据处理的核心量。它把“信道有多好”转化为“纠缠态保持得有多好”，便于用层析数据直接计算。
六、四类保真度的相互关系
四者并非彼此独立，而是构成一条从“态”到“过程”的层次链：态保真度描述单点相似性；过程保真度描述整个信道的平均行为；平均门保真度是过程保真度在随机输入下的等价表述；纠缠保真度是过程保真度的纠缠辅助等价形式。对单比特门，三者满足 F_pro = F_e = (2F_avg+1)/3。对多比特门，关系更复杂，但 F_e 与 F_pro 仍相等，而 F_avg 与 F_pro 的换算系数随维度变化。
七、工程实践中的选择与判断
在实际测试中，选择哪种保真度取决于可用资源与目标。若只需验证态制备，做 QST 后计算态保真度即可；若需完整刻画门操作，做 QPT 得到过程保真度或纠缠保真度；若只关心门在随机电路中的平均表现，用 RB 测平均门保真度最经济。需要注意，RB 得到的 F_avg 不能直接与 QPT 的 F_pro 比较，必须先用换算公式统一到同一层次。
总结来看，密度矩阵与量子信道是底层数学语言，态保真度、过程保真度、平均门保真度、纠缠保真度分别在不同粒度上量化“有多好”。掌握 F_pro=F_e 以及单比特下 F_pro=(2F_avg+1)/3 这两条核心关系，就能在 QST、QPT、RB 等测试手段之间建立统一的解读框架，为后续实验设计与误差分析打下基础。