机会成本批判

Jaques 与 Rattew 的批判综述是 QRAM 领域最重要的"泼冷水"文献:active QRAM 的控制硬件可重编程为并行经典机从而吞掉量子优势,电路实现受 Ω̃(N) 门数下界,结论是"廉价 QRAM 应被视为不可行,除非被证明否则"。

active 还是 passive

Jaques & Rattew 2025 把 QRAM 二分为 active(每次查询需 $\Omega (N)$ 次外部干预)与 passive(查询由不含时哈密顿量自主演化,理想干预为零)。关键观察:与经典 RAM 不同,叠加访问必须把地址信息传递到存储器的每个比特——“同时执行所有可能的计算”在 QRAM 情形反而部分成立;而经典 RAM 只需给 $O(\log N)$ 个门供能、且允许泄露访问路径。passive 的严格形式是单一不含时哈密顿量 $U=e^{iHt}$;其引理 6.1 证明,任何由多项式个 Pauli 串加权组成的 QRACM 哈密顿量,能服务的表规模都受到项数、系数范数与演化时间乘积量级的上界约束——“每次访问重建哈密顿量”同样逃不掉 $\Omega (N)$。

机会成本论证(线性代数案例)

机会成本(opportunity cost)论证的经典载体是量子线性代数。定理 4.1:任意量子算法实现 degree-$k$ 的多项式特征值变换需要 $\Omega (k)$ 次 QRAM 查询;定理 4.2:并行经典机用 $O(k)$ 次矩阵-向量乘法可精确算出 $f(H)v$。合起来读:active QRAM 的控制硬件本身就是一台大规模并行经典机,量子线性代数的渐近优势大半消失——矩阵求逆的优势从指数级跌至(最好)多项式级。这对定理如何展开成可计算的交换比(exchange ratio),见推导一。

电路下界与蒸馏 no-go

定理 5.2(计数论证):用 $G$ 个门以误差 $\le 1/\sqrt{2}$ 实现任意分数 $\tau$ 的表,$G\in \tilde{\Omega }(N+\log \tau )$——电路 QRAM 门数 $\tilde{\Theta }(N)$ 本质最优,变分/连续参数化同样逃不掉(计数论证的逐步展开见 边界:qROM 电路与 QROM 模型 推导一)。定理 7.1:$d$ 次物理 QRACM 调用的非自适应蒸馏–传送过程,最小保真度不超过 $3/4+d\sqrt{2/N}$——对需要最小保真度的 database-Grover 是”harsh blow”,并封死 heralded QRAM 借传送进入纠错层的路径(该定理假设蒸馏过程与表无关,作者自认 somewhat unrealistic;后来的自适应蒸馏–传态协议正是绕开这一假设,见 蒸馏–传态协议)。

三尺度分析

以量子线性代数为案例的物理尺度推演:芯片内(免费连线+即时通信)无量子优势;2D 布线的中尺度,稀疏矩阵上 QRAM 有 $\tilde{O}((Nd{)}^{1/2})$ 时间优势——全文唯一留出的窗口(作者自己怀疑经典算法可改进);大尺度光速延迟主导,优势消失(引用 Frontier 超算:光穿越整机需 173 个时钟周期)。量子内存访问被引述为”takes the mother of all cache misses”。

物理判据与能量账本

path independence(路径独立):叠加访问不能泄露路径,故经典 RAM”只激活 $O(\log N)$ 个路由器”的低功耗模式对 QRAM 无效——均匀叠加下必须激活全部 $\Omega (N)$ 个节点(除非完全 passive;该下界的推导见 成本口径:激活门、干预与能量 推导三)。需求侧量化:格密码筛选需 $2^{49}$–$2^{78}$ bit QRACM,SHA-256 碰撞搜索需 $2^{93}$ bit;若每比特每次访问耗散一个可见光子能量,$2^{50}$ bit 约 1 kJ、$2^{80}$ bit 约 1 GJ。逐技术批判还覆盖桶队的各物理版本:原始 GLM 的受激 Raman 实现需外部驱动场(实为 active)、离子阱版需持续变化的囚禁场(持续供能)、transmon 路由器版虽真 passive 但置态与路由光子必须异频导致路由树只能有一层,等等。

