繰り込みのソースを表示

{{場の量子論}}
'''繰り込み'''（くりこみ、アメリカ英語：Renormalization イギリス等英語及びフランス語：Renormalisation ）とは、[[場の量子論]]で使われる、計算結果が無限大に[[発散]]してしまうのを防ぐ[[数学]]的な技法であり、同時に場の量子論が満たすべき最重要な原理のひとつでもある。

くりこみにより、[[場の量子論]]を[[電磁相互作用]]に適用した[[量子電磁力学]]が完成した。場の量子論にくりこみを用いる方法は、以後の[[量子色力学]]および[[ワインバーグ・サラム理論]]を構築する際の規範となる。

== 概要 ==
{{See|量子電磁力学|場の量子論|ゲージ理論}}
[[量子力学]]の[[摂動|摂動論]]では相互作用項を含まない自由ハミルトニアンの固有状態を初期状態にしてその時間発展を求めるため、相互作用を通じて自由ハミルトニアンが保存しない'''中間状態'''にも遷移可能である（[[不確定性原理]]参照）。場の量子論 (QFT) ではそのような中間状態が無限にある。中間状態に存在可能な運動量を積分すると特定の過程に関して運動量や質量、結合定数に関する発散が発生する。しかし実際の物理現象はこのような発散を示さず、量子補正に現れる発散は非物理的であると理解されるべきである。

簡単な例としてスカラー4点理論の、次元正則化法における2点間数の1-loop補正は
{{Indent|
<math>
\Pi(k^2,m_s^2) = \frac{i}{16 \pi^2} m_s^2 \left( \frac{2}{\epsilon} +(1-\gamma) + \log{\frac{m_s^2}{4\pi\mu^2}} + \mathcal{O}(\epsilon) \right)
</math>
}}
と書ける。ここで<math>k</math> はスカラー場の外線運動量、<math>\gamma</math> はオイラー定数、<math>m_s</math> はスカラー場の質量、 <math>\epsilon</math> は次元正則化においてdの4次元極限で0となる量、ここでは<math>4-d \equiv \epsilon</math> であり、括弧内の末項は4次元極限で消滅する <math>\epsilon</math> の一次以上の項である。<math>\mu</math> は後述するくりこみスケールであり、粒子の散乱などを考える際は外線の運動量 <math>k</math> が相当する。ここで括弧内の第一項に発散が現れていることが分かる。この式では左辺は外線運動量の関数として書かれているが右辺は外線運動量を含まない関数系となっている。これはスカラー4点理論特有の結果であり、一般にフェルミオンやベクトル場を含む理論では外線運動量を含む項が右辺に現れる。右辺に現れる発散が上記の非物理的発散であり、これらの無限大は電子の[[質量]]や[[結合定数 (物理学)|結合定数]]などの理論のパラメータの再定義によって取り除くことができる。具体的には、発散しているパラメータ（裸のパラメータ）を用いて記述されている理論からスタートし、裸の理論を物理的なパラメータに対応する部分（くりこまれたパラメータ）と非物理的な発散部分（counter term）に切り離し、くりこまれた量を用いて量子補正を計算した結果現れる発散とcounter termを相殺させるという計算法が最も簡単である。例えばスカラー4点理論における二点関数に関しては「裸の」ラグランジアン
{{Indent|
<math>
\mathcal{L}_{B} = \frac{1}{2}\phi_B ( \partial_{\mu}^2 - m_{sB}^2 ) \phi_B -\frac{\lambda}{4!}\phi^4_B
</math>
}}
の裸の質量に関して
{{Indent|
<math>
 m^2_{sB} = \frac{Z_m}{\sqrt{Z_{\phi}}} m^2_{sR}\equiv m^2_{sR} + (Z^{1}_{m}-1) m^2_{sR}
</math>
}}
と、くりこまれた有限の質量パラメータ <math>m_{sR}^2</math> を定義することで裸の質量から発散を切り離す。<math>Z_m,Z_{\phi}</math>はそれぞれ質量、波動関数に関するくりこみ係数と呼ばれる発散する係数である。スカラー4点理論では波動関数くりこみが存在しないため通常<math>Z_{\phi}=1</math>とする。最右辺の初項がくりこまれた質量パラメータ、二項目がcounter termとなる。Counter termとくりこまれたパラメータで書かれた量子補正による発散の相殺条件の一つとして
{{Indent|
<math>
(Z^{1}_{m}-1) = \frac{i}{16 \pi^2} \frac{2}{\epsilon}
</math>
}}
というくりこみ条件を与えることが出来る（minimal subtraction scheme）。この条件下では最早量子補正から発散部分が取り払われていることが分かる。

