2025-11-10T02:59:53.617877

Information Loss and Cost in Symmetry Breaking

Molina-Vilaplana, Sierra, Zhang
We develop an algebraic and information-theoretic framework to characterize symmetry breaking of generalized, non-invertible symmetries in two spatial dimensions. The reduction of symmetry is modeled within subfactor theory, where condensable Frobenius algebras play the role of subgroups in the categorical setting. This perspective naturally connects to the description of anyon condensation in topological phases of matter. Central to our approach are coarse-graining maps, or conditional expectations, which act as quantum channels projecting observables from a phase with higher symmetry onto one where the symmetry is partially or completely broken by condensation. By employing relative entropy as an entropic order parameter, we quantify the information loss induced by condensation and establish a universal bound governed by the Jones index, which is equal to the quantum dimension of the condensate. We illustrate the framework through explicit examples, including the toric code, abelian groups $\mathbb{Z}_N$, and the representation category Rep($S_3$), and show how dualities give rise to equivalence classes of condensation patterns. Our results forge new connections between operator algebras, tensor category theory, and quantum information in the study of generalized symmetries.
academic

Information Loss and Cost in Symmetry Breaking

基本信息

  • 论文ID: 2509.24625
  • 标题: Information Loss and Cost in Symmetry Breaking
  • 作者: J. Molina-Vilaplana (Universidad Politécnica de Cartagena), G. Sierra, H.C.-Zhang (Instituto de Física Teórica, UAM-CSIC)
  • 分类: quant-ph hep-th math-ph math.MP
  • 发表时间: 2025年10月9日 (arXiv v2)
  • 论文链接: https://arxiv.org/abs/2509.24625

摘要

本文建立了一个代数和信息论框架来刻画二维空间中广义非可逆对称性的对称性破缺。对称性的约化在子因子理论中建模，其中可凝聚Frobenius代数在范畴设置中扮演子群的角色。这种视角自然地连接到拓扑物质相中任意子凝聚的描述。该方法的核心是粗粒化映射或条件期望，它们作为量子通道将观测量从具有更高对称性的相投影到通过凝聚部分或完全破缺对称性的相。通过使用相对熵作为熵序参量，量化了凝聚引起的信息损失，并建立了由Jones指标控制的通用界限，该指标等于凝聚体的量子维数。

研究背景与动机

问题背景

  1. 广义对称性的兴起: 近年来，量子场论中广义全局对称性（包括非可逆对称性）的研究强调了实现这些对称性的扩展拓扑算子的重要作用。这些对称性由融合范畴控制，超越了传统的群作用。
  2. 对称性破缺的复杂性: 在具有拓扑序和非阿贝尔任意子激发的理论中，传统的子群概念不再适用，使得对称性破缺相的刻画变得复杂。需要新的数学工具来描述这些广义对称性的破缺模式。
  3. 任意子凝聚的重要性: 在拓扑有序系统中，任意子凝聚是一个基本过程，通过它某些任意子凝聚形成新的真空，导致拓扑序的改变。

研究动机

本文的核心动机是建立一个统一的框架来：

  • 描述广义对称性的破缺模式
  • 量化对称性破缺过程中的信息损失
  • 连接算子代数、张量范畴理论和量子信息理论

核心贡献

  1. 建立了代数-信息论统一框架: 将子因子理论与量子信息理论结合，用于研究广义对称性破缺。
  2. 引入熵序参量: 基于量子相对熵定义了熵序参量来量化对称性破缺中的信息损失。
  3. 建立通用界限: 证明了信息损失的通用上界由Jones指标控制：SA(ρ∣ρ~)≤log⁡λS_A(\rho|\tilde{\rho}) \leq \log \lambda。
  4. 提供具体实现: 通过Kraus算子给出了条件期望和提升映射的显式构造。
  5. 验证理论框架: 通过ZN\mathbb{Z}_N群、toric code和Rep(S3S_3)等具体例子验证了理论的有效性。

方法详解

任务定义

研究任意子凝聚过程中从高对称性相A\mathcal{A}到对称性破缺相T\mathcal{T}的转变，量化这一过程中的信息损失。

理论框架

