Lattice Translation Modulated Symmetries and TFTs

Basic Information

• Paper ID: 2510.03889
• Title: Lattice Translation Modulated Symmetries and TFTs
• Author: Ching-Yu Yao (Institute for Solid State Physics & Department of Physics, University of Tokyo)
• Classification: cond-mat.str-el (Strongly Correlated Electron Systems)
• Publication Date: November 20, 2025 (v2)
• Paper Link: https://arxiv.org/abs/2510.03889

Abstract

Modulated symmetries are internal symmetries that do not respect spacetime symmetry invariance. This paper proposes a universal approach using tensor network language to describe lattice translation modulated symmetries in 1+1 dimensions, including non-invertible cases. The study demonstrates that modulation can be described through certain autoequivalences of categories. Although topological behavior is destroyed by the presence of modulation, a modulated version of the symmetry topological field theory (SymTFT) bulk can still be constructed by inserting a series of domain walls described by invertible bimodule categories. This structure not only recovers known results for invertible modulated symmetries but also provides a universal framework for handling modulated symmetries in more general settings.

Research Background and Motivation

Research Problem

The conventional framework of symmetry-protected topological (SPT) phases and symmetric topological field theories (SymTFT) is based on the assumption that symmetry operators possess topological properties. However, numerous modulated symmetries exist in real physical systems—internal symmetries that do not remain invariant under spacetime symmetry transformations, such as:

• Multipole symmetries: e.g., dipole symmetries
• Exponential symmetries
• Subsystem symmetries: related to exotic phenomena in fracton orders

Problem Significance

1. Theoretical Completeness: Existing symmetry classification frameworks cannot be directly applied to modulated symmetries, necessitating development of new theoretical tools
2. Physical Relevance: Modulated symmetries are widespread in condensed matter physics and closely related to frontier topics such as fractal topological order
3. Classification Problem: Classification of modulated symmetry-protected topological phases (modulated SPT) remains incomplete, particularly for non-invertible cases

Limitations of Existing Approaches

1. Invertible Case: Previous work 24-26 classified certain specific invertible modulated symmetries using matrix product states (MPS) and defect networks, but lacks a unified framework
2. Bulk Theory Construction: Only limited studies on 2+1D modulated SymTFT for specific invertible modulated symmetries 27,28
3. Non-invertible Case: Gauging of modulated symmetries may produce non-invertible symmetries 28-30, but systematic study is lacking

Research Motivation

This paper aims to establish a unified categorical framework capable of:

• Describing lattice translation modulated symmetry structures (including non-invertible cases)
• Classifying corresponding gapped phases
• Constructing corresponding modulated SymTFT bulk theories
• Recovering and generalizing known results

Core Contributions

1. Categorical Description Framework: Proposes using tensor network language and category theory to describe 1+1D lattice translation modulated symmetries, encoding modulation as a monoidal autoequivalence $F_T: \mathcal{C} \to \mathcal{C}$ of a fusion category C
2. Phase Classification: Proves that modulated SPT phases are classified by indecomposable semisimple C-module categories M equipped with $F_T$-twisted C-module autoequivalences $F_T^M: \mathcal{M} \to \mathcal{M}$, with different choices corresponding to weak SPT phases
3. Mixed Anomaly Characterization: For invertible symmetries, proves that mixed anomalies between internal symmetry and lattice translation are characterized by cohomology classes in $H^2(G;U(1))$
4. Modulated SymTFT Construction: Proposes constructing modulated 2+1D SymTFT by inserting a series of domain walls along the lattice translation direction, described by invertible bimodule categories $\mathcal{T} = {}_{\mathcal{D}}\text{id}_{\mathcal{D}}^{F_T^D}$
5. Concrete Implementation: Constructs the modulated Levin-Wen model for $\mathbb{Z}_N$ dipole symmetry and proves that the continuum limit recovers foliated BF theory 32,33
6. Anyon Condensation Conditions: Establishes the correspondence between boundary gapped phases and bulk anyon condensation in the modulated case: Lagrangian algebra A corresponds to a gapped boundary if and only if $\Phi(\mathcal{T})A$ is Morita equivalent to A

