资源态 QRAM 对"QRAM 能否纠错"给出一条肯定路径:把非 Clifford 成本全部转移进离线资源态,在线查询只剩 Clifford 操作与单比特测量。本词条把这条路径推导到底:副产物如何从"错误"降格为"标签",破坏性测量如何兼任综合征提取,码距为何只随规模的规模增长,以及它与 Di Matteo 红线的逐项对账。

问题设定:非 Clifford 成本为何挡在纠错门口

资源态 QRAM 把 bucket-brigade 类查询写成统一框架 : 把 个地址+总线比特等距展开到 个指针比特上形成(嵌套)单热编码, 依数据施加相位, 压缩回 QPU 寄存器 Cesa 2026。框架与电路级细节见资源态 QRAM,查询语义见查询语义。本词条只取一个事实: 的电路由 个 Toffoli 迭代而成,全部非 Clifford。

这在容错语境下是致命的,原因有三层。其一,Eastin–Knill 定理禁止任何量子码拥有全横向(transversal)的通用门集——通用性必然走非横向 gadget,标准做法是魔态注入加蒸馏,每个非 Clifford 门按个计价(T 深度 1 的 Toffoli 分解恒为 7 个 T Di Matteo 2020)。其二,查询把这笔账乘上 :相干在线执行时每查询要付 个 T 态——(1 kB)时约 个,(8 GB)时约 个,且都在算法中途、无预告(heralding)地付。其三,传统纠错有结构性悖论:对 bucket-brigade 逐节点提取综合征与恢复须触及全部 个路由节点,“少量激活门”的核心优势在纠错层消失、架构退化回 fanout 式 Arunachalam 2015。电路嵌入表面码核算得到的正是”天文数字”红线(见容错资源红线 Di Matteo 2020)。容错接口方案要把这三层困难一次拆掉——手段是把查询整体 Clifford 化。

推导一:随机 Pauli 恒等式——副产物从”错误”降格为”标签”

热身:门传送的副产物落点

广义门传送(gate teleportation):对目标门 制备资源态 ,。对输入做 Bell 测量(BM),四个结果 对应恒等式

一行可证:按计算基展开左边、按 Bell 投影归类,未测比特恰剩 。关键在读出落点:副产物 是 Pauli,若 是电路最后一层,输出侧 Pauli 可留在 Pauli 标架(Pauli frame)里,免物理校正——无论 是否 Clifford。

麻烦出在 只是查询的第一层:资源态是 (制备期一次性付清 的非 Clifford 成本),BM 后未测的 区( 比特)携带

即副产物作用在输入标签上(地址比特被翻转、或被赋予相位),然后才被 展开。此时摘掉副产物只有两条老路:其一,继续走完 ,总映射为 ——查询作用在被 Pauli 扰动过的输入上,输出与理想查询差 型共轭,不是 Pauli、进不了标架;其二,“在 区按输入标签施加 “——但输入信息已展开进 个指针比特,对应物理算子是 型共轭,正是非 Clifford,做了等于白传送。标准门传送的”副产物只需 Pauli 校正”在复合电路内部失效,这就是此前方案绕不开在线非 Clifford 门的原因。

主恒等式:三步证明

Cesa 等的出路是不摘副产物,而是证明:带着随机 Pauli 副产物执行的查询,本身仍是一个合法查询 Cesa 2026。记 ( 是 BM 结果给出的输入寄存器 Pauli 标签)。三条观察,各一行:

  1. 穿过 变成指针置换。 把地址逐比特翻成 ,热指针随之从 挪到 ——OHE 因子上是高度结构化的置换 ,NOHE 因子上的余项记 (深度非 Clifford,但只生活在 NOHE 因子上):。
  2. 地址相位与查询对易。 只重相位,而查询在计算基上的作用是 、不改地址相位,逐基矢验证即得 。
  3. 支撑不相交。 只碰 OHE 因子、 只碰 NOHE 因子,故 ;且 ,其中 。

逐行代入(完全展开版见资源态 QRAM推导一):

第三、四行之间,深度非 Clifford 的 精确消去。右乘 得对任意 BM 结果成立的恒等式(文献把 / 左右位置写成相反约定;因 取遍所有结果,是同一族恒等式):

翻译成电路语言:被执行的”带副产物查询” ,等于”输出侧已知 Pauli “乘上”对重命名存储器 的干净查询”。输出侧 Pauli 免费进标架;存储器重命名由经典前馈吸收—— 仍是 深度的逐单元 相位模式,只是供电表按 平移(等价于地址译码器异或常数),无需读改存储内容。随机性于是被降格为”换一个同样合法的 Pauli 标签 + 换一张供电表”,而非需要在线纠正的错误。查询因此劈成三段全 Clifford 的层:BM 层( 个并行 BM)→ 条件加载层(按 选供电表)→ 自适应 SQPM 层(单比特 Pauli 测量,见推导二);在线零非 Clifford 门、零魔态,每次查询省下的 个 T 态(1 kB 点)留在离线工厂且带制备期预告。