1. 子因子理论基础

  • 子因子包含: T⊂A\mathcal{T} \subset \mathcal{A}，其中A\mathcal{A}描述未凝聚相，T\mathcal{T}描述凝聚相
  • Jones指标: λ=[A:T]=q\lambda = [\mathcal{A} : \mathcal{T}] = q（凝聚体的量子维数）
  • 条件期望: εA:A→T\varepsilon_A: \mathcal{A} \to \mathcal{T}实现限制映射

2. 任意子凝聚的数学描述

限制映射（凝聚过程）: a→∑t∈Tnatt,∀a∈Aa \to \sum_{t \in \mathcal{T}} n_a^t t, \quad \forall a \in \mathcal{A}

提升映射（逆过程）: t→∑a∈Anata,∀t∈Tt \to \sum_{a \in \mathcal{A}} n_a^t a, \quad \forall t \in \mathcal{T}

其中natn_a^t为分支系数，满足量子维数一致性条件： da=∑t∈Tnatdtd_a = \sum_{t \in \mathcal{T}} n_a^t d_tdt=1q∑a∈Anatdad_t = \frac{1}{q} \sum_{a \in \mathcal{A}} n_a^t d_a

3. 量子通道实现

条件期望的Kraus表示: εA(ρ)=∑a∈AKaρKa†\varepsilon_A(\rho) = \sum_{a \in \mathcal{A}} K_a \rho K_a^\dagger

其中Kraus算子定义为： Ka=∑t∈TnatdtdaΛt,aK_a = \sum_{t \in \mathcal{T}} \sqrt{n_a^t} \sqrt{\frac{d_t}{d_a}} \Lambda_{t,a}

提升映射: ρ~=α(ρA)=∑a∈ALaεA(ρ)La†\tilde{\rho} = \alpha(\rho_A) = \sum_{a \in \mathcal{A}} L_a \varepsilon_A(\rho) L_a^\dagger

其中： La=∑t∈TnatλdadtΛa,tL_a = \sum_{t \in \mathcal{T}} \sqrt{\frac{n_a^t}{\lambda}} \sqrt{\frac{d_a}{d_t}} \Lambda_{a,t}

技术创新点

  1. 统一视角: 首次将gauging和任意子凝聚统一在同一代数结构下。
  2. 显式构造: 给出了条件期望和提升映射的显式Kraus表示。
  3. 信息论量化: 引入相对熵作为序参量来量化对称性破缺的程度。
  4. 通用界限: 建立了与Jones指标相关的信息损失上界。

实验设置

研究对象

论文通过三个具体例子验证理论框架：

  1. 阿贝尔群ZN\mathbb{Z}_N: 作为最简单的例子验证基本概念
  2. Toric code: 验证在具体拓扑模型中的应用
  3. Rep(S3S_3): 展示非阿贝尔情况下的复杂行为

评价指标

相对熵序参量: SA(ρ∣ρ~)=∑a∈Apalog⁡pap~aS_A(\rho|\tilde{\rho}) = \sum_{a \in \mathcal{A}} p_a \log \frac{p_a}{\tilde{p}_a}

其中pa=tr(ρΠa)p_a = \text{tr}(\rho \Pi_a)，p~a=tr(ρ~Πa)\tilde{p}_a = \text{tr}(\tilde{\rho} \Pi_a)。

实验结果

主要结果

1. ZN\mathbb{Z}_N群的结果

对于Lagrangian代数A=∑rrA = \sum_r r：

  • Jones指标：λ=∣G∣=N\lambda = |G| = N
  • 相对熵：SA(ρ∣ρ~)=log⁡N−H(p)S_A(\rho|\tilde{\rho}) = \log N - H(p)
  • 在对称相pr=1/Np_r = 1/N时，序参量为零

2. Toric Code的结果

对于凝聚代数A=1+YA = 1 + Y：

  • Jones指标：λ=2\lambda = 2
  • 相对熵：SA(ρ∣ρ~)=log⁡2−H(p)−(p1+pY)log⁡(p1+pY)−(pX+pZ)log⁡(pX+pZ)S_A(\rho|\tilde{\rho}) = \log 2 - H(p) - (p_1 + p_Y)\log(p_1 + p_Y) - (p_X + p_Z)\log(p_X + p_Z)

