Entanglement-spectrum fingerprint of a non-invertible symmetry: the Kramers--Wannier duality defect on the lattice

技术摘要：非可逆对称性的纠缠谱指纹

问题陈述
非可逆对称性以具有无理量子维数的融合范畴为特征，它们重塑了对量子多体系统中对称性的理论理解。虽然这些对称性的拓扑性质可以通过缺陷线（defect lines）得到明确定义，但其在微观层面上对量子态纠缠结构的印记（在能谱层面）仍未得到解决。以往的研究仅通过集成量（如标量边界熵 $\log g$ 或对称性解析熵）识别出非可逆性。这些集成度量无法揭示负责无理量子维数或缺陷希尔伯特空间能级解析结构的特定微观模式。本文旨在解决的核心问题是：识别编码了非可逆缺陷的范畴数据（量子维数、扭曲场权重和共形塔）的单粒子纠缠谱特征。

研究方法
作者聚焦于非可逆对称性的典型范例：临界 1+1D Ising 链中的 Kramers–Wannier (KW) 对偶缺陷。研究利用了 Ising 模型精确的自由费米子可解性，将其作为机器精度级的校准基准。

• 晶格构建： 系统由带有对偶扭曲边界条件（Aasen–Mong–Fendley 构建）的临界横场 Ising 链建模。这是通过一个非局部边界项（$-Z_L Y_1$）而非局部键来实现的，从而产生了一个具有 $2L-1$ 个独立 Majorana 模的哈密顿量（有效长度 $L_{\text{eff}} = L - 1/2$）。
• 数值探测： 作者采用 Peschel 的相关矩阵法来计算单粒子纠缠谱 (ES) 和子系统熵。
  • 纠缠谱： 由受限 Majorana 相关矩阵的特征值 $\xi_k = \ln[(1+\nu_k)/(1-\nu_k)]$ 导出。
  • 边界熵 ($\log g$)： 通过子系统熵的双重外推法提取（在固定 $\ell$ 的情况下令 $L \to \infty$，然后令 $\ell \to \infty$）。
  • 共形数据： 扭曲场权重 ($h_\sigma$) 通过两条独立的路径确定：(1) 在修改后的平移算符下，退化基态的动量偏移（共形自旋）；(2) 基态能量标度中的 Casimir 曲率（共形权重）。
• 对照组： 研究明确对比了 KW 对偶缺陷与可逆的 $\mathbb{Z}_2$ 对称性缺陷（单个符号翻转的键），以分离出仅属于非可逆性的特征。

关键结果
论文证明了 KW 对偶缺陷的全套范畴数据都编码在基态的单粒子纠缠谱中：

1. 作为零模的量子维数： 无理量子维数 $d_\sigma = \sqrt{2}$ 表现为一个最大混合的 Majorana 零模（$\xi = 0$）出现在纠缠谱中。该模式在齐次链和可逆 $\mathbb{Z}_2$ 缺陷中均不存在。该零模携带恰好 $\ln 2$ 的在格熵，这正是边界熵 $\log g = \frac{1}{2} \ln 2$ 的谱来源。数值结果以机器精度确认了该零模（$|\xi| < 5 \times 10^{-16}$）。
2. 扭曲场权重 ($h_\sigma$)： 通过两种独立方法将共形权重 $h_\sigma = 1/16$ 精确锁定（误差在 $10^{-5}$ 数量级）：
   • 共形自旋： 在修改后的平移算符下，基态动量被发现为 $\pm 1/16, \pm 7/16$。
   • Casimir 曲率： 通过拟合基态能量标度 $E_0(L)$，得到 $h_{\text{dual}} = 0.062501$，与目标值 $1/16$ 相匹配。
3. 扭曲共形塔： 多体谱组织成一个 $\sigma$-扭曲（类 Ramond）的共形塔。不同于齐次链的 Neveu–Schwarz 塔（偏移量为 1/4}），缺陷扇区形成了一个半整数序列 $\{0, 1/2, 1, \dots\}$，对于高达 $L=512$ 的系统尺寸，其与精确晶格值的偏差保持在 $2.7 \times 10^{-4}$ 以下。

意义与主张
本文声称解决了非可逆对称性在纠缠谱上的微观起源问题。通过将边界熵从单一的集成数值提升为“能级解析的谱特征”，这项工作识别了携带无理量子维数的特定模式（即最大混合 Majorana 零模）。

• 校准基准： 作者强调，其结果提供了一个具有机器精度值的精确可解参考点。这为研究非可解模型（如 Fibonacci anyon 链）中对偶缺陷的张量网络研究提供了关键的校准目标，因为在这些模型中无法使用自由费米子捷径。
• 诊断协议： 研究建立了一套针对非可逆性的诊断程序：存在量化的 $\xi=0$ 零模（携带 $\ln 2$ 熵）以及刚性的半整数共形塔，是判别非可逆缺陷的决定性特征。这可以将非可逆缺陷与可逆拓扑缺陷区分开来，后者缺乏此类零模且具有能隙纠缠谱。
• 范围： 作者明确指出，虽然精确数值依赖于 Ising 模型的自由费米子可解性，但该诊断框架（即对偶扭曲边界结合电荷或谱解析纠缠分析）旨在应用于非可解的情境。本文并非提出新的实验装置，而是提供了一个用于数值验证的理论基准。