固有状態熱化仮説のソースを表示

'''固有状態熱化仮説'''（こゆうじょうたいねつかかせつ、{{lang-en-short|eigenstate thermalization hypothesis; ETH}}）とは、孤立量子系が[[統計力学|平衡統計力学]]を用いてよい精度で記述できるのは何故かを説明するための、[[量子力学]]における一連の仮説である。
特に、初期状態では[[熱力学的平衡|熱力学的平衡状態]]から離れている系が[[時間発展]]とともに平衡状態へ[[緩和]]（熱平衡化）するのかを理解するために、ETH が検討されている。

“{{en|eigenstate thermalization}}” という言葉はマーク・スレドニキが1994年に最初に用いたが{{sfn|Srednicki|1994}}、概念そのものは例えば、1991年にジョシュ・ドイチュが類似した仮説を導入していた{{sfn|Deutsch|1991}}。

ETH の基本的な思想は、[[古典力学]]で行われたように、[[熱力学]]系の[[エルゴード理論|エルゴード性]]を[[カオス理論|動的カオス]]の機構によって説明するのではなく、量子系の個々のエネルギー[[固有状態]]に対する[[オブザーバブル]]の[[行列 (数学)|行列]]要素の性質を検討すべきであるという考えに基づいている。

== 動機 ==

[[統計力学]]において、[[ミクロカノニカルアンサンブル]]は特別な[[統計集団|アンサンブル]]であり、[[エネルギー]]が既知で[[熱力学的平衡|平衡状態]]に達していると考えられる[[孤立系]]に対して、孤立系に行った[[実験]]の結果の予測に用いられる。

ミクロカノニカルアンサンブルは次のような[[仮定]]に基づく：平衡状態に達した系を調べる際、全エネルギーが等しいどの[[微視的]]状態も、それが見出される[[確率]]は等しい{{sfn|Reichl|2009}}。

この仮定に基づき<ref group="注">あるいは、[[系 (自然科学)|系]]の平均の[[エネルギー]]のみが知られているような状況で、系の[[エントロピー]]を[[最適化問題|最大化]]するような[[微視的]]状態を見出す特別な[[確率分布]]を得たい場合に、[[カノニカルアンサンブル]]を利用することができる。いずれの場合も、系の振る舞いを少数の[[巨視的]]な[[物理量]]（エネルギー、粒子数、体積など）のみによって予測できることを仮定している。</ref>、その[[オブザーバブル]]のアンサンブル平均は、等しい全エネルギーを持つすべての微視的状態 <math>i</math> に対する物理量 <math>A_i</math> の算術平均となる：{{sfn|Reichl|2009}}
:<math>\bar{A}_{\mathrm{classical}} = \frac{1}{N}\sum_{i=1}^N A_i</math>
この量は、そのエネルギーを除いて、いかなる初期状態にも依存していない。

[[エルゴード理論|エルゴード性]]の仮定は[[古典力学]]において、一般に[[カオス理論|カオス]]系が[[位相空間 (物理学)|位相空間]]上の等しい体積に等しい時間だけ滞在することから、動的カオスの結果として強く動機付けられている。{{sfn|Reichl|2009}} 
孤立した古典カオス系を用意し、その位相空間上のある領域に置いたとして、系を[[時間発展]]させれば、（エネルギー保存の法則など）少数の保存則のみに従って、位相空間全体を標本するだろう。与えられた系がエルゴード的であるという主張が正当化できれば、このメカニズムによってなぜ統計力学が良い予測を与えるかを説明できる。例えば、剛体球気体はエルゴード性を持つことが厳密に証明された[[数理モデル|モデル]]の一つである。{{sfn|Reichl|2009}}

