技术摘要：多体拓扑稳定态的手征性

1. 问题陈述

对强相互作用量子多体系统中手征性的表征仍然是一个根本性的挑战。虽然手征性通常通过动力学响应（例如，手征边缘输运）或手征中心电荷 ($c_-$) 来诊断，但这些度量无法捕捉单个基态波函数的静态纠缠结构。现有的量子信息理论框架往往无法区分手征相，特别是在模块对易子（modular commutator）消失的情况下（例如，在某些稳定器混合态或 3D Walker-Wang 模型中），或者在系统尽管具有 $c_- = 0$ 的特征却仍表现出手征迹象的情况下。

本文解决的核心问题是：手征性是否可以纯粹地从量子态的纠缠结构中进行表征。具体而言，本文研究一个状态 $\rho$ 是否可以通过有限深度的局部操作转化为其复共轭 $\rho^*$。如果这种变换受到阻碍，则定义该状态为手征的。本研究重点关注 $\mathbb{Z}_d^{(k)}$ 任意子理论的稳定器实现，这是一类包含混合态和纯态实现的阿贝尔拓扑相。

2. 方法论

作者采用了一个基于局部操作 (LO) 和局部幺正变换 (LU) 的严谨框架来定义和检测手征性。

• 手征性的定义：

  • LU-手征性： 如果对于任何有限深度幺正算符 $U$，都有 $\rho^* \neq U \rho U^\dagger$，则称状态 $\rho$ 是 LU-手征的。
  • LO-手征性： 如果对于任何有限深度幺正算符 $U$ 和辅助系统，都有 $\rho^* \neq \text{Tr}_A [U (\rho \otimes |0\rangle\langle 0|_A) U^\dagger]$，则称状态 $\rho$ 是 LO-手征的。
  • n-partite 手征性： 如果 $\rho^*$ 无法通过作用于系统 $n$-划分上的张量积通道 $Q = \bigotimes_{j=1}^n Q_{A_j}$ 来达到，则称一个状态是 $n$-partite 手征的。
  • LU-虚性 (LU-imaginarity)： 如果一个状态无法通过有限深度 LU 变换为实值密度矩阵（在某种局部基底中），则称该状态是 LU-虚的。

• 模型系统： 本研究利用了蜂窝模型 (Honeycomb model)，这是一种在三价、三色可着色的晶格上的稳定器混合态构造。该模型实现了 $\mathbb{Z}_d^{(k)}$ 任意子理论，其中 $d$ 是局部维度，$k$ 是与 $d$ 互质的参数。作者还考虑了 $\mathbb{Z}_{p^{2m}}^{(1)}$ 理论的纯态实现，这些理论允许存在交换投影算符哈密顿量（commuting-projector Hamiltonians）。

• 分析工具：

  • 规范纯化 (Canonical Purification)： 分析经常使用规范纯化 $|\Psi_\rho\rangle$ 将混合态属性映射到纯态纠缠结构，从而允许使用稳定器形式化方法。
  • 弦算符与任意子电荷： 作者严格建立了这些状态中的定域激发与 $\mathbb{Z}_d^{(k)}$ 理论中特定任意子电荷之间的对应关系。他们证明了这些电荷是守恒的，并且在局部变换下是因子化的。
  • 拓扑自旋与 T-接点 (T-junctions)： 通过涉及弦算符的 T-接点过程提取拓扑自旋 $\theta(a)$。作者证明了这种自旋是任意子类型的不变量，并且在局部变换下保持不变（或发生共轭）。
  • 边缘电荷 (用于 n-partite 手征性)： 为了处理 $n$-partite 划分中缺乏几何定域性的问题，作者引入了定义在子系统边界上的“边缘电荷”，利用考虑了弱对称性的装饰算符（decorated operators）来进行处理。

3. 核心贡献与结果

3.1 LO-手征性与镜像不变性

主要结果确立了 LO-手征性与底层任意子理论的镜像不变性之间的直接等价关系。

