Kubo-Martin-Schwinger conditions for non-Hermitian systems

本文确立了对于具有实谱的可对角化非厄米哈密顿量，其双正交吉布斯泛函满足 Kubo-Martin-Schwinger (KMS) 条件的充分必要条件是该系统为拟厄米性的，从而提供了一种无度量特征的拟厄米性表征，并证明了由此产生的 KMS 态无法通过相似变换简单地从其厄米对应物中推导出来。

要点

大局观：在“破碎”的世界中寻找平衡

想象一下，你正在试图理解一杯咖啡是如何冷却的。在标准物理学中，那个正常的、“厄米（Hermitian）”的世界里，这很简单：咖啡失去热量，稳定在一个舒适的温度，然后保持在那里。物理学家有一套非常严格的数学规则手册来描述这种平衡状态，叫做 KMS 条件。这就像是一个保证：如果你在两个不同的时间观察这杯咖啡，这两个时刻之间的关系都遵循一种特定的、可预测的模式。

但如果咖啡杯是由一种奇怪的、“非厄米（non-Hermitian）”材料制成的呢？也许它会漏液，或者以某种诡异的方式从空气中吸收能量。在这个“非厄米”世界里，通常的规则可能会失效。咖啡可能永远无法稳定，或者表现出一些看似不可能的行为（比如拥有负温度）。

这篇论文提出了一个根本性的问题：我们是否仍然可以使用严格的“KKMS 规则手册”来描述这些奇怪的非厄米系统的热平衡？

作者们说：“可以，但前提是该系统必须具有一种非常特定的隐藏结构。”他们通过三种不同的“路径”或方法来破解这个谜题。

---

路径 1：“魔镜”（拟厄米系统）

类比：
想象你正在看一面哈哈镜。反射出的图像虽然扭曲，但如果你知道这面镜子的确切形状，你就可以通过数学手段“抵消”这种扭曲，从而看到站在镜前的真实的人。

科学原理：
作者研究的是“拟厄米（Quasi-Hermitian）”系统。这些系统在表面上看起来很奇怪且具有非厄米特性，但它们拥有一个隐藏的“度规（metric）”（一种数学工具，我们称之为 $\eta$），这个度规就像一面魔镜。如果你使用这面镜子去观察系统，它实际上表现得就像一个正常的标准系统。

结果：
论文证明了，如果你拥有这面“魔镜”（$\eta$），你就可以定义一个恰当的“热态（thermal state）”（即平衡状态）。

• 他们证明了“温度”可以正常运作。
• 他们证明了只要你使用这面特殊的镜子进行测量，严格的 KMS 规则手册就依然成立。
• 关键点： 尽管系统看起来可以被转化为一个正常系统，但数学证明了非厄米世界中的热态并不仅仅是正常系统的简单副本。它拥有自己独特的身份。你不能仅仅把正常世界的答案“翻译”过来；你必须在非厄米世界本身进行运算。

---

路径 2：“左右手握手”（双正交系统）

类比：
想象一次握手。在正常世界里，如果 A 与 B 握手，那么 B 与 A 握手也是一样的。但在这种非厄米世界里，你拥有不同的“左手”和“右手”。为了完成一次正式的握手，A 的左手必须以一种非常特定的方式与 B 的右手相遇。

科学原理：
在这里，作者放弃了“魔镜”（$\eta$），而是直接使用系统原始的“左/右”特征向量（即数学上的“手”）。他们尝试仅利用这些“手”来构建热态。

结果：

• 好消息： 数学上的“握手”（KMS 边界关系）运行得非常完美。数字完全符合预期。
• 坏消息： “概率”失效了。在物理学中，概率必须是正数（你不能说下雨的概率是 -50%）。在这种原始设置下，数学经常产生负概率，这在物理上是没有意义的。
• 重大发现： 作者证明了一个“结构定理”。他们表明，只有当系统实际上拥有路径 1 中提到的那个隐藏“魔镜”（$\eta$）时，这种原始设置才会产生有效的、正的概率。
• 翻译： 你不需要预先假设魔镜的存在。如果你的热态在物理上有意义（即正概率），那么魔镜就一定存在。这是在不先寻找魔镜的情况下，识别这些特殊系统的一种新方法。