Method Details

Task Definition

Input:

• Internal symmetry: fusion category $\mathcal{C}$
• Lattice translation modulation: monoidal autoequivalence $F_T: \mathcal{C} \to \mathcal{C}$

Output:

• Classification of symmetry-protected phases
• Corresponding modulated SymTFT bulk theory

Constraints:

• Symmetry operators are unitary, injective matrix product operators (MPO)
• Ground states are injective matrix product states (MPS)

Theoretical Architecture

1. Categorical Description of Modulated Symmetries

Symmetry Operators: Position-dependent MPO labeled by simple objects $X \in I(\mathcal{C})$ of fusion category $\mathcal{C}$ (Figure 1):

Position i:   [A_i^X] - [A_i^X] - [A_i^X] - ...

Fusion Rules: Satisfy $X_1 \otimes X_2 \simeq \bigoplus_{X_3} |B_{X_1,X_2}^{X_3}| X_3$

where $B_{X_1,X_2}^{X_3} \subset \text{Hom}_{\mathcal{C}}(X_1 \otimes X_2, X_3)$ is an orthonormal basis.

Key Innovation—Categorical Characterization of Modulation:

Lattice translation $T$ maps the $(i+1)$-th gate to the $i$-th gate, defining: $F_T X := \text{gate at position } i+1 \text{ acting as gate at position } i$

Through closure conditions, $F_T$ is proven to be a monoidal autoequivalence of $\mathcal{C}$, equipped with natural isomorphisms: $(\eta_T)_{X_1,X_2}: F_T(X_1 \otimes X_2) \xrightarrow{\sim} F_T X_1 \otimes F_T X_2$

The tensor network representation is given in equations (2.14)-(2.16), with the key result being the commutative diagram:

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

This proves that $F_T$ preserves the monoidal structure.

2. Mixed Anomalies (Invertible Case)

For $\mathcal{C} = \text{Vec}_G$ (G-graded vector space category), $F_T$ is determined by a group homomorphism $\phi: \langle T \rangle \to \text{Aut}(G)$.

The natural isomorphism $\eta_T$ defines a 2-cocycle $\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}$

satisfying the 2-cocycle condition (2.16), whose cohomology class $[\alpha] \in H^2(G;U(1))$ characterizes the mixed anomaly between internal G symmetry and lattice translation.

3. Classification of Gapped Phases

Ground State Description: Modulated MPS labeled by simple objects $M \in I(\mathcal{M})$ of an indecomposable semisimple C-module category $\mathcal{M}$ (Figure 2).

Symmetry Action: Bifunctor $\triangleright: \mathcal{C} \times \mathcal{M} \to \mathcal{M}$ satisfying analogous associativity and tensor network relations (2.21)-(2.28).

Phase Characterization: $\mathcal{M}$ corresponds to a phase if and only if it is equipped with an $F_T$-twisted C-module autoequivalence $F_T^M: \mathcal{M} \to \mathcal{M}$ satisfying the commutative diagram (2.36):

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

Weak SPT Classification (Invertible Case):

• $\mathcal{M} = \text{Vec}_G^{\psi}/H$ ($H \leq G$, $\psi \in H^2(H;U(1))$)
• Existence of $F_T^M$ requires $\phi(T)(H)$ to be conjugate to $H$, and $(\phi(T)|_H)^* (c_{f(1)^{-1}}|_{f(1)Hf(1)^{-1}})^* \psi = \psi \in H^2(H;U(1))$
• Different choices of $[\beta] \in H^1(H;U(1))$ correspond to different weak SPT phases

Modulated SymTFT Construction

Core Idea

Utilizing the 3-category $\text{FusCat}$ of fusion categories:

• 0-morphisms: fusion categories
• 1-morphisms: bimodule categories (interfaces)
• 2-morphisms: bimodule functors
• 3-morphisms: natural transformations

Key Structure: Define the invertible bimodule category $\mathcal{T} := {}_{\mathcal{D}}\text{id}_{\mathcal{D}}^{F_T^D}$

