2
応用数学解説
文献あり

Nielsen-Ninomiyaの定理2/2: fermion doublingに関する不可能性定理

193
0

【更新履歴】
20Nov.2023: 「量子アノマリーの消失」の章において、Nielsen-Ninomiyaの定理の前提が満たされるときにアノマリーがキャンセルする理由の説明が適切ではなかったので修正しました。


※本記事は Nielsen-Ninomiyaの定理1/2: Poincaré-Hopfの定理 の続きです。

本記事では、fermionの格子正則化に伴う邪魔なモード(=doubler)の出現、その出現が物理的に自然な条件下で不可避であることを示した「Nielsene-Ninomiyaの定理」に関して述べます。

場の量子論は発散を伴う理論なので、何らの方法で正則化(=一時的な有限化)し、発散を取り除く必要があります。そのなかでも格子正則化は有用です(Refs.[1][2][3]参照)。格子正則化とは、図1のように時空を離散化することで紫外領域の発散を有限化する正則化であり、摂動論に依存しない正則化です。

格子正則化の概念図。時空を格子に区切り、その格子間隔を!FORMULA[0][37639][0]とする。 格子正則化の概念図。時空を格子に区切り、その格子間隔をaとする。

特に非可換ゲージ理論は低エネルギーで強結合になるため、非摂動的な正則化は重要になります。格子正則化により、解析的な計算はもちろんモンテカルロ法による数値計算も活発になされています。また、格子正則化ではくりこみ群の描像が大変わかりやすく(Ref.[3])、教育的な意味でも良い正則化かと思います。

fermionの格子正則化に関しひとつ大きな問題があります。ナイーブに格子化してしまうと、連続極限(=格子間隔をゼロにした極限)において物理的でないモードが出現してしまうのです。このようなモードはdoublerと呼ばれます。doublerは邪魔な存在なのですが、それを取り除くことは、ある物理的に自然な条件下で不可能です。この不可能性定理(no-go theorem)は「Nielsen-Ninomiyaの定理」として知られています(Ref.[4])。そしてこの定理は、 前回の記事 で示した「Poincaré-Hopfの定理」により導くことができます。

以下、doublerの出現を説明したのち、Nielsen-Ninomiyaの定理を導きます。

doublerの出現

まずはdoublerの出現を確認します。以下の議論はEuclid化された理論で行います。

Euclid連続極限における自由なfermionの作用は

SF=d4xψ¯(x)(γμμ+m)ψ(x)

です。γμはガンマ行列です。その性質に関してはAppendixをご参照ください。微分を差分化して離散化し

ψ¯(x)μψ(x)離散化ψ¯nψn+μ^ψnμ^2a

とします。ここでaは格子間隔、nnμZ (μ=1,2,3,4)のインデックスを省略した記号であり、ψの4次元時空における格子上の位置をこれで指定します。μ^μ方向の単位ベクトルです。このような離散化を施せば、作用SFは以下のように書けます:

SFlat=a4n,nψ¯nDFn,nψn,DFn,n=12μ{γμ(δn,nμ^δn,n+μ)+14mδn,n}
latは格子(lattice)のこと、また離散化された作用ではψ¯,ψ,mは自然単位系で単位なしになるように、連続極限のそれにaを適切にかけたものとして定義していますので注意してください。

場の量子論において漸近場とはDFψ=0を満たすモードのことです。これが実際に観測される物理的な粒子に対応します。連続極限における運動量表示では、DFの運動量表示であるDF(p)のゼロモードψ(p)に対応し、その運動量はp2=m2を満たします。ここでp2:=pμpμであり、pμは4元運動量(E,px,py,pz)のことです。これはon-shell条件と呼ばれます。

格子上におけるon-shell条件がどうなるか考えます。そのため上記のDFn,nをフーリエ変換し運動量表示します。格子上のψ¯(n),ψ(n)の運動量をそれぞれp,pとすると

DFp,p:=n,neipμanμeipμanμDFn,n=12μn[γμ{eia(pμ+pμ)nμ(eiapμμ^eiapμμ^)}+m4eia(pμ+pμ)nμ]=12μn[γμ{eia(pμ+pμ)nμ2isin(apμμ^)}+m4eia(pμ+pμ)nμ]

ここでnの和をとればeia(pμ+pμ)nνのファクターよりδ(4)(p+p)を得ます。よって運動量空間ではDFは対角化されます。結局、DF(p)DFp,pからデルタ関数を除いたものとすれば

(1)DF(p)=a4(iμsin(pμa)γμ+m8)

になります。簡単のためm=0としてon-shell条件を考えます。格子上ではpμa=0だけではなく、pμa=πでもsin(pμa)=0となります。よって、このようなナイーブな格子上のfermion作用は

