2025-11-21T12:22:15.785177

Lattice Translation Modulated Symmetries and TFTs

Yao

Modulated symmetries are internal symmetries that are not invariant under spacetime symmetry actions. We propose a general way to describe the lattice translation modulated symmetries in 1+1D, including the non-invertible ones, via the tensor network language. We demonstrate that the modulations can be described by some autoequivalences of the categories. Although the topological behaviors are broken because of the presence of modulations, we can still construct the modulated version of the symmetry TFT bulks by inserting a series of domain walls described by invertible bimodule categories. This structure not only recovers some known results on invertible modulated symmetries but also provides a general framework to tackle modulated symmetries in a more general setting.

academic

格子並進対称性と位相的場の理論

基本情報

論文ID: 2510.03889
タイトル: Lattice Translation Modulated Symmetries and TFTs
著者: Yao Ching-Yu（東京大学固体物理研究所 & 東京大学物理学科）
分類: cond-mat.str-el（強相関電子系）
発表日時: 2025年11月20日（v2版）
論文リンク: https://arxiv.org/abs/2510.03889

要旨

調整対称性（modulated symmetries）は時空対称性の不変性を満たさない内部対称性である。本論文は、テンソルネットワーク言語を用いて1+1次元の格子並進調整対称性を記述する汎用的方法を提案し、非可逆な場合も含む。調整は範疇の特定の自己同値によって記述できることが示される。調整の存在により位相的性質は破壊されるが、可逆双モジュール範疇によって記述される一連のドメイン壁を挿入することにより、対称性位相的場の理論（SymTFT）体の調整版を構築できる。この構造は、可逆調整対称性の既知結果を回復するだけでなく、より一般的な設定での調整対称性を扱うための汎用フレームワークを提供する。

研究背景と動機

研究課題

従来の対称性保護位相（SPT）と対称性位相的場の理論（SymTFT）のフレームワークは、対称性演算子が位相的性質を持つという仮定に基づいている。しかし、実際の物理系には多くの調整対称性が存在する。これらは時空対称性の作用下で不変でない内部対称性であり、以下を含む：

多極対称性（multipole symmetries）：例えば双極対称性
指数対称性（exponential symmetries）
部分系対称性（subsystem symmetries）：フラクトン秩序の異常現象に関連

問題の重要性

理論的完全性：既存の対称性分類フレームワークは調整対称性に直接適用できず、新しい理論的ツールの開発が必要
物理的関連性：調整対称性は凝聚系物理学に広く存在し、フラクトン位相秩序などの最先端課題と密接に関連
分類問題：調整対称性で保護された位相（modulated SPT）の分類、特に非可逆な場合は依然として不完全

既存方法の限界

可逆な場合：先行研究24-26は行列積状態（MPS）と欠陥ネットワークを用いて特定の可逆調整対称性を分類したが、統一フレームワークが欠けている
体理論の構築：特定の可逆調整対称性に対する2+1D調整SymTFT研究は限定的27,28
非可逆な場合：調整対称性の正規化は非可逆対称性を生じる可能性があるが28-30、体系的研究が不足している

研究動機

本論文は統一的な範疇論フレームワークを確立することを目指し、以下を可能にする：

格子並進調整の対称性構造を記述（非可逆な場合を含む）
対応する能隙相を分類
相応する調整SymTFT体理論を構築
既知結果を回復し一般化

核心的貢献

範疇論的記述フレームワーク：テンソルネットワーク言語と範疇論を用いて1+1D格子並進調整対称性を記述する方法を提案。調整を融合範疇Cの単子自己同値 $F_T: \mathcal{C} \to \mathcal{C}$ としてエンコード
相の分類：調整SPT相が $F_T$ -ねじれC-モジュール自己同値 $F_T^M: \mathcal{M} \to \mathcal{M}$ を備えた既約半単純C-モジュール範疇Mによって分類されることを証明。異なる選択は弱SPT相に対応
混合異常の特性化：可逆対称性の場合、内部対称性と格子並進の混合異常は $H^2(G;U(1))$ のコホモロジー類によって特性化されることを証明
調整SymTFT構築：格子並進方向に沿って可逆双モジュール範疇 $\mathcal{T} = {}_{\mathcal{D}}\text{id}_{\mathcal{D}}^{F_T^D}$ によって記述される一連のドメイン壁を挿入することにより、調整2+1D SymTFTを構築する方法を提案
具体的実装： $\mathbb{Z}_N$ 双極対称性の調整Levin-Wenモデルを構築し、連続極限が葉状BF理論32,33を回復することを証明
任意子凝聚条件：調整の場合の境界能隙相と体任意子凝聚の対応関係を確立：Lagrangian代数Aが能隙境界に対応するのは、 $\Phi(\mathcal{T})A$ とAがMorita同値である場合のみ

