Isospectrality and Operator Complexity

想象一下你拥有两种不同的乐器。一种是简单、纯净的长笛（“二次型”模型），另一种是包含许多相互作用部件的复杂、沉重的架子鼓组（“相互作用”模型）。

通常情况下，如果你在长笛上吹奏一个特定的音符，它听起来与在架子鼓上演奏的音符完全不同。然而在这篇论文中，研究人员发现了一个神奇的技巧：他们找到了一种方法来调校架着鼓组，使其产生的每一个音符在音高和音量上都与长笛完全相同。用物理术语来说，它们是“同谱的”（isospectral）——它们拥有完全相同的能谱。

然而，这篇论文揭示了一个令人脑洞大开的转折：尽管它们听起来一样，但当你尝试演奏旋律或改变音乐时，它们的表现却完全不同。

以下是利用简单类比对他们发现的解析：

1. 神奇的翻译官（幺正变换）

研究人员找到了一个“翻译官”（一种数学变换），可以将复杂的架子鼓组转化为简单的长笛，且不改变音符。

代价： 这个翻译官是“非局域”的。想象一下，如果你想在长笛上吹奏一个音符，你必须在整个房间内敲击一系列特定的鼓，同时涉及几十个其他的鼓。
结果： 在简单的长笛世界里，一个“局域”动作（按下一个键）保持为局域的。但在复杂的架子鼓世界里，同样的动作会被拉伸成一串跨越整个系统的巨大、纠缠的相互作用。

2. 不同的景观，相同的地图

因为它们拥有相同的音符（能谱），你可能会认为它们代表了相同的“景观”或物质相。

长笛（二次型模型）： 它的行为类似于一种标准的拓扑材料。它拥有清晰、简单的边缘（例如马约拉纳模），易于描述。
架子鼓组（相互作用模型）： 尽管它拥有相同的音符，但它处于一个完全不同的“相”。根据你如何调校它，它可以变成“电荷密度波”（像棋盘格图案）或“密度极化”态。
教训： 仅仅因为两个系统拥有相同的能量水平“菜单”，并不意味着它们提供同样的“餐点”。成分的结构（算符）与最终的味道同样重要。

3. 信息传播的速度（OTOCs）

研究人员观察了信息在这些系统中传播的速度（就像水面上扩散的涟漪）。

波前： 这两个系统都有一个“速度限制”，即涟漪移动的最快速度。这个速度是由音符（能谱）决定的，因此长笛和架子鼓组具有相同的速度限制。
内部： 然而，涟漪内部发生的情况却不同。
- 在长笛中，涟漪是平滑且可预测的。
- 在架子鼓组中，由于“翻译官”将局域动作拉伸成了巨大的字符串，涟漪会产生复杂的干涉图样。这就像是一束干净的激光束与一束穿过万花筒的光束之间的区别。光传播的速度相同，但内部的模式却是混沌且复杂的。

4. 成长的复杂性（Krylov 复杂度）

最后，他们观察了系统随时间推移变得多么“复杂”。想象一下你正在试图描述系统的状态。

长笛： 要描述这种状态，你只需要几个简单的词。复杂度保持在较低且有界的水平。这就像写一首俳句；它简短且内敛。
架子鼓组： 要描述这种状态，你需要不断增加更多的词汇，连接起系统中越来越多的部分。复杂度会稳步增长（类似于时间的平方根）。这就像是在写一部小说，随着你思考得越多，它就会变得越来越长、越来越错综复杂。

核心启示

这篇论文证明了量子物理学中的一个基本观点：你不能仅凭能量水平（能谱）来判断一个系统。

两个系统在能量“音符”（能谱）方面可以是完美的孪生兄弟，但如果你观察它们的部件如何相互作用以及信息如何传播，它们可以像长笛和架子鼓一样截然不同。系统的“灵魂”（其动力学和复杂度）隐藏在其算符的结构之中，而不仅仅是其能量谱之中。

简而言之：同样的音符，不同的乐曲。同样的能量，不同的复杂度。

技术摘要：等谱性与算符复杂度

问题陈述
量子多体物理学中的一个核心问题是，多体能谱在多大程度上编码了量子系统的物理性质。虽然谱信息传统上支撑着对平衡态现象（如热力学、响应函数和相分类）的理解，但近期关于非平衡动力学的进展表明，动力学性质（例如量子混沌、算符搅动和 Krylov 复杂度）关键取决于时间演化下算符的结构，而不仅仅是谱数据。本研究探讨了一个开放性问题：两个具有相同多体能谱的局部哈密顿量，是否可能表现出截然不同的相结构、算符增长、搅动动力学以及动力学复杂度。

