魔术态蒸馏

魔术态蒸馏解决容错计算的一块短板：由 Gottesman–Knill 定理，仅含 Clifford 门与 Pauli 测量的稳定子电路（见稳定子码）可被经典模拟，不具通用性；而多数容错编码恰好只保护 Clifford 操作。方案是注入一个”魔术态”（如 $T$ 态）

$|T⟩=\cos \frac{\pi }{8}|0⟩+\sin \frac{\pi }{8}|1⟩,$

（Bravyi–Kitaev 原文记作 $|H⟩$；现代文献也常用 $T|+⟩=(|0⟩+e^{i\pi /4}|1⟩)/\sqrt{2}$，两种约定只差一个 Clifford 共轭。）配合 Clifford 门与测量即可合成 $T$ 门。物理制备的 $T$ 态有噪声，蒸馏协议用多个带噪声 $T$ 态经稳定子电路蒸馏出更纯的 $T$ 态。

注入：态 → 门

单个 $T$ 门从”量子态”变来的机制是门隐形传态：以 $|T⟩$ 为资源态，对目标比特与资源做 Clifford 操作并测量一个辅助比特，依测量结果施加 Clifford 修正（典型如 $S$ 门）——目标比特上恰好呈现 $T|\psi ⟩$。消耗一个魔术态、零个非 Clifford 门。这样，非 Clifford 门的开销问题就转化为”制备纯 $|T⟩$ 的开销问题”。

蒸馏协议

经典方案 15-to-1（Bravyi–Kitaev）：用 $[[15,1,3]]$ 量子 Reed–Muller 码（CSS 码）编码 15 个带噪 $|T⟩$，做症状测量后解码出 1 个更纯的 $|T⟩$，输出错误率按 $\sim 35{\epsilon }^3$ 压低（$\epsilon$ 为输入错误率）。重复级联即可指数提纯。Bravyi–Haah 随后给出三正交（triorthogonal）码族的低开销蒸馏协议；Haah–Hastings–Poulin–Wecker 把蒸馏的空间开销降到渐近常数，Hastings–Haah 进一步把输入开销（每个输出魔态消耗的输入数）降到亚对数级别。

开销与前沿

• 蒸馏开销在许多算法的资源估计中占主导：因数分解的资源估算随蒸馏协议与码的改进逐级下降，Gidney–Ekerå 给出的「2048 位 RSA 因数分解约 2000 万噪声量子比特」口径已成为常用基准，其中 $T$ 工厂仍占大头。
• 与通用量子门集的关系：容错语境的”通用集” = Clifford + 魔术态注入；这与 NISQ 语境的 {H,T,CNOT} 是同一件事的两副面孔。
• 前沿：用 qLDPC 码做蒸馏、以及”魔术态培育”（cultivation：在错误检测码内直接培育高质量魔术态，跳过独立蒸馏工厂）等更低开销路线。

关联词条

• 概念：稳定子码、通用量子门集、阈值定理

参考文献

• S. Bravyi, A. Kitaev. Universal Quantum Computation with Ideal Clifford Gates and Noisy Ancillas. Phys. Rev. A 71, 022316 (2005). arXiv:quant-ph/0403025
• S. Bravyi, J. Haah. Magic-State Distillation with Low Overhead. Phys. Rev. A 86, 052329 (2012). arXiv:1209.2426
• J. Haah, M. B. Hastings, D. Poulin, D. Wecker. Magic State Distillation with Low Space Overhead and Optimal Asymptotic Input Count. Quantum 1, 31 (2017). arXiv:1703.07847
• M. B. Hastings, J. Haah. Distillation with Sublogarithmic Overhead. Phys. Rev. Lett. 120, 050504 (2018).
• C. Gidney, M. Ekerå. How to Factor 2048 Bit RSA Integers in 8 Hours Using 20 Million Noisy Qubits. Quantum 5, 433 (2021). arXiv:1905.09749
• E. T. Campbell, B. M. Terhal, C. Vuillot. Roads Towards Fault-Tolerant Universal Quantum Computation. Nature 549, 172 (2017). arXiv:1612.07330 —— 综述。