where $\mathcal{D} := \mathcal{C}_M^*$ is the Morita dual, with right $\mathcal{D}$-module action: $\mathcal{T} \times \mathcal{D} \to \mathcal{T}, \quad (T, Y) \mapsto T \otimes F_T^D Y$

Physical Interpretation: $F_T^M: \mathcal{M} \xrightarrow{\sim} \mathcal{M}_{F_T^D} \simeq \mathcal{M} \boxtimes_{\mathcal{D}} \mathcal{T}$

That is, $F_T^M$ can be reinterpreted as a 1D interface through domain wall $\mathcal{T}$.

Modulated Bulk Theory: Turaev-Viro model $TV(\mathcal{D})$ with a series of domain walls $\mathcal{T}$ inserted along the lattice translation direction (Figure 3).

Anyon Condensation Conditions

Using the isomorphism $\Phi: \text{BrPic}(\mathcal{D}) \xrightarrow{\sim} \text{Aut}_{\otimes}^{\text{br}}(Z(\mathcal{D}))$, anyons $Z$ transform to $\Phi(\mathcal{T})Z$ through the domain wall (Figure 4).

Gapped Boundary Condition: Lagrangian algebra $A \in Z(\mathcal{D})$ corresponds to a gapped boundary if and only if $\text{Mod}_{Z(\mathcal{D})}(\Phi(\mathcal{T})A) \simeq \text{Mod}_{Z(\mathcal{D})}(A)$

that is, $A$ is Morita invariant under domain wall action.

Experimental Setup

Concrete Model: $\mathbb{Z}_N$ Dipole Symmetry

Symmetry Definition

Dipole symmetry on a 1+1D $\mathbb{Z}_N$ spin chain generated by: $U_Q := \prod_i \sigma_i^x, \quad U_D := \prod_i (\sigma_i^x)^i$

Symmetry operators: $(Q,D) := U_Q^Q U_D^D = \prod_i (\sigma_i^x)^{Q+Di}$

Modulation: $F_T(Q,D) = (Q+D, D)$

Modulated SymTFT Construction

Morita Dual Choice: $\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}$

Dual modulation: $F_T^D(q,d) = (q+d, d)$

Lattice Model (Figure 5):

• Two $\mathbb{Z}_N$ spins placed on each edge, acted upon by Pauli matrices $Z_Q, X_Q$ (blue) and $Z_D, X_D$ (red)
• Stabilizers:
  • Flatness conditions: $A_v^Q, A_v^D$ (vertices)
  • Contractible loops: $B_p^Q, B_p^D$ (plaquettes)

Hamiltonian: $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\}$

Anyons and Boundaries

Anyon Generators (Figure 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))$

Lattice Translation Action: $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$

Boundary Phases:

1. Smooth Boundary ($m_Q, m_D$ condensed): Recovers original dipole symmetry
2. Rough Boundary ($e_Q, e_D$ condensed): Monopole and dipole roles interchange, corresponding to $\mathcal{M} = \text{Vec}$

Continuum Limit: Foliated BF Theory

Standard $\mathbb{Z}_N \times \mathbb{Z}_N$ BF theory: $\mathcal{L}_{\mathbb{Z}_N \times \mathbb{Z}_N} = \frac{N}{2\pi}(b_Q \wedge da_Q + b_D \wedge da_D)$

Correction from domain wall: $\partial_x a_\mu^Q \to \partial_x a_\mu^Q - a_\mu^D \Rightarrow da_Q \to da_Q + a_D \wedge dx$

Foliated BF Theory for Dipole Symmetry: $\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)$

Completely consistent with the construction in references 32,33, verifying the correctness of the framework.

Experimental Results

Theoretical Verification

1. Recovery of Invertible Modulated Symmetries

Result: For $\mathcal{C} = \text{Vec}_G$, this framework completely recovers the classification results of references 24-26:

• Phase Existence: $\mathcal{M} = \text{Vec}_G^{\psi}/H$ corresponds to a phase if and only if $\phi(T)(H)$ is conjugate to $H$
• SPT Classification: Determined by the invariance condition $(\phi(T)|_H)^* (c_{f(1)^{-1}})^* \psi = \psi$
• Weak SPT: Classified by $[\beta] \in H^1(H;U(1))$