方法の詳細

タスク定義

入力：

内部対称性：融合範疇 $\mathcal{C}$
格子並進調整：単子自己同値 $F_T: \mathcal{C} \to \mathcal{C}$

出力：

対称性保護相の分類
対応する調整SymTFT体理論

制約条件：

対称性演算子はユニタリで単射の行列積演算子（MPO）
基底状態は単射の行列積状態（MPS）

理論的アーキテクチャ

1. 調整対称性の範疇論的記述

対称性演算子：融合範疇 $\mathcal{C}$ の単一対象 $X \in I(\mathcal{C})$ によってラベル付けされた位置依存MPO（図1）：

位置 i:   [A_i^X] - [A_i^X] - [A_i^X] - ...

融合規則：以下を満たす $X_1 \otimes X_2 \simeq \bigoplus_{X_3} |B_{X_1,X_2}^{X_3}| X_3$

ここで $B_{X_1,X_2}^{X_3} \subset \text{Hom}_{\mathcal{C}}(X_1 \otimes X_2, X_3)$ は正規直交基

重要な革新——調整の範疇論的特性化：格子並進 $T$ は第 $i+1$ 番目のゲートを第 $i$ 番目のゲートにマップし、以下を定義： $F_T X := \text{第 } i+1 \text{ 番目の } X \text{ のゲートを第 } i \text{ 番目のゲートとして}$

閉包条件を通じて $F_T$ が $\mathcal{C}$ の単子自己同値であることを証明し、自然同型を備える： $(\eta_T)_{X_1,X_2}: F_T(X_1 \otimes X_2) \xrightarrow{\sim} F_T X_1 \otimes F_T X_2$

テンソルネットワーク表現は方程式(2.14)-(2.16)で、重要なのは以下の可換図を証明することである：

FT(X1⊗X2)⊗FTX3 --ηT--> (FTX1⊗FTX2)⊗FTX3
     |                           |
  FT(a)                          a
     ↓                           ↓
FT(X1⊗(X2⊗X3)) --ηT--> FTX1⊗(FTX2⊗FTX3)

これは $F_T$ が単子構造を保存することを証明する。

2. 混合異常（可逆な場合）

$\mathcal{C} = \text{Vec}_G$ （G-段階付きベクトル空間範疇）に対して、 $F_T$ は群準同型 $\phi: \langle T \rangle \to \text{Aut}(G)$ によって決定される。

自然同型 $\eta_T$ は2-コサイクル $\alpha \in C^2(G;U(1))$ を定義： $\alpha(g_1, g_2) := ((\eta_T)_{g_1,g_2}^{g_3})_{\tau_3}^{\tau_1,\tau_2}$

2-コサイクル条件(2.16)を満たし、そのコホモロジー類 $[\alpha] \in H^2(G;U(1))$ は内部G対称性と格子並進の混合異常を特性化する。

3. 能隙相の分類

基底状態の記述：既約半単純C-モジュール範疇 $\mathcal{M}$ の単一対象 $M \in I(\mathcal{M})$ によってラベル付けされた調整MPS（図2）。

対称性作用：双関手 $\triangleright: \mathcal{C} \times \mathcal{M} \to \mathcal{M}$ は類似の結合則とテンソルネットワーク関係(2.21)-(2.28)を満たす。

相の特性化： $\mathcal{M}$ が相に対応するのは、交換図(2.36)を満たす $F_T$ -ねじれC-モジュール自己同値 $F_T^M: \mathcal{M} \to \mathcal{M}$ を備えている場合のみ：

