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

くりこみ群の応用:クォーク間ポテンシャルから「走る結合定数」を導く

559
0

※本記事は コッホ曲線とくりこみ群 の続きです。でも読まなくても基本大丈夫だと思います。
※自然単位系を採用しています:=1,c=1

はじめに

コッホ曲線とくりこみ群 では、くりこみ群のコンセプトを、コッホ曲線を通じて説明しました。
本記事では、その応用として、格子正則化により摂動的に計算したクォーク間ポテンシャルにくりこみ群を適用することにより、走る結合定数を計算します。そしてpure Yang-Mills理論(=クォークのない非可換ゲージ理論)が漸近的自由であることを確認します。Yang-Mills理論に関しては この記事 をご参照ください。

本記事の「走る結合定数」とは、Yang-Mills理論に存在する相互作用の強さを表すパラメータ「裸の結合定数g0」が、格子正則化した際の格子間距離aに依存して変化するようにしたものです。その意義等はおいおい説明していきます。
以下、走る結合定数をRC(Running Coupling constant)と略します。

まず コッホ曲線とくりこみ群 の記事の内容をまとめておきます:

  • ある図形が存在する。Rは図形を特徴づける量、dは次元、rは長さを測る基準のスケールとする。またL(R,d,r)は図形の物理的な大きさとする。このときL(R,d,r)=ARdであり(Aは定数)、これはrには依存しない。ここでL(R,d,l)=ArdL^(R/r,d)とする。このときL^Lを「rいくつぶん」で表した数に対応する。そのうえで、L^を粗視化する:
    L^L^CG
    CGは「Coarse Graining=粗視化」の略。粗視化は、コッホ曲線でいえばrより小さな構造を無視して長さを測る操作に当たる。このような粗視化をすればL(R,d,r)r非依存性は崩れてしまう。しかしここで、drに依存させることで、粗視化を行った後もLrに依存しないことを課す。すなわち
     L(R,d,r)=L(R,d,r)   rd(r)LCG(R,d(r),r)=(r)d(r)LCG(R,d(r),r)
    が成立することを要求し、d(r)を定める。コッホ曲線の次元、また変形コッホ曲線( この記事 参照)の次元はこの条件から求めることができる。rの変換が連続的な場合、対応する式は
     ddrL(R,d(r),r)=0
    である。これはくりこみ群方程式である。
  • なんらかの物理量H(R,g0,a)R: 物理量を特徴づけるスケール。g0:理論のパラメータ、上の例のdにあたる量。a:理論のカットオフスケール、上の例のrにあたる量)を具体的に計算し、Haに依存しない条件
    (1) ddaH(R,g0(a),a)=0aH(R,g0,a)+βag0H(R,g0,a)=0,   β:=ag0a
    を要求することでg0(a)を求めることができる。これはくりこみ群方程式であり、上で示した式と本質的に同じである。

前回は実際にg0(a)を求めることはしませんでした。今回はHとしてクォーク間ポテンシャルを用いることで(物理量なら何でもよいのですが)、Yang-Mills理論のg0(a)を求めます。

クォーク間ポテンシャル

クォークとは、Yang-Mills理論における、ゲージ群の基本表現の電荷をもつ粒子です。(量子)電磁気学で言えば電子に対応する存在です。クォーク間ポテンシャルは、クォークと反クォークをRだけ離して固定した時の系のポテンシャルエネルギーです。ふつうクォークというとゲージ群がSU(3)の場合のフェルミオンを指しますが、ここでは一般にSU(N)ゲージ理論におけるフェルミオンをクォークと呼ぶことにします。

比較として、電子(電荷e)と反電子(電荷-e)をRだけ離して固定したときの古典的なポテンシャルVを考えます。このときVはご存知のとおり
V(R)=e24π1R
と書けます。これはいわゆるクーロンポテンシャルです(図1)。

クーロンポテンシャル!FORMULA[45][1111343991][0] クーロンポテンシャルV(R)

