共识的由来:同一堵墙,同一份账单
2024–2026 年的器件化浪潮:3D 超导腔双架构 Weiss 2024、声子路由器 Wang 2025、SiV 光子集成电路 Chen 2021、相干路由器 Zhang 2025 与 bucket-brigade 全循环实验 Shen 2026、端到端系统架构 Xu 2023、资源态 QRAM 蓝图 Cesa 2026。平台迥异,方案却收敛出四条共识:
(i) 经典数据不进入量子元件。 数据比特只决定执行哪些门,量子比特只承担路由 Weiss 2024—— 量级的存储阵列因此不必是相干量子组件,这是规模化的第一前提。
(ii) 可检测错误 + 后选择(post-selection)。 双轨腔编码 Weiss 2024、混合双轨声子编码 Wang 2025、光子 heralding Chen 2021、qutrit 擦除探测 Zhang 2025——以通告(heralding)率换保真度。典型数字:双轨编码加后选择把 3D 腔 CZ 失真压到 ,但无后选择时高保真仅限 、 双轨成功率仅 0.013–2.2 Hz Weiss 2024——“绝大多数查询失败,但成功者保真”正是 pre-fault-tolerance 时代 QRAM 的写照。
(iii) 隐形传态/传态型连接。 对抗布图与延迟:浙大实验以量子隐形传态替代 SWAP 通信,保持层间 延迟(传态保真度 )Shen 2026;虚拟 QRAM 用纠缠传送路由实现远程门 深度 Xu 2023;SiV 方案的传态变体把成功率对深度的依赖从 改善为 Chen 2021。
(iv) Z 偏置与擦除转换(erasure conversion)。 对接非对称纠错:中性原子可经擦除转换把双比特门错误转化为相位错误 Scholl 2023;资源态 QRAM 在偏置噪声(biased noise)下标度指数从 改善到 ,门错误率 时 即可达 99% 保真度 Cesa 2026;虚拟 QRAM 亦利用 Z 偏置做非对称码距纠错 Xu 2023。
这四条并非独立的设计品味,而是同一笔误差预算(error budget)的四种支付方式:推导 I 证明器件注定 而接口可以 ,共识 (i) 是把硬件账换成经典货币;推导 II 算清三大架构的时间–空间–门三重账;推导 III 从”总误差 激活门数 “出发,给共识 (ii)(iii)(iv) 逐条配上账目依据;数值算例节验算三套参数。
推导 I:接口 ,器件
正交性下界:地址的指数压缩没有余量
一台”能查询 个单元”的器件,其地址系统必须容纳 个彼此可分辨的查询指令。形式化:设地址希尔伯特空间维数为 ,单元 的查询输入态为 ,理想作用为 。断言 必须线性独立。反设 ,由 的线性性,
输出是其他单元内容的叠加而非 。该断言须对任意数据集成立,特别地取各单元内容互不相同的数据集,则上式与理想输出 相等要求全部 ,与反设矛盾。故地址态线性独立,
QRAM 用 个地址量子比特恰好达到(saturate)这条下界:指数压缩已是信息论极限。它也解释了”并行响应”为何免费—— 个量子比特的张量维数 天然容纳 个正交地址。
耦合计数:器件规模压不下去
正交性下界管的是寄存器维数,管不到器件接线。器件层面的下界来自一个解耦反证:断言每个存储单元 必须至少经一个两体耦合接入寻址/路由网络。反设单元 与系统其余部分之间没有任何两体门(单比特操作不构成耦合),则查询电路在”单元 “与”总线及其余路由”两个子系统上直积演化,总线上任何可观测量都与 无关。取两个仅在单元 处不同的数据集 ,在地址 ()下理想输出分别为 与 ;而按反设,两种情形的总线输出态相同——与查询定义矛盾。故每单元至少一门,而每个两体门至多把一个存储单元接入网络,于是
这正是 GLM 的结论:“任何 位地址的 RAM/qRAM 设计都需要 个两比特逻辑门” GLM PRA 2008。其物理含义是接线不能叠加:地址寄存器靠维数把 个可分辨状态压进 个量子比特,但”哪个单元被接到读出路径上”是访问结构而非维数——每个单元都需要自己的物理端口。
两条下界合起来给出 QRAM 的本质不对称:接口(地址寄存器) 个量子比特,器件(存储阵列+网络) 个耦合。 时是 30 个量子比特对至少 个耦合——八个数量级的落差不是工程失败,而是数学强制的结构。“接口多对数、器件线性”因此是一切 QRAM 设计的共同出发点。
从下界到共识 (i):用经典货币支付
共识 (i) 回答的是:这 个组件用哪种物理货币支付。若存储阵列与开关阵列是相干量子组件,它们就全部进入噪声账。以 fanout 型直接量子化的解码器为例:第 层的 个开关全部由地址扇出控制、每次查询全部扳动,蓝图门数
设单门错误率 、各门独立,由联合界(union bound,),任何一个门出错都可能污染输出(fanout 中每个开关都携带地址信息,没有旁观者):
误差要求随规模指数收紧:、目标失真 时 ,而当前最好超导路由器的平均路由保真度 95.3%、即 Miao 2025——差约六个数量级。反之,若单元内容是经典比特、只经条件脉冲”决定执行哪些门” Weiss 2024,存储阵列的账上没有 这一项: 个组件全部改用经典货币支付,量子相干性只保留在 的激活路径上。这就是共识 (i) 的账目依据:不是品味,而是把指数收紧的误差要求从账上整个划掉的办法。边界同样清楚:量子数据受不可克隆定理约束只能 SWAP 取出,不享受此简化(见 查询语义)。
直觉:经典化把”错一个门毁掉查询”的串联脆弱性,换成经典存储器的并联冗余——存储错误由 ECC 与刷新兜底,不进量子误差预算。空间与能量账照付:若每比特每次访问耗散一个可见光子能量,访问 bit 约 1 kJ、 bit 约 1 GJ Jaques-Rattew;口径见 成本口径。
推导 II:时间–空间–门三重账
记账框架
对架构 定义六个量,并约定”三重账”的读法:
- 空间账(一次性):器件量子组件数 (量子比特/qutrit/开关);
- 门账(每查询):蓝图总两体门 、每查询激活门 ;
- 时间账(每查询):单查询电路深度 、含 uncompute 的串行步数 。
三条恒系式约束任何账目:、、以及噪声账主公式(推导 III)(每分支噪声位置数)。三种货币互不可兑换:并行化省 不省 ;流水线省摊销 不省单查询深度;两能级化压 ,不必然压噪声账。
fanout:最浅深度,最贵门账
深度账:每层开关并行扳动,单查询深度 ,三者中最浅。门账:(推导 I)——fanout 没有旁观者,每个开关都携带地址信息、都进入误差预算。三栏中 fanout 押注深度,代价是门账与噪声账的双指数化。
bucket-brigade(qutrit):两本门账的调和
接力机制下,每次查询的账目要分两本数:开关账(写入路由构型的操作)与信号账(数据信号与已配置节点的相互作用)。开关账:每层恰一个节点被指向,整次查询扳动 个开关。信号账:第 个地址比特要穿过 个已激活节点、再被第 层节点吸收,共 次相互作用,合计
GLM 长文的节点操作全账为 Hong 2012 转述——算术分解恰为
平方项即上述信号账,线性项 对应每比特的媒体写入与读出(qutrit 介质的制备与复位)。时间账: 个比特串行进树、第 个花 步,串行检索 ;地址流水线化后摊销深度压回 层(综述汇总表 Phalak 2023;优化手段见 电路级优化)。
两本门账的调和,解释了文献里 与 两套误差口径的来历:GLM 的启发式只数开关账( 个开关、每个 ),给 ——已配置节点的被动散射被当作免错;Hann 的严格界把信号账与空闲退相干一并计入,, 时即 Hann 2021。设计时以严格账为准,启发式只配当 sanity check。
两能级路由器:压操作数的得与失
Hong 等把节点从三态 qutrit 换成两态比特:地址光子存入节点原子后即可无操作地穿过 Hong 2012。账目收益直接:每次调用对节点的操作数从 GLM 的 降到平均 Hong 2012—— 时从 250 次压到 10 次,25 倍;串行时间的平方项随之消失。代价在噪声账的另一本:Hann 的分析表明,两能级节点没有等待态兜底,错误可经”左端口”逐级上行传播,可能被单个上行错误波及的节点数至多 量级,故
比 qutrit 版多一个 ;仅在 dephasing 噪声(无方向翻转)下回到 Hann 2021。教训:操作数账()与噪声账不可混谈——压前者是工程优化,压后者才是可扩展性;这正是共识 (ii) 的动机:与其压激活数,不如让压不掉的错误被看见(后选择),见推导 III。
三重账总表
| 账目 | fanout | 桶队(qutrit) | 桶队(两能级) |
|---|---|---|---|
| 空间 | 开关 | qutrit | 比特 |
| 蓝图总门 | (含数据存取) | 同左 | |
| 每查询激活 | 开关 ;信号 | 平均 次操作 | |
| 深度/时间 | (最浅) | 串行;流水线 | 每调用操作 |
| 不保真度 | (一般噪声 ) | ||
| 单门误差要求() | (多项式查询) | 同左,常数更差 |
没有一栏全胜的架构:fanout 押深度、桶队押噪声、两能级化押操作数。共识策略的立场是不押注——用 (i) 把空间账换成经典货币,用 (iii) 把时间账换成纠缠资源,用 (ii)(iv) 把噪声账换成成功率或偏置结构。各架构细节见 fanout 架构、桶队架构、两能级路由器。
推导 III:噪声–深度权衡
主公式:误差预算 = 噪声位置数 × 单位误差
把查询电路看成 层、每层若干噪声位置(门、空闲组件、测量)。对混合酉噪声 ,条件在”全部位置都未出错”的分支上电路是理想线路,故理想输出的权重
为沿该分支能影响它的噪声位置总数——这就是”总误差 位置数 “的一阶形式。三大架构的差别全部编码在 里:
- fanout:全部 个组件每层在场,,一般噪声下 Hann 2021;
- 桶队(qutrit):第 层的 个节点各自只被 的分支触碰,宽度与触碰比逐层相消、每层对每条分支恰贡献 ,求和得 ,严格化为 Hann 2021;
- 桶队(两能级):加上行传播项 , Hann 2021;浙大团队把 Hann 的计时误差情形推广到门错误,给出同型上界 Shen 2026。
对目标失真 解出误差要求:
指数对多项式,是 QRAM 噪声叙事的全部内容;机制(有限纠缠、误差局域化)见 一般噪声下的韧性 与 误差局域化。
公式里出现的是 而非流水线后的摊销深度:每条查询自身的世界线仍穿过 层电路, 不因流水线减小——省时间不省误差;深度与噪声的真正耦合点在查询次数(下下节)。
直觉:误差预算像光缆损耗——总损耗只数这条信号穿了多少衰减点,与光缆总长无关。树的宽度被触碰比逐层抵消,正是桶队把”组件数 “从公式里消掉的代数动作。
共识 (ii) 的账目依据:后选择把误差换成成功率
把错误分成两类:占份额 的可通告错误(双轨丢光子、qutrit 擦除、非相邻能级泄漏),发生即被探测、该次查询作废;其余 为不可见错误。输出信道到一阶为
其中 支撑在与理想输出正交的被标记子空间。接受通告的子系综:成功率 ,接受态在 基下为
后选择把不保真度压掉 份额,代价是每次 的成功率——单次查询这本账非常划算。崩塌发生在多组件串联:若 heralding 靠逐组件探测(丢光子、擦除), 个有损组件的通过率
随组件数指数衰减。3D 腔的实测即此式的体现: 单轨成功率 20.9 kHz, 双轨跌到 0.013–2.2 Hz Weiss 2024;示意性地,设每层通告通过率 0.7, 时 。因此后选择的正确读法是误差换成功率,而成功率指数稀缺。它也因此与纠错有分工线:受控重复加全零后选择的误差过滤(error filtration)把这条账推到极限
基失真 时后选择概率 成为根本约束 Lee 2023 Wang 2025;协议细节见 误差过滤。
共识 (iii) 的账目依据:传态把深度换成纠缠资源
先算被替换方的账:2D 网格 H-tree 嵌入下,层间链路若用 SWAP 链搬运量子态,每只 SWAP 花 深度与 误差、链长随规模增长;各层链长累加,SWAP 方案的层间延迟随规模指数化,深度账崩盘 Shen 2026 Xu 2023。传态方案的账:每条链路预共享 EPR 对(2 个门)+ Bell 测量 + 经前馈的 Pauli 修正(常数个本地门)——深度 、误差为常数份,与链长 无关;总查询深度保持 Xu 2023。浙大实验交付了器件级数字:传态保真度 ,层间 延迟保住 Shen 2026。
光子–自旋方案给出同一笔账的成功率版本:直接 MZI 网络方案中,第 个地址光子要穿越 个已配置路由器、每次传输以存活率 通过,总存活率
传态变体把每位传输次数压到 、指数降为线性: Chen 2021。指数从 到 的改善随规模拉开(数值见算例 3)。两条账——深度账与存活账——合起来是共识 (iii) 的完整动机:用预共享纠缠(离线资源)替换在线深度,与资源态 QRAM”把查询整体移出在线电路”的思路同构 Cesa 2026。
共识 (iv) 的账目依据:偏置把误差指数折半
主公式里的噪声位置数 依赖于错误类型。去极化错误含 分量,而 是方向翻转:一个 错误能把已配置节点的指向反转,坏分支不再局域于原分支,还可沿祖先链上行,波及范围多出 因子——Hann 的两能级分析()正是这一项 Hann 2021。 错误与路由计算基对易、不翻方向,错误留在原分支内,上行项消失。虚拟 QRAM 的账把两型错误分开写得最清楚: 错误被路由树局域化,QRAM 段保真度下界 (多项式); 错误会传播到根毁掉查询,下界随树尺寸指数恶化 Xu 2023。
资源态 QRAM 的数值把这一结构性差别折算成指数:不保真度按 拟合,去极化 、 偏置 ——指数大致减半 Cesa 2026。工程侧的对应动作有二:中性原子经擦除转换把双比特门错误转化为相位错误 Scholl 2023,把噪声谱推向 偏置工作点;纠错侧按偏置做非对称码距(asymmetric code distance)—— 危险、 温和,矩形表面码把保护强度按 分配 Xu 2023。直觉:偏置化是给误差预算做分类记账——把付得起的(相位错误)与付不起的(方向翻转)分开,后者的供给源在物理层(擦除转换)被关小。
查询次数放大:单查询够用不等于算法够用
主公式是单查询的;算法要调 次,误差按次数线性累积(联合界再次出场):
Grover 型搜索 , 要求重新指数化: 量级(、 时约 );Arunachalam 等援引 Regev–Schiff 把一类错误模型下的每门要求收紧为 Arunachalam 2015。对比:多项式次查询的算法(HHL、qPCA 类)只要求多项式小的 ,可能免纠错 Arunachalam 2015。分界线不在架构而在用法: 与 同为指数级时必须纠错,而纠错若把全部 组件纳入主动保护,共识 (i)(ii) 省下的账全部吐回 Arunachalam 2015——容错接口见下节与 Clifford 容错接口。
数值算例:三套参数的完整账单
算例 1:(约百万单元)、
、取 。逐栏计算:
- fanout:; 层;。对照当前路由器 Miao 2025,差约 倍——不可行。
- 桶队(qutrit):开关账 ;信号账 ;GLM 全账 。GLM 启发式 ,距硬件仅约 10 倍——但该口径忽略空闲退相干与相干错误,只能当下限;Hann 严格账 ,距硬件约 1500 倍(三个数量级)。
- 桶队(两能级):操作数平均 Hong 2012;含上行项 。
读法:同一规模、同一目标失真下,fanout 的门误差要求比桶队严约 650 倍(渐近比 );桶队距当前硬件的三个数量级是错误缓解(后选择、误差过滤)与器件优化的施工面,而 fanout 的六个数量级在无纠错前提下不可施工。
算例 2: 偏置的二次改善:、
。按资源态 QRAM 的数值标度 做量级验算(前置因子未知,以下按 1 代入):
- 偏置():,故 ,——与 Cesa 2026 的”99% @ “一致;
- 去极化():,,——与”50% 以上保真度”的口径一致(见 Clifford 容错接口);
可靠的不是两行绝对值(前置因子未定),而是比值 :同一 下偏置把不保真度压 65 倍,且倍数随 增长——偏置化是一笔随规模增值的资产。
算例 3:存活指数:、
直接方案 :,;传态变体 。存活率从 64% 提到 90%,每次查询的有效产出提升 倍。差距随 指数拉开: 时 ,而 ——这正是传态变体在 Chen 2021 中作为可扩展性前提出现的账目依据。
讨论:代价与边界
四条共识都付了账,各有找零:
- (i) 的找零: 经典硬件照建、访问能耗照付 Jaques-Rattew;经典化只豁免噪声账,不豁免空间账。
- (ii) 的找零:成功率指数稀缺,赫兹级通告率意味着对 次以上查询的算法须按”有效吞吐 成功率 吞吐”换算(见 评价指标:六维打分卡)。
- (iii) 的找零:预共享 EPR 对的制备、分发与保真度维持是新的离线产业;浙大实验中传态靠后选择实现,规模化须换成确定性前馈 Shen 2026。
- (iv) 的找零:偏置工作点平台绑定——依赖 cat/双轨类硬件编码 Xu 2023 与中性原子擦除转换 Scholl 2023;码距分配依赖 等硬件参数 Xu 2023。
容错之后,共识策略让位于三条接口路线:在线 Clifford 化把非 Clifford 成本全部移入离线资源态 Cesa 2026;异构纠错只强纠保真度关键区域,对任意规模给出常数保真度、depth-30 对比下省 5 倍资源 Singal 2025;蒸馏–传态甚至容忍器件保真度低至 ,代价是指数级经典自适应计算 Dalzell 2025。此外,主动/被动口径的质疑未被四条共识消解:若每次查询仍需 次外部干预,量子优势的大半动机存疑 Jaques-Rattew(见 被动性论证 与 机会成本定理)。共识的价值恰在于此:它们不押注某个特定平台的胜利,而是任何平台走向专用 QRAM 器件都要过的工程检查清单——浙大实验的结语”未来必须为 QRAM 设计专用器件” Shen 2026,正是这份清单的最好注脚。