FT(X1⊗X2)▷FTM --ηM--> (FTX1⊗FTX2)▷FTM
       |                        |
    FT(m)                       m
       ↓                        ↓
FT(X1▷(X2▷M)) --ηM--> FTX1▷(FTX2▷FTM)

弱SPT分類（可逆な場合）：

$\mathcal{M} = \text{Vec}_G^{\psi}/H$ （ $H \leq G$ 、 $\psi \in H^2(H;U(1))$ ）
$F_T^M$ が存在するのは $\phi(T)(H)$ がHと共役である場合のみ、かつ $(\phi(T)|_H)^* (c_{f(1)^{-1}}|_{f(1)Hf(1)^{-1}})^* \psi = \psi \in H^2(H;U(1))$
異なる $[\beta] \in H^1(H;U(1))$ の選択は異なる弱SPT相に対応

調整SymTFT構築

核心的思想

融合範疇の3-範疇 $\text{FusCat}$ を利用：

0-射：融合範疇
1-射：双モジュール範疇（界面）
2-射：双モジュール関手
3-射：自然変換

重要な構造：可逆双モジュール範疇を定義 $\mathcal{T} := {}_{\mathcal{D}}\text{id}_{\mathcal{D}}^{F_T^D}$

ここで $\mathcal{D} := \mathcal{C}_M^*$ はMorita双対で、右 $\mathcal{D}$ -モジュール作用は： $\mathcal{T} \times \mathcal{D} \to \mathcal{T}, \quad (T, Y) \mapsto T \otimes F_T^D Y$

物理的解釈： $F_T^M: \mathcal{M} \xrightarrow{\sim} \mathcal{M}_{F_T^D} \simeq \mathcal{M} \boxtimes_{\mathcal{D}} \mathcal{T}$

すなわち $F_T^M$ はドメイン壁 $\mathcal{T}$ を通じた1D界面として再解釈できる。

調整体理論：Turaev-Viroモデル $TV(\mathcal{D})$ は格子並進方向に沿って一連のドメイン壁 $\mathcal{T}$ を挿入する（図3）。

任意子凝聚条件

同型 $\Phi: \text{BrPic}(\mathcal{D}) \xrightarrow{\sim} \text{Aut}_{\otimes}^{\text{br}}(Z(\mathcal{D}))$ を利用して、任意子 $Z$ はドメイン壁を通じて $\Phi(\mathcal{T})Z$ に変換される（図4）。

能隙境界条件：Lagrangian代数 $A \in Z(\mathcal{D})$ が能隙境界に対応するのは、以下の場合のみ： $\text{Mod}_{Z(\mathcal{D})}(\Phi(\mathcal{T})A) \simeq \text{Mod}_{Z(\mathcal{D})}(A)$

すなわち $A$ がドメイン壁作用下でMorita不変である。

実験的設定

具体的モデル： $\mathbb{Z}_N$ 双極対称性

対称性の定義

1+1D $\mathbb{Z}_N$ スピン鎖上の双極対称性は以下の生成元によって定義される： $U_Q := \prod_i \sigma_i^x, \quad U_D := \prod_i (\sigma_i^x)^i$

対称性演算子： $(Q,D) := U_Q^Q U_D^D = \prod_i (\sigma_i^x)^{Q+Di}$

調整： $F_T(Q,D) = (Q+D, D)$

調整SymTFT構築

Morita双対の選択： $\mathcal{D} := \text{Fun}_{\text{Vec}_{\mathbb{Z}_N \times \mathbb{Z}_N}}(\text{Vec}_{\mathbb{Z}_N \times \mathbb{Z}_N}, \text{Vec}_{\mathbb{Z}_N \times \mathbb{Z}_N}) \xrightarrow{\sim} \text{Vec}_{\mathbb{Z}_N \times \mathbb{Z}_N}$

双対調整： $F_T^D(q,d) = (q+d, d)$

格子モデル（図5）：

各辺上に2つの $\mathbb{Z}_N$ スピンを配置し、Pauli行列 $Z_Q, X_Q$ （青）と $Z_D, X_D$ （赤）で作用
安定子：
- 平坦性条件： $A_v^Q, A_v^D$ （頂点）
- 収縮可能ループ： $B_p^Q, B_p^D$ （面）

