Quantum scrambling of algebras of observables: the $\mathbb{Z}_2$-symmetric case

技术摘要：代数的可观测量的量子混杂：$Z_2$ 对称情形

问题陈述
本文将量子混杂（quantum scrambling）的理论框架从单个算符扩展到了整个可观测量代数。虽然之前的研究已经确立了代数外时间有序相关函数（A-OTOC）作为“共线”代数（即代数与其对易子具有特定维数关系）的混杂度度量，但对于更一般的代数，仍缺乏度量解释。作者解决了可观测量代数 $\mathcal{A}$ 的对易子 $\mathcal{A}'$ 由单个厄米对合算符 $S$（一个宇称算符）生成的特定情形。在这种 $Z_2$ 对称的情形下，$\mathcal{A}' \cong \mathbb{C}Z_2$，且希尔伯特空间分解为两个宇称扇区。本研究的目标是推导在此背景下的精确解析表达式，提供几何解释，并将这些度量应用于诊断相互作用自旋链中的物相。

方法论
作者采用两种主要的度量来量化代数 $\mathcal{A}$ 在酉通道 $U(\cdot) = U(\cdot)U^\dagger$ 下的混杂程度：

1. 代数 OTOC (A-OTOC)： 定义为 $\mathcal{A}$ 中的酉算符与动力学演化后的对易子 $\mathcal{A}'$ 中的酉算符之间的对易子平方范数的平均值。
2. Plücker 保真度 (Plücker Fidelity)： 一种类似于 Slater 行列式的量，通过将算符代数嵌入到更高维的射影算符空间中，用于测量初始对易子代数 $\mathcal{A}'$ 与其动力学图像 $U(\mathcal{A}')$ 之间的重叠。

分析依赖于将希尔伯特空间 $\mathcal{H}$ 分解为对应于 $S$ 的 $\pm 1$ 特征值的不变子空间 $\mathcal{H}_+$ 和 $\mathcal{H}_-$。关键参数包括迹参数 $\tau = \text{Tr}(S)/d$（当 $S$ 为无迹时 $\tau$ 为零）以及生成元的无穷大温度时间自相关函数 $Y(U) = \frac{1}{d}\langle S, U(S) \rangle$。

核心贡献与结果

• 精确解析表达式： 作者推导了在一般 $Z_2$ 对称情形下 A-OTOC ($G_\mathcal{A}(U)$) 和 Plücker 保真度 ($F_\mathcal{A}(U)$) 的闭合形式表达式。这些量仅取决于对称性破缺参数 $\tau$ 和自相关函数 $Y(U)$：
  $$G_\mathcal{A}(U) = (1-Y)\left[1 - \frac{1-Y}{2(1-\tau^2)}\right], \quad F_\mathcal{A}(U) = \left| \frac{Y - \tau^2}{1 - \tau^2} \right|$$
  他们证明了这些度量通过恒等式 $G_\mathcal{A}(U) = \frac{1-\tau^2}{2}[1 - F_\mathcal{A}^2(U)]$ 联系在一起。

• 几何解释： 本文的一个核心贡献是恢复了这些混杂度度量的度量解释。作者表明，A-OTOC 与 $Z_2$ 代数流形 ($\mathcal{M}_{Z_2}$) 上对易子代数 $\mathcal{A}'$ 及其动力学图像 $U(\mathcal{A}')$ 之间的希尔伯特-施密特距离（Hilbert-Schmidt distance）平方成正比。具体而言，$G_\mathcal{A}(U) = \frac{1-\tau^2}{4} D_{HS}^2(\mathcal{A}', U(\mathcal{A}'))$。这将其几何理解从先前已知的共线情形扩展到了更广阔的范围。

• 对称性破缺与混杂： 研究表明，混杂过程受控于酉演化的 $Z_2$ 对称性破缺分量。

  • 无混杂： 若 $U$ 保持代数 $\mathcal{A}'$ 不变（即 $U(S) = \pm S$），则不发生混杂。这对应于 $Y=1$ 或在无迹情形下（$\tau=0$）$Y=-1$。
  • 最大混杂： 当 $Y(U) = \tau^2$ 时发生，此时 $F_\mathcal{A}(U)=0$ 且 $G_\mathcal{A}(U) = (1-\tau^2)/2$。
  • 典型值： 对于随机酉算符，A-OTOC 会集中在其最大值附近，特别是对于无迹生成器（$\tau=0$），其上限为 $1/2$。

• 长时间平均： 对于由哈密顿量驱动的动力学，A-OTOC 的长时间平均值由生成元 $S$ 的去相位分量和哈密顿量的谱简并结构决定。对于非简并谱，长时间平均值趋向于最大混杂值。

• 自旋链的数值应用： 该形式化方法在相互作用自旋链上进行了测试，以诊断不同的物理相：

  • 多体定位 (MBL)： 在随机场 XXZ 链中，随着无序度的增加，长时间平均 A-OTOC 显著下降，标志着向 MBL 的转变。该度量的敏感性取决于宇称算符的支持集，局部算符表现出最强的响应。
  • 有序-无序转变： 在横场伊辛模型 (TFIM) 中，随着横场穿过临界点，A-OTOC 从 0（有序相）增加到 $\approx 1/2$（无序相），镜像了基态磁化强度的行为。
  • 可积性转变： 在带有纵场项的 TFIM 中，在可积点（此时全局宇称是一种对称性）A-OTOC 恰好为零，并在打破可积性后迅速趋向于遍历值，且随着系统尺寸增大，这种转变变得更加尖锐。

意义
本文声称，所提出的形式化方法提供了一个统一的框架，用于量化量子混杂，并架起了代数非对易性与几何距离之间的桥梁。通过将对易子限制为 $Z_2$ 结构，作者恢复了此前在一般代数中无法获得的 A-OTOC 度量解释。结果表明，长时间平均 A-OTOC 在结合具有物理动机的宇称算符时，可以作为区分多体系统中可积、混沌和定位相的灵敏诊断工具。这项工作强调了“典型”行为的随机酉算符会导致最大混杂，而对这种典型行为的偏离可以揭示特定量子系统潜在的结构对称性或定位现象。