两能级路由器

两能级路由器是 Hong 等(2012)对 bucket-brigade 节点的简化:去掉等待态,让地址光子自己承担存储功能,使每次调用的节点量子操作数降到平均 n/2。它是"减少主动操作数"这一最早期的噪声应对思路的代表。

机制回顾:等待态的两个职能

GLM 原始设计中,树节点是三能级 qutrit($|\mathrm{wait}⟩/|\mathrm{left}⟩/|\mathrm{right}⟩$),专门的等待态用来区分”激活”与”未激活”。按 Hann 等的电路化复述 Hann et al. 2021,一次路由操作可以写成一对受控交换门:路由器量子比特 $r$ 控制入射模式与左、右输出模式之间的 SWAP——$r=|0⟩$(左)或 $|1⟩$(右)时入射信号被导向对应出口;$r=|\mathrm{wait}⟩$ 时两个控制条件都不满足,操作整体恒等。所以等待态实际承担两个职能:

1. 吸收靶:地址量子比特进树的方式是”遇到 $|\mathrm{wait}⟩$ 节点就被吸收”——路由器与入射模式的状态互换,节点被置成 $|0⟩$ 或 $|1⟩$。每个节点一生只被吸收一次(此后不再处于等待态),这保证了”激活路径”逐比特生长。
2. 解耦:未激活节点的入射口与输出口互不耦合,树上 $(N-1)-(n+1)$ 个闲置节点与查询整体处于退相干关系之外——至少在错误传播的意义上,坏分支的错误进不了好分支。

Hong 等的方案把节点简化为两态比特($|\mathrm{left}⟩/|\mathrm{right}⟩$),两个职能被拆开处理:职能 1 交给时序调度 + 光子数编码(见下),职能 2 则没有替代品——这正是后文推导三中 ${\log }^{3}N$ 标度的来源。先看机制本身Hong et al. 2012。

光学实现:阻抗匹配存储与无源路由

节点硬件为三能级原子(两个基态 $|\mathrm{left}⟩/|\mathrm{right}⟩$ 加激发态 $|\mathrm{e}⟩$)加微环谐振器(microtoroidal resonator)、经锥形光纤实现临界耦合(critical coupling):原子处于 $|\mathrm{left}⟩$ 时,$|\mathrm{left}⟩\to |\mathrm{e}⟩$ 跃迁远失谐,谐振器在探测频率处表现为临界耦合,输入光子全反射,经光纤一侧的环形器走左路;原子处于 $|\mathrm{right}⟩$ 时该跃迁与腔共振,强耦合把腔模劈裂,探测频率处失谐,光子共振透射走右路。关键在于:这两条路由行为都不需要任何脉冲驱动,是节点对光的无源线性响应,且作用在节点态上是恒等——路由事件本身不计入量子操作账。

存储则是主动操作。地址量子比特编码为光子数基:$\alpha |0{⟩}_p+\beta |1{⟩}_p$($|0{⟩}_p$ 为真空、$|1{⟩}_p$ 为单光子)。存储时把单光子均分、同时从锥形光纤两侧入射,并以阻抗匹配(impedance matching)的经典控制场 $\Omega (t)$ 在光子到达瞬间同步驱动节点——该协议是 Hong 等自己早先证明的单光子确定性存储,实质是让节点的响应与入射场互为时间反演,反射归零、吸收归一。两个分支的映射为

$$|0{⟩}_p|\mathrm{left}⟩\stackrel{\Omega (t)}{\to }|0{⟩}_p|\mathrm{left}⟩,|1{⟩}_p|\mathrm{left}⟩\stackrel{\Omega (t)}{\to }|0{⟩}_p|\mathrm{right}⟩,$$

即真空分支不受控制场影响(节点保持 $|\mathrm{left}⟩$),单光子分支被吸收并把节点翻转到 $|\mathrm{right}⟩$。由线性性,任意叠加态的映射为

