一般噪声下的韧性

Hann 等证明:即使全部 O(N) 个路由器承受任意 CPTP 噪声信道,bucket-brigade 查询不保真度也只按多对数增长——这是 QRAM 噪声叙事的转折点。

定理:设定与陈述

从”惰性免错”到全组件退相干

GLM 提出桶队架构时给出的韧性论证只数激活门:$n={\log }_{2}N$ 层树、每次调用仅 $O(n)$ 个二体相互作用被激活,总误差按 $\epsilon \log N$ 记账 GLM 2008 (PRA)(账目细节见 成本口径:激活门、干预与能量 与 bucket-brigade 架构)。这隐含一个硬件上从未兑现的前提:处于等待态的路由器完全免受退相干。Hann、Lee、Girvin、Jiang 指出,尽管 bucket-brigade 已有若干实验实现方案提出,却没有一个给出让惰性路由器免退相干的工程机制 Hann 2021;而一旦放松该假设,承受噪声的组件数从 $O(\log N)$ 跳到 $O(N)$,期望错误总数从 $O(\epsilon T\log N)$ 涨到 $O(\epsilon TN)$——与 fanout 架构同阶。GLM 本人曾猜想,指数多的惰性路由器退相干会显著恶化不保真度 Hann 2021。本词条要推导的核心结论是:这个直觉错了。

噪声模型

考虑 $N$ 个存储单元、$n={\log }_{2}N$ 层(根为第 0 层)的二叉路由树,共 $N-1$ 个路由器。一次查询是深度 $T=O(\log N)$ 的电路:

$$|{\psi }_{\mathrm{out}}⟩|\mathcal{W}⟩=U_T\cdots U_2{U}_1|{\psi }_{\mathrm{in}}⟩|\mathcal{W}⟩,|\mathcal{W}⟩={|W⟩}^{\otimes (N-1)},$$

其中每层 $U_t$ 是常数深度电路,$|W⟩$ 是三能级路由器的等待态。设定:每个时间步,所有 $N-1$ 个路由器——无论激活还是等待——都独立承受同一个 CPTP 信道

$$\rho \to \mathcal{E}(\rho )=\sum _m{K}_m\rho K_m^{†},\sum _m{K}_m^{†}{K}_m=I.$$

主文证明先限制在混合酉信道(mixed-unitary channel):存在正比于恒等的无错 Kraus 算符 $K_0=\sqrt{1-\epsilon }I$,其余 $K_m(m>0)$ 都正比于酉算符,于是

$$\mathcal{E}(\rho )=(1-\epsilon )\rho +\sum _{m>0}{K}_m\rho K_m^{†}.$$

迹保持条件 ${\sum }_m{K}_m^{†}{K}_m=I$ 强制 ${\sum }_{m>0}{K}_m^{†}{K}_m=\epsilon I$,因此错误部分的权重为

$$\mathrm{tr}\left[\sum _{m>0}{K}_m\rho K_m^{†}\right]=\mathrm{tr}\left[\rho \sum _{m>0}{K}_m^{†}{K}_m\right]=\epsilon \mathrm{tr}[\rho ]:$$

“发生一个错误”的概率恒为 $\epsilon$,与路由器当时处于什么态无关。这是混合酉假设买到的第一条性质(态无关性),第二条是 $K_0\propto I$ 使”无错误”分支的 backaction 平凡。注意两条假设对 $K_{m>0}$ 在等待态 $|W⟩$ 上的作用没有任何限制——惰性路由器照样退相干,这正是与旧模型的分野。比特翻转、dephasing、去极化等实验常用信道都属此形。

主定理

Hann 2021 的主结果(论文式 (28)):对混合酉信道、$\epsilon T\log N\le 1/4$,

$$1-F\le 4\epsilon T\log N,$$