推导一:机会成本的形式化——干预算力等价与交换比

出发点:同一笔预算的三种花法

把”工程预算”写成可记账的量,机会成本论证才成为推导。本词条以控制元件当量为货币:一条独立的经典控制/供电通道及其驱动电路,记单价 $b_c$;active QRAM 的定义本身就按这条货币计价——规模 $N$ 的 active 器件至少消耗

$$B_{\mathrm{QRAM}}\ge cN$$

个控制元件当量($c$ 为每节点通道数的量级常数)。同一笔预算 $B$ 有三种花法:

• 路线 A:造 QRAM。 得到 $N=B/c$ 个节点的器件。量子算法的墙钟时间

$$T_{\mathrm{Q}}=Q\cdot t_q(n)\cdot {\gamma }_{\mathrm{QEC}},n={\log }_{2}N,$$

其中 $Q$ 为查询次数,$t_q(n)$ 为单次相干查询时间(串行 $\Theta (n^2)$、流水线 $\Theta (n)$,见 成本口径 推导二、四),${\gamma }_{\mathrm{QEC}}\ge 1$ 为容错化慢化因子。

• 路线 B:买经典并行机。 $P$ 个处理元,每个经自己的通道直达一片存储。
• 路线 C:加量子硬件。 预算折成额外逻辑量子比特或更深电路。

路线 A 的狡猾之处:它花费的 $cN$ 个控制元件,本身就是路线 B 的处理元。驱动路由器开关的经典逻辑电路,换一份固件就是处理元;直达每个存储位的控制线,换一份固件就是并行机的数据通路。定理 4.2 的全部力量都押在这同一批硬件上。

active 困境:干预下界即并行算力

“控制硬件 = 并行经典机”与”每次查询 $\Omega (N)$ 次干预”是同一枚硬币的两面。路径独立性要求控制系统在查询前不得泄露将走哪条路径,故不能只给”将被激活的 $n$ 个节点”供能——它不知道也不允许知道是哪 $n$ 个——只能覆盖全部 $N-1$ 个可能被激活的节点,即 $N$ 条独立控制通道各自在查询窗口内完成置位/驱动:

$$I_{\mathrm{query}}\ge N-1⟺\text{每查询窗口,控制层执行 }\Theta (N)\text{ 次经典开关决策}.$$

开关决策是局域可编程的经典计算:把”第 $j$ 个节点在本拍置位”的波形换成”第 $j$ 个处理元在本拍执行指令”,同一批通道每步即执行 $\Theta (N)$ 次经典操作——active QRAM 自动附赠一台吞吐 $\Theta (N)$ op/step、数据线直达每个存储位的并行经典机。器件越 active,赠品越重;唯一拒收方式是把干预压到零,即 passive,而其表规模受引理 6.1 压制(本节第五小节)。

(建模注:通道按”每节点一线”计;真实网络的切分带宽只会让经典侧更慢,故以下是对量子侧最有利的口径——本词条建模。)

交换比:查询模型算法的硬件公平对照

考虑任何以 QRACM 为输入模型、“每轮一次查询”循环的算法(线性代数、振幅放大、量子行走皆属此型),设共 $k$ 轮。定理 4.1 说明量子侧的 $k$ 省不掉(实现 degree-$k$ 多项式特征值变换需 $\Omega (k)$ 次查询);定理 4.2 说明经典侧存在同样循环数的并行精确算法Jaques & Rattew 2025。两边循环数相同,胜负只剩单轮成本之比。

量子侧单轮成本: $t_q(n)\cdot {\gamma }_{\mathrm{QEC}}$,一次相干查询的墙钟。

经典侧单轮成本(本词条推导): 把同一轮搬到 $P=\Theta (M)$ 个处理元上($M$ 为表目数),唯一改动是把”相干查询”换成”取指读数”——QRACM 查询在经典世界的语义就是一次表访问。按功-深度(work–depth)口径,单轮并行时间为

$$T_{\mathrm{round}}=\frac{W_{\mathrm{round}}}{P}+D_{\mathrm{round}},$$

$W_{\mathrm{round}}$ 为单轮总操作数,$D_{\mathrm{round}}$ 为单轮并行深度(求和归约的树深,对数量级)。两种典型情形:

