张量网络译码(tensor network decoding)把最大似然译码的类概率计算精确写成统计力学配分函数,再用张量网络收缩算法求值。Bravyi、Suchara 与 Vargo 在 2014 年给出两个高效实现:比特翻转噪声下经 matchgate 归约达到 的精确 ML;去极化噪声下用矩阵乘积态(MPS)扫描近似,键维度 时已与精确 ML 几乎不可区分,比匹配译码好两个数量级以上。Chubb 2021 年把方法推广到任意 2D Pauli 码。它是小码与中码上校准一切实用译码器的”黄金基准”。

从类概率到配分函数

ML 译码要算 ——对整个余等价类求和。Dennis 等早已识别出这个和等于一个 2D 无序 Ising 模型的配分函数Dennis et al. 2002 (J. Math. Phys.)。Bravyi–Suchara–Vargo(BSV)走经典-量子映射:把配分函数改写为一条 1D 自旋链的(虚时)演化迹,逐列演化算符串成一条链状张量网络——类概率 = 网络收缩Bravyi, Suchara & Vargo 2014 (PRA)。

d=3 表面码格点
图:BSV 基准用的 表面码格点——圆点为数据比特位置,方框为稳定子位置;收缩顺序按列组织(来源:QE247)

matchgate 特例:比特翻转下的精确 ML

比特翻转噪声下,BSV 的 1D 链演化算符全部是 matchgate(费米子高斯型)电路。Valiant 的经典模拟定理适用:matchgate 电路可用费米子高斯态的矩阵算符技巧精确跟踪——于是精确 ML 译码在 时间内完成Bravyi, Suchara & Vargo 2014 (PRA)。这是少数真正”精确”且多项式的 ML 情形;同文基准显示比特翻转噪声下 MWPM 与 ML 的逻辑失败率差距在 2 倍以内——简并性在纯 或纯 噪声下影响不大。

MPS 扫描收缩:χ 控制一切

去极化噪声破坏 matchgate 结构,演化算符变成矩阵乘积算符(MPO)。BSV 借 DMRG 的骨架做逐列扫描收缩:

  1. Contract:把当前列的张量并入已有的 MPS,恢复规范形——只做这一步会指数膨胀;
  2. Compress:对结果做有损压缩(SVD 截断到键维度 ),复杂度回落。

总复杂度 。弱纠缠猜想给出它为何有效:阈值以下关联长度有限,中间态纠缠有界,小 的近似已经足够好——数值上 时与精确 ML 几乎不可区分( 基准)Bravyi, Suchara & Vargo 2014 (PRA)。

边按列分块
图:张量网络按列分块的收缩顺序——每列内的错误变量先收缩成列张量,再从左到右扫入 MPS;每次并入后立即压缩,键维度 χ 保持有界(来源:QE247)

推广到任意 2D 码:扫描线收缩

Chubb(配合 Chubb–Campbell 的构造)证明任何 Pauli 码 + Pauli 噪声的 ML 译码都可归约为张量网络收缩,并给出任意 2D 网络的近似收缩算法:sweep-line 扫描线维护”已扫过部分”的 MPS 近似,每前进一个张量做一次 Contract+Compress,总运行时 (Julia 实现 SweepContractor.jl)。数值上规则/不规则表面码、子系统表面码、颜色码的阈值都与已知最优值一致;论文附录给出四类码×三种噪声的系统性阈值表Chubb 2021 (arXiv)。

复杂度的三道墙

张量网络译码的适用边界由三道复杂度墙划出。键维度墙: 随关联长度增长,去极化噪声与含错测量都会推高纠缠,3D 网络的等效 迅速失控。结构墙:扫描收缩依赖 2D 几何(列分解),qLDPC 码的非局域 Tanner 图没有可扫的列。延迟墙:逐列 SVD 的常数因子大,实时场景不可及。因此工程定位明确——离线精度基准与小码理论研究,恰好补上匹配类译码器”快而不准”的另一半光谱(见decoding-overview的权衡矩阵)。

角色与局限

张量网络译码的精度地位至今未被动摇:AlphaQubit 论文在真实 Sycamore 数据上对比的全部算法译码器中,张量网络译码器仍是最强基线Bausch et al. 2024 (Nature)。局限同样明确:(i) 含错测量把网络变成 3D, 需求迅速上升;(ii) 收缩延迟高,不适合作实时译码;(iii) 对非局域码(qLDPC)没有 2D 结构可扫。因此它的生态位是离线精度基准——发布任何新译码器时,“与 MPS 译码相差多少”是标准报告项。

延伸阅读