一个推论值得点明:BM + 自适应 SQPM + Clifford 前馈是稳定子电路,由 Gottesman–Knill 定理,给定测量结果后整条在线协议可被经典机逐层模拟。这为容错分析给出干净分界:量子出错面 + 测量读出,经典出错面 前馈逻辑。

微例: 的置换读出

取最小存储器 (),单地址比特。设 BM 结果给出 作用在地址比特()。若无恒等式,直接执行得 :地址先被翻成 ,查询装载数据 ——数据装错。按恒等式改写:输出侧挂一个已知 (标架记一笔),存储器按 重命名后干净查询——供电表平移一格,输出仍是 。再取 : 与 对易(观察 2),查询照旧、相位进标架。两个基矢算完,恒等式的两个”出口”(标架、重命名)都已现身。

推导二:测量式 uncompute 与表面码的兼容性

破坏性 SQPM:一次测量同时读出逻辑比特与综合征

的执行不用相干逆电路,而是测量式非计算(measurement-based uncomputation):垃圾比特测掉、副产物前馈吸收; 全为 Clifford,副产物可传播到测量层才解读,自适应基把非 Clifford 分支信息折叠进测量基(结构与稳定子资源态 见资源态 QRAM推导二)。这里推导容错侧要用的性质:单比特 Pauli 测量(SQPM)在表面码内是横向的,且一层测量同时交付逻辑结果与综合征快照。

以旋转表面码(rotated surface code)为约定:数据比特排在 格上,稳定子为权重 4 的 X 型片 与 Z 型片 ;逻辑算子是横贯码面的 weight- 串,如 (沿一条行 )。断言:把一个逻辑块的全部数据比特测在 X 基,得本征值 ,则(i)每张 Z 型片的末值 ;(ii)逻辑 的测量值 。证明一行:全体 互易,测量同时把它们对角化,任何形如 的算子在本征态上的取值必为 —— 与 都属此形,代入即得。对偶地,Z 基 SQPM 交付 X 型片末值与逻辑 。

这就是”免中途综合征提取”的精确含义(本词条推导,教科书级):对即将被丢弃的逻辑块,破坏性末次测量本身就是最后一轮综合征提取——综合征与逻辑值出自同一份读出,不必为”马上要测掉的比特”先跑若干轮 QEC 再测;解码器的病史只少最后一轮先验,处理方式不变。(ii)中”代表串不唯一”由病史消解:逻辑算子定义为稳定子等价类,测得的行乘积对应其中一根代表串,解码器按综合征史补上代表串差——最终逻辑值 校正宇称。查询协议的每层自适应 SQPM 因此既是计算层又是 QEC 层。

初始 BM 层:Knill 型纠错的综合征随行

查询开头的一层逻辑 Bell 测量(QPU 寄存器 最外层)同样身兼二职。先证 Pauli 恒等式:对任意 Pauli ,

证明:,故 ,而 ,恰是 的展开。推论:被消费的一半上潜伏的 Pauli 错误 ,经 Bell 测量后以转置 Pauli 出现在存活半边上,与测量的随机 Pauli(同样已知)按模 2 相加——两支都是经典标签,合并为一次标架更新。解码器从被消费半边的综合征史猜出 ,则存活半边总副产物 随机 Pauli,全程无一处相干恢复操作——这正是 Knill 型(基于传态的)量子纠错的本义:用解码器与标架替代中途物理校正(本词条对教科书方案的展开,与文献”初始门传送阶段的综合征信息按 Knill 型 QEC 逻辑直接获得”一致 Cesa 2026)。“纠错”与”查询”共享同一份测量记录:BM 结果既定副产物(计算),又带综合征(QEC),两条账目合并成一列经典数据。

所需门集恰为 CSS 横向门集

把前两小节合起来,接口对门集的全部需求是:Pauli 门、单比特 Pauli 测量、以及支持 Bell 测量的一对两比特 Clifford(CNOT/H 或等价的 CZ)。对 CSS 码这些全是横向的:CNOT 横向,因为 、 把 X/Z 型稳定子各自映为稳定子;H 横向,要求码自对偶(X 型片与 Z 型片可互换)——旋转表面码满足;Pauli 测量横向,即上小节断言。BM 的两个等价分解(“先 CZ 再逐比特 XX 测”或”先 CNOT、再 H、再 Z 测”)只用这三种元件。查询不需要 门(横向 在表面码上并非逻辑操作: 把 X 型片共轭为同批比特上 X 型与 Z 型算子之积,而同批 Z 型算子并非稳定子);若换二维 color code 则全部 Clifford 横向,代价是更高权重的稳定子——对本案,表面码已够。