• 稠密表($N\times N$ 矩阵,$M=N^2$):一轮是稠密矩阵-向量乘,$W_{\mathrm{round}}=\Theta (N^2)=\Theta (P)$、$D_{\mathrm{round}}=O(\log N)$(每个输出分量是 $N$ 项和的归约树深),并行时间塌缩到深度项。对照量子侧 $t_q=\Theta ({\log }^{2}M)=\Theta (4n^2)$,加速比

$$A=\frac{T_C}{T_Q}=\frac{O(\log N)}{{\gamma }_{\mathrm{QEC}}\cdot 4n^2}=O\left(\frac{1}{{\gamma }_{\mathrm{QEC}}n}\right)<1:$$

经典并行机更快,容错慢化因子只是让差距更难看。

• 稀疏表(每行 $d$ 个非零,$M=dN$):$W_{\mathrm{round}}=\Theta (dN)=\Theta (P)$、$D_{\mathrm{round}}=O(\log d+\log N)$,于是 $A=O(\log (dN))/(\gamma t_q)$:流水线口径($t_q=\Theta (n)$)下至多同量级,串行口径($\Theta (n^2)$)下小于 1。

两情形合读,交换比的一般形式为

$$A=\frac{T_C}{T_Q}\lesssim \frac{\mathrm{polylog}(M)}{t_q(n){\gamma }_{\mathrm{QEC}}}=\mathrm{poly}(n).$$

这就是”渐近优势从指数级跌至(最好)多项式级”的算术内容:宣称中的指数优势来自”量子 polylog 对经典串行 $N$“的对照,而那个 $N$ 恰恰是机会成本送给经典侧的并行度;按硬件公平口径把 $P\approx N$ 记回去,指数分离无处安放,剩下的多项式因子还要被 ${\gamma }_{\mathrm{QEC}}$ 进一步蚕食。

数据库 Grover:最不利的用户

无结构搜索是 QRAM 最著名、也是机会成本口径下最惨烈的用例。量子侧:Grover 需 $Q=\frac{\pi }{4}\sqrt{N}$ 次相干查询,$T_Q=\frac{\pi }{4}\sqrt{N}{t}_q(n){\gamma }_{\mathrm{QEC}}$。经典侧(本词条推导):代理机连循环都不需要——把目标值经控制通道广播(树形扩散深度 $\log N$,或共享广播线 $O(1)$),$N$ 个节点同时比对各自存储位,再 $O(\log N)$ 归约命中位置:

$$T_C=O(\log N),\frac{T_Q}{T_C}=\tilde{\Theta }\left(\sqrt{N}{\gamma }_{\mathrm{QEC}}\right).$$

硬件公平口径下,数据库 Grover 不是”有没有优势”的问题,而是慢 $\tilde{\Theta }(\sqrt{N}{\gamma }_{\mathrm{QEC}})$ 倍的问题;定理 7.1 的保真度打击(“harsh blow”)在时间侧有个更朴素的版本:就算蒸馏免费送,时间也先输完了。

passive 逃生口的宽度

拒收赠品的唯一方式是 passive:查询由不含时哈密顿量 $U=e^{iHt}$ 自主演化,干预为零,控制层撤空,经典并行机无从谈起。引理 6.1 量化了这条逃生口有多窄:由 $L$ 项 Pauli 串加权(系数 ${\ell }_1$ 范数 $\Vert a{\Vert }_1$)组成的 QRACM 哈密顿量,可服务的表规模满足量级约束

$$N\lesssim \tilde{O}(L\Vert a{\Vert }_{1}t),$$

(项数 × 系数范数 × 演化时间;原文见 Jaques & Rattew 2025。)三个因子各自勒索一笔账:要 $N$ 大,要么 $L=\Omega (N)$ 项——哈密顿量依赖整张表,数据一换就得重建,“每次访问重建哈密顿量”以另一形式回归;要么 $\Vert a{\Vert }_1$ 或 $t$ 超多项式——查询慢化到不可用。量级感受(本词条估算):$N=2^{40}$ 且要求单次查询 $t\le n^2=1600$ 步,则 $L\Vert a{\Vert }_1\gtrsim 2^{40}/1600\approx 7\times 10^8$——十亿项量级的哈密顿量,换一次数据重造一遍。

