分类学:四分类与主动/被动

文献中存在三套正交的 QRAM 分类:按地址与数据的经典/量子组合四分类、按路由机制分的架构二分、按每次查询干预成本分的主动/被动二分。

三套坐标:定义回顾

评价任何 QRAM 方案前,先明确三套坐标各自回答什么问题:

坐标	提出者	回答的问题	判据对象
地址/数据四分类	Kuperberg,经 [[sources/QR003	Jaques-Rattew]] 系统化	做什么:地址与数据各是经典还是量子
fanout/桶队二分	GLM [[sources/QR001	GLM PRL 2008]] [[sources/QR002	GLM PRA 2008]]
active/passive 二分	[[sources/QR003	Jaques-Rattew]]	谁付账:每次查询要多少外部干预

三套坐标相互正交:知道一个方案是 QRACM 语义,推不出它的路由方式;知道它用桶队路由,也推不出它是主动还是被动——后者取决于驱动方式的选择,不取决于树形拓扑。现成的读数:浙大实验 Shen 2026 是 QRACM 语义、bucket-brigade 架构的器件级验证;电路式 qROM Babbush 2018 在四分类下属 QRACM 语义,却不属器件(见 边界:qROM 电路与 QROM 模型);GLM 的受激 Raman 提案虽是桶队路由,却因需外部驱动场被判为主动 Jaques-Rattew。

Kuperberg 四分类

定义与判据

按地址经典/量子、数据经典/量子组合(经 Jaques–Rattew 系统化 Jaques-Rattew):

名称	地址	数据	说明
CRACM	经典	经典	即经典 RAM
CRAQM(RAQM)	经典	量子	随机存取量子存储器,不属本站 QRAM
QRACM	量子	经典	算法最常假设的形态
QRAQM	量子	量子	读出为 SWAP 型;写半边几乎无方案

判据只有一条:地址寄存器是否处于叠加态、查询是否相干。QRACM 与 QRAQM 的查询语义是幺正映射

$$U_{\mathrm{QRAM}}:\sum _{\mathbf{x}}{\psi }_{\mathbf{x}}|\mathbf{x}⟩|0⟩⟼\sum _{\mathbf{x}}{\psi }_{\mathbf{x}}|\mathbf{x}⟩|D_{\mathbf{x}}⟩,$$

对全部被寻址单元做一次相干读取。CRAQM 的选址由经典编程的控制信号完成:每次操作只涉及一个经典确定的地址,不存在 ${\sum }_{\mathbf{x}}$ 意义上的叠加,路由机构无须在分支间维持相干——这正是它与后两类的本质差别(查询的两个子任务见 查询语义:路由与读出)。四个格子是”地址×数据”二属性的完全组合,故分类是完备的:任何存储方案必落入且仅落入一格。

读出不对称性:四类难度为何不等

四类的实现难度并不对称,根源在读出端的数据属性。经典数据(CRACM、QRACM)可由条件相位($Z^{D_{\mathbf{x}}}$,按数据位翻转相位)或受控非读出——数据是经典比特,按基矢条件地”复制”到总线寄存器不违反任何定理。量子数据(CRAQM、QRAQM)受不可克隆定理限制:未知态无法在复制到总线的同时保留单元内副本,读出只能是 SWAP 型的”取出并搬走”,查询消耗单元内容。

写半边差别更悬殊:按经典地址写入量子态是量子存储器的常规操作;按量子地址写入几乎没有已知方案 Liu 2023,故 QRAQM 的现实形态是”只读 + SWAP 取出”。这也是 QRACM 成为量子机器学习、量子线性代数实际假设形态的原因:算法要的是对经典数据表的叠加查询。

两个易误判案例。其一,CRAQM 的代表是清华 105 比特随机存取量子存储 Jiang 2019:210 个单元存 105 个光子比特、可编程顺序读写,但寻址由经典射频信号驱动声光偏转器完成,与叠加寻址无关,属量子存储器而非 QRAM(见 边界:RAQM 与量子存储)。其二,电路式 qROM Babbush 2018 在四分类下属 QRACM 语义,却是查表电路而非存储器件——四分类只刻画语义,不承诺实现方式(见 边界:qROM 电路与 QROM 模型 与 边界:态制备电路不是 QRAM)。

