[論文レビュー] 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 の物理的解釈を、移動可能な励起状態、高次形式の対称性、およびバーニング統計の観点から明らかにすること。
• 素数次元のクーディットにとどまらない、励起状態の移動性およびバーニング構造を、合成次元を含めて一般化すること。
• 具体的なモデル（例：トーリックコードやハイのコード）において、電荷モジュールとバーニングペアリングを体系的に計算するための手法を提供すること。

提案手法

• 有限生成アーベル群 Λ の群環 R = Z[Λ] 上のシンプレクティックモジュールを用いて、安定化子コードおよびその自己直交部分モジュールを記述する。
• p ≥ 0 に対して、電荷モジュール Q^p を局所コホモロジーモジュール H^p_a(M) として定義する。ここで a = (t1,…,tr) は annihilator 理想である。
• チェコ複体とカップ積構造を用いて、p+q = D−2 のとき、Q^p と Q^q 間の次数付き可換バーニングペアリングを定義する。
• p次元励起状態を境界上に生成・移動可能な (p+1) 次元作用素を明示的に構成し、クルール次元がゼロの下で移動性を証明する。
• ホモロジー的双対性とコホモロジー的ペアリングを用いて、Q^p の要素を (D−p−1)-形式対称性に関連付ける。
• ゴレンシュタインおよびコーエン＝マカウル環論を用いてモジュールの性質を解析し、適切に定義されたコホモロジーを保証する。

実験結果

リサーチクエスチョン

• RQ1 どのようにして、素数次元のクーディットに限らない状況においても、パウリ安定化子コードのトポロジカル不変量を体系的に定義できるか？
• RQ2 ホモロジー的不変量 Q^p は、励起状態、対称性、バーニングの観点からどのように物理的に解釈できるか？
• RQ3 すべての励起状態が移動可能になる代数的条件は何か？ また、これは電荷モジュールのクルール次元とどのように関係するか？
• RQ4 異なる次元の励起状態間のバーニング統計を、代数的にどのように定義し計算できるか？
• RQ5 このフレームワークは、4次元 Z_n トーリックコードやハイのコードといった既知のモデルにおいて、不変量の計算に適用可能か？

主な発見

• 電荷モジュールのクルール次元がゼロであるコードでは、すべての励起状態が移動可能であり、(p+1) 次元作用素が境界上に p 次元励起状態を生成できることを示した。
• Q^p の各要素は、(D−p−1)-形式対称性をもたらす。これは、2次元における anyon と対称性の双対性を一般化する。
• p+q = D−2 のとき、Q^p と Q^q 間に、可換性および双対性の性質を満たす次数付き可換バーニングペアリングが定義された。
• 移動性定理により、無限大体積における一意な基底状態を有する2次元並進不変コードでは、合成次元のクーディットを含め、すべての励起状態が移動可能であることが証明された。
• 本フレームワークは、3次元および4次元 Z_n トーリックコード、Z_n イジング模型、X-cube モデルといった具体例において、電荷モジュールとバーニングペアリングの計算に成功した。
• 本構成は、2次元におけるトポロジカルスピンおよびバーニングに関する既存の結果を統一的かつ一般化し、任意のクーディット次元および高次元へと拡張した。