量子行走 QRAM

量子行走 QRAM 把路由的担子从树节点转移到行走者:携带手性内部态的量子行走者按地址位在二叉树上逐级转向,树上的节点不需要任何量子器件。这条路线从 2021 年的算法构造一路发展到 2026 年的里德堡硬件提案,并迎来 GLM 原班人马的回归。

机制回顾:行走者当水桶

Asaka–Sakai–Yahagi(2021)提出以离散时间量子行走(quantum walk)实现 qRAM:查询分解为 $F^{†}QF$ 三段。路由算符 $F$ 逐级用受控非把地址位写入行走者的手性(chirality,即左右两个内部态),再由平移算符把手性为 0/1 的行走者送入左/右子节点,共 $O(n)$ 步;查询算符

$Q={\sum }_a|a,n⟩⟨a,n|\otimes {⨂}_i(X_{D_i}{)}^{x_i(a)}$

只由 Pauli-X 组成,$O(1)$ 步完成;每次访存总复杂度 $O(n)$Asaka et al. 2021。最激进的宣称是:满二叉树上 $O(n\cdot 2^n)$ 个节点不需要放置任何量子器件。

用 查询语义:路由与读出 的四寄存器分解($A\otimes R\otimes B\otimes M$)看,这个构型做了一件 GLM 系架构都没做的事:把路由树寄存器 $R$ 整个删掉。bucket-brigade 里,“叠加当前走到哪个叶子”这条路径信息由树上的 qutrit 分散持有,查询结束后还要逐个 uncompute;行走者构型里,它由一个移动粒子集中持有——行走者的位置就是部分路径,手性就是下一个地址位的暂存器。“救火队传水桶”的比喻可以反过来读:BB 让地址比特在树里接力传递,这里水桶自己长脚,顺着树跑完全程。

其相干性论证与 bucket-brigade 形成鲜明对照:GLM 需维持路径上 $O(n)$ 个 qutrit 与地址、数据的纠缠;这里行走者不与任何节点纠缠,只需在相邻节点间传输的短时间内维持”一个手性态”的相干Asaka et al. 2021。不过这是算法层面的论证,原论文无噪声模型、无保真度数字、无实验参数。本词条把这条路线的账目算全:查询机制的形式化与路由引理(推导一)、$O(n)$ 步复杂度的来历(推导二)、相干性与误差账(推导三)、物理化的资源账(推导四)、里德堡提案的透过率核算(推导五),最后代入数字。

推导一:行走查询的形式化——手性、平移与路由引理

希尔伯特空间与两级算符

涉及四个系统:地址寄存器 $A=({\mathbb{C}}^2{)}^{\otimes n}$、行走者位置 ${\mathcal{H}}_p=\mathrm{span}\{|v⟩:v\in V(T_n)\}$($T_n$ 为深度 $n$ 的满二叉树,深度 $k$ 处节点按前缀记为 $a_1\cdots a_k$,$\mathrm{L}(v)/\mathrm{R}(v)$ 记左右子节点)、手性 ${\mathcal{H}}_c=\mathrm{span}\{|0{⟩}_c,|1{⟩}_c\}$(分别对应 left/right)、数据桶 $D=({\mathbb{C}}^2{)}^{\otimes m}$:

$\mathcal{H}={\mathcal{H}}_A\otimes {\mathcal{H}}_p\otimes {\mathcal{H}}_c\otimes {\mathcal{H}}_D.$

每层路由由两个算符完成。其一是地址控制的受控翻转(CNOT,控制位为第 $k$ 个地址比特,目标为手性):

$C_k={\sum }_a(|a⟩⟨a|{)}_A\otimes (X^{a_k}{)}_c;$

其二是手性条件平移(移动并清零手性):

$S|v{⟩}_p|c{⟩}_c=|{\mathrm{child}}_c(v){⟩}_p|0{⟩}_c,{\mathrm{child}}_0(v)=\mathrm{L}(v),{\mathrm{child}}_1(v)=\mathrm{R}(v).$

第 $k$ 层的级算符为 $F_k=S{C}_k$(先写位、后平移),整个路由算符按层序复合:

