MBQC 中的算术：把算术门编译成测量角度

在门模型里，算术是一串可逆门；在测量型量子计算（MBQC）里，算术门必须先被翻译成”在哪些比特上测、测什么角度”。这条翻译有两个直接后果：其一，任意角旋转的实现代价是一条测量角度的精度要求，而不是一个门的代价；其二，经典 byproduct 修正与比特修补会把逻辑深度再次抬高。本词条先给出”算术门 → 测量”的最小形态对照，再说明 CDKM 这类含 Toffoli 的算术块在簇态上的层数代价，最后标注本卷在 MBQC 方向上的文献覆盖边界。

一、这个应用需要哪种算术原语

MBQC 的资源态是簇态（cluster state）：一条格点上预先做好 CZ 纠缠，计算由沿格点依次进行的单比特测量驱动。算术原语在这里换了三张面孔：

门模型里的东西	MBQC 里的形态	代价落在哪
任意角 $R_z(\theta )$	一次 $Z$ 基测量，角度 $\theta$（夹在两层 CZ 之间）	角度精度要求：与[[qft/qft-synthesis
$X$ 旋转	先 $H$ 把它变成 $Z$ 旋转，测量后再 $H$ 回来	额外两层
CZ	原语（簇态上已预纠缠）	只消耗比特，不加门
CNOT	一层：控制位 $H$ → 一次 CZ → 测控制位 → byproduct 修正	一次测量 + 一次 CZ
Toffoli	三层（需中间比特与两次 byproduct 传递）	3 次测量 + 3 次 CZ + 经典通信

这张表里最反直觉的一行是 CNOT。门模型里 CNOT 是最基本、最便宜的算术原语；在 MBQC 上它反而是最省层数的门之一，因为 byproduct 的 $X$ 修正可以”顺路”传给下一个比特。这个差别不是实现质量问题，而是两种范式的记账口径不同：门模型数门，MBQC 数层 + 数测量 + 数经典比特。

二、线路图：两个最小形态

MBQC 的两种最小算术形态：任意角 Z 旋转两层，CNOT 一层

左半段是任意角旋转的标准形态：一次 $H$、两层 CZ、一次带角度的 $Z$ 测量。角度 $\theta$ 直接写在测量角里，因此”这个门有多贵”这个问题被完整地转移成了”这个角度合成要多贵”——MBQC 不消除容错成本，只是把它换了一个位置存放。

右半段是 CNOT 的一层实现。注意 byproduct 是 $X\otimes X^s$，作用在控制位与目标位两条线上，而控制位马上要被消耗掉——这正是 byproduct 可以免费搭便车的地方。amplitude-estimation里 IQAE 那个”三个固定受控旋转”的构造，如果放到 MBQC 上，每个受控旋转都要按左半段的形态展开成两层，层数会直接乘上去。

三、算术线路编译到簇态：层数与经典通信

把一条门模型算术线路（如 CDKM 加法器）搬到簇态上，要按规则逐块转换。CDKM 的核心块 MAJ 是一个 Toffoli 型的受控门，UMA 还要额外做一次受控取反：

• MAJ：3 层 MBQC 操作，需要 2 根中间比特；
• UMA：3 层 + byproduct 修正，经典比特多传 1 步；
• 进位归约的每一层（进位先行树的每一层）都是一次 Toffoli 块，因此 $O(\log n)$ 层的树就是 $O(\log n)$ 层的 MBQC，每个树节点额外吃掉常数根比特。

于是得到两条换算式，它们是本词条最实用的结论：

$$\text{簇态比特}\approx \text{逻辑比特}+\text{门数}\times \text{每门活跃比特数},\text{层数}\approx \lambda \times \text{门模型深度},$$

其中 $\lambda$ 是每类门在 MBQC 上的层数倍数（一元门与受控任意角门 $\lambda =2$，CNOT $\lambda =1$，Toffoli 与更深的受控门 $\lambda =3$）。比特数那一项是簇态范式特有的：门模型里比特可以复用，MBQC 里比特被消耗，账只能往上加。这就是为什么 MBQC 的资源估算总是从”逻辑比特 + 临时比特”两项分开列。

第三条成本是经典通信量。每次测量产生 1 比特 byproduct，需要传给相邻的比特去做修正；深度为 $d$ 的线路至少产生 $d$ 比特串行依赖。在超导或离子阱这类”测量快、远端通信慢”的架构上，这一项有时比量子比特数更早成为瓶颈。

还有一类容易被漏掉的操作叫修补（correction / lift）：当某个逻辑比特不需要被消耗时（例如循环里的边界比特），必须施加一个修正层把它”抬”回可用的量子态。修补层是额外的层数与经典比特，而且它的存在与否取决于线路的拓扑，不是自由的。

四、fan-out 在 MBQC 里的特殊地位，以及覆盖边界

Høyer–Špalek（2003）研究的无界 fan-out 门集在 MBQC 语境下格外自然：图上的”局部克隆”（local teleportation）本身就是 MBQC 的标准操作，把一个量子态沿格点传一格的成本只有两层。因此测量型计算对复制原语更友好，无界 fan-out 门集给出的对数深度算术可达性（矩阵乘法与加法的对数深度）在 MBQC 上比在门模型上更接近可用——但”无界”两个字仍然是硬假设，实际格点上每比特只与常数个邻居纠缠。

最后是引用边界，如实写明：本卷已核验的条目里没有专门讨论 MBQC 中算术线路实现的论文。上面第二节与第三节的层数、比特数与通信量换算式，是从 MBQC 的门层规则（$Z$ 角度测量、两层 CZ、byproduct 修正、修补层）推出的结构结论，不附带某篇 MBQC 论文的实测数字。ZX 微积分与图傅里叶变换这条路线在 QFT 卷有一篇专门词条，qft-in-zx-calculus；本词条与之是互补关系（那边讲表示，这边讲算术成本）。

论文依据

• Høyer–Špalek（2003） —— 无界 fan-out 门集的奠基论文；用于说明第四节”测量型计算对复制原语更友好”这一判断，并同时标注其”无界”假设与实际格点常数度纠缠的差距。
• Gokhale 等（2021） —— 把 fan-out 落到具体器件技术与噪声模型并给出算术深度换算；用于界定上述可达性结论在真实架构上的边界。

延伸阅读

• cdkm-adder —— MAJ/UMA 的门模型形态，编译到簇态的起点
• carry-lookahead-adders —— 进位先行树：$O(\log n)$ 个 Toffoli 块如何累成 MBQC 的层数
• qft-in-zx-calculus —— ZX 微积分与图傅里叶变换的算术表述
• amplitude-estimation —— IQAE 的受控旋转在 MBQC 上会展开成两层