pμ=0  or  π/a   (μ=1,2,3,4)

の組み合わせすべてがon-shell条件を満たします。すなわち、連続極限では1つしかなかった物理的モードが、格子上では24=16コのモードを生み出してしまいます。これがdoublerです。

「doublerが出現したっていいのでは?」と思うかもしれませんが、問題があります。例えば非可換ゲージ理論は漸近的自由性を持つと言われます。これはすなわち、観測するスケールが小さくなると非可換ゲージ理論の相互作用は小さくなるという性質です。しかしそれはfermionの数に依存します。ゲージ群がSU(3)の場合の摂動論の計算では、17コのfermionのモード(いわゆるflavor)を境に、漸近自由か否かが入れ替わります(Ref.[5])。物理がfermionのモードの数に大きく依存する典型例です。解析的な計算によりfermionのモードの数と物理量のスケーリング関係が厳密に分かればいいですが、特に非摂動論的領域ではそのようなスケーリングを求めることは絶望的です。また後に述べますが、doublerが存在すると、連続極限における量子アノマリーが消えてしまうという大問題もあります。

Nielsen-Ninomiyaの定理

ということでdoublerを除去したいのですが、実はそう簡単には消せないことが知られています。doublerの除去にはある種のno-go theoremが存在します。すなわち、物理的に自然な条件下でdoublerが不可避であることが証明できてしまうのです。そしてこれはtopologicalな理由によることが知られています。このno-go theoremはH.NielsenとM.Ninomiyaにより示されたため(Refs.[4])「Nielsen-Ninomiyaの定理(以下NN定理と呼ぶ)」と呼ばれます。

Ref.[7]では、NN定理の証明にトポロジーの分野で有名な定理「Poincaré-Hopfの定理」を用いています。この定理は前回の記事で示しました。以下Poincaré-Hopfの定理を用いてNN定理を示します。証明ではRefs.[7][1]を参考にしています。

NN定理は以下です:

Nielsen-Ninomiyaの定理

格子上のfermion作用が次の条件を満たすとする

  • chiral対称性
  • 格子上の並進対称性
  • Hermite性
  • 局所性

このときchiralityがL(left-handed)とR(right-handed)のモードは同数存在する。

fermionψγ5の固有状態であり、その固有値が+1のときR1のときLと言います。γ52=114×4行列の単位行列)なので、固有値は±1になることに注意してください。またLRへのfermionの射影演算子は
PR:=(1+γ5)/2, PL:=(1γ5)/2
です。ガンマ行列に関してはAppendixをご参照ください。

chiral対称性とは、以下の変換:
ψeiγ5Qψ    (Qは定数)
に対して作用が不変であることを言います。Qは本来flavor空間に作用する行列ですが、ここではone flavorの場合を考え定数とします。ψ¯:=ψγ0はこの変換に対しψ¯ψ¯eiγ5Qと変換し、またeiγ5Qγμ=γμeiγ5Qであるので、fermionの以下の形の作用
iψ¯γμF~μψ,    F~μγ5と可換な量
はchiral対称性を保ちます。

前回の記事では向き付け可能な2次元閉曲面に関するPoincaré-Hopfの定理を示しましたが、以下では証明なしに4次元における同定理を使用します。他にも2次元からの類推を用いる部分がありますが、ご容赦ください。

以下定理の証明です。

chiral対称性を保つ作用Sを次のような一般形で書き下しておきます:
S=x,yμ=14ψ¯(x)γμF~μ(x,y)ψ(y)

まず並進不変性があることから、F~μ(x,y)x,yの差のみに依存するのでF~μ(xy)と書けます。これはすなわち、系は1つの運動量で表せることを意味します。またHermite性より
F~μ(z)=F~μ(z)
と書けます(z:=xy)。局所性に関しては、4次元のフーリエ変換が収束するように
|z|4F~μ(z)0  for  |z|
を課しておきます。以上からfermion作用は運動量表示で
d4p ψ¯(p)γμFμ(p)ψ(p)
となります。格子上では格子間隔aに関する並進対称性があるため、Fμ(p)pp+2π/aに対して周期的です。つまりpは4次元トーラスT4上の連続的なパラメータであり、Fμ(p)T4上で定義されたベクトル場になります。

物理的な粒子はon-shell条件Fμ(p)=0を満たし(※脚注1)、このpFμのゼロ点です。前回の記事のではゼロ点を特異点と呼んだので、以下でもそう呼ぶことにします。前回の記事で示した「Poincaré-Hopfの定理」より、Fμ(p)の特異点の指数の和はT4のEuler標数と等しく、ゼロです。

