Symmetry-permuting entanglers for non-invertible symmetry-protected topological phases

技術要約：非可逆SPT相のための対称性置換エンタングラー

問題設定
可逆な対称性を伴う一次元対称保護トポロジカル（SPT）相は、通常、対称的なエンタングラー（対称的なエンタングラー：生成的な基底状態を積状態から生成し、かつグローバルな対称性と可換である有限深さ局所ユニタリ（FDLU）回路）によって特徴付けられる。しかし、非可逆な対称性（融合圏によって記述される）を持つSPT相の場合、この対応関係は崩れる。具体的には、$\text{Rep}(D_8)$ 対称性によって保護された異なるSPT相は、いかなる対称的なエンタングラー（すべての対称性演算子と可換である回路）によっても接続できない。従来の、可逆な対称性における「固定電荷双対性（FCD）」に関する研究に対し、非可逆なSPT相の分類には「固定代数双対性（FAD）」が関与する。FADでは、対称性の境界は凝縮可能な代数として保持されるが、その単純な和成分（対称性のライン）は置換される可能性がある。ここでの中心的な問題は、これら異なる$\text{Rep}(D_8)$ SPT相が、対称性のラインを置換する有限深さの回路によって接続可能であり、それによってsymTFT（対称性トポロジカル量子場理論）によって予測されるFADを実現できるか否かである。

手法
著者は、行列積ユニタリ（MPU）を用いて、このような接続の明示的な微視的実現を構築している。手法の詳細は以下の通りである：

1. 理論的枠組み： 本研究は、双対性がバルクのドリンフェルト中心 $Z(\mathcal{C})$ の編み自己同値（braided autoequivalences）によって符号化されるsymTFTの記述を利用している。著者は、対称性の境界のラグランジュ代数を保持するが、その単純な和成分（symmetry lines）を置換するFADに焦点を当てている。
2. 局所的制約： 体系的な（ad hocな）グローバル回路の探索を行う代わりに、著者はMPUテンソル $M$ に対する局所的な制約を導出している。まず、グローバルな対称性置換条件 $U S_a U^\dagger = S_{\phi(a)}$ （ここで $S_a$ は対称性MPO、$\phi$ は単純な対象の置換）を課す。
3. 交差関係（Crossing Relations）： MPOをベクトル化し、行列積状態の基本定理を適用することで、「引き抜き（pulling-through）」方程式を導出する。これらの方程式は、MPUテンソル $M$、対称性MPOテンソル $T_{S_a}$、および仮想空間をインターツワインする「交差テンソル」 $X_a$ を関連付ける。
4. アンザッツと解法： $\text{Rep}(D_8)$ のケースにおいて、著者は自明なSPT相と、部分群 $H = \langle r^2, s \rangle$ に関連するSPT相とを入れ替える特定のFADを標的とする。著者らは、MPUに対してボンド次元2のアンザッツを課す。交差テンソル $X_a$ は、MPUが積状態の作用テンソルをターゲットとなるSPT状態の作用テンソルへと写像するという要求によって決定される。
5. 構築： 得られた線形制約（交差関係）を解き、ユニタリ性とエルミート性を課し、固定点状態の正確な写像を課すことで、明示的なMPUテンソルを得る。得られた回路は、インデックスが自明なFDLUであることが示される。

主要な貢献と結果

• 明示的な構築： 本論文は、自明な積状態と非自明な$\text{Rep}(D_8)$ SPT相とを接続する、明示的なボンド次元2のMPUを構築している。この回路は、個々の対称性MPOとは可換ではないが、それらをターゲットとなるFADに従って置換する。
• 対称性の置換： 構築された回路は、対称性のラインの特定の置換 $\rho_a \leftrightarrow \rho_c$（$\rho_b$ と $\sigma$ は固定）を実現する。これは、対称的なエンタングラーでは見られる障害を解消し、異なるSPT相が対称性置換エンタングラーを介して接続可能であることを裏付けている。
• 微視的なエニオン置換： 著者は、このMPUがストリング秩序パラメータ（symTFTにおけるエニオンを表す）に作用した際、TQFTの双対性が予測するエニオンの置換を再現することを実証している。具体的には：
  • 可逆なストリングは $([e], \rho_a) \to ([r^2], \rho_c)$ および $([e], \rho_c) \to ([r^2], \rho_a)$ と変換される。
  • 非可逆なストリング $\sigma$ は、端点の電荷を置換するように変換され、$([e], \sigma) \to ([s], \omega_2)$ となる。
• 全双対性群の生成： この非オンサイト（non-on-site）の対称性置換エンタラーと、オンサイト・ユニタリ回路（$D_8$ の群自己同型によって誘導される）を組み合わせることで、全ての3つの異なる$\text{Rep}(D_8)$ SPT相を接続する、全$S_3$群のFADが生成されることを示している。

意義
本論文は、非可逆なSPT相の分類に対する具体的な微視的解決策を提供している。特定の非可能SPT相間では対称的なエンタングラー（FCD）が存在しない場合があるものの、固定代数双対性（FAD）を実現する有限深さの回路は存在する、というsymTFTの予測を実証している。本研究は、以前の例（$\text{Rep}(A_4)$ など）のような「ad hoc」な構築を超え、局所的な交差関係と作用テンソルから回路を導出している。その結果は、固定電荷双対性と固定代数双対性の区別が、量子回路において直接的に実現されることを示しており、symTFTによる分類の微視的な解釈を強化するものである。著者は、構築は局所的な関係によって導かれているものの、完全にはアルゴリズム的ではなく、ストリング演算子からのエニオン置換の抽出が、あらゆるケースにおいて基礎となる編み自己同値を一意に決定するわけではないことも指摘している。