QRAM 工厂是资源态 QRAM 蓝图中专门负责离线制备资源态的"产区":它把查询所需的全部非 Clifford 成本集中到自己身上,以持续补货的方式供养在线的 Clifford 查询。
QRAM 工厂协议:Bell 对制备、动态重排与资源态组装,以及不保真度的幂律标度
图:QRAM 工厂协议与噪声标度:(a) Bell 对制备-动态重排-资源态组装;(c) 查询不保真度随 N 的幂律标度(去极化 α 约 3.8,Z 偏置/擦除转换 α 约 1.9)(来源:QR004)

机制回顾:工厂供给什么,在线消费什么

在资源态 QRAM 的统一框架 中,查询的全部非 Clifford 复杂性被搬进一个与数据无关的资源态(resource state):在线侧只做 Bell 测量、条件 Clifford 门与单比特 Pauli 测量,以 消费掉一份现成的 (框架与查询协议见资源态 QRAM与Clifford 容错接口)。工厂的定义性角色由此确定:以稳态产率 持续制备 ,使供给率不低于消费率。本词条把这两个时间量——工厂周期 与查询时间 ——作为全部推导的主角。以下数值均取 为存储的数据比特数(, 为地址比特数;“1 kB 存储”即 )。

工厂的制备流程分三步Cesa et al. 2026:

  1. Bell 对制备:先制备 个 Bell 对,作为资源态的原料;
  2. 动态重排:利用中性原子光镊的相干动态重排完成布图重构,把原子搬运到目标几何位置——这是中性原子平台相对其他平台的独门能力,也是整个架构选择该平台的直接原因;
  3. 资源态组装:以 个 Toffoli 门组装出资源态 ,电路深度 ,每个 Toffoli 注入 4 个 T 态。

三步的精确计数值得先钉死,后面反复用到。对查询 比特存储所需的 ,Toffoli 门数为

即 而非 ( 是把”深度 宽度”合在一起的时空量级口径);按每个 Toffoli 4 个 T 型门的最省分解(以牺牲深度换 T 数),单份 的 T 态消耗为 。组装电路经并行化恰为 层,门时间( ns)远小于中途测量时间(),故周期由测量与原子搬运主导。在容错语境下,工厂以四层并行运转:层 1 为 Toffoli 态工厂(空间 , 为码距,周期 );层 2 为 Bell 对重排(每周期 次长程搬运,速率 );层 3 为测量式组装(周期 ,每周期消耗 个 Toffoli 态与 Bell 态);层 4 为 try-until-succeed 式 heralding 制备(见推导三)。

推导一:工厂周期的两项账

工厂周期由文献给出为Cesa et al. 2026:

其中 为原子移过一个最小陷阱间距的搬运时间, 为一轮非破坏单比特测量(SQPM)时间。两项各有独立来源,逐项推。

测量项:

组装(与在线查询同构)电路共 层,每层以一轮 SQPM 收尾,一轮耗时约 ;单比特与 Clifford 门时间 ns 可忽略。故

这恰等于查询时间 ——在线查询与离线组装的测量负载相同,这是后面流水线论证的关键对称性。数值: 时 ,与文献一致。

重排项: 的完整推导

第一步:单原子搬运的恒加速度标度。 光镊移动原子时损失率随速度上升,故优化目标是在损失率不增的约束下最短时间到达——等价于恒加速度的”半程加速、半程减速”轨迹:路程 ,解得

实验拟合同标度:,以 @ 外推到最小间距 ,得每间距搬运时间

与文献取值吻合。注意 依赖是重排项只贡献 而非 的第一个原因。

第二步:布图压缩给出最大搬运距离。 Bell 对按列扇区 packing:第 扇区占用的纵向尺度从 压到 的方块,于是整个阵列的线性尺度为 个陷阱间距,单次长程搬运的最长距离为

第三步:常数次搬运合成周期。 压缩方案下每个工厂周期含 次长程搬运,文献给的是 6 次,故

末步是恒等式 (两边平方均为 54)。直觉: 是两个平方根的复合——布图压缩把阵列尺度从 压到 (第一个根),恒加速度轨迹再把距离 的时间压到 (第二个根)。这也是”重排看似全局重构、实为浅层开销”的原因。

两个标度的竞争与交叉点

重排与测量的占比由比值

决定(代入 、)。令两项相等,解 ()得 :即 (约 16 MB)以内测量项主导,重排不构成主要瓶颈;文献把”重排可忽略”的安全区划在 (约 2 MB)。

重排占比
(1 kB)139.52.3 ms13 ms15.3 ms≈15%
(128 kB)20327.8 ms20 ms27.8 ms≈28%
(2 MB)246415.5 ms24 ms39.5 ms≈39%

文献对 1 kB 工作点报的搬运占比约 13%,与按上式直算的 15% 同量级(常数取整差异)。趋势清楚:占比随 缓慢上涨,到 仍是次主导项,越过 后才反超。