この主張は量子系の場合にそのまま拡張できるものではない。それは仮に古典カオス系に類似した系であっても、量子系の時間発展は[[ヒルベルト空間]]上の与えられたエネルギーに対応する状態ベクトルを一様に標本しないためである。<ref group="注">なぜ量子カオスが古典カオスと異なる扱いをされなければならないか、直感的な説明として、文献によっては[[シュレーディンガー方程式]]の[[線形性]]と古典カオス系の運動方程式の非線形性を対比し、特に古典的な位相空間上の点が指数的に分離されていることとは対象的にヒルベルト空間上のベクトルの[[内積]]が保存することを強調していることがある。<br />
しかし、これは誤解を招く説明である。なぜならば、シュレーディンガー方程式は[[量子状態|純粋状態]]に対するフォン・ノイマン方程式と等価であり、フォン・ノイマン方程式の古典対応である[[リウヴィル方程式]]もまた線形であるからだ。言い換えれば、[[量子力学]]と[[古典力学]]での違いは方程式の異なる表現を比較したことによる見かけのものである。したがって線形性は、量子系と古典カオス系で研究のための道具が異なっている本質的な理由にはなり得ない。</ref> 
時刻ゼロにおける状態をエネルギー固有状態を基底に展開すると、
: <math>
| \Psi(0) \rangle = \sum_{\alpha} c_{\alpha} | E_{\alpha} \rangle,
</math>
物理量 <math>\hat{A}</math> の期待値は以下のように表される：
: <math>
\langle \hat{A}  \rangle_t \equiv \langle \Psi(t) | \hat{A} |\Psi(t) \rangle = \sum_{\alpha, \beta} c_{\alpha}^{*} c_{\beta} A_{\alpha \beta} e^{-i \left ( E_{\beta} - E_{\alpha} \right )t / \hbar }.
</math>

<math>E_{\alpha}</math> が不整合であっても、期待値の長時間平均は以下の対角項の和として与えられ、
: <math>
\langle \hat{A}  \rangle_t \overset{t\to\infty}{\approx} \sum_{\alpha} \vert c_{\alpha}\vert^2 A_{\alpha \alpha},
</math>
期待値は恒久的に初期状態の知識を係数 <math>c_{\alpha}</math> の形で保持し続ける。

したがって原理上は、任意の初期状態を出発点とする孤立量子系が熱力学的平衡状態に近しい、ごく少数の物理量さえあれば系の振る舞いを予測できるような状態へ緩和するかどうかは未解決の問題である。
しかし、[[冷却原子気体|低温原子気体]]に関する様々な実験において、実験系は非常に良い近似で環境から孤立していると見なせ、幅広いクラスの初期状態から実際に系が熱的緩和することが観測されている。{{sfn|Rigol|Srednicki|2012}}{{sfn|Rigol|Dunjko|Olshanii|2009}} 
固有状態熱化仮説の主たる目的は、この実験的に示されている、平衡統計力学の孤立量子系への適用の妥当性に説明を果たすことである。

== 主張 ==

孤立[[多体問題 (量子論)|量子多体系]]について考える。
ここで「孤立」とは外界との[[相互作用]]がない（あるいは無視できる）ことを意味する。系の[[ハミルトニアン]]を <math>\hat{H}</math> と書けば、ハミルトニアンの[[固有状態]]は[[完全系]]をなす。
: <math>
\hat{H} |E_{\alpha} \rangle = E_{\alpha}|E_{\alpha} \rangle.
</math>
ここで <math>|E_{\alpha} \rangle</math> はハミルトニアンの[[固有値]] <math>E_{\alpha} </math> の固有状態である。
以下、これらの状態を単に「エネルギー固有状態」 と呼ぶことにする。
簡単のため、対象とする系はエネルギー準位の[[縮退]]がなく、系は有限の領域に束縛されているものとする。したがって、エネルギー固有値の[[スペクトル (関数解析学)|スペクトル]]は縮退がなく離散的になる（この仮定は不合理なものではない。実際の実験系では、充分無秩序かつ強い相互作用を持つため、ほとんどすべての縮退は解かれ、また系のサイズは限られているためである{{sfn|Srednicki|1999}}）。こうすることで、エネルギー固有状態をエネルギー固有値について小さい順にラベル付けできるようになる。

加えて、[[熱力学的平衡|熱平衡]]での振る舞いを調べたい他の[[量子力学]]的な[[オブザーバブル|物理量]] <math>\hat{A}</math> を考える。エネルギー固有状態を基底とすれば、この[[演算子 (物理学)|演算子]]の[[行列 (数学)|行列]]要素は次のように書ける：
: <math>
A_{\alpha \beta} \equiv \langle E_{\alpha} | \hat{A} | E_{\beta} \rangle .
</math>

