CV 架构缺的不是”门”,而是”两个模式之间的条件结构”。弥补办法有两条:一条是用非线性(见 kerr-cat-arithmetic),另一条是用非高斯辅助模式加测量。本词条讨论后者。它的代价结构很明确——门保真度与辅助资源随精度恶化——而它在本卷的位置由一个否定结论界定:文献里有 CV 逻辑门与 CV 通用性分析,但没有一篇用它们搭过加法器。

一、CV 域的”门”到底是什么

先把三层术语分开,否则容易把三件事混为一谈:

层次例子是否高斯
单模线性门位移、压缩、Fourier是
两模线性门两模挤压、分束器是
CV 域受控门(需非高斯)相位条件化、AND/Toffoli 类否,需辅助模式与测量

前两层在 CV 里几乎是白送的(见 continuous-variable-arithmetic),也正因为白送,它们撑不起算术:纯线性操作加上线性测量,电路仍停留在经典可高效模拟的范围内。第三层才是 CV 逻辑门这个词的严格所指,而它的构造方式只有一种被反复使用:引入一个非高斯辅助模式,把两模式的信息耦合进去,做测量,再按测量结果做条件化位移(feed-forward)。

这与数态世界里的”辅助比特 + 测量 + 校正”同构,只是辅助模式有连续自由度,信息载体从二值变成连续值。差别带来两个后果:一是条件化位移的精度直接受位移噪声限制(连续变量的”经典信息”本身就有误差),二是辅助模式制备的非高斯性有代价,通常需要概率性操作或耗散稳定。

二、资源分析给出的定量约束

平台与实现层。 时频模式方案表明 CV 高斯操作可以实现得极其紧凑:所需存储器数量只是编码所用不同频率数的线性函数,与编码持续时间无关——这对”两模式耦合”有利,因为耦合在时频编码里就是频率选择。但论文同时把两比特门的实现依赖在非线性过程(如四波混频)上,并指出这些门的效率目前很低。空间自由度方案给出另一条中间路线:单光子的全部单模式门可只用线性光学器件完成(原则上单个空间光调制器即可),但两光子门仍需四波混频——CV 逻辑门最需要的恰恰是它最难的那一档。

资源理论层。 CV 通用计算所需的辅助模式数量与非高斯资源之间存在定量权衡,含义很直接:一条算术线路若做 次受控门、每次开辅助模式并做条件化,辅助资源总量会随规模增长,而其制备成功率会与之相乘。把这两项乘起来的结果,至今没有人算过。

可模拟性侧划定负向边界。 如果电路起始于高 Wigner 负性的 GKP 态(相空间中的格点状结构),仍可在多项式时间内经典模拟。这意味着 CV 逻辑门必须避免的不仅是”非高斯性不够”,还有”辛相干性不够”——只堆辅助模式而不在结构上制造条件化,得到的仍然是一条可模拟的电路。物理实现侧还有一条硬条件:用于测度型 CV 计算的局域两体哈密顿量可同时满足二次(两体)、短程、无 frustration,能隙正比于压缩平方倒数,基态为高斯图态——通用性只在无限压缩极限成立。

三、现状与不对称

本卷检索到的 CV 文献在通用性论证上相当充分,但落点都是”CV 能否做通用计算”这一定性问题,没有一篇落在”用 CV 逻辑门实现某个具体算术函数要多少资源”上。

问题状态
CV 单模/两模线性门成熟、多平台、低成本
CV 域两比特门可构造,依赖非高斯辅助;效率是瓶颈
辅助资源与精度的定量权衡有分析,无线路级预算
免冷却的混合态 CV 协议有方案与协议
用 CV 逻辑门搭加法器无任何论文

这个不对称的后果很实际:判断一条 CV 算术线路是否值得做,最可靠的办法不是找 CV 文献,而是拿数态侧的成本理论做参照系。数态侧的图式傅里叶理论给出了一套统一的量子加法成本刻画——通过图式傅里叶展开可从 ZH 演算导出降低 Toffoli(含量子加法器)T 门成本的技巧并推广到更多比特。它是数态框架的工作,但提供了唯一一个”怎样把一条加法线路的成本写下来”的方法论模板;任何未来试图写 CV 加法成本账的工作,都应当先用这套口径给出自己的账,再谈优劣。

论文依据

延伸阅读