場の量子論のソースを表示

{{正確性|date=2011年8月}}
{{独自研究|date=2012年1月}}

{{場の量子論}}
'''場の量子論'''（ばのりょうしろん: Quantum Field Theory）は、[[量子化]]された[[場]]（[[素粒子物理]]ではこれが[[素粒子]]そのものに対応する）の性質を扱う理論である。

== 概要 ==
現代的な立場では、量子論の中でも、基本変数として「[[粒子]]や[[剛体]]の[[古典力学]]と同じもの（たとえば[[位置]]と[[運動量]]）」に選び、足りないもの（[[スピン]]など）は適宜補った量子論を「'''[[量子力学]]'''」と呼び、基本変数として「[[場]]とその時間微分または共役運動量」に選んだ量子論を「'''場の量子論'''」と呼ぶ。量子力学は、場の量子論を低エネルギー状態に限った時の近似形として得られる。現代では、古典的に場であったもの（[[電磁場]]など）だけでなく、古典的に粒子とみなされてきた物理系（[[電子]]など）の量子論も、場を基本変数にしたほうが良いことが判っている。<ref>{{Cite book|和書|author=[[清水明]]|year=2004|title=新版 量子論の基礎―その本質のやさしい理解のために―|publisher=[[サイエンス社]]|id=ISBN 4-7819-1062-9}}</ref>

場の量子論は、高エネルギーの系や、凝縮系（[[多体問題|多体系]]）を記述する。場の量子論は[[特殊相対論|特殊相対論的]]要請を満たす形式を備え、量子力学と特殊相対性理論の両方を満足する。[[素粒子物理]]、[[原子核物理学]]や[[物性物理]]といった領域で、基礎理論として用いられる。
; 素粒子物理学 : 素粒子の振る舞いを記述するのに用いられる。素粒子が反応し新たな素粒子となる現象はその一例である。[[量子電磁力学]]、[[ワインバーグ・サラム理論]]、[[量子色力学]]といった、実験によって検証されている理論や、[[弦理論]]等の[[仮説]]上の理論が、場の量子論を基礎として研究されている。
; 物性物理学 : [[臨界|臨界現象]]・[[相転移]]などの多体論的効果を記述する。[[超伝導]]の[[BCS理論]]、[[相転移|量子相転移]]といった物理が、場の量子論の文脈により理解される。

[[摂動論|摂動的]]場の量子論では、粒子の間に働く力は、力を伝える粒子の交換により生じる。例として[[電子]]の間に働く[[電磁力]]は、[[光子]]の交換により生じる。同様に、[[ウィークボソン]]は[[弱い力]]を媒介し、[[グルーオン]]は[[強い力]]を媒介する。

力を媒介するのと同じ場の[[励起]]である光子が、塊状の[[波]]として電磁波となり、またナノスケールの現象においては粒子のように振舞う。電子も同様で、対応した場の励起として表される。このように、古典物理での粒子と場は、場の量子論により粒子と場の2重性を持つ形式に書き改められる。

初めに完成した場の量子論は、[[電磁場]]に適用した[[量子電磁力学]]である。この理論は、非常に高い精度で実験結果と一致し、[[繰り込み]]や[[ゲージ理論|ゲージ]]を用いる方法は[[ワインバーグ＝サラム理論]]や[[量子色力学]]の基礎となった。

=== 数学的手法 ===
;量子化・相対論化
量子力学を場の量子論に拡張するために、場における粒子の生成／消滅を扱う[[生成消滅演算子]]を導入することで、場の量子化を行うことができる。また、場の[[波動関数]]を場の量子化によって[[ディラック方程式]]に還元することで、相対論的不変形式へと相対論化できる。

;ゲージ・繰り込み
素粒子間の力の[[相互作用]]は[[ゲージ理論]]によって記述され、[[発散]]の問題は[[繰り込み]]で回避される。

== 成立史 ==
=== 背景 ===
[[ジェームズ・クラーク・マクスウェル]]の[[古典電磁気学]]では、粒子（荷電粒子）が場（電磁場）を生み、場が粒子に力を与える。これは、場の理論の最初の定式化である。

<!--
=== 量子力学 ===
1925年、[[ヴェルナー・ハイゼンベルク]]が[[量子力学]]を建設する。この理論は、[[電子]]の位置が波のように広がっている（[[波動関数]]）ことを意味する[[確率解釈]]を与えた。すなわち、物質粒子は物質場とみなすことができる。これは、粒子の量子力学化・波動性の理論化である。力を伝える場の問題が残っていた。
-->
=== 原型 ===
1927年から1928年、[[ポール・ディラック]]による古典電磁気学の量子化、[[オスカル・クライン]]、[[パスクアル・ヨルダン]]、[[ユージン・ウィグナー]]および[[ウラジミール・フォック]]による[[生成消滅演算子]]が形成され、場の量子論の原型を[[ヴェルナー・ハイゼンベルク]]と[[ヴォルフガング・パウリ]]が創った。これは後に、[[ディラック方程式]]と同等であることが判明する。