古典的なクォーク間ポテンシャルは、上記クーロンポテンシャルの係数を変えたものです。電磁気学のゲージ群はU(1)ですが、Yang-Mills理論ではSU(N)のゲージ群を考えます。クォーク・反クォークの場合、様々な電荷の組み合わせ(表現)が可能なのですが、「カラー閉じ込め」という性質のため、一重項と呼ばれる組み合わせのみが物理的です。この組み合わせに対する古典的なクォーク間ポテンシャルは
Vqq¯C(R)=g024πC2(F)1R
で与えられます。ここでポテンシャルにつけたCは古典的なポテンシャルであることを示します。g0は理論の結合定数で、ゲージ場同士の結合の強さを表しており、電磁気学のeにあたります。C2(F)はfundamental second-order Casimir invariantと呼ばれる量でC2(F)=(N21)/2Nです。係数の違いはあれど、古典論では電子間もクォーク間もどちらもクーロンポテンシャルです。

ひとつコメントです。最初に「クォークのないYang-Mills理論」と言ったのに、クォーク間ポテンシャルを考えるとはどういうことだ!と思われるかもしれません。ここで導入したクォーク・反クォークペアは、これはあくまで外場として、固定された電荷として存在しています。これら以外に理論にクォークは入っていません。

次に量子補正を取り入れます。

場の量子論における量子補正とは、仮想粒子の生成・消滅の効果のことです。図3において、ぐるぐる線はゲージ場の伝播を表すのですが、右下の図では、1つのゲージ場が2つに増え、また1つに戻っています。このように、粒子は常に生成・消滅を繰り返しています。ところが、この効果を取り入れると、図3下2つのようなループをなすダイアグラムにおいて発散が起こります。発散を取り除くために「くりこみ」という手続きを行います。その際正則化という「発散のカットオフ」が必要です。正則化にはいくつか方法があるのですが、ここでは格子正則化を用います。これは時空を格子状に区切り、各点の間隔をaとすることで発散を有限化する正則化です(図2)。aが有限なら、発散は起こりません。くりこみを行い、発散する部分を除去したのち、最終的にa0Rは固定)の極限をとります。この極限を「連続極限」と呼びます。

格子正則化。時空を格子状に区切る。クォーク・反クォークを!FORMULA[55][37174][0]だけ離して置き、ポテンシャルを計算する 格子正則化。時空を格子状に区切る。クォーク・反クォークをRだけ離して置き、ポテンシャルを計算する

しかしRCを計算する限りにおいて、くりこみを行う必要はありません。格子間隔a、クォークの間隔R、およびYang-Mills理論がもつ結合定数g0に依存するクォーク間ポテンシャルV(R,g0,a)を計算すればそれで十分です。詳細はすべて省きますが、ポテンシャルは以下の計算で求めることができます:
Vqq¯(R)=limT1TlogPexp(ig0CdzμAμ(z))

積分の経路Cは空間方向の長さR、時間方向の長さTの四角い経路です。Aμはゲージ場、Pは経路に沿った積を取ることを意味します。は真空による期待値を表します。期待値の中のoperatorはWilson loopと呼ばれます。これを正則化して計算し、最終的に連続極限を取ればよいです。

と言うは易いのですが、このWilson loopの期待値、任意のRの値での連続極限における解析計算には今のところ誰も成功していません。

そこで、摂動的にこれを計算します。摂動計算とは、相互作用がない場合の状態の完全系を用いて、g0の次数ごとに相互作用の効果を取り入れる方法です。g04までのオーダーで、格子正則化により、図3のダイアグラムを計算します。四角の横方向が空間方向で幅がR、縦方向は時間方向で幅がTです。その結果は以下になります(Ref.[1-3]):
(2)Vqq¯(R,g0,a)g024πRC2(F)[1+g0211N24π2ln(7.501Ra)+14g02C2(F)] 

クォーク間ポテンシャルの4次のオーダーで考慮すべきダイアグラム(Ref.[1] P123 Fig.9-2)。ぐるぐる線はゲージ場の伝播を表す。 クォーク間ポテンシャルの4次のオーダーで考慮すべきダイアグラム(Ref.[1] P123 Fig.9-2)。ぐるぐる線はゲージ場の伝播を表す。