其中 $F=⟨{\psi }_{\mathrm{out}}|{\mathrm{Tr}}_R\Omega |{\psi }_{\mathrm{out}}⟩$ 是对全体 $N$ 个地址叠加查询的保真度($R$ 为路由器寄存器)。更一般地,对任意 CPTP 信道(含相干错误)有 $1-F\le A\epsilon T\log N$,$A$ 为阶 1 常数(下文推导;精确形式 $A\approx 6-2{\epsilon }_W/\epsilon$,${\epsilon }_W$ 为等待态路由器错误率)。定理刻意选在最不利的设定下陈述:路由器初态制备错误按 $T\to T+1$ 计入;路由门的部分故障写成 $\mathcal{D}\circ \mathcal{R}$(错误信道接理想路由操作),只要 $\mathcal{D}$ 的 Kraus 算符正比于酉算符就同样覆盖;换成 Toffoli 或 Clifford+T 等任意门分解,界不变;只波及常数个相邻路由器的相关错误,只需把相应概率并入 $\epsilon$,仍与 $N$ 无关。以下把证明拆成六步(第零步到第五步)。

证明骨架

第零步:逐层对消的启发式账

证明的物理内核可以先用一条账目算清。均匀叠加查询时,第 $\ell$ 层(0 起算)恰有 $2^{\ell }$ 个路由器,每个只在 $N\cdot 2^{-\ell }$ 个分支——即 $2^{-\ell }$ 份额的振幅——中被激活;论文算出该层路由器的纠缠熵

$$S(\rho )=-\mathrm{tr}[\rho \log \rho ]\sim 2^{-\ell },$$

随深度指数衰减。单颗第 $\ell$ 层路由器出错,至多毁掉它脚下子树对应的 $2^{-\ell }$ 份额;而它在 $T$ 步内出错的概率按 union bound 至多 $\epsilon T$。逐层求和(论文式 (7)):

$$1-F\sim \sum _{\ell =0}^{n-1}\underset{\text{单错误损害}}{\underbrace{2^{-\ell }}}\cdot \underset{\text{该层错误预算}}{\underbrace{\epsilon T\cdot 2^{\ell }}}=\sum _{\ell =0}^{n-1}\epsilon T=\epsilon T{\log }_{2}N.$$

指数增长的错误数目与指数衰减的损害份额逐层精确对消,每层净贡献恒为 $\epsilon T$,共 $n$ 层。取 $n=3$($N=8$)、$\epsilon T=10^{-3}$ 做数值验算:第 0 层 $1$ 颗路由器、份额 $1$,贡献 $10^{-3}$;第 1 层 $2$ 颗、份额 $1/2$,贡献 $2\times 10^{-3}\times \frac{1}{2}=10^{-3}$;第 2 层 $4$ 颗、份额 $1/4$,贡献 $4\times 10^{-3}\times \frac{1}{4}=10^{-3}$;合计 $3\times 10^{-3}=\epsilon Tn$。作为对照,fanout 架构中每颗路由器与整个地址寄存器处于 GHZ 型最大纠缠($S(\rho )=1$):振幅阻尼使第 $\ell$ 层任一颗路由器丢失激发,就把地址比特 $\ell$ 坍缩到 $|1⟩$,平均砍掉叠加态的一半——单错误损害 $O(1)$、错误数目 $O(N)$,不保真度 $\sim N\log N$(推导见 fanout 架构)。启发式账指向正确标度,但它默认”错误只发生在被激活的路由器上”。下一步起把它严格化,并让全部 $O(N)$ 颗惰性路由器的退相干入场。

第一步:错误构型分解

把噪声的每次 Kraus 选择都当成经典随机事件。用 $K_c(t)={⨂}_{r=1}^{N-1}{K}_{c(r,t)}$ 记 $t$ 步加在全部路由器上的复合 Kraus 算符,一个错误构型(error configuration)$c$ 指定每颗路由器每步抽到哪个 Kraus 算符。末态与保真度按构型分解(论文式 (11)–(13)):

$$\Omega =\sum _{c}p(c)\Omega (c),|\Omega (c)⟩=\frac{1}{\sqrt{p(c)}}{U}_T{K}_c(T)\cdots U_1{K}_c(1)|{\psi }_{\mathrm{in}}⟩|\mathcal{W}⟩,F=\sum _{c}p(c)F(c).$$

