在数态框架里”加法器”需要专门设计:MAJ-UMA、进位链、模加约减各有各的线路结构。在连续变量(CV)框架里加法器是白送的——相空间位移 把模式振幅直接加上 ,没有进位、没有逐位结构、没有辅助比特。这看起来是巨大优势,但它同时是问题所在:白送的那部分恰好只覆盖”算术”里最平凡的一角。本词条讲清这条原语能做什么、不能做什么,以及文献给出的边界在哪里。
一、原语:一个模式上的四种算术动作
CV 的一个模式(qumode)不是比特,而是无限维谐振子;可操作量是相空间中的复振幅 与正交分量 、。这套连续自由度天然对应四种算术动作:
| 原语 | 算子 | 算术语义 |
|---|---|---|
| 位移 | ||
| 单模压缩 | 正交分量乘常数 | |
| Fourier 门 | 相空间旋转 | |
| 两模挤压 / 分束器 | 、 | 模式间的 酉变换 |
四者全是高斯操作。关键在于位移就是加法:给定 ,作用 后得到 ,加法精确成立,没有近似。 是”乘常数”, 是”换基”,分别对应标量乘与傅里叶变换。这套原语在硬件上也便宜——光频梳方案把位移、压缩、Fourier 列为 CV 计算的标准门集;时频模式方案进一步说明,其实现所需的存储器数量只是编码所用不同频率数的线性函数,与编码持续时间无关。
二、为什么它立刻不够用
所有高斯操作都是酉演化加线性测量,无法生成非高斯态,也无法实现非高斯测量;缺少非高斯元素,CV 电路就停在经典可高效模拟的范围内。这个”可模拟性 → 通用性”门槛正是纯 CV 算术停在加法/位移层面的根因:位移给出的是原语而非线路——它没有条件结构,无法把一个数的各位与另一个数的对应位关联起来。
下面这张图把数态加法器与”位移 + 旋转”并排。必须强调:这是数态对照图,不是 CV 线路。
CV 行画得比数态行短不是画漏了:数态行右半的”进位传播”在 CV 里没有对应物,必须靠叠非高斯资源现造,而那一格至今没有文献给出资源账本。
三、边界在哪里
物理可实现性一侧划得很干净:用于测度型 CV 计算的局域两体哈密顿量可同时满足二次(两体)、短程、无 frustration,能隙正比于压缩的平方倒数,基态为高斯图态——注意”在无限压缩极限下才通用”这个限定。有限压缩下不通用,与”高斯操作不可通用”是同一件事的两种说法。
资源一侧,CV 通用性不仅需要非高斯性与纠缠,还需要第三种资源——辛相干性(symplectic coherence),它与数态世界里相干、magic、纠缠三者的关系是对应的。这类”资源清单”本身就是一份缺什么的清单。而最新的可模拟性分析给出更强的版本:即使电路起始于 Wigner 负性很强的 GKP 态(相空间中呈格点状结构),仍可多项式时间经典模拟——“用了非高斯态”本身并不自动带来优势。
现实应用因此常刻意停在高斯层:Max-Cut 变分算法用高斯操作与 Takagi 分解嵌入图结构,是少数把 CV 原语接到具体算法上的例子。工程上还有一条常被忽略的约束——位移精度直接受位移噪声限制,而这恰是 CV 架构最难抑制的通道之一,这是”位移免费”的真实边界。最后,纯态不是必须的:混合态奇偶编码可放宽冷却要求并降低初始化能耗,这是 CV 对数态的一项真实卖点。
论文依据
- Pfister,量子光学频梳中的 CV 计算(2019) —— 确认位移、压缩、Fourier 为 CV 算术标准门集,并给出容错路径;本词条”原语”一节的门清单以它为依据。
- Humphreys 等,时频模式中的 CV 计算(2014) —— 证明 CV 高斯操作可用线性数量的量子存储器实现,是”高斯层便宜”最直接的平台级证据。
- Aolita 等,CV 计算的 gapped 两体哈密顿量(2011) —— 给出”局域两体 + 能隙正比于压缩平方倒数 + 基态为高斯图态”的组合,划定原生 CV 算术的物理可实现边界。
- Upreti 与 Chabaud,CV 通用计算的资源交互(2025) —— 提出辛相干性作为第三种必要 CV 资源,并指出它与数态侧相干/magic/纠缠三元关系同构。
- Calcluth,从可模拟性到 CV 通用性(2025) —— 证明以高 Wigner 负性的 GKP 态为初态的电路仍可多项式时间经典模拟。
- Stęchły 等,用 CV 计算求解图问题(2019) —— 少数把高斯原语接到具体算法上的实例,并分析非高斯门对优化的影响。
- Lau 与 Plenio,免冷却的通用 CV 计算(2017) —— 用混合态奇偶编码放宽冷却要求,是 CV 与数态资源取舍讨论中对本卷有直接意义的一条。
- Kuijpers 等,量子加法的图式傅里叶理论与成本(2019) —— 数态侧的统一加法成本理论。CV 侧目前没有任何等价成本模型可比,这篇是唯一可用的参照系。
延伸阅读
- gkp-arithmetic —— 位移在逻辑层面变成格点平移,本词条”叠非高斯”那条路的成体系版本
- cv-logic-gates —— 辅助模式与测量如何把 CV 自由度换成受控门
- mode-sensor-arithmetic —— 同一个 CV 自由度在传感语境下的算术含义
- gate-cost-models —— 位移、压缩这类门如何折算成统一成本