Significance: Validates the correctness and generality of the categorical framework.

2. Computation of Mixed Anomalies

Result: For invertible symmetries, mixed anomalies $[\alpha] \in H^2(G;U(1))$ are determined by the phase factors of the natural isomorphism $\eta_T$ (equation 2.16).

Verification: When $[\alpha] = 0$, this corresponds to the anomaly-free case, consistent with physical intuition.

3. Complete Implementation of $\mathbb{Z}_N$ Dipole Symmetry

Lattice Model:

• Constructed explicit stabilizer Hamiltonian (equation 3.27)
• Transformation rules for anyons under domain wall action (equation 3.28) completely match theoretical predictions $\Phi(\mathcal{T})$

Boundary Phase Analysis:

• Smooth Boundary: Local operators (3.29) recover original dipole symmetry $W_{e_Q}^x = \prod_i \sigma_i^x$, $W_{e_D}^x = \prod_i (\sigma_i^x)^i \tau_i^x$
• Rough Boundary: Local operators (3.30) show monopole-dipole interchange, corresponding to modulation $(Q,D) \to (Q, D-Q)$ (equation 3.36)

Continuum Limit:

• Derived foliated BF theory Lagrangian (3.40) completely consistent with references 32,33
• Derivation of gauge symmetries (3.52)-(3.53) and gauge-invariant 2-forms (3.54)-(3.55) is rigorous

Key Findings

1. Physical Meaning of Domain Walls: The invertible bimodule category $\mathcal{T}$ precisely encodes modulation information, with anyon transformations through the domain wall characterized by $\Phi(\mathcal{T})$
2. Boundary-Bulk Correspondence: The anyon condensation condition in the modulated case (3.19) generalizes the standard correspondence, requiring the condensation algebra to be Morita invariant under domain wall action
3. Role Interchange Phenomenon: The interchange of monopole and dipole roles on rough boundaries originates from different choices of $F_T^M$ (weak SPT), parametrized by $[\beta] \in H^1(\mathbb{Z}_N \times \mathbb{Z}_N)$
4. Non-invertible Generalization: The framework naturally applies to non-invertible symmetries (such as gauged symmetries), requiring only that $\mathcal{C}$ be a general fusion category

Related Work

Classification of Modulated Symmetries

1. MPS Method 24,25:
   • Lam 24 classified dipole SPT phases using MPS
   • Saito et al. 25 studied MPS characterization of multipole SPT
   • This Work's Generalization: Provides unified categorical framework, encompassing non-invertible cases
2. Defect Networks 26:
   • Bulmash 26 studied general invertible modulated symmetries using defect networks
   • This Work's Relation: Categorical language provides more abstract but more systematic description

Modulated SymTFT

3. Spacetime Symmetry Enriched SymTFT 27:
   • Pace et al. 27 studied LSM anomalies and modulated symmetries
   • This Work's Contribution: Proposes universal construction scheme via domain wall insertion
4. Non-invertible Modulated Symmetries 28-30:
   • Kim et al. 28 and Pace et al. 30 studied non-invertible symmetries from gauging
   • Cao et al. 29 discussed generation of lattice non-invertible symmetries
   • This Work's Advantage: Unified treatment of invertible and non-invertible cases

Multipole Symmetries and Fractals

5. Dipole Hydrodynamics 18,19:
   • Gorantla et al. 18 and Jain et al. 19 studied continuum theory of dipole symmetry
   • This Work's Connection: Foliated BF theory (3.40) provides lattice realization
6. Foliated Field Theory 32,33:
   • Seiberg-Shao 32 and Ebisu et al. 33 proposed foliated BF theory
   • This Work's Verification: Derives continuum limit from lattice model (Section 3.4)

MPO Symmetries

7. Uniform MPO Symmetries 31:
   • Garre-Rubio et al. 31 classified phases protected by uniform MPO symmetries
   • This Work's Generalization: Position-dependent modulated MPO, introducing autoequivalence $F_T$

Conclusions and Discussion

