Relativistic transformation of temperature revisited

本論文は、有効温度が系の状態方程式に依存する形で速度とともに上昇することを実証することにより、相対論的な温度変換をめぐる長年の論争を解決し、それによってオット＝エディントンの解釈を支持するとともに、温度を逆温度四元ベクトルに関連した観測者に依存する量として確立するものである。

要約

あなたは駅のホームに立ち、列車が猛スピードで通り過ぎるのを眺めていると想像してください。日常的な物理学の世界では、その列車の中にあるコーヒーカップを見ても、それはただのコーヒーです。しかし、アインシュタインの相対性理論の世界では、物事は奇妙になります。最大の謎の一つはこうでした。もしそのコーヒーが非常に速く動いているとしたら、ホームに立っているあなたには、そのコーヒーは熱く見えるのか、冷たく見えるのか、それとも同じ温度に見えるのか？

1世紀以上にわたり、物理学者たちはこの議論を続けてきました。ある者は冷たく見えると言い、ある者は熱くなると言い、またある者は変わらないと言いました。ソロール・プリアズダン（Soroor Pouryazdan）とババク・ヴァキリ（Babak Vakili）によるこの新しい論文は、単にルールを推測するのではなく、コーヒーの「成分」（中の粒子）に着目することで、この論争に審判として介入し、決着をつける役割を果たしています。

以下は、彼らが発見した内容を分かりやすく説明した物語です。

3つの古いルール（有力候補たち）

この論文が登場する前には、まるで食い違う予測を出す3人の気象予報師のように、3つの主要な理論がありました。

1. 「温度が下がる」チーム（プランク＝アインシュタイン）： 彼らは、高速で移動すると時間が遅れるため、熱が拡散し、物体はより冷たく見えると主張しました。
2. 「温度が上がる」チーム（オット＝エディントン＝メラー）： 彼らは、移動する物体はより多くのエネルギーを持っているため（例えば、スピードを出している車が運動エネルギーを持っているように）、より熱く見えるはずだと主張しました。
3. 「変化しない」チーム（ランズバーグ）： 彼らは、温度とはボールの色のような根本的な特性であると主張しました。どれほど速く走っても、ボールは依然として赤であり、コーヒーも同じ温度のままです。

新しい実験： 「エネルギーのスープ」を測る

著者たちは、単にどちらかの側についたわけではありません。代わりに、エネルギーがどのように振る舞うかに基づいて「温度計」を作ることにしました。

コーヒーが単なる液体ではなく、小さな粒子の群れ（光子や電子のようなガス）であると想像してください。

• 静止系（コーヒーと一緒に静止している状態）では、これらの粒子はある程度の速度で跳ね回り、特定のエネルギー密度（どれくらいの「勢い」が空間に詰まっているか）を生み出します。
• コーヒーが猛スピードで通過するとき、相対性理論によればエネルギー密度は変化します。粒子は押しつぶされ、そのエネルギーがシフトします。

著者たちはこう問いかけました。「もしプラットフォーム上の観測者が、この新しい、より高いエネルギー密度を見た場合、同じ物理法則が適用されると仮定して、彼らはコーヒーの温度をどのように『計算』するだろうか？」

これを**「実効温度」**（$T_{eff}$）と呼びました。これは、どれだけのエネルギーが移動するシステムの中に詰まっているかを見ることで、あなたが「推論」する温度です。

結果： 「温度が上がる」チームの勝利（ただし、ひねりあり）

著者たちは、このアイデアを3つの異なる種類の「コーヒー」に対してテストしました。

1. 軽い粒子（光子）： 純粋な光のガスのよう。
2. 重い粒子（理想気体）： 質量を持つ通常の原子のようなもの。
3. 量子粒子（電子）： 金属の中の電子のようなもの。

判定：
3つのケースすべてにおいて、移動する観測者は、コーヒーと一緒に座っている人よりも高い温度を計算しました。

• 勝者： これは、**「温度が上がる」チーム（オット＝エディントン）**を支持しています。移動する物体はより熱く見えます。
• 注意点： ただし、これは以前の「温度が上がる」ルールと同じくらい単純ではありません。古いルールでは、温度は特定の係数（$\gamma$）によって倍増するとされていました。新しい数学的計算によれば、確かに温度は上がりますが、その正確な度合いは**「その物体が何でできているか」**によって異なります。
  • もしそれが光（光子）でできているなら、ある特定の仕方で熱くなります。
  • もしそれが重い原子でできているなら、少し異なる仕方で熱くなります。

