0
大学数学基礎解説
文献あり

走る結合定数の計算(2/5): Yang-Mills理論のくりこみ概論

387
0

更新履歴
  • 03Aug.2022: 「(A)ファインマン則の導入・くりこみ定数の決定」の2.3.の文章がわかりにくかったため修正しました。
  • 14Aug.2022: タイトルを「Yang-Mills理論のくりこみ」から「Yang-Mills理論のくりこみ概論」に変更しました

★ 本記事は 走る結合定数の計算(1/5):くりこみ概論 の続きです
★ 以下の規約を用います:

  • 自然単位系を用いる: c==1
  • μ,ν,ρ,σ等ギリシャ文字はLorentzの足で、0から3をとる。0が時間成分、1-3は空間成分
  • a,b,c等のアルファベットはadjoint表現のゲージ群の足。SU(N)のゲージ理論では1からN21をとる。gluonおよびghostのゲージ群の足はこれ。
  • i,j等のアルファベットはfundamental表現のゲージ群の足。SU(N)のゲージ理論では1からNをとる。quarkのゲージ群の足はこれ。
  • xμ:(x0,x1,x2,x3)=(t,x,y,z)とする。
  • 4元運動量はpμ:(p0,p1,p2,p3)=(E,px,py,pz) (E: 粒子のエネルギー, px,py,pz:運動量のx,y,z成分)である。
  • metricはgμν:=diag(1,1,1,1)とする。
  • 繰り返した記号は和をとるルール、いわゆるEinsteinの規約を採用する。
    例えばAμBμ=μ=03AμBμCaDa=a=1N21CaDaEiFi=i=1NEiFiである。Minkowski時空においてLorentzの足μ,ν等は上つきと下つきで縮約をとる。ゲージ群の足に関しては上つき・下つきは特に区別はない。
  • γμ (μ=0,1,2,3)4×4の複素行列であり、Clifford algebraの元である: {γμ,γν}=2gμν。これらはDirac行列と呼ばれる。

はじめに

Yang-Mills理論における走る結合定数の計算第2回です。

前回はスカラー場の理論を用いて、ごく簡単にくりこみの概論を説明しました。今回はYang-Mills(YM)理論におけるくりこみの方法、および走る結合定数の計算方法を説明します。ただし、ファインマン則の導出やくりこみを詳しく説明することはせず、その手続きを公理として導入し、計算ができることにのみ特化した説明をします。くりこみとは何かの概要を知りたい方は、 前回の記事 をご参照ください。具体的なダイアグラムの計算は第4回で行います。

参考文献はRef.[1]です。ファインマン則はこれと同じものを採用しています。

Yang-Mills理論とくりこみ定数

SU(N)のYang-Mills理論のLagrangianは以下です:

(1)L=L0+L1,L0=14(μAνaνAμa)(μAaννAaμ)12α(μAμa)2+i(μχ1a)(μχ2a)+ψ¯i(iγμμm)ψi,L1=g2fabc(μAνaνAμa)AbμAcνg24fabcfcdeAμaAνbAcμAdνigfabc(μχ1a)χ2bAμc+gψ¯iTijaγμψjAμa

Aμaはgluonと呼ばれるゲージ場、χ1,2aはghost場、ψiはquark場です。a,b,c,はadjointのゲージ群の足を表し、1a,b,c,N21μ,ν,はLorentzの足で、0μ,ν,3です。fabcは構造定数と呼ばれる量で、SU(N)の生成子Taの交換関係[Ta,Tb]=ifabcTcの右辺の係数です。fabcは足の入れ替えに関し完全反対称であり、足の上下には意味はなく、fabcと書くこともあります。αはゲージパラメータと呼ばれ、ゲージ固定を指定するパラメータです。

くりこまれた場およびくりこまれた結合定数、ゲージパラメータおよびquark質量を以下のように定義します:
Aμa=Z31/2Arμa,  χ1,2a=Z~31/2χ1,2ra,  ψ=Z21/2ψr,g=Zggr,  α=Z3αr,  m=Zmmr
Zらはくりこみ定数と呼ばれます。rのついた量がくりこまれた量、もともとLagrangianに現れる量は裸の量と呼ばれます。

