The contact temperature of arbitrary quantum states

技术摘要：任意量子态的接触温度

问题陈述
本文探讨了为有限维系统中任意非平衡态 $\rho$ 分配温度的挑战。平衡态由吉布斯密度矩阵 $\gamma_\beta = e^{-\beta H}/\text{Tr}(e^{-\beta H})$ 明确定义，但将温度概念扩展到一般状态仍是一个开放性问题。现有的方法包括“有效温度” $\beta^*$（定义为具有相同平均能量的吉布斯温度）或相对熵的极小值。然而，这些定义往往过于抽象，或缺乏操作性的物理阐释。作者旨在通过一种操作方案定义一个“接触温度” $\beta_c$：即通过将系统与一个通用温度计耦合，并确定使净热流消失时的温度计温度。

方法论
作者提出了一个特定的“通用温度计”（系统 B）模型，该模型与目标系统（系统 A）耦合。

1. 系统 A： 一个具有非简并哈密顿量 $H_A$ 和能级 $\varepsilon_1 < \dots < \varepsilon_d$ 的 $d$ 级量子系统。
2. 系统 B（温度计）： 一个无限维量子系统，其哈密顿量 $H_B$ 具有等间距的特征值 $\eta_k = k/N$（其中 $N$ 很大）。温度计被制备在逆温度为 $\beta$ 的吉布斯态 $\tau_\beta = e^{-\beta H_B}/\text{Tr}(e^{-\beta H_B})$ 下。
3. 相互作用： 系统通过作用于复合希尔伯特空间的酉算符 $U$ 进行相互作用，该算符满足能量守恒条件 $[U, H_A + H_B] = 0$。
4. 普适性假设： 为了确保“良好的”热接触，作者施加了两个条件：
   • 共振： 系统 A 的能级差（波尔频率）必须是温度计能级间距 $1/N$ 的倍数。
   • 等概率性： 在具有相同总能量的非耦合哈密顿量 $H_A + H_B$ 的任意两个本征态之间，跃迁概率是相等的。这在数学上通过假设 $U$ 在每个能量本征空间内表现为随机酉算符（Ha尔测度）来建模。

核心量是热流 $Q_A(\beta)$，定义为相互作用后系统 A 的期望能量的变化：
$$Q_A(\beta) = \text{Tr}_{AB}(U(\rho \otimes \tau_\beta)U^* H_A) - \text{Tr}_A(\rho H_A)$$
接触温度 $\beta_c$ 被定义为使得 $Q_A(\beta) = 0$ 的唯一 $\beta$ 值。

主要结果与贡献

1. 热流的显式表达式：
   作者推导出了对于 $\beta > 0$ 时 $Q_A(\beta)$ 的显式公式。该流仅取决于 $H_A$ 的能谱以及状态 $\rho$ 在能量本征基下的布居数 $p_j$，而与温度计的具体简并度或能隙大小 $N$ 无关（在 $N \to \infty$ 的极限下）。
   $$Q_A(\beta) = \sum_{1 \le j < k \le d} \frac{e^{-\beta(\varepsilon_k - \varepsilon_j)}}{k(k-1)} p_j \sum_{l=1}^{k-1} (\varepsilon_k - \varepsilon_l) - \sum_{k=2}^d \frac{p_k}{k} \sum_{l=1}^{k-1} (\varepsilon_k - \varepsilon_l)$$

2. 接触温度的存在性与唯一性：

   • 情况 $Q_A(0) \ge 0$： 如果在无限高温下的热流是非负的，则存在唯一的非负根 $\beta_c \ge 0$。函数 $\beta \mapsto Q_A(\beta)$ 是严格递减且连续的。
   • 情况 $Q_A(0) < 0$： 对于那些即使向无限热库也会传递热量的状态（违反了平衡态第二定律直觉），标准的 $\beta > 0$ 公式没有根。作者通过考虑一个对所有 $\beta \in \mathbb{R}$ 都定义的有限能级温度计（具有 $K$ 个能级），然后取 $K \to \infty$ 的极限来解决这个问题。这得到了一个对所有 $\beta \in \mathbb{R}$ 都有定义的扩展热流函数 $\bar{Q}_A(\beta)$。
   • 结论： 对于任何状态 $\rho$（排除基态和最高激发态），都存在唯一的实数根 $\beta_c \in \mathbb{R}$ 使得 $\bar{Q}_A(\beta_c) = 0$。
     • 若 $\rho$ 为基态，则 $\beta_c = +\infty$。
     • 若 $\rho$ 为最高激发态，则 $\beta_c = -\infty$。
     • 对于所有其他状态，$\beta_c$ 是有限的。$\beta_c$ 的符号与 $Q_A(0)$ 的符号一致。

3. 通过随机矩阵进行的结构分析：
   论文通过还原热量子信道 $\Phi_\beta$ 的视角分析了相互作用。热流与描述能级间跃迁概率的随机矩阵 $G(\beta)$ 相关。

   • 证明了矩阵 $G(\beta)$ 是严格正定的，并满足细致平衡。
   • 分析了信道 $\Phi_\beta$ 的谱性质：它有一个简单的特征值 1（对应于吉布斯态），而所有其他特征值的模长严格小于 1。
   • 该谱隙确保了通过与新的温度为 $\beta$ 的温度计进行重复相互作用，可以使系统以指数级速度趋向于吉布斯态 $\gamma_\beta$。因此，系统状态的接触温度在重复热化过程中会收敛于 $\beta$。

4. 与有效温度的比较：
   作者展示了接触温度 $\beta_c$ 通常不同于有效温度 $\beta^*$（通过能量匹配或相对熵最小化定义）。在特定示例中（例如 3 能级系统），$\beta_c$ 和 $\beta^*$ 可能存在显著差异，且它们的关系取决于状态的具体布居数。

意义与主张
本文声称为任意有限维量子态提供了一个普适且操作性的温度定义。

• 普适性： 只要系统是有限维的，该温度计模型所产生的接触温度是唯一的，且与系统的具体物理性质无关。
• 操作性定义： 不同于基于熵最大化的抽象定义，$\beta_c$ 是通过一个物理过程定义的：即通过与特定类型的热库耦合使热流消失。
• 处理非平衡态： 该框架成功地为那些“远离平衡态”且可能违反标准热力学直觉（例如向无限热库传递热量）的状态分配了温度（可能是负温）。
• 数学严谨性： 该工作通过对热流函数和相关量子信道谱性质的严格分析，确立了这种温度的存在性和唯一性。

作者并未提出具体的实验实现方案，也未讨论除指出其与热机中“虚拟温度”的联系之外的特定量子机器应用。这项工作仍属于一种定义新热力学量的理论构建。