ハミルトニアン： $H_{\text{bulk}} = -\sum_{a=1}^N \left\{ \sum_v [(A_v^Q)^a + (A_v^D)^a] + \sum_p [(B_p^Q)^a + (B_p^D)^a] \right\}$

任意子と境界

任意子生成元（図6）：

$e_Q = ((1,0),(0,0))$
$m_Q = ((0,0),(1,0))$
$e_D = ((0,1),(0,0))$
$m_D = ((0,0),(0,1))$

格子並進作用： $e_Q \to e_Q, \quad e_D \to e_Q e_D, \quad m_Q \to m_Q^{-1} m_D, \quad m_D \to m_D$

境界相：

滑らかな境界（ $m_Q, m_D$ 凝聚）：元の双極対称性を回復
粗い境界（ $e_Q, e_D$ 凝聚）：単極と双極の役割が交換、 $\mathcal{M} = \text{Vec}$ に対応

連続極限：葉状BF理論

標準 $\mathbb{Z}_N \times \mathbb{Z}_N$ BF理論： $\mathcal{L}_{\mathbb{Z}_N \times \mathbb{Z}_N} = \frac{N}{2\pi}(b_Q \wedge da_Q + b_D \wedge da_D)$

ドメイン壁による修正： $\partial_x a_\mu^Q \to \partial_x a_\mu^Q - a_\mu^D \Rightarrow da_Q \to da_Q + a_D \wedge dx$

双極対称性の葉状BF理論： $\mathcal{L}_{\text{dip}} = \frac{N}{2\pi}(b_Q \wedge da_Q + b_D \wedge da_D + b_Q \wedge a_D \wedge dx)$

文献32,33の構築と完全に一致し、フレームワークの正確性を検証する。

実験結果

理論的検証

1. 可逆調整対称性の回復

結果： $\mathcal{C} = \text{Vec}_G$ に対して、本フレームワークは文献24-26の分類結果を完全に回復：

相の存在性： $\mathcal{M} = \text{Vec}_G^{\psi}/H$ が相に対応するのは $\phi(T)(H)$ がHと共役である場合のみ
SPT分類： $(\phi(T)|_H)^* (c_{f(1)^{-1}})^* \psi = \psi$ の不変性条件によって決定
弱SPT： $[\beta] \in H^1(H;U(1))$ によって分類

意義：範疇フレームワークの正確性と一般性を証明する。

2. 混合異常の計算

結果：可逆対称性に対して、混合異常 $[\alpha] \in H^2(G;U(1))$ は自然同型 $\eta_T$ の相因子によって決定される（方程式2.16）。

検証： $[\alpha] = 0$ の場合は異常なし相に対応し、物理的直感と一致する。

3. $\mathbb{Z}_N$ 双極対称性の完全な実装

格子モデル：

具体的な安定子ハミルトニアンを構築（方程式3.27）
ドメイン壁作用下での任意子の変換規則（方程式3.28）は理論予測 $\Phi(\mathcal{T})$ と完全に一致

境界相分析：

滑らかな境界：局所演算子(3.29)は元の双極対称性 $W_{e_Q}^x = \prod_i \sigma_i^x$ 、 $W_{e_D}^x = \prod_i (\sigma_i^x)^i \tau_i^x$ を回復
粗い境界：局所演算子(3.30)は単極-双極交換を示し、調整 $(Q,D) \to (Q, D-Q)$ に対応（方程式3.36）

連続極限：

導出された葉状BF理論ラグランジアン(3.40)は文献32,33と完全に一致
ゲージ対称性(3.52)-(3.53)とゲージ不変2-形式(3.54)-(3.55)の導出は厳密

重要な発見

ドメイン壁の物理的意義：可逆双モジュール範疇 $\mathcal{T}$ は調整情報を正確にエンコードし、ドメイン壁を通じた任意子の変換は $\Phi(\mathcal{T})$ によって特性化される
境界-体対応：調整の場合の任意子凝聚条件(3.19)は標準対応を一般化し、凝聚代数がドメイン壁作用下でMorita不変であることを要求
役割交換現象：粗い境界上の単極と双極の役割交換は異なる $F_T^M$ 選択（弱SPT）に由来し、 $[\beta] \in H^1(\mathbb{Z}_N \times \mathbb{Z}_N)$ によってパラメータ化される
非可逆推広：フレームワークは非可逆対称性（例えば正規化後の対称性）に自然に適用でき、 $\mathcal{C}$ が一般融合範疇であることのみが必要