归一化条件 $|\Omega (c)⟩$ 模长为 1 同时定义了构型概率 $p(c)$,Kraus 完备性保证 ${\sum }_{c}p(c)=1$。于是只需逐构型控制 $1-F(c)$。对给定 $c$,把树分支分成好/坏两类:令 $\mathbf{i}$ 为通往地址 $i$ 的全部 $n$ 颗路由器(根到叶的整条路径),$\mathbf{c}$ 为全程承受过至少一次非平凡错误 $K_{m>0}$ 的路由器集合;分支 $i$ 好,当且仅当 $\mathbf{i}\cap \mathbf{c}=\varnothing$。记好分支集合为 $g(c)$。

第二步:错误不跨支传播

核心引理:查询好分支时,坏分支里的错误传播不进好分支。机制有二,都来自路由操作的条件结构。其一,好分支上的路由器全程无错:未被激活时处于 $|W⟩$,而路由操作对 $|W⟩$ 是恒等,错误无从借道;其二,激活的好分支路由器处于 $|0⟩/|1⟩$,路由操作只耦合入射口与左(或右)输出口,坏分支方向上的错误经共轭传播后被挡在该路由器朝向好分支的端口之外。论文用两个电路例子(图 4(a)(b))验证:错误可以上行到好分支路由器的某个输出模式,却永远进不了好分支内部。论文并指出这是一种 error transparency:查询好分支时,坏分支的错误与好分支的路由操作对易。

这带来两个推论。(a) 单查好分支必成功:错误到不了分支 $i$ 的任何路由器,末态严格为 ${|i⟩}^A{|x_i⟩}^B$。(b) 多个好分支叠加查询时,地址-总线寄存器与路由器解纠缠:错误虽可在坏分支之间非平凡传播,但好分支末态与”查的是 $g(c)$ 里哪个地址”无关。于是末态写成直积加正交残余(论文式 (16)–(17)):

$$|\Omega (c)⟩=|\mathrm{good}(c)⟩+|\mathrm{bad}(c)⟩,|\mathrm{good}(c)⟩=\left(\sum _{i\in g(c)}{\alpha }_i{|i⟩}^A{|x_i⟩}^B\right){|f(c)⟩}^R,$$

其中 ${\alpha }_i$ 是输入叠加系数,${|f(c)⟩}^R$ 是好分支上路由器的(与地址无关的)末态,且 $⟨\mathrm{good}|\mathrm{bad}⟩=0$——不同地址态正交,而混合酉假设下所有算符(含 Kraus 算符)都是酉比例缩放,保内积。这最后一步正是任意 CPTP 推广(下文)要付代价的地方。

第三步:好分支权重控制保真度

记目标纯态 $|{\psi }_f⟩:=|{\psi }_{\mathrm{out}}⟩{|f(c)⟩}^R$,定义好分支加权份额

$$\Lambda (c)=⟨\mathrm{good}(c)|\mathrm{good}(c)⟩=\sum _{i\in g(c)}|{\alpha }_i{|}^2.$$

四小步推出论文式 (22)。其一,部分迹的逐项下界:取含 $|f(c)⟩$ 的路由器基展开 ${\mathrm{Tr}}_R\Omega (c)$,由 $\Omega (c)\ge 0$ 舍去其余基矢贡献,

$$F(c)=⟨{\psi }_{\mathrm{out}}|{\mathrm{Tr}}_R\Omega (c)|{\psi }_{\mathrm{out}}⟩\ge |⟨{\psi }_f|\Omega (c)⟩{|}^2.$$

其二,好分支重合恰为权重:代入直积形式,

$$⟨{\psi }_f|\mathrm{good}(c)⟩=\sum _{i\in g(c)}|{\alpha }_i{|}^2=\Lambda (c).$$

其三,坏分支重合被 $1-\Lambda (c)$ 压住:把 $|{\psi }_f⟩$ 按平行/垂直分解为 $|{\psi }_f⟩=\sqrt{\Lambda }|\hat{g}⟩+\sqrt{1-\Lambda }|\chi ⟩$,其中 $|\hat{g}⟩=|\mathrm{good}⟩/\sqrt{\Lambda }$、$⟨\chi |\hat{g}⟩=0$。第一项与 $|\mathrm{bad}⟩$ 正交,故由 Cauchy–Schwarz,

