2. 魔态与魔术态基础

在稳定子量子计算框架中，有一类量子态无法被任何稳定子码的稳定子群所描述，它们被称为魔态（magic state，也译作魔术态）。理解魔态是理解容错量子计算开销的起点：Clifford 门本身可以在稳定子形式体系内被高效模拟，而正是魔态的存在，把量子计算从"经典可模拟"推向"量子优越"。

一、从稳定子态到非稳定子态

先明确参照约定：本文所有单量子比特态均以计算基 {|0⟩, |1⟩} 为参照，Pauli 算符取 X=[[0,1],[1,0]]、Z=[[1,0],[0,-1]]，Bloch 球上 |0⟩ 指向 +z 极。一个 n 量子比特纯态 |ψ⟩ 若存在由 Pauli 算符构成的阿贝尔群 S（|S|=2ⁿ），使得对任意 s∈S 都有 s|ψ⟩=|ψ⟩，则称 |ψ⟩ 为稳定子态。计算基态 |0⟩ 被 Z 稳定（Z|0⟩=|0⟩），|+⟩=(|0⟩+|1⟩)/√2 被 X 稳定，Bell 态被 {XX, ZZ} 稳定。所有稳定子态都可以由 |0⟩ 出发、仅用 Clifford 门（H、S、CNOT）制备出来。

魔态则是"逃出"这个集合的态。最常用的判据是：若 |ψ⟩ 是稳定子态，则它到任一稳定子态的保真度结构受限；更实用的判据是看其稳定子振幅（stabilizer extent）或魔力度（magic measure）。以单比特为例，稳定子态在 Bloch 球上只有 6 个极点（±x、±y、±z），而 T 态位于赤道与极点的中间位置，显然不在这个有限集合内。

二、T 态与 H 态：两种典型魔态

课程中反复出现的两个具体对象是 T 态与 H 态，它们分别对应 T 门与 H 门作用在 |0⟩ 上得到的态：

|T⟩ = T|0⟩ = |0⟩
|H⟩ = H|0⟩ = (|0⟩ + |1⟩)/√2 = |+⟩

更常见的是把 T 态定义为 T|+⟩：
|T⟩ = T|+⟩ = (|0⟩ + e^{iπ/4}|1⟩)/√2

Bloch 球坐标（以 |0⟩ 为 +z）：
|T⟩ : (x, y, z) = (1/√2, 0, 1/√2)   → 位于 x-z 平面，与 +z 夹角 45°
|H⟩ : (x, y, z) = (1, 0, 0)          → 位于 +x 极点，本身是稳定子态

这里有一个容易混淆的点需要澄清：H|0⟩=|+⟩ 是稳定子态，它被 X 稳定，因此严格说不是魔态；而 T|+⟩ 才是典型的单比特魔态。之所以在文献中"T 态"和"H 态"并列出现，是因为在魔态蒸馏的语境下，H 型魔态通常指 Hadamard 本征态与计算基之间的"中间态"，即形如 cos(π/8)|0⟩+sin(π/8)|1⟩ 的态，它与 T 态互为 Clifford 等价（相差一个 H 门）。下表给出对照，避免概念混淆：

态定义是否稳定子态典型用途
|+⟩H|0⟩是（X 稳定）Clifford 资源，非魔态
|T⟩T|+⟩否单比特魔态蒸馏输入
|H⟩ 型cos(π/8)|0⟩+sin(π/8)|1⟩否与 T 态 Clifford 等价
|CCZ⟩CCZ|+⟩⊗3否多比特魔态，用于 Toffoli

三、非稳定子特性的可操作含义

"非稳定子"不只是一个分类标签，它直接决定了模拟成本。若一个量子线路只含 Clifford 门和稳定子态输入，则可用 Gottesman–Knill 定理在多项式时间内经典模拟其输出分布；一旦引入 T 态或 T 门，模拟复杂度就跃升。定量地看，单比特 T 态的魔力度可用"稳定子秩"或"Robustness of magic"衡量：T 态需要至少两个稳定子态的相干叠加才能表示，其 robustness 约为 0.414（示例量级，用于说明非零魔力度），而稳定子态该值为 0。这个非零值就是蒸馏流程要"提纯"的对象——蒸馏的目标不是改变态的物理载体，而是提高其相对理想 T 态的保真度并降低魔力度的噪声成分。

判断一个态是否"有魔"，实操上可检查它能否写成稳定子态的凸组合且系数非负；若不能，则它携带非 Clifford 资源。T 态是最小、最易制备的此类资源。

四、魔态在通用量子计算中的作用

通用量子计算需要 Clifford 群之外的门，最典型的是 T 门（π/8 门）。但许多容错架构（如表面码）天然只支持 Clifford 门的高效、低开销实现，T 门若直接做魔法门操作，其容错实现代价极高。于是采用门注入（gate injection）方案：预先制备魔态 |T⟩，再通过 CNOT、测量和条件 Pauli 修正，把"消耗一个魔态"转化为"施加一个 T 门"。这就是魔态被称为"燃料"的原因——每个 T 门消耗一个魔态，而魔态制备本身有噪声，必须先用蒸馏把低保真度魔态提纯为高保真度魔态。

下图给出本节核心关系的结构化示意：从稳定子态集合出发，T 态落在集合之外；经蒸馏提升保真度后，通过注入电路消耗魔态实现 T 门，从而补全 Clifford+T 通用门集。

稳定子态集合 |0⟩ |+⟩ Bell 态 Clifford 可制备 · 可经典模拟 |T⟩ 非稳定子态 魔力度 > 0 T 门作用 离开稳定子群 魔态蒸馏 多份低保真度 → 少量高保真度 门注入 CNOT + 测量 + Pauli 修正 T 门 消耗 1 个魔态 Clifford + T = 通用量子门集 魔态是通用性的"燃料"

从图中可以读出三层关系：第一，T 态位于稳定子态集合之外，这是"非稳定子"的几何直观；第二，蒸馏把多份低质量魔态压缩为少量高质量魔态，是开销分析的核心环节；第三，注入把魔态消耗转化为 T 门，最终与 Clifford 门共同构成通用门集。后续章节讨论的蒸馏协议、开销估算与容错阈值，都建立在这三层关系之上。

常见误区：把 H|0⟩=|+⟩ 当作魔态。|+⟩ 是稳定子态，不携带非 Clifford 资源；真正需要蒸馏的是 T|+⟩ 这类中间态。在阅读文献时务必确认"T 态"的定义是 T|0⟩ 还是 T|+⟩，两者相差一个 Clifford 等价类。

小结本节的关键判断依据：一个态是否为魔态，看它能否被 Pauli 稳定子群描述；T 态是最小魔态资源，H 型态与其 Clifford 等价；魔态的价值在于通过注入补全通用门集，而其噪声需要通过蒸馏提纯。掌握这三点，才能准确理解后续蒸馏流程中"为什么蒸馏、蒸馏什么、蒸馏到什么程度"这三个问题。

← 上一章 📖 返回目录 下一章 →