两条主路线各有硬伤:QFT 加法器比特最省但要用 个极小角度受控旋转(容错模型下极贵),Toffoli 进位加法器门便宜但至少要一根辅助比特。“混合加法器”指的就是试图同时躲开两个硬伤的一类方案:保留 QFT 的比特优势或结构优势,同时把相位旋转替换成 Toffoli / 进位逻辑,从而继承 Clifford+T 计账;另一条路是保留相位结构但做截断与分带,用可控的误差换掉最贵的旋转。
融合路径一:QFT 结构 → Toffoli 结构
QA007(Paler 2022) 是这条路线的奠基工作,给出 QFT 加法器到 Toffoli 加法器的第一次系统翻译。方法不是逐门近似分解,而是为多控门构造新的线路恒等式并算法化地应用它们,从而合并门。
结论有三点值得记住:
- QFT 加法与最省 Toffoli 加法具有根本相同的容错成本(如 T 数);
- 因此与其对 QFT 线路的各个门做近似分解,不如直接合并门;
- 该文的恒等式技术可复用于自动化量子线路优化启发式。
第 1 点颠覆了”相位加法器更贵”的直觉——至少在 T 数这个刻度上不是。QA016 从另一侧印证了这一点:它的高基数进位先行加法器在 T 数上仍优于 Draper 的 out-of-place 加法器,即使后者的比特数极省。
融合路径二:结构互变换
QA025(Schober–Wesley 2026) 用一种新的受控线路操作技术,在基于 QFT 的加法器与基于经典可逆逻辑进位技术的加法器之间做显式的门级转译(transpilation)。这类工作的价值在于把两条路线之间的转换变成可自动化的操作,而不是手工推导——于是”用 QFT 结构设计、用进位结构计账”成为可编程的流程。
同一篇还给出一种新加法器,其自然解释为某种进位先行加法器,且不使用任何辅助比特。这是少见的把两个族的特点合到一个设计里的例子。
融合路径三:截断与分带
保留相位结构、改动旋转精度,是另一条完全不同的思路。
截断(QA018)。Draper 傅里叶加法器比特数最低,但需要大量门与极精细的旋转。该文的修改把极小角度旋转截断到很粗的级别(banding),配以策略性修正,从而在不牺牲比特节省的前提下降低硬件要求。关键在于它把误差量化了:继承的保真度损失直接由计算中的进位与借位率给出,论文给出了预测公式,并用完整的门级矩阵乘积态模拟补全。
最具体的结论来自 Shor 的 RSA-2048 场景:约 次量子傅里叶变换中,每一次都可以截断到 ,加性旋转只留略细一点的。论文据此量化了逻辑资源与原始魔法态两方面的节省,结论是相位加法器可以与基于 Toffoli 的构造竞争。
注意这个结论的口径:它是在 SHA 场景下、以进位/借位率为误差度量得到的,不能直接搬到进位率不同的场合。
任意维 qudit(QA019)。这篇把同一问题放到任意维 qudit 上:识别任意维量子加法所需的资源,并分析它与局域噪声下性能指标的关系,以及在只允许有限个受控旋转操作(即 banding)时的行为。论文解析证明了受控旋转门数量的上界——该上界对应于期望输出与不完美输出之间保真度的任意给定缺陷。
该文最反直觉的结论是:在噪声存在时采用分带,常数深度的近似线路优于旋转数更多的线路。也就是说噪声强度与最佳近似程度之间存在互补关系——噪声越强,越应该少做精确旋转、深度取常数。
近似 QFT 的 T 数(相邻方向)。严格说这条属于 QFT 卷,但值得记一笔结论方向:把近似 QFT 的 Toffoli 消除并把主导 T 深度的加法器并行化,可以把 T 数减半(约 量级)。
近似加法器:误差换深度
第三条与 QFT 无关的混合路线是直接接受误差。
QA026(Gidney 2019) 提出”无意识进位滑行道”(oblivious carry runways),用分段加法电路执行近似编码加法,把加法的渐近深度降到 。论文给出一个有用的框架:近似量子线路可以从可逆经典线路构造出来,只要后者对输入的许多种编码都把几乎所有编码送到正确输出的一种编码。论文证明余数集合表示(coset representation,Zalka 2006)本身就是一种近似编码的模加法,可与无意识进位滑行道组合,并给出这些近似表示的误差界,据此构造了成本更低的 2’s 补码加法器与模加法器。
QA027(Gaur–Humble–Thapliyal 2024) 走的是 NISQ 方向的极端近似:五种近似量子加法器,三种带进位出、两种不带。设计上包括两种风格——直通式直接从输入近似求和位,深度为零(无需任何量子门);第二种风格只用单个 CNOT 近似求和位,常数深度 。在 IBM Qiskit 上用热、退极化、幅度阻尼、相位阻尼、位翻转五种噪声模型评测:相对不带进位出的精确进位链加法器,保真度提升 8.34%–219.22%;相对带进位出的版本提升 8.23%–371%。
引用这类结果必须同时给误差前提,包括近似方式、噪声模型与评测规模——否则那个百分比无法解释。
三条路线的选择
| 目标 | 路线 | 依据 |
|---|---|---|
| T 数最优 | QFT → Toffoli 系统翻译 | QA007、QA016 |
| 想要可编程的路线互转 | 门级转译 | QA025 |
| 比特最省 + 可接受近似 | 截断 / 分带 | QA018()、QA019(qudit 界) |
| 深度压到 | 分段加法 + 无意识进位滑行道 | QA026 |
| NISQ 保真度优先 | 近似进位链 | QA027 |
一条反向提醒:QA009 指出降低 T 数可能抬高总深度,并且测量基反计算相对相位 Toffoli 辅助位最多可占整条线路深度的 30%。所以”哪个融合方案更好”依然要按具体刻度分别比较,见adder-resource-comparison。
论文依据
- Paler 2022 —— QFT 加法器到 Toffoli 加法器的第一次系统翻译;论证 QFT 加法与最省 Toffoli 加法具有根本相同的容错成本(如 T 数),主张合并门而非逐门近似分解;所用多控门恒等式可用于自动化优化启发式。
- Schober–Wesley 2026 —— 在 QFT 加法器与经典可逆进位技术加法器之间做显式门级转译;并给出一种自然解释为进位先行、且不使用任何辅助比特的新加法器。
- White–Hill–Hollenberg 2021 —— 把 Draper 加法器的极小旋转截断到粗角度并配策略性修正,证明保真度损失直接由进位/借位率给出并给出预测公式与门级 MPS 模拟;RSA-2048 下每次 QFT 可截断到 ,相位加法器可与 Toffoli 构造竞争。
- Agrawal 等 2023 —— 任意维 qudit 的 QFT 加法器;解析证明对应任意保真度缺陷所需的受控旋转数上界;证明有噪声时分带下常数深度近似线路优于高旋转数线路。
- Gidney 2019 —— 提出无意识进位滑行道与分段加法器,把加法渐近深度降到 ;证明余数集合表示本身是近似编码模加法;给出误差界并构造成本更低的 2’s 补码与模加法器。
- Gaur–Humble–Thapliyal 2024 —— 五种 NISQ 近似加法器(含零门深度与单 CNOT 深度设计),五种噪声模型下相对精确进位链加法器提升保真度 8.23%–371%。
- Wang–Baksi–Chattopadhyay 2023 —— 高基数进位先行加法器,在 T 数上亦优于 Draper out-of-place 加法器;本词条”QFT 与 Toffoli 成本可比”判断的旁证。
- Draper 2000 —— 给出被上述工作改造的原始相位加法器:去掉临时进位比特、可把经典数加到叠加态。
- Paler–Oumarou–Basmadjian 2021 —— 给出”降低 T 数可能抬高总深度”与反计算占深度至多 30% 的结论;本词条选型提醒的依据。
延伸阅读
- takahashi-qft-adder —— 被融合的两条路线之一
- cdkm-adder —— 另一条路线及其 MAJ/UMA 骨架
- adder-resource-comparison —— 按刻度分别比较
- negadd-and-subtraction —— 近似补码加法器与减法的关系