具体例子：

  • {p}={1/2,1/2,0,0}⇒SA=0\{p\} = \{1/2, 1/2, 0, 0\} \Rightarrow S_A = 0
  • {p}={1/2,0,0,1/2}⇒SA=log⁡2\{p\} = \{1/2, 0, 0, 1/2\} \Rightarrow S_A = \log 2

3. Rep(S3S_3)的结果

展示了三种不同的凝聚模式：

  • A=1+XA = 1 + X：λ=2\lambda = 2，T∼Vec(Z3)\mathcal{T} \sim \text{Vec}(\mathbb{Z}_3)
  • A=1+YA = 1 + Y：λ=3\lambda = 3，T∼Vec(Z2)\mathcal{T} \sim \text{Vec}(\mathbb{Z}_2)
  • A=1+X+2YA = 1 + X + 2Y：λ=6\lambda = 6，T∼Vec(C)\mathcal{T} \sim \text{Vec}(\mathbb{C})（Lagrangian代数）

重要发现

  1. 通用界限的验证: 所有例子都满足SA(ρ∣ρ~)≤log⁡λS_A(\rho|\tilde{\rho}) \leq \log \lambda
  2. 对称相的特征: 当初始态为"对称"分布时，序参量为零
  3. 扰动行为: 对于小扰动δpr≪1\delta p_r \ll 1，序参量表现为SA∼∑r(δpr)2S_A \sim \sum_r (\delta p_r)^2

相关工作

主要研究领域

  1. 广义对称性理论: Gaiotto等人的开创性工作建立了广义全局对称性的基础
  2. SymTFT框架: 通过高一维拓扑场论来刻画对称性
  3. 任意子凝聚理论: Bais-Slingerland等人的工作建立了任意子凝聚的数学基础
  4. 算子代数方法: von Neumann代数理论在量子场论中的应用

本文的创新

相比现有工作，本文首次：

  • 将子因子理论与量子信息理论结合
  • 提供了信息损失的定量描述
  • 建立了通用的熵界限

结论与讨论

主要结论

  1. 统一框架: 成功建立了描述广义对称性破缺的统一代数-信息论框架
  2. 定量描述: 相对熵提供了对称性破缺程度的定量度量
  3. 通用界限: Jones指标给出了信息损失的通用上界
  4. 实际应用: 框架在多个具体例子中得到验证

局限性

  1. 维数限制: 当前框架主要适用于有限维情况
  2. 阿贝尔假设: 部分构造假设了阿贝尔代数结构
  3. 完整相变: 未完全描述从A\mathcal{A}到解禁闭相U\mathcal{U}的完整拓扑相变

未来方向

  1. 高维推广: 扩展到type II/III von Neumann代数
  2. 实验验证: 在拓扑相的格子实现中测试相对熵序参量
  3. SymTFT连接: 与对称拓扑场论不变量建立联系
  4. 反常研究: 探索凝聚、反常和熵量之间的相互作用

深度评价

优点

  1. 理论创新: 首次建立了子因子理论与量子信息理论的深度联系
  2. 数学严谨: 提供了完整的数学框架和严格的证明
  3. 实用价值: 给出了可计算的熵序参量和通用界限
  4. 例子丰富: 通过多个具体例子验证了理论的有效性
  5. 跨学科: 成功连接了算子代数、张量范畴和量子信息等多个领域

不足

  1. 复杂性: 数学框架较为复杂，可能限制了更广泛的应用
  2. 实验验证: 缺乏在真实物理系统中的实验验证
  3. 计算复杂度: 对于大型系统，相关计算可能变得困难

影响力

  1. 理论贡献: 为广义对称性研究提供了新的理论工具
  2. 方法论价值: 展示了如何将抽象数学理论应用于具体物理问题
  3. 未来发展: 为相关领域的进一步研究奠定了基础

适用场景

  1. 拓扑量子计算: 理解任意子凝聚对量子信息处理的影响
  2. 凝聚态理论: 研究拓扑相变和对称性破缺
  3. 量子场论: 分析非可逆对称性的破缺模式
  4. 数学物理: 探索算子代数与物理的联系

参考文献

论文包含了61篇参考文献，涵盖了从基础的von Neumann代数理论到最新的广义对称性研究，体现了该工作的跨学科性质和理论深度。关键参考文献包括Jones的子因子理论原创工作、Gaiotto等人的广义对称性理论，以及Araki的相对熵理论等。