これらのくりこまれた量を用い、Lagrangianを以下の形に変形します:

YM理論のLagrangianをくりこまれた量とcounter termで書き直す

YM理論のLagrangianを以下の形に変形する:
L=Lr0+Lr1+LC
ここでLr0,Lr1は、Eq.(1)のL0,L1において、各種の量をくりこまれた量に置き換えたもの。
LCはcounter termと呼ばれ、以下の形をしている:
LC=(Z31)12Araμδab(gμν2μν)Arbν+(Z~31)χ1raδab(i2)χ2rb+(Z21)ψ¯ri(iγμμmr)ψriZ2(Zm1)mrψ¯riψri(Z11)12grfabc(μArνaνArμa)ArbμArcν(Z41)14gr2fabefcdeArμaArνbArcμArdν(Z~11)igrfabc(μχ1ra)χ2rbArμc+(Z1F1)grψ¯riTijaγμψrjArμa
ここでZ1,Z4,Z~1,ZF
(2)Z1:=ZgZ33/2, Z4:=Zg2Z32, Z~1:=ZgZ~3Z31/2, Z1F=ZgZ2Z31/2
である。

このように、Lagrangianをくりこみに適した形に直しておきます。

くりこみと走る結合定数の計算

一連の記事で行うことは次の(A)(B)です:
(A) ファインマン則を導入する。ダイアグラムを有限にするように、くりこみ定数を決定する
(B) 裸の結合定数が次元正則化で導入されたスケールに依存しないことを要求し、くりこまれた結合定数のrunningを決める

以下(A)(B)について述べます。具体的なダイアグラムの計算は第4回の記事で行います。

(A) ファインマン則の導入・くりこみ定数の決定

