Loading [MathJax]/extensions/TeX/mathchoice.js

2021-08-29

QCD 量子色力学 note14: グルーオン伝播関数の1ループ量子補正

前回のnote13の続きです。グルーオンの作用はnote13の式(4):
Sq=[12Aaμ(2)Aaμ+ˉca(2)ca+gfabcAbμAcνμAaν                 +14g2fabcfapqAbμAcνApμAqνgfabcμˉcaAcμcb]d4x
で与えられる。またフェルミ粒子との相互作用はnote13の式(5)より
Sint=ˉq(γD+m)q=[ˉq(γ+m)qigˉqγAq]
と表せる。これよりグルーオン伝播関数のg2オーダーでの補正は下記の(1), (2), (3), (4)のファインマン図で与えられることが分かる。


ただし、(1),(2)はグルーオンのループ補正、(3)はゴースト場のループ補正、(4)はフェルミ粒子によるループ補正を表す。ここでは、例として(4)の1ループ量子補正の計算を行う。
eSint=1Sint+(ig)22!ˉqA/tq ˉqA/tq+
なので、グルーオン伝播関数のg2オーダーの項は
I1loop=(ig)22!Aaμ(x)ˉq(x)taγμq(x)ˉq(y)taγνq(y)Abν(y)d4xd4y=g22Aaμ(x)taijtbkltrγμqj(x)ˉqk(y)γνql(y)ˉqi(x)Abν(y)d4xd4y=g22Aaμ(x)Abν(y)tr(tatb) trγμep(xy)ip/+md4p(2π)4γνeq(yx)iq/+md4q(2π)4 d4xd4y
ここで、
Aaμ(x)=d4(2π)4Aaμ(k)eikx
などの運動量表示Aaμ(k)を用いると
I1loop=g22tr(tatb)Aaμ(k)Abν(k)δ(pq+k)δ(qp+k)                  tr(γμ1ip/+mγν1iq/+m)d4p(2π)4d4q(2π)4d4kd4k=g22tr(tatb)Aaμ(k)Abν(k)tr(γμ1ip/+mγν1i(p/+k/)+m)d4k(2π)4d4p(2π)4
ここで一時的にフェルミ粒子の質量を無視すると
tr(γμip/p2γνi(p/+k/)(p+k)2)=tr[γμp/γν(p/+k/)]p2(p+k)2=4[pμ(p+k)ν+pν(p+k)μδμνp(p+k)]p2(p+k)2
なので
I1loop=2g2d4k(2π)4tr(tatb)Aaμ(k)Abν(k) Iμν(k)
となる。ただし、
Iμν(k)=d4p(2π)4[pμ(p+k)ν+pν(p+k)μδμνp(p+k)]p2(p+k)2=d4p(2π)410dz[pμ(p+k)ν+pν(p+k)μδμνp(p+k)][p2(1z)+(p+k)2z]2=d4p(2π)410dz[pμ(p+k)ν+pν(p+k)μδμνp(p+k)][(p+kz)2+k2z(1z)]2
ここで、ファインマン積分公式
1AB=10dz1[A(1z)+Bz]2
を用いた。ppkzと変数変換すると
Iμν(k)=10dzd4p(2π)42pμpνp2δμν+z(z1)(2kμkνk2δμν)[p2+k2z(1z)]2
となる。分子の計算でpの次数が奇数の場合はpについての対称積分のため消去されることに注意。つぎに、d次元ユークリッド空間での積分
ddp(2π)d1(p2+m2)n=1(4π)d/2Γ(nd2)Γ(n)(1m2)nd2ddp(2π)dp2(p2+m2)n=1(4π)d/2d2Γ(nd21)Γ(n)(1m2)nd21
を使って式(5)を変形する。

2021-08-27

QCD 量子色力学 note13: 色力学の量子化

古典的な作用は
S=14FμνFμν
で与えられる。前回のノートnote12の式(8)から、
Sq=[14F2+12αf2ˉc(δfδΛ)c]
を使って摂動論を定義できる。今の場合はゲージ群がSU(3)なので8個のゲージパラメータがあり、ゲージ固定に必要なfの数も8となる。例えば、fa(A)=Aa (a=1,2,,8) とおける。(一般にゲージ群をGとするとa=1,2,,dimGとなる。)
δfaδΛb=δδΛb(μAaμ)=δδΛb(μDμΛa)=δδΛbμ(μΛa+gfapqApμΛq)=μ(μδabgfabcAcμ)δ(xy) 
よって、式(2)のゴースト項は
ˉcaμ(μδabgfabcAcμ)cd4x=μˉca(μcagfabcAcμcb)d4x
となる。また、
Faμν=μAaννAaμ+gfabcAbμAcν
なので
14FaμνFaμν=12[μAaννAaμ(A)2]+gfabcAbμAcν(μAaν)+14g2fabcfapqAbμAcνApμAqν
以上より、α=1とすると式(2)は
Sq=[12Aaμ(2)Aaμ+ˉca(2)ca+gfabcAbμAcνμAaν                +14g2fabcfapqAbμAcνApμAqνgfabcμˉcaAcμcb]
となる。これより理論に出てくるファインマン図は


2021-08-26

QCD 量子色力学 note12: 汎関数積分表示 QEDの場合

このノートでは量子電磁気学(QED)を例にゲージ理論の汎関数積分表示を考える。汎関数積分の基本についてはナイアの教科書(基礎編)


の第8章を参考にして下さい。自由場のラグランジアンは
L=14FμνFμν
で与えられる。スカラー場やフェルミオン場の理論からの類推でS行列の生成汎関数として
Z[J]=e14FμνFμνd4xeJμAμ[dAμ]
を考える。ここで、
14FμνFμνd4x=12[μAνμAννAννAμ]d4x=12[μAνμAν(A)2]d4x=12Aμ[2δμν+μν]Aνd4x
なので、
Mμν(x,y)=(2δμν+μν)δ(xy)
とおく。このとき、Mの逆行列M1は存在しない。というのも4×4行列(2δμν+μν)が特異行列、つまり光子k2=0に対してdet(k2δμνkμkν)=0となるためである。この問題はゲージ不変性に起因する。それを見るためにゲージ変換 AμAμ+μΛ を考えよう。 ϕμ=μΛの形で表せるモードに対して
d4yMμν(x,y)ϕν(y)=(2ϕμ+μ(ϕ))=0
となる。つまり、ϕμ=μΛは固有値がゼロとなるMμνの固有ベクトルである。汎関数積分(1)を定義するに当たりそのようなゲージあるいは物理的でない自由度はAμから除かれる必要がある。

そこでまず関数空間A
A={Aμ(x)}={すべてのポテンシャルの空間}
と定義する。Aμ(x)はリー代数の要素でもある。
[dAμ]=x,μ,aAaμ(x)
Aはアフィン空間である。
Aμ(x)=A(0)μ+ξμ
ただし、ξμ(x)はリー代数の値をもつベクトル場。理論の物理空間Aphys
Aphys=A/G
G={Λ(x)}={|x|0のときΛ(x)0}
と表せる。Gの要素は理論の中で非物理的な(重複のある)変数を表す。その意味でGは理論の真のゲージ対称性と言える。

Λ=0から始めて変換の連続を考えると、ゲージ変換はAにおいてある流れを生成することが分かる。ゲージ自由度を除外するには、これらの流れのラインを横断するような断面Sを選ぶ必要がある。S上の点はAphysの表現を与える。Sをどのように選ぶかはポテンシャルに課される条件によって決まる。そのような条件はゲージ固定条件と呼ばれ、例えば、A=0f(A)=0などがある。(f(A)Aの汎関数。)

2021-08-21

2021年8月 那須岳(茶臼岳、朝日岳、三本槍岳)

 久しぶりの晴天を利用して那須岳まで。朝8時過ぎに出発、11時20分にロープウェイ山麓駅に到着。何とか11時半のロープウェイに乗れました。

ロープウェイから山頂駅を見上げる

山頂駅の地図

ネットから印刷した簡単な地図しか持参しなかったため準備不足でしたが、とりあえず茶臼岳、朝日岳、三本槍岳まで行く予定で、弁当の入った手提げを持って登りました。標識案内が充実していたので無事予定通り楽しい登山になりました。


茶臼岳山頂



茶臼岳、朝日岳付近の荒涼とした火山の様子。そして、熊見曽根分岐から三本槍岳までのなだらかな湿原のような草原歩き。少し歩くだけで対照的な景色を楽しめました。山歩き自体も岩場から木道までバリエーション豊かで遠くまで行った甲斐がありました。

