一、催化是什么,以及它为什么是必需品
CV 的高斯操作(位移、压缩、Fourier)无法生成非高斯态,也没有非高斯测量的稳定操作集,因此任何让 CV 跑通用计算的方案都必须外挂一个非高斯资源。这个资源可以是三次相位门(已被证明不适合 GKP),可以是辅助模式上的非高斯测量,也可以是直接的非高斯态制备。催化属于最后一类,且是其中最便宜的一种:输入是高斯态,输出是非高斯态。
光子催化的机制是:让一个相干态与一个单光子态干涉,随后做光子数分辨探测。这三步全是标准光学操作,却在输出态上引入了非高斯性。理论分析表明它能造出精确位移的单光子态、压缩真空的 对称叠加,包括压缩猫态(),再配合基于光子计数的态增殖,可进一步放大这些态并最终产出 GKP 态——一条从高斯态出发、经催化、到 GKP 态的制备链条在理论上是完整的。
第二类配料是辅助比特辅助的光子加减:猫码与二项式码之所以要编码在确定光子宇称的子空间里,就是因为单光子损耗会翻转宇称。实验上用双光子跃迁同时激发微波腔与超导比特,实现了光子数选择、同时进行的光子加法;辅助比特带来的额外自由度使在相反宇称子空间之间建立相干、单向映射成为可能。第三类是理论侧对光子加/减算子的重述:改用 Kraus 算子可给出相干与非相干两类单光子加/减的统一框架,并据此提出三能级原子的确定性实现。
二、催化的三条边界
第一条:概率性与条件化。 光子催化靠光子数分辨探测得到非高斯性,天然带概率性与后选择,在容错框架里每次催化都是要计入成功率的一次资源。真正的问题不是”能不能造出猫态”,而是”计入失败率后,造出的猫态能否支撑比它更贵的下游操作”。
第二条:损耗敏感性。 单光子损耗是玻色编码的主要错误通道,催化产物(尤其是猫态)在损耗下迅速退化,因此催化并不免除纠错负担,只是把它推后。有色(频率选择性)耗散稳定正是针对”稳定后的比特仍会因泄漏到激发态而受限”:它用工程化的单光子选择性损耗保护 Kerr-cat 类比特,显著抑制泄漏引起的比特翻转,且只用线性相互作用。
第三条,也是最关键的:算术级资源账本不存在。 催化被反复使用,但始终以”配料”形式出现。本轮检索的结论是:没有任何论文统计过一条算术线路需要多少次催化、每次成功概率是多少、合起来的成功率是多少。这不是技术障碍,而是记账空白——恰恰因为没人算过,才看不出它究竟致命还是可接受。
三、催化与相邻路线的位置
| 路线 | 非高斯来源 | 状态 | 主要风险 |
|---|---|---|---|
| 光子催化 | 探测诱导的非高斯性 | 理论完整、有制备链 | 概率性、后选择 |
| 辅助比特光子加减 | 双光子跃迁 + 辅助比特 | 实验已实现、确定性强 | 需辅助比特与复位 |
| Kerr 非线性 | 三阶非线性的非高斯酉 | 有逻辑门与魔态制备方案 | 耗散、相干时间 |
| 非高斯态直接制备(qunaught 等) | 特定输入态经纠错映射 | 有解析性能评估 | 制备保真度 |
第四行与催化互补:催化先把高斯态变成有用的非高斯输入,纠错协议再把它转成逻辑态。GKP 纠错性能分析比较了 Knill(传态)与 Steane(非破坏测量)两种实现,并指出使用 qunaught 态时 Knill 方案剩余挤压更优、在光学域最易实现。
一个方法论提醒:催化类工作的标题里常有 “preparation”,很容易被误当成”算术”。本卷的判据是——是否包含算术,取决于是否给出了把两个未知逻辑值关联起来的条件结构。催化给出的都是单边的态工程,不含条件结构。
论文依据
- Eaton、Nehra、Pfister,用光子催化制备非高斯与 GKP 态(2019) —— 催化路线的理论与物理实现论文:可产生压缩猫态,并经光子计数增殖产出 GKP 态。
- Kudra 等,辅助比特辅助的确定性光子加法实验(2025) —— 催化路线的实验对照:光子数选择、同时进行的相干光子加法及复位后的自主纠错路径。
- Jiang 等,确定性单光子加法器与减法器(2025) —— 用 Kraus 算子替代产生/湮灭算子,并提出三能级原子的确定性实现。
- Marqversen 等,GKP 纠错的性能分析(2025) —— 解析给出纠错后的挤压与位移误差,指出 qunaught 态下 Knill 方案最优。
- Tzitrin 等,面向实用比特计算的近似 GKP 码进展(2020) —— 光子数分辨测量把高斯态转成非高斯态的制备流程,与催化互补。
- Putterman 等,用有色耗散稳定玻色比特(2022) —— 催化产物在损耗下退化的对策:频率选择性损耗保护 Kerr-cat 类比特。
- Lee 等,猫码与单光子混合比特的容错计算(2024) —— 说明催化产物必须进入把损耗与制备分开处理的架构,才能被真正评估。
延伸阅读
- cat-state-arithmetic —— 催化的产物最终服务于哪一种”加法”
- kerr-cat-arithmetic —— 用 Kerr 非线性替代催化来获得非高斯性
- gkp-arithmetic —— 非高斯输入态最终要变成什么
- cv-logic-gates —— 辅助模式与测量构成的另一类非高斯来源