まずはファインマン則の導入、およびくりこみ定数の決定法について述べます:

    (A) ファインマン則の導入・くりこみ定数の決定     手順
  1. ファインマン則1

    gluon、ghost、quark各粒子の伝播を、以下の線で表現します:
    各粒子のpropagator。$\gamma^\mu$はガンマ行列(記事冒頭の規約参照) 各粒子のpropagator。γμはガンマ行列(記事冒頭の規約参照)
    これらは自由粒子が伝播する際のGreen関数です。これらの線を以下propagatorと呼びます。各propagatorには青色の式が付随します。各線には4元運動量kμ(quarkはpμで表記)が付随します。1つの線には1つの運動量が付随します。

    さらに粒子は次のような分岐(粒子の生成・消滅)を起こします:

    各種vertex 各種vertex
    これらの分岐をvertexと呼びます。各vertexには青色の式が付随します。

  2. くりこみでは、全ての可能なダイアグラムを計算する必要はなく、1粒子既約(one particle irreducible (1PI))頂点関数と呼ばれるダイアグラムを計算すればよいです。
    くりこみで評価するダイアグラム。これらは1PI頂点関数であり、外に出ているpropagatorは含まないことに注意(vertex因子は含みます) くりこみで評価するダイアグラム。これらは1PI頂点関数であり、外に出ているpropagatorは含まないことに注意(vertex因子は含みます)
    図3がくりこみで評価する1PI頂点関数です。黒丸は1粒子既約、1PIと呼ばれる一連のダイアグラムであり、「1つの内線を切っても2つの部分に分かれることのないダイアグラム」です。頂点関数では、外に伸びるpropagatorはもぎとり、vertex(および流出入する運動量)のみくっつけます。図3では外にpropagatorが伸びていますが、これは線をつけておかないとどの粒子の伝播を表すかわからないためであり、計算ではvertexだけ残してpropagatorは含めないに注意してください。

    図4に1PI頂点関数の例を挙げておきます。緑の線でダイアグラムを切っても2つの部分に分かれないので1PIになっています。
    図3に示された1PI頂点関数の例。たとえば緑の線で切っても、ダイアグラムが分離することはない。外線のpropagatorは含まない 図3に示された1PI頂点関数の例。たとえば緑の線で切っても、ダイアグラムが分離することはない。外線のpropagatorは含まない

  3. これらダイアグラムは一般に無限に存在します。そこで結合定数gによる展開を行います。ダイアグラムの結合定数の次数は、そのダイアグラムが含むvertexの数に等しいです。結合定数のn次のオーダーでは、外線が同じであり、かつ結合定数がn次のダイアグラム以下のものをすべて足します。例として、ghostの2点1PI頂点関数のg2およびg4のダイアグラムを図4に示します:

    $g^2 \ \& \ g^4$(それぞれ上図と下図)の2点1PI頂点関数 $g^2 \ & \ g^4$(それぞれ上図と下図)の2点1PI頂点関数
    gの次数は偶数のみです。

  4. ファインマン則2

    計算したい摂動の次数におけるn点関数に対応するダイアグラムを描き、以下のように式に変換します:
    ・「ファインマン則1」に従い、各パーツに付随した式をかけます
    ・vertexには運動量保存則が課されます。すなわち、あるvertexに入り込む運動量がk1μ,k2μ,,,knμならばkiμ=0が各μごとに課されます。
    ・ダイアグラムにループをなす部分がある場合、外線の運動量と運動量保存則では定まらない運動量が存在します。これに関しては積分を行います(違う運動量状態の量子力学的重ね合わせに対応する)。ループと積分の対応は以下です:

    各種ループにおける積分のファクター 各種ループにおける積分のファクター
    ・対称因子と呼ばれる数をかけます

  5. 積分はこのままではill-definedです。そこで積分に以下3つの操作を施します。
    ・propagatorのpoleを実軸から微小にずらす
    ・MinkowskiからEuclidに移る: 複素平面上での被積分関数の解析性を用い、運動量積分のゼロ成分(=エネルギー)をk0ik0にする
    ・次元を4次元からD=42ϵϵは微小な複素数)にずらす
    これらの具体的な操作に関しては次の記事で説明します。

  6. ダイアグラムに対応する式を計算し、これをϵでLaurent展開します。すると一般に
    Aϵ+(finite part)+O(ϵ)
    と書けます。Afinite partは外線の運動量やgμνからなるtensorです。4次元ではϵ0だから、1/ϵの項は発散します。

  7. 発散を消すようにくりこみ定数を決めます。そのため、計算したダイアグラムの構造と同じcounter termを足します。counter term (CT)は以下のダイアグラムです。

    各種counter term 各種counter term
    grはくりこまれた結合定数、mrはくりこまれたquark質量であり、これらは有限の量です。ZiZ~iはくりこみ定数です。そしてくりこみ定数を、「ダイアグラム+対応するCT」の、1/ϵに比例する発散部分が消えるように決めます(Minimal Subtraction(MS) schemeと呼ばれます)。
    たとえば摂動の最低次でghostのpropagatorの発散を取り除くなら、図7のように、Z~3を用いて、左のループダイアグラムの発散項、すなわち1/ϵに比例する部分を打ち消すように決定します。

ghostの2点1PI頂点関数のくりこみ ghostの2点1PI頂点関数のくりこみ

これでくりこみ定数を決定することができました。

ひとつ注意です。一連の記事では、摂動のg2のオーダーまでしか計算しません。この限りにおいて、CTは上記のものを用い、計算したダイアグラムと同じ種類のCTを足し、Zを決定すればよいです。一方g2より高次の寄与を計算するときは、くりこみ定数も摂動展開し、各次数で発散を打ち消すようにこれを決定します。高次のダイアグラムは一般に、サブダイアグラムとして、低次の発散グラフを含みます。これらのサブダイアグラムの発散は、低次のくりこみ定数によるCTで消します。残ったダイアグラム全体の発散を、高次のくりこみ定数を使うことで消します。高次のくりこみに関しては、一連の記事では取り扱いません。

(B) 走る結合定数の計算