$$|⟨{\psi }_f|\mathrm{bad}(c)⟩|=\sqrt{1-\Lambda }|⟨\chi |\mathrm{bad}⟩|\le \sqrt{1-\Lambda }\Vert \mathrm{bad}\Vert =1-\Lambda (c),$$

最后一步用了归一化 $\Vert \mathrm{good}{\Vert }^2+\Vert \mathrm{bad}{\Vert }^2=1$。其四,反三角不等式合并:

$$|⟨{\psi }_f|\Omega (c)⟩|\ge |⟨{\psi }_f|\mathrm{good}⟩|-|⟨{\psi }_f|\mathrm{bad}⟩|\ge \Lambda -(1-\Lambda )=2\Lambda -1,$$

平方即得

$$F(c)\ge (2\Lambda (c)-1{)}^2(\Lambda (c)\ge \frac{1}{2}\text{时非平凡}).$$

这条链的读法:好分支本身保真度完美(第二步),坏分支再乱也无妨,唯一进入答案的变量是好分支还剩多少权重。数字例:$\Lambda =0.9$ 时保证 $F\ge 0.8^2=0.64$。天真的猜测 $F\ge \Lambda$ 不成立——坏分支可以沿着 ${\psi }_f$ 的垂直分量对齐,吃掉整整 $1-\Lambda$ 的重合;因子 $(2\Lambda -1)$ 里的减法就是为这种最坏对齐付的保险费(本词条注)。

第四步:好分支权重的期望

$\Lambda (c)$ 随构型 $c$ 随机,需求期望 $\mathbb{E}(\Lambda )={\sum }_{c}p(c)\Lambda (c)$。关键在于混合酉假设的态无关性:每颗路由器每步”无错”是独立的 Bernoulli 事件,概率 $1-\epsilon$,与它处于等待、$|0⟩$ 还是 $|1⟩$ 无关,也与别的路由器无关。于是分支 $i$ 是好分支的概率 = 路径上 $n$ 颗路由器在 $T$ 步内全程无错:

$$P(\text{分支 }i\text{ 好})=(1-\epsilon {)}^{Tn},\mathbb{E}(\Lambda )=\sum _i|{\alpha }_i{|}^{2}P(\text{分支 }i\text{ 好})=(1-\epsilon {)}^{T\log N}.$$

注意两点。其一,这里对输入叠加 $\{{\alpha }_i\}$ 没有任何要求,均匀叠加只是特例;其二,惰性路由器的退相干并没有消失——它使 $\mathbf{c}$ 里几乎必然装满 $O(N)$ 颗路由器——但每条分支的”好”只看自己路径上的 $n$ 颗,其余 $O(N)$ 颗的错误被推入了 $|\mathrm{bad}⟩$ 的模长。论文原文用逐层递归陈述同一件事(式 (23)–(24)):${\mathbb{E}}_1(\Lambda )=(1-\epsilon {)}^T$(单颗路由器 $T$ 步无错),${\mathbb{E}}_{d+1}(\Lambda )=(1-\epsilon {)}^T{\mathbb{E}}_d(\Lambda )$(每层同一因子),解得 ${\mathbb{E}}_{\log N}(\Lambda )=(1-\epsilon {)}^{T\log N}$。

再用 Bernoulli 不等式线性化。对整数 $m\ge 1$、$\epsilon \in [0,1]$ 有 $(1-\epsilon {)}^m\ge 1-m\epsilon$:归纳可证,归纳步 $(1-\epsilon {)}^{m+1}\ge (1-m\epsilon )(1-\epsilon )=1-(m+1)\epsilon +m{\epsilon }^2\ge 1-(m+1)\epsilon$。取 $m=T\log N$:

$$\mathbb{E}(\Lambda )\ge 1-\epsilon T\log N.$$

第五步:Jensen 拼装与 $1/4$ 条件的来历

