コンテンツにスキップ

「分配函数 (場の量子論)」の版間の差分

出典: フリー百科事典『ウィキペディア(Wikipedia)』
削除された内容 追加された内容
m 仮リンクの修正もしくは解消
追記。
 
1行目: 1行目:
{{要改訳}}{{場の量子論}}
{{要改訳}}{{場の量子論}}
[[場の量子論]]では、'''分配函数'''(partition function) Z[J] は、[[相関関数 (場の量子論)|相関函数]]の[[母函数]]である。通常、分配函数は、次の{{仮リンク|汎函数積分|en|functional integral}}の形で表現される。
[[場の量子論]]では、'''分配函数''' (ぶんぱいかんすう、{{Lang-en-short|partition function}}) Z[J] は、[[相関関数 (場の量子論)|相関函数]]の[[母函数]]である。通常、分配函数は、次の{{仮リンク|汎函数積分|en|functional integral}}の形で表現される。


:<math>Z[J] = \int \mathcal{D}\phi e^{i(S[\phi]+\int d^dx J(x)\phi(x))}</math>
:<math>Z[J] = \int \mathcal{D}\phi e^{i(S[\phi]+\int d^dx J(x)\phi(x))}</math>
74行目: 74行目:
The generating functional is the holy grail of any particular field theory: if you have an exact closed-form expression for <math>Z[J]</math> for a particular theory, you have solved it completely. <ref>http://www.amazon.com/Quantum-Field-Theory-Standard-Model/dp/1107034736, Ch.14, p.262</ref>-->
The generating functional is the holy grail of any particular field theory: if you have an exact closed-form expression for <math>Z[J]</math> for a particular theory, you have solved it completely. <ref>http://www.amazon.com/Quantum-Field-Theory-Standard-Model/dp/1107034736, Ch.14, p.262</ref>-->