于是 Eastin–Knill 定理在接口处从未被触碰:查询不谋求通用性,它是算法外围的 Clifford I/O 器件,通用性由算法其余部分的非 Clifford 编译在别处解决——容错红利尽在于此:零魔态注入、零 lattice surgery、零中途恢复。物理层两比特门只剩码块拼接(原子搬运)内的横向 CNOT,传输损耗可作擦除被探测。

与 foliation / fusion 方案的接口

查询的执行形状——离线备好大资源态,在线以 BM 层与 SQPM 层逐层破坏性消费——与测量式纠错的 foliation(切片分层)方案同构,副产物与综合征的账目沿层累积。光子的 fusion 型方案中,类型 II 融合本就是 Bell 型测量,查询可改写为融合网络;文献并指出已有保持噪声偏置的融合纠错方法,使擦除偏置的二次改善在容错语境仍可利用 Cesa 2026。区别在概率账:融合以 成功、须逐格重试,资源态 QRAM 则把全部概率性集中到工厂接受率、查询端一次成功(概率账见QRAM 工厂)——两个接受率如何互相折算,是这条接口尚未结清的空白。

推导三:码距–保真度公式与 级账目

逻辑级预算:polylog 账的平移

物理级结论:误差局域化使查询不保真度按 退化,(去极化)或 (Z 偏置);一般 CPTP 信道严格界 ,机制见误差局域化与噪声韧性 Hann 2021。上纠错码后这笔账如何平移?关键观察(本词条推导):polylog 计数的来源是故障与输出的解纠缠(好地址 census:单个故障平均只污染 个地址),而这件事只依赖”每个位置以某概率出错、错误可当作 Pauli 标签跟踪”的结构——物理错误(概率 )与逻辑错误(概率 )对计数无差别;破坏性消费与 Knill 标架又保证逻辑 Pauli 同样走”标签”通道而非相干通道。故同一本账把 换成 :

达到目标保真度 只须

对照:无韧性查表(QROM 类)的账是 ,预算 。两案预算之比 就是全部差距的出处。

解出码距:双对数增长

代入表面码参数化 ( 为质量因子) Cesa 2026:

取对数看标度:,故

码距只随”规模的规模”增长: 每翻倍, 只加 ;而 QROM 类的均匀账 解出 —— 每翻倍要加 个码距单位(取 即 +2)。两条曲线的差

随 线性拉开——“指数级差距”的逐码距版本(乘性表述:每逻辑比特 QEC 开销粗略相差 倍,见资源态 QRAMQEC 红利节)。

的逐项账目(数值算例)

取 1 kB 工作点 、目标 ,沿用综述口径 、 Cesa 2026:

  1. polylog 因子:。
  2. 逻辑错误预算:。
  3. 最低码距:,即 —— 纸面已够(,乘积 )。
  4. 文献选 :,;总不保真度 ,以约 6 倍余量压进 1% 预算。
  5. 余量的去向: 与首阶公式都是保守近似(边界效应、时向错误、泄漏折在 0.1 前因子里),polylog 计数取的是上界型指数;4 个多余码距单位 的 ,买的正是这些不确定性。
  6. 物理比特(本词条估算):按 Fowler–Gidney 打包惯例每逻辑比特 个物理比特(同异构纠错 QRAM口径),一份 占 个逻辑比特,共 个物理比特(不含工厂与路由空间);在线墙钟 ms();每查询逻辑失败率 。

对照算例(同一预算下的 QROM 类): 解出 ;貌似差距不大,但 恰在交叉点附近( 与 在 处互换大小)——到 , 个码距单位,每逻辑比特物理开销比 倍起步且随 无界增长;资源态 QRAM 的 只从 39 爬到 。

推导四:与 Di Matteo 红线的对照

红线的三个结构性来源

Di Matteo、Gheorghiu、Mosca 把 bucket-brigade 等电路族完整嵌入表面码:4 KB()并行 BB 需 物理比特换 0.348 ms,8 GB()需 换 2.13 ms Di Matteo 2020(数字与口径见容错资源红线)。拆开看,这个数字由三个结构性来源叠加:

  1. 魔态楼层。 相干路径上 个 Toffoli,每查询 个 T 态须由蒸馏工厂实时供给—— 时单查询 个 T,蒸馏楼层成为资源与吞吐的主导项。
  2. 均匀码距。 电路有 个可出错位置,总失败率 ,压到常数须 ,解出 : 每翻倍加 个码距单位,物理比特按 平方上涨。
  3. 无预告纠错。 错误只能靠综合征轮询发现、实时恢复,纠错须触及全部路由节点,“少量激活门”优势消失 Arunachalam 2015。