$$(\alpha |0{⟩}_p+\beta |1{⟩}_p)|\mathrm{left}⟩⟼|0{⟩}_p(\alpha |\mathrm{left}⟩+\beta |\mathrm{right}⟩).$$

这是一个从飞行量子比特到节点比特的等距映射(isometry):两个输入分支的像 $|0{⟩}_p|\mathrm{left}⟩$ 与 $|0{⟩}_p|\mathrm{right}⟩$ 内积为零,故可补全为酉变换——地址相干性完整地搬进了节点,没有任何测量或退相干环节。此后单个光子穿过节点时只经历无源路由,不再消耗任何量子操作。

控制上有一个漂亮的性质:第 $i$ 个控制脉冲可以同时照亮第 $i$ 层的全部节点——层同步驱动,无需单点寻址。每个节点只在自己的层被照到一次:届时若有光子抵达则被存储翻转,若无光子(地址比特为 0)则脉冲空转。时序调度由此接管了等待态的”只吸收一次”职能:节点处于 $|\mathrm{left}⟩$ 既可能是”未配置”也可能是”被置 0”,但二者在后续时间片中都只做无源左路由,不会混淆。

存储单元由高 Q 腔内的记忆原子与辅助原子组成(两个谐波阱),任意未知量子态的写入与读出通过里德堡强偶极相互作用实现:路径选定后先发一个单光子,在光子到达瞬间用脉冲 ${\Omega }_1(t)$ 把辅助原子从 $|g{⟩}_a$ 翻到 $|s{⟩}_a$(光子–原子映射 $(\alpha |0{⟩}_p+\beta |1{⟩}_p)|g{⟩}_a\to |0{⟩}_p(\alpha |g{⟩}_a+\beta |s{⟩}_a)$);非选定单元的辅助原子被 $\pi$ 脉冲驻留在稳定态 $|t{⟩}_a$ 上避开操作。随后经 TWSR 脉冲、共享运动正则模与 Raman 边带冷却完成选定单元的态转移;非选定记忆原子因无里德堡偶极移相而保持不变。论文还给出以纳米线表面等离激元替代微环谐振器的备选方案 Hong et al. 2012。

推导一:操作数账——从 $n(n+5)/2$ 到平均 $n/2$

qutrit 版:$n(n+5)/2$ 的逐项清点

GLM 方案里”所有飞行量子比特(地址与总线)只有在节点 trit 被成功操作后才被允许穿过该节点” Hong et al. 2012,所以穿越本身也是操作。第 $i$ 个地址比特要穿过 $i-1$ 个已激活节点、再被第 $i$ 层前沿吸收,计 $i$ 次;地址阶段合计三角和

$$\sum _{i=1}^{n}i=\frac{n(n+1)}{2}.$$

读出阶段,总线光子沿选定路径下行到存储单元、再把数据带回数据寄存器,往返各 $n$ 次穿越,计 $2n$。两块相加:

$$N_c^{\mathrm{qutrit}}=\frac{n(n+1)}{2}+2n=\frac{n(n+1)+4n}{2}=\frac{n(n+5)}{2}=\Theta ({\log }^{2}N).$$

这个分解正是 Hong 摘要里那个数的来历——他明确注明其中 $2n$ 项是”信号光子沿同一路径去存储单元再回数据寄存器”的开销 Hong et al. 2012。值得强调的是该计数与地址取值无关,是确定性上界:无论寻址 $000\cdots 0$ 还是 $111\cdots 1$,操作数都是 $n(n+5)/2$。同一数学在电路语言里就是严格串行调度下的深度 $T\sim {\sum }_{\ell =0}^{\log N-1}\ell =O({\log }^{2}N)$ Hann et al. 2021——平方项来自”第 $\ell$ 位地址要等前 $\ell$ 层就位”。

两级版:平均 $n/2$ 的概率推导

两能级方案中,穿越不再消耗操作(无源路由),唯一的主动操作是”存储翻转”,而翻转只在地址比特为 1(有光子)时真正发生。设地址在 $\{0,1{\}}^n$ 上均匀随机,翻转次数为