---

路径 3：“漏水的水桶”（开放系统）

类比：
想象一个带孔的水桶（开放系统）。水在不断流入和流出。其“有效”水位看起来可能在以一种奇怪的方式上升或下降（非厄米），但真正的平衡取决于整个管道系统（水管、泵、漏洞）。

科学原理：
这条路径研究的是不断与环境交互的系统（例如量子计算机与外界通信）。作者没有仅仅观察那个“有效”的奇怪哈密顿量，而是观察了完整的“林德布拉德（Lindblad）”方程，这描述了整个“管道系统”。

结果：
他们将此与“量子细致平衡（Quantum Detailed Balance）”的概念联系起来。他们表明，对于一个开放系统要达到热平衡，整个管道系统必须满足特定的对称性。

• 核心要点： 你不能仅仅观察那个“有效”的奇怪哈密顿量（水位）并假设它处于平衡状态。你必须观察它与环境的完整交互过程。这里的规则与路径 1 和路径 2 不同。

---

规则失效之时：“崩溃区”

论文还研究了当系统“过于奇怪”时会发生什么。他们确定了两个 KMS 规则手册完全失效的具体区域：

1. “例外点（Exceptional Point）”（坍缩）：

   • 类比： 想象一个旋转的陀螺突然停止旋转并倒下。在这一瞬间，描述其运动的数学逻辑崩溃了，因为两个不同的状态合并成了一个。
   • 结果： “左手”和“右手”无法再进行正常的握手。数学会产生无限增长的项（类似于多项式爆炸），使得定义稳定的温度或平衡变得不可能。

2. “复谱（Complex Spectrum）”（幽灵数字）：

   • 类比： 想象你在给物体称重，但秤给出的数字却是像“5 + 3i”这样的复数。你不能拥有 3i 克重的糖。
   • 结果： 如果系统的能量级具有“虚部”，那么“玻尔兹曼权重”（决定状态可能性的数学项）就会变成复数。这彻底破坏了概率的概念。系统无法在传统意义上达到稳定的热平衡。

总结

这篇论文是一张在“非厄米”（奇异）量子世界中导航热平衡的地图。

• 如果系统拥有隐藏的“度规”（路径 1）： 它运行得非常完美，并且我们拥有对温度的严谨定义。
• 如果我们只使用原始的“左/右”数学（路径 2）： 它看起来行得通，但只有当隐藏度规存在时，它在物理上才是真实的。
• 如果系统是开放的（路径 3）： 我们需要观察整个环境，而不仅仅是那个有效的奇怪数学。
• 如果系统撞上了“例外点”或拥有“复数能量”： 热平衡的概念将彻底崩溃。

作者们并没有发明一台新机器或一种新药；他们建立了一个严密的数学框架，用以告诉我们，在这些奇异的量子世界中，我们究竟在“何时”以及“如何”讨论“温度”与“平衡”。

技术摘要

技术摘要：非厄米系统的 Kubo-Martin-Schwinger 条件

问题陈述
本文探讨了一个基本问题，即如何将 Kubo–Martin–Schwinger (KMS) 条件——这是代数量子统计力学中对热平衡进行数学严谨表征的条件——推广到非厄米量子系统。虽然具有实谱和双正交特征系统的非厄米哈密顿量在 $PT$ 对称量子力学、伪厄米算符理论以及开放系统的有效描述中被广泛使用，但目前尚不清楚标准的 KMS 框架（要求解析性、有界性和正定性）在这些设定下的适用程度。具体而言，作者研究了非厄米系统中关联函数的形式边界关系是否足以定义一个真正的热态，或者是否需要额外的结构约束（如拟厄米性）。

方法论
作者采用泛函分析方法，通过三条互补的路径分析 KMS 条件：

