[论文解读] Homological invariants of Pauli stabilizer codes

Błażej Ruba, Bowen Yang|arXiv (Cornell University)|Apr 12, 2022

Coding theory and cryptography被引用 5

一句话总结

本文为具有任意维度任意子的平移不变泡利稳定化码引入了同调不变量——电荷模 Q^p。通过群环模和局部上同调，定义了拓扑电荷、编织配对及高阶对称性，证明当电荷模的克鲁尔维数为零时，所有激发都是可移动的，将先前仅限于素数维任意子的结果推广至复合维数任意子。

ABSTRACT

We study translationally invariant Pauli stabilizer codes with qudits of arbitrary, not necessarily uniform, dimensions. Using homological methods, we define a series of invariants called charge modules. We describe their properties and physical meaning. The most complete results are obtained for codes whose charge modules have Krull dimension zero. This condition is interpreted as mobility of excitations. We show that it is always satisfied for translation invariant 2D codes with unique ground state in infinite volume, which was previously known only in the case of uniform, prime qudit dimension. For codes all of whose excitations are mobile we construct a $p$-dimensional excitation and a $(D-p-1)$-form symmetry for every element of the $p$-th charge module. Moreover, we define a braiding pairing between charge modules in complementary degrees. We discuss examples which illustrate how charge modules and braiding can be computed in practice.

研究动机与目标

• 开发一个同调框架，用于系统分类平移不变泡利稳定化码中非均匀维数任意子的拓扑不变量。
• 利用群环模与局部上同调，定义并表征 p 维激发的电荷模 Q^p。
• 从物理角度解释 Q^p 在可移动激发、高阶对称性与编织统计中的意义。
• 将激发的可移动性与编织结构推广至非素数维任意子，包括复合维数。
• 为具体模型（如量子纠错码与Haah's代码）提供计算电荷模与编织配对的系统方法。

提出的方法

• 使用有限生成阿贝尔群 Λ 的群环 R = Z[Λ] 上的辛模来描述稳定化码及其各向同性子模。
• 将电荷模 Q^p 定义为局部上同调模 H^p_a(M)，其中 a = (t1,…,tr) 为零化理想，且 p ≥ 0。
• 应用Čech复形与上积结构，定义在 p+q = D−2 条件下 Q^p 与 Q^q 之间的分次交换编织配对。
• 构造显式的 (p+1) 维算符，用于在边界上创建并移动 p 维激发，证明在克鲁尔维数为零时激发的可移动性。
• 通过同调对偶与上同调配对，将 Q^p 的元素与 (D−p−1)-形式对称性联系起来。
• 运用 Gorenstein 与 Cohen-Macaulay 环理论分析模的性质，确保上同调定义良好。

实验结果

研究问题

• RQ1 如何在非素数维任意子的情况下，系统地定义泡利稳定化码的拓扑不变量？
• RQ2 同调不变量 Q^p 在激发、对称性与编织关系中的物理意义是什么？
• RQ3 在何种代数条件下所有激发变为可移动？这与电荷模的克鲁尔维数有何关联？
• RQ4 如何代数地定义并计算不同维激发之间的编织统计？
• RQ5 该框架能否应用于计算已知模型（如 4D Z_n 量子纠错码或 Haah's 代码）中的不变量？

主要发现

• 当电荷模的克鲁尔维数为零时，所有激发均可移动，且存在一个 (p+1) 维算符可在其边界上创建一个 p 维激发。
• Q^p 的每个元素均对应一个 (D−p−1)-形式对称性，推广了二维中任意子与对称性之间的对偶性。
• 在 p+q = D−2 条件下，定义了 Q^p 与 Q^q 之间的分次交换编织配对，满足对称性与对偶性性质。
• 可移动性定理证明：在无限体积下，具有唯一基态的二维平移不变码中，所有激发均可移动，即使对于复合维数的任意子亦然。
• 该框架成功计算了包括 3D 与 4D Z_n 量子纠错码、Z_n 伊辛模型与 X-cube 模型在内多个实例中的电荷模与编织关系。
• 该构造统一并推广了以往关于二维中拓扑自旋与编织的成果，将其扩展至任意维任意子与高维情形。