Unveiling coherent dynamics in non-Markovian open quantum systems: exact expression and recursive perturbation expansion

技术摘要：揭示非马尔可夫开放量子系统中的相干动力学

问题陈述
开放量子系统的动力学受相干演化与环境相互作用之间相互影响的支配。虽然 Lindblad 框架在弱耦合和马尔可夫假设下成功描述了能量重整化（如 Lamb 位移和 AC Stark 位移），但将这一理解扩展到强耦合和非马尔可夫机制仍是一个重大挑战。在时间卷积无（TCL）主方程形式中，约化动力学的生成元 $L_t$ 可以分解为相干部分（有效哈密顿量 $K(t)$）和耗散部分（$D_t$）。然而，由于生成元的内在对称性，这种分解并不唯一。解决这种歧义对于一致地量化相干能量位移以及理解超越马尔可夫极限的能量重整化至关重要。虽然对于特定的可积模型存在 $K(t)$ 的精确表达式，但目前仍缺乏一个用于在任意非马尔可夫机制下推导 $K(t)$ 的通用且系统的框架。

方法论
作者引入了一个通过应用最小耗散原理来推导有效哈密顿量 $K(t)$ 的系统框架，该原理是近期由 Hayden 和 Sorce 提出的基础方法。该原理通过将生成元 $L_t$ 投影到与厄米算符作为对易子作用的超算子子空间上，从而唯一地分离出相干分量。

该方法分三个主要阶段进行：

1. 操作性定义： 作者定义了基于对 Haar 随机纯态求平均的超算子标量积。这使得能够通过最小化耗散贡献来唯一识别有效哈密顿量 $K$。他们推导出了一个关于希尔伯特空间正交基的 $K$ 的通用操作性表达式，该表达式对任何线性的、保持厄米性的、迹湮灭的生成元均有效。
2. 递归摄动展开： 考虑到 $L_t$ 的显式形式通常难以闭合表达，作者为 $K(t)$ 开发了一个关于系统-浴耦合强度 $\lambda$ 的幂次的递归摄动展开。该展开式直接通过系统相互作用算符和浴相关函数（特别是排序累积量）来表达 $K(t)$。
3. 对称性分析： 该框架通过将浴相关函数和系统算符分解为实部和虚部，来分析摄动级数的结构，这两者在时间排序反转下表现出截然不同的对称性。

核心贡献与结果

• $K(t)$ 的通用表达式： 论文提供了一个从任何已知的局部时间生成器 $L_t$ 中提取有效哈密顿量的闭合形式表达式（公式 6）。该表达式 $K = \frac{1}{2id} \sum [F^\dagger_\alpha, L[F_\alpha]]$ 为在已知生成元后计算相干位移提供了一个实用的工具。
• 递归摄动级数： 作者推导了有效哈密顿量 $n$ 阶贡献 $K_n$ 的系统展开式（公式 16）。该公式明确地将能量重整化与 $n$ 点浴相关函数及相互作用图像下的系统算符联系起来。
• 奇数阶与偶数阶的区别： 一个核心发现是摄动展开中奇数阶和偶数阶之间存在根本的对称性差异：
  • 奇数阶项 ($K_{2m+1}$)： 这些项在时间排序反转下是整体对称的。它们耦合具有相同对称性的系统和浴贡献。在自旋系统中，奇数阶项不与自由哈密顿量对易（除非相互作用与其对易），从而导致哈密顿量本征基的旋转。
  • 偶数阶项 ($K_{2m}$)： 这些项在时间排序反转下是整体反对称的。它们耦合具有相反对称性的贡献。在自旋系统中，偶数阶项与自由哈密顿量对易，从而导致能级位移而不旋转本征基。
• 在自旋系统中的应用： 该框架应用于经典的自旋模型：
  • 对于纯去相位（相互作用 $A=\sigma_z$），奇数阶项消失，有效哈密顿量仅导致随时间变化的能量位移（频率重整化）。
  • 对于正交耦合（相互作用 $A=\sigma_x$），奇数阶项不消失并诱导本征基旋转，而偶数阶项则贡献于能量位移。
  • 该分析解释了为什么标准的高斯浴模型（以二点相关函数为特征）表现出更简单的重整化（纯去相位时没有本征基旋转），而具有时间非对称性（非零奇数阶累积量）的浴则会导致更复杂的行为。

意义
该论文声称，该框架提供了一个系统工具，用于分析不同耦合机制下的能量重整化效应，架起了基础理论与非马尔可夫量子热力学实际计算之间的桥梁。

• 概念清晰度： 它解决了在强耦合机制下定义有效哈密顿量的歧义，提供了对相干位移的一致量化。
• 热力学相关性： 有效哈密顿量 $K(t)$ 被确定为强耦合领域内量子热力学的关键纽带，捕捉了影响量子热机效率和做功提取的能量重整化。
• 解析指导： 摄动级数作为层次方程法（HEOM）等数值方法的补充工具。它为数值结果提供了解析洞察，有助于解释模拟中观察到的现象，如本征基旋转和随时间变化的位移。
• 物理阐释： 通过区分奇数阶和偶数阶的作用，这项工作阐明了特定的环境特征（例如浴分布中的时间非对称性）如何驱动截然不同的动力学行为，例如系统本征基的旋转。