Thermalization hierarchy from irreducible degrees of freedom

技术摘要：基于不可约自由度的热化层级结构

问题陈述
本征态热化假设（ETH）是理解孤立量子多体系统热化的标准框架，它假定能谱体部的能量本征态能够重现热力学期望值。然而，已知 ETH 在特定机制下会失效，例如多体定位（MBL）、量子多体疤痕（QMBS）以及希尔伯特空间碎片化（Hilbert space fragmentation）。虽然这些现象最初是通过不同的机制被识别出来的，但近期的研究建立了一个基于键代数（bond algebra，由局部相互作用项生成）及其对易代数（commutant algebra）的统一代数框架。

本文解决的核心问题在于，标准的对称性分解形式下的 ETH 通常过于粗糙。在键代数在对称性扇区内表现为可约表示的系统中，热化并不一定发生在整个对称性扇区内，而是在由键代数不可约表示（irreps）定义的更精细、动力学隔离的子空间内发生。作者认为，键不可约表示的维度 $D_\lambda$ 是控制热化程度的关键参数，其范围从精确非热态（疤痕，此时 $D_\lambda = 1$）到体积律遍历态（此时 $D_\lambda$ 很大）。

方法论
作者利用双对易子定理（double commutant theorem）将量子系统的希尔伯特空间 $\mathcal{H}$ 分解为键代数不可约表示（$H^{\text{bond}}_\lambda$）与对易代数不可约表示（$H^{\text{comm}}_\lambda$）的张量积之直和：
$$\mathcal{H} = \bigoplus_{\lambda \in \Lambda} (H^{\text{bond}}_\lambda \otimes H^{\text{comm}}_\lambda)$$
其中 $\lambda$ 标记了不同的扇区。哈密顿量在该基底下进行块对角化，每个块仅在维度为 $D_\lambda$ 的键不可约表示空间内非平凡地作用。

为了使这一层级结构具体化，作者引入了**不可约自由度（Irreducible Degrees of Freedom, IDOF）**的概念。他们将状态的 IDOF 定义为在给定的键代数扇区内，对该状态进行参数化所需的独立空间坐标数量，使得该状态无法被表示为关于更少坐标的函数的组合。这为抽象的维度 $D_\lambda$ 提供了一种微观解释。

论文采用 SU(2) 对称性的自旋-1/2 链作为范例。通过分析由成对自旋置换（同构于对称群 $S_L$）生成的键代数及其对易代数（$su(2)$ 的泛包络代数），作者利用 Schur-Weyl 对偶性显式地映射了希尔伯特空间的分解。他们计算了这些不可约表示的维度（$D_n$），并将结果与混沌 SU(2) 对称哈密顿量中能量本征态的平均半链纠缠熵（$S_E$）进行了对比。

此外，作者展示了一种将非热态嵌入遍历能谱的构造方法。他们提出了一种“受限双对易子”方法，通过选择性地破坏对称性，在保留特定键代数扇区的同时使其余部分实现热化。这涉及添加与目标键不可约表示对易、但破坏全希尔伯特空间对易结构的扰动。

主要贡献与结果

1. 通过 $D_\lambda$ 构建的热化层级：
   作者确立了键不可约表示维度的对数 $\log D_\lambda$ 在定量上解释了每个扇区内的平均本征态纠缠熵。

   • 低 $D_\lambda$： 对应于亚热行为（subthermal behavior）。具体而言，$D_\lambda = 1$ 产生精确的 QMBS（键单态）。
   • 高 $D_\lambda$： 对应于满足 ETH 的体积律遍历态。
   • 在自旋-1/2 链上的数值结果显示，$S_E$ 与 $\log D_n$（其中 $n$ 是 IDOF 标签）之间存在强相关性，而与全自旋对称扇区的维度之间的相关性较弱。这证实了决定热化能力的并非全局对称性扇区，而是键不可约表示。

2. 不可约自由度（IDOF）的定义：
   论文将 IDOF ($n$) 定义为在键代数下描述多体波函数的不可约张量的秩。

   • $n=0$（全对称态）：对应于 $D_0=1$。这些状态（例如铁磁态及其通过总自旋降低算符产生的后代）在 SU(2) 对称哈密顿量下没有内部动力学，并形成了精确的 QMBS 塔。
   • $n=1$（标准表示）：对应于 $D_1 = L-1$。这些状态不可约地依赖于一个空间坐标，并表现出中间的、亚热的纠缠。
   • 更高阶的 $n$：对应于具有渐进丰富的内部动力学和更高纠缠的更高维不可约表示，最终达到体积律行为。

3. 受限能谱生成代数（RSGA）的推广：
   作者展示了通过破坏全局对称性（如 SU(2) 或 U(1)）同时保留特定的键代数扇区，可以构造出整个非热态族嵌入在遍历能谱中的哈密顿量。

   • 他们通过局部（平移不变）和非局部扰动证明了这一点。
   • 一种非局部构造被证明可以保护整个 $n=1$ 键不可约表示（一个维度为 $L-1$ 的子空间），从而产生 $L-1$ 个不同的疤痕塔，而非仅仅是一个动量扇区。这通过将 RSGA 的概念从保护单个态推广到了保护整个动力学子空间。

意义与主张
本文声称将 QMBS、希尔伯特空间碎片化和部分热化现象统一在一个单一的代数原理之下：即通过键代数的不可约表示对希尔伯特空间进行分解。其主要意义在于将视角从“热”与“非遍历”的二元区分，转向由不可约自由度控制的连续热化层级结构。

作者断言，这一框架提供的是一种“构造性”工具，而非仅仅是诊断工具。通过识别受限双对易子分解的条件，人们可以系统地设计具有预设纠缠水平和动力学复杂性的量子多体系统。该框架被认为是通用的，它依赖于存在非平凡的双对易子结构，而非特定的 SU(2) 对称性，这表明其适用于具有 SU(N) 对称性、Temperley-Lieb 代数和动力学约束模型的系统。这项工作确立了不可约自由度是衡量给定键代数扇区内可用热化能力的尖锐度量。