$$k=\sum _{i=1}^n{a}_i,a_i\sim \mathrm{Bernoulli}\left(\frac{1}{2}\right),$$

各 $a_i$ 独立,故 $k\sim \mathrm{Binomial}(n,\frac{1}{2})$,期望与方差为

$$\mathbb{E}[k]=\sum _{i=1}^n\mathrm{Pr}(a_i=1)=\frac{n}{2},\mathrm{Var}(k)=\sum _{i=1}^n\frac{1}{4}=\frac{n}{4},{\sigma }_k=\frac{\sqrt{n}}{2}.$$

Hoeffding 不等式给出尾部估计 $\mathrm{Pr}(k-\frac{n}{2}\ge t)\le e^{-2t^2/n}$:取 $n=20$、$t=5$,得 $\mathrm{Pr}(k\ge 15)\le e^{-2.5}\approx 8.2\%$——九成以上的地址至多花 15 次操作。最坏情形(全 1 地址)仍是 $k=n$,但最坏情形也只有 $n$ 次,对比 qutrit 版的确定性 $n(n+5)/2$;平均意义上的改进因子为

$$\frac{N_c^{\mathrm{qutrit}}}{\mathbb{E}[k]}=\frac{n(n+5)/2}{n/2}=n+5.$$

代入数字:$n=20$ 时 $250\to 10$ 次(25 倍);$n=40$ 时 $900\to 20$ 次(45 倍)。时间账同步受益:qutrit 版严格串行需 $n(n+5)/2$ 个操作节拍,两能级版每层一个脉冲节拍、层内并行、光子以光速无源穿越,单次调用只要 $n$ 个节拍——$20$ 层树从 250 拍压到 20 拍。站内对这一改动的另一处概括是”查询时间从 $O(n^2)$ 降至 $O(n)$,但对 $\epsilon$ 的需求不变” 噪声韧性之争;电路版的同型并行化(偶数层/奇数层交错)也可把 qutrit 电路深度压回 $O(\log N)$ Hann et al. 2021、电路级优化。

推导二:误差账的两种口径

Hong 的原生口径(平均操作数 × 单操作错误率)。 设每次节点翻转事件的错误率为 $\epsilon$,对地址求平均,每次调用的综合错误率为

$$⟨\mathrm{Pr}(\text{查询出错}){⟩}_{\text{addr}}\approx \epsilon \mathbb{E}[k]=\frac{n\epsilon }{2}=\frac{1}{2}{\log }_{2}N\cdot \epsilon .$$

这恰为 GLM”每层一次机会”口径(${\log }_{2}N\cdot \epsilon$)的一半 Hong et al. 2012。若改用最坏情形(全 1 地址)则为 $n\epsilon$,仍是 GLM 三角账 $n(n+5)\epsilon /2$ 的 $2/(n+5)$。代入数字:$\epsilon =10^{-3}$、$n=20$ 时,qutrit 操作账给 $250\epsilon =0.25$,两能级平均给 $10\epsilon =0.01$(最坏 $0.02$)。

口径的边界。 这本账只数”被执行的主动操作”,隐含假设是”未被操作的元件不出错”——正是 Hann 等后来点名批评的 contrived 噪声模型 Hann et al. 2021。两能级节点没有等待态兜底:$N-1$ 个节点全部处于 $|0⟩/|1⟩$ 激活子空间,空闲节点照样退相干;期望错误数不是 $n/2$ 而是 $O(N)$(与 fanout 同量级)。两能级方案的全部赌注因此押在”错误虽多但波及面小”上——这就必须进到严格账。

推导三:Hann 定理下的 ${\log }^{3}N$ 标度

设定与传播规则