直觉

机会成本论证可以压缩成一句会计恒等式:对经典数据做叠加访问的每一分”主动工程”,都同时记在量子账本(干预)与经典账本(算力)上,两边数额相同。 active QRAM 把 $P\approx N$ 的经典并行度从免费背景拉上了自己的资产负债表。逃出去只有三条缝:数据非经典(无可 reprogram 的副本)、干预为零(引理 6.1 勒住表规模)、或任务无法被同样循环数的经典并行算法复现(线性代数被定理 4.2 关掉,无结构搜索被并行暴力关掉)。

推导二:“先电路后器件”的决策树

交换比回答”造了值不值”,决策树(decision tree)回答更前置的一问:这个任务轮不轮得到器件?总原则:凡电路(或干脆不需要存储)能覆盖的场景,器件提案先出局——电路路线零硬件存量、确定性可编译、走标准容错流水线 Babbush 2018;器件路线的全部赌注压在尚未兑现的节点单价 $h$ 与错误率 $\epsilon$ 上。按硬件承诺递增设六道闸门,任一通过,任务即离开器件赛道。

G0 在线可计算。 数据能否写成 $f(\mathbf{x})$ 并由规模 $s(n)$ 的可逆电路在线生成?若 $s(n)\ll N$(典型:多项式),oracle 电路就是数据的紧凑存储,无需任何存储器件(见 边界:态制备电路不是 QRAM 推导二情形 B)。HHL 的稀疏行可计算 oracle 属此类 Harrow, Hassidim & Lloyd 2009。

G1 结构豁免。 表稀疏吗?非零项 $K$ 条的隐式电路成本 $\sim c_{1}Kn$、显式电路 $\sim c_{2}N$,交叉点在密度 $\rho \approx 1/n$:更空的表用隐式电路更省 Di Matteo 2020(交叉点推导见 边界:qROM 电路与 QROM 模型 推导三)。低秩、块结构、张量网络同理——账单由描述复杂度而非 $N$ 决定。

G2 分布形态。 要的是振幅编码吗?振幅来自闭式可积分布(log-concave 一族)时,Grover–Rudolph 型角度可解析编译;分布可学习时 qGAN 型加载以多项式门数完成 Stamatopoulos 2020——该期权定价流水线全文零次提及 QRAM。但可积性只解决”角度可算”,门数仍 $\Theta (N)$,只适合一次装载(边界:态制备电路不是 QRAM 推导三)。

G3 查询次数摊销。 密集无结构的表,查询次数 $Q$ 够小吗?T 货币的临界查询数(critical query count)$Q_T^{\ast }\approx h/4$(推导见 边界:qROM 电路与 QROM 模型 推导五):$Q<Q_T^{\ast }$ 时 qROM 的 $Q(4N-4)$ 个 T 比器件的 $hN+Qc{\log }^{2}N$ 便宜。由于 $h$ 是未兑现硬件的纸面参数,这道闸门今天只能保守地过:qROM 是唯一不赌硬件的选项,选器件即押注 $h<4Q$。

G4 输出契约。 只需要样本或期望值吗?量子算法对 QRACM 数据的”指数加速”若只兑现为采样输出,去量子化风险必须先排查:KP-tree 推荐系统被经典采样算法追平到多项式差距 Tang 2019;量子内积估计对均匀叠加输入只领先经典随机采样一个二次方因子 Aaronson 2015。过不了这道闸门,量子算法本身先要重新辩护。

G5 残余需求审计。 五道全败,器件才成为候选:密集任意表 + 巨量查询 + 时限紧 + 数据可写或量子数据。然后把推导一的干预/能量货币与推导三的误差预算过一遍——过不了,结论回到 Jaques–Rattew 原则。

树的出口

六道闸门把器件 QRAM 压到与 边界:qROM 电路与 QROM 模型「现状判断」重合的四类残余需求:查询巨大且时限紧、数据可写、量子数据(QRAQM)、NISQ 深度预算。只有”量子数据”天然免疫推导一——其余三类仍要过干预与能量审计;这正是本站把机会成本批判当作默认立场的理由。