架构二分:激活账的推导

记号与两种账目

设 $n={\log }_{2}N$ 为地址比特数,树有 $N-1$ 个路由节点、$N$ 个存储单元;单次节点操作(开关置位、CNOT、SWAP、光子-节点散射等)的错误率为 $\epsilon$。定义两个账目:

• 同时激活数 $A_{\max }$:一次查询中,任一时刻处于激活态(状态依赖地址分支)的组件数上界。它计量相干性暴露面:必须在叠加中维持相干的组件越多,退相干通道越多。
• 操作总数 $W$:一次查询中节点级量子操作的累计次数。它计量误差预算:在独立或任意关联的错误下,union bound 给出总错误概率

$$P(\text{至少一处出错})\le \sum _{j=1}^W{p}_j\le W\epsilon ,$$

其中 $p_j\le \epsilon$ 为第 $j$ 次操作的错误概率(不等式不要求独立,只要求逐项错误率有界)。

两个账目对应不同的物理后果,也对应文献中不同的”货币”。下面分别对 fanout 与 bucket-brigade 做账。

fanout:$W=\Theta (N)$ 的推导

fanout 把经典寻址直接量子化:第 $k$ 个地址比特须控制第 $k$ 层的 $2^k$ 个开关($k=1,\dots ,n$),全树共 ${\sum }_{k=1}^n{2}^k=2^{n+1}-2=2N-2$ 个开关。在”每门至多涉及两个量子比特”的标准电路模型下,扇出须经 CNOT 级联实现:每执行一个 CNOT,持有地址比特基矢值副本的线路数至多增加一,故把 $x_k$ 展开到 $2^k$ 条控制线恰需 $2^k-1$ 个 CNOT(从 1 份复制到 $2^k$ 份)。对 $x_k$ 做扇出在计算基矢上的作用是

$$|x_k⟩|0{⟩}^{\otimes (2^k-1)}⟼|x_k⟩|x_k{⟩}^{\otimes (2^k-1)},$$

对叠加态则产生地址与全部副本的纠缠——这正是设计意图,也是脆弱性的来源。全树合计:

$$W_{\mathrm{fanout}}=\sum _{k=1}^n(2^k-1)=\left(2^{n+1}-2\right)-n=2N-2-n=\Theta (N).$$

同时激活数:扇出完成后,$2N-2$ 个开关同时持有依赖地址的取值(第 $k$ 层每个开关的取值都随 $x_k$ 变化,而每个 $x_k$ 在叠加中取两个值),故

$$A_{\max }^{\mathrm{fanout}}=2N-2=\Theta (N).$$

误差账:代入 union bound,

$$P(\text{查询出错})\le (2N-2-n)\epsilon \approx 2N\epsilon =2^{n+1}\epsilon .$$

要使总错误率不超过 $O(1)$,须 $\epsilon =O(2^{-n})$——单门误差须随规模指数缩小;这正是 GLM 的结论:大规模下”必然屈服于噪声与退相干” GLM PRA 2008。GLM 首篇还给出更细的退化图景:若每条地址线各坏一个门,保真度随层数按 $2^{-k}$ 衰减 GLM PRL 2008。直觉:fanout 把地址信息摊到 $O(N)$ 个组件,错误概率的线性累加遇上指数增长的组件数,只剩指数缩小单门错误率一条出路。

bucket-brigade:激活轮廓 $a(t)\le t+1$ 的推导

桶队的接力机制:节点为三能级 qutrit,取等待态 $|\mathrm{wait}⟩$ 与两个指向态 $|\mathrm{left}⟩/|\mathrm{right}⟩$;第 $i$ 个地址比特进树时与已激活的前沿节点交互并被”吸收”,把该节点置向左或右,随后沿已刻出的路径前行。于是注入 $t$ 个地址比特后的激活数为

$$a(t)=t\le n+1=O(\log N),$$