Hann 等把 Hong 式节点抽象成最简模型 Hann et al. 2021:路由器只有 $|0⟩$(左)/ $|1⟩$(右)两个态,永远处于激活态,全部初始化为 $|0⟩$,路由操作就是上述 cSWAP 对;地址量子比特照常逐个注入树中(吸收由 SWAP 型操作完成——他们指出 Hann 等 2019 年混合声学方案里的”修改版路由电路”把 cSWAP 对中的一个换成无条件 SWAP,从错误传播的角度等价于把三能级路由器换成两能级)。最不利的设定是:树上全部 $O(N)$ 个节点——包括从未被路径经过的——都承受任意错误信道。

三能级与两能级的分野在错误传播规则上。三能级情形,等待态让闲置节点与飞行模式解耦:错误不会从坏分支传播进好分支,于是任意两个好分支的末态里路由器部分相同($|f_i(c)⟩=|f_j(c)⟩$),地址–总线相干性完好。两能级情形,所有路由器永远接在线路里,而且默认态 $|0⟩$ 的路由操作恰好把入射口与左输出口互换:

• 错误一般可以自由地从路由器的左输出口传播到其入射口——因为 $|0⟩$ 节点做的是入射–左口 SWAP;
• 要从右输出口上行,须先把节点从 $|0⟩$ 翻成 $|1⟩$,即额外付一次错误,$O(\epsilon )$ 压制,只进 $O({\epsilon }^2)$ 项。

相干性如何丢失

于是对叠加查询,末态变为(Hann 原文式 32 的结构)

$$|\Omega (c)⟩=\sum _{i\in g(c)}{\alpha }_i|i{⟩}^A|x_i{⟩}^B|f_i(c){⟩}^R+|\mathrm{bad}(c)⟩,|f_i(c)⟩\ne |f_j(c)⟩\text{(一般情形)},$$

$|f_i(c)⟩$ 是依赖地址的路由器末态。对路由器求偏迹后,$i,j$ 两项不再保证相干叠加,密度矩阵里可能只剩 $|i,x_i⟩⟨i,x_i|$ 与 $|j,x_j⟩⟨j,x_j|$ 而缺交叉项——地址–总线寄存器被路由器退相干,保真度由此受损。

界的推导

Hann 等的补救是把”没有这种破坏性传播”的分支挑出来:取 $\tilde{g}(c)\subseteq g(c)$ 为最大子集,使得其中任意 $i,j$,查询 $i$ 时错误不传入分支 $j$;这些分支的路由器末态重新一致,好分支分析照旧适用。定义加权好分支比例 $\tilde{\Lambda }(c)={\sum }_{i\in \tilde{g}(c)}|{\alpha }_i{|}^2$,则与三能级情形平行的论证给出

$$F\ge [2\mathbb{E}(\tilde{\Lambda })-1{]}^2,\mathbb{E}(\tilde{\Lambda })=(1-\delta )\mathbb{E}(\Lambda ),$$

其中 $\delta \in [0,1]$ 是坏传播吃掉的权重,而 $\mathbb{E}(\Lambda )=(1-\epsilon {)}^{T\log N}$ 与三能级情形相同(这是 $4\epsilon T\log N$ 项的出处,推导见 噪声韧性)。在 $\epsilon T\log N+\delta \le \frac{1}{4}$ 的有效条件下,

$$1-F\le 4\epsilon T\log N+4\delta .$$

剩下是估计 $\delta$。对”错误发生在路由器 $r$、时刻 $t$,最终传入分支 $i$“的概率,首阶为

$$\delta =\epsilon \sum _{r,t}{P}_{r\to i}(t)+O({\epsilon }^2).$$

保守计数的几何:一个错误沿”左输出口$\to$入射口”逐级上行,要求链上每个节点都是其父节点的左孩子(且为 $|0⟩$——分支 $i$ 的查询中,树内非路径节点确实全为 $|0⟩$)。对路径上深度为 $k$ 的节点 $p_k$,能这样爬进 $p_k$ 入射口的节点恰好是 $p_k$ 的”左脊柱”(左孩子、左孩子的左孩子、……),至多 $n-k$ 个;对全部路径节点求和,

$$\#\{r\}\le \sum _{k=0}^{n-1}(n-k)=\frac{n(n+1)}{2}=\Theta ({\log }^{2}N).$$