結論と議論

主要な結論

統一フレームワーク：格子並進調整対称性の範疇論的記述を確立し、可逆と非可逆の場合に適用可能
相の分類：調整SPT相は $F_T$ -ねじれモジュール自己同値を備えたモジュール範疇によって分類され、異なる選択は弱SPTに対応
体理論構築：可逆双モジュール範疇によって記述されるドメイン壁を挿入することにより調整SymTFTを構築。任意子はドメイン壁作用下で $\Phi(\mathcal{T})$ によって変換
具体的検証： $\mathbb{Z}_N$ 双極対称性の完全な実装（格子モデル、境界相、連続極限）がフレームワークの有効性を検証

制限事項

次元制限：現在の研究は1+1Dに焦点を当てており、高次元への推広（特に3+1Dフラクトン秩序）はより複雑な範疇構造を必要とする
動力学的性質：主に基底状態分類に焦点を当てており、励起状態と動力学過程（例えば拡散挙動17,20）は未検討
具体的モデル： $\mathbb{Z}_N$ 双極対称性のみを詳細に分析し、より多くの非自明な例（例えば指数対称性、部分系対称性）は今後の研究が必要
非半単純な場合：フレームワークは半単純範疇を仮定（能隙相に対応）し、臨界系は非半単純範疇の推広を必要とする
計算複雑性：高階群コホモロジーとF-記号の計算は非常に複雑である可能性がある

今後の方向

著者は以下の研究方向を明確に提案している：

具体的モデル研究：
- 非自明な混合異常の例
- 非可逆調整対称性の明示的構築
異なる調整タイプ：
- 高次元格子並進
- 他の時空対称性（回転、反射など）
- 高形式調整対称性
高次元推広：
- 2+1Dと3+1D調整対称性
- フラクトン位相秩序との関連
動力学的応用：
- 調整対称性が輸送特性に与える影響
- エルゴード性破れとHilbert空間断片化16

深い評価

利点

1. 理論的革新性

範疇論統一：自己同値システムを用いて調整を初めて記述し、時空依存性を範疇構造にエンコード。極めてオリジナル
非可逆推広：フレームワークは非可逆対称性を自然に含み、既存研究の限界を突破
ドメイン壁解釈：調整SymTFTをドメイン壁挿入体理論として解釈。物理的イメージが明確で数学的に厳密

2. 数学的厳密性

完全な証明チェーン：テンソルネットワークの閉包条件(2.14)から自己同値の単子性(2.17)を厳密に導出
可換図検証：重要な相容性条件(2.16)、(2.35)、(2.36)は詳細に導出
同型構築：Morita双対、Brauer-Picard群同型などの高度な範疇論ツールを適切に使用

3. 結果の体系性

既知結果の回復：可逆な場合は文献24-26の分類を完全に回復（第2.4節）
新しい予測：任意子凝聚条件(3.19)は非可逆な場合に新しい判定基準を提供
連続極限：葉状BF理論の導出(3.40)は格子と場論を接続

4. 具体例の完全性

$\mathbb{Z}_N$ 双極対称性の分析は以下を含む：

格子ハミルトニアンの明示的構築（安定子形式）
2種類の境界相の局所演算子計算
任意子変換規則の検証
連続極限の導出

不足

1. 非自明な例の欠如

単一の事例： $\mathbb{Z}_N$ 双極対称性のみを詳細に分析（アーベルで比較的単純）
非可逆例の欠失：フレームワークは適用可能と主張するが、明示的な非可逆調整対称性の例がない
混合異常：非自明な $[\alpha] \neq 0$ の具体的モデルが示されていない

2. 技術的詳細の飛躍

F-記号計算：方程式(2.8)-(2.9)の導出は文献31に依存し、自己完結性が不足
Φ同型：方程式(3.16)の構築は文献52のみを引用し、非専門家には不十分
弱SPTパラメータ： $[\beta] \in H^1(H;U(1))$ の具体的実装が詳細に説明されていない

