来源论文: https://arxiv.org/abs/2606.06343v1 生成时间: Jun 06, 2026 12:37

$E_\infty^{1,2}$ 型 Lieb-Schultz-Mattis 异常、去禁闭量子临界点与非可逆对称性破缺的深度解析

0. 执行摘要

传统的 Landau-Ginzburg-Wilson 范式在描述连续相变时，依赖于局域序参量的涨落及其对称性破缺。然而，去禁闭量子临界点（Deconfined Quantum Critical Points, DQCP）的发现挑战了这一经典框架，展示了在两个截然不同、非嵌套的对称性破缺相之间，可以存在一个由分数化激发、涌现规范场或异常驱动的连续量子相变。在低维强关联物理（如一维自旋链）中，这类不寻常的相变往往受到 Lieb-Schultz-Mattis (LSM) 定理及其广义拓扑异常的严格制约。

近期的一项突破性工作将数学物理中的范畴对称性（Category Symmetry）与凝聚态物理中的晶格 LSM 异常深度结合。该研究利用 Lyndon-Hochschild-Serre (LHS) 谱序列 对一维晶格系统中的 LSM 异常进行了精细的结构化表征，首次明确区分了 $E_\infty^{2,1}$ 型和 $E_\infty^{1,2}$ 型 LSM 异常。这一区分直接对应了两种不同类型的 DQCP 物理机制：

Type-I DQCP：与 $E_\infty^{2,1}$ 型异常相关，经对称性规范化（Gauging）后对偶于常规的群自旋对称性破缺。
Type-II DQCP：与 $E_\infty^{1,2}$ 型异常相关，规范化其内部阿贝尔对称性后，必然产生非可逆的对偶对称性（Non-invertible Dual Symmetry），进而对偶于非可逆融合范畴对称性的自发破缺。

本文以此项研究为核心，系统剖析其理论根基、数学表征、晶格规范化方法以及利用变分均匀矩阵乘积态（VUMPS）的数值复现方案，为探索非可逆对称性破缺和新型去禁闭临界性提供权威、详实的技术指南。

1. 核心科学问题，理论基础，技术难点，方法细节

1.1 核心科学问题

一维强关联自旋系统中，LSM 异常不仅对能隙的存在性施加了拓扑限制，还主导了临界理论的性质。然而，当这些系统经历 DQCP 转变时，其背后的物理结构究竟如何随对称性规范化（Gauging）而演化？特别是，为什么在某些体系中规范化内部阿贝尔群对称性会诡异地导致非可逆的拓扑缺陷线？本工作的核心在于，证明并阐释了 $E_\infty^{1,2}$ 型 LSM 异常是导致非可逆对偶对称性的本源，并系统建立了 Type-II DQCP 转变与非可逆对称性破缺之间的普适对偶关系。

1.2 理论基础：LHS 谱序列下的 LSM 异常分类

一维晶格系统具有内部对称群 $G_{\text{int}}$ 与晶格平移对称性 $\mathbb{Z}_{\text{trans}}$。总对称群 $G_{\text{tot}}$ 满足以下短正合序列：

$$1 \longrightarrow G_{\text{int}} \longrightarrow G_{\text{tot}} \longrightarrow \mathbb{Z}_{\text{trans}} \longrightarrow 1$$

在数学上，晶格上的 $G_{\text{tot}}$ 拓扑异常由三阶上同调群 $H^3(G_{\text{tot}}, U(1))$ 分类。通过 LHS 谱序列（Lyndon-Hochschild-Serre Spectral Sequence），我们可以系统地对 $H^3(G_{\text{tot}}, U(1))$ 进行过滤分层：

$$\mathcal{F}^3 \subseteq \mathcal{F}^2 \subseteq \mathcal{F}^1 \subseteq H^3(G_{\text{tot}}, U(1))$$

其中，谱序列的 $E_2$ 页项为：

$$E_2^{p,q} = H^p(\mathbb{Z}_{\text{trans}}, H^q(G_{\text{int}}, U(1)))$$

