量子纠错的图解场论

我们发展了一个以酉融合范畴中的融合空间码为中心的量子纠错场论框架。可容许簇决定了总电荷扇区，并记录了错误历史留下的局部可见数据的正交足迹投影算子。核心区别在于诊断足迹代数和综合征可容许交换代数：后者可以在不泄露逻辑信息的情况下被测量，并将选定的错误代表分解到测量的扇区中。对于此类代数，精确可纠错性等价于纤维式 Knill-Laflamme 条件，产生先测量后恢复的分解。在可收缩真空局域性假设下，闭合中性复合体给出了码上标量作用的范畴充分判据。在 Ising 理论中，四个 $\sigma$ 穿刺表明成对电荷足迹可以是互补的逻辑诊断，并实现一个精确的单量子比特 Clifford 影子。一个适当的六-$\sigma$ 码反而允许综合征可容许的成对电荷测量，并从显式的 Majorana 双线性错误中精确恢复。第二个双线性具有相同的测量足迹，但相差一个逻辑比特翻转，产生一个具体的非平凡足迹纤维和真正的解码歧义。我们还制定了共形块似然数据，并计算了依赖于几何的 Ising 四点权重。对于增长的码族，我们证明了一个条件 Peierls 型阈值定理：有界连通区域增长、局域随机噪声、小残余分量的局域可中和性以及分量级解码器平衡意味着在非零常数错误率以下，$\Pr_L(\mathrm{fail})\le C|\Omega_L|e^{-cL}$。最后，我们总结了涉及管代数与 Hopf 代数、Yangian 型结构、Higgs 丛、谱曲线、Jacobian 簇和阿贝尔簇的表示论和代数几何方向。