稳定子码中 Rényi 相干信息的层级结构

Hierarchy of Rényi Coherent Information in Stabilizer Codes

arXiv: 2609.11930v1

论文信息

标题: Hierarchy of Rényi Coherent Information in Stabilizer Codes

作者: Akash Vijay, Luis Colmenarez, Jong Yeon Lee

发布日期: 2026-09-10

arXiv ID: 2609.11930v1

PDF 链接: 下载 PDF

3 分钟速览

  • 研究问题：为什么在稳定子码和 Pauli 噪声下，数值上经常看到 Rényi 相干信息随 Rényi 指数单调增加？这种层次在什么条件下能成为严格定理？匹配综合征后选择又能给出怎样的操作意义？
  • 核心方法：先证明一个一般的二元线性层次定理：独立 Bernoulli 故障映射到嵌套线性标签时，两标签的 Rényi 熵差随指数不增；再把它应用到稳定子码的 “综合征+逻辑类” 与 “综合征” 标签上，并用匹配综合征复制构造后选择信道。
  • 关键结果：对任意有限量子比特稳定子码，在独立事件 Pauli 噪声下，Ic(1)≤Ic(2)≤⋯≤Ic(∞)I_c^{(1)} \le I_c^{(2)} \le \cdots \le I_c^{(\infty)}；同时 Fnn≤e−(n−1)Δn≤FnF_n^n \le e^{-(n-1)\Delta_n} \le F_n，使绝对 Rényi 缺损 Δn→0\Delta_n\to0 等价于匹配信道的渐近完美恢复（见论文 Proposition 1）。
  • 主要局限：独立事件假设是充分的但可能过强；论文在附录 A 给出违反层次的反例，说明不是所有乘积 Pauli 噪声都满足单调性。非二进制推广和一般噪声下的平衡条件也仍有开放问题。
  • 适合读者：研究量子纠错、混合态物相、Rényi 信息度量、统计力学映射或稳定子码解码阈值的研究者，以及对后选择解码与恢复保证感兴趣的学生。

论文背景和研究动机

Rényi 相干信息被广泛用作 von Neumann 相干信息的可计算代理，尤其在退相干诱导的混合态相变和噪声量子纠错码的可解码性转变中。其动机之一是整数阶 Rényi 矩常常可以映射到可处理的统计力学模型，从而绕过直接计算 von Neumann 熵的困难。

一个常见的数值观察是：从 Rényi 相干信息推断出的误差阈值通常随 Rényi 指数增加。这带来一个自然问题：这种排序是否是普遍的？论文指出，Rényi 相干信息本身是两个 Rényi 熵之差，因此未必对 Rényi 指数单调。此外，von Neumann 相干信息满足量子数据处理不等式，并与量子纠错容量有直接操作联系；但对应的 Rényi 熵差未必继承这些性质。与此同时，跨 nn 个副本匹配综合征会给每个综合征 ss 一个权重 psnp_s^n，这种权重与有限 nn 的 Rényi 阈值和纯后选择阈值有关。论文围绕这两个问题展开：什么时候数值上的排序能成为严格层次？什么时候匹配综合征后选择真正定义量子信道，并能从 Rényi 相干信息得到恢复保证？

核心方法和技术细节

二元线性层次定理

论文先把问题抽象为一个经典二元线性模型。设故障位 b=(b1,…,bM)∈F2Mb=(b_1,\dots,b_M)\in\mathbb F_2^M 的每一位独立服从 Bern⁡(pa)\operatorname{Bern}(p_a)。给定两个嵌套子空间 KT⊆KC⊆F2MK_T\subseteq K_C\subseteq\mathbb F_2^M，定义细标签 T(b)=b+KTT(b)=b+K_T、粗标签 C(b)=b+KCC(b)=b+K_C。由于 T(b)T(b) 决定 C(b)C(b)，定义熵差

Δn:=Hn(T(b))−Hn(C(b)).\Delta_n:=H_n(T(b))-H_n(C(b)).

定理 1 证明：

Δ1≥Δ2≥⋯≥Δ∞\Delta_1\ge\Delta_2\ge\cdots\ge\Delta_\infty

（见论文第二节 Theorem 1）。这个结果不要求 CSS 结构、局域性，也不限制逻辑维数。

证明分两步。第一步从 Shannon 熵到碰撞熵，使用随机秩量

κ(Γ):=dim⁡TΓ(ker⁡CΓ),\kappa(\Gamma):=\dim T_\Gamma(\ker C_\Gamma),