最终收敛至 $E_\infty^{p,q}$ 项。其中蕴含物理异常的主要成分包括：

$E_2^{3,0} = H^3(\mathbb{Z}_{\text{trans}}, U(1))$：由于平移群 $\mathbb{Z}$ 的三阶上同调群平凡，此项在一维无限晶格中消失（但在有限平移群 $\mathbb{Z}_N$ 中不平凡）。
$E_2^{2,1} = H^2(\mathbb{Z}_{\text{trans}}, H^1(G_{\text{int}}, U(1)))$：对应 $E_\infty^{2,1}$ 异常，物理上代表在平移对称性的畴壁相交处（即 0D 缺陷）点缀了 $G_{\text{int}}$ 的荷（Charge）。这属于 Type-I DQCP 的本源。
$E_2^{1,2} = H^1(\mathbb{Z}_{\text{trans}}, H^2(G_{\text{int}}, U(1)))$：对应 $E_\infty^{1,2}$ 异常。由于：

$$\omega_{\text{LSM}} \in E_\infty^{1,2} = H^1(\mathbb{Z}_{\text{trans}}, H^2(G_{\text{int}}, U(1))) \subseteq H^3(G_{\text{int}} \rtimes_{\rho} \mathbb{Z}_{\text{trans}}, U(1))$$

在物理上，这一项代表每一个晶格平移缺陷上，都点缀了一个具有 $G_{\text{int}}$ 投影表示（Projective Representation）的 1D 对称保护拓扑（SPT）相。这恰好是 Lieb-Schultz-Mattis 异常的经典物理诠释（单胞内含有半整数自旋或非平凡投影表示）。

1.3 核心命题：非可逆对偶对称性的涌现

当系统具有 $E_\infty^{1,2}$ 型异常时，通过规范化内部阿贝尔正规子群 $A \subseteq G_{\text{int}}$，系统的对称性范畴将由尖锐的范畴（Pointed Category $\text{Vec}_G^\omega$）转变为非尖锐的 Morita 对偶范畴 $_A(\text{Vec}_G^\omega)_A$。这一过程可通过以下数学机制推导：

若 $A$ 是阿贝尔正规子群，规范化 $A$ 会产生对偶量子对称性 $\widehat{A} = H^1(A, U(1))$。对于商群 $Q = G/A$ 的任一畴壁缺陷 $q \in Q$，该缺陷在线上点缀了 $A$ 的 $1+1\text{D}$ SPT 相。因此，该商群畴壁的边界端点携带了 $A$ 的非平凡投影表示。也就是说，端点上的局部希尔伯特空间在 $A$ 作用下表现为多维的不可约投影表示。规范化 $A$ 后，此多维端点转化为对偶算符线的内部量子维度。若投影表示非平凡，则其不可约投影表示 $\rho$ 的维度必然大于1：

$$d(X_{q,\rho}) = \dim(\rho) > 1$$

由于量子维度大于 1，这些对偶拓扑缺陷线 $X_{q,\rho}$ 必然是非可逆的，满足诸如 Tambara-Yamagami 类型的非可逆融合规则：

$$X_0 \otimes X_0 = \bigoplus_{\chi \in \widehat{A}} X_{\chi}$$

这构成了 Proposition III.1 的数学物理精髓：规范化具有 $E_\infty^{1,2}$ 型异常的阿贝尔正规子群，必然导致非可逆的对偶对称性。

物理图像对比：

【Type-I DQCP (E_∞^{2,1} 异常)】
平移畴壁相交(0D) ---> 携带 G_int 的 fractional charge
规范化后 ---> 形成普通的阿贝尔对偶群 (可逆缺陷)

【Type-II DQCP (E_∞^{1,2} 异常)】
平移畴壁线(1D) ---> 携带 G_int 的 1D SPT 边缘态（投影表示）
规范化后 ---> 形成非平凡多维端点，量子维度 > 1 (非可逆缺陷 Rep(H_8))

1.4 技术难点