3. 物理的イメージの抽象性

高度な抽象性：範疇論言語は凝聚系物理学者にとって過度に抽象的である可能性
物理的直感：自己同値 $F_T$ の物理的意義（「ゲートの移位」以外）は直感的な説明が不足
観測可能量：範疇データから物理的観測可能量（例えば相関関数）を抽出する方法が未議論

4. 計算可行性

高階群コホモロジー：非アーベル群に対して、 $H^2(G;U(1))$ と $H^1(H;U(1))$ の計算は非常に困難である可能性
数値実装：調整の場合のテンソルネットワーク数値収縮の効率が評価されていない

影響力

分野への貢献

理論的基礎：調整対称性に堅実な数学的基礎を提供。融合範疇が均一対称性に果たす役割に類似
統一的視点：多極、指数、部分系対称性を統一フレームワークに統合
非可逆橋梁：可逆と非可逆対称性研究を接続

実用的価値

分類ツール：体系的な相分類方法を提供（計算は複雑だが）
モデル構築：ドメイン壁挿入スキームは具体的ハミルトニアン設計を指導可能
連続極限：場論との関連は長波動挙動の理解を支援

再現性

理論的再現性が高い：数学的導出は完全で、原則的に検証可能
数値実装は困難：調整テンソルネットワークアルゴリズムの開発が必要
実験検証は遠い：調整SymTFTの実験実装は極めて困難

適用場面

理論研究

位相相分類：新しい調整SPT相の研究
異常計算：混合異常と弱SPT不変量の計算
高次元推広：2+1D、3+1D調整対称性の青写真

凝聚系物理学

フラクトン系：フラクトン位相秩序の部分系対称性の理解
多極物理：多極保存系の相図研究
非遍歴動力学：Hilbert空間断片化の対称性起源

数学物理学

範疇論応用：高階範疇論の物理への威力を実証
TQFT推広：調整TFTの数学構造の進一步研究
表現論：ねじれモジュール範疇の分類問題

不適用な場面

強相関臨界系：共形場論または非半単純範疇が必要
開放系：散逸と脱コヒーレンスが未納入
無秩序系：ランダム性と調整の相互作用が未検討

参考文献（主要文献抜粋）

方法論的基礎

31 Garre-Rubio et al., "Classifying phases protected by matrix product operator symmetries using matrix product states," Quantum 7, 927 (2023) - 均一MPO対称性の分類
41 Etingof et al., "Tensor Categories" (2015) - テンソル範疇の標準教科書

調整対称性

24 Lam, "Classification of Dipolar SPT," Phys. Rev. B 109, 115142 (2024) - 双極SPTのMPS分類
26 Bulmash, "Defect Networks for Modulated Symmetries," arXiv:2508.06604 - 欠陥ネットワーク方法

SymTFT理論

13 Kong-Wen-Zheng, "Boundary-bulk relation in topological orders," Nucl. Phys. B 922, 62 (2017) - SymTFTの原始提案
47 Kitaev-Kong, "Models for gapped boundaries and domain walls," Commun. Math. Phys. 313, 351 (2012) - ドメイン壁理論

葉状場論

32 Seiberg-Shao, "Exotic Symmetries, Duality, and Fractons," SciPost Phys. 10, 027 (2021) - 葉状BF理論
33 Ebisu-Honda-Nakanishi, "Foliated BF theories and Multipole symmetries," Phys. Rev. B 109, 165112 (2024)

総括

本論文は調整対称性理論の重要な進展であり、範疇論言語を通じて統一的で厳密なフレームワークを確立している。最大の強みは調整を自己同値としてエンコードし、ドメイン壁挿入で調整SymTFTを構築するという革新的思想、および $\mathbb{Z}_N$ 双極対称性の完全な実装である。主な不足は非自明な例（特に非可逆な場合）の欠如と物理的イメージの抽象性である。それでも、本研究は今後の研究に堅実な基礎を提供し、特にフラクトン位相秩序と高次元調整対称性の研究に重要な指導意義を持つ。後続研究として以下を推奨：(1)より多くの明示的モデルの構築；(2)数値アルゴリズムの開発；(3)実験との関連の探索。