A Thermodynamic Framework for Coherently Driven Systems

技术摘要：相干驱动系统的热力学框架

问题陈述
将热力学定律扩展到纳米尺度和量子领域面临着一个根本性的障碍，即如何定义“功”。在宏观系统中，功与可访问、可控的自由度相关，而热则对应于不可访问的微观涨落。在纳米尺度下，由于所有自由度都是微观的，这种区分变得模糊不清。具体而言，对于相干驱动的量子系统（例如由相干光驱动的光学腔），传统的功定义依赖于随时间变化的哈密顿量。在这种框架下，从腔中流出的所有能量都被视为热量，即使输出光仍保持相干性且理论上可以用于驱动另一个系统。这导致了一个概念上的不一致：有用的能量被误分类为废热，可能导致在非久期（non-secular）主方程描述中出现违反热力学第二定律的情况。虽然之前的建议曾提出将输出的相干部分视为功，但尚未建立一个能够确保这些定义具有热力学一致性（即确保熵增非负）的框架。

方法论
作者开发了一个新的热力学框架，用于描述嵌入在腔中、受相干场驱动并与玻色浴耦合的量子系统。该系统由包含随时间变化的驱动哈密顿量以及腔和内部系统耗散器的量子主方程（方程 4）来描述。

1. 热力学哈密顿量： 作者利用热力学哈密顿量 ($\hat{H}_{TD}$) 而非动力学哈密顿量 ($\hat{H}(t)$) 来定义内能。这确保了与马尔可夫主方程以及填充腔的特定频率 ($\omega_d$) 的一致性。
2. 能量流分解： 核心方法论创新在于，根据输入和输出场算符 ($\hat{b}_{in}$ 和 $\hat{b}_{out}$)，将腔与环境之间的总能量交换分解为两个截然不同的部分：
   • 相干部分（功）： 由场期望值的平方模的变化（$|\langle \hat{b}_{out} \rangle|^2 - |\langle \hat{b}_{in} \rangle|^2$）来定义。
   • 涨落部分（热）： 由场方差（协方差）的变化来定义，代表噪声或不相干涨落。
3. 数学变换： 为了证明热力学一致性，作者对主方程进行了变换。他们将耗散器 $L_c$ 和哈密顿量 $\hat{H}$ 重写为包含平均场值的位移形式（$L_s$ 和 $\hat{H}_s$）。这种变换使主方程保持不变，但允许以类似于传统框架的方式导出热流和功流，从而确保了 Spohn 不等式的有效性。
4. 信息论推导： 该框架通过将熵增解释为描述环境时的信息丢失得到进一步验证。通过将环境的有效状态定义为位移热态（考虑了相干驱动）而非标准的吉布斯态，作者利用量子相对熵的非负性导出了新的第二定律。

主要贡献与结果

• 功与热的新定义： 本文确立了如果输出光是可访问的，则功 ($P_{io}$) 应由场相干振幅的变化来定义，而热 ($J_{io}$) 应由场涨落（噪声）的变化来定义。
  • $P_{io} = -\omega_d (|\langle \hat{b}_{out} \rangle|^2 - |\langle \hat{b}_{in} \rangle|^2)$
  • $J_{io} = -\omega_d (\langle\langle \hat{b}_{out}^\dagger \hat{b}_{out} \rangle\rangle - \langle\langle \hat{b}_{in}^\dagger \hat{b}_{in} \rangle\rangle)$
• 更严格的第二定律： 作者证明了在新框架下，熵产生率 ($\dot{\Sigma}_{io}$) 严格大于或等于传统的熵产生率 ($\dot{\Sigma}$)，即 $\dot{\Sigma} \geq \dot{\Sigma}_{io} \geq 0$。这意味着通过获取输出光，可以降低过程表现出的不可逆性。
• 噪声要求： 新第二定律的一个直接结果是，在不存在其他熵源的情况下，输出光的噪声必须大于输入光的噪声。
• 模型应用： 该框架被应用于三个特定模型：
  1. 空腔： 在新框架下，稳态时功和热都消失了，正确反映了输出与输入是相同的（仅差一个相位），因此没有能量耗散或提取。
  2. 克尔振荡器（Kerr Oscillator）： 与传统定义相比，新框架显示熵产生对热占据数不那么敏感，因为它将不可逆性隔离到了由于非线性效应导致的相干性损失上。
  3. 三能级激光器（Three-Level Maser）： 传统框架预测系统无法作为热机运行（$P > 0$），因为维持相干性需要能量代价。新框架解决了这一问题，识别出了系统作为热机运行（$P_{io} < 0$）的区域，即通过减少输出光的噪声，有效地利用两个热浴之间的热流来增加输出相干性。

意义
本文声称解决了一个关键的热力学问题，即为输出可访问的相干驱动系统提供了一个一致的框架。通过区分相干功和涨落热，作者证明了传统方法低估了此类系统的效率并高估了其不可逆性。该框架被呈现为研究驱动-耗散量子系统噪声特性的工具，对于诸如环形器、放大器和非互易器件等光学器件具有特定的相关性。作者指出，目前的公式化方法假设存在一个相位参考来量化输出的相干部分；如何在没有完美相位参考的情况下量化功仍然是一个开放性问题。此外，该框架也为研究此类背景下的涨落定理和热力学不确定性关系开辟了道路。