Toric codes all the way down: decoupling translation-invariant topological CSS codes in higher dimensions

技術要約：「Toric codes all the way down: higher dimensionsにおけるtranslation-invariantなtopological CSS codesのデカップリング」

問題提起
空間次元 $D \geq 3$ におけるトポロジカルCSS符号は、横断的な非クリフォードゲートやシングルショット復号などの、フォールトトレラント量子計算に向けた有望な特徴を備えています。しかし、これらの符号に関する体系的な理解は不足しています。一部の高次元符号（例：3Dカラーコード）は、より単純なtoric codeのスタックに局所的に等価であることが知られていますが、どの特徴が特定の符号に固有のものであり、どの特徴がより単純な「toric-code stack」構造から継承されたものなのかを判別することは依然として不明です。本研究が取り組む中心的な問いは、「あるtranslation-invariantなtopological CSS codeは、有限深度の局所的なCSS保存Clifford回路（潜在的なアンシラを含む）を介して、高次形式のtoric codeのスタックと等価になるか？」という点です。

2次元においては、粗視化（coarse-graining）後に超格子（superlattice）上で並進操作がすべてのanyonタイプに対して自明に作用する場合、この等価性が確立されています。高次元では、励起は次元に基づいて「超選択層（superselection layers）」へと組織化されます。並進操作が各層に対して自明に作用する必要があることは既知でしたが、新たな障害として「層間の接着（gluing）」が特定されました。たとえ並進操作が個々の層に対して自明に作用していたとしても、層同士が「接着」された状態にある場合、デカップリング（分離）が妨げられる可能性があります。

手法
著者らは、Haahらによるアプローチに従い、Laurent多項式の環（$R = \mathbb{F}_p[x_1^{\pm 1}, \dots, x_D^{\pm 1}]$）上の加群に基づく代数的な枠組みを採用しています。

1. 代数的表現: Translation-invariantなCSS符号は、自由$R$-加群の複体として表現されます。スタビライザーチェックは、チェック行列 $H_X$ および $H_Z$ によってエンコードされます。
2. 超選択プロファイル（Superselection Profiles）: 著者らは、X型スタビライザー加群の派生Hom複体の正次数の切断として、符号の「超選択プロファイル」を定義します。このプロファイルは、励起のタイプ（超選択層）と、層がどのように結合しているかを記述する重要な「層間接着（inter-layer gluing）」の射（morphism）を捉えます。
3. 粗視化（Coarse-Graining）: 本研究では、格子を超格子 $\Lambda$ へと粗視化する影響を調査します。これは、スカラーを $R$ から部分環 $\mathbb{F}_p[\Lambda]$ へと制限することに対応します。
4. デカップリング基準: 符号の複体が、一連の可換な可逆写像を介して、スタックされた高次形式toric codeの複体と同型であるとき、その符号はデカップルされているとみなされます。

主要な貢献と結果

1. 唯一の障害としての「層間接着」の特定:
   論文では、派生圏（derived category）における連結射を用いて「層間接着」を厳密に定義しています。著者らは、並進操作が各層に対して自明に作用することは必要条件ですが、層が非自明に接着されている場合には、デカップリングには不十分であることを示しました。また、この接着こそが、並進操作が各層に対して自明に作用した後に残る唯一の障害であることを証明しています。

2. デカップリング基準（定理1）:
   $p$ 次（$p$ は素数）のtranslation-invariantなtopological CSS符号が、超格子 $\Lambda$ 上でデカップル可能であるための必要十分条件は以下の通りです：

   • $\Lambda$ における並進操作が、すべての超選択層に対して自明に作用すること。
   • $\Lambda$ 上で層間の接着が消失していること。

これらの条件が満たされるとき、その符号は、SUM（qudit CNOT）およびSWAPゲートからなる有限深度の局所的Clifford回路を介して、スタックされた高次形式toric code $\bigoplus_j \text{TC}^{(D)}_j(\mathbb{F}_p)^{\oplus t_j}$ と等価になります。

3. 粗視化による接着の解消:
   各層に有限個の励起タイプを持つ符号について、接着の障害はさらなる粗視化によって常に除去できることを著者らは証明しています。具体的には、（並進操作が自明になることを確認した後に）すべての方向に対して因子 $p^{m-1}$ で粗視化を行うことで、接着クラスを消滅させることができます。これは、接着クラスが$\text{Ext}$群の要素として表され、十分細かい超格子に制限されると（具体的には、$p$ 倍のスケーリングによって）関連するコホモロジー類がゼロになるためです。

4. 具体的なアルゴリズム:
   理論的結果は、2つの構成的なアルゴリズムへと変換されています：

   • アルゴリズム1: 並進操作が層に対して自明に作用する超格子 $\Lambda_{\text{triv}}$ をまず見つけ、次に接着を除去するために必要な粗視化因子 ($p^{m-1}$) を適用することで、十分な超格子 $\Lambda_{\text{suff}}$ を計算します。
   • アルゴリズム2: 粗視化された格子上での明示的なデカップリング回路（SUMおよびSWAPゲート）を構築します。著者らは、固定された空間次元 $D$ に対して、このアルゴリズムがチェック行列の係数の数に対して多項式時間で動作することを証明しています。

5. 有限トーラスへの適用（系1）:
   デカップリング基準は、有限トーラス上で符号がエンコードする論理quditの数を決定します。コードが周期格子上でデカップリング可能である場合（並進操作の非自明な作用または非消滅の接着によるもの）、そのトーラスは（超選択層の次元によって決まる）最大数の論理quditをエンコードします。周期格子がデカップリング基準を満たさない場合（「トポロジカルなフラストレーション」が生じる場合）、エンコードされる論理quditの数は減少します。

意義と主張
本論文は、広範なtranslation-invariantなtopological CSS符号において、いつそれらがtoric codeのスタックと等価になるかについての完全な特徴付けを提供すると主張しています。

• 統一: 様々な高次元符号（カラーコードやglued codeなど）の理解を、それらがデカップルされているか、あるいは除去可能な特定の接着メカニズムによって阻害されているかを示すことで統一しています。
• 構成的証明: 非構成的な存在証明とは異なり、本研究は、必要な超格子とデカップリング回路を見つけるための明示的なアルゴリズムを提供しています。
• 物理的意味合い: 基準を満たす符号については、その性質（シングルショット復号や論理ゲートセットなど）は、定数倍の差を除いて、対応するtoric codeスタックの性質と実質的に同一であると著者らは述べています。提供されたデカップリング回路による「辞書」を用いることで、よく理解されているtoric codeからターゲットとなる符号へのデコーダおよび論理ゲートのマッピングが可能になります。
• 限界: 論文では、基準はデカップリングが可能かどうかを決定するものではあるが、コスト（例：超格子のサイズや回路の深さ）を最小化するものではないことを謙虚に認めています。また、無限個の励起タイプを持つモデル（fractonモデル）や合成qudit次元を持つモデルについては、現在のフレームワーク（有限次元の層に基づくもの）が直接適用できないことも述べています。

要約すれば、本論文は「Toric codes are all the way down」であることを確立しています。すなわち、格子を十分に粗視化して並進操作を自明にし、層間の接着を解消する用意があるならば、広範なclassのtranslation-invariantなCSS符号は、局所的に高次形式のtoric codeのスタックと等価になります。