朝日岳山頂

朝日岳から



三本槍岳到着

三本槍岳から朝日岳、茶臼岳方面

三本槍岳を振り返る

朝日岳と雲の中の茶臼岳

朝日岳付近からの茶臼岳

ここから駐車場へ下山

帰りはロープウェイ山麓駅まで下山。11時半に出て16時半には車まで戻ることが出来ました。赤トンボが多く飛んでいました、三本槍岳までの道でヘビに2度出会いました。清水平にカラスが居ましたがそれ以外の鳥の鳴き声は聞き取れませんでした。火山からの硫黄ガスのためでしょうか鳥が少ないのかもしれません。高山植物は色々と咲いていました。百名山に登るときは早朝から登り始めて12時までには山頂から下山するよう心掛けているのですが、今回もロープウェイのおかげで形だけですが茶臼岳を12時過ぎに下山できました。八甲田山の時もそうでしたが、日帰り登山ではロープウェイを利用して時間節約するのもいいですね。

ルートなど詳しくはこちらから。

2021-08-17

QCD 量子色力学 note11: 強い相互作用のゲージ理論、フレーバーカイラル対称性の破れの階層性

これまでワインバーグ・サラム理論というタイトルで昔のノートをデジタル化してきましたがnote11からは標準模型のQCD部分を扱っているためタイトルを変更します。
 QCD(量子色力学)は強い相互作用のゲージ理論である。ゲージ群はSU(3)で与えられ、クォークとはベクトルのように結合する。3はカラー(色)の数である。

(a) なぜ3つのカラーなのか?
1.ハイペロン(hyperon)のスピン統計から:Ωsss スピン32
2.中性パイオン崩壊π02γの振幅は低エネルギー近似でABJアノマリーで計算できるがその振幅の値は実験値よりも3分の1小さい。(詳しくはCheng and Li, Gauge theory of elementary particle physics, pp182 参照のこと。)
3.実験によるカラー数Nc予測:e+eqˉqe+eμ+μNcfQ2f(ただし、Qfはフレーバーfのクォークの電荷。取りうるfの範囲は観測のエネルギーレベルに依存する。)

(b) クォークの束縛機構として可能なもの
繰り込み可能な相互作用として:スカラー場、ゲージ場によるものが挙げられるが、スカラー場は除外され、U(1)ゲージ群も漸近自由性から除外される。

(c) QCDラグランジアン
L=14FaμνFaμνiˉqiγ(+gA)qi+imiˉqiqi
質量項を無視するとラグランジアンはU(Nf)L×U(Nf)Rのカイラル対称性をもつ。ただし、Nfはフレーバー(クォークの種類)の数。

このカイラル対称性には階層がある。クォークの質量差を無視できるエネルギースケールでは
U(6)L×U(6)R
とみなせるが、1GeVのQCDスケールではc,b,tクォーク (mc1.27 GeV, mb4.18 GeV, mt173 GeV) によりこの対称性は
U(3)L×U(3)R
に自明的に破れる。これはQCDのフレーバーカイラル対称性と呼ばれる。U(1)L, U(1)R対称性はそれぞれ次のように作用する。
U(1)L:qLeiθqL        qRqRU(1)R:qLqL            qReiαqR
これより次のようなU(1)V, U(1)Aの組み合わせを取ることが出来る。
U(1)V:qLeiφqL        qReiφqRU(1)A:qLeiλqL        qReiλqR
これらはそれぞれベクトル対称性、軸性ベクトル対称性を与える。よって、QCDのフレーバーカイラル対称性は
SU(3)L×SU(3)L×U(1)V×U(1)A
と表せる。U(1)Vはバリオン数を与える。

この対称性は以下のような要因により階層的に破れる。

2021-08-16

ワインバーグ・サラム理論 note10: ヒッグス粒子

2012年7月に質量mη=125 GeV をもつヒッグス粒子が観測されました。今回のノート(というよりむしろメモ)はその10年ほど前に書かれたものなので内容的には古いですが、ヒッグス粒子は質量の起源を説明するものであり、その理解は標準模型を超える枠組みを考えるうえでも重要です。
note04の結果からヒッグス粒子に関するラグランジアンは
LH=(DΦ)(DΦ)λ(ΦΦv22)2 ,     Φ=(0v+η2) 
となる。粒子の質量は真空期待値vを用いて
MW=gv2 ,  MZ=v2g2+g2=gv2g2+g2g=MWcosθWmH=2λv ,  me=f(e)2v ,  mu=f(u)2v ,  md=f(d)2v
と表せる。

中性ヒッグススカラー粒子η=Hについてはまだ分からないことが多い。ここでは、ヒッグス質量についてその上限下限について簡単に議論する。まず、下限についてはポテンシャル
V(ΦΦ)=λ(ΦΦ)2+λv2(ΦΦ)++(量子補正項)
に対する1ループ補正の考察から得られる。もしmηが極端に小さく、量子補正が対称性を保つ真空に優位に働くなら対称性の破れは起きないと予想される。したがって、真空でのヒッグス場のポテンシャルは体操性の破れを引き起こすポテンシャルのエネルギーレベルよりも大きくなる必要がある。1ループ量子補正後のポテンシャルV(ΦΦ)Φ=(0v+η2)を代入しηで展開したものを
V=V(0)+V(1)η+12V(2)η2+
と表す。V(0)(v)がヒッグスポテンシャル(シャンパンボトルの底)の形をしていることから対称性の破れを引き起こす条件は
V(0)v0<V(0)v=0
で与えられる。この条件とV(2)=m2ηからmηの下限が
mη7.9 GeV
となることが知られている。ただし、この制限はヒッグス粒子が1つの場合に適用され、複数のヒッグス2重項がある理論では一般にこのような下限は存在しない。

次にヒッグス粒子質量の上限について考える。もしλが充分に大きければ摂動論を適用することが出来ない。もし摂動論が正しいと仮定するならλ1の要請からmη=2λv350 GeVとなる。繰り込み群を用いるとモデルの安定性についてより洗練された解析を行うことが出来る。この場合、mη130 GeVの上限が知られている。

2021-08-15

ワインバーグ・サラム理論 note09: CP対称性の破れとK0-ˉK0

 K0-ˉK0系でのCP対称性の破れについては以前「中性K粒子系と弱い相互作用でのCP対称性の破れ」という一連のエントリー


で解説したのでそちらを参照して下さい。

2021-08-14

ワインバーグ・サラム理論 note08: νμ+eνμ+e 散乱など

今回はνμ+eνμ+e 散乱過程を考える。これはnote05で議論した中性カレントだけが関与する散乱過程であり、相互作用のラグランジアンは
LI=g22M2WJμJμJμ=gνLˉν(μ)Lγμν(μ)L+geLˉeLγμeL+geRˉeRγμeR+
で与えられる。ただし、中性カレントの一般形はnote05の式(11)で表され、gνL=12, geL=12sin2θW, geR=sin2θWである。νμ+eνμ+e 散乱に関与するLI
LI=g22M2W2gνLˉνLγμνL(geLˉeLγμeL+geRˉeRγμeR)=2GF2gνLˉνγμ(1γ5)ν[geLˉeγμ(1γ5)e+geRˉeγμ(1+γ5)e]
と表せる。ただし、g28M2W=GF2である。