物理量 <math>\hat{A}</math> の初期状態における[[期待値]]が、対象とする[[エネルギー]]スケールにおける[[ミクロカノニカルアンサンブル]]から予測した値から大きく離れているとする（初期状態は互いに充分近い準位のエネルギー固有状態の重ね合わせであると仮定する）。
固有状態熱化仮説（ETH）は、以下の条件を満たす任意の初期状態について、物理量 <math>\hat{A}</math> の期待値がミクロカノニカルアンサンブルによる予測値へ向かって時間とともに収束し、以後その値の周りをわずかにゆらぎ続けることを主張する：{{sfn|Rigol|Srednicki|2012}}
# 対角成分 <math>A_{\alpha \alpha}</math> はエネルギーの[[関数 (数学)|関数]]として滑らかに変化し、隣接する対角成分との差 <math>A_{\alpha + 1,\alpha + 1} - A_{\alpha,\alpha}</math> は系のサイズに従って[[指数関数]]的に小さくなる
# 非対角成分 <math>A_{\alpha \beta},\, (\alpha \neq \beta)</math> は対角成分に比べて充分小さく、また系のサイズに従って指数関数的に小さくなる
これらの条件は以下のように書ける：
:<math>
A_{\alpha\beta} \simeq \overline{A}\delta_{\alpha\beta}+\sqrt{\frac{\overline{A^2}}{\mathcal{D}}}R_{\alpha\beta},
</math>
ここで <math>\overline{A}</math> および <math>\overline{A^2}</math> はエネルギーを引数とする滑らかな関数、<math>\mathcal{D}=e^{sV}</math> は多体[[ヒルベルト空間]]の次元、<math>R_{\alpha\beta}</math> は平均ゼロかつ単位[[分散 (統計学)|分散]]を持つ[[確率変数]]である。

逆に、量子多体系が ETH を満たすなら、任意の局所演算子のエネルギー固有状態を基底とする行列表示は上記の仮設に従うと期待される。

== 対角アンサンブルとミクロカノニカルアンサンブルの等価性 ==

[[演算子 (物理学)|演算子]] <math>\hat A</math> の[[期待値]]の長時間平均を次のように定義できる：
: <math>
\overline{A} \equiv \lim_{\tau \to \infty} \frac{1}{\tau}\int_{0}^{\tau}\langle \Psi(t) | \hat A |\Psi(t)\rangle~ dt.
</math>
期待値の[[時間発展]]をあらわに書けば、以下のように書き換えられる：
: <math>
\overline{A} = \lim_{\tau \to \infty} \frac{1}{\tau}\int_{0}^{\tau}\left [ \sum_{\alpha, \beta=1}^{D}c_{\alpha}^{*}c_{\beta} A_{\alpha \beta} e^{-i \left (E_{\beta} - E_{\alpha} \right )t/\hbar} \right ]~ dt.
</math>
[[積分]]の部分は計算できて、以下の結果が得られる：
: <math>
\overline{A} = \sum_{\alpha=1}^{D}|c_{\alpha}|^{2}A_{\alpha \alpha} + i \hbar \lim_{\tau \to \infty} \left [ \sum_{\alpha \neq \beta}^{D} \frac{c_{\alpha}^{*}c_{\beta}A_{\alpha \beta}}{E_{\beta}-E_{\alpha}}\left ( \frac{e^{-i \left (E_{\beta} - E_{\alpha} \right )\tau/\hbar}-1}{\tau} \right ) \right ].
</math>
2番目の和の各項は無限大の[[極限]]を取ることで減衰していく。2番目の和に含まれる、異なる指数項の間の位相の干渉性がこの減衰に匹敵するほど大きくはなり得ないと仮定すれば、第2項は無限大の極限でゼロに収束し、期待値の長時間平均は以下より与えられる：{{sfn|Srednicki|1999}}
: <math>
\overline{A} = \sum_{\alpha=1}^{D}|c_{\alpha}|^{2}A_{\alpha \alpha}.
</math>