また上記のようにこれは次元正則化法による計算方法であり、量子補正における発散を取り出す方法はこの限りではない。例えば運動量の紫外切断による正則化法ではスカラー場の二点関数に対する補正は
{{Indent|
<math>
\Pi(k^2,m_s^2) = \frac{i}{16 \pi^2}  \left(\Lambda^2 + m_s^2 \log{\frac{m_s^2}{4\pi \Lambda^2}}  \right)
</math>
}}
と書ける。ここで<math>\Lambda</math>は運動量の紫外切断点である。理論の紫外切断が非常に高い場合は量子補正における発散はいわゆる二次発散：<math>\Lambda^2</math>として現れる。量子補正やそこから現れる発散を扱う場合には、くりこみ処方同様に正則化処方を計算目的に合わせて選ぶ必要がある。(実際の計算目的ではなく理論の形式としては、紫外切断は積分の範囲を定数で固定するためローレンツ共変性を満たさないのに対し、次元正則化はローレンツ共変性を満たす利点がある。)

== くりこみ可能性 ==
ところがあらゆる場の理論にくりこみ処方が有効である訳ではない。理論の中に現れる発散が有限個で済むかどうかという情報はくりこみを適用する上で重要である。有限個のcounter termで理論のすべての無限大を取り除くことができる理論を[[くりこみ可能]]であるという。素粒子標準模型におけるゲージ理論、すなわち[[量子電磁力学]] (QED) 、[[ワインバーグ・サラム理論]]、[[量子色力学]] (QCD) は[[結合定数 (物理学)|結合定数]]が質量次元零のゲージ理論であり、くりこみ可能であることが知られている。（くりこみ可能を数学的帰納法で証明するには、まず低次で可能であることを実際に計算して示し、次にｎ次までくりこみ可能ならばｎ＋１次でも可能である事をウォードの恒等式により示す。ウォードの恒等式が成り立たない事をゲージ異常（ゲージ・アノマリ）と呼ぶ。ゲージ異常があると単純には、くりこみ不可能である。QCDにおいてゲージ異常をゼロに相殺するには、クォークのフレーバー数が６であることが必要である(小林・益川)。なお、ゲージ異常はアティヤ・シンガーの指数定理と関連している。また、ウォードの恒等式は、ゲージ理論の種類により、ウォード・高橋・スラブノフ・テイラーの恒等式に拡張される。）また標準模型におけるHiggs自身の結合、Higgsとフェルミオンの結合（湯川結合）のいずれも質量次元を持たない結合定数による理論であるためくりこみが適用できる。しかし理論の結合定数が負の質量次元を持つと発散自体の数が、描ける[[ファインマンダイアグラム]]の数だけ増える。摂動論の高次まで考慮すると、発散自体が無限に現れ、発散をパラメータの再定義で吸収しきれなくなり、この場合はくりこみ不可能である。ワインバーグ・サラム模型の低エネルギー有効理論である4点フェルミ結合などはこれにあたる。また結合定数が正の質量次元を持つ理論は上記の理論に比べ発散が少なく現れるためcounter termも少なくて済む。この場合は超くりこみ可能である、という。Higgsの自己結合などに現れるスカラーの3点結合などはこれに当たるが、特に問題になることがないため単にくりこみ可能な理論として扱われる。

[[重力]]を記述する[[一般相対性理論]]はゲージ理論であるが、重力結合定数は負の質量次元を持っており、くりこみが不可能であるので量子場の理論を適用すると無限の発散が現れる。そのため重力の寄与が無視できなくなる高エネルギー領域においては量子場の理論に代わる量子重力理論が必要と考えられている。

== くりこみスケール ==
くりこみを用いる方法では、有限な（繰り込まれた）物理定数と、引き去るべき無限大を含んだcounter termで理論を構築するのは前述の通りである。ところが発散の取り除き方は一通りではなく、条件に応じて物理的なパラメータがどの値なのかを逐一解釈する必要がある。

距離ないしはエネルギーのスケールによって、物理定数に対しての輻射補正の大きさは異なる。そのため、くりこみの際にどのスケールで観測される物理定数の値を用いるのかについては、一通りに定まらないのである。理論のくりこみを行うに際しては、くりこみ条件を定めるスケールを、基準として一つ選ぶ必要がある。そのスケールを、理論のくりこみ点またはくりこみスケールと呼ぶ。