推导二:流水线与吞吐——供给的排队账

工厂化方案的运行学核心问题:给定工厂周期 与查询时间 ,系统稳态能以多高速率回答查询?延迟由什么决定?以下把工厂当作服务站、资源态当作不可存储太久的车票,做一套排队(queueing)核算;模型假设(到达独立、服务指数分布)在节末讨论。

确定性流水线:工厂恒为瓶颈

由推导一,,等号仅当重排为零。设单工厂连续运转、查询按节拍到达:长期看每 产出一份 、每 消耗一份,稳态供给率必须不小于消费率,故单工厂可持续查询速率为

关键在 而非 :查询与下一份资源态的制备在时间上错开并行,周期墙钟由二者中较长者决定。对比串行执行(查询完再制一份):1 kB 时串行节拍 (35 Hz),流水节拍 (65 Hz),省掉整整一个 。文献”并行化不增加实质运行时间”的论断即此:,记作 Cesa et al. 2026。代价之一是首份延迟:冷启动到第一份 就绪需等满 。

多工厂:吞吐线性,延迟有下界

设 个工厂错相运转(相位间隔 ),则供给率 ,任一时刻最近的一份 距就绪不超过 ,故最坏延迟为

即在线测量时间是延迟的不可压缩下界——加工厂只消等待、不消查询本身。吞吐上界 同理。“工厂不再拖累速率”的临界工厂条件是 ,即

代入 1 kB:,故 即消除供给瓶颈——这正是 的直接推论,也解释了为何该蓝图在甜蜜区内”工厂便宜”。

随机到达:M/M/1 缓存账

若查询到达是速率 的泊松过程、产出是速率 的指数过程,缓存中的 构成一个 M/M/1 队列(稳态要求 )。生灭平衡方程

缓存平均存态数与单次查询平均等待:

数值:1 kB 单工厂 。取 ():、;取 ():、。利用率从 0.5 提到 0.8,延迟翻倍还多——排队账的第一课:靠近饱和运行的代价是非线性延迟。

缓存存态不是免费的:资源态在缓存中龄期越长,退相干越深。龄期 的态保真度按 折损,被消费态的平均龄期即 ,故缓存引入的额外不保真度 。示例(假设值,仅演示量纲):取 (相干时间 10 s 量级), 时 ,尚可;若因扩容 而 涨到秒级,缓存反而成为保真度漏洞。缓存深度因此不是越大越好:它以相干龄期换吞吐平滑。

突发需求:缓存量化条件

算法常以突发方式查询(如 次振幅放大迭代背靠背)。 连发以 速率消耗、 工厂以 速率补充,净消耗速率 ,突发期间的总缺口

单工厂 1 kB、: 份预存; 时缺口归零,无需缓存。结论与上一小节一致:重排项越小,供给越接近”无限快”,缓存越可省; 这一个比值同时控制临界工厂个数与突发缓存深度。

推导三:heralded 制备的产率–保真度账

资源态制备离线,意味着可以”失败即弃、重来一次”(try-until-succeed):制备中插入错误检测,检出错误就整份丢弃重来。这正是文献所谓 heralded(可判别)QRAM 工厂Cesa et al. 2026。heralding 的具体方案:选整数 ,记 ,约束 ( 为单步操作错误率);对前 个地址比特充当控制端的所有门做错误检测,出错即弃。需 herald 的门数 ,占总门数 的可忽略份额。下面算三笔账:吞吐折扣、资源浪费、保真度增益。

重试经济:接受率与有效周期

前 层累计约 个门(第 层),一次尝试在某一 herald 层首次检出错误的概率按一阶展开为

约束 恰好保证接受率 接近 1——自洽。重试次数服从几何分布,期望 ,故有效工厂周期

数值(、、):,(1 kB)——五分之一的机会重试,只花 5% 的时间。

浪费账:平均废弃 Toffoli 数

第 层失败会废弃已注入的前 层共 个 Toffoli。期望浪费:

与文献给出的 一致(相差常数 3)。数值:、 时浪费约 8.7 个 Toffoli,对照总量 (1 kB),占比 0.05%——“高接受率、低浪费”不是口号而是上面两行的代数推论。

保真度增益:好比特计数的修正界

文献对查询不保真度的解析界为 ( 为组合常数, 依赖噪声模型,主文连续去极化拟合 ;模型相关取值见噪声韧性)。其推导按”好比特计数”进行:期望完好辅助比特数 。对前 层 heralding 后,浅层错误贡献被切除,修正为

与文献”增益 “相容。数值(、): 时上式 ,即不保真度上界削去约 55%,代价是 5% 重试与 8.7 个废弃门;(逻辑级错误率)时受 约束只能取 ,削去约 18%、重试 6.4%。

为什么浅层最值钱?NOHE/桶队电路逐层指数生长:浅层一个门的错误经树状拓扑向下游大量节点传播,单位门的保真度权重最高;而浅层门数最少、herald 成本最低。切除”权重最大、门数最少”的部分,是误差局域化结构给 heralding 送的礼(机制见误差局域化与桶队架构)。这也说明 heralding 的有效性不是普适的态制备技巧,而是绑定在桶队型误差结构上的。