异常谱序列的高阶微分验证：须严格证明 $E_2^{1,2}$ 的 LSM 异常类在经历高阶上同调微分（如 $d_2$ 和 $d_3$）后不被杀掉，能顺利收敛至 $E_\infty^{1,2}$。
晶格层面的非局部规范映射：在自旋 1/2 链上显式构造非局部规范变换算符（如 Kramers-Wannier 对偶的推广形式），以将 LSM 异常哈密顿量映射为非可逆对称哈密顿量。
非嵌套相变的无能隙临界性计算：在强关联下精确测定无能隙点的中心电荷（Central Charge），排除一级相变或中间相的可能性。

2. 关键 Benchmark 体系，计算所得数据，性能数据

2.1 anomalous $D_8$ 异常自旋链体系

为了验证上述机制，研究聚焦于一个具有 anomalous $D_8$ LSM 异常的一维自旋-1/2 链体系。该体系的晶格对称群为二面体群 $D_8$，其由两个内部 $\mathbb{Z}_2$ 算符 $U_{XY}$、$U_{YX}$ 和一格平移算符 $T$ 生成：

$$U_{XY} = \prod_{i} X_{2i} Y_{2i+1}, \quad U_{YX} = \prod_{i} Y_{2i} X_{2i+1}$$$$T \sigma_i^\alpha T^{-1} = \sigma_{i+1}^\alpha \quad (\alpha = x, y, z)$$

在考量平移平方算符 $T^2$ 作用平凡的低能子空间内，有效的平移群简化为 $\mathbb{Z}_2^T$。此时，整个自旋链的有效对称群为：

$$G = (\mathbb{Z}_2^{XY} \times \mathbb{Z}_2^{YX}) \rtimes \mathbb{Z}_2^T \cong D_8$$

由于在单胞（或格点）上，$U_{XY}$ 与 $U_{YX}$ 的局部代表算符为 Pauli 矩阵 $X$ 和 $Y$，它们满足反对易关系（即最经典的投影表示）：

$$X Y = -Y X$$

这赋予了系统非平凡的晶格 LSM 异常类 $\omega_{\text{LSM}} = 2\zeta \in H^3(D_8, U(1))$。

2.2 有能隙相分类与基态简并度

具有该异常的体系，其有能隙相必须由对称性破缺相构成。根据对称性范畴 $\text{Vec}_{D_8}^{2\zeta}$ 的模范畴（Module Category）分类，共有 6 种不同的有能隙相（见表一）：

| 对称性破缺模式（残留子群 $H$） | 基态简并度 (GSD) | 代表性基态 $|\Omega_H\rangle$ | 物理相描述 | | :— | :— | :— | :— | | $H = 1$ | 8 | $\otimes_j |\psi_e\rangle_{2j} |\psi_o\rangle_{2j+1}$ | 完全对称性破缺 (Fully SSB) | | $H = \mathbb{Z}_2 = \langle a^2 \rangle$ | 4 | $\otimes_j (|\uparrow\uparrow\rangle + \lambda |\downarrow\downarrow\rangle)_{2j, 2j+1}$ | 经典二聚化相 (Generic Dimer State) | | $H = \mathbb{Z}_2 = \langle x \rangle$ 或 $\langle a^2x \rangle$ | 4 | $\otimes_i |\psi\rangle_i$ | 均匀一格平移破缺相 | | $H = \mathbb{Z}_2^2 = \langle a^2, x \rangle$ | 2 | $\otimes_i |\uparrow\rangle_i$ | $z$ 方向铁磁相 ($z$FM) | | $H = \mathbb{Z}_2 = \langle ax \rangle$ 或 $\langle a^3x \rangle$ | 4 | $\otimes_j |+x\rangle_{2j} |+y\rangle_{2j+1}$ | 特殊两格乘积相 | | $H = \mathbb{Z}_2 \times \mathbb{Z}_2 = \langle ax, a^3x \rangle$ | 2 | $\otimes_j (|\uparrow\uparrow\rangle + i|\downarrow\downarrow\rangle)_{2j,2j+1}$ | 特殊二聚化相 (Special Dimer State) |

2.3 调控哈密顿量与插值模型

