2025-11-17T17:43:13.191180

Weak Hopf non-invertible symmetry-protected topological spin liquid and lattice realization of (1+1)D symmetry topological field theory

Jia
We introduce weak Hopf symmetry as a tool to explore (1+1)-dimensional topological phases with non-invertible symmetries. Drawing inspiration from Symmetry Topological Field Theory (SymTFT), we construct a lattice model featuring two boundary conditions: one that encodes topological symmetry and another that governs non-topological dynamics. This cluster ladder model generalizes the well-known cluster state model. We demonstrate that the model exhibits weak Hopf symmetry, incorporating both the weak Hopf algebra and its dual. On a closed manifold, the symmetry reduces to cocommutative subalgebras of the weak Hopf algebra. Additionally, we introduce weak Hopf tensor network states to provide an exact solution for the model. As every fusion category corresponds to the representation category of some weak Hopf algebra, fusion category symmetry naturally corresponds to a subalgebra of the dual weak Hopf algebra. Consequently,the cluster ladder model offers a lattice realization of arbitrary fusion category symmetries.
academic

Weak Hopf non-invertible symmetry-protected topological spin liquid and lattice realization of (1+1)D symmetry topological field theory

基本信息

  • 论文ID: 2412.15336
  • 标题: Weak Hopf non-invertible symmetry-protected topological spin liquid and lattice realization of (1+1)D symmetry topological field theory
  • 作者: Zhian Jia (National University of Singapore)
  • 分类: hep-th, cond-mat.str-el, math-ph, math.MP, math.QA
  • 发表时间: 2024年12月 (arXiv预印本)
  • 论文链接: https://arxiv.org/abs/2412.15336

摘要

本文引入弱Hopf对称性作为探索具有非可逆对称性的(1+1)维拓扑相的工具。受对称拓扑场论(SymTFT)启发，构建了具有两种边界条件的格子模型：一种编码拓扑对称性信息，另一种包含非拓扑动力学。该簇梯模型推广了著名的簇态模型。文章证明该模型展现弱Hopf对称性，包含弱Hopf代数及其对偶。在闭流形上，对称性约化为弱Hopf代数的交换子代数。此外，引入弱Hopf张量网络态为模型提供精确解。由于每个融合范畴都对应某个弱Hopf代数的表示范畴，融合范畴对称性自然对应对偶弱Hopf代数的子代数。因此，簇梯模型提供了任意融合范畴对称性的格子实现。

研究背景与动机

问题背景

  1. 对称保护拓扑(SPT)相的研究需求：传统群对称性框架无法描述所有已知的拓扑相，特别是具有非可逆对称性的系统。
  2. 非可逆对称性的兴起：近年来，高形式对称性、非可逆对称性、融合范畴对称性等广义对称性概念快速发展。
  3. 格子模型构造的挑战：尽管理论上存在大量融合范畴对称相的例子，但系统性构造此类格子模型的方法仍然缺乏。

研究动机

  1. 弥补理论与实现的鸿沟：建立从抽象融合范畴到具体格子模型的系统性构造方法。
  2. 统一对称性框架：将群对称性、Hopf对称性、弱Hopf对称性统一在同一框架下。
  3. SymTFT的格子实现：为对称拓扑场论提供可计算的格子模型平台。

核心贡献

  1. 提出弱Hopf对称性框架：将弱Hopf代数作为描述(1+1)D非可逆对称性的统一工具。
  2. 构建弱Hopf簇梯模型：推广经典簇态模型，实现任意融合范畴对称性的格子表示。
  3. 建立对偶性关系：证明融合范畴对称性等价于对偶弱Hopf对称性的子代数。
  4. 引入弱Hopf张量网络：提供模型的精确求解方法和态的张量网络表示。
  5. 实现SymTFT的格子构造：通过边界条件的选择实现对称拓扑场论的格子版本。

方法详解

任务定义

构造能够实现任意融合范畴对称性S的(1+1)D格子模型，并提供其精确求解方法。输入为融合范畴S，输出为相应的哈密顿量和基态。

模型架构

1. 弱Hopf代数基础

  • 弱Hopf代数H：具有乘法μ、单位η、余乘法Δ、余单位ε和反元素S的向量空间
  • 关键差异：与Hopf代数不同，Δ(1_H) ≠ 1_H ⊗ 1_H，允许描述更广泛的对称性

2. 簇梯格子构造

格子结构包含三类边：

  • 对称边界（蓝色）：赋予左H-余模代数K
  • 物理边界（红色）：赋予右H-余模代数J
  • 体边（黑色）：赋予弱Hopf代数H

3. 哈密顿量构造

总哈密顿量为：

H[H,K,J] = H_bk + H_sym + H_phys

其中：

  • 体项：H_bk = -∑_f B^H_f（面算符）
  • 对称边界项：H_sym = -∑ A^K（顶点算符）
  • 物理边界项：H_phys = -∑ A^J（顶点算符）

4. 局域算符定义

对称边界顶点算符：

A^K_{v_s} = ∑_{⟨ζ_K⟩} A^{ζ_K^⟨1⟩⊗ζ_K^⟨2⟩}}_{v_s}

面算符：

B^ψ_f|g,y,h,x⟩ = ∑ ψ(g^{(2)}S(y^{[-1]})S(h^{(1)})x^{[1]})|g^{(1)}, y^{[0]}, h^{(2)}, x^{[0]}⟩

技术创新点

1. 弱Hopf张量网络

  • 创新的配对表示：使用H和Ĥ之间的配对⟨•,•⟩构造张量网络
  • 图解记号：引入上下读取方向的图解表示，简化计算
  • 结构张量：通过余乘法生成纠缠结构