推导四:工厂化 vs 单体相干器件的账目

把”直接在线执行 “的单体相干器件与”工厂产 + Clifford 查询”并排对账Cesa et al. 2026:

账目项单体相干器件(在线执行 )资源态 + 工厂
在线非 Clifford 门 个长程门,每次查询重付0(全 Clifford + 测量)
在线深度(与工厂方案同阶) 层
非 Clifford 总功 个 Toffoli、约 个 T 态,离线一次
非 Clifford 时间归属占用主算法墙钟折入 ,与查询流水并行
失败语义无中间检验,出错整查询报废try-until-succeed:废弃一份 ,接受率
T 态精度需在线实时供给精度只需 ;含蒸馏的噪声 T 消耗较非韧性方案降 polylog 因子
空间 辅助比特同左,另加工厂区(,容错)与缓存
每查询墙钟 且含 在线非 Clifford,非 Clifford 全离线

可以把”硬件复杂度转移为制备复杂度”表述成一个守恒式论断:非 Clifford 总功在同阶内不变(甚至因并行分解从 长程门变为 个 Toffoli),变的是它的记账科目——从”每次查询的在线时间与相干暴露”改为”稳态吞吐约束下的离线制备率”。由此派生三个自由度,都是单体器件没有的:其一,离线功可按 份并行摊薄();其二,失败可以从查询语义中剥离(heralding,推导三);其三,非 Clifford 暴露窗口限于 而非全算法时长,与纠错层的接口因此透明(在线横向 Clifford,免魔态注入)。Jaques–Rattew 批判所要求的”主动干预成本必须显式计账”在此得到字面满足:干预被计为 与 两个参数Jaques & Rattew 2025(批判全文的定位见成本口径)。

数值算例:两个工作点的完整账单

物理级,1 kB(): ;T 态 份/周期;,产率 65 Hz;T 态供给率 。组装 23 层,每层约 712 个 Toffoli、2850 个 T 态,层时间 内注入,瞬时 T 流约 ,与均值同量级(自洽)。按 Bravyi–Kitaev 15→1 蒸馏粗算,噪声 T 态需求约 。运行参数: 消除瓶颈;100 连发需 16 份预存(单工厂)或 0 份(双工厂)。

容错级,QEC 处方: 文献给出码距 下的工厂周期

其中重排项被纠错层的并行化摊薄了 因子。取表面码达到查询保真度 所需的码距 、Cesa et al. 2026:

项,,
507 ms1080 ms
ms ms
293 ms338 ms
814 ms1522 ms
≈1.61≈1.41

比值 1.61/1.41 与文献报的 ≈1.6/≈1.4 逐项吻合:即便计入综合征提取与蒸馏开销,离线工厂时间仍与在线查询时间相差不过一个 O(1) 因子,流水线论证在容错语境下原样成立。此时的 T 态供给率: 约 份蒸馏 T/s(噪声 T 约 /s);2 MB 约 /s(噪声 T 约 /s)——工厂化把”每查询 个在线非 Clifford 门”换成的是每秒上亿份的 T 态供应链,这正是账目对比表中”T 态精度只需 “一条之所以要紧的原因:精度要求降了 倍,供应链才要得起。

适用边界与开放问题

规模上限。 推导一给出交叉点 :越过之后 ,工厂产率按 衰减。维持恒定查询速率需 个工厂——从 到 , 从 9.5 涨到 64,同速率要多雇约 7 倍工厂。“空间换时间”在工厂侧同样成立,只是汇率是 。

模型假设。 推导二的排队账假设到达独立同分布、服务指数、稳态;真实算法的查询节奏由算法本身决定(如 Grover 迭代深度),突发条件 是确定性包络而非统计保证。推导三的 heralding 账依赖错误可检测:容错语境由综合征免费提供,无纠错语境则依赖泄漏的物理探测与擦除转换Scholl et al. 2023;静默错误的危害回到噪声韧性账目,不受 heralding 保护。缓存的 以龄期换吞吐,相干预算(推导二)约束了缓存深度与利用率的上限。

实验空白。 工厂吞吐随 的标度、大规模布图下重排的调度与碰撞规避、吞吐–保真度权衡,均尚无实验验证;文献明确指出该思想可迁移到囚禁离子、超导、光子等具备搬运能力的平台,但各平台的”工厂”形态(尤其是非原子平台的 项由什么物理过程承担)仍是空白。在线接口一侧,逻辑块间原子搬运已被逻辑原子处理器实验证明可行Bluvstein et al. 2024;离线侧的完整工厂演示是中性原子社区未来数年最明确的发力点。平台对比的整体定位见中性原子平台;把”资源态制备”与一般态制备问题切割的概念边界见态制备边界。

延伸阅读