即 $A_{\max }^{\mathrm{BB}}=O(\log N)$,与 $N$ 无关:任意时刻其余 $(N-1)-(n+1)$ 个节点停留在等待态,不参与相干演化,也不与地址纠缠。直觉:桶队不把地址”广播”给每一层,而是让地址信息自己走进树、走到哪激活到哪——相干性暴露面从全树收缩为一条从根到当前前沿的路径。

操作总数:Hong 等对 GLM qutrit 版的逐项清点是每次存储调用 $n(n+5)/2$ 次节点量子操作 Hong 2012。这个数有一个直观的拆法:地址阶段,第 $i$ 个地址光子须穿过 $i-1$ 个已激活节点(每次穿越是一次节点操作)再被第 $i$ 层前沿吸收,计 $i$ 次,合计

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

读出与复位阶段,总线往返完整路径,再计 $2n$ 次。两块相加:

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

误差账相应为 $\frac{n(n+5)}{2}\epsilon$——多项式而非指数。两能级路由器把节点简化为两态比特:地址光子在自己的层被吸收存储,此后作为单光子穿过其余节点时不再消耗任何节点操作,操作总数降至平均 $n/2$ Hong 2012,误差账降为 $\frac{n}{2}\epsilon$,恰为 GLM”每层一次机会”口径(${\log }_{2}N\cdot \epsilon$)的一半。

三种货币:同一架构的三个读数