つぎに走る結合定数の計算の概要について述べます:

    (B) 走る結合定数の計算

走る結合定数は、g=ZggrZgの「典型的なエネルギー」への依存性から計算できます。

(A)の5.で、積分の次元を4からD=42ϵにずらしました。そのため、裸の結合定数gμを質量次元M0をもつ量として、μϵと同じ次元を持ちます(次回記事で説明します)。gはもともとのLagrangianの結合定数なわけですが、(A)で述べたようにこれをくりこまれた結合定数grg=Zggrと書き直し、Zgに発散を吸収させ、ダイアグラムを有限化します。gは発散しており、grは有限です。

Zgは無次元だから、grgと同じμϵの次元を持ちます。ここで、無次元化した結合定数gRを、
gr=gRμϵ
として導入します。そして、裸の結合定数gμに依存しないことを要請します。つまり
μdgdμ=0
を課します。これはくりこみ群方程式です。
g=Zggr=Zg(gR)gRμϵであり、gRμに依存するとして上式に代入すると
μddμZg(gR(μ))gR(μ)μϵ=0  β=ϵgRμZgdZgdμgR   (β:=μdgRμ)
となります。この式にくりこみ操作で計算したZgを代入すれば、βgRの関数として書くことができます。これを解くことでgR(μ)が求まります。

gR(μ)はスケールμに依存する結合定数ですが、以降の記事で具体的に見るように、limμ0gR(μ)=0を満たします。すなわち、YM理論は高エネルギーで相互作用が弱くなり、グルーオンやクォークは自由粒子に近い振る舞いをします。この性質は漸近的自由性と呼ばれ、QCD(SU(3)のYM理論)が強い相互作用の基礎理論である1つの強い根拠です。

計算の簡略化

一連の記事では次のような簡略化をします:

  1. Zgのみ計算する
  2. Eq.(2)のZ~1=ZgZ~3Z31/2によりZgを計算する
  3. MS schemeにおけるZgの決定には、発散項=1/ϵに比例する部分だけが必要

以下それぞれの説明です。

  • 1.に関して: 走る結合定数を計算するには、結合定数のくりこみ定数Zgのみが必要です。一連の記事では、Zgのみ計算し、これに必要のないくりこみ定数は計算しません。

  • 2.に関して: ZgはEq.(2)より、4つの求め方があります。一連の記事では、Ref.[1]に習い、
    Z~1=ZgZ~3Z31/2
    を使って求めます。これはすなわち、ghost-gluon vertexのくりこみ定数Z~1、ghost propagatorのくりこみ定数Z~3、gluon propagatorのくりこみ定数Z3からZgを定めるということです。よってこれら3種類のダイアグラムの計算を行います。これは比較的簡単なZgの計算法です。

  • 3.に関して: すべてのダイアグラムをϵ0のオーダーまで計算するのはちょっと大変です。しかしMS schemeでは、1/ϵの発散部分のみくりこみ定数で打ち消すので、発散部さえ計算すればこれを決定することができます。一連の記事において、基本的にはϵ0のオーダーまで計算を行いますが、gluon-ghost vertexに関しては発散部分のみ計算する予定です。

まとめ

本記事ではYang-Mills理論におけるくりこみに関して述べました。ファインマン則を導入し、くりこみ定数の決定法について述べ、走る結合定数を決める計算に関して説明しました。

次回はくりこみに用いる数学公式について述べます。

おしまい。


次の記事: 走る結合定数の計算(3/5): 摂動計算に関する数学公式集

参考文献

[1]
T. Muta, Foundation of Quantum Chromodynamics (Third edition), World Scientific Lecture Notes in Physics, World Scientific, 2009
投稿日:2022729
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

bisaitama
bisaitama
143
68011

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. はじめに
  2. Yang-Mills理論とくりこみ定数
  3. くりこみと走る結合定数の計算
  4. (A) ファインマン則の導入・くりこみ定数の決定
  5. (B) 走る結合定数の計算
  6. 計算の簡略化
  7. まとめ
  8. 参考文献