この物理量 <math>\hat A</math> の時間平均に関する予測を'''対角アンサンブル''' ({{en|diagonal ensemble}}) における予測値と呼ぶ。{{sfn|Cassidy|Clark|Rigol|2011}} 対角アンサンブルの最も重要な点は、系の初期状態にあらわに依存し、系のすべての情報を保持しているように見えることである。対照的に、[[ミクロカノニカルアンサンブル]]での予測値は、系の平均[[エネルギー]]を中心とするある範囲に[[固有値]]が含まれる、すべてのエネルギー[[固有状態]]について等しい重みで平均をとったものである：{{sfn|Rigol|Dunjko|Olshanii|2009}}
: <math>
\langle A \rangle_{\text{mc}} = \frac{1}{\mathcal{N}} \sum_{\alpha'=1}^{\mathcal{N}}A_{\alpha' \alpha'},
</math>
ここで <math>\mathcal{N}</math> は適当なエネルギー範囲に含まれる固有状態の数であり、和の添字に付いたプライムは、添字の動く範囲がこのミクロカノニカルアンサンブルの範囲に限定されることを示している。
ミクロカノニカルアンサンブルからの予測は、対角アンサンブルと異なり、初期状態にまったく依存していない。そのため、ミクロカノニカルアンサンブルがなぜ様々な物理系について[[オブザーバブル|観測量]]の長時間平均の振る舞いを良く説明できるかは明らかではない。

しかし、[[行列 (数学)|行列]]の対角項 <math>A_{\alpha \alpha}</math> が適当なエネルギー範囲上で実質的に定数として振る舞い、充分に小さなゆらぎしか持たないと仮定すると、対角項を定数 <math>A</math> で置き換え、和の外に出すことができる。そうすることで、対角アンサンブルの予測値は単にこの定数に等しくなる：
: <math>
\overline{A} = \sum_{\alpha=1}^{D}|c_{\alpha}|^{2}A_{\alpha \alpha} \approx A\sum_{\alpha=1}^{D}|c_{\alpha}|^{2} = A.
</math>
ここで初期状態は適当に[[規格化]]されているものとし、規格化条件によって係数和を消去した。
同様にミクロカノニカルアンサンブルの予測値も以下のように書き換えられる：
: <math>
\langle A \rangle_{\text{mc}} = \frac{1}{\mathcal{N}} \sum_{\alpha'=1}^{\mathcal{N}}A_{\alpha' \alpha'} \approx \frac{1}{\mathcal{N}} \sum_{\alpha'=1}^{\mathcal{N}}A = A.
</math>
したがって、2つのアンサンブルの予測値は一致する。

対角項 <math>A_{\alpha \alpha}</math> が小さなエネルギー範囲の中で定数として振る舞うことは、ETH の基本的な考えである。特に、単一のエネルギー固有状態における <math>\hat A</math> の期待値は、対応するエネルギー準位のミクロカノニカルアンサンブルの平均に等しいことに注意しよう。このことは、動的[[エルゴード理論|エルゴード性]]による基礎づけとは根本的に異なったやり方で、[[量子統計力学]]の基礎を構成している。{{sfn|Srednicki|1994}}

== 検証 ==

小さな[[格子 (数学)|格子系]]での様々な[[数値解析|数値的]]な研究から、熱化が期待される[[相互作用]]系について固有状態熱化仮説 (ETH) の予測が恐らく正しいことが確認されている。{{sfn|Rigol|Dunjko|Olshanii|2009}} 
同様に、[[可積分系]]について ETH に従わない傾向があることが確認されている。{{sfn|Rigol|Dunjko|Olshanii|2009}}

また、強く[[励起状態|励起]]されたエネルギー[[固有状態]]の性質に関するいくつかの仮定の下、[[解析学|解析的]]な結果が得られている。スレドニキの1994年の ETH の論文では特に、断熱壁に囲まれた量子剛体球気体の例が研究されている。剛体球気体は[[古典力学|古典的]]な[[カオス理論|カオス]]を示す系としてよく知られている。{{sfn|Srednicki|1994}} 
充分高いエネルギーを持つ状態について、'''ベリー予想'''（{{en|Berry's conjecture}}）によれば、剛体球気体のエネルギー固有状態の[[波動関数]]はランダムな位相と[[正規分布]]した振幅を持つ[[平面波]]の重ね合わせとして振る舞う{{sfn|Srednicki|1994}}（厳密な設定に関してはスレドニキの論文を参照）。

以上の仮定の下、粒子数が充分大きい熱力学極限において、個々の区別できる粒子に対する[[運動量]]の[[確率密度関数|分布関数]]は[[マクスウェル分布|マクスウェル＝ボルツマン分布]]に等しくなる：{{sfn|Srednicki|1994}}
: <math>
f_{\rm MB} \left ( \mathbf{p}, T_{\alpha} \right ) = \left ( 2 \pi m k T \right )^{-3/2}e^{-\mathbf{p}^{2}/2mkT_{\alpha}}.
</math>
ここで <math>\mathbf{p}</math> は粒子の運動量、<math>m</math> は粒子の[[質量]]、<math>k</math> は[[ボルツマン定数]]。また、<math>T_{\alpha}</math> は固有状態 <math>\alpha</math> に対応する「[[温度]]」であり、エネルギー固有値に対して以下の[[理想気体の状態方程式]]を満たすように定義される：
: <math>
E_{\alpha} = \frac{3}{2}NkT_{\alpha}.
</math>
ここで <math>N</math> は気体の粒子数である。[[ミクロカノニカルアンサンブル]]（または[[カノニカルアンサンブル]]）から導かれる予測に一致するような[[オブザーバブル]]の値が、一つのエネルギー固有状態から得られるという点で、この結果は ETH が成立する具体例の一つと言える。
初期状態の平均操作はなんら行われておらず、[[H定理]]のようなものも現れていないことに注意しよう。また、気体の構成粒子について適当な[[交換関係]]を課すことで、それに対応する[[ボース分布関数]]や[[フェルミ分布関数]]を導くこともできる。{{sfn|Srednicki|1994}}

しかし剛体球気体のエネルギーがどれほど高ければ ETH が成り立つか、ETH に従うような固有状態の条件はよく分かっていない。{{sfn|Srednicki|1994}} ラフな基準としては、粒子の平均の[[熱的ド・ブロイ波長|ド・ブロイ波長]]が粒子の半径より充分小さく、系が古典カオスの特徴を示すことが挙げられる（実際、剛体球は有限の大きさを持つ{{sfn|Srednicki|1994}}）。

== 他の熱化に関する仮説 ==

孤立量子系の熱化を説明する仮説として以下のものが提案されている:

# 物理的に意味のある初期状態について、係数 <math>c_{\alpha}</math> は固有状態間で大きなゆらぎを示し、そのゆらぎはオブザーバブル <math>A_{\alpha \alpha}</math> の固有状態間のゆらぎとは完全に[[相関関係と因果関係|無相関]]である。そのため、対角アンサンブル上での和は実質的に、適当なエネルギー領域上での <math>A_{\alpha \alpha}</math> の値の不偏サンプリングになっている。充分大きな系について、この不偏サンプリングは前述のエネルギー領域上での <math>A_{\alpha \alpha}</math> の真の平均値に近い値を与え、その値は[[ミクロカノニカルアンサンブル]]での予測値を再現すると予想される。しかし、この機構は次のような欠点がある。典型的には、初期状態におけるオブザーバブルの期待値 <math>\hat A</math> が平衡状態での値から遠く離れているような状況に興味がある。この仮説が正しいとすれば、初期状態は <math>\hat A</math> に関するいくつかの情報を持っていなければならず、そうであれば初期状態がある適当なエネルギー領域上での <math>A_{\alpha \alpha}</math> の値の不偏サンプリングを表しているかどうかが疑わしくなる。更に、この仮説が成り立つかどうかによらず、この仮説は「任意の」初期状態が平衡状態へ至るかという疑問への回答を与えない。
# 物理的に意味のある初期状態について、係数 <math>c_{\alpha}</math> は実質的に「定数」であり、ゆらがないと仮定する。この場合、対角アンサンブルはミクロカノニカルアンサンブルと正確に一致するため、両者の予測値がなぜ一致するのか、という疑問はなくなる。しかしこの仮定もまた前述の仮定と同様の欠点を持つ。
# 可積分量子系は制御変数の適当な時間依存性の下で熱化することが証明されている。これは宇宙の膨張が[[量子焼きなまし法|量子アニーリング]]の制御変数に相当すると考えれば、基礎的な運動方程式が可積分であることが熱化の根本的な理由であることを示唆している。{{sfn|Li|Chernyak|Sinitsyn|2018}}

== 期待値の時間的なゆらぎ ==

ETH が[[オブザーバブル]]の対角成分に課した条件は対角アンサンブルとミクロカノニカルアンサンブルで予測値が一致する要因になっている。{{sfn|Srednicki|1999}} これらの長時間平均が一致することはしかし、平均値からの時間的なゆらぎが小さいことを保証しない。つまり、長時間平均の一致は <math>\hat A</math> の期待値が長時間平均に等しい値に落ち着き、ほとんどすべての時刻でそこに留まることを保証しない。

オブザーバブルの期待値の時間的なゆらぎが小さくなるために必要な条件を示すため、以下に定義する時間ゆらぎの[[二乗平均平方根|二乗平均]]振幅の振る舞いを述べる。{{sfn|Srednicki|1999}}
: <math>
\overline{\left (A_{t} - \overline{A} \right )^{2}} \equiv \lim_{\tau \to \infty}\frac{1}{\tau} \int_{0}^{\tau } \left (A_{t} - \overline{A} \right )^{2}dt.
</math>
ここで <math>A_{t}</math> は時刻 <math>t</math> での <math>\hat A</math> の期待値を表す。この式は次のように展開できる：{{sfn|Srednicki|1999}}
: <math>
\overline{\left (A_{t} - \overline{A} \right )^{2}} = \sum_{\alpha \neq \beta}|c_{\alpha}|^{2}|c_{\beta}|^{2}|A_{\alpha \beta}|^{2}.
</math>
長時間平均の時間的ゆらぎは、非対角成分が ETH の課す条件を満たす限り小さくなる。言い換えれば、非対角成分は系の大きさについて指数関数的に小さくなる。{{sfn|Srednicki|1999}}{{sfn|Rigol|Dunjko|Olshanii|2009}} 

ETH に従って非対角項の和が小さくなるとしても、位相が揃った状態では対角項に匹敵する大きさになり得る点には注意すべきである。このような状況では期待値への非対角項の寄与が大きいため、期待値は長時間平均から大きく外れた値を取ることになる。{{sfn|Rigol|Srednicki|2012}}
上述の二乗平均振幅が充分小さい限り、系が長時間平均から大きく離れた状態になる時間は短くなることが保証されている。{{sfn|Srednicki|1999}}{{sfn|Rigol|Srednicki|2012}} 
しかし{{仮リンク|動的対称性|en|dynamical symmetry}}を系が示す場合、長時間平均の周りを周期的に振動することが知られている。{{sfn|Buča|Tindall|Jaksch|2019}}

== 量子ゆらぎと熱ゆらぎ ==

[[オブザーバブル]]の[[期待値]]は、複製された量子状態のアンサンブルに対して繰り返し測定を行った結果の平均値を表している。そのため、期待値を主な対象として扱ったものの、それがどの程度まで物理的に関連のある量を表しているかは明らかではない。
[[量子ゆらぎ]]により、オブザーバブルの期待値は通常、孤立系に対する一つの測定結果と一致しない。しかし、ETH を満たすオブザーバブルについて、その期待値に対する量子ゆらぎは典型的に、伝統的なミクロカノニカルアンサンブルから予測される[[熱ゆらぎ]]と同程度の大きさになることが示されている。{{sfn|Srednicki|1999}}{{sfn|Rigol|Dunjko|Olshanii|2009}}
このことは、ETH が孤立量子系の熱化の要因となる基礎的なメカニズムであるという考えを裏付けている。

== 一般的な妥当性 ==

今のところ、一般の相互作用系に対する ETH の解析的な導出は知られていない。{{sfn|Rigol|Dunjko|Olshanii|2009}}
しかし、様々な種類の相互作用系について ETH が成り立っていることが、{{仮リンク|厳密対角化法|en|exact diagonalization}}により、これらの方法が示す不確かさの範囲で確認されている。{{sfn|Rigol|Srednicki|2012}}{{sfn|Rigol|Dunjko|Olshanii|2009}}

また、準古典極限における特殊な例で ETH が成立することが証明されており、ここで ETH の正当性はシュニレルマンの定理に依拠している。シュニレルマン定理は、古典カオス系において、エネルギー固有状態に対する演算子 <math>\hat A</math> の期待値が対応するエネルギー準位の古典的ミクロカノニカル平均に等しいことを示す定理である。{{sfn|Hortikar|Srednicki|1998}}
より一般の相互作用系について ETH が成立することを証明できるかは、いまだ未解決問題である。

また、多数の[[運動の積分|第一積分]]がある[[可積分系]]について、系が熱化せず、ETH が成り立たないことが知られている。{{sfn|Rigol|Srednicki|2012}}

ETH は個々のオブザーバブルに関する主張であり、すべてのオブザーバブルが ETH に従うかどうかに関しては何も要求していない点には注意が必要である。
実際、すべてのオブザーバブルに対し成立するという考えは正しくない。与えられたエネルギー固有状態の基底に対し、ETH を破るような演算子を作ることは常に可能である。そのためには、与えられた基底を使い演算子を行列で表し、行列成分が ETH に明示的に従わないようすればよい。逆に、同じ方法で ETH に従う演算子を作ることも可能である。このことから、有用性において ETH は些末なもののように見えるかもしれない。しかし、重要なことは前述のように構成した演算子は物理的な意味を持たないということである。
このような行列を構成したとして、実際の実験において測定されるオブザーバブルに対応するか、物理的に興味のある量に類似しているかは明確ではない。系のヒルベルト空間上の任意のエルミート演算子は、物理的に測定可能な量に必ずしも対応しない。{{sfn|Ballentine|1998}}

典型的には、ETH は少数の粒子のみを含むようなオブザーバブルに対して成り立つと予想されている。{{sfn|Rigol|Srednicki|2012}}
例として粒子気体中の与えられた運動量の占有や、{{sfn|Rigol|Srednicki|2012}}{{sfn|Rigol|Dunjko|Olshanii|2009}}粒子の格子系の特定サイトの占有などが挙げられる。{{sfn|Rigol|Dunjko|Olshanii|2009}}
ETH はこれらのように単純な少数多体の演算子に対して通常適用されるが、{{sfn|Rigol|Srednicki|2012}} これらのオブザーバブルは[[局所性]]を必ずしも必要としない点は注意すべきである。{{sfn|Rigol|Dunjko|Olshanii|2009}}
例えば、前述の運動量の占有を表す数演算子は局所的な量になっていない。{{sfn|Rigol|Dunjko|Olshanii|2009}}

伝統的な統計力学の予測に反し、孤立した非可積分系において熱平衡化しない例も興味深い対象である。{{仮リンク|多体局在|en|many body localization}}を示す無秩序系はこのような熱平衡化しない可積分系の候補であり、励起状態が基底状態に非常に近い熱力学特性を持つ可能性を持っている。{{sfn|Huse|Nandkishore|Oganesyan|Pal|2013}}{{sfn|Basko|Aleiner|Altshuler|2006}} 
完全に孤立し、静的な無秩序性を持たない非可積分系について、系が熱平衡化しない例が存在するかは未解決である。一つの興味深い可能性として
{{en|quantum disentangled liquid}} の実現が挙げられる。{{sfn|Grover|Fisher|2013}} また、すべての固有状態が熱平衡化する系において ETH に従うかも未解決である。

== 注釈 ==

{{reflist|group=注}}

== 出典 ==

{{Reflist}}

== 参考文献 ==

* {{cite journal|first=Mark|last=Srednicki|title=Chaos and Quantum Thermalization|date=1994-08-01|bibcode=1994PhRvE..50..888S|doi=10.1103/PhysRevE.50.888|journal=Physical Review E|volume=50|issue=2|pages=888–901|pmid=9962049|arxiv=cond-mat/9403051v2|s2cid=16065583|ref={{sfnref|Srednicki|1994}}}}
* {{cite journal|first=J.M.|last=Deutsch|title=Quantum statistical mechanics in a closed system|journal=Physical Review A|volume=43|date=1991-02-01|pages=2046–2049|doi=10.1103/PhysRevA.43.2046|issue=4|pmid=9905246|bibcode = 1991PhRvA..43.2046D|ref={{sfnref|Deutsch|1991}}}}
* {{cite book|last=Reichl |first=Linda E.|date=2009-08-03|title=A Modern Course in Statistical Physics|edition=3rd|publisher=Wiley-VCH|isbn=978-3527407828|ref={{sfnref|Reichl|2009}}}}
* {{cite journal|first=Mark|last=Srednicki|title=The approach to thermal equilibrium in quantized chaotic systems|date=1999-02|doi=10.1088/0305-4470/32/7/007|journal=Journal of Physics A: Mathematical and General|volume=32|issue=7|pages=1163–1175|arxiv=cond-mat/9809360|bibcode = 1999JPhA...32.1163S |s2cid=15771750|ref={{sfnref|Srednicki|1999}}}}
* {{cite journal|first=Marcos |last=Rigol|first2=Mark|last2=Srednicki|title=Alternatives to Eigenstate Thermalization|date=2012-03-14|doi=10.1103/PhysRevLett.108.110601|journal=Physical Review Letters|volume=108|issue=11|arxiv=1108.0928|bibcode = 2012PhRvL.108k0601R|pmid=22540449|page=110601|s2cid=20474607|ref={{sfnref|Rigol|Srednicki|2012}}}}
* {{cite journal|author1=Marcos Rigol|first2=Vanja|last2=Dunjko|first3=Maxim|last3=Olshanii|title=Thermalization and its mechanism for generic isolated quantum systems|date=2009|doi=10.1038/nature06838|journal=Nature|volume=452|issue=7189|pages=854–8|pmid=18421349|arxiv=0708.1324|bibcode = 2008Natur.452..854R |s2cid=4384040|ref={{sfnref|Rigol|Dunjko|Olshanii|2009}}}}
* {{cite journal|first=Amy C.|last=Cassidy|first2=Charles W.|last2=Clark|first3=Marcos|last3=Rigol|title=Generalized Thermalization in an Integrable Lattice System|date=2011|doi=10.1103/PhysRevLett.106.140405|journal=Physical Review Letters|volume=106|issue=14|arxiv=1008.4794|bibcode = 2011PhRvL.106n0405C|pmid=21561173|page=140405|s2cid=11926058|ref={{sfnref|Cassidy|Clark|Rigol|2011}}}}
* {{cite journal|doi=10.1103/PhysRevLett.121.190601|title=Quantum annealing and thermalization: insights from integrability|first=F. |last=Li |first2=V. Y. |last2=Chernyak  |first3=N. A. |last3=Sinitsyn |journal=[[Physical Review Letters]]|volume=121|date=2018|issue=19|pages=190601|bibcode= 2018arXiv180400371L|arxiv=1804.00371 |pmid=30468584|s2cid=53594139|ref={{sfnref|Li|Chernyak|Sinitsyn|2018}}}}
* {{Cite journal|last1=Buča|first1=Berislav|last2=Tindall|first2=Joseph|last3=Jaksch|first3=Dieter|date=2019-04-15|title=Non-stationary coherent quantum many-body dynamics through dissipation|url= |journal=Nature Communications|language=en|volume=10|issue=1|pages=1730|doi=10.1038/s41467-019-09757-y|issn=2041-1723|pmc=6465298|pmid=30988312|ref={{sfnref|Buča|Tindall|Jaksch|2019}}}}
* {{cite journal|first=Sanjay|last=Hortikar|first2=Mark|last2=Srednicki|title=Random Matrix Elements and Eigenfunctions in Chaotic Systems|date=1998|doi=10.1103/PhysRevE.57.7313|journal=Physical Review E|volume=57|issue=6|pages=7313|arxiv=chao-dyn/9711020|bibcode = 1998PhRvE..57.7313H |s2cid=18466081|ref={{sfnref|Hortikar|Srednicki|1998}}}}
* {{cite book|last=Ballentine |first=Leslie E.|date=1998|title=Quantum Mechanics: A Modern Development|publisher=World Scientific|isbn=981-02-4105-4|ref={{sfnref|Ballentine|1998}}}}
* {{cite journal|first=David A. |last=Huse|first2=Rahul|last2=Nandkishore|first3=Vadim|last3=Oganesyan|first4=Arijeet|last4=Pal|first5=S. L.|last5=Sondhi|title=Localization protected quantum order|date=2013|doi= 	10.1103/PhysRevB.88.014206|arxiv=1304.1158|bibcode = 2013PhRvB..88a4206H|volume=88|journal=Physical Review B|issue=1|page=014206|s2cid=106398202|ref={{sfnref|Huse|Nandkishore|Oganesyan|Pal|2013}}}}
* {{cite journal|first=D.M.|last=Basko|first2= I.L|last2=Aleiner|first3= B.L|last3=Altshuler|title=Metal-insulator transition in a weakly interacting many-electron system with localized single-particle states|date=2006|doi=10.1016/j.aop.2005.11.014|arxiv=cond-mat/0506617|bibcode = 2006AnPhy.321.1126B|volume=321|journal=Annals of Physics|issue= 5|pages=1126–1205|s2cid= 18345541|ref={{sfnref|Basko|Aleiner|Altshuler|2006}}}}
* {{cite journal|first=Tarun|last=Grover|first2= Matthew P. A.|last2=Fisher|title=Quantum Disentangled Liquids|date=2013|arxiv=1307.2288|doi=10.1088/1742-5468/2014/10/P10010|volume=2014|journal=Journal of Statistical Mechanics: Theory and Experiment|issue= 10|page=P10010|bibcode=2014JSMTE..10..010G|s2cid= 118646968|ref={{sfnref|Grover|Fisher|2013}}}}

== 外部リンク ==
* [http://online.kitp.ucsb.edu/online/qdynamics12/srednicki/ "Overview of Eigenstate Thermalization Hypothesis"] by Mark Srednicki, UCSB, KITP Program: Quantum Dynamics in Far from Equilibrium Thermally Isolated Systems
* [http://online.kitp.ucsb.edu/online/fuzzorfire-m13/srednicki/ "The Eigenstate Thermalization Hypothesis"] by Mark Srednicki, UCSB, KITP Rapid Response Workshop: Black Holes: Complementarity, Fuzz, or Fire?
* [http://online.kitp.ucsb.edu/online/joefest-c14/fisher/ "Quantum Disentangled Liquids"] by Matthew P. A. Fisher, UCSB, KITP Conference: From the Renormalization Group to Quantum Gravity Celebrating the science of Joe Polchinski

== 関連項目 ==

* [[熱力学]]
* [[揺動散逸定理]]
* [[非平衡熱力学]]
* [[統計力学]]
* [[配置エントロピー]]
* [[カオス理論]]
* [[量子統計力学]]
* [[ミクロカノニカルアンサンブル]]
* [[H定理]]

{{DEFAULTSORT:こゆうしようたいねつかかせつ}}
[[Category:量子力学]]
[[Category:統計力学]]
[[Category:熱力学]]