検索に移動この記事の正確性に疑問が呈されています。問題箇所に信頼できる情報源を示して、記事の改善にご協力ください。議論はノートを参照してください。(2011年8月)この記事には独自研究が含まれているおそれがあります。問題箇所を検証し出典を追加して、記事の改善にご協力ください。議論はノートを参照してください。Theory)は、量子化された場(素粒子物理ではこれが素粒子そのものに対応する)の性質を扱う理論である。概要[編集]量子論の中でも、位置や運動量などの古典力学由来の物理量と、スピンなどの量子論特有の物理量を、基本変数とする量子論を量子力学と呼ぶ。基本変数として「場とその時間微分または共役運動量」を用いる量子論を場の量子論と呼ぶ。量子力学は、場の量子論を低エネルギー状態に限った時の近似形として得られる。現代では、古典的に場であったもの(電磁場など)だけでなく、古典的に粒子とみなされてきた物理系(電子など)の量子論も、場を基本変数にしたほうが良いことがわかっている。[1]場の量子論には相対論的場の量子論と非相対論的場の量子論がある。相対論的場の量子論は、特殊相対性理論と量子力学の統合を目指すものである。非相対論的場の量子論は、相対論的場の量子論の非相対論的極限、すなわち光速を無限大とする極限とみなされる。[2]場の量子論は、高エネルギーの系や、凝縮系(多体系)を記述する。振る舞いを記述するのに用いられる。素粒子が反応し新たな素粒子となる現象はその一例である。多体論的効果を記述する。超伝導のBCS理論、量子相転移といった物理が、場の量子論の文脈により理解される。摂動的場の量子論では、粒子の間に働く力は、力を伝える粒子の交換により生じる。例として電子の間に働く電磁力は、光子の交換により生じる。同様に、ウィークボソンは弱い力を媒介し、グルーオンは強い力を媒介する。力を媒介するのと同じ場の励起である光子が、塊状の波として電磁波となり、またナノスケールの現象においては粒子のように振舞う。電子も同様で、対応した場の励起として表される。このように、古典物理での粒子と場は、場の量子論により粒子と場の2重性を持つ形式に書き改められる。場と粒子[編集]場は時空間のあらゆるところで定義され、波動を引き起こす能力がある[3]。空間全域に広がる場がエネルギーを得て振動すると、粒子のように振る舞う[4]。現代物理学における粒子とは、エネルギーが局在化している状態[5](波束)、または場に付随するエネルギー量子[3]のことである。場の量子論ではこのように粒子を広く捉えることで、以下のような特徴[3]を持つ粒子を場の立場から考えている。各瞬間で局在しており、数を数えることができる。生成・消滅し、粒子数は変化する。粒子は必ずしも安定ではない。素粒子はスピンを持ち、物質の構成粒子と力の伝達粒子との2種類が存在する。背景[編集]ジェームズ・クラーク・マクスウェルの古典電磁気学では、粒子(荷電粒子)が場(電磁場)を生み、場が粒子に力を与える。これは、場の理論の最初の定式化である。原型[編集]1927年から1928年、ポール・ディラックによる古典電磁気学の量子化、オスカル・クライン、パスクアル・ヨルダン、ユージン・ウィグナーおよびウラジミール・フォックによる生成消滅演算子が形成され、場の量子論の原型をヴェルナー・ハイゼンベルクとヴォルフガング・パウリが創った。ハイゼンベルグは、場において粒子が力を伝えるという見解を打ち出した。これが湯川の強い力(中間子)、フェルミの弱い力(電子)の元となる。1943年、朝永振一郎が超多時間理論でこれを解決する。これは1932年にポール・ディラックが提唱した多時間理論(相互作用をしている電子一つ一つに独立な時間を与える)の電子の生成・消滅を含まないという欠点を改めたものである。リチャード・ファインマンも経路積分を完成し、またジュリアン・シュウィンガーもこの問題を独立に解決する。ゲージ理論[編集]ゲージ理論の概念は、1918年のヘルマン・ワイルのアイデアに端を発する。ワイルは時空点ごとに「ゲージ」(ものさし)を与え、時空点が変わっても理論が変わらないようラグランジアンを決める(ゲージは一種の自由度で、理論不変なようにゲージ自由度を与える)ことを要求し、電磁場の導出を試みたが、実験と合わなかった。1927年、フリッツ・ロンドンは、長さを位相に変え、ゲージ理論の有効性を証明した。1954年、楊振寧およびロバート・ミルズはゲージ対称性を非アーベル群に拡張した理論を定式化した(非可換ゲージ理論)。(ヴォルフガンク・パウリ、内山龍雄も独立して同様の理論を発見している。発表が遅れたため、パウリや内山らは非可換ゲージ理論の発見者と見なされない。)内山龍雄は重力場を含む形に拡張した(このため、ヤン=ミルズ=内山理論と呼ぶ人もいる)。この非可換ゲージ理論は、後に量子色力学やワインバーグ=サラム理論を定式化する際に用いられた。クォーク模型[編集]1964年、マレー・ゲルマン、ユヴァル・ネーマンおよびジョージ・ツワイクにより独立にクォーク模型が見出された。この原型は坂田昌一による坂田模型と、そのフレーバー変換を群論形式で記述する方法を確立した大貫義郎らによるIOO理論SU(3)である。(これはクォーク模型の原型における対称性を群論で記述した最初の事例であり、素粒子論の核で群論を使う以後の流れを決定づける。量子力学での群論の最初は、ヘルマン・ワイル1927年である。原子スペクトルの対称性を記述[6]。これは素粒子論の核での使用ではなかった。これらは、素粒子の基本構造に迫るものではなく、素粒子研究で注目を浴びなかった。自発的対称性の破れ[編集]ゲージ理論では、ゲージ対称性を満たす場合、必然的にゲージ場の質量がゼロになる。光子を除く現実の粒子は質量を持ち、質量が力の及ぶ範囲を決める。1964年、これを救ったのが、ピーター・ヒッグスらのヒッグス機構で、南部陽一郎の自発的対称性の破れを使い解決した。自発的対称性の破れの概念は、ハイゼンベルグが強磁性体モデルにおけるスピンのSU(2)回転対称性について論じたのが始まりとされる。1960年に南部は、超伝導のBCS理論をヒントに対称性の自発的破れの概念を場の量子論において定式化した。ワインバーグ=サラム理論は非可換ゲージ理論である。量子色力学は3つの場のからみ合いであり、ゲージも3×3の行列となり、QEDの可換ゲージから、非可換ゲージにかわる。弱い力と電磁相互作用は、1967年、場の量子論の枠組みで非可換ゲージ形式のワインバーグ=サラム理論により統一される。理論の詳細[編集]この節の加筆が望まれています。量子力学では古典的に書き下した運動方程式を元に、位置や運動量を非可換な行列ないしは演算子と考える事で、量子論の描像を得る。これを正準量子化と呼ぶ。場の量子論では同様の方法を、場という物理量に対し適用する。これにより、時空間上の位置をパラメーターとして持つ場の演算子が得られる。自由場の理論(場同士が一切相互作用しない理論)において、この方法で定義された演算子の各振動数モードは、独立した調和振動子とみなす事ができる。この系の量子的なふるまいは生成消滅演算子によって記述される。摂動論と繰り込み[編集]正準量子化によって厳密な場の時間発展を記述できるのは、自由場など少数の例に限定される。量子電磁力学のような複雑な理論を扱うには通常、摂動論の考え方を用いる。これは相互作用描像などを用いて、相互作用のある場の時間発展を自由場の演算子の積に展開する方法である。場の量子論における演算子積の計算は、仮想粒子を含む多数の項を、運動量保存や対称性などを考慮してまとめあげる、かなり煩雑なものとなる。これを視覚的に表すツールとしてファインマンダイアグラムがある。摂動計算では仮想粒子の取りうる運動量すべてを積分する必要があり、これによって計算結果が無限大に発散する紫外発散の問題が起こる。この問題への処方として繰り込みが用いられる。非摂動論的な方法[編集]摂動論は相互作用が弱い事を仮定した議論であり、結合定数の強い領域には上手く適用できない。量子色力学の低エネルギー領域においては、カイラル対称性の破れなどの物理について摂動論では議論する事ができない。そのため、以下に示すような非摂動論的な方法も、並行して用いられる。量子論の基礎―その本質のやさしい理解のために―』サイエンス社、2004年。4-7819-1062-9。4-254-13673-0。わかりにくいのか~場の考え方を理解する』技術評論社、2013年。978-4774161310。978-4785325114。Breaking関連項目[編集]ウィキブックスに場の量子論関連の解説書・教科書があります。(日時は個人設定で未設定ならばUTC)。表示-継承ライセンスの下で利用可能です。追加の条件が適用される場合があります。詳細は利用規約を参照してください。Cookieに関する声明モバイルビュ。