论文研究了**特殊二聚化相（$H_{\text{dimer}} = \langle ax, a^3x \rangle$）与$z$方向铁磁相（$H_{\text{zFM}} = \langle a^2, x \rangle$）**之间的直接相变。由于这两个相的残留对称子群不满足任何嵌套关系，因此无法通过标准的 Landau 对称破缺框架描述。定义两个极端的亲体哈密顿量：

$$\hat{H}_{\text{dimer}} = \sum_{j} \left[ -(X_j Y_{j+1} + Y_j X_{j+1} + Z_j Z_{j+1}) + \frac{1}{2} (X_{j-1} X_{j+1} + Y_{j-1} Y_{j+1} + Z_{j-1} Z_{j+1}) \right]$$$$\hat{H}_{\text{zFM}} = -\sum_{j} Z_j Z_{j+1}$$

引入单参数调控插值哈密顿量（各向异性 Majumdar-Ghosh 模型）：

$$\hat{H}(\lambda) = \hat{H}_{\text{dimer}} + \lambda \hat{H}_{\text{zFM}}$$$$\hat{H}(\lambda) = -\sum_{i} \left[ X_i Y_{i+1} + Y_i X_{i+1} + (1+\lambda) Z_i Z_{i+1} \right] + \frac{1}{2} \sum_{i} \left[ X_{i-1} X_{i+1} + Y_{i-1} Y_{i+1} + Z_{i-1} Z_{i+1} \right]$$

2.4 数值计算性能与关键数据

采用变分均匀矩阵乘积态（VUMPS）方法对热力学极限下模型的连续临界行为进行精准表征：

伪临界点测定：通过双分枝能量交叉法，精确测定对于不同键维数（Bond Dimension）$\chi \in [48, 128]$ 的伪临界点 $\lambda_c(\chi) \approx -0.12$（对应各向异性插值参数）。
有限纠缠尺度缩放（Finite-Entanglement Scaling）：
- 关联长度 $\xi(\chi) \sim \chi^\kappa$ 在 $\lambda_c$ 处呈现显著单峰，峰值随键维数增加急剧发散（见图3）。
- 拟合所得有限纠缠指数：$\kappa_{\text{dimer}} = 1.252$，$\kappa_{\text{zFM}} = 1.280$。这一数值极为接近 $c=1$ 共形场论（CFT）在有限纠缠截断下的理论预测值 $\kappa_{\text{CFT}} = 1.344$。
中心电荷 $c$ 的无偏拟合：根据共形场论的纠缠熵尺度缩放公式 $S(\chi) \sim \frac{c}{6} \ln \xi(\chi) + \text{const}$，对临界点处的纠缠熵与关联长度进行双对数线性拟合（见图5）：
$$c_{\text{zFM}} = 1.015, \quad c_{\text{dimer}} = 0.997$$
这一数值在误差范围内以极高精度逼近 $c=1$。这提供了无可辩驳的数值证据，证明该转变为一个连续的量子去禁闭临界点 (DQCP)，而非一级相变，其低能有效场论属于 $c=1$ 的共形场论（如自旋波/Luttinger 液体理论）。

纠缠熵 S(χ) 与对数关联长度 ln(ξ(χ)) 的拟合图景：

S(χ)
  ^                     / (斜率 ≈ c/6 ≈ 1/6)
  |                    /
  |                   /
  |                  /
  |                 /
  |                /
  +------------------------------> ln(ξ(χ))

3. 代码实现细节，复现指南，所用的软件包及开源 repo link

要完整复现本工作的数值结果与范畴代数推导，需要结合强关联张量网络算法（用于动力学和基态模拟）以及有限范畴代数计算软件。

3.1 变分均匀 MPS (VUMPS) 基态寻找与有限纠缠缩放

3.1.1 依赖软件包与开源库

建议采用基于 Julia 语言的开源张量网络库 ITensors.jl 或基于 Python 的 TeNPy (Tensor Network Python)。这两者均原生支持无限 MPS（iMPS）计算。