对每个这样的 $r$、每个时刻悲观地取 $P_{r\to i}(t)=1$,得

$$\delta \le \epsilon T{\log }^{2}N+O({\epsilon }^2)⟹1-F\lesssim 4\epsilon T(\log N+{\log }^{2}N)=O\left(\epsilon {\log }^{3}N\right).$$

注意两点。其一,三角和 $\frac{n(n+1)}{2}$ 在这里第二次出场:推导一里它是 qutrit 版的操作数,这里它是左脊柱的规模——同一棵树的几何在不同账本上收同一笔费(这是站内的结构性观察,原文只陈述”至多 ${\log }^{2}N$ 个”并以 $P=1$ 放大;上文的脊柱图像是把该保守计数展开的示意推导,且 Hann 本人标注式中的 $\lesssim$ 表示这是标度论证而非严格界——严格界只有三能级的 $4\epsilon T\log N$)。其二,${\log }^{3}N$ 是悲观账,对具体信道可以显著更好:

• dephasing(去相位)噪声:这类错误经电路传播后作用在地址–总线上,但对路由器末态(全 $|0⟩$ 的计算基态)只乘相位、不改变取值,故 $|f_i(c)⟩$ 对所有地址一致,$\tilde{g}(c)=g(c)$,退回三能级式的 $1-F\sim {\log }^{2}N$;
• amplitude damping(振幅阻尼):只有 $\log N$ 个激发进入树,期望错误数仅 $\epsilon T\log N$,预期 ${\log }^{2}N$;数值模拟观测斜率 1.86;
• 一般信道的数值验证:单错误率 $\epsilon =10^{-4}$ 下,两能级电路各信道观测标度指数 $\le 3$,与悲观界一致 Hann et al. 2021(标度总表见 噪声韧性)。

两个推论:任意初态与修改电路

上述逐路由器的论证还有一个副产品:论证对”每个路由器初始化为 $|0⟩$ 还是 $|1⟩$“逐个成立,因此任意乘积初态都不破坏有利标度——数据拷贝到总线的环节需改用 $|\pm ⟩$ 基与 $ZZ$ 门以免多余拷贝(Hann et al. 2021 附录 B;站内还记录了”查询两次利用幂等性、$T\to 2T$“的替代方案,见 噪声韧性)。同理,把 cSWAP 对之一换成 SWAP 的修改版路由电路(混合声学 QRAM 采用,见 混合声学 QRAM 与 Hann et al. 2019)与两能级化在错误传播上等价,自动继承同一论证。这两条合起来说明:两能级路由器不只是”碰巧能用”,而是 bucket-brigade 韧性”对实现细节不敏感”这一性质的体现。

数值算例:两能级 vs qutrit 的三本账

取 $N=2^{20}$($n=20$)与 $N=2^{40}$($n=40$);严格账按完整查询深度 $T=2n$ 计,常数取单位近似,只校准数量级。

账目	qutrit(GLM)	两能级(Hong)	改进因子
节点操作数/次调用	$n(n+5)/2$:$250$($n=20$);$900$($n=40$)	平均 $n/2$:$10$;$20$(最坏 $n$)	平均 $n+5$:$25\times$;$45\times$
串行节拍/次调用	$250$;$900$	$20$;$40$(层同步)	$12.5\times$;$22.5\times$
平均操作账误差($\epsilon =10^{-3}$)	$0.25$;$0.9$	$0.01$;$0.02$	——
操作账精度要求($\delta =0.1$)	$\epsilon \le 0.1/(n(n+5)/2)$:$4\times 10^{-4}$;$1.1\times 10^{-4}$	$\epsilon \le 0.1/(n/2)$:$10^{-2}$;$5\times 10^{-3}$	$n+5$
严格账 ${\epsilon }_{\mathrm{req}}$($\delta =0.1$)	$\approx 0.1/(8n^2)$:$3.1\times 10^{-5}$;$7.8\times 10^{-6}$	$\approx 0.1/(8n^3)$:$1.6\times 10^{-6}$;$2.0\times 10^{-7}$	$\approx n$
宽度	$N-1$ 个 qutrit	$N-1$ 个比特	维度减半,个数不变