$F=F_n{F}_{n-1}\cdots F_1.$

路由引理:归纳证明

引理(路由)。 对每个地址 $a=a_1\cdots a_n$,

$F|a{⟩}_A|\mathrm{root}{⟩}_p|0{⟩}_c=|a{⟩}_A|a,n{⟩}_p|0{⟩}_c,$

其中 $|a,n⟩$ 是前缀路径 $a_1\cdots a_n$ 通向的叶子。

证明。 对层数 $k$ 归纳,证明 $k$ 级之后行走者位于节点 $a_1\cdots a_k$ 且手性为 0。基例 $k=0$:行走者在根、手性 0,即输入态。归纳步:第 $k+1$ 级中,$C_{k+1}$ 把手性写为 $0\oplus a_{k+1}=a_{k+1}$;$S$ 按手性把行走者送到 ${\mathrm{child}}_{a_{k+1}}(a_1\cdots a_k)=a_1\cdots a_{k+1}$,同时把手性清零。关键在手性每级末尾归零:下一级的 CNOT 总是从干净的 $|0{⟩}_c$ 出发写新位,不会残留上一级的值——这是引理能逐级闭合的原因。$■$

按线性延拓到叠加地址:

$F{\sum }_a{\alpha }_a|a⟩|\mathrm{root},0⟩={\sum }_a{\alpha }_a|a⟩|a,n,0⟩.$

注意纠缠结构:行走者位置与地址纠缠(路由本来就是按地址分流,必要),手性不与任何东西纠缠(每级用完即清)。

技术注记:有向树上的幺正性

有一个形式化细节值得挑明。在有限有向树上,逐层看 $S$ 是等距算子(isometry):第 $k-1$ 层 $2^{k-1}$ 个节点乘 2 个手性值恰好双射到第 $k$ 层 $2^k$ 个位置;但全局看,根节点没有入边、叶子没有出边,裸的有向树容纳不了一个幺正的行走过程。两种标准补法:其一,电路读法——把 $F$ 当作寄存器间的置换网络,幺正性由构造保证(2021 年算法构造在此层面工作);其二,几何读法——把两棵互为镜像的二叉树首尾相接,下行树走出叶子、镜像树送回根,出度补全、行走闭合(2023 年物理构造正是这么做的,见推导四)。这不是吹毛求疵:把行走类构造落到空间结构上时,“每个节点的出度是否与内部态维数匹配”是第一件要核对的账。

查询算符:桶的经典接线

数据不是存成量子比特,而是烧录成每个单元的经典 X 门接线表:

$Q={\sum }_a|a,n⟩⟨a,n|\otimes {⨂}_i(X_{D_i}{)}^{x_i(a)},$

即:行走者到达叶子 $a$ 时,第 $i$ 个桶位被翻转当且仅当 $x_i(a)=1$。桶从 $|0{⟩}^{\otimes m}$ 出发,被填成数据字:

$Q|a,n⟩|0{⟩}_D^{\otimes m}=|a,n⟩|x(a){⟩}_D.$

$Q$ 是对各叶子正交子空间的直和;由受控族判据($U={\sum }_x{\Pi }_x\otimes V_x$ 幺正当且仅当每个 $V_x$ 幺正,证明见 查询语义:路由与读出),$Q$ 整体幺正、各分支互不串扰。全部 $2^n$ 个叶子的 X 阵列对过路桶同时起作用——摘要所称 fully parallelized 的确切含义。存储器里没有一个量子比特:量子态全部住在行走者与桶里,单元只是经典接线。

三段合成:语义合同核验

把三段串起来,对每个计算基址逐行验算:

$$|a⟩|\mathrm{root},0⟩|0⟩\stackrel{F}{\to }|a⟩|a,n,0⟩|0⟩\stackrel{Q}{\to }|a⟩|a,n,0⟩|x(a)⟩\stackrel{F^{†}}{\to }|a⟩|\mathrm{root},0⟩|x(a)⟩.$$

对叠加态 ${\sum }_a{\alpha }_a|a⟩|\mathrm{root},0⟩|0⟩$ 按线性延拓即得查询语义。对照语义合同的三条硬性要求(见 查询语义:路由与读出):

