猫态加法器：一个不存在的论文，和它背后真实的语义

按 arXiv 检索”猫态加法器”，结论是：没有这样的论文。本轮把标题含 adder 的约 190 条逐页筛过，猫态加法器不在其中。这个空白不等于该方向没有内容——恰恰相反，猫态编码提供了本卷最接近”加一个整数”语义的原语。本词条讲清猫态下的”加法”到底是什么，以及它为什么至今只是一条配料而不是一条线路。

一、猫编码下的”加法”落在哪个自由度上

猫编码把逻辑比特存在谐振子的光子数（二项式编码）或相位（偶相编码）上。这个选择决定了一切：GKP 把逻辑态存在相空间位置，所以加法是平移；猫码把逻辑态存在一个周期量的相位上，于是给相位加 $2\pi k/N$ 就是把整数 $k$ 加进编码的相位索引，加 $\pi$ 对应逻辑翻转。这是本卷三种”加法”里唯一真正贴近数态加法器语义的一种：被加的是有明确整数含义的量，而不是一个连续振幅。

原语	物理动作	算术语义	成熟度
相位加 $2\pi /N$	稳定驱动上叠加受控相位脉冲	加一个整数到逻辑索引	有门库，无加法器
光子加/减	双光子跃迁或辅助比特辅助	数态基上 $\pm 1$	实验已实现
相位抽取	猫态做傅里叶变换后测相位	从 CV 自由度读出 DV 值	需辅助模式
比特翻转相位门	上述”加 $\pi$”	$X$ 门	实验已实现

一个容易滑过去的区别必须写清楚：“给相位加一个整数”与”给一个寄存器加上另一个寄存器”不是一回事。前者只需一个已知常数——它甚至可以是幺正门；后者需要两个未知输入之间的条件结构，这才是数态加法器的难点。猫编码天然擅长前者，不擅长后者。

二、为什么至今没有猫态加法器论文

把原语清单和一个常规加法器的要求逐条对照：

加法器需要的结构	猫态侧现状
进位传播（受控相位链）	需双比特耦合；猫码耦合门慢且各向异性
逻辑比特抽取（DV 边界）	需辅助模式与辅助比特，代价高
制备可叠加的猫态	概率性或需耗散稳定
损耗敏感下的保护	猫码对单光子损耗天然敏感，需实时纠错

第二行最要命：一条 $n$ 位加法线路要做 $O(n^2)$ 次逻辑比特抽取，每次都开辅助模式并做测量-条件化。文献里没有人把这笔账算过一次——不是算出来不划算，是没有算。

三组配料论文各自补上一块，但没有任何一组把它们接成线路：非高斯态制备（光子催化把高斯态转成非高斯态、GKP 态乃至压缩猫态）；光子加减的确定性实现（辅助比特辅助的双光子跃迁实现光子数选择、同时进行的光子加法，配合辅助比特复位可用于自主纠错；另一路用三能级原子给出确定性的单光子加/减）；资源级容错架构——目前最完整的一篇把猫码与单光子杂成混合比特：猫码负责让以损耗为主的错误无需多比特编码即可纠正，单光子部分保证逻辑基天然正交，再与外层拓扑码拼接；数值模拟显示比此前所有光子平台方案资源效率高至少一个数量级。另有混合路线专门解决”辅助比特带噪”，构造出可容忍单次光子丢失与任意辅助故障的容错方案。

三、这张落差图现在的状态

维度	GKP	猫态
加法落在哪个自由度	相空间位置（平移）	相位索引（加整数）
逻辑 Clifford 门	格点辛自同构，有系统理论	靠脉冲工程逐个给出
算术线路论文	有	无
主要瓶颈	挤压要求高、非 Clifford 代价	制备确定性、损耗、比特抽取开销

右侧的空格不是填不满，而是没有人算过要付出多少。补上它需要的第一件东西不是更好的猫态制备，而是一条把”相位加整数”与”条件加法”之间的差距量化的资源估算——这恰好是本卷最值得做、目前完全空白的题目。一个可行的切入点是混合架构：猫码一侧做进位逻辑、单光子侧做条件控制。混合容错框架已给出这类拼接所需的门集与阈值，缺的是把常规加法器的 MAJ/UMA 结构逐块翻译过去，并给出物理模式数与辅助比特数的账单。

论文依据

• Lee 等，猫码与单光子混合比特的容错计算（2024） —— 猫态路线最完整的资源级方案：资源效率比既有光子平台方案高至少一个数量级。
• Xu 等，用离散变量辅助比特实现玻色比特的容错操作（2023） —— CV 位与 DV 位混合做算术的容错框架，可容忍单次光子丢失与任意辅助故障。
• Kudra 等，辅助比特辅助的确定性光子加法实验（2025） —— 相位保持的非高斯原语，是猫态相位语义得以可执行的关键实验支撑。
• Eaton、Nehra、Pfister，用光子催化制备非高斯与 GKP 态（2019） —— 猫态与非高斯态的制备路径，可产生压缩猫态。
• Jiang 等，确定性单光子加法器与减法器（2025） —— 最接近”类比加法器”的论文级工作，但作用域是数态基上加减一个光子，不涉及逻辑加法线路。
• Chapman 等，玻色编码比特上的高开关比分束器门（2023） —— 猫态两比特耦合的物理基元：开关比可超过 $10^5$，SWAP 检验保真度 $95.5\%\pm 0.2\%$。
• Leverrier，玻色量子 Fourier 码（2026） —— 把”傅里叶/相位型算术”推广到玻色编码：两模 Fourier 猫码有实验友好的通用门集。
• Grimm 等，Kerr-cat 比特（2020） —— 判断”瓶颈究竟是制备还是损耗”的对照实验。

延伸阅读

• cat-catalysis —— 把光子加法做成可复用配料的另一条制备路线
• kerr-cat-arithmetic —— 同一族猫态换用 Kerr 非线性稳定后的算术现状
• gkp-arithmetic —— “加法”落在另一个自由度上的对照组
• Flühmann 等 2019，机械振子中的编码量子比特 —— 在单个囚禁离子的机械振子里制备编码量子比特并演示通用逻辑单比特门集的实验：玻色编码路线的硬件锚点，但未给出算术线路