1. 路径 I（拟厄米系统）： 作者假设存在一个有界的、正定的度规算符 $\eta$，使得 $H^\dagger = \eta H \eta^{-1}$。他们构造了一个 $\eta$-加权希尔伯特空间 $\mathcal{H}_\eta$，并定义了一个 $\eta$-吉布斯态 $\omega_\eta(A) = Z_\eta^{-1} \text{Tr}(\eta e^{-\beta H} A)$。利用 Hadamard 三线定理和关于 Riesz 基的 Bari 定理，他们严谨地证明了该状态的关联函数满足 KMS 定义的三个解析条件（复条带内的解析性、有界性和边界条件）。
2. 路径 II（双正交系统）： 作者考虑了一个更弱的设定，即仅假设具有实谱和完备的双正交特征系统，而不预设正定的度规。他们使用双正交迹定义了一个双正交吉布斯泛函 $\omega_{bi}$。他们证明了虽然 $\omega_{bi}$ 满足形式上的 KMS 边界恒等式和条带解析性，但通常无法满足正定性条件（$\omega_{bi}(A^\dagger A) \ge 0$）。
3. 路径 III（开放系统）： 作者研究了由 Gorini–Kossakowski–Sudarshan–Lindblad (GKSL) 动力学控制的开放量子系统。他们阐明，平衡性质是由完整的 Lindblad 生成元和量子详细平衡 (QDB) 条件决定的，而非仅仅由有效的非厄米哈密顿量决定。他们回顾了针对 Davies 生成元的 Fagnola–Umanit$\grave{a}$ 特征化描述。

核心贡献与结果

• 拟厄米系统的谱 KMS 定理（定理 3.11）： 本文证明，对于具有实谱且可对角化的有界哈密顿量，其 $\eta$-吉布斯态满足完整的 KMS 条件。该证明是自洽的，依赖于关联函数的谱展开，并通过迹类估计确保了绝对收敛。
• 拟厄米性的热力学表征（定理 4.5）： 一个核心结果是证明了双正交热泛函 $\omega_{bi}$ 的正定性与哈密顿量的拟厄米性是等价的。具体而言，对于所有 $A$，$\omega_{bi}(A^\dagger A) \ge 0$ 当且仅当存在一个正定度规 $\eta$ 使得 $H^\dagger = \eta H \eta^{-1}$。这提供了一种仅通过状态的热力学性质导出的“无度规”拟厄米性判据，独立于 Mostafazadeh–Scholtz 相似性框架。
• KMS 属性的非平凡性： 作者证明了非厄米系统的 KMS 属性不能通过相似变换从厄米理论中平凡地推导出来。传输态 $\hat{\omega}(X) = \text{Tr}(e^{-\beta h} X \eta)/Z_\eta$（其中 $h$ 是其厄米伴随算符）在 $[\eta, h] \neq 0$ 时，与 $h$ 的标准吉布斯态不同。因此，非厄米系统的 KMS 属性需要独立验证。
• 失效模式分析： 本文识别并分析了导致 KMS 框架失效的两种不同机制：
  • 例外点 (EPs)： 在例外点处，由于对角化性的丧失（若尔当块的存在），会导致时间演化中的多项式增长，从而违反了 KMS 条带的有界性条件，并破坏了双正交完备性所必需的谱展开。
  • 复谱： 当特征值具有非零虚部时，玻尔兹曼权重变为复数，关联函数在实时间轴上表现出指数级增长，违反了 Hadamard 三线定理所要求的 $L^\infty$ 有界性条件。

意义与范围
本文声称为特定类别的非厄米系统提供了一个统一的泛函分析图景。其主要意义在于：

1. 严谨扩展： 为拟厄米系统建立了严谨的平衡框架，确认了在假设存在正定度规的情况下，KMS 条件成立。
2. 结构洞察： 提供了拟厄米性的热力学表征，表明存在物理的（正定的）热态是系统为拟厄米系统的充分必要条件。
3. 明确界限： 清晰地划定了适用范围的边界，展示了 KMS 框架在例外点和复谱情况下会因特定的解析和代数障碍而失效。

作者明确指出，其结果尚未构成针对非厄米系统的完整 Haag–Hugenholtz–Winnink (HHW) $C^*$ 代数框架。具体而言，在非厄米设定下构造 Tomita–Takesaki 模算符 $\Delta$ 以及建立观测算符代数的 $C^*$ 范数结构仍是开放性问题。此外，将这些结果扩展到无界哈密顿量（例如薛定谔算符）的工作被推迟到未来研究，因为目前的证明依赖于哈密顿量的有界性以确保算符指数的范数收敛。