• 地址保持 ✓:$A$ 寄存器原样穿过全部三段;
• 器件复位 ✓:而且以最强的方式成立——树上从头到尾没有一个自由度离开过初态,“复位”不需要任何操作。对照 BB 需要逆序 uncompute 把 $n$ 个 qutrit 逐个放回等待态,这里 $F^{†}$ 是 $F$ 的简单逆,手性在每个分支上都自动归零;
• 数据相干装载 ✓:桶拿到的是 $x(a)$ 的量子态副本。

$F^{†}QF$ 之后,行走者(位置 + 手性)在每个分支上都回到固定积态 $|\mathrm{root},0⟩$,不残留任何 which-path 信息——路径独立(path independence)在构造层面自动满足,因为”路径记录”从头到尾只存在于行走者这个必须归位的载具上,树上无处可藏。

迷你树演算:$n=2$

取 $n=2$、输入分量 $a=10$:$|10⟩|r,0⟩\stackrel{C_1}{\to }|10⟩|r,1⟩\stackrel{S}{\to }|10⟩|1,0⟩\stackrel{C_2}{\to }|10⟩|1,0⟩(a_2=0,\text{不翻})\stackrel{S}{\to }|10⟩|10,0⟩$;$Q$ 写入 $x(10)$;回程 $|10⟩|10,0⟩\stackrel{S^{†}}{\to }|10⟩|1,0⟩\stackrel{C_2}{\to }|10⟩|1,0⟩\stackrel{S^{†}}{\to }|10⟩|r,1⟩\stackrel{C_1}{\to }|10⟩|r,0⟩$。四步下行、四步回程,手性两度清零、终态复位——一般 $n$ 的账目就是这条轨迹的逐级重复。

推导二:查询复杂度——$O(n)$ 步的来历与对照账

步数账

每级路由两次量子操作(受控翻转 + 平移):$F$ 计 $2n$ 步;$F^{†}$ 同构,计 $2n$ 步;$Q$ 的 X 阵列全并行,计 1 层。合计

$T_{\mathrm{QW}}=2n+1+2n=4n+1=\Theta (n)=\Theta (\log N),$

与树的规模 $2^n$ 无关——QR025 摘要 “only $O(n)$ steps are required to access and retrieve $O(2^n)$ data” 的账目内容。叠加查询并不比经典查询多花步数:$2^n$ 条路径在一次演化里同时走完,并行性来自振幅的分裂,不来自器件的复制。

为什么没有 $n^2$ 的串行惩罚

BB 串行调度的三角和 $T_{\mathrm{BB}}={\sum }_{i=1}^{n}i=n(n+1)/2$(完整推导见 成本口径 口径 C):第 $i$ 个地址比特要穿过 $i$ 层接力才安顿到位。接力之所以存在,是因为 BB 的”部分路径记忆”分散在第 $1,\dots ,i-1$ 层的节点里,第 $i$ 个比特必须逐层问路才能找到前一个比特安放的位置。行走者构型里,部分路径记忆集中在一个粒子上:第 $k$ 个比特在层级 $k$ 被行走者当场消费,没有逐层问路这回事。架构差异可以压成一句话:BB 用 $n$ 个分布式节点存路径,行走者用一个移动载具存路径;接力结构随分布一起消失。

两比特门数与三路线对照

行走者方案的相干两比特门是 $F$、$F^{†}$ 里各 $n$ 次受控翻转,共 $4n=O(\log N)$ 次——比 BB 串行口径的 $n(n+1)/2$ 还低:$n=20$ 时 80 对 210,$n=40$ 时 160 对 820。三个家族放进同一张表:

口径	fanout	bucket-brigade	量子行走(2023 物理构型)
每查询步数/深度	$O(n)$ 层,但门数 $\Theta (N)$	$O(n^2+nm)$ 步	$O(n\log (n+m))$
量子器件数	$\Theta (N)$	$O(2^n+m)$ 个 qutrit	$O(n+m)$ 个行走者
静态(经典)器件数	—	—	$O((n+m)2^n)$ 个静态门
需保持相干的自由度	$O(N)$(全开关宏观叠加)	$O(n+m)$ 活跃 $+O(N)$ 等待不得误激发	$O(n+m+1)$

