模加法

模加法分两种情况，差别大到不像同一个问题。模 $2^n$ 加法把进位丢掉就是答案，线路里只需要一个普通加法器。模任意 $N$ 加法则必须处理”和可能落在 $[N,2N)$“这件事，于是需要一次比较加一次条件减法——而比较通常又是减法的进位，因此这是一段自指的部件。本词条先讲清两种情形的结构差别，再讲两条真正有出处的改进路线：把 $n$ 位加法器 T 数减半的临时逻辑与，以及用进位保存把深度代价挪到比特数上。

一、两种模加法：一个丢进位，一个要归约

设寄存器宽 $n$，要算 $(z+a)\mathrm{mod}N$，其中 $N\le 2^n$。

模 $2^n$ 的情形。 $z+a$ 在 $n$ 比特里算完，最高位进位直接丢弃：

$$z+a(\mathrm{mod}{2}^n)$$

这一步是精确的，没有任何误差容限的概念。它也是所有以 $2^n$ 为模的运算（旋转合成、QFT、位级计数）的基础。

模 $N$ 的情形。 因为 $z,a<N$，有 $0\le z+a<2N$，所以结果要么已经是 $<N$ 的合法值，要么需要减去一次 $N$。于是：

$$(z+a)\mathrm{mod}N=\{\begin{array}{ll}z+a,& z+a<N\\ z+a-N,& z+a\ge N\end{array}$$

这就是必须有一段”条件减去 $N$“的原因，而判断哪个分支要看 $z+a-N$ 的进位——即做一次临时减法并读其借位。

模 N 加法：先加，再按进位条件减去 N

图里 $N$ 是一根经典常量线：$N$ 是经典输入，可以直接接进受控门序列，不需要另存一份。这是模算术线路图的一个通用特征——寄存器里既有量子数据线，也有编译期已知的常量线。

这张图也解释了为什么模归约那么贵：它自带一次完整减法，而减法又是模归约之外的另一处热点。下一节讲的半精确路线，目标正是把中间那段 SUB s − N 换成更便宜的东西。

二、临时逻辑与：把加法器 T 数减半

Gidney 的改进是把 $n$ 位加法器的 T 数从 $8n+O(1)$ 降到 $4n+O(1)$，做法是”临时逻辑与”（temporary logical-AND）：用 4 个 T 门把两个量子比特的逻辑与存进一个辅助位，之后擦除该辅助位用 0 个 T 门。他还给出一个 temporary adder——可以按普通加法器的代价算出结果，且结果可以一直保留到之后再做无 T 代价的反计算。

关键在于 Gidney 明确指出这个构造的适用范围远超加法器本身：整数算术、模算术、旋转合成、量子傅里叶变换、Shor 算法的 oracle、Grover oracle 都能用。这意味着一个模加法器里内嵌的普通加法器一旦升级，整条模运算线路的 T 数都会跟着下降——这是少数能”传导”到上层结构的加法器级改进。

临时逻辑与：4 个 T 门写入，0 个 T 门擦除

注意这个”4 写 0 擦”的不对称性是整篇工作的核心：多数进位辅助位的清零要付出与写入相当甚至更多的代价，所以 ancilla 的存活期直接决定成本。模加法器里那些反复写入又反复清零的中间位，正是这条改进能省下 T 数的地方。

三、进位保存结构：用比特数换深度

另一条路线不改门型而改数据表示。Wang 等的进位保存（carry-save）模加法把加法的部分和保留为多份”位片”而不是立即传播进位，从而把加法器变成一组便宜的加 1 门，深度上的进位传播被推迟到最后的压缩阶段；标题自述其目标是联合优化深度与资源占用。

需要诚实说明的一点：这一篇的完整摘要本轮未能获取（Crossref 无摘要字段、OpenAlex 无 inverted index、出版方页面只返回被截断的导语）。因此本站只引用它”存在一条进位保存结构的模加法路线、且该文以联合优化深度与资源占用为目标”，不对其具体的门数、深度或比特数数字做任何转述。

进位保存在结构上与就地乘法的思路相通：两者都是在”中间结果的存活期”与”传播的即时性”之间做交易，而不是引入新的基本门。

四、精度折衷：半精确的坐标系

把上面两种情形摆在一起，可以看到一个连续谱：

路线	模数	是否精确	需要比较器	主要成本位置
丢弃进位	$2^n$	精确	否	普通加法器
临时逻辑与	任意	精确	是（若需归约）	加法器 T 数减半，$4n+O(1)$
进位保存	任意	精确	是	深度换比特数
半精确	任意	误差容限内	可省	比较器从关键路径移除

最后一行需要特别说明：本卷未核实到半精确/近似模加法的奠基文献。调研中一个常被提及的作者组合，其论文在 arXiv 上按标题检索返回 totalResults = 0（有效空响应），Crossref 与 DataCite 标题检索均无收录，机构页面 404——可确定不在 arXiv 上，内容也完全无法核实。因此上表的最后一行只写出这个折衷概念本身（它是数学上的参数化，不依赖任何文献），不给任何引用。

论文依据

• Gidney（2018） —— 用”临时逻辑与”把 $n$ 位加法器 T 数从 $8n+O(1)$ 降到 $4n+O(1)$（4 个 T 门写入、0 个 T 门擦除），并给出可零 T 代价延迟反计算的 temporary adder；明确适用于整数算术、模算术、旋转合成、QFT、Shor 的 oracle。
• Wang 等（2026） —— 进位保存结构的模加法，以联合优化深度与资源占用为目标；本站未取得其摘要，仅引用这一可从标题与作者元数据确认的范围，不转述其数字。
• Pavlidis 与 Gizopoulos（2012/2014） —— 其 Shor 模幂架构中，模加法以 QFT/Draper 加法器族实现，是”模加法用哪一族加法器”这一选择的端到端参考。
• Wang 与 Chattopadhyay（2026） —— 综述性章节，含模加法在体系结构层面的定位；本站未取得其摘要，仅作为二级入口引用。

未核实项

半精确/近似模加法的奠基工作未核实到（不在 arXiv 上，Crossref/DataCite 无收录）。本词条按纪律不引用、不转述。参考资料中也不包含关于该工作的任何内容。

延伸阅读

• modular-subtraction-negation —— 归约里的条件减法。
• modular-reduction —— 模加法在模运算里的位置。
• schoolbook-multiplier —— 加法器作为基本块的另一个使用者。