最后把逐构型界与期望界缝合(论文式 (25)–(28))。$\sqrt{x}$ 凹,Jensen 不等式给 $\mathbb{E}\sqrt{F}\le \sqrt{\mathbb{E}F}$,即

$$F=\mathbb{E}[F(c)]\ge \mathbb{E}[\sqrt{F(c)}{]}^2.$$

逐构型又有 $\sqrt{F(c)}\ge |2\Lambda (c)-1|\ge 2\Lambda (c)-1$(取绝对值是为了覆盖 $\Lambda <1/2$ 的平凡情形),故

$$\begin{array}{rlrl}F& \ge (2\mathbb{E}(\Lambda )-1{)}^2& & \text{(期望逐点下界;需 }\mathbb{E}(\Lambda )\ge \frac{1}{2})\\ & \ge (2(1-\epsilon {)}^{T\log N}-1{)}^2& & \text{(Bernoulli 步;单调性)}\\ & \ge (1-2\epsilon T\log N{)}^2& & \text{(再用 Bernoulli 不等式)}\\ & =1-4\epsilon T\log N+4(\epsilon T\log N{)}^2\ge 1-4\epsilon T\log N.& & \end{array}$$

这就是论文式 (28)。常数 4 的账目:$2\Lambda -1$ 的减法贡献一个 2(第三步的坏分支保险费),平方展开再贡献一个 2($1-4x+4x^2\ge 1-4x$)——都是证明技术常数,不含任何标度信息。

成立条件 $\epsilon T\log N\le 1/4$ 的来源就在这条链的两处接缝。接缝一:第一行要求 $\mathbb{E}(\Lambda )\ge 1/2$,否则 $(2\mathbb{E}\Lambda -1{)}^2$ 无意义;由 $\mathbb{E}\Lambda \ge 1-x$($x\equiv \epsilon T\log N$),$x\le 1/4$ 给出 $\mathbb{E}\Lambda \ge 3/4$,且 $[3/4,1]$ 整段落在 $t\mapsto (2t-1{)}^2$ 的单调增支上,第二行的放缩才合法。接缝二:$x\le 1/4$ 保证 $1-4x\ge 0$,下界非空洞。更深一层读法:定理是微扰陈述。它的一阶展开 $e^{-x}\approx 1-x$ 只在 $x\ll 1$ 时定量可靠;$x=1/4$ 时 Bernoulli 界 $(1-\epsilon {)}^m\ge 1-m\epsilon$ 与真值 $e^{-x}=0.779$ 只差约 $3\%$,仍紧;$x>1/4$ 后”好分支占多数”的图像失效,界不再提供信息。数值算例:$N=2^{30}$、$\epsilon =10^{-4}$、$T=30$ 时 $x=9\times 10^{-3}$,定理保证 $F\ge 1-4x=0.964$,而启发式期望 $1-x\approx 0.991$——严格界在常数上保守约 4 倍,标度正确。

从混合酉到任意 CPTP

主文证明用了两次混合酉特权:第二步的内积保持(保证 $⟨\mathrm{good}|\mathrm{bad}⟩=0$)与第四步的错误概率态无关。任意 CPTP 信道——去极化、振幅阻尼、加热、相干错误——没有”概率 $\epsilon$ 抽到酉错误”的图像,附录 D 换了三条腿走完同一趟路(以下为重构,细节以原文为准)。

错误率的重定义。 抛弃”错误概率”,改用无错 Kraus 算符的泄漏幅度:对任意 $|\psi ⟩$ 写 $K_0|\psi ⟩=a_{\psi }|\psi ⟩+b_{\psi }|{\psi }^{\perp }⟩$,定义 $\epsilon$ 为使 $|b_{\psi }|\le \sqrt{\epsilon }$ 对一切 $|\psi ⟩$ 成立的最小正数,并要求相干条件 $\mathrm{Re}{\prod }_i{a}_{{\psi }_i}\ge (1-\epsilon {)}^{m/2}$(任意 $m\le \log N$ 组态)。前者说”无错分支偏离恒等的幅度平方不超过 $\epsilon$“,后者是它的 $m$ 步相干版,替代了独立性假设。