fanout 的门数与精度账见 fanout 架构 与 成本口径;BB 两项出自 QR026 摘要的对照声明(其 $O(n^2)$ 项即路由三角和,$O(nm)$ 项对应 $m$ 比特数据字沿树的读出链,此为对该账目总量的自然读法)。两点提醒:其一,时间维度的改善是多项式的(约省 $(n+m)/\log (n+m)$ 因子),真正指数级的改善在空间维度——量子器件从 $O(2^n)$ 降到 $O(n+m)$,代价是静态门升到指数(推导四);其二,“相干自由度”一栏里 fanout 的 $O(N)$ 是它误差灾难的根源,量子行走方案与 BB 同属多对数一档,这一栏才是噪声标度的先行指标(推导三)。

推导三:相干性与误差账目

谁需要保持相干

逐项清点必须维持量子相干的自由度:地址寄存器 $n$ 比特(处于叠加)、行走者 1 个(位置 + 手性)、桶 $m$ 比特,合计

$W_{\mathrm{coh}}=n+m+1,$

与 $N$ 无关;树上 $2^{n+1}-1$ 个节点持有的量子信息为零。对照:BB 的相干负担是”路径上 $O(n)$ 个活跃 qutrit 与地址、数据纠缠,外加 $2^n-(n+1)$ 个等待节点不得被误激发”(GLM 明言的关键噪声约束);fanout 是全部 $\Theta (N)$ 个开关处于宏观叠加。行走者构型把”不得出错的指数多个组件”换成了”必须全程存活的一个载具”——负担的性质变了,不只是数量。

union bound 预算(本词条估算)

设每步量子操作(受控翻转、平移、X 门)的错误率为 $\epsilon$,对 $4n+m$ 次操作求 union bound(逐门错误概率相加):

$1-F\lesssim (4n+m)\epsilon =O(\epsilon \log N).$

代入 $n=20$、$m=32$:$4n+m=112$,取 $\epsilon =10^{-4}$ 得 $1-F\lesssim 1.1\times 10^{-2}$;要把单查询不保真度压进 1%,需 $\epsilon \lesssim 9\times 10^{-5}$。同参数下 BB 的 GLM 估算 ${\log }_{2}N\cdot \epsilon =20\epsilon$ 只要求 $\epsilon \le 5\times 10^{-4}$——计数口径下行走者并不省操作数,常数反而更紧(此处约 5.6 倍)。它的卖点从来不是操作更少,而是相干性的空间分布:一个载具对一棵树。必须注明:此预算是本词条按通用门错误模型做的量级估算,所引文献并未给出该方案的噪声分析。

传输存活率:行走者特有的线性账

行走者必须在树里物理走完下行 $n$ 段、回程 $n$ 段。设每段存活率 $1-\delta$,则查询成功概率为

$P_{\mathrm{surv}}=(1-\delta {)}^{2n}\approx 1-2n\delta (\delta \ll 1),$

要求 $P_{\mathrm{surv}}\ge 1-{\epsilon }_{\mathrm{tot}}$ 得 $\delta \le {\epsilon }_{\mathrm{tot}}/2n$——线性精度要求,远比 fanout 的 $O(2^{-n})$ 温和,但常数由硬件决定:$\delta$ 是每一段波导/散射区的真实损耗,不随算法改良。这是 matter-walker(电子、原子、光脉冲)方案的真实瓶颈所在,2026 年里德堡提案的透过率核算(推导五)算的正是这本账。

噪声标度的现状:没有 Hann 型定理

BB 有严格定理 $1-F\le 4\epsilon T\log N$(任意 CPTP 噪声、含全部 $O(N)$ 个路由器;韧性的真正来源是路由器间有限纠缠,见 噪声韧性);量子行走方案在本文库所及文献中没有对应的定理。唯一的定量信息来自异构纠错工作的数值模拟:其附录显示量子行走 QRAM 的错误标度与 bucket-brigade 同为平方型,且按层递减码距的异构纠错方案同样适用于行走者构型Singal & Smith 2025(框架见 异构纠错 QRAM)。“把量子器件搬出树”并不自动带来噪声优势——韧性最终取决于错误如何局域化,而不是器件放在哪。