Main Conclusions

1. Unified Framework: Establishes categorical description of lattice translation modulated symmetries, applicable to both invertible and non-invertible cases
2. Phase Classification: Modulated SPT phases are classified by module categories equipped with $F_T$-twisted module autoequivalences, with different choices corresponding to weak SPT phases
3. Bulk Theory Construction: Constructs modulated SymTFT by inserting domain walls described by invertible bimodule categories, with anyons transforming under domain wall action via $\Phi(\mathcal{T})$
4. Concrete Verification: Complete implementation of $\mathbb{Z}_N$ dipole symmetry (lattice model, boundary phases, continuum limit) validates framework effectiveness

Limitations

1. Dimensional Restriction: Current work focuses on 1+1D; higher-dimensional generalizations (particularly 3+1D fractal order) require more complex categorical structures
2. Dynamical Properties: Primarily addresses ground state classification; excited states and dynamical processes (such as diffusion behavior 17,20) are not covered
3. Limited Concrete Models: Only detailed analysis of $\mathbb{Z}_N$ dipole symmetry; more non-trivial examples (exponential symmetries, subsystem symmetries) await investigation
4. Non-semisimple Cases: Framework assumes semisimple categories (corresponding to gapped phases); critical systems require non-semisimple category generalization
5. Computational Complexity: Computation of higher-order group cohomology and F-symbols can be extremely complex

Future Directions

The authors explicitly propose the following research directions:

1. Concrete Model Studies:
   • Examples with non-trivial mixed anomalies
   • Explicit constructions of non-invertible modulated symmetries
2. Different Modulation Types:
   • Higher-dimensional lattice translations
   • Other spacetime symmetries (rotations, reflections, etc.)
   • Higher-form modulated symmetries
3. Higher-Dimensional Generalizations:
   • 2+1D and 3+1D modulated symmetries
   • Connections with fractal topological order
4. Dynamical Applications:
   • Effects of modulated symmetries on transport properties
   • Ergodicity breaking and Hilbert space fragmentation 16

In-Depth Evaluation

Strengths

1. Theoretical Innovation

• Categorical Unification: First systematic use of autoequivalences to describe modulation, encoding spatiotemporal dependence as categorical structure—highly original
• Non-invertible Generalization: Framework naturally encompasses non-invertible symmetries, transcending limitations of existing work
• Domain Wall Interpretation: Interprets modulated SymTFT as bulk theory with inserted domain walls, providing clear physical picture with mathematical rigor

2. Mathematical Rigor

• Complete Proof Chain: Strictly derives monoidal property of autoequivalence from tensor network closure conditions (2.14)
• Commutativity Verification: Key compatibility conditions (2.16), (2.35), (2.36) have detailed derivations
• Isomorphism Construction: Appropriate use of advanced categorical tools (Morita duality, Brauer-Picard group isomorphism)

3. Systematic Results

• Recovery of Known Results: Completely recovers classification from references 24-26 for invertible case (Section 2.4)
• New Predictions: Anyon condensation condition (3.19) provides new criterion for non-invertible cases
• Continuum Limit: Derivation of foliated BF theory (3.40) connects lattice and field theory

4. Completeness of Concrete Examples

Analysis of $\mathbb{Z}_N$ dipole symmetry includes:

• Explicit construction of lattice Hamiltonian (stabilizer form)
• Local operator calculations for two boundary phases
• Verification of anyon transformation rules
• Derivation of continuum limit

Weaknesses

1. Lack of Non-trivial Examples

• Single Case Study: Only detailed analysis of $\mathbb{Z}_N$ dipole symmetry (abelian and relatively simple)
• Missing Non-invertible Examples: Although framework claims applicability, no explicit non-invertible modulated symmetry instances provided
• Trivial Anomalies: No concrete models with non-trivial $[\alpha] \neq 0$

2. Technical Detail Gaps

• F-symbol Calculations: Derivation of equations (2.8)-(2.9) relies on reference 31, insufficient self-containment
• Φ Isomorphism: Construction of equation (3.16) only cites reference 52, unfriendly to non-specialists
• Weak SPT Parameters: How $[\beta] \in H^1(H;U(1))$ is concretely realized lacks detailed explanation

