Nonequilibrium steady state in Lindblad dynamics for infinite quantum spin systems

技术摘要：无限量子自旋系统中 Lindblad 动力学的非平衡稳态

问题陈述
本文研究了定义在无限晶格上的开放量子自旋系统的非平衡稳态（NESS）和时间平均非平衡稳态（TANESS）的严谨数学表述。虽然 NESS 相位是物理学界极具兴趣的研究对象，但在无限系统中，其算符代数定义的发展程度仍不及平衡态。一个核心难点在于两个基本极限之间的非交换性：热力学极限（系统尺寸 $\Lambda \to \Gamma$）与长时极限（$t \to \infty$ 或时间平均）。在有限系统中，NESS 通常被定义为 Liouvillian 生成子的核（kernel）。然而，在无限晶格上，Liouvillian 是一个无界算符，这使得其核的定义具有歧义性。此外，通常尚不清楚无限系统的 NESS 是否与有限子系统的 NESS 的热力学极限相一致。

方法论
作者采用 $C^*$-代数框架来描述定义在可数晶格 $\Gamma$ 上的量子自旋系统。

1. 动力学： 他们利用作用在拟局部代数 $\mathcal{A}$ 上的 Lindblad 动力学，由生成元 $\mathcal{L}$ 定义。在特定的局部性假设（假设 2）下，这些动力学的热力学极限的存在性由 Lieb-Robinson 界保证。
2. 定义：
   • NESS ($\omega_{ss}$): 定义为演化态序列 $(\omega \circ \gamma^\Gamma_t)_{t>0}$ 的弱-$*$ 聚点。
   • TANESS ($\omega_{ss}^{ave}$): 定义为时间平均态序列 $(\frac{1}{T}\int_0^T \omega \circ \gamma^\Gamma_t dt)_{T>0}$ 的弱-$*$ 聚点。
3. 谱分析： 分析的核心在于研究有限子系统 $\Lambda$ 上 Liouvillian $\mathcal{L}_\Lambda$ 的谱性质。作者引入了三种类型的谱间隙：
   • $\Delta_\Lambda$：“线间隙”（line gap），衡量非零谱到虚轴的距离。
   • $\Delta^p_\Lambda$：“点间隙”（point gap），衡量非零谱到原点的距离。
   • $\Delta^{ex}_\Lambda$：“异常间隙”（exceptional gap），衡量非半单特征值到虚轴的距离。
4. 条件数： 方法论的一个关键组成部分是引入了条件数 $\kappa_{\Lambda'}(V^\epsilon_\Lambda)$。它通过衡量将归一化 Liouvillian 转换为其 Jordan 标准型形式的线性映射 $V^\epsilon_\Lambda$ 的稳定性，来量化 Liouvillian 对正性（normality）的偏离。

主要贡献与结果

1. 交换性的充分条件：
   主要的理论贡献在于确立了热力学极限与长时极限（或时间平均）可以交换的充分条件。

   • 定理 8 (NESS)： 如果有限子系统的 Liouvillians 具有一致的线间隙（$\Delta_\Lambda \ge \Delta > 0$）和一致的异常间隙（$\Delta^{ex}_\Lambda \ge \Delta^{ex} > 0$），并且 条件数 $\kappa_{\Lambda'}$ 一致有上界，则无限系统的 NESS 是唯一的，且等于有限系统 NESS 的热力学极限。
   • 定理 10 (TANESS)： 类似地，如果存在一致的点间隙（$\Delta^p_\Lambda \ge \Delta^p > 0$）和一致的异常间隙，且条件数一致有界，则 TANESS 是唯一的，并与热力学极限交换。

2. 条件数的作用：
   论文表明，仅靠谱间隙不足以保证极限的交换性。条件数被证明是一个必要的约束。

   • 反例（第 5 节）： 作者构建了一个特定的模型（具有特定耗散耦合的自旋链），其中对于所有有限子系统，谱间隙（$\Delta_\Lambda, \Delta^{ex}_\Lambda$）都保持一致远离零。然而，该模型的条件数随系统尺寸增大而发散。在该模型中，热力学极限与长时极限并不交换；先取无限极限得到的 NESS 与有限系统 NESS 的极限不同。这凸显了非正性（由条件数捕捉）即使在谱间隙暗示稳定性的情况下，也会在热力学极限中破坏稳态的稳定性。

3. 对在位（Onsite）Liouvillians 的应用：
   作者证明，对于可对角化的在位 Liouvillians（即生成元是单点项之和），条件数是自动一致有界的（定理 14）。因此，对于此类系统，极限的交换性仅取决于谱间隙的存在性（推论 18）。

意义
本文为无限开放量子系统提供了严谨的算符代数定义下的 NESS 和 TANESS，弥合了有限系统数值/解析方法与无限系统理论物理之间的鸿沟。

• 它澄清了“NESS 的热力学极限”并不等同于“热力学极限的 NESS”。
• 它确定了条件数是控制热力学极限下稳态稳定性的核心物理量，与传统的谱间隙并列。这对于非厄米物理学以及 Liouvillian 通常是非正性的开放量子系统尤为重要。
• 该工作建立了一个表征 NESS 中物质相的框架，并指出未来的工作（引用为 [46]）将研究该形式体系内的自发对称性破缺。

作者保持了适度的研究范围，侧重于在特定的谱和稳定性条件下 NESS 和 TANESS 的数学存在性与唯一性，而非提出新的实验装置或超出自身理论表征之外的广泛物理应用。