ITensors Julia 库: https://github.com/ITensor/ITensors.jl
TeNPy Python 库: https://github.com/tenpy/tenpy

3.1.2 VUMPS 复现核心代码架构（Python + TeNPy 示意）

以下为复现各向异性 Majumdar-Ghosh 自旋链插值模型 $\hat{H}(\lambda)$ 基态搜索的核心架构代码：

import numpy as np
from tenpy.networks.site import SpinHalfSite
from tenpy.models.model import CouplingModel, NearestNeighborModel
from tenpy.algorithms import vumps

class AnisotropicMGModel(CouplingModel):
    def __init__(self, model_params):
        # 1. 定义格点：自旋-1/2
        site = SpinHalfSite(conserve=None) # 不强制 U(1) 守恒以允许铁磁对称性破缺
        
        # 2. 初始化耦合模型
        CouplingModel.__init__(self, site)
        
        # 3. 提取参数
        lambda_val = model_params.get('lambda_val', 0.0)
        
        # 4. 添加各项相互作用算符
        # 临近项：- (X_i X_{i+1} + Y_i Y_{i+1} + (1+lambda) Z_i Z_{i+1})
        # 注意本模型在经过 U_MG 幺正变换后，XY 变为了 XX+YY 相互作用
        self.add_coupling(-1.0, 0, 'Sx', 0, 'Sx', dx=1)
        self.add_coupling(-1.0, 0, 'Sy', 0, 'Sy', dx=1)
        self.add_coupling(-(1.0 + lambda_val), 0, 'Sz', 0, 'Sz', dx=1)
        
        # 次临近项：+ 0.5 * (X_i X_{i+2} + Y_i Y_{i+2} + Z_i Z_{i+2})
        self.add_coupling(0.5, 0, 'Sx', 0, 'Sx', dx=2)
        self.add_coupling(0.5, 0, 'Sy', 0, 'Sy', dx=2)
        self.add_coupling(0.5, 0, 'Sz', 0, 'Sz', dx=2)
        
        # 初始化 H_MPO
        CouplingModel.init_H_MPO(self)

def run_vumps_scaling(lambda_sweep, chi_list):
    for chi in chi_list:
        for l_val in lambda_sweep:
            # 配置参数
            params = {
                'lambda_val': l_val,
                'trunc_params': {'chi_max': chi}
            }
            model = AnisotropicMGModel(params)
            
            # 设置 VUMPS 初始状态（分别在 Dimer 极限和 zFM 极限下初始化）
            # ...
            
            # 执行 VUMPS 演化直至能量收敛达 1e-12
            engine = vumps.VUMPSEngine(model, psi, params)
            engine.run()
            
            # 测量并导出：能量、关联长度 xi、纠缠熵 S
            xi = engine.psi.correlation_length()
            S = engine.psi.entanglement_entropy()[0]
            print(f"chi={chi}, lambda={l_val}, xi={xi}, S={S}")

3.2 范畴论推导与融合规则验证

对于论文中涉及的群 $D_8$ 在不同 3-coycle 异常下的规范化与 Morita 对偶范畴计算，可以利用 GAP (Groups, Algorithms, Programming) 软件中的特征标理论，或专门用于张量范畴计算的开源软件包 fusionrules（基于 Mathematica 或 Python）。

GitHub 相关 Repo：https://github.com/topics/fusion-categories（包含多种实现阿贝尔群规范化、Morita 双范畴及点聚范畴性质验证的代码库）。

4. 关键引用文献，以及对这项工作局限性的评论

4.1 关键引用文献

T. Senthil, A. Vishwanath, L. Balents, S. Sachdev, and M. P. A. Fisher, Science 303, 1490 (2004).
贡献：首次提出去禁闭量子临界点（DQCP）概念，奠定了超越 Landau 范式的基石。
E. Lieb, T. Schultz, and D. Mattis, Annals of Physics 16, 407 (1961).
贡献：提出经典的 LSM 定理，指出半整数自旋链基态非简并与有能隙不可兼得。
C. Zhang and M. Levin, Phys. Rev. Lett. 130, 026801 (2023).
贡献：构造了一维纯内部对称性下的可解 DQCP 模型，为本工作的 Type-I/Type-II 分类提供了直接的物理对比体系。
Y. Tachikawa, SciPost Physics 8, 015 (2020).
贡献：系统发展了一维凝聚态体系中有限子群规范化及对偶范畴的数学物理框架。