これより散乱振幅は
M=LId4x=2GF2gνLˉνkγμ(1γ5)νk[geLˉepλγμ(1γ5)epλ        +geRˉepλγμ(1+γ5)epλ](2π)4δ(k+pkp)
となる。この2乗を取ると
|M|2=4(GF2)2(gνL)2[ˉνkγμ(1γ5)νkˉνkγα(1γ5)νk] ×[(geL)2ˉepγμ(1γ5)epˉepγα(1γ5)ep+(geR)2ˉepγμ(1+γ5)epˉepγα(1+γ5)ep]       ×(2π)4δ(k+pkp)VT
ただし、VTは時空間体積。また、偏極のラベルλ,λを省略した。フェルミ粒子の伝播関数は
f(x)ˉf(y)=d4p(2π)4ip/p2eip(xy)
正の振動数部分はp/2Epd3p(2π)3となる。よって、運動量表示ではνkˉνk=k/として相空間因子d3k(2π)312Ekを付随させればよい。入射電子のスピンについては平均をとる。これより(2)は
|M|2=2(GF2)2(gνL)22tr[γμk/γαk/(1+γ5)] ×2[(geL)2tr[γμp/γαp/(1+γ5)]+(geR)2tr[γμp/γαp/(1γ5)]] ×(2π)4δ(k+pkp)VT[d3k(2π)312Ekd3p(2π)312Ep][d3k(2π)312Ekd3p(2π)312Ep]
と書ける。nν, neを整数、V=L3として、k=2πnνL, p2πneLとおく。nν, neを固定値として入射状態を固定すると
|M|2=2(GF2)2(gνL)22tr[γμk/γαk/(1+γ5)] ×2[(geL)2tr[γμp/γαp/(1+γ5)]+(geR)2tr[γμp/γαp/(1γ5)]] ×(2π)4δ(k+pkp)TV12Ek12Ep[d3k(2π)312Ekd3p(2π)312Ep]
散乱断面積dσは散乱確率|M|2TをフラックスvVで割ったものである。ここでvνμeの相対速度である。入射電子の静止系で考えるとv=c(光速、c=1)とおけるので、
dσ=12Ek12Ep2(GF2)2(gνL)2Lμα(k,k)[(geL)2Lμα(p,p)+(geR)2Rμα(p,p)]d(phase)
Lμα(k,k)=2tr[γμk/γαk/(1+γ5)]=8[kμkα+kαkμ(kk)δμα+ϵμναβkνkβ]Rμα(p,p)=2tr[γμp/γαp/(1γ5)]=8[pμpα+pαpμ(pp)δμαϵμναβpνpβ]
ただし、
tr[γμγνγαγβ]=4(δμνδαβδμαδνβ+δμβδνα)tr[γμγνγαγβγ5]=4ϵμναβ
を用いた。また、(5)の相空間因子は
d(phase)=(2π)4δ(4)(k+pkp)d3k(2π)312Ekd3p(2π)312Ep
kpの成す角をθとおく。


2021-08-12

ワインバーグ・サラム理論 note07: 量子異常(アノマリー)

今回の内容は(宣伝になりますが)ナイアの教科書


の13章(量子異常Ⅰ)と一部重複しています。教科書の方が解説が丁寧なので興味ある方はそちらも参照して下さい。

場の古典論がある対称性Gを持ち、Gは局所的あるいは広域的な対称性どちらも含むものとする。量子論を定義するには、ループ・ダイヤグラムを扱う必要があるが、これは発散する可能性があるため、正則化と共に定義する必要がある。このとき、全ての対称性Gを保存する正則化が存在しない場合がある。(正則化を選択する過程で生じる)量子補正によって古典論の対称性が破れるとき、この対称性は異常 (anomalous)であると言われる。この異常な対称性に対応するカレントはゼロでない発散をもち、量子異常(アノマリー)と呼ばれる。

アノマリーの例:
1.次元正則化:ローレンツ不変性とベクトル・ゲージ不変性を保つ。しかしγ5は4次元以外では適切に定義できないのでカイラル対称性は潜在的に量子異常をきたす。
2.パウリ-ヴィラース (Pauli-Villars) 正則化:非物理的なヒルベルト空間にある質量粒子を追加する。質量項MˉqLqRはカイラルゲージ変換のもとで不変とならない。

アノマリーには広域対称性が異常となる場合とゲージ対称性が異常となる場合の2種類ある。

広域対称性のアノマリー:この場合、対称性は破れるが理論自体は無矛盾である。例としてQEDの軸性U(1)対称性が挙げられる。このとき対称性が自発的に破れると古典的にはゴールドストン・ボソンが生成される。量子的には対称性がなくなるためゴールドストン・ボソンは現れない。実際には、量子補正効果により潜在的なゴールドストン・ボソンに質量が与えられる。

ゲージ対称性のアノマリー:理論のゲージ不変性はS行列のユニタリー性の証明に欠かせない。もしゲージ不変性が無ければ、ゲージボソンの非物理的なモードが伝搬しユニタリー性は失われる。よって、量子論を矛盾なく構築するにはゲージ対称性のアノマリーをキャンセルしなければならない。

アノマリーの計算

4次元ではアノマリーはフェルミオン1ループ・ダイヤグラムだけに由来する。以下では、そのことを見ていく。N種類のフェルミ粒子があるとしてカイラル対称性U(N)L×UR(N)を考える。このカイラル対称性がゲージ対称性でもあるとしてベクトルゲージ場Vμ=12(Lμ+Rμ)と軸性ゲージ場Aμ=12(LμRμ)を定義する。ただし、Lμ=itaLaμ, Rμ=itaRaμ であり、taU(N)群の生成子。このときラグランジアン
L=14F2+ˉqγ(+V+γ5A)q
を考える。ただし、
F2=F2L+F2RFaLμν=μLaννLaμ+fabcLbμLcνFaRμν=μRaννRaμ+fabcRbμRcν
このとき(1)に次の形の項
FLμνD2M2FLμν+FRμνD2M2FRμν
を追加することが出来る。ただし、Dは共変微分を表す。この項は高階の微分のを持つのでゲージボソンの伝播関数は 
GM2k4+M2k2M2k4    (k2)
と振る舞う。この項は1ループ・ダイヤグラムを除いて全てのファインマン図をゲージ不変な形で正則化する。よって、潜在的なアノマリーは1ループ・ダイヤグラムから生じる。発散時数の計算から、この1ループ・ダイヤグラムはフェルミ粒子によるものであることが分かる。

これより発散するファインマン図は下の3つの図で表される。


ただし、波線で書かれた外線はベクトルボソン(V)あるいは軸性ベクトルボソン(A)を表す。2点関数は具体的に計算でき、アノマリーを与えない。以下では、三角ダイヤグラムを考える。フェルミ粒子の荷電共役不変性からVが奇数個寄与する三角ダイヤグラムはゼロとなる。これは
ˉqγ(+V+γ5A)q=ˉqCγ(V+γ5A)qC
から分かる。ただし、q=Cγ0(qC)を用いた。これよりVVV, AAVタイプの三角ダイヤグラムからの寄与は消える。 AVVタイプの三角ダイヤグラム


の有効作用は
Γ(3)=tr[S(x,y)γ5A/(y)S(y,z)V/(z)S(z,x)V/(x)]d4xd4yd4z=Str[Aμ(2q)Vα(p1)Vβ(p2)]δ(2)(2qp1p2)d4(2q)(2π)4d4p1(2π)4d4p2(2π)4       ×tr[1i(k/q/)γ5γμ1i(k/+q/)γα1i(k/r/)γβ]d4k(2π)4 
ただし、A/=γA=γμAμ, r=12(p1p2), S(x,y)はフェルミオンの伝播関数である。Strは群の生成子について対称トレースを取ることを意味する。
Str[AVV]=13tr[AVV+VAV+VVA] 
ここで、ゲージ変換
VαVα+DαΛ ,    AμAμ+Dμφ
を考える。運動量空間では
Vα(p1)Vα(p1)+ip1αΛ(p1)+Aμ(q)Aμ(q)+iqμφ(q)+
と表される。ベクトルゲージ、軸性ゲージ場の変換のもとで有効作用Γ(3)の変分はそれぞれ
δΛΓ(3)=18πtr(AμνΛαVβ)ϵμναβd4xδφΓ(3)=18πtr(φμVναVβ)ϵμναβd4x
と計算できる。この導出は長くなるのでここでは省略する。興味ある方は上記の教科書を参考にして下さい。

東京オリンピック2020終了

 8/8に終了しました。都民として一度現地で観戦したかったですが、残念ながら無観客での開催でした。途中で観客入れるかなぁなんて期待しましたがダメでした。オリンピックでしか観ることのない競技も多く、週末は山へ行かずにテレビ観戦しました。野球、サッカー、テニス、陸上は経験があるので興味深く見ました。また球技全般が好きなので卓球、バレー、バスケも一部見ました。個人的な感想ですがオリンピックや球技大会と言えばバレーが一番盛り上がるので日本バレーが早く復活してくれると嬉しいです。

今回、テニスでは錦織選手が男子シングルスで3大会連続でベスト8まで勝ち上がるという快挙を成し遂げましたが、あまり報道されていなくて残念でした。またテニスのトップ選手たちの試合もあまりテレビでやっておらず、NHKのビデオでいくつかフォローしました。卓球、バドミントンなど他のラケットスポーツと比較しても今回テニスがあまり取り上げられなかったのには何か理由があったのでしょうか?(有明での松岡修造さんのアツい応援が観たかったです。)それにしても卓球の混合ダブルスの金メダルはすごかった。ドイツ戦の崖っぷちから勝ち上がったのは奇跡的でした!