ハイゼンベルグは、場において粒子が力を伝えるという見解を打ち出した。これが湯川の強い力（中間子）、フェルミの弱い力（電子）の元となる。しかし、湯川の強い力にハイゼンベルグ・ボーアは否定的であり、確立されていなかった。

=== 相対論的共変・繰り込み ===
ハイゼンベルクおよびパウリらが作った原型は[[相対論]]を満たすが、相対論的共変形式を満たさなかった。1943年、[[朝永振一郎]]が[[超多時間理論]]でこれを解決する。これは1932年に[[ポール・ディラック]]が提唱した多時間理論（相互作用をしている電子一つ一つに独立な時間を与える）の電子の生成・消滅を含まないという欠点を改めたものである。また、[[リチャード・ファインマン]]も[[経路積分]]を完成し、また[[ジュリアン・シュウィンガー]]もこの問題を独立して解決する。後に経路積分の方が一般的に使われるようになる。

=== ゲージ理論 ===
[[ゲージ理論]]の概念は、1918年に[[ヘルマン・ワイル]]が創造した。ワイルは時空点ごとに「ゲージ」（ものさし）を与え、時空点が変わっても、理論が変わらないようゲージを決める（ゲージは一種の自由度で、理論不変なようにゲージ自由度を与える）ことを要求し、電磁場の導出を試みたが、実験と合わなかった。1927年、[[フリッツ・ロンドン]]は、長さを位相に変え、ゲージ理論の有効性を証明した。

<!-- (ゲージという単語の使い方が独特なため、一旦コメントアウト。「繰り込み」に回すべきだけど、全面的に書き換えが必要)
[[朝永振一郎]]は、1943年の超多時間理論の第一報（英訳1948年）に続く1948年の第二報で[[ゲージ理論|可換ゲージ]]を論じ（「量子電磁気学」-「相対論的場の量子論」の「可換ゲージ」）、第三・四報で強い力と弱い力を論ずる。新たに創った場の量子論を基に、1947-1949年、繰り込み理論を形成する。
-->
1954年、[[楊振寧]]および[[ロバート・ミルズ]]はゲージ対称性を非アーベル群に拡張した理論を定式化した（[[ヤン＝ミルズ理論|非可換ゲージ理論]]）。（[[ヴォルフガンク・パウリ]]、[[内山龍雄]]も独立して同様の理論を発見している。発表が遅れたため、パウリや内山らは非可換ゲージ理論の発見者と見なされない。）[[内山龍雄]]は[[重力場]]を含む形に拡張した（このため、ヤン＝ミルズ＝内山理論と呼ぶ人もいる）。この非可換ゲージ理論は、後に[[量子色力学]]や[[ワインバーグ＝サラム理論]]を定式化する際に用いられた。

=== クォーク模型 ===
1964年、[[マレー・ゲルマン]]、[[ユヴァル・ネーマン]]および[[ジョージ・ツワイク]]により独立に[[クォーク模型]]が見出された。この原型は[[坂田昌一]]による坂田模型と、その[[フレーバー (素粒子)|フレーバー]]変換を[[群論]]形式で記述する方法を確立した[[大貫義郎]]らによるIOO理論[[SU(3)]]である。（これはクォーク模型の原型における対称性を群論で記述した最初の事例であり、素粒子論の核で群論を使う以後の流れを決定づける。