推导三:查询次数–数据规模相图

相图(phase diagram)把前两节放进同一张平面:横轴 $n={\log }_{2}N$,纵轴 ${\log }_{2}Q$;不同成本货币画出不同临界线,器件值得造的区域是所有货币审计的交集。

三种货币,三条临界线

线 1(T 货币/门数):摊销临界 $Q_T^{\ast }$。 器件总账 $hN+Qc{\log }^{2}N$ 对 qROM 总账 $Q(4N-4)$,交叉点

$$Q_T^{\ast }=\frac{hN}{4N-c{\log }^{2}N}\approx \frac{h}{4}(N\gg {\log }^{2}N),$$

$h$ 为单节点全周期工程成本的 T 当量(推导全文见 边界:qROM 电路与 QROM 模型 推导五)。这是水平线:$Q>Q_T^{\ast }$ 时器件在 T 账上占优。但 $h$ 是未兑现硬件的纸面参数——这条线的位置本身就是全部争议。

线 2(时间货币/墙钟):流水线临界 $Q_{\mathrm{pipe}}^{\ast }$。 树形器件流水线填满后每 $p=\Theta (n)$ 层完成一次查询,填充延迟 $L=\Theta (n^2)$(见 成本口径 推导四),摊销深度 $\bar{\Delta }(k)=p+(L-p)/k$ 对比电路路线的单查询 $\Theta (N)$:$Q\gtrsim Q_{\mathrm{pipe}}^{\ast }\approx L/p\approx n/2$ 之后墙钟全面偏向器件。这条线低到几乎覆盖整个相图——墙钟货币对器件最有利,前提仍是器件存在且 $h,\epsilon$ 过关。

线 3(干预/能量货币):无临界 $Q$,只有竖直禁区。 active 器件每查询能耗下限 $E_{\mathrm{access}}(N)\ge N{e}_{\mathrm{bit}}$,锚点:$2^{50}$ bit 约 1 kJ、$2^{80}$ bit 约 1 GJ Jaques & Rattew 2025。总能耗 $Q\cdot E_{\mathrm{access}}$ 随 $Q$ 线性放大,没有”多查几次摊回来”的机制——$n\approx 50$ 及其右侧构成竖直禁区,任何 $Q$ 都救不回(本词条外推)。

误差预算线与 Grover 悬崖

第四条约束不属于成本、却更早咬人:噪声。Hann 界给出单查询不保真度 $1-F\le 4\epsilon T\log N$($\epsilon$ 单门错误率、$T$ 电路总门数;严格版见 噪声韧性);按激活节点口径取 $1-F\approx \epsilon {\log }_{2}N$(见 成本口径 推导二),$Q$ 次查询累计不保真度 $\lesssim Q\epsilon {\log }_{2}N$,要求 $\le \delta$ 解出可用性上界

$$Q_{\max }(\epsilon )=\frac{\delta }{\epsilon {\log }_{2}N}.$$

取对数后 ${\log }_2{Q}_{\max }\approx \text{常数}-n$:误差预算线是斜率约 $-1$ 的直线——器件能承担的查询数随表规模指数下降。Grover 的工作线 $Q=(\pi /4)\sqrt{N}$ 却指数上升。两线相交给出”不纠错可用”的最大规模:代入 $Q=\sqrt{N}$,

$$\epsilon \lesssim \frac{1}{\sqrt{N}{\log }_{2}N}=\frac{4}{\pi }\cdot \frac{2^{-n/2}}{n},$$

即 Arunachalam 等由 Regev–Schiff 论证得到的 $o(2^{-n/2})$ 判据 Arunachalam et al. 2015。数值(取 $\delta =1$):$n=20$ 得 $\epsilon \lesssim 6.2\times 10^{-5}$;$n=40$ 得 $3\times 10^{-8}$;$n=60$ 得 $\approx 2\times 10^{-11}$;$n=100$ 得 $\approx 10^{-17}$。前两档已越出当前工艺,后两档只能进纠错区——而 Arunachalam 等同时证明:对桶队施加传统 CSS 纠错,全部 $N$ 个节点都必须被主动纠正,架构退化回 fanout 式,“激活门少”的优势消失 Arunachalam et al. 2015。

