Global symmetries: locality, unitarity, and regularity

本文通过证明局域性对对称性作用施加了特定的规律性，从而使得定义一个能够量化非局域性并编码融合代数数据的可观测量成为可能，以此解决了具有非可逆范畴对称性的量子场论中局域性与幺正性之间看似存在的张力。

要点

想象你正在试图理解由粒子参与的一场宏大而复杂的游戏规则。在物理学中，这些规则通常被称为“对称性”。将对称性想象成一种魔术：你可以改变游戏的状态（旋转它、翻转它或平移它），但游戏的基本法则却保持完全不变。

很长一段时间以来，物理学家认为这些魔术遵循着一套非常严格、简单的规则书：幺正性。这意味着，如果你执行了一个魔术，你总是可以执行一个完全相反的魔术来将其撤销。这就像一把锁和一把钥匙；如果你锁上了一扇门，总有一把钥匙能打开它。在量子世界中，这意味着每一个对称算符都有一个逆算符。

然而，最近的发现引入了一种新的、更奇特的对称性，称为不可逆对称性。这些就像某种魔术，一旦你执行了它们，就无法简单地通过一个反向动作来“撤销”它们。这就好比你转动了一把钥匙，而门却彻底消失了。

本文解决了一个大谜题：这些“不可撤销”的魔术如何融入一个本应是“局域”的宇宙？

核心冲突：“局域”邻里观 vs. “全局”视角

要理解这篇文章，请想象一个由独立房屋（粒子）组成的城市（宇宙）。

1. 局域性（邻里规则）： 在一个局域宇宙中，你家中发生的事应仅取决于你 immediate 邻里发生的事。如果你想检查城市的规则，你应该能够通过一次观察一栋房屋，并查看它如何与邻居连接来完成。
2. 幺正性（全局会计师）： 这是要求系统的总“能量”或“概率”守恒。这就像一位全球会计师，要求每一笔交易都完美平衡。

本文认为，当你拥有这些奇怪的“不可逆”对称性时，这两种观点之间存在张力。

• 局域视角（拓扑视角）： 如果你将对称性视为一种“拓扑”对象（就像一条环绕城市的橡皮筋），它表现为局域的。它遵守邻里规则。但它是“不可逆”的——你无法简单地将其反转。
• 幺正视角（会计师视角）： 如果你强行让对称性变得“可逆”（为了让会计师满意，并且你能撤销魔术），你就会破坏“局域”规则。此时，这个魔术必须同时跨越整个城市，将遥远的房屋混合在一起，从而违反了邻里规则。

“正则”模式

作者发现，当城市变得非常大（即“热力学极限”）时，这些对称性的行为呈现出一种迷人的模式。

如果一个对称性是真正局域的（即它遵守邻里规则），那么系统中状态的分布遵循一种非常具体、"正则"的模式。想象一个合唱团。如果指挥（对称性）是局域的，合唱团最终会以完美平衡的频率唱出每一个可能的音符。作者称此为正则表示。这就像一份完美混合的沙拉，每种食材都以精确正确的比例出现。

然而，如果你试图强行让一个不可逆对称性变得“可逆”（以满足幺正会计师的要求），这种完美的平衡就会被打破。合唱团开始过于频繁地唱某些音符，而唱其他音符的频率则太低。模式变得“不规则”。

"B 函数”：对称性的测谎仪

为了衡量这种不规则性，作者发明了一种新工具，称为B(g)。将其想象成对称性的“测谎仪”。

• 如果 B(g) = 0： 对称性表现得“局域”。它是一种拓扑的、不可逆的对称性。尽管它无法被撤销，但它遵守邻里规则。
• 如果 B(g) = 1： 对称性是“恒等”（即什么都不做）。
• 如果 0 < B(g) < 1： 对称性是“不规则”的。它是一种试图表现得局域但失败的幺正对称性。这表明该对称性实际上是一个被强行塞进可逆盒子里的“不可逆”对称性。

通过测量这个"B"值，作者表明，你实际上可以逆向推导出游戏的规则。如果你观察"B"函数的形状，你就可以推断出隐藏的“融合代数”——即告诉你这些对称性如何组合的秘密规则书。这就像通过观察池塘中的涟漪，来推断出究竟扔进了什么样的石头，即使你没有看到那块石头。

现实世界的例子

本文在几个“游戏”（理论）上测试了这一想法：

• 伊辛模型（Ising Model）： 一种经典的磁性模型。他们表明，这里的“不可逆”对称性在被强行变为可逆时，会产生一种特定的不规则模式，从而揭示磁体的底层规则。
• 斐波那契对称性（Fibonacci Symmetry）： 一种更奇特的规则集。他们表明，即使在这里，"B"函数也能揭示隐藏的结构，使他们能够通过观察不规则性来计算对称性对象的“量子维度”（一种衡量大小或权重的指标）。

结论

简而言之，这篇文章指出：“如果你看到一个对称性不符合局域邻里的完美平衡模式，这就表明该对称性实际上是一个‘不可逆’的对称性。”

他们提供了一种数学工具（B 函数）来检测这一点。这是一种区分自然局域的对称性与伪装成局域的“不可逆”对称性的方法。这有助于物理学家通过观察对称性在被强行要求变得“可撤销”时的行为，来理解量子场论的深层结构。

注意： 本文完全专注于这些理论数学结构及其在量子场论中的行为。它不涉及医学应用、工程用途或未来技术。它纯粹是关于理解宇宙对称性的基本规则。

技术摘要

技术摘要：全局对称性：局域性、幺正性与正则性