先降维,再推广。 先证 Kraus 秩为 2 的信道、且噪声只在”全部地址就位、总线进树前”的单个时间步 $t^{\ast }$ 出现的情形——此时树构型静态,好/坏分支分解与第三步的 $\Lambda$ 论证原样运转,只是每处 Bernoulli 概率换成泄漏幅度估计。再推广到多时间步:论文引理 3 把界里的 $\log N$ 换成 $T\log N$、常数 $B$ 换成 $B^{\prime }$,其余不动。

等待路由器单列。 一般信道下,等待态路由器的错误(如振幅阻尼把它拖出 $|W⟩$)可能在日后该路由器被激活时显效,不再能像混合酉情形那样对好分支完全免责;于是引入等待态错误率 ${\epsilon }_W\le \epsilon$,好分支权重变为

$$\mathbb{E}(\Lambda )=(1-{\epsilon }_W{)}^{T\log N},$$

最终界(附录式 (161)–(162))

$$1-F\le A^{\prime }\epsilon T\log N,A^{\prime }\approx 6-2\frac{{\epsilon }_W}{\epsilon }\in [4,6](\epsilon \log N\ll 1).$$

读法(本词条解读):${\epsilon }_W=\epsilon$(全组件同等噪声)时 $A^{\prime }\approx 4$,回到混合酉常数;${\epsilon }_W\to 0$(惰性路由器近乎干净)时 $A^{\prime }\to 6$——常数反而变大,因为一般信道下分支重合的估计要为相干项多付保险费。关键不在常数,而在 $A^{\prime }$ 恒为阶 1:完全不假设惰性组件免错,这正是与 GLM 及 Arunachalam 等旧分析的分水岭。数值部分对振幅阻尼、加热这类非混合酉信道的验证,依据的正是本节的一般界而非式 (28)。

推论 I:两能级路由器——对消账的漏洞与修补

三能级路由器可省:只用 $|0⟩$(左)/$|1⟩$(右)两态、路由器恒激活的版本同样韧性,但启发式账在这里真会漏账,值得看清漏洞形状。漏洞:两能级路由器没有 $|W⟩$,路由操作默认在 $|0⟩$ 下把入射口与左输出口互换,于是坏分支的错误可以沿左端口逐级上行,再落进别的分支——第二步”错误不跨支传播”对叠加查询不再成立,$⟨\mathrm{good}|\mathrm{bad}⟩=0$ 与式 (16)–(17) 失效(单查某分支仍精确成功:错误可以上行进别的分支,唯独进不了当前查询的分支)。

修补分两笔账。第一笔,仍无错的那部分分支照旧贡献 $\Lambda$ 项,保真度变为

$$1-F\le 4\epsilon T\log N+4\delta ,\epsilon T\log N+\delta \le \frac{1}{4},$$

其中 $\delta$ 是坏分支向上污染的权重上界。第二笔,数清污染者:只有沿”左端口-入射口”一路上行到根、再下落到分支 $i$ 的错误才有主导阶贡献。与分支 $i$ 经左端口链相连的节点都是污染者候选:路径上第 $\ell$ 层节点沿这类链条最多再延伸 $n-\ell$ 层,总数为三角和

$$\sum _{k=1}^{n}k=\frac{n(n+1)}{2}\le n^2={\log }^{2}N,$$

悲观地取每颗传播概率 $P_{r\to i}(t)=1$,得 $\delta \le \epsilon T{\log }^{2}N+O({\epsilon }^2)$(几何图像的逐步展开见 两能级路由器,此处只留计数)。合起来(论文式 (39),原文标注 $\lesssim$:这是标度论证而非严格界)

$$1-F\lesssim 4\epsilon T(\log N+{\log }^{2}N)=O(\epsilon T{\log }^{3}N):$$