推导四:物理化——双轨编码、环岛门与镜像双树

构造要点

同一作者团队 2023 年把构造落到物理Asaka et al. 2023:双内部态(如电子自旋的红/蓝)多粒子连续时间量子行走;逻辑量子比特用双轨编码(dual-rail encoding)——$|0⟩/|1⟩$ 对应行走者处在两条轨道中的哪一条,一个逻辑比特即一个在双轨上叠加的行走者;地址信息在行进中被顺序编码进行走者内部态;节点处放静态环岛门(roundabout gate)做路由——两个行走者在节点散射,按各自内部态决定去向,作用相当于按手性转弯;行走者依次穿过两棵互为镜像的二叉树,下行树完成 $F$、镜像树完成 $F^{†}$,叠加读出在穿过过程中自动完成,全程无需时间依赖控制。

从算法构造到空间结构的两处补全

推导一的两条注记在这里兑现。其一,幺正化:镜像双树正是”出度补全”的几何答案——裸的有向树走不回来,两棵镜像树让行走者下行后原路返回,同时物理地实现 $F^{†}$。其二,控制可达性:2021 年算法构造里,层级 $k$ 的 CNOT 默认”地址比特与行走者的相互作用随处可用”;空间架构里这只有两条路——把地址比特相干广播到整层(退回 fanout 式的指数相干硬件,与卖点冲突,被否定),或者让地址跟着行走者一起走。2023 年构造选了后者:地址逻辑比特也双轨编码成行走者,与数据行走者同行——这正是行走者数为 $O(n+m)$(n 个地址逻辑比特 + m 个数据逻辑比特各占一个行走者)的来历。

资源账推导

• 行走者数:$n+m$ 个逻辑比特各占一个行走者,$O(n+m)$。
• 静态门数:任一节点都可能落在活跃路径上,而路径必须容纳全部 $O(n+m)$ 个逻辑比特的行走者,故每个节点的环岛门阵列规模为 $O(n+m)$,全树合计

$G_{\mathrm{static}}\approx (n+m)2^n=O((n+m)2^n),$

与后续硬件提案引用的 $O(2^n(n+m))$ 同式Chakraborty & Chakrabarti 2026。

• 深度:原论文把处理 $2^n$ 个 $m$ 比特数据的电路深度计为 $O(n\log (n+m))$——树有 $n$ 层,每层的行走者路由按其电路构造摊到 $O(\log (n+m))$ 层两体散射门;本文库按此口径引用,层内结构的细节以原文为准。
• BB 对照(摘要口径):bucket-brigade 处理同样数据需 $O(n^2+nm)$ 步、$O(2^n+m)$ 个量子比特Asaka et al. 2023。量子行走方案把两项换成 $O(n\log (n+m))$ 与 $O(n+m)$。

权衡因此明确:省的是步数(多项式因子)与量子器件数(指数);付的是静态门(指数)。指数负担从”相干性维护”(BB 的 qutrit 树)转移到”静态制造”(环岛门网络)——器件身份变了,指数没有消失。此外该构造的两个关键件——环岛门与依赖双行走者散射的二比特门——只有理论定义,无实验演示,论文亦无噪声分析;实验可行性未证明。

推导五:里德堡 EIT 提案的透过率核算与参数质疑

机制与声称

2026 年 9 月,Chakraborty–Chakrabarti 给出迄今最具体的硬件提案Chakraborty & Chakrabarti 2026:在空芯光子晶体波导内的里德堡原子系综中,用双梯级 EIT、螺线磁场与偶极-偶极相互作用构造偏振依赖的 $\pm \pi /2$ 相位路由算符,以相位编码行走者(左/右圆偏振探测脉冲)实现确定性路由,替换掉 bucket-brigade 的有源 qutrit 节点。声称的数字:$n=20$ 树(超过 $10^6$ 个单元)透过率 99.993%,$n=30$ 时路由错误率 $<10^{-6}$,时间 $O(n\log (n+m))$、行走者 $O(n+m)$、静态门 $O(2^n(n+m))$——渐近账与 2023 年构造一致,指数底账未变。