问题陈述
本文探讨了量子场论（QFT）中两个基本原理——局域性与幺正性——在全局对称性语境下表现出的明显张力。在标准量子力学中，维格纳定理规定对称性由构成群的（反）幺正算符实现。然而，在高维量子场论中，局域性要求（算符作用于局域区域）导致了拓扑算符的存在，这些算符可能不可逆。这些“不可逆”或范畴对称性构成融合范畴而非群。

核心问题在于理解这两种视角——“局域方法”（拓扑的、可能不可逆的算符）与“幺正方法”（与哈密顿量对易的可逆算符）——如何相互关联。具体而言，作者研究了局域性的施加如何约束希尔伯特空间向对称群表示的分解，以及幺正图景中偏离这些约束的情况如何作为非局域性和不可逆范畴结构的指标。

方法论
作者采用两种描述对称性的框架进行对比分析：

1. 局域方法：对称性由作用于希尔伯特空间的拓扑算符（缺陷）定义。对于局域量子场论，作者论证希尔伯特空间必须在高能（热力学）极限下分解为对称性的正则表示。作者定义可观测量 $C(\alpha)$ 为零逆温度极限（$\beta \to 0$）下对称算符的归一化迹：
   $$C(\alpha) \equiv \lim_{\beta \to 0} \frac{\text{Tr}_H (U_\alpha e^{-\beta H})}{\text{Tr}_H (e^{-\beta H})}$$
   对于局域对称性，$C(\alpha)$ 对所有非单位元元素均为零，反映了表示的正则性。

2. 幺正方法：作者考虑所有与哈密顿量对易的幺正算符集合。由于幺正算符必须构成群 $G$，不可逆拓扑算符被表示为这些幺正生成元的线性组合。作者引入一个新的可观测量 $B(g)$，定义为幺正算符 $g$ 的迹观测量的模平方：
   $$B(g) = |C(g)|^2$$
   该函数作为“非正则性”或非局域性的度量。如果一个幺正算符对应于局域拓扑对称性，则 $B(g)$ 应为零（针对非单位元元素）。如果 $B(g) \neq 0$，则表明该算符是包含非局域分量的线性组合。

方法论涉及基于底层融合范畴的结构推导 $B(g)$ 的一般性质，然后显式计算各种示例（包括晶格模型和连续共形场论）中的 $B(g)$，以展示该函数如何编码融合代数数据（量子维数和融合系数）。

主要贡献与结果

• 局域对称性的正则性：本文确立，对于具有全局对称性（无论是群类还是范畴类）的局域量子场论，希尔伯特空间在渐近意义上形成正则表示。在大系统尺寸或高能极限下，迹可观测量 $C(\alpha)$ 对所有非单位元对称元素均为零。这适用于可逆群对称性和不可逆范畴对称性（例如 Tambara-Yamagami 范畴、Fibonacci 范畴）。
• 可观测量 $B(g)$：作者将 $B(g)$ 定义为诊断工具。他们证明了：
  • $0 \leq B(g) \leq 1$。
  • $B(g) = 1$ 对应于单位算符（或相位）。
  • $B(g) = 0$ 对应于纯粹拓扑（局域）且可逆的幺正算符。
  • 临界点 $0 < B(g) < 1$ 对应于由子范畴的“规范投影算符”构造的幺正算符。
• 编码融合数据：主要结果是函数 $B(g)$ 编码了融合代数的数据。通过分析幺正算符群流形上 $B(g)$ 的临界点（极小值、极大值和鞍点），可以重构融合范畴中简单对象的量子维数，并在许多情况下重构融合系数本身。
  • 示例：对于 Fibonacci 范畴，$B(\theta)$ 的最小值出现在特定角度，由此可推导出量子维数 $d(W) = (1+\sqrt{5})/2$ 和融合规则 $W^2 = e + W$。
  • 示例：对于具有 't Hooft 反常的 $Z_2 \times Z_2$ 群，$B(g)$ 中某些临界点（鞍点）的缺失将其与无反常情况区分开来，表明 $B(g)$ 捕捉了反常信息。
• 晶格与连续体：本文分析了晶格上的横向场伊辛模型。结果表明，在晶格上，时空对称性（平移）与全局对称性纠缠在一起，阻碍了群流形的清晰分离。然而，在连续体极限下，函数 $B(g)$ 趋近于局域范畴对称性预测的值，晶格修正呈指数级消失。

意义与主张
本文主张，通过认识到不可逆对称性虽非幺正群，但可嵌入更大的幺正算符群中，从而解决了局域性与幺正性之间的张力。这些幺正算符偏离“正则”行为的程度（由 $B(g)$ 测量）是底层非局域、范畴结构的直接信号。

该工作的意义在于提供了一个具体、可计算的可观测量（$B(g)$），架起了融合范畴的抽象数学结构与量子场论中幺正算符的物理性质之间的桥梁。作者建议，该方法为以下方面提供了新视角：

1. 诊断局域性：确定紫外描述（如晶格模型）中的对称性在红外是表现为局域拓扑算符还是不可逆对称性。
2. S 矩阵自举：即使在没有体时空描述的情况下，也可能作为与 S 矩阵对易的对称性局域性的诊断工具。
3. 重构对称结构：仅从理论中可用的幺正算符的性质推断对称范畴的融合规则和量子维数。

作者对未来影响保持谦逊，指出向连续对称性（无限维李群）的推广，以及在幺正方法中精确处理反常和结合子，需要进一步研究。他们强调，其结果依赖于幺正算符可表示为局域对称范畴简单对象线性组合的假设。