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 加法成本账的工作,都应当先用这套口径给出自己的账,再谈优劣。
论文依据
- Upreti 与 Chabaud,CV 通用计算的辅助资源权衡(2025) —— 定量分析辅助模式与非高斯资源的交互关系,是”每次受控门要开辅助模式”这条成本路径的依据。
- Humphreys 等,时频模式中的 CV 计算(2014) —— CV 高斯操作的平台级低成本实现;所需存储器数量只与编码频率数线性相关。
- Tasca 等,光子空间自由度上的 CV 计算(2011) —— 划出门集的难度分层:单模式门可纯线性光学实现,两光子门仍需四波混频且效率很低。
- Calcluth,从可模拟性到 CV 通用性(2025) —— CV 逻辑门必须跨过的负向边界:高 Wigner 负性 GKP 态为初态的电路仍可多项式时间模拟。
- Aolita 等,CV 计算的 gapped 两体哈密顿量(2011) —— 物理实现侧的硬条件:两体、短程、无 frustration,通用性只在无限压缩极限成立。
- Lau 与 Plenio,免冷却的通用 CV 计算(2017) —— 混合态奇偶编码放宽冷却要求,是对 CV 门实现代价的一项真实缓解。
- Pfister,量子光学频梳中的 CV 计算(2019) —— CV 簇态与门集、容错路径的综述,用于评估 CV 逻辑门在更大架构中的位置。
- Stęchły 等,用 CV 计算求解图问题(2019) —— 少见的把 CV 原语接到具体算法上的工作,并分析非高斯门的影响。
- Kuijpers 等,量子加法的图式傅里叶理论与成本(2019) —— 数态侧的加法成本模板,本词条用它作为”CV 加法成本至今无人书写”的参照系。
延伸阅读
- continuous-variable-arithmetic —— CV 逻辑门要跨越的那条纯高斯边界
- gkp-arithmetic —— 用魔态而非辅助模式换取非 Clifford 的对照路线
- kerr-cat-arithmetic —— 用非线性而非辅助模式获得条件门的对照路线
- gate-cost-models —— 把辅助模式与条件化折算进统一成本账需要先约定什么