透过率的线性律:数字从哪来

其损耗模型可以直接重算。行走者下行 $n$ 段、回程 $n$ 段,共 $2n$ 个长度 $L$ 的波导段;强控制场区制下有效吸收系数 ${\kappa }_l^{\prime }\approx 1.67\times 10^{-4}{\mathrm{m}}^{-1}$、段长 $L=1\mathrm{cm}$,累计损耗为

$\mathcal{L}(n)=2n{\kappa }_l^{\prime }L,T(n)=1-\mathcal{L}(n)(\mathcal{L}\ll 1).$

代入:$n=20$ 时 $\mathcal{L}=2\times 20\times 1.67\times 10^{-4}\times 10^{-2}=6.68\times 10^{-5}$,$T\approx 99.993\%$,与声称一致;$n=30$ 时 $\mathcal{L}=1.00\times 10^{-4}$,$T\approx 99.99\%$。线性律 $T(n)\approx 1-2n{\kappa }_l^{\prime }L$ 意味着即便 $n=10^3$,模型内损耗也只有约 $0.3\%$——衰减在这套参数下确实无害。但要看清:结论完全由 ${\kappa }_l^{\prime }$ 的取值承载,而 ${\kappa }_l^{\prime }$ 来自强控制场、EIT 带宽条件等一整串解析近似;这本账正是推导三传输存活律在”乐观参数”下的样子。

参数质疑

这些数字宜谨慎引用,该预印本的参数选取存在明显疑点:其一,里德堡主量子数取 $n=10/15$,远低于常规强相互作用区间的 $n\sim 60$–$100$,原文未作解释;其二,$B\approx 10^{-9}\mathrm{T}$ 的螺线磁场异常微弱;其三,损耗只计入路由节点的空间损耗,行走者在波导中的传输损耗被原文明言”另行存在”——上面的透过率因此是总损耗的下界;其四,$n=20$ 树意味着 $2^{21}-1\approx 2.1\times 10^6$ 个节点与波导段,制造与串扰完全未讨论;其五,相位选择波导本身只是引文献的假设器件。作为方向性提案有价值,但距离可信的器件账目尚远,综述的立场是”数字宜谨慎引用”(机制与质疑的完整版见 里德堡 EIT 方案)。

数值算例:$n=20$ 与 $n=30$

约定:行走者数取 $n+m$;静态门取 $(n+m)2^n$;深度取 $n{\log }_2(n+m)$;不保真度按推导三的 union bound $(4n+m)\epsilon$;存活率按推导三 $1-2n\delta$;BB 对照按 QR026 摘要口径($2^n+m$ 个 qutrit、$n^2+nm$ 步)。$m=32$ 为本词条选取的示例字长;所有公式只校准数量级,不充当工程估计。

$n=20$($N=2^{20}\approx 1.05\times 10^6$ 个单元):

账目	量子行走(2023 口径)	bucket-brigade 对照
行走者 / 量子器件	$52$ 个行走者	$2^{20}+32\approx 1.05\times 10^6$ 个 qutrit
静态门	$52\times 2^{20}\approx 5.5\times 10^7$	—
深度/步数	$20\times {\log }_{2}52\approx 114$ 层	$n^2+nm=1040$ 步(串行)
每查询不保真度	$(4n+m)\epsilon =112\epsilon$;$\epsilon =10^{-4}$ 给 $1.1\times 10^{-2}$	GLM 口径 $20\epsilon$;同 $\epsilon$ 给 $2\times 10^{-3}$
存活率($\delta =10^{-5}$/段)	$1-2n\delta =99.96\%$	不适用(节点不走动)

$n=30$($N=2^{30}\approx 1.07\times 10^9$ 个单元):

账目	量子行走(2023 口径)	bucket-brigade 对照
行走者 / 量子器件	$62$ 个行走者	$2^{30}+32\approx 1.07\times 10^9$ 个 qutrit
静态门	$62\times 2^{30}\approx 6.7\times 10^{10}$	—
深度/步数	$30\times {\log }_{2}62\approx 179$ 层	$n^2+nm=1860$ 步(串行)
每查询不保真度	$(4n+m)\epsilon =152\epsilon$;$\epsilon =10^{-4}$ 给 $1.5\times 10^{-2}$	GLM 口径 $30\epsilon$
里德堡提案声称	$n=30$ 路由错误 $<10^{-6}$(其 EIT 模型内口径,不含门错误与传输损耗)	—