統計力学の分配函数とは異なり、場の量子論の分散函数は、作用の先頭に余剰な因子 i を付加し、実数ではなく複素数で積分する。このことは、しばしば[[ウィック回転]]をするかのように誤って理解されているが{{by whom|date=May 2014}}、そうではない。むしろ i の意味は、場 <math>\phi</math> を量子力学的な[[波動関数#確率振幅|確率振幅]]として理解すべきであり、値を[[複素射影空間]]に取るという事実と理解すべきである。(複素射影空間は、複素[[ヒルベルト空間]]であるが、確率振幅は 1 に依然として正規化されているので、「射影的」という用語をつけた。)これとは対照的に、より伝統的な分配函数は、確率変数が実数に値をとり、[[:en:simplex|単体]](simplex)上を渡ることを意味する。-- 単体とは累計として合計すると 1 となるようなコンパクトな幾何学的な領域を言う。因子 i は複素射影空間の中の体積という自然な測度の[[ヤコビ行列|ヤコビ行列式]]として理解することができる。(非常にまれではあるが)複素数に値をとる確率振幅がある他の[[数学的空間]]に値をとるような場に置き換わる場合は、i はこの空間により適切な因子(つまり、ヤコビ行列式)に代わるべきである。
統計力学の分配函数とは異なり、場の量子論の分散函数は、作用の先頭に余剰な因子 i を付加し、実数ではなく複素数で積分する。このことは、しばしば[[ウィック回転]]をするかのように誤って理解されているが{{by whom|date=May 2014}}、そうではない。むしろ i の意味は、場 <math>\phi</math> を量子力学的な[[波動関数#確率振幅|確率振幅]]として理解すべきであり、値を[[複素射影空間]]に取るという事実と理解すべきである。(複素射影空間は、複素[[ヒルベルト空間]]であるが、確率振幅は 1 に依然として正規化されているので、「射影的」という用語をつけた。)これとは対照的に、より伝統的な分配函数は、確率変数が実数に値をとり、[[:en:simplex|単体]] (simplex) 上を渡ることを意味する。-- 単体とは累計として合計すると 1 となるようなコンパクトな幾何学的な領域を言う。因子 i は複素射影空間の中の体積という自然な測度の[[ヤコビ行列|ヤコビ行列式]]として理解することができる。(非常にまれではあるが)複素数に値をとる確率振幅がある他の[[数学的空間]]に値をとるような場に置き換わる場合は、i はこの空間により適切な因子(つまり、ヤコビ行列式)に代わるべきである。
<!---== Complex-valued action ==
<!---== Complex-valued action ==
Unlike the partition function in statistical mechanics, the partition function in quantum field theory contains an extra factor of ''i'' in front of the action, making the integrand complex, not real. It is sometimes mistakenly implied{{whom|date=May 2014}} that this has something to do with [[Wick rotation]]s; this is not so. Rather, the ''i'' has to do with the fact that the fields <math>\phi</math> are to be interpreted as quantum-mechanical [[probability amplitude]]s, taking on values in the [[complex projective space]] (complex [[Hilbert space]], but the emphasis is placed on the word ''projective'', because the probability amplitudes are still normalized to one). By contrast, more traditional partition functions involve random variables that are real-valued, and range over a [[simplex]]--a simplex, being a compact geometric domain admitting a cumulative sum of one. The factor of ''i'' can be understood to arise as the [[Jacobian matrix and determinant|Jacobian]] of the natural measure of volume in complex projective space. For the (highly unusual) situation where the complex-valued probability amplitude is to be replaced by some other field taking on values in some other [[mathematical space]], the ''i'' would be replaced by the appropriate geometric factor (that is, the Jacobian) for that space.-->
Unlike the partition function in statistical mechanics, the partition function in quantum field theory contains an extra factor of ''i'' in front of the action, making the integrand complex, not real. It is sometimes mistakenly implied{{whom|date=May 2014}} that this has something to do with [[Wick rotation]]s; this is not so. Rather, the ''i'' has to do with the fact that the fields <math>\phi</math> are to be interpreted as quantum-mechanical [[probability amplitude]]s, taking on values in the [[complex projective space]] (complex [[Hilbert space]], but the emphasis is placed on the word ''projective'', because the probability amplitudes are still normalized to one). By contrast, more traditional partition functions involve random variables that are real-valued, and range over a [[simplex]]--a simplex, being a compact geometric domain admitting a cumulative sum of one. The factor of ''i'' can be understood to arise as the [[Jacobian matrix and determinant|Jacobian]] of the natural measure of volume in complex projective space. For the (highly unusual) situation where the complex-valued probability amplitude is to be replaced by some other field taking on values in some other [[mathematical space]], the ''i'' would be replaced by the appropriate geometric factor (that is, the Jacobian) for that space.-->


==脚注==
==脚注==
{{脚注ヘルプ}}
<references/>
<references/>
==参考文献==
==参考文献==
* [[Hagen Kleinert|Kleinert, Hagen]], ''Path Integrals in Quantum Mechanics, Statistics, Polymer Physics, and Financial Markets'', 4th edition, World Scientific (Singapore, 2004); Paperback ISBN 981-238-107-4 '' (also available online: [http://www.physik.fu-berlin.de/~kleinert/b5 PDF-files])''
* [[Hagen Kleinert|Kleinert, Hagen]], ''Path Integrals in Quantum Mechanics, Statistics, Polymer Physics, and Financial Markets'', 4th edition, World Scientific (Singapore, 2004); Paperback ISBN 981-238-107-4 '' (also available online: [http://www.physik.fu-berlin.de/~kleinert/b5 PDF-files])''


{{デフォルトソート:ふんさんかんすう}}
{{デフォルトソート:ふんはいかんすう}}
[[Category:場の量子論]]
[[Category:場の量子論]]



2023年2月24日 (金) 16:04時点における最新版

場の量子論
(ファインマン・ダイアグラム)
歴史

場の量子論では、分配函数 (ぶんぱいかんすう、: partition function) Z[J] は、相関函数母函数である。通常、分配函数は、次の汎函数積分英語版の形で表現される。

ここに S は作用汎函数とする。

場の量子論における分配函数は、数学的な分配函数の特別の場合であり、統計力学の分配函数と関係している。二番目の差異は、より単純な分配函数の定義に見られるランダム変数可算個の集まりが、非可算な集合に取って替わられ、従って、場 を渡る汎函数積分英語版を使うことが必須となる。

適用方法

[編集]

n-点相関関数 は、次のような経路積分の定式化を使い表現することができる。

.

この式の左辺は、S-行列要素の計算で使われる時間順序積である。右辺の は、場の構成に値を持つことのできる古典的作用 により与えられることのできる、すべての古典的場の構成 上を渡り積分することを意味する[1]。母函数 は、上の経路積分を計算するために、任意函数 (この脈絡では「カレント」(current)と呼ばれる)を使い、計算することができる。

(4-次元での)定義より、

を得て、n-点相関函数 の汎函数の微分を使い、この函数は次のように理解することができる。

統計力学との関係

[編集]

母函数は、統計力学の分配函数の場の量子論の類似である。このことは、系について知りたいと思うもののすべてを教えてくれる。母函数は、任意の個別の場の理論の高級な枠組みである。ある特別な理論の for が完全閉形式であれば、完全にこれを解くことができる[2]

統計力学の分配函数とは異なり、場の量子論の分散函数は、作用の先頭に余剰な因子 i を付加し、実数ではなく複素数で積分する。このことは、しばしばウィック回転をするかのように誤って理解されているが[誰によって?]、そうではない。むしろ i の意味は、場 を量子力学的な確率振幅として理解すべきであり、値を複素射影空間に取るという事実と理解すべきである。(複素射影空間は、複素ヒルベルト空間であるが、確率振幅は 1 に依然として正規化されているので、「射影的」という用語をつけた。)これとは対照的に、より伝統的な分配函数は、確率変数が実数に値をとり、単体 (simplex) 上を渡ることを意味する。-- 単体とは累計として合計すると 1 となるようなコンパクトな幾何学的な領域を言う。因子 i は複素射影空間の中の体積という自然な測度のヤコビ行列式として理解することができる。(非常にまれではあるが)複素数に値をとる確率振幅がある他の数学的空間に値をとるような場に置き換わる場合は、i はこの空間により適切な因子(つまり、ヤコビ行列式)に代わるべきである。

脚注

[編集]
  1. ^ http://www.amazon.com/Quantum-Field-Theory-Standard-Model/dp/1107034736, Ch.14
  2. ^ http://www.amazon.com/Quantum-Field-Theory-Standard-Model/dp/1107034736, Ch.14, p.262

参考文献

[編集]
  • Kleinert, Hagen, Path Integrals in Quantum Mechanics, Statistics, Polymer Physics, and Financial Markets, 4th edition, World Scientific (Singapore, 2004); Paperback ISBN 981-238-107-4 (also available online: PDF-files)