この計算は大変なので(私は計算したことありません。Ref.[1] Eq.(9.8)をそのまま書き記しました)、ここではこれを受け入れ、話を続けます。図4がV(R,g0,a)のグラフです。

古典的なクォーク間ポテンシャル(青線)と、摂動的に量子効果を入れたEq.(2)のポテンシャル(赤線)。!FORMULA[74][-1139382085][0]に設定。 古典的なクォーク間ポテンシャル(青線)と、摂動的に量子効果を入れたEq.(2)のポテンシャル(赤線)。N=3,g0=0.5,a=0.5に設定。

もうひとつ注意です。上記ポテンシャルは摂動論で求めているため、短距離でのみ正しいです。実際にはRが大きいところでは非摂動的効果が大きく効き、全体としてクーロン力に線形に増加するポテンシャルが足された形
V(R)=αR+σR   (α:Coulomb coefficient,  σ:string tension1GeV/fm for SU(3))
になることが、数値計算により確かめられています。

くりこみ群方程式によるβ関数およびg0(a)の計算

くりこみ群を用いてg0a依存性を求めます。
Eq.(1)でHをEq.(2)のVに置き換え、人工的に導入したaVが依存しない条件より、くりこみ群方程式
(3)aaV(R,g0,a)βg0V(R,g0,a)=0,   β:=ag0a
を得ます(Callan-Symanzic方程式と呼ばれます)。ここでちょっとした事情からβの符号はEq.(1)とは逆にしました。これに具体的なVの表式を代入し、結合定数のカットオフ依存性g0/aを求めます。
最初の項は
aaV(R,g0,a)=Dg04R,      D:=C2(F)4π11N24π2
です。第2項は
βg0V(R,g0,a)=Bβg0R+Bβg03Rf(R,a),     B:=C2(F)2π
となります。g0が小さいとして、βg03は無視すると、くりこみ群方程式より
β=DBg03=11N48π2g03ag0a=11N48π2g03
を得ます。これを解くと
g0g01g3dg=β0aa1ada    (β0:=11N48π2)loga=12β0g02α    (α=12(g0)2loga)a=1eαe12β0g02:=1ΛLe12β0g02
となります。ΛLは積分定数ですが、(自然単位系において)質量と同じ次元を持ちます。
g02(a)について解けば
(4)g02(a)=g0212g02β0log(a/a)
となります。

g0aの関係を図示したのが図5です。g0が小さく、摂動論が有効な場合を考えます。βが負なので、g0はaの増加関数であり、a0g0は小さくなります。またEq.(4)より、a0g00になり、またこの極限でβ0です。βg0aに対する増加率なので、これがゼロになるということは、g0の"running"が止まるということです。このようにa0でパラメータのrunningが止まり、ある極限値をもつ点を、UV(Ultra Violet)のfixed pointと言います。Yang-Mills理論はUV fixed pointを持ち、そこでg0=0となります。

漸近的自由な理論における!FORMULA[114][-1994354232][0](概念図であり、適当なグラフです) 漸近的自由な理論におけるg0(a)(概念図であり、適当なグラフです)

この事実は次の描像を与えます(図6): 何かRのスケールを持つ量があり、それを格子上で計算することを考えます。aをどんどん小さくします。それに応じて結合定数を適切に小さくします。Rは固定されているので、格子の数は多くなり、その量に影響する格子点はどんどん多くなります。相互作用は弱くなるが、たくさん積み重なり、2つの効果はバランスします。結果、どんなaで計算しても、その量は(近似の範囲内で)一定になります。

格子間隔を変えるとともに!FORMULA[119][37825][0]を適切にスケールすると、同じ物理量を得る 格子間隔を変えるとともにgを適切にスケールすると、同じ物理量を得る

aは人工的な量であり、本来世の中は連続的なはずです。よってaは十分小さくしないと正しい計算にはならないです。また、g0は別にaに依存する量でもないはずです。しかし、くりこみ群により得られたg0(a)を用いると、大きなa=粗い格子を使っても、比較的正しい結果が得られます。このようなコンセプトは、例えばQCDの数値計算で、粗い格子(計算量が少なく計算しやすい)における計算のimproveに使われることがあります。

