技术摘要：张量积希尔伯特空间上的不可逆对称性与量子元胞自动机

1. 问题陈述

本文探讨了在张量积希尔伯特空间上实现 $(1+1)$ 维融合范畴对称性的问题。虽然连续场论通过幺正融合范畴描述了有限的广义内部对称性，但晶格实现面临一个根本性障碍：最近已证明，融合范畴对称性可以在张量积希尔伯特空间上被严格实现（即对称算子形成融合规则的直表示），当且仅当该范畴是整的（所有简单对象的量子维度均为整数）。

许多物理相关的范畴，如伊辛范畴或群阶非完全平方的 Tambara-Yamagami 范畴，都是非整的。然而，经验证据表明，如果允许对称算子与量子元胞自动机（QCAs）（具有有限传播速度的幺正算子，如晶格平移）“混合”，这些对称性可以在张量积晶格上实现。这导致了一个修正的融合规则：
$$D_x D_y = \sum_{z} U^z_{xy} D_z$$
其中 $U^z_{xy}$ 是 QCAs，当忽略 QCA 细化时，它们退化为恒等算子。

本文研究了两个核心问题：

1. 约束：给定一个 QCA 细化的实现，范畴数据对 QCA $U^z_{xy}$ 的指标施加了哪些约束？
2. 存在性：弱整性条件（每个简单对象量子维度的平方为整数）是否足以保证一个融合范畴能在张量积希尔伯特空间上 admit 一个 QCA 细化的实现？

2. 方法论

作者结合了关于缺陷希尔伯特空间的物理假设、QCA 指标理论以及显式晶格模型构造。

2.1 物理假设与指标理论

作者采用了一组关于缺陷希尔伯特空间结构及对称算子行为的物理假设（假设 1–5），遵循 [51] 中建立的框架。

• 缺陷希尔伯特空间：对于任何对称算子 $D_x$，都存在左 ($H^l_x$) 和右 ($H^r_x$) 缺陷希尔伯特空间，这是通过修改有限区域内的局部希尔伯特空间获得的。
• 维度与指标：他们定义了左维度和右维度 ($ldim, rdim$)，并推导了算子的**晶格量子维度** ($qdim_{lat}$) 和**指标** ($ind$)。对于 QCA $U$，其指标对应于 Gross-Nesme-Vogts-Werner (GNVW) 指标。
• 均匀性：一个关键假设是指标在融合通道中是均匀的；如果 $D_x D_y = \sum D_z$，则求和中的所有 $z$ 的 $ind(D_z)$ 是常数。

利用这些假设，作者为弱整性猜想提供了物理证明：任何 admit QCA 细化实现的融合范畴必须是弱整的。他们表明，晶格量子维度必须与范畴量子维度匹配，这意味着量子维度的平方必须是一个整数。

2.2 晶格模型构造

为了证明逆命题（即每个弱整范畴都 admit 此类实现），作者构造了一个特定的晶格模型。

• 任意子链的推广：他们利用了通常由三元组 $(\mathcal{C}, \mathcal{M}, \rho)$ 定义的任意子链模型。对于整范畴，选择正则对象 $\rho = R = \bigoplus d_x x$ 会产生一个张量积希尔伯特空间。
• 弱整性适应：对于弱整范畴 $\mathcal{C} = \bigoplus_{g \in E} \mathcal{C}_g$（由群 $E \simeq \mathbb{Z}_2^r$ 分级），标准正则对象不会产生单个张量积空间。相反，该链分解为扇区 $H_g$。
• 序列电路：作者引入了序列电路（作用于链下方的幺正算子）$U_g: H_g \to H_0$，将分级扇区 $g$ 的希尔伯特空间映射回平凡扇区 $H_0$。
• 修正的对称算子：物理对称算子定义为 $\tilde{D}_x = U_g \circ D_x$（其中 $x \in \mathcal{C}_g$）。这种修正确保了算子在单个张量积希尔伯特空间 $H_0$ 内作用。
• QCA 细化：这些算子的组合自然地在融合规则中生成了 QCA 细化 $U_{(g,h)} = U_g U_h U_{gh}^{-1}$。

提供了两种构造：

1. 构造 1：适用于存在特定对象且其量子维度的整数部分等于 1 的范畴（例如，$M$ 无平方因子的 Metaplectic 范畴，$|A|$ 无平方因子的 Tambara-Yamagami 范畴）。
2. 构造 2：一种适用于任何弱整范畴的统一构造，利用修正的输入对象 $\rho = \dim(\mathcal{C}_0) R_0$。

3. 主要贡献与结果

结果 1：对指标的约束

作者证明，在所述物理假设下，任何 QCA 细化实现中 QCA $U^z_{xy}$ 的指标由范畴数据唯一确定，最多允许对称算子的重定义（与辅助 QCA 堆叠）。

• 具体而言，对于 $x \in \mathcal{C}_g$ 和 $y \in \mathcal{C}_h$，融合规则中出现的 QCA $U_{(g,h)}$ 的指标为：
  $$ind(U_{(g,h)}) = \frac{m_g m_h}{m_{gh}} \sqrt{\frac{n_g n_h}{n_{gh}}}$$
  其中 $n_g$ 是与分级相关的无平方因子整数，$m_g$ 是由重定义自由度决定的有理数。
• 这表明与 QCAs 的“混合”并非任意的，而是由范畴结构固定的。

结果 2：存在性定理

作者构造了一个显式的晶格模型，证明了任何弱整融合范畴都 admit 在张量积希尔伯特空间上的 QCA 细化实现。

• 定理 1.1：任何弱整融合范畴对称性都 admit 在张量积希尔伯特空间上的 QCA 细化实现。
• 构造的模型产生了“规范”实现，其中 QCA 细化仅取决于分级扇区 $g, h$。
• 作者显式计算了其晶格模型中 QCA 的指标，并验证它们与结果 1 的预测相匹配，从而为物理假设提供了一致性检查。

应用：Tambara-Yamagami 范畴

将一般构造应用于Tambara-Yamagami (TY) 范畴。

• 对于 $|A|$ 不是完全平方的 TY 范畴 $TY(A, \chi, \epsilon)$，作者提供了一个显式的 QCA 细化实现。
• 非可逆对象 $m$ 的融合规则推导为：
  $$D_m^2 = T \sum_{a \in A} D_a$$
  其中 $T$ 是晶格平移（一种非平凡的 QCA）。这恢复了已知的伊辛情形（$A=\mathbb{Z}_2$）并将其推广到任意阿贝尔群。

4. 意义与主张

本文声称，在 QCAs 的范围内，对张量积晶格上不可逆对称性的可实现性提供了完整的答案。

• 必要性：它加强了弱整性猜想，表明如果存在实现，该范畴必须是弱整的。
• 充分性：它证明了逆命题，表明弱整性是此类实现的唯一障碍。
• 规范结构：这项工作确定了这些实现的“规范”形式，其中 QCA 指标由范畴固定，类似于群射影表示由群上同调分类的方式。
• 物理洞察：本文提供了关于 Kramers-Wannier 对偶及类似对称性的新视角，将它们解释为标准任意子融合算子与序列电路（QCA）的乘积，后者将生成的状态映射回张量积空间。

作者指出，虽然弱整性猜想是在特定物理假设下被证明的，但从第一性原理推导这些假设（例如，将对称算子严格定义为量子通道）仍然是未来工作的开放方向。然而，在既定的框架内，本文确立了弱整性与 QCA 细化可实现性之间的“当且仅当”关系。