例え話： これは車のエンジンに似ています。スポーツカー（軽い粒子）を運転する場合も、大型トラック（重い粒子）を運転する場合も、同じ速度で走れば、停止しているときよりも多くの熱が発生します。しかし、その「余分な熱」の量はエンジンの種類によって異なります。すべてがどれほど熱くなるかについての単一の「普遍的なルール」はなく、それは微視的な成分（中身）に依存するのです。

なぜ議論が起きたのか（「観測者」の問題）

この論文は、混乱が生じた理由は、「温度」が岩のような単一の固形のものではないからです、と説明しています。温度はもっと**「視点」**に近いものです。

• 「ランズバーグ」の視点は、コーヒーの「レシピ」を見ているようなものです。レシピ（根本的な法則）は、列車が動いているからといって変わることはありません。したがって、深い数学的な意味において、温度は「不変（変化しない）」です。
• 「オット」の視点は、カップから立ち上がる「蒸気」を見ているようなものです。列車が猛スピードで走っていれば、プラットフォーム上のあなたには、その蒸気は違って見えます。その蒸気に基づいて計算される「実効温度」は、より高くなります。

論文は、両方の視点が正しく、ただ異なる問いに答えているのだと結論づけています。

• もし、「宇宙のコードにおける根本的な温度パラメータは何ですか？」と問うなら $\rightarrow$ ランズバーグ（不変）です。
• もし、「この移動する物体のエネルギーを測定した場合、私の温度計は何度と示すでしょうか？」と問うなら $\rightarrow$ オット（より熱い）です。

まとめ

この1世紀にわたる議論は、誰が「間違っていた」かではなく、私たちが実際に何を測定していたのかについての議論でした。

• 移動する物体は、そのエネルギー密度によって測定した場合、より熱く見えます。
• しかし、その「熱さ」の正確な度合いは、その物体が何で作られているか（その状態方程式）に依存します。
• この論文は、温度は単なる数字ではなく、「4次元ベクトル」（時空における方向）であるということを示すことで、これらの概念を統合しています。あなたの接近の角度（速度）によって、異なるベクトルの断面を見ることになるため、ある人は冷たくなると考え、ある人は熱くなると考え、またある人は変わらないと考えたのです。

要するに、移動する物体は、静止している観測者にはより熱く見えるように見えますが、その熱さの正確な度合いは、中の粒子の「レシピ」に依存するのです。

技術概要

技術要約：温度の相対論的変換の再検討

問題提起
温度の相対論的変換は、特殊相対性理論の初期の開発以来、論争の的であり続けてきた。歴史的に、互いに矛盾する主に3つの変換則が提案されてきた：

1. プランク–アインシュタイン (1907): $T' = T/\gamma$。これはエントロピーの不変性と、クラウジウスの関係式 $dQ = TdS$ の共変性に基づき、運動する物体はより低温に見えることを示唆している。
2. オット–エディントン–メラー (1963): $T' = \gamma T$。これは熱を四元ベクトルの一成分として扱い、エネルギー流束を強調することで、運動する物体はより高温に見えることを示唆している。
3. ランズバーグ (1967): $T' = T$。逆温度四元ベクトル $\beta^\mu$ を用いた共変統計力学に支持され、温度をローレンツ不変のスカラー量として提唱している。

核心的な困難は、温度が基礎的な動力学的変数ではなく、観測者の測定手順に依存するマクロな構成概念であるという点にある。既存の議論は、特定の物理系の微視的な統計から導出することなく、あらかじめ特定の変換則を仮定してしまうことが多い。

方法論
本論文は、特定の変換則をあらかじめ仮定することなく、相対論的熱力学および統計力学の観点からこの問題を再検討する。著者らは以下の操作的な枠組みを用いる：

• 出発点: 解析は、静止系における等方的な完全流体のエネルギー・運動量テンソル ($T^{\mu\nu}$) から始まる。
• ローレンツ変換: テンソルは、x方向へのローレンツ・ブーストを用いて、移動系 $S'$ へと変換される。変換されたエネルギー密度 $\rho'$ は、$\rho' = \gamma^2(\rho + P v^2)$ として導出される（ここで $\rho$ と $P$ は静止系のエネルギー密度と圧力である）。
• 有効温度 ($T_{\text{eff}}$) の定義: 著者らは、$T_{\text{eff}}$ を、変換されたエネルギー密度 $\rho'$ を測定し、静止系で有効なものと同じ状態方程式 (EOS) を適用する移動観測者によって推論される温度として定義する。具体的には、静止系において $\rho = f(T)$ であるならば、$f(T_{\text{eff}}) = \rho'$ となる。
• 系による分析: この操作的な定義を、相対論的統計力学における3つの典型的な系に適用する：
  1. 光子ガス (黒体放射): ボース＝アインシュタイン統計に従う質量ゼロのボソン。
  2. 相対論的理想気体: マクスウェル–ジュットナー統計に従う質量の粒子。
  3. 相対論的電子ガス: フェルミ・ディラック統計に従う質量のフェルミオン。