2. 对称性分析

  • 闭流形：Sym = Cocom(H) × Cocom(Ĥ)
  • 开流形：Sym = H × Ĥ
  • 关键洞察：Rep(H) ⊆ Cocom(Ĥ)，建立融合范畴与弱Hopf对称性的联系

3. 边界管理

通过对称可分离幂等元ζ_K控制边界条件：

ζ_K = ∑_{(λ_K)} λ_K^{(1)} ⊗ S(λ_K^{(2)})

实验设置

理论验证案例

1. 有限群例子

  • Z_p簇梯模型：验证阿贝尔情况下的对称性结构
  • S_3簇梯模型：展示非阿贝尔群的多种边界配对

2. 弱Hopf代数例子

  • H_8模型：Kac-Paljutkin代数的8维弱Hopf代数
  • Fibonacci模型：通过边界管代数构造的融合范畴对称性

计算方法

  • 张量网络求解：使用弱Hopf张量网络精确构造基态
  • 对称性验证：通过带算符证明对易关系S_h, H = 0

实验结果

主要结果

1. 对称性验证

定理3：闭流形上的弱Hopf簇态模型具有对称性

Sym_{closed cluster} = Cocom(H) × Cocom(Ĥ)

定理4：开流形上的弱Hopf簇态模型具有对称性

Sym_{open cluster} = H × Ĥ

2. 基态构造

定理5：簇梯态|Ψ⟩_是哈密顿量HH,K,J的基态，满足：

A^K_{v_s}|Ψ⟩_{cluster} = A^J_{v_p}|Ψ⟩_{cluster} = B^H_f|Ψ⟩_{cluster} = |Ψ⟩_{cluster}

3. 基态简并度

根据Moore-Seiberg公式，g-genus表面上n个洞的基态简并度为：

GSD[M_{g,n}, A_{K_1}, ..., A_{K_k}] = ∑_{Y∈Irr(Rep(D(H)))} ∏_{j=1}^k S_{A_{K_j},Y} S_{1,Y}^{2-2g-n}

具体例子分析

H_8模型结果

  • 维数：8维Kac-Paljutkin代数
  • 表示：4个1维表示 + 1个2维表示
  • 融合规则：Tambara-Yamagami类型TY(Z_2×Z_2, χ_, ε=+1)

Fibonacci模型结果

  • 对象：{1, τ}，融合规则τ⊗τ = 1⊕τ
  • 边界管代数：13维T_
  • 量子维数：d_1 = 1, d_τ = φ（黄金比例）

相关工作

理论背景

  1. SPT相分类：从群上同调到配边理论的发展
  2. 广义对称性：高形式对称性、非可逆对称性的兴起
  3. SymTFT框架：拓扑全息和对称拓扑场论

格子实现

  1. 簇态模型：从Z_2到有限群的推广
  2. 弦网模型：Kitaev-Kong构造和Levin-Wen框架
  3. 任意子链：基于融合树的构造方法

技术工具

  1. Hopf代数：量子群和量子双模型
  2. 张量网络：矩阵乘积态和投影纠缠对态
  3. 范畴理论：融合范畴和模范畴

结论与讨论

主要结论

  1. 统一框架：弱Hopf对称性提供了描述(1+1)D非可逆对称性的统一框架
  2. 普遍构造：簇梯模型实现了任意融合范畴对称性的格子表示
  3. 精确可解：弱Hopf张量网络提供了模型的完整求解方案

局限性

  1. 维度限制：当前框架主要适用于(1+1)D系统
  2. 异常情况：某些弱Hopf对称性存在异常，对应粗糙边界不存在
  3. 计算复杂性：高维弱Hopf代数的计算可能面临指数复杂性

未来方向

  1. 高维推广：扩展到(2+1)D和更高维系统
  2. 分类问题：弱Hopf对称性SPT相的完整分类
  3. 应用探索：量子计算和量子信息处理中的应用

深度评价

优点

  1. 理论深度：建立了从抽象范畴理论到具体格子模型的完整桥梁
  2. 方法创新：弱Hopf张量网络提供了新的计算工具
  3. 普遍性：框架涵盖了从群对称性到融合范畴对称性的所有情况
  4. 精确性：提供了模型的完整数学描述和精确解

不足

  1. 复杂性：数学框架较为抽象，需要深厚的代数和范畴理论背景
  2. 实验验证：缺乏与实际物理系统的直接联系
  3. 计算效率：对于大型系统，张量网络计算可能面临挑战

影响力

  1. 理论贡献：为非可逆对称性研究提供了重要工具
  2. 跨学科价值：连接了数学物理、凝聚态物理和量子信息
  3. 未来潜力：为量子模拟和拓扑量子计算奠定理论基础

适用场景

  1. 理论研究：拓扑相和对称性的理论分析
  2. 量子模拟：冷原子和超导量子比特系统的实现
  3. 拓扑量子计算：基于非阿贝尔任意子的量子计算方案

参考文献

本文引用了大量相关文献，主要包括：

  • SPT相理论：Wen, Chen, Gu等的开创性工作
  • 广义对称性：Gaiotto, Bhardwaj, Schäfer-Nameki等的系统性研究
  • Hopf代数：Kitaev量子双模型和相关推广
  • 张量网络：Buerschaper, Mombelli等的Hopf张量网络理论

总体评价：这是一篇具有重要理论价值的论文，为非可逆对称性的格子实现提供了系统性框架。虽然数学内容较为抽象，但为该领域的发展做出了实质性贡献，有望推动拓扑量子物质和量子计算的理论发展。