コンテンツにスキップ

φ⁴ 理論の自明性・有限体積効果・O(N) 模型:くりこまれた結合が消える理由と Higgs 質量の上限

対象読者: 本テーマ第 3 章の格子 φ⁴ 理論(κ・λ パラメータ、hopping parameter 展開)を学んだ人。くりこみ群の一般論は仮定せず、必要な分はその場で導入します。

前提となる記事:格子スカラー場:φ⁴ 理論の κ・λ パラメータ、格子摂動論、hopping parameter 展開

生 Markdown

粒子どうしの押し合い(相互作用)の強さは、近くで測るか遠くから測るかで違って見えます。この記事の中心の問いは、「素粒子を表す最も単純な模型の 1 つで、相互作用を好きなだけ強くして細かい格子の目を無限に細かくしていくと、遠くから見た相互作用の強さはどうなるか」です。4 次元では、答えは「ゼロに近づく」です。読み終えると、この結論が Higgs 粒子の質量の上限という具体的な数字にどうつながるかと、周期的な箱や連続対称性のある模型で何が起きるかを、一通り説明できるようになります。

  • 対称相のくりこまれた質量 mRm_R、場のくりこみ ZRZ_R、結合 gRg_R は、感受率 χ2,χ4\chi_2,\chi_4 と 2 次モーメント μ2\mu_2 から mR2=2dχ2/μ2m_R^2=2d\chi_2/\mu_2、gR=−mRdχ4/χ22g_R=-m_R^d\chi_4/\chi_2^2 で定まります(命題 2.2)。gRg_R は数値計算と級数展開で直接測れる量です。
  • 4 次元では、どれほど大きな裸の結合 λ\lambda から出発しても、連続極限 mR→0m_R\to0 で gR→0g_R\to0 となります(自明性)。β\beta 関数が正なので、減り方は gR≃1/(β1ln⁡(1/mR))g_R\simeq1/(\beta_1\ln(1/m_R)) と対数的です(命題 3.2)。
  • 厳密な結果として、d≥5d\ge5 では Aizenman と Fröhlich(1982)が、d=4d=4 では Aizenman と Duminil-Copin(2021)が、Ising 模型と ϕ4\phi^4 模型のスケーリング極限が Gauss 的であることを証明しました(定理 3.4、定理 3.7)。
  • 自明性は、カットオフ Λ\Lambda を固定したときの gRg_R の上限、したがって Higgs 質量 mH2=gRv2/3m_H^2=g_Rv^2/3 の上限を与えます。格子の非摂動的な解析では Λ≳2mH\Lambda\gtrsim2m_H のとき mH≲m_H\lesssim 600〜650 GeV 程度です。
  • 有限体積では、質量ギャップのある相で補正が e−mLe^{-mL} で消え、鏡像和で計算できます(定理 5.1)。対称性の破れた相や質量 0 の場合は、零モードとトンネル効果が支配的になります。
  • O(N) 模型では、d≥3d\ge3 で反射正値性からの赤外評価(長距離の相関の大きさに上限を与える不等式)が連続対称性の自発的破れを保証し(系 6.4)、d=2d=2 では Mermin–Wagner の定理がそれを禁じます。大 N 極限ではギャップ方程式が臨界点を赤外評価の閾値と一致させます。

前章 で、格子 ϕ4\phi^4 理論の連続極限は臨界線 κ=κc(λ)\kappa=\kappa_c(\lambda) に近づくことで取ると述べました。問題は、そこで得られる連続理論がどんな理論かです。くりこみ理論 で見たとおり、4 次元 ϕ4\phi^4 理論のベータ関数は正で、結合は紫外で増大し、1 ループでは有限のエネルギーで Landau 極(結合が無限大になってしまうエネルギー)に達します。逆にいえば、カットオフ Λ\Lambda を無限大にしながら低エネルギーの結合を有限に保つことはできず、Λ→∞\Lambda\to\infty で低エネルギーの結合が 00 に押しつぶされることが予想されます。これが「自明性」の摂動論的な根拠です。

摂動論の結論は、結合が大きい領域では信用できません。裸の結合 λ\lambda を非常に大きく、あるいは ∞\infty(Ising 極限)にとれば、非自明な紫外固定点が現れるかもしれないからです。この問いに非摂動的に答えるのが、格子の役目です。答えは否定的で、4 次元の ϕ4\phi^4 理論は相互作用する連続理論を与えません。それでも、カットオフを有限に保った有効理論としては意味を持ち、そのことが Higgs 粒子の質量の上限という物理的な予言につながります。

後半では、数値計算に避けて通れない有限体積効果と、標準模型の Higgs 場にあたる O(N) 模型を扱います。O(N) 模型は、連続対称性の自発的破れ・ゴールドストーンボソン・大 N 展開という 3 つの話題を、格子上で厳密に、あるいは制御された近似で議論できる場です。

ここから先は有料(買い切り ¥200)の内容です。

この章は博士課程以上・研究水準の内容です。続き(定義・定理・証明・例・演習)は ¥200 の買い切りで、他の有料章と 100 本ノックも含めてすべて読めます。無料の章は最後まで読めます。

購入する ログイン

このテーマの 100 本ノック(100 問)

執筆: Claude Code(Opus 5.5)、Claude Code(Sonnet 5.5)・監査 5 回(Claude Code)・最終 2026-10-12

この記事の誤りを報告する ・運営: 夢現技研合同会社 ・料金 ・利用条件 ・特定商取引法に基づく表記

© 2026 夢現技研合同会社 ・コード例は MIT ライセンスです。