主要な貢献および結果
本論文は、各系における $T_{\text{eff}}$ の明示的な式を導出し、それらを3つの古典的な変換則と比較する。

1. 光子ガス:

   • ステファン・ボルツマンの法則 ($\rho = aT^4$) を用いると、変換されたエネルギー密度は $T_{\text{eff}} = T [\gamma^2(1 + v^2/3)]^{1/4}$ を与える。
   • 低速時 ($v \ll 1$) において、これは $T_{\text{eff}} \approx T(1 + \frac{1}{3}v^2)$ と展開される。
   • 結果: 有効温度は速度とともに上昇する。これは、オット–エディントンの法則 ($T' = \gamma T \approx T(1 + \frac{1}{2}v^2)$) と定性的に一致するが、補正の大きさは異なる。プランク–アインシュタインの法則（温度の低下）およびランズバーグの不変性は、エネルギー密度の変換と矛盾する。

2. 相対論的理想気体 (マクスウェル–ジュットナー):

   • エネルギー密度は質量と温度の比 $m/T$ に依存する。著者らは、変形ベッセル関数から導出された無次元関数 $A(m/T)$ を導入する。
   • 有効温度は $T_{\text{eff}}/T = [\gamma^2(1 + v^2/(A+3))]^{1/4}$ で与えられる。
   • 結果: 超相対論的極限 ($m/T \to 0$) では $A \to 0$ となり、光子ガスの結果 ($C \approx 1/3$) を回収する。非相対論的極限 ($m/T \gg 1$) では $A \to \infty$ となり、$T_{\text{eff}} \approx T(1 + \frac{1}{4}v^2)$ を与える。いずれの場合も、$T_{\text{eff}}$ は速度とともに増加し、オットの符号を支持するが、スケーリング係数は普遍的な $\gamma$ ではない。

3. 相対論的フェルミガス (電子ガス):

   • 形式はフェルミ・ディラック統計へと拡張され、質量と化学ポテンシャルに依存する一般化関数 $A_F(x, \alpha)$ が導入される。
   • 関係式 $T_{\text{eff}}/T = [\gamma^2(1 + v^2/(A_F+3))]^{1/4}$ が成立する。
   • 結果: 理想気体と同様に、$T_{\text{eff}}$ は速度に対して単調に増加する。$v^2$ の項の係数は、相対論的性質および縮退の度合いに応じて、$1/3$（超相対論的縮退）から $1/4$（非相対論的縮退）の間で変化する。

意義および結論
本論文は、普遍的な温度変換則は存在しないと結論付けている。代わりに、「測定される」温度は以下の2点に依存する：

1. 観測者の速度: 解析された系において、$T_{\text{eff}}$ は一貫して速度とともに増加する。
2. 微視的な状態方程式: 速度に対する定量的な依存性は、系の特定の統計力学（質量ゼロか質量ありか、ボース粒子かフェルミ粒子か）によって決定される。

視点の統合:
著者らは、逆温度四元ベクトル $\beta^\mu = u^\mu / k_B T$ を用いた統一された枠組みを提案する。

• この共変な定式化において、スカラー温度 $T$ は不変である（統計力学の基礎レベルにおけるランズバーグの視点を支持する）。
• しかし、四元速度 $w^\mu$ を持つ観測者によって測定される温度は、スカラーの縮約 $\beta^\mu w_\mu$ によって決定される。
• オット–エディントンの解釈は、変換されたエネルギー密度から温度を推論するというこの操作的な定義から自然に導かれる。
• プランク–アインシュタインの法則は、エネルギー・運動量テンソルのローレンツ変換と矛盾することが示されている。

最終的な主張
本論文は、平衡分布関数における温度の不変性と、エネルギー密度から導出される操作量としての観測者依存の温度との区別を行うことで、一世紀にわたる論争は解決されると断言している。「正しい」変換とは単一の法則ではなく、エネルギー・運動量テンソルの共変な変換から導かれる、系に依存した関係性なのである。