仍多对数,但比三能级多付一个 $\log N$。对具体信道账目明显更好:dephasing 不搬运布居、不改变路由构型,好分支分解照旧成立,回到 ${\log }^{2}N$;振幅阻尼只向树里注入 $\log N$ 个激发,期望错误数仅 $\epsilon T\log N$,预期 ${\log }^{2}N$,数值观测斜率 1.86。同一论证还免费覆盖两个推广:把图 1(b) 电路中一个 CSWAP 换成 SWAP 的修改版路由电路,从错误传播看与两能级等价,韧性保持;路由器初态为 $|0⟩$ 或 $|1⟩$ 的论证对每颗路由器逐个成立,故任意初态下不保真度仍多对数(与”脏 ancilla”是两回事;数据拷贝需查询两次、利用 QRAM 幺正算符的幂等性重置模式,代价 $T\to 2T$)。

推论 II:混合架构与纠错版

架构自由直接读自定理的变量 $\epsilon ,T,N$,汇总于下表(论文表 1 加 QROM 行):

架构	不保真度标度
fanout QRAM	$\sim N\log N$
bucket-brigade(三能级)	$\sim {\log }^{2}N$
bucket-brigade(双能级)	$\sim {\log }^{3}N$
混合 fanout($M$ 块)	$\sim N\log N+M{\log }^{2}N$
混合 BB($M$ 块)	$\sim M{\log }^{2}N$
QROM 电路	$\sim \epsilon N{\log }^{2}N$(无内在韧性)

混合架构用 $M\le N$ 调节深度-宽度:深度 $O(M\log N)$、量子比特 $O(N/M+\log N)$;取 $M=\sqrt{N}$ 时两者同阶,不保真度获平方改进。QROM 电路是反面教材:$O(N{\log }^{2}N)$ 个可能错误位置,逐门吃账,无局域化机制。

纠错版的反转最见定理的解释力。Arunachalam 等曾论证:CSS 类纠错后所有节点都被主动检错、物理上全部”激活”,“激活门少”消失,BB 相对 fanout 无优势可言 Arunachalam 2015。但 Hann 证明对”激活数”根本不敏感:第三节证明不区分路由器由物理比特还是逻辑比特构成,只要不可纠正的逻辑错误以独立概率 ${\epsilon }_L$ 发生(容错实现路由操作即可保证),逐字替换 $\epsilon \to {\epsilon }_L$、$T\to T_L$ 得(论文式 (45))

$$1-F_L\le 4{\epsilon }_L{T}_L\log N.$$

同码之下,BB 逻辑不保真度一般比 fanout 低 $\sim 1/N$ 倍;或反过来说,达到同一目标保真度所需纠错开销显著更小。纠错不泄露地址信息由 Knill–Laflamme 条件保证——综合征测量对路由器的任意叠加态(哪怕与总树纠缠)不揭示被查询地址。方案级展开见 异构纠错 QRAM 与 容错资源红线。

何时免纠错:按存储规模 $N$ 与查询次数 $Q$ 划分(论文第 VII 节的分类)。两者皆指数级(如 Grover):必须 QRAM 且必须 QEC——每次查询 $\sim 4\epsilon T\log N$ 的误差经 union bound 随 $Q$ 线性累积;$N$ 指数、$Q$ 多项式(如 HHL):用 QRAM、可望免纠错;两者皆多项式(如局域哈密顿模拟):QRAM/QROM/混合皆可,分界线就是 $Q\cdot 4\epsilon T\log N\le \delta$ 这一行。

与 GLM 启发式的数学对比

两本账的公式对照:GLM 激活门账 $1-F\approx n\epsilon$(只数 $O(n)$ 个激活相互作用,惰性组件按免错处理);Hann 严格界 $1-F\le 4\epsilon T\log N$,取 $T=O(\log N)$ 即 $\sim 4n^2\epsilon$。GLM 恒比严格界紧一个因子 $\approx 4n$。数值对照(取 $\epsilon =10^{-4}$、$T=n={\log }_{2}N$;本词条估算):

$N$	$n={\log }_{2}N$	GLM 账 $n\epsilon$	Hann 界 $4\epsilon n^2$	$x=\epsilon n^2$	条件 $x\le 1/4$
$2^{30}$	30	$3.0\times 10^{-3}$	$3.6\times 10^{-2}$	$9.0\times 10^{-3}$	✓
$2^{50}$	50	$5.0\times 10^{-3}$	$1.0$	$0.25$	恰在边界
$2^{100}$	100	$1.0\times 10^{-2}$	$4.0$	$1.0$	✗ 界空洞

