熱いコーヒーが時間とともに冷め、やがて室温に近づく。こうした熱平衡へ向かう現象は、熱力学の基本的な性質の一つだ。しかし、ある系が熱平衡に達するまでの時間を、原理的にどこまで短縮できるのかという問いには、長年にわたって明確な答えがなかった。日常的な熱伝達であれば、容器の材質や周囲の温度、対流などを調整することで冷却を速められる。一方、微視的な量子系では、どれほど高度な制御を加えても超えられない、熱平衡化の速度限界が存在するのではないかと考えられてきた。
オーストリア、スペイン、スイスの共同研究チームが、この20年以上にわたる予想に対して数学的な証明を与えた。研究成果は2026年9月24日、学術誌『Nature Physics』に「An information-theoretic proof of the Planckian bound for thermalization」として発表された。研究にはオーストリア科学アカデミー量子光学・量子情報研究所（IQOQI Vienna）、ウィーン工科大学、バルセロナ自治大学（UAB）、ジュネーブ大学が参加し、Paolo AbiusoとMartí Perarnau-Llobetが責任著者を務めた。論文のプレプリントはarXivでも公開されている。
研究チームが用いたのは、量子情報幾何と量子計測理論（量子メトロロジー）を組み合わせた手法だ。特定の物質や熱化モデルに依存せず、量子力学の基本原理から、熱平衡化に必要な最小時間の下限を導いた。十分に混合した有限温度の熱状態では、その下限はプランク的散逸時間の約半分となり、極低温では温度に代わってエネルギー準位間のギャップが重要になる。ただし、今回の成果は新たな実験による観測ではなく、一定の条件を満たす熱化過程についての理論的な証明である。
有限温度と極低温で変わる、熱平衡化の二つの速度限界
物性物理学では、熱平衡化や散逸の速さを特徴づける時間として、「プランク的散逸時間（Planckian dissipation time）」が長年議論されてきた。これは次の式で定義される。
ここで、は換算プランク定数、はボルツマン定数、$T$は絶対温度を表す。この時間スケールは温度に反比例するため、高温では短く、低温では長くなる。2004年に物理学者Jan Zaanenが超伝導体の常伝導状態における電気伝導の研究に関連して提唱して以来、強相関電子系や量子多体系における散逸現象の重要な尺度として扱われてきた。
今回、研究チームは熱平衡化に必要な時間について、次の一般的な不等式を導出した。
は無次元の係数で、対象となる系の基準ハミルトニアン、考慮するハミルトニアンの変化幅、熱平衡状態からの許容誤差によって決まる。ハミルトニアンとは、量子系のエネルギー構造と時間発展を規定する演算子である。この式は、熱化に必要な時間が温度だけで一律に決まるわけではなく、系のエネルギー構造や、どの程度の精度で熱化したと判断するかにも依存することを表している。
研究チームは、基底状態と第一励起状態のエネルギー差をスペクトルギャップ、逆温度をと置き、熱化時間の下限を二つの領域に整理した。
まず、熱エネルギーがスペクトルギャップと同程度以上で、熱状態が十分に混合している領域（）では、プランク的散逸時間が主要な尺度となる。論文は、この領域の代表的な下限を次のように示している。
つまり、量子系を対応する熱平衡状態へ導くには、プランク的散逸時間の半分程度を下回れないという制約が現れる。ただし、この簡潔な式は、十分に混合した熱状態や高い熱化精度などを想定した結果の要約であり、あらゆる有限温度の系に無条件で同じ係数$1/2$が適用されるわけではない。より一般的な下限は、前述の係数$\chi$を含む不等式によって与えられる。
一方、温度が大幅に低下し、熱エネルギーがスペクトルギャップより十分に小さくなる領域（）では、熱平衡状態が基底状態に近づいていく。このとき、熱化速度を制約する主要なエネルギー尺度は、温度$T$からスペクトルギャップへと切り替わる。論文が示した低温極限での下限は、次の形を取る。
重要なのは、温度が絶対零度に近づくと自体は無限大へ発散するものの、今回の理論がすべての量子系について熱化時間も無限大になると予測しているわけではない点だ。低温では、基底状態と励起状態のエネルギー差が、状態を変化させる速さを左右する。著者らは、この振る舞いが量子断熱定理や断熱状態準備に関する先行研究とも密接に関係すると説明している。
未知の量子系を熱化する「熱化機械」と二つの基本条件
なぜ量子力学が熱平衡化の速度に制限を課すのか。その仕組みを解明するために研究チームが導入したのが、「熱化機械（thermalization machine）」という理論上の装置だ。
研究チームは熱化を、単に特定の物質を冷却する操作としてではなく、「異なるハミルトニアンを持つ複数の量子系に対して、それぞれに対応する熱平衡状態を生成する過程」として定式化した。対象となる量子系を$S$、それを熱化する装置を$M$と呼ぶ。装置$M$は、あらかじめ特定の量子系に合わせて設計された操作を実行するだけでなく、異なるエネルギー構造を持つ系にも、同じ制御手順で対応しなければならない。
研究チームが設定した基本条件は、次の二つである。
- 量子力学に従うこと。 系$S$と機械$M$を合わせた全体の微視的な時間発展は、シュレーディンガー方程式に従う。外部環境と相互作用する開放量子系についても、環境を機械の一部に含めることで、全体をユニタリな時間発展として扱う。
- 複数の異なる系を熱化できること。 機械$M$は、対象となるハミルトニアンの細部を事前に個別指定されなくても、許されたハミルトニアンの集合に対して、それぞれ正しい熱平衡状態に十分近い状態を出力する。出力と目標状態の間には、許容誤差を設定する。
ここでいう熱平衡状態は、統計力学における「ギブス状態」であり、次の式で表される。
研究チームは、このギブス状態を一定の精度で生成する過程として熱化を定義した。機械$M$には、量子力学が許す限り、任意の制御操作や外部環境との相互作用を認めている。機械の大きさや制御に使う相互作用の強さにも、原則として上限を設けていない。物理法則に反しない限り、どれほど高度な装置であっても熱化時間を短縮してよいという、極めて自由度の高い設定だ。
この考え方は、量子情報理論で「敵対的（adversarial）」と呼ばれる定式化に相当する。熱化を可能な限り速く終わらせようとする設計者が、量子力学で許されるすべての手段を利用すると仮定する。その条件でも越えられない制約が導かれれば、特定の材料や熱浴の性質に依存しない速度限界を示せることになる。
ただし、機械は対象のハミルトニアンごとに、あらかじめ別々の最適な制御手順を与えられるわけではない。異なるハミルトニアンに対して同じ基本的な操作を適用し、結果としてそれぞれの正しいギブス状態を得ることが求められる。特定の熱状態を一度だけ準備することと、異なる量子系を共通の仕組みで熱化することを区別した点が、今回の証明の核心となっている。
量子フィッシャー情報量から導かれる速度限界
熱化機械が二つの異なるハミルトニアンとを扱う場合、それぞれに対応するギブス状態も一般に異なる。機械が両方を正しく熱化できるなら、時間発展の結果として得られる二つの状態は、それぞれの目標状態に十分近づかなければならない。
研究チームは、この状態間の違いを量子情報幾何の尺度である「Bures角（Bures angle）」によって評価した。二つの量子状態とのBures角$D$は、量子忠実度$F$を使って次のように定義される。
量子忠実度は二つの状態の近さを表す指標であり、Bures角はその違いを幾何学的な距離として表す。二つのハミルトニアンに対応する正しいギブス状態が十分に離れているなら、熱化機械の出力もそれに応じて区別できなければならない。しかし、量子系の時間発展には、ハミルトニアンの違いによって生じる状態の変化速度に限界がある。
この制限を表すのが、量子計測理論で用いられる「量子フィッシャー情報量（Quantum Fisher Information：QFI）」だ。量子フィッシャー情報量は、量子状態がハミルトニアンのパラメータ変化にどれほど敏感に反応するかを表す。研究チームは、ハミルトニアンの微小な変化を表すエルミート演算子について、時間発展によって得られる量子フィッシャー情報量が、次の一般化ハイゼンベルク限界に従うことを利用した。
ここで、はハミルトニアンの摂動を表す演算子のスペクトル半ノルムであり、は相互作用に費やした時間である。この式は、時間をいくらでも短くしながら、ハミルトニアンの違いに関する情報を無制限に引き出すことはできないという量子力学的な制約を表している。
熱化機械に要求される出力状態の識別可能性と、量子力学が許す状態変化の速度を比較することで、研究チームは必要な最小時間を導いた。具体的には、熱化の要件から得られるBures角の下限と、ユニタリな時間発展から得られる上限を組み合わせ、ハミルトニアンの選び方について最適化している。この方法により、特定の熱浴や相互作用モデルを仮定しなくても、熱化時間に下限が現れることを示した。
研究チームは、二つの基本条件がこの制約を導くうえで重要だと説明する。量子力学の条件を外し、とする古典極限を考えれば、プランク的散逸時間もゼロへ近づく。また、複数のハミルトニアンに対応するという条件を外せば、あらかじめ用意した熱状態をスワップ操作で入れ替えることにより、相互作用の強さに制限を設けない理想化された設定では、熱状態を任意に短い時間で準備できる。今回の速度限界は、こうした単一状態の準備ではなく、異なるハミルトニアンに対応した熱化を要求することから生じる。
「あらゆる量子系に無条件で適用される」わけではない
今回の研究は、特定の物理モデルに依存しない一般的な証明として重要だが、その成立条件を正確に理解する必要がある。特に、「どのような量子状態も一定時間より速く準備できない」「あらゆる量子系の熱化に、例外なく同じ下限が適用される」と解釈するのは正確ではない。
まず、熱化の精度には条件がある。研究チームが導いた無次元係数には、次の上限が存在する。
ここで、は熱化機械が対応すべきハミルトニアンの変化幅、は熱平衡状態からの許容誤差である。この式から、正の値を持つ非自明な時間下限を得るには、少なくとも次の条件を満たす必要がある。
言い換えれば、熱化の精度が粗すぎる場合には、異なるハミルトニアンに対応する熱状態を十分に区別する必要がなくなり、証明から有効な速度限界を導けなくなる。許容誤差が大きければ、機械は複数の目標状態から多少ずれた状態を出力しても条件を満たせるためだ。この不等式は、非自明な下限を得るための必要条件であり、満たせば必ず係数が正になることを保証する十分条件ではない。
また、ハミルトニアンの情報を事前にどこまで利用できるかも重要になる。対象のハミルトニアンが完全に分かっている場合には、それに対応するギブス状態を準備するための操作を、あらかじめ設計できる。研究チームは、この「ギブス状態サンプリング」と、未知のハミルトニアンに対応する熱化機械を明確に区別している。
論文が比較した主な情報処理タスクと時間下限を整理すると、次のようになる。
| タスク・条件 | 装置に与えられる情報 | 主なエネルギー尺度 | 所要時間の下限 |
|---|---|---|---|
| ギブス状態サンプリング | ハミルトニアン$H$の完全な古典的記述 | 事前に設計する操作に依存 | 理想化された条件では0に近づけられる |
| 有限温度の熱化機械（） | $H$へのオラクルアクセス | 熱エネルギー | 十分に混合した状態では |
| 極低温の熱化機械（） | $H$へのオラクルアクセス | スペクトルギャップ | 低温極限で |
| ハミルトニアン学習 | $H$へのオラクルアクセス | 識別するハミルトニアンの差など | ハミルトニアン識別に必要な時間 |
ここでいうオラクルアクセスとは、ハミルトニアンの完全な古典的記述を事前に受け取るのではなく、対象系の時間発展などを通じて、そのハミルトニアンに関する情報を得られる条件を指す。なお、表の有限温度と極低温の二つの下限は、論文の式（2）で要約された熱化機械の結果であり、残る二つのタスクとの対比は論文のTable 1に基づく。
この比較から分かるのは、ギブス状態を生成すること自体が常にプランク的散逸時間を必要とするわけではないという点だ。ハミルトニアンの情報が完全に与えられた状態準備と、異なる未知のハミルトニアンに対応する熱化では、要求される情報処理が異なる。今回の速度限界は、主として後者の操作的な熱化に対して導かれている。
また、低温領域を理解する際には、系内部の異なる部分の「温度差」と、量子系の「エネルギー準位間の差」を混同してはならない。論文で重要なのは、逆温度とスペクトルギャップの積である。とは、熱エネルギーに比べて基底状態と第一励起状態のエネルギー差が十分に大きいことを意味する。温度が低下して熱励起が抑えられた結果、系のエネルギー構造が熱化時間の下限を左右するようになるのであり、系の構成要素間に温度差があることを条件とするものではない。
一方で、研究チームの定式化は、対象となるすべてのハミルトニアンについて熱化を要求する必要もない。論文の補足情報によれば、少なくとも二つの異なるハミルトニアンについて、それぞれ正しい熱状態を十分な精度で生成できることが、一般的な速度限界を導くための基本的な条件となる。さらに、出力がある瞬間に厳密なギブス状態と一致する必要はなく、時間平均した状態や、量子状態の位相情報が失われた後の状態を対象とする、より緩やかな熱化の定義にも議論を拡張できる。
室温では25フェムト秒、極低温ではミリ秒の時間スケールに
今回の成果が注目される背景には、20年以上にわたる強相関電子系や高温超伝導体の研究がある。
IQOQI Viennaが2026年9月24日に発表した解説によると、プランク的散逸時間という考え方は、2004年にJan Zaanenが、超伝導転移温度以上にある物質の電気伝導に見られる普遍的な振る舞いを説明するために提唱したものだ。その後、多くの凝縮系モデルで同様の時間スケールが現れ、量子多体系のカオス的な振る舞いや散逸現象とも関連づけられてきた。こうした研究から、プランク的散逸時間が量子系の緩和や熱化の普遍的な速度限界を表しているのではないかと考えられてきたが、特定のモデルに依存しない一般的な導出は得られていなかった。
この時間スケールは、日常的な温度では極めて短い。バルセロナ自治大学が2026年10月5日に公開した解説によると、室温でのプランク的散逸時間は約25フェムト秒である。1フェムト秒は1000兆分の1秒に当たり、分子の高速な運動と同程度の時間スケールに相当する。一方、温度が下がるほどこの時間は長くなり、絶対零度に近い超冷原子気体ではミリ秒の領域に達する。
代表的な温度について、から計算すると、次のようになる。
| 温度環境 | 絶対温度 | プランク的散逸時間 |
|---|---|---|
| 室温 | 300 K | 約25フェムト秒（秒） |
| 極低温 | 1 K | 約7.6ピコ秒（秒） |
| 超冷原子気体を想定した温度 | 1 nK | 約7.6ミリ秒（秒） |
これらはプランク的散逸時間そのものを比較した値であり、各温度で熱化が実際に完了する時間や、すべての系に適用される厳密な下限を示すものではない。特に、となる極低温領域では、先に説明したようにスペクトルギャップが主要な尺度となるため、表の値をそのまま熱化時間の下限と解釈することはできない。
日常的なコーヒーの冷却では、熱伝導や対流、蒸発といった巨視的な熱輸送が速度を決める。こうした過程は通常、微視的なプランク的散逸時間よりもはるかに長く、今回の量子力学的な制約が日常の冷却速度を直接決めているわけではない。一方、レーザー冷却などによってナノケルビン領域まで冷却された原子気体では、プランク的な時間スケールがミリ秒程度まで長くなるため、熱化の進行を時間分解して測定する実験に適した条件を整えられる可能性がある。
ただし、今回の論文そのものは新たな物質実験を報告したものではない。研究チームは、単一フェルミオンと熱浴の相互作用を表す理論モデルを用いて、導出した下限がどのように働くかを検討している。具体的には、エネルギーギャップが0の場合との場合に相当する二つのハミルトニアンを比較した。同じ熱化機械が一方の系を非常に短い時間で熱化できたとしても、もう一方を同じ精度で同時に熱化することはできず、時間がプランク的散逸時間のオーダーに達すると両方の熱化が可能になる様子を理論的に示している。
このモデルでは、速度限界によって禁止される状態の範囲が時間とともに縮小し、付近で、その具体的な下限が制約を与えなくなる。これは一般的な不等式の働きを説明する理論上の例であり、実験装置でプランク的散逸限界に到達したことを示すものではない。
理論上の限界に到達できるのか、量子計算への影響は
数学的な速度下限が示されても、その限界に実際に近づける装置が存在するとは限らない。量子情報理論では、導出された不等式を等号で満たせるかどうか、すなわち境界が「タイト」であるかが重要になる。今回の研究チームは、この点についても理論的な検討を行った。
研究チームは、任意の二つのハミルトニアンの組に対して、熱化時間の一般的な下限に到達するよう設計された熱化機械を数学的に構成した。この構成には、量子状態の純粋化と忠実度の関係を与える「ウールマンの定理（Uhlmann's theorem）」が用いられている。熱化誤差の場合、その機械が二つのハミルトニアンを熱化するために必要な時間は、次の式で表される。
分子の$D$は、二つのハミルトニアンに対応するギブス状態のBures角を表す。分母のは、二つのハミルトニアンの差のスペクトル半ノルムである。この式は、二つのハミルトニアンに対する熱化という条件では、理論上の下限を等号で満たす機械を構成できることを意味する。
従来のハミルトニアン識別に基づく方法では、二つのハミルトニアンを完全に見分けるために、次の時間が必要になる。
この方法では、二つのハミルトニアンが非常に近い場合、識別に必要な時間が大きくなる。これに対し、今回構成された熱化機械は、ハミルトニアンを完全に識別することを目的とせず、それぞれに対応する熱状態を直接生成する。そのため、完全な識別より短い時間で熱化を達成でき、一般的な時間下限を飽和させることが可能になる。
この結果は、熱化を単なるエネルギー散逸ではなく、量子情報を処理する問題として捉えることの有効性を示している。熱化機械は、異なるハミルトニアンに応じて異なる出力状態を生成しなければならない。その際に必要となる情報の識別可能性と、量子力学が許す時間発展の速さを結びつけたことで、特定の物質モデルに依存しない制約を導けた。
こうした枠組みは、量子コンピュータにおけるギブス状態準備や、未知の量子系の性質を調べるハミルトニアン学習にも関係する。ギブス状態は、量子多体系のシミュレーションや統計力学的な計算で重要な役割を持つ。対象となるハミルトニアンの情報が十分に分からない状態で、その熱平衡状態を生成しようとする量子アルゴリズムでは、今回の速度限界が理論的な制約となり得る。一方、ハミルトニアンが完全に既知で、専用の操作を事前に設計できる状態準備には、同じ下限がそのまま適用されるわけではない。
ただし、今回の成果から、量子コンピュータの処理速度や量子センサーの性能が直ちに改善すると結論づけることはできない。研究チームが示したのは、理想化された条件も含む一般的な量子操作の限界であり、実際の装置には制御精度、相互作用の強さ、環境ノイズなど、追加の制約が存在する。理論上の最適な熱化機械を、現実のハードウェアでどこまで再現できるかは、別途検証しなければならない。
また、論文では複雑な量子多体系における量子もつれの役割や、系の規模が大きくなった場合の振る舞い、現実的な熱浴が速度限界にどこまで近づけるかについても、今後の研究課題として挙げている。少数の自由度を持つ理論モデルで得られた知見が、強相関電子系や大規模な量子多体系においてどのように現れるかは、まだ十分に解明されていない。
今回の研究は、20年以上にわたり議論されてきたプランク的散逸時間の普遍性について、量子情報理論に基づく一般的な数学的根拠を与えた点に意義がある。ただし、その速度限界は、異なるハミルトニアンに対応する熱化という操作的な条件のもとで導かれたものであり、すべての熱平衡化現象を無条件に説明するものではない。今後は、超冷原子気体などの制御性に優れた量子系を使い、現実の熱化過程が理論上の下限にどこまで近づくのかを確かめることが重要になる。数学的に導かれた限界が、実際の量子物質や量子情報処理装置でどのように現れるのかが、次の研究課題となる。