くりこみスケールの値はあくまで便宜的なものであって、低エネルギーのくりこみスケールを選んだからといって高エネルギーの物理が説明できなくなるといった事は起こらない。繰り込まれた摂動論はくりこみスケールに関係なく、任意のスケールで適用可能である。これは議論するスケールを限定する事によって裸の物理定数を有限値で定義する、[[有効場の理論]]の処方とは対照的である。[[くりこみ群]]の言葉で言えば、各スケールの有効理論同士を結びつけるのがくりこみ群フローであるが、ある一つの繰り込まれた理論に対しては、全スケールに渡って定義された一つのくりこみ群フローが対応する。

一方で繰り込まれた理論においても、くりこみスケールを変えた時の物理定数の変化については、くりこみ群を用いた扱いが可能である。この方法により、結合定数の[[ベータ関数 (物理学)|ベータ関数]]が定義される。

== 歴史 ==
{{Main|量子電磁力学#歴史|場の量子論#歴史}}
1930年代に量子電磁力学が発展していく過程で、[[マックス・ボルン]]、[[ヴェルナー・ハイゼンベルク]]、[[パスクアル・ヨルダン]]および[[ポール・ディラック]]は摂動計算において多くの積分が発散することを発見した。1930年代、発散を解決する計算がいくつかなされたが、当時、場の量子論は相対論的に不備であるため、正確な値を与えなかった。

これを解決したのが、1943年[[朝永振一郎]]が創った相対論的に共変な場の量子論、'''超多時間論'''である。くりこみは超多時間論を基礎にして確立される。遅れること数年、[[ジュリアン・シュウィンガー]]は朝永と類似の形式、[[リチャード・ファインマン]]は[[経路積分]](1948年)を形成し、朝永・シュウィンガー・ファインマンはくりこみ理論を建設する（[[フリーマン・ダイソン]]は3者の同等性を証明）。くりこみは、相対論・場の量子論と並ぶ基本原理とされ、朝永・シュウィンガー・ファインマンの建設した量子論的電磁気学の基礎となる。量子電磁力学は、以後の素粒子論の典型として、理論形成の規範になり、量子色力学・ワインバーグ＝サラム理論を導く糸になる。この業績で、[[朝永振一郎]]、[[ジュリアン・シュウィンガー]]および[[リチャード・ファインマン]]は[[ノーベル物理学賞]]を受ける。

量子電磁力学の完成の後、くりこみの手法は[[量子色力学]]の構築へと応用されていく。非可換ゲージ理論（1964-1973年）、くりこみ可能性の証明（1971年）、くりこみ群による漸近的自由性の記述（1973年）では、くりこみが用いられている。
<!--
量子電磁力学には、素粒子論の展望として、以下が記載されている。
1. くりこみの歴史
2. くりこみと量子電磁力学QEDの歴史的役割
3. [[対称性の自発的破れ]]から[[ワインバーグ・サラム理論]]に至る道
4. [[量子色力学]]QCDへの道
    a. 構造としての[[クォーク]]
    b. 非可換ゲージ
    c. 非可換ゲージくりこみ可能性
    d. くりこみ群による[[漸近的自由性]]
-->
=== ノーベル賞 ===
* くりこみ - [[朝永振一郎]]、[[ジュリアン・シュウィンガー]]、[[リチャード・ファインマン]]
* 非可換ゲージのくりこみ可能性  - [[ヘーラルト・トホーフト]]
* くりこみ群による漸近自由性 - [[デイビッド・グロス]]、[[フランク・ウィルチェック ]]、[[H. デビッド・ポリツァー]]
* 固体くりこみ群 - [[ケネス・ウィルソン]]
<!-- == 脚注 ==
{{脚注ヘルプ}}
{{Reflist}} -->
== 参考文献 ==
* {{Cite book
|author = Michael E. Peskin
|coauthors = Daniel V. Schroeder
|title = An Introduction to Quantum Field Theory
|year = 1995
|publisher = Westview Press
|location = 
|language = 英語
|isbn = 978-0201503975
|page = 
}}

== 関連文献 ==
* 園田英徳：「今度こそわかる くりこみ理論」、講談社サイエンティフィク、ISBN 978-4-06-156603-3 (2014年2月20日)。
* 高橋和孝、西森秀稔：「相転移・臨界現象とくりこみ群」、丸善出版、ISBN 978-4-62130156-2 (2017年4月25日)。

== 関連項目 ==
{{Commonscat|Renormalization}}
* [[場の量子論]]
* [[ジュリアン・シュウィンガー]]
* [[朝永振一郎]]
* [[リチャード・P・ファインマン]]
* [[くりこみ群]]

== 脚注 ==
<references/>

<!-- == 外部リンク == -->

{{Physics-stub}}

{{デフォルトソート:くりこみ}}
[[Category:量子力学]]
[[Category:朝永振一郎]]