两个规模合起来勾勒出这条路线的处境:时间($10^2$ 层)与行走者数($10^1$–$10^2$ 个)完全在可及范围,指数被推到静态门一栏($10^7$–$10^{10}$ 个)——方案成立与否,取决于”指数规模的经典静态结构能否便宜地造出来,并被一个相干行走者可靠穿过”:前半句是制造问题,后半句是推导三的线性账。另注意里德堡的 $10^{-6}$ 与 union bound 的 $10^{-2}$ 不可直接比较:前者是其 EIT 模型内的路由错误率,后者的口径含全部量子操作,两套口径混用会高估成熟度(口径纪律见 成本口径)。

讨论:定位与边界

与 bucket-brigade 的正面账。 两家共享”少激活”的直觉,但把量子信息放在哪截然不同:BB 放在树上(活跃 qutrit + 不得误激发的等待节点),行走者放在路上(一个移动载具 + 桶)。成熟度也不对称:BB 有严格韧性定理(见 噪声韧性)、有全循环实验与错误注入证据(浙大,见 bucket-brigade 架构);行走者路线资源账更表观更省,但没有韧性定理、没有实验,唯一的第三方数据是 QR041 的模拟——平方标度与 BB 持平Singal & Smith 2025。

GLM 系的回归。 量子行走路线在 2025 年出现了一个耐人寻味的转折:De Riso、Catalano、Lloyd、Giovannetti 与 De Santis——原始 QRAM 作者阵营的自我更新——给出资源高效的量子行走 QRAM:以局部酉操作与少量行走者间短程相互作用组成的可重复操作块为基本单元,行走者只在单棵二叉树上行进,在显著压缩资源需求的同时保持最优的查询复杂度标度,与 bucket-brigade 展开正面竞争De Riso et al. 2025。

与电路路线的账本对照。 用 成本口径 的存量/流量语言:量子行走与 BB、fanout 同属器件路线——把指数记入存量(静态门网络),每查询只付 $O(n\log (n+m))$ 的流量;QRAM_poly、qROM 等电路路线把 $\Theta (N)$ 记入每次查询的流量,不赌任何器件(见 多项式编码 QRAM 与 边界:态制备电路不是 QRAM)。Jaques–Rattew 的电路下界管不到专用器件,但管得到”这样的器件是否存在、是否便宜”这个问题本身Jaques-Rattew。

被动性一端。 2023 年构造”全程无需时间依赖控制”,2026 年提案靠静态磁场与偶极相互作用自主路由——在 active/passive 光谱上,这是器件家族里最被动的一端:查询由静态结构自主完成,理想情形下每次查询的经典干预趋近于零Jaques-Rattew。但被动不等于便宜:Jaques–Rattew 对少项哈密顿量的约束之所以不适用,恰恰因为静态门网络本身就是指数规模的哈密顿量——指数以存量形式照付,只是从干预账挪进了制造账。

边界清单。 引用这条路线时建议逐条核对:(1) 环岛门与双行走者散射二比特门无实验演示;(2) 奠基两篇(2021/2023)无噪声模型、无保真度数字、无实验参数;(3) 无 Hann 型韧性定理,唯一噪声数据是 QR041 的数值模拟;(4) 静态门 $O((n+m)2^n)$ 的指数存量;(5) 行走者全程存活的线性账,常数完全由硬件决定;(6) 里德堡提案的性能数字参数存疑。前四条与 BB 的对应弱点互为镜像——两家的胜负手都在”指数那一步能不能造出来”,只是指数记在不同的科目里。

延伸阅读

• 里德堡 EIT 方案
• bucket-brigade 架构
• 噪声韧性
• 查询语义:路由与读出
• 成本口径:激活门、干预与能量
• 异构纠错 QRAM
• fanout 架构
• 多项式编码 QRAM