3. Abstraction of Physical Picture

• High Abstraction Level: Categorical language potentially too abstract for condensed matter physicists
• Limited Physical Intuition: Physical meaning of autoequivalence $F_T$ (beyond "gate shifting") lacks more intuitive explanation
• Observable Extraction: How to extract physical observables (e.g., correlation functions) from categorical data not discussed

4. Computational Feasibility

• Higher Cohomology: For non-abelian groups, computation of $H^2(G;U(1))$ and $H^1(H;U(1))$ can be extremely difficult
• Numerical Implementation: Efficiency of tensor network contraction in modulated case not evaluated

Impact

Contribution to Field

1. Theoretical Foundation: Provides solid mathematical foundation for modulated symmetries, analogous to role of fusion categories for uniform symmetries
2. Unified Perspective: Incorporates multipole, exponential, and subsystem symmetries into unified framework
3. Non-invertible Bridge: Connects research on invertible and non-invertible symmetries

Practical Value

1. Classification Tool: Provides systematic phase classification method (though computationally complex)
2. Model Construction: Domain wall insertion scheme guides design of concrete Hamiltonians
3. Continuum Connection: Field theory connection aids understanding of long-wavelength behavior

Reproducibility

• Theoretical Reproducibility: High—mathematical derivations are complete and verifiable in principle
• Numerical Implementation: Difficult—requires development of modulated tensor network algorithms
• Experimental Verification: Distant—experimental realization of modulated SymTFT extremely challenging

Applicable Scenarios

Theoretical Research

1. Topological Phase Classification: Study of novel modulated SPT phases
2. Anomaly Computation: Calculation of mixed anomalies and weak SPT invariants
3. Higher-Dimensional Generalization: Blueprint for 2+1D, 3+1D modulated symmetries

Condensed Matter Physics

1. Fractal Systems: Understanding subsystem symmetries in fractal topological order
2. Multipole Physics: Study of phase diagrams in multipole-conserving systems
3. Non-ergodic Dynamics: Symmetry origin of Hilbert space fragmentation

Mathematical Physics

1. Category Theory Applications: Demonstrates power of higher-order category theory in physics
2. TQFT Generalization: Mathematical structure of modulated TFT deserves further study
3. Representation Theory: Classification problems of twisted module categories

Inapplicable Scenarios

1. Strongly Correlated Critical Systems: Requires conformal field theory or non-semisimple categories
2. Open Systems: Dissipation and decoherence not incorporated
3. Disordered Systems: Interplay of randomness and modulation not considered

Key References (Selected)

Methodological Foundation

• 31 Garre-Rubio et al., "Classifying phases protected by matrix product operator symmetries using matrix product states," Quantum 7, 927 (2023)
• 41 Etingof et al., "Tensor Categories" (2015)

Modulated Symmetries

• 24 Lam, "Classification of Dipolar SPT," Phys. Rev. B 109, 115142 (2024)
• 26 Bulmash, "Defect Networks for Modulated Symmetries," arXiv:2508.06604

SymTFT Theory

• 13 Kong-Wen-Zheng, "Boundary-bulk relation in topological orders," Nucl. Phys. B 922, 62 (2017)
• 47 Kitaev-Kong, "Models for gapped boundaries and domain walls," Commun. Math. Phys. 313, 351 (2012)

Foliated Field Theory

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

Summary

This paper represents significant progress in modulated symmetry theory, establishing a unified and rigorous framework through categorical language. The greatest strengths are the innovative ideas of encoding modulation as autoequivalences and constructing modulated SymTFT via domain wall insertion, along with the complete implementation of $\mathbb{Z}_N$ dipole symmetry. The main weaknesses are the lack of non-trivial examples (particularly non-invertible cases) and the abstract nature of the physical picture. Nevertheless, this work provides solid foundation for future research, particularly regarding fractal topological order and higher-dimensional modulated symmetries. Recommended future directions: (1) construct more explicit models; (2) develop numerical algorithms; (3) explore experimental connections.