4.2 本工作局限性深度点评

尽管本工作在建立 LSM 异常谱序列结构与非可逆范畴对称性之间的关联上取得了里程碑式的成果，但从极度苛刻的物理学视角审视，仍存在以下技术局限和尚未解决的瓶颈：

阿贝尔正规子群规范化的局限（Abelian Normal Subgroup Restriction）
论文关于 $E_\infty^{1,2}$ 型异常导致非可逆对偶对称性的解析证明（如 Proposition III.1）高度依赖于被规范化的子群 $A$ 必须是阿贝尔群且为总群 $G$ 的正规子群。然而，当处理强关联体系中更具普适性的非阿贝尔内部对称群（例如 $G_{\text{int}} = SU(2)$ 或 $SO(3)$）或非正规子群时，如何进行范畴代数的精确显式规范化？此时涌现的拓扑缺陷线结构将变得异常复杂，甚至可能超越当前可凝聚代数（Condensable Algebras）的描述极限。
一维格点模型微观对应（Lattice Microscopic Realization）的特异性
论文为了说明物理图景，精心挑选并设计了基于 $D_8 = (\mathbb{Z}_2^{XY} \times \mathbb{Z}_2^{YX}) \times \mathbb{Z}_2^T$ 对称性的自旋-1/2 链。这一体系具有高度对称特殊性（单胞内有确切两个反共易的算符）。对于更广泛的物理系统（例如含高自旋、多轨道自旋链或费米子哈密顿量），如何普适性地从 LHS 谱序列直接读取微观键算符组合？目前的映射方法缺乏一种标准化的、自动化的算符构造算法。
连续临界 CFT 的精确参数尚未解析确定
虽然 VUMPS 计算给出了强有力的数值证据（中心电荷 $c \approx 1$），但由于强关联一维系统的强纠缠性，目前无法在热力学极限下完全无偏地解析解出该 $c=1$ 共形场论的具体致密化半径（Compactification Radius）或其轨道结构（Orbifold Data）。这导致在临界点附近，初级场算符（Primary Fields）在非可逆对称操作下的精确变换性质依然含糊不清。
高维空间的推广障碍（Generalization to Higher Dimensions）
本工作聚焦于 $1+1\text{D}$ 体系。对于 $2+1\text{D}$ 及更高维度，LSM 异常将涉及更复杂的弱晶格 SPT 态（如 2D 层状 SPT 堆叠）。在高维规范化后，涌现的将是高级非可逆范畴（Higher Category），其对应的“Type-II DQCP”是否依然可以用局域自发破缺非可逆对称性来刻画？这面临极大的数学与数值计算挑战。

5. 补充说明：非可逆 $\text{Rep}(H_8)$ 对称性及其物理推导

为了帮助研究人员更彻底地理解本工作的代数精髓，本节提供关于 $\text{Rep}(H_8)$ 非可逆对称性起源的底层数学推导，并详述其在一维自旋链中的晶格键代数规范化过程。

5.1 8 维 Kac-Paljutkin Hopf 代数 $H_8$ 的表征范畴

规范化 anomalous $D_8$ 系统中的内部对称子群 $A = \mathbb{Z}_2^{XY} \times \mathbb{Z}_2^{YX}$ 后，对偶对称性范畴演变为 $\text{Rep}(H_8)$。其中 $H_8$ 是由数学家 Kac 与 Paljutkin 在 1966 年发现的最小的、既非阿贝尔又非对偶阿贝尔的半单 Hopf 代数。

表征范畴 $\text{Rep}(H_8)$ 包含 5 个不可约表示（即 5 类拓扑缺陷线）：