上記ポテンシャルの計算は大変ですが、しかし一旦この量を得てしまえば、RCは直ちに求まります。そして格子正則化のひとつのメリットは、くりこみ群の意味が非常にわかりやすいことです。「aより小さなスケールを無視した「しわよせ」をg0におしつけることで、物理量がaに依存しないようにする」のがくりこみ群方程式の意味であることが明白であり、コッホ曲線の記事で議論したくりこみ群の話と完全に並行した議論になります。一方、連続極限において、例えば次元正則化を使ってRCを計算する場合は、もうすこし込み入った議論が必要になります。

漸近的自由性(asymptotic freedom)

理論がUV fixed pointをもち、そこでg0=0となるとき、理論は「漸近的自由(asymptotic free)である」と言います(注)。1970年代初頭に、強い相互作用の基礎理論がQCD、すなわち「Yang-Millsのゲージ群がSU(3)の理論」であることが確立しました。このとき決定的だったのが、Politzer、Gross・WilczekによるQCDの漸近的自由性の証明でした(Ref.[4][5])。2004年のノーベル物理学賞の対象がこの証明であったことは、漸近的自由性の大切さを物語っています。なぜこれが大切なのかというと、漸近的自由性が、強い相互作用の実験で見つかっていたBjorken scalingと呼ばれる重要な性質を導くからです。漸近的自由な理論はなかなか見つからなかったのですが、最終的にRef.[4][5]によりYang-Millsがそのような理論であることがわかりました。実は漸近的自由な理論は、Yang-Millsくらいしかないことが知られています(Ref.[6])。

付け加えると、Bjorken scalingは高エネルギー極限で成立し、有限のエネルギーでは破れます。その破れまで含め、QCDは定量的に実験を再現します。 ScholarpediaのBjorken scalingのページ の下の方のFig.4を見てみてください。図が何を意味するかはさておき、点(実験データ)と線(QCDの予言)が非常によくあっていることがわかります。この定量性こそが、QCDが強い相互作用の基礎理論である1つの大きな証拠です(※)。

次元転移(dimensional transmutation)

ところでちょっと不思議に思えることがあります。g0という次元のない量が、なぜ次元をもつ量aに依存できるのでしょうか。pure Yang-Mills理論は次元をもつパラメータがないので、aを次元のない量にするためのスケールが存在しません。ということは、どうやっても次元なしのaの関数を作ることができないように思えます。

Eq.(4)をふりかえります。logの中にaが存在しますが、これは初期条件のaという次元をもつ量で割られています。この初期条件が、理論に存在しなかった新たなスケールを導入し、g0(a)なる関数を可能にします。ただ、aは任意に選べるので、これだけでは特定のエネルギースケールが導入されたわけではないように思えます。

Eq.(4)の3行上の式より
ΛL=1ae12β0g02
が成立します。右辺は一見aに依存しているように見えます。しかし導出を見ればわかるように、ΛLは次元をもつ定数です。よって右辺のa依存性が打ち消し合って定数となっています。aは任意に選べるのに対し、ΛLは任意ではなく定まった量であり、量子化により新たに生じた理論のスケールです。これは理論だけでは定まらず、実験から定める必要があります。

このように、次元なしのg0を次元のあるaで書き直すことができることを指して「次元転移(dimensional transimutation)」と呼びます。

ポテンシャルに対するくりこみ群方程式をもう一度眺めます。
計算を追ってみると、β関数が0でないという「異常事態」が起き、結合定数が走る理由は、ポテンシャルにlog(R/a)という項があるからです。もし正則化をせずaというスケールをもつ量がなければ、こんな項は存在できません。よくよく考えてみれば、aがなければポテンシャルは次元解析によりクーロン力にならざるを得ません。クーロン力は古典論においてスケールを持つパラメータがないことの結果であり、必然です。
このことからも、正則化が次元転移に重要なことがわかります。

量子化の際に正則化を行うことで、古典論には存在しない、格子間隔aのような次元をもつ任意定数が導入されます。さらにag0(a)を組み合わせることにより、次元を持つがaに依存しない定数を作り出すことができる。これらが次元転移が起こる理由かと思います。