其中 Γ\Gamma 是被擦除的故障位置集合。通过二元对称信道与二元擦除信道的收缩比较，以及 Harris 相关不等式，论文得到

Δ1≥(log⁡2)Eμκ(Γ)≥Δ2.\Delta_1 \ge (\log 2)\mathbb E_{\mu}\kappa(\Gamma)\ge \Delta_2.

第二步比较更高阶整数，把矩展开写成铁磁 Ising 配分函数。通过引入钉扎场 tt，使 t→∞t\to\infty 时从粗标签空间收缩到细标签空间，自由能差正好等于 Δm+1\Delta_{m+1}。再利用 GKS 相关不等式，证明相邻阶的期望单调，从而完成所有整数阶层次。

与稳定子码的联系

对 NN 量子比特稳定子码，噪声 Pauli 错误可用二进制向量表示。论文取细标签为联合综合征-逻辑类

T(b)=e(b)+S,T(b)=e(b)+\mathsf S,

粗标签为综合征

C(b)=e(b)+N,C(b)=e(b)+\mathsf N,

其中 S\mathsf S 是稳定子群、N\mathsf N 是 Pauli 正规化子模相位。由于 S⊆N\mathsf S\subseteq\mathsf N，适用定理 1。进一步，稳定子码的 Bell 扇区结构给出

Hn(RQ)=Hn(S,L),Hn(Q)=Hn(S)+log⁡dL,H_n(RQ)=H_n(S,L),\qquad H_n(Q)=H_n(S)+\log d_L,

因此

Ic(n)=log⁡dL−Δn,Δn=Hn(S,L)−Hn(S)I_c^{(n)}=\log d_L-\Delta_n, \qquad \Delta_n=H_n(S,L)-H_n(S)

（见论文 Eq. (32)）。这样直接得到 Corollary 1.1：

Ic(1)≤Ic(2)≤⋯≤Ic(∞).I_c^{(1)}\le I_c^{(2)}\le \cdots \le I_c^{(\infty)}.

该结论覆盖任意有限量子比特稳定子码，只要 Pauli 噪声由独立 Bernoulli 事件生成；每一事件可以作用在多个量子比特上，因此允许一定形式的空间关联错误。

匹配综合征后选择

论文进一步考虑操作解释。准备一个任意逻辑数据态和 n−1n-1 个最大混合逻辑辅助态，分别编码后在每个块上施加相同噪声和综合征测量。只保留所有块报告相同综合征的事件，得到未归一化操作

Pn(ρL)=∑spsn−1∣s⟩⟨s∣S⊗Ms(ρL).\mathcal P_n(\rho_L)=\sum_s p_s^{n-1}|s\rangle\langle s|_S\otimes \mathcal M_s(\rho_L).

对于随机 Pauli 噪声，每个综合征概率 psp_s 与输入逻辑态无关，所以接收概率 Zn=∑spsnZ_n=\sum_s p_s^n 也是输入无关的。归一化后 P~n=Pn/Zn\widetilde{\mathcal P}_n=\mathcal P_n/Z_n 是量子信道，其 Choi 态的综合征权重为 Qn(s)∝psnQ_n(s)\propto p_s^n，而条件态 JsJ_s 不变。

Proposition 1 建立了 Rényi 缺损与恢复保真度的关系。令 FnF_n 为匹配信道的最优恢复纠缠保真度，则有

Fnn≤e−(n−1)Δn≤FnF_n^n \le e^{-(n-1)\Delta_n} \le F_n

（见论文 Proposition 1 和 Eq. (39)）。因此，在固定整数 nn 下，Δn→0\Delta_n\to0 与 Fn→1F_n\to1 等价，且该等价对逻辑维数增长也是均匀的。论文还把匹配信道的普通相干信息与 Rényi 相干信息联系起来：任意综合征条件恢复后，普通相干信息都不超过 Ic,matchI_{c,\text{match}}，而 Ic,match≤Ic(n)I_{c,\text{match}}\le I_c^{(n)}。这意味着 Ic(n)≤0I_c^{(n)}\le0 可排除匹配信道在任何综合征条件恢复下获得正普通相干信息。

创新点和贡献

本文将数值上已知的 Rényi 排序提升为严格层次，并给出了适用范围较广的充分条件。其证明把 Rényi 熵差与随机秩、铁磁 Ising 钉扎自由能联系起来，形成可复用的论证结构。一个重要副产品是：对一类单参数噪声族，如果每一阶 Rényi 相干信息都只有一个正负零交叉，则阈值满足

pc(1)≤pc(2)≤⋯≤pc(∞)p_c^{(1)}\le p_c^{(2)}\le\cdots\le p_c^{(\infty)}

