关键在于，输出光不是一串完全相同、性质单一的光子。它至少可以从整体上分解为两类成分：

• 相干成分：具有有序的场振幅和明确相位；
• 涨落成分：包含噪声和相干性损失，表现出更强的随机性。

这种区分并非只是数学上的拆分。热力学中的“功”取决于一部分能量是否仍能被有控制地用于其他过程，而不只是能量是否已经离开原来的腔体。

为什么相干光可以算作功

相干辐射原则上可以被收集起来，用于驱动另一个系统的受控过程，甚至为量子电池充能。只要这部分能量仍可被获取和利用，它就不是已经不可逆丢弃的资源。在这种操作性定义下，相干输出光应被记为有用功或功率，而不是自动归入废热。

相比之下，带有强烈随机涨落的非相干辐射，无法以同样可逆、可控并依赖相位的方式被有效收集利用，因此在该框架中被视为热，并计入熵产生。

不过，这并不意味着某个光子天生就贴着“功”或“热”的标签。分类取决于实验和理论设置：如果输出光被收集并作为下一步过程的资源，它与被不可逆丢弃的光所对应的热力学记账方式就不同。巴塞尔大学团队此前提出的更广义框架，也明确把输出自由度是否可被获取纳入热力学描述。

输入—输出框架如何恢复经典极限

在半经典描述中，腔体受到的是一个外部给定的相干驱动场。这个驱动场提供功率，但不会仅仅因为“存在”就被当作一个不断制造熵的热浴。

研究团队从完全量子化的腔体模型出发，利用输入—输出框架得到了这一半经典极限。当相干输出被计入可用功率时，计算结果会平滑接近经典理论：输出功率、真正由腔体耗散产生的热流，以及熵产生率，都与半经典预测相匹配。

这种一致性并非形式上的巧合。一个合适的量子理论，在系统进入半经典区域后，应当能够回到相应的经典理论。研究人员的结果表明，要实现这一点，热力学记账必须区分仍可利用的相干能量与代表耗散的随机涨落。

把所有逸出光子都算作热，会出现什么问题

传统做法往往把离开腔体的全部光子流都归入热流。当输出光确实被直接丢弃时，这样处理可能是合理的；但当光场变得高度相干、而且仍然可以被利用时，这种做法就会产生偏差。

在通向半经典极限的标度过程中，传统记账会继续把熵产生归因于越来越相干的驱动场。即使光场趋于经典，这部分贡献也不会按预期消失，反而可能发散，使标准量子描述无法恢复经典理论中的熵产生结果。

同样的错误分类还会扭曲功和热之间的能量平衡。相关分析显示，它甚至可能给出与半经典预测相反的功率符号：把类似热机的功率输出判断成输入，或把输入判断成输出。这里出错的是热力学记账，而不是能量守恒定律。

更低的光学涨落如何帮助精密测量

这套框架也说明了量子相干性为何与精密测量有关。相干性能够把光流中的涨落压低到经典马尔可夫描述所预期的水平以下。噪声越低，在有限的测量记录中估计某个信号或物理参数时，通常就能获得更高精度，这正是受控量子光用于量子计量学的原因之一。

这与热力学不确定关系相联系。简单来说，这类关系把某个流的测量精度、平均流量以及维持该流所需的熵产生联系起来。经典马尔可夫系统遵守通常的不确定性下界，而量子相干性则可能让系统表现出超出这一经典界限的行为。

需要注意的是，当前“光引擎”计算主要建立了热力学框架，并展示了它如何恢复半经典行为；这并不等于已经在所有强相互作用区域实验性证明了新的不确定关系违背。研究人员把更极端的参数区域视为下一步的重要检验。

为什么强耦合现象是下一站

光子阻塞和驱动—耗散量子相变尤其值得关注。强耦合会带来非线性的光子统计、非经典关联以及临界涨落，这些特征可能放大量子涨落与经典涨落界限之间的差异。

其中，光子阻塞崩溃已经被提出作为一阶驱动—耗散量子相变的候选例子。系统在这种区域可能出现明显不同的动力学状态，因此适合用来研究热力学不确定关系在状态突变附近会如何表现。

更广泛的启示是：量子热力学不能只追踪“有多少光子离开了腔体”。它还必须追问，这些光子是否具有相干性、噪声有多大，以及输出光是否仍然能够作为资源被获取。

对于巴塞尔大学团队研究的腔体模型而言，正是这种输入—输出视角，让完全量子化的光引擎能够与它的经典极限保持一致。