対称性の観点から言えば、古典論ではYang-Mills理論はスケール不変性を持ちますが、量子化によりそれが破れます。一般に、古典論は存在した対称性が量子化で破れる現象を「量子アノマリー」「量子力学的対称性の破れ」などと呼びます。

まとめ

今回は、格子正則化において摂動的に計算したYang-Mills理論のポテンシャルに繰り込み群方程式を適用することにより、走る結合定数(RC)を計算しました。そしてpure Yang-Mills理論が漸近的自由性をもつことを確認しました。さらに次元転移という、量子論で新たにスケールが生まれる現象に言及しました。

RCは連続極限の場の量子論において、くりこみを行うことにより求めるのが普通です。一方、本記事では、格子正則化における摂動的ポテンシャルにくりこみ群を適用することでそれを求めました。この方法だと、くりこみなどやっかいなことを考えることなく、非常に簡単にRCを計算することができます。また、くりこみ群の意味がとてもわかりやすく教育的なこともメリットです。

おしまい。



(注) 連続極限の摂動計算では、ゲージ場の三点関数の結合定数をくりこんだ量gr(μ)μ:外線の典型的なエネルギースケール)が、μにおいてゼロに近づくとき、漸近的自由と呼ばれます。これは格子正則化における裸の結合定数g0(a)のrunningとは一見違います。しかし実は、格子上のgr(R)のrunningが、本記事の摂動の次数の範囲内で、g0(a)のそれと同じであることが示せます(Ref.[1]のP125-128、またRef.[7]P89・90に、これに関する議論があります)。μR1なので、R0μに対応し、この極限でgr(μ)0になります。すなわち、a0のときg0(a)0となるなら、μgr(μ)0となります。よって、本記事での漸近的自由性は、連続極限での漸近的自由性と対応することがわかります。

(※) 余談ですが、2021年ノーベル賞を受賞されたG.Parisiさんは、共同研究者のAltarelliさんと共に、Bjorken scalingとQCDを結びつける重要な研究を行いました(Ref.[8]等)。ですが、ノーベル賞の受賞対象は、基本的にはスピングラスという物性物理学の研究、また気象に関する理論的な研究など、複雑系に関連するものです。しかし、QCDが強い相互作用の基礎理論であることの解明にParisiさんが多大な貢献をされたことは、受賞対象の研究に負けず劣らず重要であり、記憶しておくべきことかと思います。

参考文献

[1]
Heinz J. Rothe, Lattice Gauge Theories An Introduction (Third Edition), World Scientific Lecture Notes in Physics Vol.74, World Scientific, 2005
[2]
Eve Kovacs, Lattice predictions for low-$Q^2$ phenomenology, Physical Review D, 1982, pp.871-880・p.10
[3]
U.M. Heller and F. Karsch, One-loop perturbative calculation of Wilson loops on finite lattices, Nuclear Physics B, 1985, pp.254-278・p.25
[4]
H. David Politzer, Reliable Perturbative Results for Strong Interactions?, Physical Review Letters, 1973, pp. 1346-1349・p.4
[5]
David J. Gross and Frank Wilczek, Ultraviolet Behavior of Non-Abelian Gauge Theories, Physical Review Letters, 1973, pp.1343-1346・p.4
[6]
Sidney Coleman and David J. Gross, Price of Asymptotic Freedom, Physical Review Letters, 1973, pp.851-854・p.4
[7]
Michael Creutz, Quarks, gluons and lattices, Cambridge Monographs on Mathematical Physics , Cambridge University Press, 1983
[8]
G. Altarelli and G. Parisi, Asymptotic freedom in parton language , Nuclear Physics B, 1977, pp.298-318・p.21
投稿日:2022714
OptHub AI Competition

この記事を高評価した人

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

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

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

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

投稿者

bisaitama
bisaitama
143
68006

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. はじめに
  2. クォーク間ポテンシャル
  3. くりこみ群方程式によるβ関数およびg0(a)の計算
  4. 漸近的自由性(asymptotic freedom)
  5. 次元転移(dimensional transmutation)
  6. まとめ
  7. 参考文献