次にchiralityと特異点の指数との関係を述べます。Fμ(p)を特異点p0のまわりで展開します:
Fμ=νAμν(pp0)ν+O((pp0)2)    (※Euclid空間なので、indexの上下は適当です)
2次元の場合、特異点p0の指数( 前回の記事 参照)は、(p1,p2)p0の周りの円上の軌道に沿って左回りするとき(F1,F2)の方向が左回りすれば+1、右回りすれば1でした。この値は
signdet[Aμν]
によって定まります。これは行列式による右手系・左手系の判別と本質的に同様です。また、特異点をとりかこむ経路上のpからFへの写像に対する写像度(deg)が指数であり、deg この記事 の「トポロジカルな側面」の章にあるように写像の引き戻しで定義されます。そこに行列式が現れることからも、上記の量が指数を定めることがわかります。

ここでAμνを対角化するfermionの基底をとり、対角の行列要素をAμで表します。このときFμ
Fμ=Aμ(pp0)μ     (μの和は取らない)
であり、このときfermionの作用は運動量表示で
ψ¯(p)γμAμ(pp0)μψ(p)
となります。

ここで例えばAμ=(1,1,1,1)とします。このとき指数はsigndet(Aμν)=+1です (Aμの要素はAμνの4つの固有値に対応する)。このとき作用は
ψ¯(p)γμ(pp0)μψ(p)
となります。

一方例えばAμ=(1,1,1,1)とします。このとき指数はsigndet(Aμν)=1であって、このとき作用は
ψ¯(p)γμ(1)δμ1(pp0)μψ(p)
です。s:=γ5γ1とすると、この式は
(ψ¯(p)s1)γμ(pp0)μ(sψ(p))
と書けます(Appendixに示したガンマ行列の反交換関係を用いれば示せます)。ここでψに対するchiral変換をψeiQγ5ψとするなら、sψsψeiQγ5sψと変換します。これはAμ=(1,1,1,1)となるような特異点のon-shellのモードと、Aμ=(1,1,1,1)となるような特異点のon-shellのモードのchiralityは逆になることを示します。一般に

  • AμのうちAiだけが負: s=γ5γiとすればよい。ψsψのchiralityは逆
  • AμのうちAi,Ajが負: s=γiγjとすればよい。ψsψのchiralityは同じ
  • AμのうちAi,Aj,Akが負: s=γ5γiγjγkとすればよい。ψsψのchiralityは逆
  • Aμの成分すべてが負: s=γ1γ2γ3γ4とすればよい。ψsψのchiralityは同じ

このことから、det[Aij]が正ならψsψのchiralityは同じ、負ならchiralityは逆です。以上から、特異点p0(i)  (i=1,,n   nは特異点の数)におけるon-shellモードは、その指数が正のものと負のものでchiralityが逆であることが言えます。上記したように指数の和はゼロだから、LRのモードの数は等しくなります。

このように、定理の前提を満たすとき、たとえ連続極限ではLのみのfermionの作用であったとしても、格子化するとどうしてもRの粒子が"等量"現れてしまいます。定理の前提は基本的にはどれも物理的に重要であるため、ふつうの作用ではdoulberは避けられません。最初に書いたようにこれは困った状況です。さらにLRのモードの数が等しいということは問題です。なぜなら、弱い相互作用のように、現実ではLRの対称性が破れている理論が存在するからです。例えばニュートリノはLのみが存在し、Rは存在しません(※脚注2)。

量子アノマリーの消失

doublerが存在すると他にも困ることがあります。それは量子アノマリーが消えてしまうことです。

以下の記事で量子アノマリーとDirac作用素のゼロモードの関係を議論しています:

Dirac作用素のゼロモードと指数定理

この記事の結論は、nをDirac作用素のLのゼロモードの数、n+Rのゼロモードの数、Fμνを非可換ゲージ場のfield strength、gは理論の結合定数とすると
n+n=ν,   ν:=d4xg232π2tr ϵμναβFμνFμν
が成立するというものです。この量子アノマリーをABJアノマリーとかchiralアノマリーと呼びます。これは現象論的にも非常に重要で、中性パイオンが2つの光子に崩壊する現象、またηと呼ばれる擬スカラー中間子が他の8重項の中間子よりかなり重いため擬 南部・ゴールドストン粒子 (pseudo Nambu-Goldstone particle)とは見做せないという事実等と関わっています。

ところが格子上では理論は適切に正則化されています。そのうえでNN定理の前提であるchiral対称性をもつなら、chiral対称性を破るような量子アノマリーは起こりようがありません。実際そのようなfermionに対し、格子上において摂動論により1ループのアノマリーへの寄与を計算すると、doubler間の寄与のキャンセルが起こり消えます(Ref.[8])。これは大変困った状況です。

まとめ

