The contact temperature of arbitrary quantum states

技術要約：任意の量子状態における接触温度

問題の定義
本論文は、有限次元系における任意の非平衡量子状態 $\rho$ に対して温度を割り当てるという課題に取り組んでいる。平衡状態はギブス密度行列 $\gamma_\beta = e^{-\beta H}/\text{Tr}(e^{-\beta H})$ によって明確に定義されるが、一般的な状態に対して温度の概念を拡張することは未解決の問題である。既存のアプローチには、平均エネルギーを同じにするギブス温度として定義される「有効温度」$\beta^*$ や、相対エントロピーの最小化因子などがある。しかし、これらの定義は抽象的であったり、操作的な物理的解釈を欠いていたりすることが多い。著者らは、「接触温度」$\beta_c$ を、普遍的な温度計を系に結合させ、正味の熱流が消失する温度計の温度を決定するという操作的なスキームを通じて定義することを目指している。

手法
著者らは、対象となる系（系A）に結合された「普遍的な温度計」（系B）の具体的なモデルを提案している。

1. 系A: 非退化なハミルトニアン $H_A$ とエネルギー $\varepsilon_1 < \dots < \varepsilon_d$ を持つ $d$ レベルの量子系。
2. 系B（温度計）: 等間隔の固有値 $\eta_k = k/N$（ここで $N$ は大きい）を持つハミルトニアン $H_B$ を持つ無限次元量子系。温度計は、逆温度 $\beta$ におけるギブス状態 $\tau_\beta = e^{-\beta H_B}/\text{Tr}(e^{-\beta H_B})$ に準備されている。
3. 相互作用: 両系は、複合ヒルベルト空間上で作用するユニタリ演算子 $U$ を介して相互作用し、エネルギー保存条件 $[U, H_A + H_B] = 0$ を満たす。
4. 生成性の仮定: 「良好な」熱接触を確保するために、著者らは以下の2つの条件を課している。
   • 共鳴: 系Aのエネルギー差（ボーア周波数）が、温度計のレベル間隔 $1/N$ の倍数であること。
   • 等確率性: 非結合のハミルトニアン $H_A + H_B$ の、同じ全エネルギーを持つ任意の2つの固有状態間の遷移確率が等しいこと。これは、各エネルギー固有空間内で $U$ がランダムなユニタリ行列（ハール測度）として作用すると仮定することで数学的にモデル化されている。

中心となる量は、相互作用後の系Aの期待エネルギーの変化として定義される熱流 $Q_A(\beta)$ である：
$$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)$ の明示的な公式を導出している。この流れは、系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$（基底状態と最高励起状態を除く）に対して、$\bar{Q}_A(\beta_c) = 0$ となる一意の実数根 $\beta_c \in \mathbb{R}$ が存在する。
     • $\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$ は特定のタイプの熱リザーバーへの結合を通じた物理的プロセスによって定義される。
• 非平衡の取り扱い: 標準的な熱力学的直感に反する（例：無限に熱い浴に熱を転送する）状態に対しても、温度（負の可能性を含む）を割り当てることに成功している。
• 数学的厳密性: 本研究は、熱流関数の解析および関連する量子チャネルのスペクトル特性を通じて、この温度の存在と一意性を厳密な分析によって確立している。

著者らは、熱機械における「仮想温度」との関連性に言及している以外、具体的な実験的実装や量子機械への特定の応用を提案していない。本研究は、量子状態のための新しい熱力学的量を定義する理論的な構成物である。