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

Lattice Translation Modulated Symmetries and TFTs

基本信息

论文ID: 2510.03889
标题: Lattice Translation Modulated Symmetries and TFTs
作者: Ching-Yu Yao (东京大学固体物理研究所 & 东京大学物理系)
分类: cond-mat.str-el (强关联电子系统)
发表时间: 2025年11月20日 (v2)
论文链接: https://arxiv.org/abs/2510.03889

摘要

调制对称性是不满足时空对称性不变的内部对称性。本文提出了一种通用方法，利用张量网络语言描述1+1维的晶格平移调制对称性，包括非可逆的情形。研究表明，调制可以通过范畴的某些自等价来描述。尽管拓扑行为因调制的存在而被破坏，但仍可通过插入一系列由可逆双模范畴描述的畴壁来构造对称性拓扑场论(SymTFT)体的调制版本。这一结构不仅恢复了可逆调制对称性的一些已知结果，还为处理更一般设定下的调制对称性提供了通用框架。

研究背景与动机

研究问题

传统的对称性保护拓扑(SPT)相和对称性拓扑场论(SymTFT)框架基于对称性算符具有拓扑性质的假设。然而，在实际物理系统中存在大量调制对称性(modulated symmetries)——这些内部对称性在时空对称性作用下不保持不变，如：

多极对称性(multipole symmetries)：如偶极对称性
指数对称性(exponential symmetries)
子系统对称性(subsystem symmetries)：与分形序(fracton orders)的奇异现象相关

问题重要性

理论完备性：现有的对称性分类框架无法直接应用于调制对称性，需要发展新的理论工具
物理相关性：调制对称性在凝聚态物理中广泛存在，与分形拓扑序等前沿课题密切相关
分类问题：调制对称性保护的拓扑相(modulated SPT)的分类仍不完善，特别是非可逆情形

现有方法局限性

可逆情形：已有工作24-26利用矩阵乘积态(MPS)和缺陷网络分类了某些特定的可逆调制对称性，但缺乏统一框架
体理论构造：仅有少数针对特定可逆调制对称性的2+1D调制SymTFT研究27,28
非可逆情形：调制对称性的规范化可能产生非可逆对称性28-30，但系统性研究缺失

研究动机

本文旨在建立一个统一的范畴论框架，能够：

描述晶格平移调制的对称性结构（包括非可逆情形）
分类对应的能隙相
构造相应的调制SymTFT体理论
恢复并推广已知结果

核心贡献

范畴论描述框架：提出用张量网络语言和范畴论描述1+1D晶格平移调制对称性，将调制编码为融合范畴C的单子自等价(monoidal autoequivalence) $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}$ 对应一个相当且仅当配备 $F_T$ -扭曲C-模自等价 $F_T^M: \mathcal{M} \to \mathcal{M}$ ，满足交换图(2.36)：

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）：

每条边上放置两个 $\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$ 偶极对称性的分析包括：

晶格哈密顿量的显式构造（稳定子形式）
两种边界相的局部算符计算
任意子变换规则的验证
连续极限的推导

不足

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)探索与实验的联系。