前回・今回の記事でNielsen-Ninomiyaの定理(NN定理)に関して説明しました。前回の記事ではNN定理の証明に必要なPoincaré-Hopfの定理を証明し、今回の記事でNN定理の証明を行いました。

Euclid空間での格子正則化において、定理の前提を満たす場合、fermionの物理的なモード(on-shellモード)は格子上の運動量における関数Fμ(p)の特異点(=ゼロ点)として特徴づけられます。ところが格子上では運動量は4次元トーラスT4上に存在するため、Poincaré-Hopfの定理より、特異点の指数の和はT4のEuler標数ゼロと等しくなります。本文で示したように、特異点の指数はfermionのLとRに対応し、どちらかを+1とすればもう一方は1になります。よって指数の和がゼロになるということは、LRのon-shellモードの数が等しいことになります。ゆえに、たとえ連続極限でLの粒子のみの作用を作ったとしても、格子上ではLRのon-shellモードが同じ数だけ生じてしまいます。

bosonではdoublerの問題は起こりません。それは以下の理由によります。質量ゼロのboson場ϕの自由場の運動項は2ϕですが、これを格子化すると、Eq.(1)sin(pμa)にあたるものはbosonの場合sin2(pμa/2)になります。0pμa<2πにおいてsin2(pμa/2)=0を満たすpμpμ=0のみであるので、doublerは存在しません。この違いは作用における運動項の微分の階数の違いに由来します。

doublerを消す方法はいくつか知られています。例えばWilson fermionという構成法では、chiral対称性を犠牲にしてdoublerを消します。しかしchiral対称性は強い相互作用において大変重要な対称性であり、また格子正則化が最も威力を発揮するのは強い相互作用の基礎理論であるSU(3)の非可換ゲージ理論なので、この対称性はなるべく保ちたいです。chiral対称性を尊重しながらdoublerを消す方法は1990年代に盛んに研究され、domain-wall fermionやoverlap fermionという格子上のchiral fermionの構成法ができました。これに関してはまた記事にするかもしれません。

おしまい。



(脚注1) Fμ(p)=0はon-shellであることの十分条件です。実際にはμ(Fμ(p))2=0を満たせばon-shellです。Fμ(p)は一般には複素数であることに注意してください。
(脚注2) 弱い相互作用の標準理論ではニュートリノにはLしかないのですが、ニュートリノ振動が観測された現在、この理論は何らかの修正が必要とされています。これに関してはシーソー機構と呼ばれるとても魅力的な理論があるのですが、実験的証拠の不足のため、残念ながら今のところどう修正すればよいかはわかっていません。

Appendix: Euclid空間におけるガンマ行列

ガンマ行列とはClifford代数を満たす行列です。4次元Euclid空間の場合、ガンマ行列γμ (μ=1,2,3,4)は以下の反交換関係を満たします:
{γμ,γν}=2δμν
さらにγ5
γ5:=γ1γ2γ3γ4  (=γ5)
で定義します。γ5γμと反交換します:
{γ5,γμ}=0   (μ=1,2,3,4)

具体的な表示として、chiral表示(=γ5を対角化する表示)では例えば
γ1,2,3:=(0iσ1,2,3iσ1,2,30),   γ4:=(0110),   γ5:=(1001)
が採用できます(Ref.[9] Appendices)。ここでこれらは4×4行列であり、各要素は2×2行列です。σiはパウリ行列であり
σ1:=(0110),   σ2:=(0ii0),   σ3:=(1001)
です。

参考文献

[1]
青木慎也, 格子上の場の理論, Springer-Verlag Tokyo Modern Theoretical Physics Series, Springer, 2005
[4]
Nielsen, H.B., Ninomiya, M., Absence of neutrino on a lattice (I). Proof by homotopy theory, Nucl. Phys. B, 1981, 20-40
[6]
Hopf, Heinz, Differential Geometry in the Large, Lecture Notes in Mathematics, Springer-Verlag, 1989, 113
[7]
Karsten, Luuk H., Lattice Fermions in Euclidean Space-time, Phys. Lett., 1981
[8]
Karsten, Luuk H., Smit, J., Lattice Fermions: species doubling, chiral invariance and the triangle anomaly, Nucl. Phys. B, 1981, 103-140
[9]
Montvay, I., Münster, G., Quantum Fields on a Lattice, Cambridge Monographs on Mathematical Physics, Cambridge University Press, 1994
投稿日:20231118
更新日:20231120
OptHub AI Competition

この記事を高評価した人

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

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

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

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

投稿者

bisaitama
bisaitama
142
64747

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. doublerの出現
  2. Nielsen-Ninomiyaの定理
  3. 量子アノマリーの消失
  4. まとめ
  5. Appendix: Euclid空間におけるガンマ行列
  6. 参考文献