野球は初戦のドミニカ戦が接戦で危なかったですが、それ以降は所々にバントを入れて短期決戦で負けない野球に徹していたので心強かったです。一度勝ったアメリカとまた決勝で当たるという変則的なトーナメント方式には興醒めでしたが、念願の金メダルを取れたのは素晴らしかったです。今後オリンピックで野球の開催は当分なさそうですが、WBCなどの国際大会で本気のアメリカと対戦する機会が設けられることを期待します。

サッカーはあと少しでメキシコ大会の銅メダルに並ぶところでしたが、残念ががら4位でした。銅メダルの壁を超えるのはいつになるのでしょうか?近いような遠いような。グループリーグは3連勝と完璧な勝ち上がりでしたが、決勝トーナメントに入り守り重視になって点が取れなくなったのが残念でした。ニュージーランドにPK戦で勝ったこともあり、点を取られなければ負けないという意識が強くなりすぎた気がします。準決勝のスペイン戦では0-0なのに1-0で勝っているような試合展開をしていたので、どういうこと!?とテレビにツッコんでしまいました。監督がディフェンス出身ということもあるのでしょうが、あれでは見ている方もやっている方も面白くありません。もっと前からボール取りに行って攻めて欲しかったです。オーバーエイジの3人ともディフェンスの選手だったので守り重視になるのは仕方がないのでしょうが、PK戦狙いなのが見え見えでフォワード出身(といっても学校の体育祭や草サッカーでの話ですが)の私からすると歯がゆくて仕方ありませんでした。もっと前からプレス行けなかったのかな~。フォワード出身のオシム監督だったら違ったのにな~、なんて思いながら観ていました。失点シーンでのディフェンダーのミスが指摘されていますがあれは守備のミスではなく、ゲームプランのミス。前線がプレスに行っていなかったことからくるディフェンダー陣の疲労の蓄積によるものです。むしろ、守備陣はあの時間までよく頑張ったと思います。3位決定戦では先に不運なPKを取られて試合巧者の相手にリズム良くプレーさせてしまったので仕方ありません。三笘選手の得点はさすがでした。ただ、あれほどプレーできるのになぜスペイン戦で三笘選手をベンチにすら置かなかったのか私にはよく理解できませんでした。メダルが掛かっていたので少し批判的になってしましましたが、全体的にはよく健闘したと思います。

2021-08-10

ワインバーグ・サラム理論 note06: 多世代モデル、CKM行列


今回のノートでは後半でCKM(カビボ-小林-益川)行列を解説しました。先月、益川先生が亡くなられたそうです。ワインバーグに続いての訃報で一時代が過ぎ去ってしまった感じですが、標準模型は今後も素粒子物理学の古典として学び継がれるべき分野です。これらのノートが素粒子に興味のある学生あるいは一般の方々に役立てば幸いです。

μ-, τ-世代を追加してモデルを拡張する。これまでとほぼ同様に構築できるが、湯川結合の部分がより複雑になる。これによりクォーク・セクターに混合が起きる。

表記法:
(e,μ,τ)=Ei(νe,νμ,ντ)=Ni(u,c,t)=Ui(d,s,b)=Di
(NiEi)L=lLi ,         (UiDi)L=qLi
ただし、ここでは3世代(i=1,2,3)を考える。1世代モデルの湯川結合と同様に一般に多世代モデルの湯川結合は
Lyuk=f(e)ijˉlLiΦERj+f(u)ijˉqLi˜ΦURj+f(d)ijˉqLiΦDRj+h.c.
となる。自発的対称性の破れにより質量行列が現れる。まずはクォーク・セクターについて考えてみる。
Lmass=M(u)ijˉULiURj+M(d)ijˉDLiDRj+h.c.
物理的な粒子は質量の固有状態であるので、質量行列を対角化する必要がある。これには双ユニタリー変換 (biunitary transformations) を用いればよい。これは非対称で非エルミートな行列を対角するためのテクニックである。
M=SMdiagT
ただし、S, Tはユニタリー行列、Mdiagは対角行列。任意の行列はエルミート行列とユニタリー行列につねに分解できるというのがこの手法で基本となるポイントである。
M=HU
Hはエルミート行列、Uはユニタリー行列。Hはユニタリー変換Sによって対角化できる:
SHS=Mdiag ,    H=SMdiagS
  M=SMdiagSU=SMdiagT
ここで、T=SUTT=USSU=1 なのでユニタリー行列であることが確認できる。MMdiag=mに双ユニタリー表現を使うと
Lmass=ˉULS(u)m(u)T(u)UR+ˉDLS(d)m(d)T(d)DR+h.c.
と書ける。クォーク場を
URT(u)UR ,   DRT(d)DRˉULˉULS(u) ,   ˉDLˉDLS(d)ULS(u)UL ,   DLS(d)DL
と再定義すると(4)は
Lmass=ˉULm(u)UR+ˉDLm(d)DR+h.c.
となる。クォーク場の再定義によりWボソンとフェルミ粒子の相互作用項が変わる。クォーク部分の相互作用は前回note05の(5)で見たように
J+μ=ˉDLγμULˉDLS(d)γμS(u)ULJμ=ˉULγμDLˉULS(u)γμS(d)DL
となる。よって、クォークとWボソンの相互作用項は
Lqint=ig2(W+μˉULiγμVijDLj+WμˉDLjVijγμULj)
ただし、
Vij=(S(u)S(d))ij
はCKM(Cabibbo-Kobayashi-Maskawa)行列と呼ばれる。Vij=Vjiとなることに注意。
note05の式(8)より、電磁気カレント(のクォーク部分)は
Jemμ=23(ˉULγμUL+ˉURγμUR)13(ˉDLγμDL+ˉDRγμDR)
明らかにこれは双ユニタリー変換(5)に影響を受けない。同様に、
J3μ=12(ˉULγμULˉDLγμDL)
も双ユニタリー変換のもとで不変である。よって、中性カレントは混合項を含まない。これはGIM (Glashow-Iliopoulos-Maiani) 機構のひとつの特徴である。GIM機構では、チャーム・ストレンジクォークで構成される第2の弱いアイソスピン二重項(cs)Lを追加することで、フレーバーが変化する中性カレントを除外できる。

クォーク・ヒッグス相互作用は(1)から
LqH=1vˉULm(u)URη+1vˉDLm(d)DRη
で与えられる。これは明らかに対角化されている。よって、中性ヒッグス粒子はフレーバーが変化する過程を媒介することはない。

フレーバーが変化する中性散乱過程が抑えられることについての備考

1.中性カレント演算子はアップ・セクターで1に比例し、これはダウン・セクターでも同様である。つまり、
J(0)μ=J3μsin2θWJemμ(I3Qsin2θW)
全ての u-クォークは同じ電荷とアイソスピンをもち、これは d-クォークも同様である。よって、クォークのユニタリー変換によって混合が起こることは無い。