何时谁更紧,分三层说。系数层:GLM 更紧——但它的前提(只数激活、惰性免错、错误不传播)在一般噪声下没有一条成立;数值上真实不保真度按斜率约 2 的幂律贴近 $\epsilon T\log N$ 一侧,严格界的常数 4 是保守侧。适用域层:GLM 账在 $N=2^{100}$、$\epsilon =10^{-3}$ 时给出其著名的 10%(见 成本口径:激活门、干预与能量),而此时 $x=10$ 早已越界,严格界则完全保持沉默;反之在 Arunachalam 的比特翻转玩具模型喂给 Grover 的场景,GLM 账严重漏账(需 $\epsilon \in o(2^{-n/2})$)。机制层:GLM 数的是资源(激活门),Hann 证的是结构(有限纠缠);后者在惰性退相干、相干错误、相关错误、门分解更换下纹丝不动。两本账并不矛盾,各自管辖一段前提(调和论述见 硬件共识设计策略;历史脉络见 十八年时间线:2008–2026)。

韧性来自有限纠缠,而非激活门少

把论证收拢成三步。第一步,激活数不稀缺:叠加查询下全部 $N-1$ 颗路由器都会在某个时刻被某条分支激活,全器件期望错误数 $O(\epsilon TN)$,与 fanout 同阶——“激活门少”在叠加语义下本来就不真。第二步,损害才稀缺:fanout 中每颗路由器与地址寄存器 GHZ 纠缠($S(\rho )=1$),单错误损害 $O(1)$;BB 中第 $\ell$ 层路由器只与 $2^{-\ell }$ 份额的分支纠缠($S(\rho )\sim 2^{-\ell }$),错误的因果锥被树结构限制在自己脚下的子树里,损害 $2^{-\ell }$。树宽与纠缠份额逐层相消,给出 $\epsilon T\log N$。第三步,反例检验:若韧性真来自激活数,纠错后”全激活”就应崩溃——而式 (45) 表明逻辑 BB 照样韧性;若韧性来自特定路由电路,换两能级或修改电路就应崩溃——而推论 I 表明不会。2026 年浙大实验把这套图像搬进实验室:各层路由比特纠缠熵逐层递减,向第三层注入噪声后近邻分支斜率 $-0.255$、最远分支几乎免疫($-0.005$),有限纠缠=韧性的因果链首次被直接测量 Shen 2026(见 bucket-brigade 首次全架构实验 与 误差局域化)。

数值验证与局限

QRAM 电路只含 SWAP/CSWAP(对计算基是置换)且输入是多项式个基态的叠加,属”高效可计算稀疏”(ECS)操作,可经典模拟;对 Kraus 序列做蒙特卡洛采样即可估计 $F$(工具谱系见 QRAM 模拟器)。数值结果:$\epsilon =10^{-4}$ 下三能级在 log-log 图上清晰呈 $1-F\propto {\log }^{2}N$;两能级各信道斜率 $\le 3$,与悲观界一致;振幅阻尼斜率 1.86(激发只在树内期间可被阻尼,故略低于 2);衰减/加热信道按附录 D 的一般界验证。

局限照录原文并稍作展开:$O(N)$ 量子比特开销仍令人生畏;$\log N$ 深度依赖地址逐比特流水线;容错路由操作的开销可能吃掉纠错版的优势(原文的明文警告);界只覆盖经典数据 QRAM 的单次查询保真度,超多项式次查询的算法(如 Grover)仍需 QEC;定理是 $\epsilon T\log N\le 1/4$ 下的微扰陈述。查询次数与误差预算的耦合账见 边界:qROM 电路与 QROM 模型。

延伸阅读

• 噪声韧性之争
• 误差局域化
• 两能级路由器
• 异构纠错 QRAM
• bucket-brigade 架构
• 评价指标:六维打分卡
• 成本口径:激活门、干预与能量