研究方法
作者研究了一对通过非局部、非线性幺正变换相关的精确可解费米子链。

模型：
- 相互作用模型 ( $H_{\text{int}}$ )： 一个包含四次密度-密度相互作用项的近邻无自旋费米子链，其中相互作用项为 $H_{\text{nn}} = \sum (2n_j - 1)(2n_{j+1} - 1)$ ，该项被添加到二次 Kitaev 链中。
- 二次模型 ( $H_{\text{ff}}$ )： 一个具有随相互作用强度 $\lambda$ 可调的跳符和配对振幅的二次型 Kitaev 类哈密顿量。
变换： 作者利用了一种特定的非局部、非线性费米子到费米子的幺正变换 $U$ （由文献 [12] 引入），该变换将相互作用哈密顿量 $H_{\text{int}}(\lambda)$ 精确映射到二次哈密顿量 $H_{\text{ff}}(\lambda)$ 。该变换保持了整个多体能谱（等谱性），但重组了局部算符代数，将局部费米子算符映射为扩展的多体链。
分析工具：
- 精确可解性： 通过将相互作用模型映射到二次对偶模型，作者利用对偶二次模型的传播子推导出了观测量的精确 Pfaffian 表示。
- 动力学诊断： 研究采用基态密度相关性、时间有序算符相关函数 (OTOC) 以及 Krylov 复杂度（通过 Liouvillian Lanczos 系数）来比较两个模型的动力学。

主要贡献与结果

精确等谱性： 数值验证确认，对于系统尺寸高达 $N=12$ 的情况， $H_{\text{int}}$ 和 $H_{\text{ff}}$ 的多体能谱逐级一致，谱差异在数值精度范围内消失。
截然不同的相结构： 尽管两者在 $\lambda = \pm 1$ $λ = \pm 1$ 处共享相同的体临界点，但这两个模型实现了根本不同的相：
- 二次模型 ( $H_{\text{ff}}$ ) 是一个 BDI 对称类 Kitaev 链，其拓扑相由绕数 $\nu = \pm 1$ 和简单的 Majorana 边缘模表征。
- 相互作用模型 ( $H_{\text{int}}$ ) 展示了三种截然不同的相： $\lambda > 1$ 时的电荷密度波 (CDW) 序， $-1 < \lambda < 1$ 时的对称保护拓扑 (SPT) 相，以及 $\lambda < -1$ 时的密度极化机制。至关重要的是，相互作用 SPT 相中的零模是高度非局部的多体链，这与二次模型的简单 Majorana 算符形成鲜明对比。
算符扩散与 OTOC：
- 两个模型都表现出由共同单粒子谱决定的速度为 $v_{\text{max}} = 4$ 的弹道式光锥。
- 然而，光锥内部的情况显著不同。二次模型显示出简单的传播，而相互作用模型则显示出丰富的干涉图样以及在整个光锥内的实质性权重。这是因为相互作用模型中的物理密度算符被映射为扩展的 Majorana 链，导致尽管具有自由费米子谱，仍存在非平凡的算符扩散。
Krylov 复杂度与 Lanczos 增长：
- 二次模型： 局部算符在封闭的线性子空间（Majorana 部分）内演化，导致 Lanczos 系数 ( $b_n$ ) 有界，并趋向于周期-二的形式。
- 相互作用模型： 重复的对易运算会生成日益高阶的多体算符。Lanczos 系数表现出 $b_n \propto \sqrt{n}$ 的渐近增长，这是相互作用系统的特征。这证明了即使能谱与具有有界复杂度的二次模型完全相同，相互作用模型中的算符复杂度也会无界增长。

意义与主张
本文证明了自由多体谱与相互作用算符动力学在本质上是兼容的。作者得出结论，仅凭能谱不足以确定：

系统的相结构。
局部算符代数的性质。
系统的动力学复杂度与算符增长（搅动）。

研究结果强调，虽然能谱决定了传播速度（光锥），但算符代数决定了动力学的内部结构和算符复杂度增长的速率。本研究表明，非局部幺正变换可以在保持能量谱的同时，从根本上改变局部观测量的物理诠释及其随时间的演化。