（见论文 Eq. (41)）。

第二个贡献是操作化。匹配综合征后选择在随机 Pauli 噪声下自动平衡，这是因为它满足分支迹缩放条件 Es=Ms†(Is)=psILE_s=\mathcal M_s^\dagger(I_s)=p_s I_L。于是归一化的后选择过程是真正量子信道，Rényi 相干信息的饱和可以解释为该信道的渐近可恢复性；而零交叉则提供不能获得正普通相干信息的单向证书。附录 C 给出更一般量子噪声下的有限尺寸恢复界，说明在一般噪声下仍可保持 “饱和推出恢复” 的方向，但反向界会依赖逻辑维数。

此外，附录 A 的显式反例很重要：它说明独立事件假设不能被任意去掉，即使噪声是乘积 Pauli 的。反例中，[[2,1,1]][ [2,1,1] ] 码配合特定单比特噪声出现 Ic(1)>Ic(2)I_c^{(1)}>I_c^{(2)}；[[4,1,2]][ [4,1,2] ] CSS 码配合四个不均匀单比特噪声则满足前两阶不等式，但破坏 Δ2≥Δ3\Delta_2\ge\Delta_3。这些反例划定了定理的边界。

实验结果分析

本论文没有传统的数据集实验，但有精确数值示例和显式反例。

图 1(a) 展示 [[5,1,3]][ [5,1,3] ] 稳定子码在去极化噪声下的 Rényi 相干信息，其中 qX=qY=qZ=p/3q_X=q_Y=q_Z=p/3。图中曲线体现出明显的层次关系，是定理结论的直观示例。需要注意，这属于特例展示，不是独立实验验证。

附录 A 中给出了精确数字反例。第一个反例取 [[2,1,1]][ [2,1,1] ] 码，第二个量子比特无噪声，第一个量子比特噪声为

νA=116(1,3,6,6).\nu_A=\frac{1}{16}(1,3,6,6).

在该构造下，

Δ1≈0.660444,Δ2≈0.668455,\Delta_1\approx0.660444,\qquad \Delta_2\approx0.668455,

因此 Δ1<Δ2\Delta_1<\Delta_2，即 Ic(1)>Ic(2)I_c^{(1)}>I_c^{(2)}，层次被破坏。论文用单比特 Fourier 判据说明该噪声不满足独立事件表示。第二个反例取距离为 2 的 [[4,1,2]][ [4,1,2] ] CSS 码和四个不均匀单比特 Pauli 信道，得到

Δ1≈0.569448,Δ2≈0.563199,Δ3≈0.588831.\Delta_1\approx0.569448,\quad \Delta_2\approx0.563199,\quad \Delta_3\approx0.588831.

于是前两阶不等式成立，但 Δ2<Δ3\Delta_2<\Delta_3，说明高阶单调性也能被破坏。论文强调这两个反例都是非均匀的；对均匀乘积噪声 ν⊗N\nu^{\otimes N} 是否能违反层次，仍未解决。

局限与待解决问题

首先，独立事件假设是一个充分性边界。反例说明它并不必要，也不总成立。论文在第四节明确留下问题：均匀乘积 Pauli 噪声是否可能违反层次？这关系到很多物理上自然的噪声模型。

其次，证明的高阶部分依赖于二进制字符的实 ±1\pm1 特征和非负 Ising 耦合。对于有限域上的 qudit 扩展，非二进制特征不再自然给出实系数 Ising 配分函数，因此需要新的相关不等式或论证方式。论文没有给出 qudit 版本的证明。

第三，一般量子噪声下的匹配综合征操作不一定满足 nn-balance。附录 B 给出振幅阻尼下的显式失败情况：奇数奇偶校验综合征的概率与逻辑输入相关，接收概率不再输入无关。这时归一化的后选择映射不是仿射映射，也谈不上 Choi 信道的普通相干信息。随机 Pauli 噪声虽然自动满足平衡，但对更一般的非 Pauli 噪声没有这个保证。

第四，匹配综合征后选择本身有接受概率代价。当 Hn(S)H_n(S) 是广延量时，Zn=e−(n−1)Hn(S)Z_n=e^{-(n-1)H_n(S)} 会随系统大小指数下降，实现成本很高。附录 C 还展示了维度相关反例：即使恢复保真度趋于 1，Rényi 缺损也不一定消失，反向界无法对逻辑维数均匀成立。最后，论文没有讨论是否可以通过比完全匹配更宽松的条件，在更低的接受概率损失下保留恢复保证；这被列为未来方向。