几点读法。其一,操作账与严格账方向相反:操作数降了 $n+5$ 倍,严格噪声账反而多付约 $n$ 倍(那个 $4\epsilon T{\log }^{2}N$ 上行项;与 硬件共识设计策略 的独立核算 ${\epsilon }_{\mathrm{req}}\approx 1.5\times 10^{-6}$ 一致)——压操作数是工程优化,压不掉的错误才是可扩展性,这是”两本账不可混谈”的标准案例。其二,严格账对两能级偏悲观:dephasing 主导的器件实际按 ${\log }^{2}N$ 计,精度要求回到 qutrit 同级。其三,宽度账纹丝不动:$2^{20}$ 个节点约 $1.05\times 10^6$、$2^{40}$ 个约 $1.1\times 10^{12}$,简化的收益全在流量侧,存量侧分文未减。

讨论:边界与实验回响

该工作自身的边界必须公允记录。 全文未给出任何保真度或效率的数值估计,“robust”指操作数减少,而非 polylog 噪声韧性标度;所需的阻抗匹配单光子存储、逐层同步控制脉冲、腔内双原子里德堡操控均未集成演示,也无实验;查询结束后”全部节点复位到 $|\mathrm{left}⟩$“只作为要求提出,未给出具体机制(电路语言里对应逆序 uncompute,光学语言里”如何把吸收的地址相干地吐出”在论文中是空白)。平均 $n\epsilon /2$ 的误差口径在现代标准下只配当 sanity check——它数的是操作而非全部易错组件。

但它押对了方向。 两态节点在理论上被证明安全:Hann 等的韧性定理覆盖两能级路由器、任意初态与修改版路由电路 Hann et al. 2021;纠错版方案里逻辑两能级路由器恰对应单个逻辑量子比特,是硬件最省的配置。实践上,两能级(或传播等价的修改电路)已成标准配置:混合声学 QRAM 的路由电路不再需要第三能级;浙江大学团队的 bucket-brigade 全循环实验在超导处理器上用的就是路由比特——整循环后路由器回到 $|0⟩$、可直接测量做错误指证,其韧性分析正是 $1-F<4\epsilon T(O(\log N)+O({\log }^{2}N))$ 的两能级形式,错误注入数据(被查询路径斜率 $-0.255$、最远分支 $-0.005$)给出的局域化证据与推导三的传播图像吻合 Shen et al. 2026、见 BB-QRAM 实验。他们还以功能等价酉分解把单个路由门从 Fredkin 型 16 个 CZ 压到 10 个——“压缩每个节点的操作开销”这一 Hong 式哲学在电路货币下的重演。顺带厘清一个易混点:Hong 本人时属浙江理工大学,与做全循环实验的浙江大学团队并非同一机构,引用时不应合并。

从 bucket-brigade 架构 的谱系看,两能级路由器是一次严格的节点级修改:不动树拓扑、不动接力动力学,激活轮廓 $a(t)\le t+1$ 与 $O(\log N)$ 激活数照旧(分类学:四分类与主动/被动);它用 ${\log }^{3}N$ 对 ${\log }^{2}N$ 的最坏情形标度差,换来了操作数与时间的平方级削减,而 dephasing 情形连标度差都没有。Hong 等凭物理直觉先走了一步,严格证明十四年后才补上——这段”先工程后定理”的时差,恰是 QRAM 理论主线(十八年时间线:2008–2026)的缩影。

延伸阅读

• bucket-brigade 架构
• 噪声韧性
• 混合声学 QRAM
• 成本口径:激活门、干预与能量
• 分类学:四分类与主动/被动
• 硬件共识设计策略
• 噪声韧性之争
• BB-QRAM 实验
• 相干路由器实验