在数态框架里”加法器”需要专门设计:MAJ-UMA、进位链、模加约减各有各的线路结构。在连续变量(CV)框架里加法器是白送的——相空间位移 把模式振幅直接加上 ,没有进位、没有逐位结构、没有辅助比特。这看起来是巨大优势,但它同时是问题所在:白送的那部分恰好只覆盖”算术”里最平凡的一角。本词条讲清这条原语能做什么、不能做什么,以及文献给出的边界在哪里。

一、原语:一个模式上的四种算术动作

CV 的一个模式(qumode)不是比特,而是无限维谐振子;可操作量是相空间中的复振幅 与正交分量 、。这套连续自由度天然对应四种算术动作:

原语算子算术语义
位移
单模压缩正交分量乘常数
Fourier 门相空间旋转
两模挤压 / 分束器、模式间的 酉变换

四者全是高斯操作。关键在于位移就是加法:给定 ,作用 后得到 ,加法精确成立,没有近似。 是”乘常数”, 是”换基”,分别对应标量乘与傅里叶变换。这套原语在硬件上也便宜——光频梳方案把位移、压缩、Fourier 列为 CV 计算的标准门集;时频模式方案进一步说明,其实现所需的存储器数量只是编码所用不同频率数的线性函数,与编码持续时间无关。

二、为什么它立刻不够用

所有高斯操作都是酉演化加线性测量,无法生成非高斯态,也无法实现非高斯测量;缺少非高斯元素,CV 电路就停在经典可高效模拟的范围内。这个”可模拟性 → 通用性”门槛正是纯 CV 算术停在加法/位移层面的根因:位移给出的是原语而非线路——它没有条件结构,无法把一个数的各位与另一个数的对应位关联起来。

下面这张图把数态加法器与”位移 + 旋转”并排。必须强调:这是数态对照图,不是 CV 线路。

abq数态加法器CV:单模位移 + 旋转逐位求和:一组受控门进位传播:另一组受控门免费:高斯区(位移即加法)要付非高斯代价:进位、条件化、非 CliffordD(a)S(x)F辅助模式 + 测量(非高斯)× n 位
数态加法器与 CV「位移 + 旋转」的对应关系。这是数态对照图,不是 CV 线路。

CV 行画得比数态行短不是画漏了:数态行右半的”进位传播”在 CV 里没有对应物,必须靠叠非高斯资源现造,而那一格至今没有文献给出资源账本。

三、边界在哪里

物理可实现性一侧划得很干净:用于测度型 CV 计算的局域两体哈密顿量可同时满足二次(两体)、短程、无 frustration,能隙正比于压缩的平方倒数,基态为高斯图态——注意”在无限压缩极限下才通用”这个限定。有限压缩下不通用,与”高斯操作不可通用”是同一件事的两种说法。

资源一侧,CV 通用性不仅需要非高斯性与纠缠,还需要第三种资源——辛相干性(symplectic coherence),它与数态世界里相干、magic、纠缠三者的关系是对应的。这类”资源清单”本身就是一份缺什么的清单。而最新的可模拟性分析给出更强的版本:即使电路起始于 Wigner 负性很强的 GKP 态(相空间中呈格点状结构),仍可多项式时间经典模拟——“用了非高斯态”本身并不自动带来优势。

现实应用因此常刻意停在高斯层:Max-Cut 变分算法用高斯操作与 Takagi 分解嵌入图结构,是少数把 CV 原语接到具体算法上的例子。工程上还有一条常被忽略的约束——位移精度直接受位移噪声限制,而这恰是 CV 架构最难抑制的通道之一,这是”位移免费”的真实边界。最后,纯态不是必须的:混合态奇偶编码可放宽冷却要求并降低初始化能耗,这是 CV 对数态的一项真实卖点。

论文依据

延伸阅读

  • gkp-arithmetic —— 位移在逻辑层面变成格点平移,本词条”叠非高斯”那条路的成体系版本
  • cv-logic-gates —— 辅助模式与测量如何把 CV 自由度换成受控门
  • mode-sensor-arithmetic —— 同一个 CV 自由度在传感语境下的算术含义
  • gate-cost-models —— 位移、压缩这类门如何折算成统一成本