$X_1, X_2, X_3, X_4$：量子维度为 1 的可逆缺陷（对应普通的阿贝尔荷）。
$X_0$：量子维度为 $d(X_0) = 2$ 的非可逆缺陷。

其完整的 Tambara-Yamagami 融合规则（Fusion Rules）由下式给出：

$$X_i \otimes X_j = X_{i \cdot j}, \quad (i, j = 1, 2, 3, 4)$$$$X_i \otimes X_0 = X_0 \otimes X_i = X_0, \quad (i = 1, 2, 3, 4)$$$$X_0 \otimes X_0 = X_1 \oplus X_2 \oplus X_3 \oplus X_4$$

这一融合规则极具物理启发性。当我们让两根非可逆畴壁 $X_0$ 相交时，其局域希尔伯特空间发生了物理分裂（Splitting），退化为四个独立的阿贝尔一维电荷相。这一“非平凡分裂”正是由于 LSM 异常使平移缺陷边界携带了二维简并的投影表示。规范化后，该简并度直接被编码入融合规则的右端系数中。

5.2 键代数方法（Bond-Algebra Approach）下的晶格映射

一维格点规范化的最直观技术是键代数。我们不关注复杂的非局部算符映射，而是关注哈密顿量中所有局域对称算符所生成的代数 $\mathcal{B}_G$。在规范化 $\mathbb{Z}_2^{XY}$ 之前，具有 $D_8$ 对称性的晶格局部算符代数由以下各项生成：

$$\mathcal{B}_G = \langle X_{2i} Y_{2i+1}, \, Z_{2i} Z_{2i+1}, \, Y_{2i+1} X_{2i+2}, \, Z_{2i+1} Z_{2i+2} \rangle$$

引入半性格点上的对偶链路物理量 $\tau^x_{i+1/2}$ 与 $\tau^z_{i+1/2}$。施加 Gauss 定律约束：

$$G_{2i} = \tau^x_{2i-1/2} X_{2i} \tau^x_{2i+1/2} = 1$$$$G_{2i+1} = \tau^x_{2i+1/2} Y_{2i+1} \tau^x_{2i+3/2} = 1$$

通过对局部键算符施加规范等价 Unitary 变换 $V = \prod_i \left[ \frac{1}{2}(1+Z_i) + \frac{1}{2}(1-Z_i) \tau^x_{i-1/2} \tau^x_{i+1/2} \right]$，原先包含 LSM 异常的相互作用代数被完美映射为对偶空间内的局部规范不变算符代数：

$$\mathcal{B}_{G/\mathbb{Z}_2^{XY}} = \langle \tau^x_{2i-1/2} \tau^x_{2i+3/2}, \; \tau^z_{2i+1/2}, \; \tau^x_{2i+1/2} \tau^x_{2i+5/2}, \; \tau^z_{2i+3/2} \rangle$$

此时，原哈密顿量中的相互作用项映射为具有对偶多体排布的哈密顿量。更为惊人的是，原来的晶格平移操作 $T$ 在此对偶空间内，被转换成了耦合了 TST（平移-对称堆叠-平移）拓扑变换的算符。这有力地展示了晶格 LSM 异常如何演变为量子缺陷线的非可逆代数物理属性，完美证实了理论的自洽性。

5.3 对量子化学与强关联材料模拟的启示

本项研究工作尽管偏向高能和数学物理，但其核心物理机制对于强关联分子轨道、量子化学自旋链模拟具有极高的应用前景：

量子自旋液体的受限寻找：在具有准一维磁性链的过渡金属配合物中，单胞内部的投影表示（如 $S=1/2$）往往被晶格畸变破坏。通过人为引入非可逆范畴畴壁，可以在无需实现超低温的前提下，使系统锁定在稳定的一维量子自旋液体或非传统二聚化拓扑相中。
超越传统 Landau 分子相变：量子化学分子动力学在模拟低维电子转移时，常常因非嵌套对称群导致收敛困难。非可逆对称自发破缺框架提供了一种全新的定性分析分子链能带交叉（Avoided Crossing）与非阿迪亚贝拉（Non-adiabatic）动力学的数学利器。