[[量子力学]]での[[群論]]の最初は、ヘルマン・ワイル1927年である。[[原子スペクトル]]の対称性を記述<ref>[http://www.gap-system.org/~history/Biographies/Wigner.html Wigner Biography]</ref>。また、1939年、[[ユージン・ウィグナー]]が[[原子核]]をSU(4) で記述する<ref>Ann. of Math. (2) 40 (1939), 149-204</ref>。しかし素粒子論の核での使用でなかった。これらは、素粒子の基本構造に迫るものではなく、素粒子研究で注目を浴びなかった。

IOO対称性は、素粒子の基本構造を始めて確立した。その後、クォークの基礎となる８道説や1/3電荷は、日本でも提案されたが、本格的に取り組まれないまま、ゲルマンなどのクォーク模型がでる。[[クォーク]]に対応する[[グルーオン]]（力を伝える粒子）が担う場は、[[ゲージ理論]]によってゲージ場として記述される。

=== 自発的対称性の破れ ===
ゲージ理論では、[[ゲージ対称性]]を満たす場合、必然的にゲージ場の質量がゼロになる。しかし、光子を除く現実の粒子は質量を持ち、質量が力の及ぶ範囲を決める。1964年、これを救ったのが、[[ピーター・ヒッグス]]らの[[ヒッグス機構]]で、[[南部陽一郎]]の[[自発的対称性の破れ]]を使い解決した。電弱統一理論で、高温状態で電磁力と弱い力が区別できなくなることを示す。

自発的対称性の破れの概念は、ハイゼンベルグが強磁性体モデルにおけるスピンのSU(2)回転対称性について論じたのが始まりとされる。1960年に南部は、[[超伝導]]の[[BCS理論]]をヒントに対称性の自発的破れの概念を場の量子論において定式化した。<ref>[http://cms.phys.s.u-tokyo.ac.jp/pdf/nambu09.pdf 南部理論と物性物理学]</ref><ref>[http://plato.stanford.edu/entries/symmetry-breaking/ Symmetry and Symmetry Breaking]</ref>。

=== 量子色力学・ワインバーグサラム理論 ===
量子電磁力学 (QED) は可換ゲージ理論である。一方、量子色力学 (OCD) およびワインバーグ＝サラム理論は非可換ゲージ理論である。量子色力学は3つの場のからみ合いであり、ゲージも3×3の行列となり、QEDの可換ゲージから、非可換ゲージにかわる。

弱い力と電磁相互作用は、1967年、場の量子論の枠組みで非可換ゲージ形式の[[ワインバーグ＝サラム理論]]により統一される。

強い力は、[[クォーク模型]]の完成後、1971年に[[ヘーラルト・トホーフト]]の非可換ゲージの繰り込み可能性の証明を経て、1973年に[[繰り込み群]]を使った[[デイビッド・グロス]]らによって場の量子論の枠組みで非可換ゲージ形式の[[量子色力学]] (QCD) が完成する。

== 場の量子化 ==
=== 量子力学と生成消滅演算子  ===
量子力学での生成消滅演算子について。
:（電磁場はＡ(x,t)すなわち、空間と時間を引数とする場の量として表される。）

;前提 
:;[[ハミルトニアン]] 
::粒子の運動は粒子エネルギーを表すハミルトニアン  H＝T＋Vをつかい、例えば[[シュレディンガー方程式]]で表される。
::H＝T＋V　　　　H；ハミルトニアン（粒子のエネルギー）、T；運動エネルギー、V；ポテンシャルエネルギー
:;[[調和振動子]]
::ハミルトニアンは、バネに例えられる調和振動子の和として表せる。（調和振動子だけでなくいろいろな形式がある。）
:;[[生成消滅演算子]]　　調和振動子の生成消滅演算子の項を参照
::系のエネルギーH＝T＋Vを、虚数を使い因数分解すると生成消滅演算子が出来る。（いろいろな作り方があり、いろいろな形式がある。）
::生成消滅演算子は、粒子を真空から励起させたり、消滅させたりする演算子となる。
::これらを使い、場の形式になった粒子を再び場の形式に落としこめる。
:;量子力学
::物質を場（状態-確率場）で表す。
::物質粒子（電子）のハミルトニアンをψ(x,t)という場の量で記述する。この場の量は調和振動子であらわせる。
:::ψが従う調和振動子は、空間の微細分割個所に、バネが存在し、振動が互いに影響を及ぼしあうイメージでよい。
:::以上で、粒子を場で表した。
::場で表した物質を粒子に戻す。
:::場の量ψから「粒子」の性質を導き出せる。
::::生成消滅演算子に変換し、状態（確率場）に作用させると、粒子がn個、励起される。これで、粒子の持つ個数の性質が出てくる。
:::これを第二量子化という。「励起状態」は、複数の電子の運動を表す。粒子を場にし、場を粒子に戻すという意味。場の量子化は、次。

=== 場の量子論===
場に対し、量子力学と同様の方法で、場を作用素とみなし、量子化を実行し、生成消滅演算子を作用させると粒子性がでてくる。

[[量子力学]]では運動量などの[[物理量]]を演算子で置き換える[[量子化]]を行う。同様に[[電磁気学]]の電磁場を演算子に置き換えることを場の量子化という。つまり場の量子化で量子化されるのは「波動関数」ではなく「物理量としての場」である。（場の量子論での定義）

したがって、多体量子系を生成・消滅演算子で記述する理論である[[第二量子化]]とは異なる。ただ、歴史的な事情で場の量子化を第二量子化と呼ぶこともある。（量子力学と生成消滅演算子での定義）

物質粒子も電磁場も、空間の到る所に存在する「場」で表される。
:真空には、Ａやψのような場の量が存在し、場の量は僅かに振動している。完全な「虚空」は存在しない。
:場の量子論は、物質と力の二元論を否定し、物質粒子も電磁場も同じ形式の場の量で表す。さらに場は粒子の形をし、粒子は場の形をし、粒子は場の力を伝える媒体となる。（ただし、粒子と場の力を伝える粒子は異なる。）
:場の量子論は、粒子を場＋粒子とするが、力を伝える場（電磁場）も同様に場＋粒子とし、場も粒子も同一形式で扱う基礎理論である。

== 理論とラグランジアンの例 ==
以下では簡単な例について、理論の出発点となるラグランジアン（厳密にはラグランジアン密度であるが、どちらかは文脈上ほぼ明らかなので、曖昧に使われることが多い）を挙げる。ラグランジアンは基本的には、運動項とポテンシャル項の差として書かれる。
{{Indent|
<math>\mathcal{L}(\phi(x),\partial\phi(x))
 =(\text{Kinetic term}) -(\text{Potential term})</math>
}}
局所性や対称性などの幾つかの要請を課すことによってラグランジアンの形は制限される。

ラグランジアン <math>L</math> とラグランジアン密度 <math>\mathcal{L}</math> の関係は3次元空間(+時間1次元)の場合、
{{Indent|
<math>L=\int \!\! d^3x\, \mathcal{L}(\phi,\partial\phi)</math>
}}
である。

=== シュレディンガー場のラグランジアン ===
非相対論的理論(物性理論等)で用いられる[[シュレディンガー方程式|シュレディンガー場]](ド・ブロイ場) &psi;(x) のラグランジアンは
{{Indent|
<math>\mathcal{L}(\psi,\nabla\psi, \frac{\partial \psi}{\partial t})
 =i \hbar \psi^{\dagger} \frac{\partial \psi}{\partial t}
 -\frac{\hbar^2}{2m}\nabla\psi^{\dagger}\cdot \nabla\psi
 -V(x, t)\psi^{\dagger}\psi</math>
}}
の形となる。

=== スカラー場のラグランジアン ===
{{Main|スカラー場の理論}}
実[[スカラー場]] &phi;(x) のラグランジアンは
{{Indent|
<math>\mathcal{L}(\phi,\partial\phi)
 =\frac{1}{2}\partial_\mu\phi\partial^\mu\phi -V(\phi)</math>
}}
の形となる。ここで[[計量]]は g = diag(+,-,-,-) であり、従って、
{{Indent|
<math>\mathcal{L}_\mathrm{Kin}
 =\frac{1}{2}\partial_\mu\phi\partial^\mu\phi
 = \frac{1}{2}\dot{\phi}^2-\frac{1}{2}(\nabla\phi)^2</math>
}}
である。（素粒子分野では多くの場合この計量が使われるが、まれに g = diag(-,+,+,+) を使う場合は
<math>\mathcal{L}_\mathrm{Kin}=-\tfrac{1}{2}\partial_\mu\phi\partial^\mu\phi</math>
として時間微分の項を正に選ぶ。）

ポテンシャル項 V(&phi;) を &phi; の[[冪級数]]で展開すれば
{{Indent|
<math>V(\phi)=\frac{m^2}{2}\phi^2+\frac{g_3}{3!}\phi^3
 +\frac{g_4}{4!}\phi^4+\ldots</math>
}}
となる（1次の項は &phi; の再定義により常に消去できる。0次の項は論理を進める上で関与しない。）。2次の係数 m はスカラー場 &phi; の[[質量]]と解釈でき、この項は質量項({{lang|en|mass term}})と呼ばれる。ポテンシャル V が質量項しか持たないとき、&phi; を自由場(自由スカラー場)と呼ぶ。
{{Indent|
<math>\mathcal{L}_\mathrm{free}
 =\frac{1}{2}\partial_\mu\phi \partial^\mu\phi
 -\frac{m^2}{2}\phi^2</math>
}}
ポテンシャル V の3次以降は相互作用項({{lang|en|interaction term}})と呼ばれる。
例えば、相互作用項に <math>\tfrac{g_3}{3!}\phi^3</math> が含まれていれば、&phi; 3つが[[結合定数 (物理学)|結合定数]] g<sub>3</sub> で相互作用することを表し、2つの &phi; が衝突して1つの &phi; となったり、逆に1つの &phi; が2つの &phi; になったりし得る、と言う解釈ができる。

[[くりこみ]]可能性を課せば、4次元時空では &phi; の4次の項までしか現れない。更に、&phi;→-&phi;の対称性を課せば、奇数次の項は現れず、結局ラグランジアンは
{{Indent|
<math>\mathcal{L}
 =\frac{1}{2}\partial_\mu\phi \partial^\mu\phi
 -\frac{m^2}{2}\phi^2
 -\frac{\lambda}{4!}\phi^4</math>
}}
となる。相互作用項は &phi; の4次の項だけとなり、これは &phi;<sup>4</sup> (ファイフォー)理論と呼ばれる。

複素スカラー場の場合は、
{{Indent|
<math>\mathcal{L}
 =(\partial_\mu\phi)^\dagger \partial^\mu\phi
 -m^2\phi^\dagger \phi
 -\frac{\lambda}{2}(\phi^\dagger \phi)^2</math>
}}
の形となる。複素共役 &phi;<sup>&dagger;</sup> は &phi; の反粒子となる。

=== スピノル場のラグランジアン ===
[[ディラック方程式#ワイルスピノル|ワイルスピノル]]場 &psi;(x) の運動項は
{{Indent|
<math>\mathcal{L}_\mathrm{Kin}
 =i\bar{\psi}\bar{\sigma}^\mu\partial_\mu\psi
</math>
}}
(&sigma; は4次元の[[パウリ行列]])である。
もう1つのワイル場 &chi; が存在し、[[ディラックスピノル]]場
{{Indent|
<math>\psi_D=
\begin{pmatrix}
\psi \\ \bar{\chi} \\
\end{pmatrix}</math>
}}
となる場合の運動項は
{{Indent|
<math>\mathcal{L}_\mathrm{Kin}
 =i\overline{\psi_D}\gamma^\mu\partial_\mu\psi_D
 =i\bar{\psi}\bar{\sigma}^\mu\partial_\mu\psi
 +i\chi\sigma^\mu\partial_\mu\bar{\chi}</math>
}}
(&gamma; は4次元の[[ガンマ行列]])で、2つのワイル場の和の形に分離される。

くりこみ可能性を課せば、4次元時空ではスピノル場の2次の項しか現れず、ワイル場のポテンシャル項は
{{Indent|
<math>V(\psi)= m_M(\psi\psi+\bar{\psi}\bar{\psi})</math>
}}
となる。この m<sub>M</sub> は[[マヨラナ粒子|マヨラナ質量]]と呼ばれる。
ディラック場のポテンシャル項は
{{Indent|
<math>V(\psi_D) = m_D\overline{\psi_D}\psi_D
 =m_D (\chi\psi+\bar{\psi}\bar{\chi})</math>
}}
とすることができる。この m<sub>D</sub> は[[ディラック方程式|ディラック質量]]と呼ばれる。

マヨラナ質量項がある場合は自分自身が反粒子となり、フェルミオン数が保存しない。
一方、ディラック質量項の場合はフェルミオン数が保存する。<math>\psi_D,\bar{\psi}_D</math>（或いは&psi;と&chi;）は互いに反粒子の関係にある。また、ディラック質量項を持つ場合には2つのワイル場は和の形に分離されない。
単に質量と言うと多くの場合はディラック質量を指す。

スカラー場 &phi; とディラック場 &psi;<sub>D</sub> が存在する場合、くりこみ可能性を課すと、
{{Indent|
<math>-\mathcal{L}_\text{Yukawa}
 = y \overline{\psi}_D\psi_D\phi
 = y(\chi\psi\phi+\overline{\psi}\overline{\chi}\phi)</math>
}}
の形の相互作用項を作ることが出来る。
この形の相互作用項を[[湯川相互作用]]項と呼び、y は湯川結合定数と呼ばれる。

== 関連記事 ==
{{Wikibooks}}
*[[場の古典論]]
*[[量子力学]]
*[[ゲージ理論]]
*[[繰り込み理論]]
*[[共形場理論]]
*[[繰り込み群]]
*[[真空#量子論における真空|真空]]
*[[カシミール効果]]
*[[素粒子物理学]]
**[[量子電磁力学]]
**[[ワインバーグ・サラム理論]]
**[[量子色力学]]
**[[標準模型]]
**[[超対称性理論]]
**[[超弦理論]]

== 脚注 ==
<references />

{{Physics-footer}}

{{DEFAULTSORT:はのりようしろん}}
[[Category:場の量子論|*]]
[[Category:量子力学]]
[[Category:一般相対性理論]]
[[Category:特殊相対性理論]]
[[Category:数理物理学]]
{{Link GA|es}}