于是出现自我拆台的三角:应用越进入器件本应赢的区域(大 $N$、大 $Q$),误差预算越把节点逼进纠错区;纠错又把单查询成本拖回 $\Theta (N)$;器件赢的前提被逐项拆除。 本词条称误差线与工作线的交点带为 Grover 悬崖。

相图合读

三条货币线加一条误差线,把平面切成四个区域:

• 区域 I(电路区): $Q<Q_T^{\ast }$ 且在能量禁区左侧。qROM/态制备/在线生成覆盖;现实规划的容错应用几乎全部在此——它们不赌任何硬件。
• 区域 II(器件纸面区): $Q>Q_T^{\ast }$、能量禁区左侧、误差线之上。T 账与墙钟都偏向器件——但推导一表明,只要数据是经典的,区域 II 的红利会在干预/能量审计时被经典并行机吃掉:纸面富裕,审计破产。三尺度分析的中尺度窗口是唯一被认真对待的角落。
• 区域 III(误差禁区): Grover 工作线穿过误差线右侧的地带:不纠错不能用,纠错则退化回 fanout 成本。
• 区域 IV(残余区): 小规模($2^{30}$ bit 以内,渐近论证不适用 Jaques & Rattew 2025)、真 passive(受引理 6.1 压制)、量子数据与可写存储(经典代理机无从复现)。与推导二的闸门出口完全重合——两套独立推导指向同一残余区,是最重要的自洽性检验。

直觉上:时间货币偏爱器件,T 货币看 $h$ 脸色,干预/能量货币几乎总是反对,误差预算再按 $2^{-n}$ 的速度没收大 $Q$ 场景,交集只剩几个角落。宣称找到 QRAM 的用武之地,即宣称应用点落在区域 IV 且通过三本货币的审计——这正是 “unless shown otherwise” 的相图含义。

推导四:四条 no-go 在相图上的位置

Jaques–Rattew 的定理群不是四句孤立的泼冷水,而是对相图四个逃逸方向的逐一封堵:

定理	封堵的逃逸路线	相图位置
定理 4.1+4.2(查询下界 $\Omega (k)$;并行经典精确复现)	“线性代数任务的区域 II 红利”	区域 II 对 QRACM 输入内部清空:交换比 $A\le \mathrm{poly}(n)$
定理 5.2(计数下界 $G\in \tilde{\Omega }(N+\log \tau )$)	“把查询编进电路,绕开器件争论”	电路路线恒付 $\tilde{\Theta }(N)$:区域 I 的成本底价
引理 6.1(passive 哈密顿量表规模上界)	“做成真 passive,拒收经典赠品”	竖直方向封顶 $N\lesssim \tilde{O}(L\Vert a{\Vert }_{1}t)$
定理 7.1(非自适应蒸馏保真度 $\le 3/4+d\sqrt{2/N}$)	“用蒸馏–传送给器件上纠错保险”	区域 III 的补救通道在非自适应假设下封死

这张账表的读法:“cheap QRAM should be considered infeasible until shown otherwise” 不是归纳猜测,而是决策论结论——已知廉价化路线被逐一封堵后,理性先验只能把举证责任放到宣称者一侧。换言之:任何重开区域 II/III 的提案,必须指认哪条封堵线被绕开、以什么代价。

2026 年的两条回应路线在图上位置一目了然:资源态 QRAM 重画线 3 的记账——在线干预 Clifford 化、批量制备推给工厂 Cesa 2026,在线干预下降但工厂账入存量栏;蒸馏–传态协议 的自适应版绕开定理 7.1 的非自适应假设 Dalzell 2025,在区域 III 内重开补救通道,代价是指数级经典自适应计算——那份预算同样可以买并行机,又落回机会成本的记账。两条路线都把边界外推,但都没撤销任何一本货币的审计。

数值算例

算例 1:硬件公平的数据库搜索($N=2^{40}$)