货币	fanout	bucket-brigade	出处与口径
扳动的开关数(激活)	$\Theta (N)$	$O(\log N)$	GLM PRL:“O(log N) switches need be thrown” [[sources/QR001
节点操作总数/每次调用	$\Theta (N)$	$\frac{n(n+5)}{2}=\Theta ({\log }^{2}N)$(qutrit);平均 $n/2$(两级)	Hong 等清点 [[sources/QR024
需纠缠的两体相互作用门(量子数据)	$O(N)$	$O({\log }^{2}N)$	站内对 GLM 两篇的归纳 [[sources/QR001

GLM PRA 摘要的”每次调用只需激活 $O(n)$ 个门”与 Hong 清点的 $\Theta (n^2)$ 并不矛盾:前者数”被置位的开关”,后者把穿越在内的全部节点操作都计入。同一架构、三种货币、三个读数——引用任何账目前先问数的是什么,这是 成本口径:激活门、干预与能量 的主题。

激活数的树内下界

在”总线从根进入、数据位于叶、查询全程相干”的树路由框架内,激活数有下界:被选叶子的数据须跨越 $n$ 层才能到达总线,每一层至少一个节点必须携带分支信息且保持相干,故任何树路由方案 $A_{\max }\ge n=\Theta (\log N)$。桶队达到该下界(相差常数 1),fanout 超出下界 $\Theta (N/\log N)$ 倍。这是框架内的直觉论证而非普适定理(非树与电路方案另行记账);它说明桶队的 $O(\log N)$ 不是设计巧合,而是”沿路径传递信息”任务本身的要求。

复兴:全局多目标门下的 fanout

fanout 的坏账全部来自”每门至多两个量子比特”的电路模型假设。Gokhale 等指出该假设并非多数硬件的真实约束:离子阱全局 Mølmer–Sørensen 门、超导全局驱动等可一步完成单控制多目标 CNOT,基于 fanout 的显式存储回到 $O(n)$ 深度、零辅助比特 Gokhale 2020;离子阱建模中 $N=8$ 同时 fanout 保真度 98.8%(串行 97.5%)。要注意这改变的是深度账:全局门把 $\Theta (N)$ 个目标操作压进一个物理步骤,参与组件的数量并未减少;其误差是否随目标数增长取决于平台噪声模型,这正是该路线必须逐平台建模的原因。

主动/被动:干预坐标的形式化

定义

Jaques–Rattew 把 gate-QRAM(专用器件路线)按每次访问所需的控制器主动干预次数二分 Jaques-Rattew:

• active(主动):每次访问需 $\Omega (N)$ 次来自经典控制器的主动干预;
• passive(被动):每次访问需 $o(N)$ 次干预;理想情形(“ballistic”,弹道式)是零干预——查询由单一不含时哈密顿量自主完成,

$$U(T)=e^{iH(T)t},$$

稍放松的版本允许乘积 ${\prod }_{j=1}^k{e}^{i{H}_j{t}_j}$ 但要求 $k=o(N)$。

判据的操作含义:路由树的 $N-1$ 个节点每个都要对进来的信号”做点计算”,主动与被动之别在于该计算靠外部过程逐节点驱动,还是自主发生。这一二分的原始版本是 Aaronson 的脚注:若 QRAM 主动到每个存储数都配一个并行处理单元,这些单元本身就能经典并行地解同一问题,量子加速被机会成本吞掉 Aaronson 2015(见 被动性论证 与 机会成本定理)。

干预-时间-能量三角

被动哈密顿量不能便宜地构造。Jaques–Rattew 的定理(其文定理 VI.1):设哈密顿量至多 $m$ 项、每项至多 $k$ 局域、能量范围 $[-E,E]$,演化时间至多 $t$;若规模 $N$ 的 QRACM 门全部可由这类哈密顿量实现,则可服务的表规模 $W$ 满足

$$mtE+m\log W\ge \Omega (N).$$

读法:式中有三个货币——项数(正比于构造哈密顿量所需的干预数)、时间、能量。任意固定两个,第三个必须随 $N$ 线性增长:

• 固定 $m,E$(工程现实:哈密顿量项数与能标受限)→ $t=\Omega (N/mE)$,查询时间线性于表规模;
• 固定 $t,E$ → $m=\Omega (N/tE)$,干预数线性于表规模,即回到 active;
• 固定 $m,t$ → $E=\Omega (N/mt)$,能量账线性于表规模。

J-R 据此给出总判断:$N$ 比特的 QRAM 访问要么付出 $\Omega (N)$ 的能量/计算/某种代价(即 active),要么每个物理组件的误差率须达 $O(1/N)$。三角没有第四个角:“既快、又省、又无需干预”的 QRAM 不在该不等式允许的空间内。

路径独立性:为什么被动是唯一逃逸

叠加查询不允许泄露走了哪条路:任何时序、光子数或发热上的路径关联,都等效于对地址寄存器的一次测量,“同时查询所有单元”退化为一次随机经典访问 Jaques-Rattew。这封堵了经典 RAM 的低功耗模式——经典寻址允许泄露路径,只需给 $O(\log N)$ 个门供能;QRAM 的路径在查询前不确定(处于叠加),若节点需要逐点干预,就必须在查询前对全部节点干预,干预数 $I=\Omega (N)$。这也是”经典 RAM 需 $\Theta (2^n)$ 次激活、量子 RAM 仅 $\Theta (n)$ 次”的教程对照 Phalak 2023 被 J-R 判为方向可疑的原因:按干预口径,主动式 QRAM 每次访问反而要 $O(2^n)$ 次外部干预,经典 RAM 只需给 $O(n)$ 个门供能 Jaques-Rattew。

被动也不免费。逐例看:GLM 的受激 Raman 实现需外部驱动场,实为 active;离子阱版需持续变化的囚禁场(持续供能);超导 transmon 路由器虽真 passive,但置态与路由光子必须异频,导致路由树只能有一层 Jaques-Rattew。纠错与被动性还存在张力:Arunachalam 等指出,对桶队电路施加传统 CSS 纠错后,所有组件都须被主动检错纠错,“激活门少”的核心优势即告失去,BB 退化为 fanout 式架构 Arunachalam 2015;而 Hann 等证明桶队的好处在使用纠错后依然保留(硬件效率与对逻辑错误的韧性),条件是单次查询不保真度满足 $1-F\le 4\epsilon T\log N$($T$ 为查询步数,任意噪声信道含相干错误均成立) Hann 2021。两条结论合读:无纠错的韧性真实且已被严格证明,但”韧性”与”容错接口”是两道独立的门。

能量账

干预最终折算为能量。J-R 的示意账:每比特每次访问哪怕只耗散一个可见光子的能量,$2^{50}$ 比特约 1 kJ、$2^{80}$ 比特约 1 GJ Jaques-Rattew;对照需求侧(格密码筛选需 $2^{49}$–$2^{78}$ 比特 QRACM、SHA-256 碰撞搜索需 $2^{93}$ 比特),能耗账不是细节而是判据。精度同理脆弱:相位门 fanout 要求分束器透过率 $\tau \approx 2^{-n}$,而 J-R 算过,单个微波光子对 10 g 镜子的动量冲击即可使法布里-珀罗腔镜子位移腔长的 $2^{-98}$——比 $2^{-128}$ 定位精度需求大 $2^{30}\approx 10^9$ 倍 Jaques-Rattew。指数小量在真实器件中没有容身之处。

各方案的坐标读数

方案	四分类语义	架构轴	主动/被动
fanout(GLM 2008)	QRACM	fanout	active(每查询扳动 $\Theta (N)$ 开关)
桶队 qutrit(GLM 2008)	QRACM	bucket-brigade	视实现:Raman 版 active;理想 ballistic passive
两能级路由器(Hong 2012)	QRACM/QRAQM 兼容	bucket-brigade(节点级简化)	逐层驱动场,严格意义 active;操作账大降
电路 qROM(Babbush 2018)	QRACM 语义,非器件	—(电路)	每查询 $\tilde{\Omega }(N)$ 门(定理 5.2)
虚拟 QRAM(Xu 2023)	QRACM	BB + SQC 混合	混合:路由段器件、SQC 段 active
资源态 QRAM(Cesa 2026)	QRACM	BB 家族($V^{-1}{W}_{D}V$)	在线 Clifford;工厂 $\Omega (N)$ 离线显式计账
浙大实验(Shen 2026)	QRACM 语义、器件级验证	bucket-brigade	两层/三层演示,保真度 0.800/0.604

数值算例

算例一:$n=30$ 的表,单操作错误率 $\epsilon =10^{-3}$

取 $N=2^{30}\approx 1.07\times 10^9$(GB 量级数据表),$\epsilon =10^{-3}$(当前主流双比特门水平):

• fanout:$W=2N-2-n\approx 2.15\times 10^9$;期望错误数 $W\epsilon \approx 2.15\times 10^6$,查询存活概率 $(1-\epsilon {)}^W\le e^{-W\epsilon }\approx 0$。要存活须 $\epsilon \lesssim 1/(2N)\approx 4.7\times 10^{-10}=2^{-31}$,验证 $O(2^{-n})$ 的结论。
• 桶队 qutrit:$W=\frac{n(n+5)}{2}=\frac{30\times 35}{2}=525$;期望错误 $525\times 10^{-3}=0.525$,保守估计 $F\lesssim e^{-0.525}\approx 0.59$。
• 两级路由器:$\bar{W}=n/2=15$;$\bar{W}\epsilon =0.015$,$F\gtrsim 0.985$。
• GLM”每层一次”口径:$n\epsilon =3\%$;GLM 自己的数字是 $\epsilon =1\%$ 时 $2^{10},2^{20},2^{30}$ 地址对应总误差 10%、20%、30% GLM PRA 2008,与本例同一线性律。

同一架构、同一参数,四个读数横跨多个数量级——不是谁算错了,而是货币不同;报账目必须连口径一起报。

算例二:把这张表用作 Grover 预言机

对 $N=2^{30}$ 的表做搜索需 $T=\frac{\pi }{4}\sqrt{N}\approx 2.6\times 10^4$ 次预言机调用。Arunachalam 等(依 Regev–Schiff)证明:桶队用作搜索预言机时每门错误率须 $o(2^{-n/2})=o(3.1\times 10^{-5})$ Arunachalam 2015。这个界的标度用 union bound 就能复原:全部调用累计错误 $\lesssim T\cdot n\cdot \epsilon$,要求不超过 0.1 得

$$\epsilon \le \frac{0.1}{Tn}\approx \frac{0.1}{2.6\times 10^4\times 30}\approx 1.3\times 10^{-7}=O\left(\frac{2^{-n/2}}{n}\right),$$

与 $o(2^{-n/2})$ 同标度。对照算例一的 $\epsilon =10^{-3}$:超出需求约四个数量级,且 $Tn\epsilon \approx 7.7\times 10^2$——预言机在搜索完成前就已彻底退相干。结论:多项式次查询的算法(矩阵求逆、QML)对 $\epsilon$ 只有多项式要求 Arunachalam 2015,$\sqrt{N}$ 次查询的搜索则把要求推到 $2^{-n/2}$——这是”QRAM 是否需要纠错”之争的算法侧根源。

算例三:工厂账

工厂侧以资源态 QRAM 为例 Cesa 2026:每份资源态消耗 $O(N)$ 个 Bell 对与 $O(N\log N)$ 个 Toffoli。取 $N=2^{13}$(1 kB 表):$N{\log }_{2}N=8192\times 13\approx 1.1\times 10^5$ 个 Toffoli/份;工厂周期 $T_{\Phi }\lesssim 3\sqrt{6}T{N}^{1/4}+2\tau \log N$,其中 $N^{1/4}=2^{3.25}\approx 9.5$,代入 $T=33\mu s$、$\tau =500\mu s$:第一项 $\approx 7.35\times 33\times 9.5\approx 2.3$ ms,第二项 $\approx 2\times 500\times 13=13$ ms,合计约 15 ms/份——对应约 65 Hz 补货速率,与文献给出的查询时延 13 ms、工厂速率 0.1 kHz 同量级。$\Omega (N)$ 的账没有消失,但已从”隐藏假设”变成”流水线节拍”——下一节正式化这一坐标移动。

站内知识组织:五卷与判定流程

本站 49 个词条按 tags 分五卷:综述与概念界定(11)、架构设计(11)、硬件与实验(10)、噪声与容错(9)、算法与批判(8);文献页 QR001–QR060 按同一体系标记主题。五卷常被概括为”概念—架构—硬件—算法”四条主线,外加横切的噪声与容错卷,各卷定义间是流水线式的逻辑关系:

• 概念界定卷定义对象:查询语义与四个边界词条,回答”什么算 QRAM”;四分类坐标落户于此。
• 架构设计卷定义机制:路由拓扑与动力学,回答”怎么路由”;GLM 二分坐标落户于此。
• 硬件与实验卷定义载体:节点物理与器件演示,回答”用什么造”。
• 噪声与容错卷定义失效方式:误差标度、韧性定理、纠错接口,回答”坏了会怎样”;它横切架构卷——韧性是架构的属性,不是独立器件。
• 算法与批判卷定义后果:oracle 假设、去量子化、机会成本,回答”谁付账、值不值”;主动/被动坐标落户于此。

判定流程(给新方案定卷与定坐标):

1. 语义检验:是否以 $U_{\mathrm{QRAM}}$ 语义(见”Kuperberg 四分类”节)为目标?否→概念界定卷的对应边界词条;是→进入下一步。
2. 主要贡献检验:路由/系统机制→架构设计卷;节点物理或实验演示→硬件与实验卷;噪声/纠错分析→噪声与容错卷;算法后果或成本批判→算法与批判卷。
3. 坐标标注:无论归入哪卷,给出三套坐标读数;跨卷贡献以另卷词条交叉引用(如 Hann 韧性定理归噪声与容错卷,其”任意节点修正可行”结论被两能级路由器引用 Hann 2021)。

卷归属与三套坐标正交:归卷按”主要贡献”,坐标按”方案本身”——tag 告诉你该读它哪一段,坐标才告诉你它是什么。

边界案例推演

三个易混方案的坐标推演如下(机制细节见 虚拟 QRAM 与系统架构、资源态 QRAM、两能级路由器;三者均归架构设计卷,坐标读数各异)。

虚拟 QRAM:一笔账拆两半

Xu 等把 $n=k+m$ 位虚拟地址拆成两段 Xu 2023:低 $m$ 位由物理容量 $M=2^m$ 的桶队路由器做相干随机访问;高 $k$ 位由顺序多控制门(SQC,QROM 类电路)决定装载哪一页。两段的账目性质完全不同:路由器段是器件账($A_{\max }=O(m)$,Z 偏置下 $F\ge 1-4\epsilon {\log }^{2}M$);SQC 段是电路账(深度 $m\cdot 2^k$、T-depth $(m+k)\cdot 2^k$,每查询 $\Theta (2^k)$ 次干预,门数落在定理 5.2 的 $\tilde{\Omega }(N)$ 预算内,$N=2^{k+m}$ 为虚拟表规模)。取 $k=10,m=20$(虚拟表 $2^{30}$):SQC 段深度 $20\times 1024\approx 2.0\times 10^4$,桶队段操作数约 $m^2=400$——干预账被 SQC 段主导,整体应判”带被动路由子系统的主动方案”。判定要点:虚拟化的收益在空间($O(2^m)$ 比特查询 $2^{k+m}$ 虚拟空间)与布图,不在成本坐标——它没有绕开任何下界。

资源态 QRAM:把 $\Omega (N)$ 搬进工厂

按 Jaques–Rattew 的严格定义,资源态 QRAM 仍是主动的:每份资源态消耗 $O(N)$ Bell 对与 $O(N\log N)$ Toffoli,逐查询补货 Cesa 2026。但干预的性质有三重变化,须逐一记入坐标:离线——全部非 Clifford 成本移出查询路径,在线只剩 Clifford 门与单比特测量;数据无关——资源态不依赖存储内容,工厂只生产态、不算你的线性代数,“控制硬件重编程为并行经典机”的机会成本论证不再直接适用;显式——$\Omega (N)$ 以工厂周期与补货速率计价(算例三的 ~15 ms/份),而非藏在”假设存在 QRAM”里。资源态化把 active 批评从”概念缺陷”降格为”工程参数”,缩小但未消除;又因在线全 Clifford 可与表面码/CSS 码横向容错对接,主动/被动坐标与容错接口坐标在此交汇——这也是它跨噪声与容错卷被引用的原因。

两能级路由器:架构轴内部的子坐标

Hong 等的简化不动树拓扑、不动接力动力学,只把节点从三态 qutrit 换成两态比特 Hong 2012。逐坐标检验:激活轮廓 $a(t)\le t+1$ 不变,$A_{\max }$ 仍为 $O(\log N)$——它仍是桶队;操作账从 $\frac{n(n+5)}{2}$ 降到平均 $\frac{n}{2}$(因子 $n+5$,$n=30$ 时即 525→15);误差账降为 $\frac{n}{2}\epsilon$。它的主动/被动读数反而不如想象中”干净”:阻抗匹配控制场 $\Omega (t)$ 逐层同步驱动,每查询仍有外部驱动,严格意义属 active——操作账的改善与干预账的改善是两回事。该案例还揭示 GLM 二分自身的层级:拓扑级(树 vs 非树)、动力学级(fanout vs 桶队)、节点级(qutrit vs 两能级),两能级路由器是节点级坐标点。其 polylog 韧性由 Hann 定理对”任意初态、任意节点修正”的覆盖保证 Hann 2021——判定流程第 3 步(跨卷引用)的实例。

使用分类的三个常见误用

1. 把语义当器件:宣称 QRACM 语义的算法不等于存在器件。电路式查表在四分类下同属 QRACM 语义,但每查询门数受 $\tilde{\Omega }(N)$ 下界约束 Jaques-Rattew,它没有下”专用硬件换对数深度”的赌注(见 边界:qROM 电路与 QROM 模型)。
2. 口径混用:激活数、操作数、干预数、能量是四种货币,量纲不同、结论不同(算例一)。比较方案前先统一货币,引用账目前先报口径(见 成本口径:激活门、干预与能量)。
3. 以卷代坐标:归入”架构设计卷”不等于”被动器件”——两能级路由器是主动的,资源态 QRAM 也不是被动的;主动/被动永远按干预账单独判定。

延伸阅读

• QRAM 总览
• 成本口径:激活门、干预与能量
• 边界:NISQ 可训练近似 QRAM
• 去量子化
• fanout 架构
• 桶队架构
• 机会成本批判
• 评价指标:六维打分卡