• 定理 2： 支持 $\mathbb{Z}_d^{(k)}$ 任意子理论的稳定器混合态是 LO-手征的，当且仅当 该任意子理论不是镜像不变的（即该理论与其复共轭不同构 $A \not\simeq A^*$）。
• 镜像不变性判据 (定理 1)： 对于互质的 $d, k$，$\mathbb{Z}_d^{(k)}$ 是镜像不变的，当且仅当 $d$ 是满足 $p_j \equiv 1 \pmod 4$ 的素数之积（或 $d$ 为此类乘积的 2 倍）。如果 $d$ 包含一个素因子 $p \equiv 3 \pmod 4$，则该理论是手征的。
• 启示： 这揭示了逃避传统诊断手段的形式。例如，$\mathbb{Z}_5^{(1)}$ 具有消失的手征中心电荷（$c_- = 0 \pmod 8$）并允许存在能隙边界，但它是 LO-手征的，因为 $5 \equiv 1 \pmod 4$ 并不满足非不变性条件；相反，论文显示 $\mathbb{Z}_5^{(1)}$ 是镜像不变的（非手征的），而 $\mathbb{Z}_3^{(1)}$（其中 $3 \equiv 3 \pmod 4$）是手征的。至关重要的是，论文指出 $\mathbb{Z}_{p^2}^{(1)}$ 理论（其中 $p \equiv 3 \pmod 4$）是具有消失手征中心电荷和交换投影实现形式的 LO-手征纯态。

3.2 四部分手征性 (Four-Partite Chirality)

论文研究了检测手征性所需的最小多体结构。

• 结果 2： 支持非镜像不变 $\mathbb{Z}_d^{(k)}$ 理论的稳定器混合态是 四部分手征的，但 不是三部分手征的。
• 意义： 这表明模块对易子（一种三部分度量）不足以检测这些系统中的手征性。阻碍复共轭的障碍本质上是四部分的。证明依赖于在四部分划分的三个交汇处（tri-junctions）处，边缘电荷的守恒与因子化。
• 纯态阻碍： 作者指出，将四部分手征性的证明扩展到纯态实现（特别是 $\mathbb{Z}_{p^2}^{(1)}$）目前受到阻碍，因为纯态中的边缘电荷仅解析 $\mathbb{Z}_p$ 电荷而非完整的 $\mathbb{Z}_{p^2}$ 电荷，从而丢失了进行因子化论证所需的信息。

3.3 多体虚性 (Many-Body Imaginarity)

论文区分了手征性（阻碍 $\rho \to \rho^*$）与虚性（阻碍使 $\rho$ 变为实值）。

• 结果 3： 所有支持 $\mathbb{Z}_d^{(1)}$ 且 $d > 2$ 的稳定器混合态都是 LU-虚的。
• 关键发现： 存在既是 LU-虚但又不是 LO-手征的状态。最简单的例子是 $\mathbb{Z}_5^{(1)}$ 模型，它是 LU-虚的（无法变为实值），但不是 LO-手的是（可以映射到其复共轭）。这证明了即使在非手征相中，也存在内在的复相位结构。

3.4 混合态相的分类

作者表明，通过规范纯化来对混合态相进行分类是不充分的。

• 推论 1： 对于 LO-手征态 $\rho$，该状态及其共轭 $\rho^*$ 属于不同的混合态相（$\rho \not\simeq \rho^*$），然而它们的规范纯化 $|\sqrt{\rho}\rangle$ 和 $|\sqrt{\rho^*}\rangle$ 属于同一个纯态相。这突显了使用纯化来分类混合态拓扑序的局限性。

4. 意义与主张

本文声称提供了一种基于多体态纠缠结构的、严谨的量子信息论表征下的手征性描述。

• 超越手征中心电荷： 这项工作表明，手征中心电荷 $c_-$ 并不是 LO-手征性的可靠诊断工具。即使是具有 $c_- = 0$（甚至具有能隙边界）的系统，如果其任意子数据缺乏镜像对称性，也可以是本质手征的。
• 纠缠结构： 研究结果确立了手征性是一种根植于纠缠结构的阻碍，这种阻碍至少需要四个部分才能在混合态中被检测到，这对模块对易子这类三部分度量的效用提出了挑战。
• 内在虚性： 论文引入并证明了“多体虚性”的存在，表明拓扑波函数中的复相位是一个本质特征，即使在非手征相中，也无法通过局部基底变换将其消除。
• 严谨证明： 不同于以往的启发式论证，这项工作为稳定器态提供了严谨证明，即能否将 $\rho$ 转换为 $\rho^*$ 严格取决于底层任意子理论与其镜像图像的同构性。

作者对将这些结果扩展到非稳定器系统或一般相互作用哈密顿量保持谨慎，指出其证明高度依赖于稳定器码的特定代数结构以及阿贝尔任意子的性质。他们同时也承认，将四部分手征性结果扩展到纯态实现仍然是一个开放性问题。