量子侧:$Q=\frac{\pi }{4}\sqrt{N}\approx 8.24\times 10^5$ 次查询;流水线口径单查询 $t_q=40$ 层,取 ${\gamma }_{\mathrm{QEC}}=10^3$(本词条假设),墙钟 $T_Q\approx 8.24\times 10^5\times 4\times 10^4\approx 3.3\times 10^{10}$ 周期;若免于纠错,须先过 $\epsilon \lesssim 3\times 10^{-8}$ 的 Grover 悬崖。经典代理机:广播 40 层 + 比对 1 层 + 归约 40 层 $\approx 81$ 周期。比值 $T_Q/T_C\approx 3\times 10^8$;即便 ${\gamma }_{\mathrm{QEC}}=1$ 仍 $\approx 3\times 10^5$——劣势来自 $\tilde{\Theta }(\sqrt{N})$ 对 $O(\log N)$ 的裸比(本词条估算)。

算例 2:密码分析尺度的能量账

取 $N=2^{50}$、每访问能耗锚点 1 kJ Jaques & Rattew 2025:Grover 型全程 $Q=\frac{\pi }{4}{2}^{25}\approx 2.6\times 10^7$ 次访问,总能耗 $\ge 2.6\times 10^7\mathrm{kJ}\approx 26\mathrm{GJ}$,且每次运行重付一遍。硬件公平的经典暴力只需一遍广播-比对($Q_C=1$):同量级的每比特能耗只付一次,能耗比即 Grover 因子 $\approx 2.6\times 10^7$(本词条按锚点线性外推)。SHA-256 的 $2^{93}$ bit 需求深入能量禁区 $2^{43}$ 倍。

算例 3:同一笔物理预算的三种花法($n=36$)

基准锚点:Di Matteo 等对 $n=36$ 并行桶队电路的表面码核算为 $1.5\times 10^{15}$ 物理比特换 2.13 ms 单查询 Di Matteo 2020(红线全表见 容错资源红线)。记这份宽度为预算 $B$,三种花法(本词条按表面码 $10^3:1$ 物理:逻辑折算):

• 电路路线:$B$ 买到确定性可编译的查表能力——unary 口径单查询 $4N-4\approx 2.7\times 10^{11}$ 个 T Babbush 2018,零器件风险,代价是数据变更须重编译;
• 器件路线:$B$ 买到 $2^{36}\approx 6.9\times 10^{10}$ 个待验证的 qutrit 节点,附带 $\Omega (N)$/查询的干预负担、$E_{\mathrm{access}}$ 能耗与未知的 $h$——纸面单价更低的前提是”节点造得出来且不用纠错”;
• 逻辑宽度路线:同一 $B$ 折算约 $1.5\times 10^{12}$ 个逻辑量子比特当量,比任何已规划算法的宽度需求高出若干数量级——“数据编译进电路”的宽度代价整体消失。

三行合读:有公开核算的规模上,三个去向全部压过器件路线——G5 几乎不触发的原因。

界限:公允地记录另一面

作者自认:结论是渐近性的,$2^{30}$ bit 以内小规模不受影响;电路 QRAM 作为编译工具仍然有用(化学/密码/算术),并建议算法设计者直接使用其综述的优化电路;对 passive QRAM 的否定是”probably insurmountable”级别的判断而非定理。其著名原则:“cheap QRAM should be considered infeasible until shown otherwise”。2026 年的两条回应路线——资源态 QRAM(把在线干预 Clifford 化、干预成本推给工厂显式计账)与 蒸馏–传态协议——都在缩小但未消除这份质疑。

本词条的推导同样有边界。其一,交换比与”Grover 必输”以经典数据(QRACM)为前提:量子数据没有可 reprogram 的经典副本,机会成本论证够不着它,代价是不可克隆定理下的无冗余、无回滚。其二,交换比依赖定理 4.2 型”同样循环数的经典并行复现”;对尚无已知复现算法的任务,它只是风险警示而非定理——但举证责任已反转。其三,相图四条线全是量级论证,常数($c$、$h$、$e_{\mathrm{bit}}$、${\gamma }_{\mathrm{QEC}}$)无一被实验钉住,边界随之浮动;浮动的是边界,不是”交集只剩角落”这一定性结论。

延伸阅读

• passive 论证
• 去量子化
• 成本口径:激活门、干预与能量
• 容错资源红线
• 边界:qROM 电路与 QROM 模型
• 边界:态制备电路不是 QRAM
• 算法的输入模型谱系
• QRAM 总览