2.クォーク・ヒッグス相互作用は質量行列の対角化によって対角化される。(なぜなら、クォーク・ヒッグス相互作用の結合定数はm/vなので。2つのヒッグス場Φ1, Φ2があり、Φ1u-クォークとΦ2d-クォークと個別に結合する場合にもこの対角化は適用される。しかし、あるクォークと複数のヒッグス場が相互作用する場合はこの適用されない。
LmassˉU(m1+m2)U ,   m=m1+m2
LqHˉUm1Uη1+ˉUm2Uη2+h.c.
なので、m=m1+m2の対角化によりm1m2が同時に対角化されることは無い。 

CKM行列のパラメータ数え上げ

世代数をnとするとCKM行列Vijn×nユニタリー行列である。(Vij=(S(u)S(d))ij なので VV=S(d)S(u)S(u)S(d)=1)行列成分はn2個あるが、これら全てが物理的なパラメータ(角度)ではない。例えば、対角化されたユニタリー行列Sdiag(α,ϕ)=eiαdiag(eiϕ1,eiϕ2,,eiϕn), Sdiag(θ)=diag(eiθ1,eiθ2,,eiθn) を使って
V=Sdiag(α,ϕ)˜VSdiag(θ)
とおける。ただし、ϕi=0, θi=0 である。というのも、もし ϕi0, θi0 ならこれらの和は αに吸収できるためである。クォーク場を再定義するとSdiag(α,ϕ)Sdiag(θ)を除外することができる。双ユニタリー変換(5)から
ˉULˉULSdiag(α,ϕ) ,     DLSdiag(θ)DL
とおくと(6)の荷電カレントJ±μ˜Vにのみ依存する。つまり、このような双ユニタリー変換は ˉULγμUL, ˉDLγμDL に影響を与えない。影響を受ける項は(8)のLqHにある ˉULm(u)UR, ˉDLm(d)DR だけであるが、これらについても
URSdiag(α,ϕ)UR ,     DRSdiag(θ)DR
とすればよい。これで全ての項が以前と同じに×。よって、物理的なパラメータの数は
n(˜V)=2n2n22(n1)1=(n1)2
となる。ここで、2n2は行列要素の実数の数、n2はユニタリー条件の数、2(n1)ϕi=θi=0 の条件(クォーク状態の再定義する仕方の数)であり、最後の1αの選択(グローバルな位相回転)を表す。

2世代の場合 (n=2)
˜Vは1つの物理的パラメータ(角)θcをもつ。これはカビボ角と呼ばれる。
˜V=(cosθcsinθcsinθccosθc)
3世代の場合 (n=3)
˜Vは4つの物理的パラメータ(角)をもつ。一方、3×3直交行列は3つの角をもつので、1つの角が余り、これが位相となる。つまり、˜Vは実行列では表されないことが分かる。これがCP対称性の破れを導く。

2021-08-07

CentOS4.9, Apache2.0, PHP5.1, Smarty2.6 から CentOS7.9, Apache2.4, PHP5.6, Smarty2.6 へシステム移行

 前回の続きの作業記録です。 前回はCentOS7に(対応している一番古いバージョンの)PHP5.6を入れてphpMyAdminも使えるようにしました。この環境にCentOS4.9, PHP5.1, Smarty2.6で動いているシステムを移行したいという依頼だったのですが、PHPバージョンアップに伴うエラーが続出したため、PHP5.1か5.2に入れ替えることを提案したのですが、そのまま5.6で何とかして欲しいということなのでとりあえずトライしました。

PHPのエラーとして

PHP Fatal error:  Call-time pass-by-reference has been removed in ...

というのがあり、これは参照渡しの fatal error とのことです。


を参考にして対応しました。また、

PHP Parse error:  syntax error, unexpected 'goto' (T_GOTO), expecting identifier (T_STRING) in ...

という parse error が出たのですが、PHP5.3以降からは goto という名前の関数は使えないそうです。


Smartyについては新しくインストールせず、そのまま古いファイルをごっそりコピーしました。

PHP Fatal error:  Smarty error: unable to write to $compile_dir '/.../libs/smarty/templates_c'. Be sure $compile_dir is writable by the web server user. in /.../libs/smarty/libs/Smarty.class.php

とエラーが出たので該当ディレクトリのパーミッションを chmod0777 としました。それ以外にも公開画像やファイルが入っているディレクトリのパーミッションを変更しました。Smarty2についてはPHP5.1からPHP5.6にあげてもとりあえずは動いてくれるようです。

ワインバーグ・サラム理論 note05: 低エネルギー近似でのカレント・カレント相互作用

前回のノートでは1世代モデルのラグランジアンを導いた。
L=Lgauge+Higgs+Lfermion
Lfermion=ˉνLγμμνL+ˉeγμ(μ+ieAμ)e+ˉuγμ(μi23eAμ)u+ˉdγμ(μ+i13eAμ)dig2[(ˉνLγμeL+ˉuLγμdL)W+μ+(ˉeLγμνL+ˉdLγμuL)Wμ]igcosθWZμ[12(ˉνLγμνLˉeLγμeL+ˉuLγμuLˉdLγμdL)                                               sin2θW(ˉeγμe+23ˉuγμu13ˉdγμd)](meˉee+muˉuu+mdˉdd)1v(meˉeeη+muˉuuη+mdˉddη)
Lgauge+Higgs=14f2μν(A)+14f2μν(Z)+12|DμWνDνWμ|2+i(efμν(A)+gcosθWfμν(Z))W+μWνg24(W+μWνW+νWμ)2+M2WW+μWμ+12M2ZZμZμ+12(μη)2+2M2WvW+μWμη+M2Wv2W+μWμη2+M2ZvZ2μη+M2Z2v2Z2μη2+12m2Hη2+m2H2vη3+m2H8v2η4
ただし、
fμν(A)=μAννAμ
fμν(Z)=μZννZμ
低エネルギー近似ではこのラグランジアンからカレント・カレンを相互作用を再現することができる。W粒子の運動量をqμとすると
WμeiqxWμ(q) ,     (μWννWμ)2q2
なので、q2M2Wのとき運動項は無視できる。
L=M2WW+μWμig2(W+μJμ+WμJ+μ)+
ただし、
J+μ=ˉeLγμνL+ˉdLγμuL+
Jμ=ˉνLγμeL+ˉuLγμdL+
省略された項はヒッグス場に関わる項を表す。ここで、Wボソンはヘリシティが左巻き状態のクォークとレプトンにしか結合しないことに注意しよう。Wボソン場の運動方程式は
M2WW+μig2J+μ=0 ,     M2WWμig2Jμ=0
これを解いて再度(4)に代入すると
LlW=g22M2WJ+μJμ=g28M2W[ˉeγμ(1γ5)ν+ˉdγμ(1γ5)u][ˉνγμ(1γ5)e+ˉuγμ(1γ5)d]
ここで、ˉeLγμνL=12ˉeγμ(1γ5)νなどを使った。ˉeγμγ5νは擬ベクトル(axial-vector)なので、この相互作用はV-A型カレント・カレント相互作用と呼ばれる。

MW=gv2より
g28M2W=12v2=GF2
ラグランジアンLlWは媒介ベクトルボソンの低エネルギー現象論を与える。
GF105m2p
が知られているので真空期待値のパラメータv
v250 GeV
と求まる。

2021-08-06

ワインバーグ・サラム理論 note04: 対称性の破れとユニタリーゲージでの粒子スペクトル

前回の続きから。1世代モデルのラグランジアンは
L=L0+Lg+Lq+LΦ+Lyuk=14(Faμν)214(Gμν)2ˉqLγμ(μigbaμtaig6Cμ)qLˉuRγμ(μi23gCμ)uRˉdRγμ(μ+i13gCμ)dRˉlLγμ(μigbaμta+i12gCμ)lLˉeRγμ(μ+igCμ)eR(DμΦ)(DμΦ)λ(ΦΦv22)2+[f(e)ˉlLΦeR+f(u)ˉqL˜ΦuR+f(d)ˉqLΦdR+h.c.]
となることを見てきたが、このモデルの真空(基底)状態のエネルギーを極小化することを考えたい。λ>0, v2>0 のとき、真空状態は期待値ΦΦ=v22となり、対称性の破れを意味する。つまり、
\bra \Phi \ket = \bra 0 | \Phi | 0 \ket = \binom{0}{v/\sqrt{2} } 
が要請される。では、残りの対称性はどうなるだろうか?

U(1)_Y: \Phi^\prime = e^{i \al} \Phi , \Phi = \binom{\phi^+}{\phi_0}より\phi_0^\prime = e^{i \al} \phi_0 なので U(1)_Yは破れる。
SU(2)_L\Phi^\prime = g \Phiなので、3成分はすべて破れる。
U(1)_{em}: Q= \left( I_3 + \frac{Y}{2} \right), \phi_0^\prime = e^{-i \frac{\al}{2} + i \hf \al} \phi_0 = \phi_0なのでU(1)_{em}は保存される。これが前回note03Y(\Phi ) = +1とした理由である。

真空からの場の揺らぎを考えよう。これらは摂動論の枠内における粒子に対応する。ヒッグス・スカラー場を次のようにパラメータ表示する。
\Phi (x) = U^{-1} (\zeta ) \begin{pmatrix} 0 \\ \frac{v + \et (x) }{\sqrt{2}} \end{pmatrix}
U (\zeta ) = \exp \left[ i \frac{\zeta^a (x) t^a }{v} \right]
元々の複素スカラー場\phi^+ (x)\phi_0 (x)が4つの実スカラー場\zeta_i (x)\eta (x)でパラメータ表示されている(i = 1,2,3)。これらの揺らぎ場の真空期待値(VEV)はゼロとなる。
\bra \zeta_i \ket  = \bra \eta \ket = 0 ~~ \longrightarrow ~~ \bra \Phi \ket = \begin{pmatrix} 0 \\ \frac{v }{\sqrt{2}} \end{pmatrix} 
これらを式(1)に代入する。\bra b_\mu \ket = \bra C_\mu \ket = 0であり、フェルミ粒子にも同様の関係が成り立つので、これらの揺らぎ場は場そのものと同様に扱える。
\L_\Phi = - \left[ D_\mu \left(  U^{-1} (\zeta ) \begin{pmatrix} 0 \\ \frac{v + \et  }{\sqrt{2}} \end{pmatrix} \right) \right]^\dagger \left[ D_\mu \left(  U^{-1} (\zeta ) \begin{pmatrix} 0 \\ \frac{v + \et }{\sqrt{2}} \end{pmatrix} \right) \right] - \la \left[ \begin{pmatrix} 0 &  \frac{v + \et }{\sqrt{2}} \end{pmatrix} \begin{pmatrix} 0 \\ \frac{v + \et }{\sqrt{2}} \end{pmatrix} -\frac{v^2}{2} \right]^2 
ここで、ゲージ場とフェルミ場を次のように再定義する。
\begin{eqnarray} U \d_\mu U^{-1}  - ig U b_\mu^a  t^a   U^{-1}  &=&  - i g b_{\mu}^{\prime a} t^a \\ - i g^\prime C_\mu &=& -i g^\prime C_{\mu}^{\prime} \\ U l_L &=& l_L^\prime \\ U q_L &=& q_L^\prime \\ e_R &=& e_R^\prime \\ u_R &=& u_R^\prime \\ d_R &=& d_R^\prime \end{eqnarray}
プライムのついた新しい場は元の場とゲージ変換によって関係づけられており、新しい変数を使うことはあるゲージ固定を行うことと等価である。ここで選択されるゲージは「ユニタリーゲージ」と呼ばれる。このユニタリーゲージを使うとラグランジアン(1)は次のように変形できる。
\begin{eqnarray} \L &=&  -\qu ( F_{\mu\nu}^{a} )^2 -\qu  ( G_{\mu\nu} )^2 - \bar{q}_L \ga \cdot \left( \d - ig b \cdot t - i \frac{g^\prime}{6} C \right) q_L \\ && - \bar{u}_R \ga \cdot \left( \d - i \frac{2}{3}g^\prime C \right) u_R - \bar{d}_R \ga \cdot \left( \d + i \frac{1}{3} g^\prime C \right) d_R  \\ &&   - \bar{l}_L \ga \cdot \left( \d - i g b \cdot  t + i \hf g^\prime C \right) l_L - \bar{e}_R \ga \cdot \left( \d + ig^\prime C \right) e_R \\ && - \left[ D_\mu \begin{pmatrix} 0 \\ \frac{v + \et  }{\sqrt{2}} \end{pmatrix} \right]^\dagger \left[ D_\mu \begin{pmatrix} 0 \\ \frac{v + \et  }{\sqrt{2}} \end{pmatrix}  \right] - \la \left( \frac{(v + \et )^2 }{2} - \frac{v^2}{2} \right)^2 \\ && + \left[  f_{(e)} \bar{l}_L \begin{pmatrix} 0 \\ \frac{v + \et  }{\sqrt{2}} \end{pmatrix} e_R +  f_{(u)} \bar{q}_L \begin{pmatrix} \frac{v + \et }{\sqrt{2}}  \\ 0\end{pmatrix} u_R +  f_{(d)} \bar{q}_L \begin{pmatrix} 0 \\ \frac{v + \et  }{\sqrt{2}} \end{pmatrix} d_R + h.c. \right] \end{eqnarray} \tag{2}

ヒッグス・ラグランジアンの変形
- ig b_\mu^a t^a - i \frac{g^\prime}{2} C_\mu = \begin{pmatrix} -ig \frac{b_\mu^3}{2} - i \frac{g^\prime}{2} C_\mu & - ig \frac{b_\mu^1 - i b_\mu^2 }{2} \\ - ig \frac{b_\mu^1 + i b_\mu^2 }{2} & ig \frac{b_\mu^3}{2} - i \frac{g^\prime}{2} C_\mu \end{pmatrix}
なので
\frac{b_\mu^1 \pm i b_\mu^2 }{2} = W_{\mu}^{\mp}
と定義すると
D_\mu \Phi  = \left( \d_\mu - ig b_\mu^a t^a - i \frac{g^\prime}{2} C_\mu  \right) \begin{pmatrix} 0 \\ \frac{v + \et  }{\sqrt{2}} \end{pmatrix}  = \begin{pmatrix} -i \frac{g}{\sqrt{2}}W_\mu^+ \frac{v + \et}{\sqrt{2}} \\ \frac{1}{\sqrt{2}} \d_\mu \et + \frac{i}{2} ( g b_\mu^3 - g^\prime C_\mu ) \frac{v + \et}{\sqrt{2}} \end{pmatrix}
\begin{eqnarray} ( D_\mu \Phi )^\dagger ( D_\mu \Phi )  &=& \frac{g^2}{4} W_\mu^+ W_\mu^- (v + \et )^2 + \hf ( \d_\mu \et )^2 + \frac{( g b_\mu^3 - g^\prime C_\mu )^2 }{4} \frac{(v + \et )^2}{2} \\ &=& \frac{g^2 v^2}{4} W_\mu^+ W_\mu^- + \frac{g^2 v}{2} W_\mu^+ W_\mu^- \et + \frac{g^2 }{4} W_\mu^+ W_\mu^-  \et^2 + \hf ( \d_\mu \et )^2 \\ && + \frac{v^2}{8} \begin{pmatrix} b_\mu^3 &  C_\mu \end{pmatrix}  \begin{pmatrix} g^2 & -g g^\prime \\ -g g^\prime & g^{\prime 2}  \end{pmatrix} \begin{pmatrix} b_\mu^3 \\  C_\mu \end{pmatrix}  + \frac{v}{4} ( g b_\mu^3 - g^\prime C_\mu )^2  \et \\ && +  \frac{1}{8} ( g b_\mu^3 - g^\prime C_\mu )^2  \et^2 \tag{3}\end{eqnarray}
質量行列を対角化
\begin{eqnarray} \hf M_Z^2 Z_\mu Z_\mu &=&  \frac{v^2}{8} \begin{pmatrix} b_\mu^3 &  C_\mu \end{pmatrix}  \begin{pmatrix} g^2 & -g g^\prime \\ -g g^\prime & g^{\prime 2}  \end{pmatrix} \begin{pmatrix} b_\mu^3 \\  C_\mu \end{pmatrix}  \\ &=& \hf  \begin{pmatrix} Z_\mu &  A_\mu \end{pmatrix}  \begin{pmatrix} M_Z^2 & 0 \\ 0 & 0  \end{pmatrix} \begin{pmatrix} Z_\mu^3 \\  A_\mu \end{pmatrix} \end{eqnarray}
ここで質量行列の対角化には次の直交変換を用いた。
\begin{eqnarray} Z_\mu &=& \cos \th_W b_\mu^3 - \sin \th_W C_\mu = \frac{g b_\mu^3 - g^\prime C_\mu}{\sqrt{g^2 + g^{\prime 2}}} \\ A_\mu &=& \sin \th_W b_\mu^3 + \cos \th_W C_\mu = \frac{g^\prime b_\mu^3 + g C_\mu}{\sqrt{g^2 + g^{\prime 2}}} \tag{4} \end{eqnarray}
\tan \th_W = \frac{g^\prime}{g} ~~~~~ \mbox{$\th_W$: Weinberg angle}
M_Z^2 = \frac{v^2}{4} ( g^2 + g^{\prime 2} ) ~~ \longrightarrow ~~ M_{Z^0} = \frac{v}{2} \sqrt{g^2 + g^{\prime 2}}
式(3)の第1項は荷電ベクトルボソンW^\pmの質量項になる。
  \frac{g^2 v^2}{4} W_\mu^+ W_\mu^-  = M_{W^\pm} W_\mu^+ W_\mu^-  ~ , ~~~~~~ W_\mu^+ W_\mu^- = \hf (b_\mu^1 )^2 + \hf (b_\mu^2 )^2
~~ \longrightarrow ~~~ M_{W^\pm}  = \frac{gv }{2}
よって、式(3)は次のように表せる。
\begin{eqnarray} ( D_\mu \Phi )^\dagger ( D_\mu \Phi )  &=& M_W^2 W_\mu^+ W_\mu^-  + \hf M_Z^2 Z_\mu Z_\mu + \hf ( \d_\mu \et )^2 \\ && +  2 \frac{M_W^2}{v} W_\mu^+ W_\mu^- \et + \frac{M_W^2}{v^2} W_\mu^+ W_\mu^-  \et^2  \\ && + \frac{M_Z^2}{v} Z_\mu Z_\mu \et  + \frac{M_Z^2}{2 v^2} Z_\mu Z_\mu   \et^2 \tag{5}\end{eqnarray}
さらに式(2)の項を考えていく。
\begin{eqnarray} \frac{\la}{4} \left[ (v + \et )^2 - v^2 \right]^2 &=& \frac{\la}{4} ( 2 v \et + \et^2 )^2 = \la v^2 \et^2 + \la v \et^3 + \frac{\la}{4} \et^4 \\ &=& \hf m_H^2 \et^2 + \frac{m_H^2}{2 v} \et^3 + \frac{m_H^2}{8 v^2} \et^4 \tag{6}\end{eqnarray}
ただし、 m_H = \sqrt{2 \la v^2 } とした。また、
\begin{eqnarray} f_{(e)} \bar{l}_L \begin{pmatrix} 0 \\ \frac{v + \et  }{\sqrt{2}} \end{pmatrix} e_R + h.c. &=&  f_{(e)} \bar{e}_L \frac{v + \et }{\sqrt{2}} e_R + h.c. \\ &=&   \frac{f_{(e)} v}{\sqrt{2}}  \bar{e} e + \frac{f_{(e)} }{\sqrt{2}}  \bar{e} e \et \end{eqnarray}
となる。ここで、\bar{e}_L e_R + h.c. = \bar{e} e, e = e_L + e_Rを用いた。同様に、
\begin{eqnarray} f_{(u)} \bar{q}_L \begin{pmatrix} \frac{v + \et }{\sqrt{2}}  \\ 0\end{pmatrix} u_R + h.c. &=& \frac{f_{(u)} v}{\sqrt{2}}  \bar{u} u + \frac{f_{(u)} }{\sqrt{2}}  \bar{u} u \et  \\ f_{(d)} \bar{q}_L \begin{pmatrix} 0 \\ \frac{v + \et  }{\sqrt{2}}  \end{pmatrix} d_R + h.c. &=& \frac{f_{(d)} v}{\sqrt{2}}  \bar{d} d + \frac{f_{(d)} }{\sqrt{2}}  \bar{d} d \et \end{eqnarray}
以上から、次のような質量スペクトルが得られる。
\begin{eqnarray}  && M_W = \frac{gv}{2}~, ~~ M_Z = \frac{v}{2} \sqrt{g^2 + g^{\prime 2}} = \frac{gv}{2}\frac{\sqrt{g^2 + g^{\prime 2}}}{g} = \frac{M_W}{\cos \th_W} \\ && m_H = \sqrt{2 \la} v ~,~~ m_e = \frac{f_{(e)}}{\sqrt{2}} v ~,~~ m_u = \frac{f_{(u)}}{\sqrt{2}} v ~,~~ m_d = \frac{f_{(d)}}{\sqrt{2}} v   \tag{7}\end{eqnarray}

2021-08-03

ワインバーグ・サラム理論 note03: 1世代モデル

 前回からの続き。新しいタイプのフェルミ粒子がないとすると、フェルミ粒子の基本構成は
\begin{matrix} \nu_e & \nu_\mu & \nu_\tau \\ e & \mu & \tau \\ u & c & t \\ d & s & b \end{matrix}
で与えられる。

第1世代 ( \nu_e , e, u, d ) だけを使って、後知恵ではあるが、数学的に矛盾のないモデルを構成できることが知られている。

備考:
(a) もし新しいフェルミ粒子が導入されると別の可能性がある。例えば、O(3) \rightarrow U(1)_{em}となるGeorgi-Glashow模型があるが、これは中性カレントの発見により除外された。
(b) sクォークをu, dクォークと同様に扱ってみることもできるが、ストレンジネス(sクォークのこと)が変化する中性カレントが存在しないことからその可能性は排除される。

まず1世代モデルを考えるが、この段階で既に、量子異常の問題を別にすると、レプトン・セクターを個別に扱えることが知られているので、ここでは \nu_ee を考える。

カイラルな組み合わせ: \nu_{e_L}= \nu_L , e_L, e_R(質量ゼロを仮定して\nu_R = 0
e_L = \frac{1- \ga_5}{2} e , ~~~ e_R = \frac{1+ \ga_5}{2} e
自由場のラグランジアン: \L_0 =  - [  \bar{e}_L \ga \cdot \d \, e_L  + \bar{e}_R \ga \cdot \d \, e_R + \bar{\nu}_L \ga \cdot \d \, \nu_L]   

左巻きのレプトン場を l_L = \begin{pmatrix} \nu_L \\ e_L \end{pmatrix} とまとめると
\L_0 = - \bar{l}_L \ga \cdot \d \, l_L - \bar{e}_R \ga \cdot \d \, e_R \tag{1}
となる。ただし、\bar{l}_L = l^\dagger_L \ga_0

対称性はU(2)_L \times U(1)_Rとなる。というのも、U^\dagger U = 1のとき l^\prime_L = U l_L でラグランジアンは不変となり、e^\prime_R = (e^{i \al} ) e_RU(1)_Rを定義するため。U(2)_L \sim SU(2)_L \times U(1)_Lなので対称性は
SU(2)_L \times U(1)_L \times U(1)_R = SU(2)_L \times U(1)_Y \times U(1)_l \tag{2}
U(1)_L \times U(1)_Rの一つの組み合わせがレプトン数U(1)_lに対応する。もしレプトン数をゲージ固定すると電弱相互作用の群G_WSU(2)_L \times U(1)_Yの形になる。

ここでU(1)群は電荷QU(1)生成子とSU(2)t^3の線形結合で表されるように選ばれる。
Q \cdot l_L =  \begin{pmatrix} 0&0 \\ 0&-1 \end{pmatrix} \begin{pmatrix} \nu_L \\ e_L \end{pmatrix} = \begin{pmatrix} 0 \\ -1 \end{pmatrix}
(Q - t^3) l_L =  \begin{pmatrix} -\hf & 0 \\ 0 & -\hf \end{pmatrix} l_L = -\hf l_L
ただし、SU(2)_Lの生成子はt^a = \frac{\si^a}{2}で与えられる。Y  = 2(Q - t^3) を弱いハイパーチャージと呼ぶ。上記よりl_Lに施されるとY_L = -1となる。また弱いアイソスピン一重項であるe_Rについては、Q e_R = - e_RなのでY_R = -2となる。したがって、U(1)_Y = U(1)_{(L+2R)}と書ける。

備考:電荷QSU(2)_Lに完全に埋め込むことはできない。つまり、余計なU(1)部分をゲージ変換させずにSU(2)_Lに埋め込めない。もしそうなればe_Rの電荷がゼロとなってしまうためである。

SU(2)の生成子I^aについて (a=1,2,3)
基本表現: I^a = t^a = \frac{\si^a}{2}[t^a ,t^b ] = i \ep^{abc}t^c
随伴表現: I^a = (T^a)_{kl} = -i (\ep^a )_{kl}

まとめるとレプトン数を別にすると利用可能なゲージ群はSU(2)_L \times U(1)_Yとなる。

それぞれの群について次のようにゲージ場を導入する。

SU(2)_L: ゲージ場 b_\mu^a  結合定数 g
U(1)_Y:   ゲージ場 c_\mu  結合定数 g^\prime

共変微分は
D_\mu \Psi  = \left( \d_\mu -i g b_\mu^a t^a - i g^\prime C_\mu \frac{Y}{2} \right) \Psi
となる。\Psiはフェルミオン場であり、具体的には
D_\mu l_L  = \left( \d_\mu -i g \frac{\si^a}{2} b_\mu^a  + i \hf g^\prime C_\mu \right) l_L
D_\mu e_R = \left( \d_\mu + i g^\prime C_\mu \right) e_R
レプトン・セクターの自由場ラグランジアンは
\L_0 = - \bar{l}_L \ga \cdot \left( \d - ig b \cdot t + i \hf g^\prime C \right) l_L - \bar{e}_R \ga \cdot \left( \d + ig^\prime C \right) e_R
と表せる。

次にb_\mu^aC_\muの運動項を導入する。それぞれについて場の強さテンソルは
F_{\mu\nu}^{a} (b)  = \d_\mu b_\nu^a -\d_\nu b_\mu^a + g \ep^{abc}b_\mu^b  b_\nu^c
G_{\mu\nu}^{a} (C) = \d_\mu C_\nu^a -\d_\nu C_\mu^a
となる。ゲージ場の運動項は
\L_{g} = \qu F_{\mu\nu}^{a} (b) F_{\mu\nu}^{a} (b) - \qu G_{\mu\nu}^{a} (C) G_{\mu\nu}^{a} (C)

2021-08-02

2021年夏の家族旅行2:白神山地、平泉

 前回の続きです。国道102号で十和田湖から弘前まで。山道を抜けると後は走りやすい道でした。眼前に雄大な岩木山を仰ぎながらのドライブです。弘前市内を抜けて白神山地ビジターセンターへ。途中でガソリンスタンドのお兄ちゃんがビジターセンターの隣の道の駅「ビーチにしめや」のソフトクリームが美味しいと教えてくれたので、寄ってみました。確かにおいしかったです!山なのにビーチってと思いましたが、beechって「ブナ」のことなのね。隣のビジターセンターで英語の冊子みて分かりました。ビジターセンターのシアターで「南極の恐竜」というビデオが上映されるというので、子供が観たがりましたが40分もあるというので諦めさせるのが大変でした。白神山地についての上映なら観たのですが。生憎タイミングが合いませんでした。

道の駅ビーチにしめや

道の駅から岩木山方面

2021年夏の家族旅行1:八甲田山登山、奥入瀬

今回は東北に行きました。青森の八甲田山と白神山地のトレッキングがメインです。7/29の14時過ぎに出発。花巻に着いたのは21時前でした。夏の東北道は大雨が降るイメージがありますが今回も所々で雨天走行となりました。花巻のルートインに宿泊。翌日は朝食を取らずに6時過ぎに出発しました。

ホテルの部屋から

花巻IC近くのコンビニで朝食&昼食購入

津軽SA

さくらVPS CentOS7 に PHP5.6, phpMyAdminインストール

さくらVPS CentOS7.9 に PHP5.6(CentOS7に対応する一番古いバージョン)と対応する phpMyAdmin をインストールしたので記録しておきます。CentOSのバージョンは

# cat /etc/redhat-release
CentOS Linux release 7.9.2009 (Core)

●apache install

公式サイトの解説を参考にしました。

# yum update
Complete!
# yum install httpd
Complete!

# systemctl start httpd
OKもNGも何も出てきませんが、これでhttpdが起動できたそうです。

# firewall-cmd --add-service=http --zone=public --permanent
FirewallD is not running
# systemctl start firewalld
# firewall-cmd --add-service=http --zone=public --permanent
success
# firewall-cmd --add-service=https --zone=public --permanent
success
# systemctl restart firewalld

としましたが、ブラウザでapache確認できませんでした。上記解説URLを良く見るとパケットフィルタの設定をしていなかったことが原因でした。パケットフィルタの設定で「Web(80/443)」を許可すると、無事表示されました!

# systemctl start httpd.service
# httpd -v
Server version: Apache/2.4.6 (CentOS)
Server built:   Nov 16 2020 16:18:20

ついでにパケットフィルターでFTP,mailも許可しておきました。

●PHP5.6インストール


を参考にしました。

# yum install epel-release
Nothing to do
# rpm -Uvh http://rpms.famillecollet.com/enterprise/remi-release-7.rpm
# yum install --enablerepo=remi,remi-php56 php php-devel php-mbstring php-pdo php-gd php-xml php-mcrypt
Complete!

# php -v
PHP 5.6.40 (cli) (built: Jun 28 2021 14:40:12)
Copyright (c) 1997-2016 The PHP Group
Zend Engine v2.6.0, Copyright (c) 1998-2016 Zend Technologies

php.ini 編集
# cd /etc
# cp php.ini php.ini.old
# vim php.ini

post_max_size = 128M
...
upload_max_filesize = 128M

と変更して再起動。

# systemctl restart httpd

# echo "<?php phpinfo(); ?>" > /var/www/html/info.php

http://160.xx.xxx.xxx/info.php
OK!!

ワインバーグ・サラム理論 note02: SU(2) \times U(1)ゲージ理論

歴史的なモチベーション:
(a) V-A型カレント・カレント相互作用は繰り込み可能でない

(b) カレント・カレント相互作用は 300GeVのエネルギー・スケールでユニタリー性が破れる

ただし、V-A型カレント・カレント相互作用はベクトル・ボソンW^{\pm}_{\mu}の低エネルギー現象論(のラグランジアン)を与える。詳しくはnote05の式(6)を参照のこと。

ユニタリー性の概要: 

相互作用 \bar{\mu}_e + e \rightarrow \bar{\mu}_e + e を考えると、そのカレント・カレント相互作用のラグランジアンは \L_I = \frac{G}{\sqrt{2}} J^{+}_{\mu} J^{-}_{\mu} の形になるので、次元解析から全散乱断面積は \si_{tot} \sim G^2 s  となる。不変な散乱振幅は一つの部分波のみを持つ。(質量を無視、運動方向の角運動量は1となる。)このときユニタリー性から \im F(s, 0) = 24 \pi \frac{\om}{k}f_1 \le \frac{24 \pi \om}{k}と書ける。光学定理より \si = \frac{1}{2k \sqrt{s}} \im F \le \frac{48 \pi}{s} (\om = \sqrt{s} \approx 2k ) よって、カレント・カレント相互作用は G^2 s \sim \frac{48 \pi }{s} のエネルギーレベルでユニタリー性を破る。最も強い制限は \bar{\mu}_\mu + e \rightarrow \bar{\mu}_e + \mu に由来する。

ユニタリー性と繰り込み可能性の問題は互いに関係している。質量のあるW^{\pm}_{\mu}ボソンをつかったベクトル・ボソンによる手法はカレント・カレント相互作用の現象を再現することが出来ることが示されている。また、質量のあるベクトル・ボソンを導入する場合、繰り込み可能なものは自発的対称性の破れのあるゲージ理論だけであることが知られている。したがって、ある電弱相互作用の群 G_W (= SU(2) \times U(1)) にもとづいたゲージ理論を構築したい。ただし、G_Wの特徴は以下の通り。
(1) W^{\pm}_{\mu}は荷電粒子で相互作用するので、G_WU(1)_{em}を含む必要がある。

(2) W^{\pm}_{\mu}に質量を持たせ、G_Wの対称性を破ってU(1)_{em}を得るために、ヒッグス粒子を導入する必要がある。 

次回以降はシンプルな1世代モデルから始めて、具体的にどのような理論が構築されるのかを見て行く。

ワインバーグ・サラム理論 note01: ユークリッド計量、参考書など

先日、Steven Weinberg が亡くなられたそうです。


素粒子物理学の黄金時代を牽引した大御所の一人。場の量子論、宇宙論の教科書だけでなく一般向けの教養書でも有名でとても影響力のある理論物理学者でした。ノーベル賞受賞対象となった標準電弱理論(電弱統一理論あるいはワインバーグ・サラム理論とも呼ばれる)のキッカケとなったアイデア(ヒッグス機構)は公園に連れて行った娘さんがブランコをしている際に思いついたという話をどこかで読んだ記憶があります。

ワインバーグの業績やエピソードについては上記のブログを参考にして下さい。ここでは私が大学院の時にまとめたワインバーグ・サラム理論のノートを復習もかねてデジタル化しようと思います。このノートは指導教官のナイアにもらったノートを基にして作成したものです。

参考文献は以下の通り。

T-P Chen and L-F Li, Gauge theory of elementary particle physics
(Oxford 1984)

C. Quigg, Gauge theories of the strong, weak, and electromagnetic interactions (Benjamin 1983)

Peskin and Schroeder, An Introduction to Quantum Field Theory
(Perseus 1995)

H. Fritzsch and P. Minkowski, Flavordynamics of quarks and leptons
Phys. Rep. 73C 67 (1981)


Greiner and Müller, Gauge Theory of Weak Interactions
(Springer 1996)

Aitchison and Hey, Gauge Theories in Particle Physics, 2nd Ed.
(Adam Hilger 1989)