逐项对账与本词条估算

Clifford 接口对三源各还一刀:源 1——在线 T 计数清零,T 态移入工厂(每份 制备一次、带预告、失败即弃),且 T 态精度要求放松到 ,蒸馏更便宜 Cesa 2026;源 2——(推导三),码距对规模近乎饱和;源 3——破坏性消费 + 工厂预告,无中途恢复(推导二)。逐项列账:

项目电路式容错(红线口径)Clifford 接口
在线非 Clifford 门/查询 个 Toffoli
每查询 T 态(工厂离线付,精度 )
码距标度
中途纠错实时综合征+恢复免(末测兼任 + Knill 标架)
失败预告无工厂级 heralding,失败即弃
物理比特 @(文献)(本词条估算)

末行算术(本词条估算,只计消费端单份 的逻辑数据面): 时 ,,取 ;。诚实读法:8 GB 尺度下两者同在 – 量级——主导项都是 逻辑数据面,红线数字还额外内含蒸馏楼层与纠错辅助区。接口改变的不是”8 GB 变便宜”,而是:(i)魔态楼层从关键路径整层消失;(ii) 饱和, 随 线性拉开(推导三末式),均匀账此时已多付约 33 个码距单位;(iii)失败可预告、可丢弃,纠错从”实时追错”变成”出厂质检”。决定性的量变在中小尺度:1 kB 点一份 约 物理比特(推导三),工厂吞吐与布图才是此时的真约束(流水条件见QRAM 工厂)。墙钟亦如实记: 在 、 时约 36 ms,慢于红线口径——接口以墙钟与工厂面积换可行性与免魔态;若逻辑层实现,横向层即单码周期,墙钟下限由 供给节拍决定(本词条推论)。

噪声偏置与平台接口

推导三的 取决于错误模型,而模型可由硬件改造。嵌套单热编码继承桶队的误差局域化,数值模拟给出 (去极化)或 (Z 偏置)(机制见误差局域化)。中性原子平台可经擦除转换(erasure conversion)把双比特门错误转化为相位错误 Scholl 2023,使 Z 偏置成为现实工作点:门错误率 时 可达 50% 以上保真度,Z 偏置情形 即可达 99%;融合型纠错中已有保偏置方法,二次改善在容错语境仍可利用 Cesa 2026。偏置对接口是双红利:物理级 变小直接压低 的常数项(推导三第 1 步的 ),擦除类错误另有专属解码器,进一步抬高有效 。

在中性原子处理器上,逻辑块之间的接口由原子搬运直接给出——这已被逻辑原子处理器实验( 到 的表面码逻辑门、可重构连通性)证明可行 Bluvstein 2024;传输损耗可作擦除被探测。作者明确指出该思想可迁移到囚禁离子、超导、光子等具备原子/离子搬运能力的平台 Cesa 2026;超导固定连线无法搬运,是真实的适配缺口(平台对比见中性原子平台)。

意义、代价与边界

本词条的四步推导收拢成一句话:Clifford 化把 QRAM 的复杂性重新分配——与数据无关的离线态制备用作器件引擎(推导一:随机性降格为标签),与纠错层的接口因”测量即纠错”而透明(推导二),码距对规模近乎饱和(推导三),红线的主导项从”魔态楼层+线性码距”换成”逻辑数据面+工厂吞吐”(推导四)。这同时回应 Jaques–Rattew 批判的两个要害:主动干预的 成本被推给工厂、以工厂周期显式计账;纠错接口不再隐藏在”假设”里 Jaques & Rattew 2025(批判全文见鲁棒性论战)。

边界要画清。其一,“QRAM 纠错已解决”不被授权:大尺度下 的物理比特面仍在,8 GB 级账目依旧天文——被解决的是接口的结构性困难(非 Clifford 在线、码距发散、无预告),不是资源总量。其二,离线态制备与数据无关,不等于把 QRAM 混同于一般态制备(术语边界见态制备边界),查询语义仍由器件闭环保证;指标与成本口径见评价指标:六维打分卡、成本口径。其三,同以表面码为底的专用路线互补:异构变码距按层分配码距 Singal 2025(见异构纠错 QRAM),蒸馏–传态以经典自适应换器件质量 Dalzell 2025(见蒸馏–传态协议);三案的公共未知数是工厂/布图的实验吞吐——本词条全部”待验证”的落点。

延伸阅读