ブロッホ＝ドミニシスの定理
統計物理学において、ブロッホ＝ドミニシスの定理（）とは、量子多体系における熱平均で定義された多点相関関数を、2点相関関数の組み合わせ和に分解する定理。場の量子論の真空期待値に関するウィックの定理に対し、有限温度の系での類似版に相当しており、ウィックの定理とも呼ばれる。物理学者 松原武生によって、温度グリーン関数の理論展開ともに導入された。定理の名は、最初に完全な証明を与えた物理学者C. ブロッホとC. T. ドミニシスに因む。
"A" を生成演算子"a"、または消滅演算子"a"、もしくはそれらを虚時間で相互作用表示したものとする。ここで、相互作用表示において、非摂動系の自由ハミルトニアンは
のように2次形式で表されているとする。また平均値formula_2はformula_3による非摂動系でのグランドカノニカル分布の熱平均を表すものとする。
このとき、この熱平均で定義される"n"点相関関数は、"n"が偶数である場合のみゼロにならず、
が成り立つ。ここで現れる2点相関関数は縮約（contraction）と呼ばれる。また、(±1)の項はフェルミ粒子での演算子の順番の並び替えにおいて、隣合う演算子同士を置き換える際に生じる符号の反転を表しており、符号は正がボーズ粒子、負がフェルミ粒子に対応するものとする。以降、本項に現れる複合の符号は全て、上がボーズ粒子、下がフェルミ粒子に対応するものとする。
さらに、"n"が偶数であるときは、この結果を繰り返し適用することで、
と全ての演算子の縮約の組み合わせ和に分解できる。ここで、"P" は(1, 2, …, "n")→("i", "i", …, "i")なる置換を表し、和Σ'において、ここの縮約で対となる演算子は、"i" < "i"を満たし、全体としては"i" < "i" < …< "i"の順序が満たされる項について和をとるものする。また、(±1)は、フェルミ粒子の隣合う演算子同士の並び替えの際に付与する正負の符号の変化を表し、ボーズ粒子については+1、フェルミ粒子については演算子の並び替えの回数に応じた符号（置換の符号）を与えるものとする。これをブロッホ＝ドミニシスの定理またはウィックの定理と呼ぶ。
縮約について、記法
を導入すれば、全ての可能な縮約の組み合わせをとるというブロッホ＝ドミニシスの定理は
とも表すことができる。但し、複数個の演算子の縮約については、
のように、同じ右付き添え字の演算子同士の縮約を行い、さらにフェルミ粒子の場合には演算子の入れ替えの回数に応じた符号を与えるものとする。
"A" ="A" (τ)が虚時間での相互作用表示の演算子であるとし、虚時間に対する時間順序積をとる場合にも、同様にブロッホ＝ドミニシスの定理
が成り立つ。
この場合も縮約について、
となる記法を導入すれば、
と表すことができる。
ブロッホ＝ドミニシスの定理により、3点相関関数、4点相関関数について
が成り立つ。
時間順序積をとる場合にも同様に
が成り立つ。
量子多体系における温度グリーン関数の理論では、温度グリーン関数によって系の様々な物理量を求めることができるともに、摂動計算を系統的に行うことができる。ここで演算子"A", "B" の温度グリーン関数は
で定義される2点相関関数である。但し、記号formula_17は
で定義されるグランドカノニカル分布での熱平均であり、"H" はハミルトニアン、"N" は数演算子、"β"は逆温度、"μ"は化学ポテンシャルを表す。また"A" ("τ")は
で定義される虚時間"τ"=i"t" についてのハイゼンベルグ表示の演算子である。"T"は虚時間についての時間順序積であり、
を意味する。
一般に温度グリーン関数の計算において、相互作用にある系では、
とハミルトニアンを可解な非摂動項と相互作用を含む摂動項に分け、相互作用表示の演算子
に対して、摂動計算を行うことが必要となる。このとき、摂動計算において、
という高次の相関関数が現れる。ブロッホ＝ドミニシスの定理は、こうした多点相関関数を縮約
に分解し、実際の計算を可能にする。
ブロッホ＝ドミニシスの定理は、古典系におけるガウス過程の持つ性質を量子系に拡張したものに相当する
。実際、分布が
で与えられるガウス過程を考えると
が成り立つ。ここではこの分布に対する期待値、はキュムラントを表すものとする。
また、右辺の和は、"X",…,"X"をいくつかの集まりに分割する全ての組み合わせにわたってとるものである。例えば、3点相関関数、4点相関関数については、
さらに全ての"X"について、⟨"X"⟩=0であるとするならば、ブロッホ＝ドミニシスの定理と同様に"n"点相関関数は、"n"が偶数である場合のみゼロにならず、
と2点相関関数の組み合わせ和に分解される。