关键在于，输出光不是一串完全相同、性质单一的光子。它至少可以从整体上分解为两类成分：

• 相干成分：具有有序的场振幅和明确相位；
• 涨落成分：包含噪声和相干性损失，表现出更强的随机性。

这种区分并非只是数学上的拆分。热力学中的“功”取决于一部分能量是否仍能被有控制地用于其他过程，而不只是能量是否已经离开原来的腔体。

为什么相干光可以算作功

相干辐射原则上可以被收集起来，用于驱动另一个系统的受控过程，甚至为量子电池充能。只要这部分能量仍可被获取和利用，它就不是已经不可逆丢弃的资源。在这种操作性定义下，相干输出光应被记为有用功或功率，而不是自动归入废热。

相比之下，带有强烈随机涨落的非相干辐射，无法以同样可逆、可控并依赖相位的方式被有效收集利用，因此在该框架中被视为热，并计入熵产生。

不过，这并不意味着某个光子天生就贴着“功”或“热”的标签。分类取决于实验和理论设置：如果输出光被收集并作为下一步过程的资源，它与被不可逆丢弃的光所对应的热力学记账方式就不同。巴塞尔大学团队此前提出的更广义框架，也明确把输出自由度是否可被获取纳入热力学描述。

输入—输出框架如何恢复经典极限

在半经典描述中，腔体受到的是一个外部给定的相干驱动场。这个驱动场提供功率，但不会仅仅因为“存在”就被当作一个不断制造熵的热浴。

研究团队从完全量子化的腔体模型出发，利用输入—输出框架得到了这一半经典极限。当相干输出被计入可用功率时，计算结果会平滑接近经典理论：输出功率、真正由腔体耗散产生的热流，以及熵产生率，都与半经典预测相匹配。

这种一致性并非形式上的巧合。一个合适的量子理论，在系统进入半经典区域后，应当能够回到相应的经典理论。研究人员的结果表明，要实现这一点，热力学记账必须区分仍可利用的相干能量与代表耗散的随机涨落。

把所有逸出光子都算作热，会出现什么问题

传统做法往往把离开腔体的全部光子流都归入热流。当输出光确实被直接丢弃时，这样处理可能是合理的；但当光场变得高度相干、而且仍然可以被利用时，这种做法就会产生偏差。

在通向半经典极限的标度过程中，传统记账会继续把熵产生归因于越来越相干的驱动场。即使光场趋于经典，这部分贡献也不会按预期消失，反而可能发散，使标准量子描述无法恢复经典理论中的熵产生结果。

同样的错误分类还会扭曲功和热之间的能量平衡。相关分析显示，它甚至可能给出与半经典预测相反的功率符号：把类似热机的功率输出判断成输入，或把输入判断成输出。这里出错的是热力学记账，而不是能量守恒定律。

更低的光学涨落如何帮助精密测量

这套框架也说明了量子相干性为何与精密测量有关。相干性能够把光流中的涨落压低到经典马尔可夫描述所预期的水平以下。噪声越低，在有限的测量记录中估计某个信号或物理参数时，通常就能获得更高精度，这正是受控量子光用于量子计量学的原因之一。

这与热力学不确定关系相联系。简单来说，这类关系把某个流的测量精度、平均流量以及维持该流所需的熵产生联系起来。经典马尔可夫系统遵守通常的不确定性下界，而量子相干性则可能让系统表现出超出这一经典界限的行为。

需要注意的是，当前“光引擎”计算主要建立了热力学框架，并展示了它如何恢复半经典行为；这并不等于已经在所有强相互作用区域实验性证明了新的不确定关系违背。研究人员把更极端的参数区域视为下一步的重要检验。

为什么强耦合现象是下一站

光子阻塞和驱动—耗散量子相变尤其值得关注。强耦合会带来非线性的光子统计、非经典关联以及临界涨落，这些特征可能放大量子涨落与经典涨落界限之间的差异。

其中，光子阻塞崩溃已经被提出作为一阶驱动—耗散量子相变的候选例子。系统在这种区域可能出现明显不同的动力学状态，因此适合用来研究热力学不确定关系在状态突变附近会如何表现。

更广泛的启示是：量子热力学不能只追踪“有多少光子离开了腔体”。它还必须追问，这些光子是否具有相干性、噪声有多大，以及输出光是否仍然能够作为资源被获取。

对于巴塞尔大学团队研究的腔体模型而言，正是这种输入—输出视角，让完全量子化的光引擎能够与它的经典极限保持一致。