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

コッホ曲線とくりこみ群

1933
0

くりこみ群の説明として使うコッホ曲線

くりこみ群は物理学において最も重要な解析手法のひとつです。様々な教科書・テキストに解説がありますが、それらの多くはある程度物理を知らないと理解しにくいように思います。

「コッホ曲線」は、そのフラクタル次元が無理数であることで有名です。そしてこの次元を求めることにくりこみ群の考え方を使うことができます。コッホ曲線は物理を知らずとも理解でき、かつ非常にシンプルな系なので、くりこみ群のコンセプトを解説するのにちょうどよいように思います。他の文献にもこのような解説があるかと思いますが、「車輪の再生産」を厭わずに、コッホ曲線を使ってくりこみ群を説明したいと思います(1)

後半は物理の話ですが、興味の無い方は「物理学におけるくりこみ群」の前まで読めば十分です。

コッホ曲線の次元: "ふつうの"求め方

コッホ曲線の次元の求め方はご存知かもしれませんが、self-containedにするためにこれを書いておきます。

コッホ曲線の構成法 コッホ曲線の構成法

コッホ曲線は図1のように構成します。最初に長さRの直線がある状態をn=0次のコッホ曲線とします。次の次数では、この直線を3等分して、真ん中の線分を除き、さらに真ん中に底辺を除いた正三角形の折れ線を作ります。これを「n=1のコッホ曲線」とします。n=01の操作により、長さが4/3倍になります。nが増えるたび、この作業をすべてのちいさな線分に施します。これをn回繰り返したコッホ曲線を「n次のコッホ曲線」と呼びます。nを指定せずに「コッホ曲線」と呼んだ場合、nの極限を指します。図2はn=6のコッホ曲線です。既に非常に複雑な構造を持つことがわかります。コッホ曲線の長さは一回の変換で長さが4/3倍になるため発散しています。

n=6のコッホ曲線 n=6のコッホ曲線

コッホ曲線ではふつうの次元とはちがうフラクタル次元(〜ハウスドルフ次元)を定義することができます。この定義では、測る基準を変えたとき、その基準でオブジェクトの大きさがどう変化するかにより次元を定めます。いまd次元のオブジェクトが存在し、その一辺の長さがRだとします。大きさを測る基準をrとすると、オブジェクトの大きさは
(Rr)d
となります。この量をL^とし(無次元量)、rλrrを変化させると
L^=(Rr)d(Rλr)d=λdL^
と変化します。すなわち、rλrと変換したときどれだけL^が変化するかがわかれば、次元dが求まります。

コッホ曲線の次元を求めます。その際重要なのが粗視化です。やることは単純で、基準rより短い構造を無視します。図3の左側のようにr=R/3の基準で長さを測るときには、基準が最小単位の線分と同じ長さなので、山もちゃんと測ります。すると大きさはR/3の4こ分です。一方、右図のように基準を3倍してr=Rで測るときには、山の構造よりrが長いので、山を数えないことにします。すると図形の長さはr1つ分となります。このような粗視化の下で次元を求めると、上記のλ1/3のときL^が4倍になるので
4=(13)dd=log4/log3
となります。よく知られているように、次元が無理数になります。

ここで行った測る基準の変更をスケール変換、これに対してある量がどれだけ変化するかをスケーリングと呼びます。

測る基準の変更に対するスケーリング。山の構造より長い基準を用いる場合、山を無視して粗視化する。 測る基準の変更に対するスケーリング。山の構造より長い基準を用いる場合、山を無視して粗視化する。

コッホ曲線の次元:くりこみ群的導出

今度はくりこみ群的考え方で次元dを求めます。やることはほぼ変わりませんが、思想が違います。

改めて以下の量を定義します:

  • L(R,d,r): なんらかの図形の大きさ
  • R: 図形を特徴づける長さ
  • d: 図形の次元
  • r: 図形の大きさを測る基準

一般には図形を特徴づける長さは複数あってもいいですが、ここでは1つしかない場合を考えます。このとき
L(R,d,r)=Rd
となります。本来比例係数が存在しますが、ここでは1としました。1次元の線分・2次元の正方形・3次元の立方体のL(R,d,r)は、Rをそれらの一辺の長さとすると、それぞれR1,R2,R3となるのでこれが成立しています。

Lは実際の大きさであることから、測る基準rには依存しません。例えばLを「1次元、1mの物体の長さ」としたとき、これをr=1mという基準で測ろうとも1cmで測ろうとも1mmで測ろうとも、その表現が1m, 100cm, 1000mmと変わるだけで、大きさは変わりません。

これに対しL^(R,d,r)
L(R,d,r)=rdL^(R,d,r)
で定義します。L(R,d,r)=RdなのでL^(R,d,r)=(R/r)dであり、これは図形の大きさを「rいくつ分」という単位で表した量です。L^は無次元量なので、R/rの関数であることは重要です。

コッホ曲線では、前章で見たように粗視化によって
L^CG(R,d,r)L^CG(R,d,r3)=4L^CG(R,d,r)
となり、通常の次元1の図形とはスケーリングが変わります(図3参照)。ここではL^にCG(Coarse Graining, 粗視化)をつけて、粗視化されていることを強調しました。また細かいことですが、前章のrは「L^CGの3つ目の引数」という意味で使っていたので、その具体的な値をr=Rのように表していましたが、以下ではrは基準の値そのものとします。

L(R,d,r)=rdL^CG(R,d,r)においてd=1とすると、Lrに依存してしまいます。実際rr/3に対し
L(R,d,r)rr/3L(R,d,r3)=(r3)1L^CG(R,d,r3)=4r3L^CG(R,d,r)=43L(R,d,r)
となり変化します。

ここで粗視化をしても大きさLは変化しないことを課します。つまり
L(R,d,r)=L(R,d,r3)
を課します。これを次元dを決定する方程式とみなしdを求めます。つまり、粗視化の影響をdにおしつける(くりこむ)ことでこの式を成立させようというわけです。すると
L(R,d,r)=rdL^CG(R,d,r)rr/313drdL^CG(R,d,r3)=43dL(R,d,r)
だから、Lの不変性を課せば
43d=1   d=log4/log3
となり、コッホ曲線のフラクタル次元が再現されます。

ここで行ったことをくりこみ群の言葉:「スケール変換」「くりこみ群方程式」と対応させると

  • 「スケール変換」=測る基準の変換:rr/3
  • 「くりこみ群方程式」=測る基準に実際の長さが依存しない条件: L(R,d,r)=L(R,d,r/3)

となります。

あるパラメータがスケール変換に対して不変となる点を固定点(fixed point)と言います。この例のd=log4/log3はスケール変換に依存していないので、ある意味この値は固定点ですが、あまりに自明な例です。

コッホ曲線ではスケール変換はrr/3のみ考えればよかったですが、一般にrrに対する「くりこみ群方程式」は
L(R,d,r)=L(R,d,r)
となります。また、この変換が連続的な場合に微分方程式の形で書けば
ddrL(R,d,r)=0
となります。

スケール依存するコッホ曲線

コッホ曲線の場合drに依存せずに定数にしておけば、粗視化の影響をすべてdにくりこむことができました。これはコッホ曲線がスケール不変性をもつからです。

しかし、一般にはくりこまれたパラメータはスケールに依存します。このような場合を考えるため、スケール依存するコッホ曲線として、こんな「変形コッホ曲線」(2)を考えてみます。

通常コッホ曲線を構成するとき、直線を3等分し真ん中に正3角形をつくるという作業をくりかえします(図4の左列参照)。
ここでこのルールを次のように変更します。n次の変換では、そのとき最小の直線をn+2等分します。その分割された直線を、それの1つぶんすきまを開けて2つ配置し、そのすきまを一辺とするような正(n+2)角形を作ります(図4の右列参照)。つまりはコッホ曲線の変換をnに応じて3角形、4角形、5角形...としたものです。ただしこれを行うと、図形全体の横幅が3/(n+2)倍に小さくなってしまうので、各段階ですべての線分を(n+2)/3倍することで、全体の横幅を一定に保ちます。nが大きいとき、通常のコッホ曲線と変形コッホ曲線は図5のようになります。

次数!FORMULA[89][38042][0]=1から3のコッホ曲線(左列)および変形コッホ曲線(右列) 次数n=1から3のコッホ曲線(左列)および変形コッホ曲線(右列)

次数!FORMULA[90][38042][0]=5と6のコッホ曲線(左列)および変形コッホ曲線(右列) 次数n=5と6のコッホ曲線(左列)および変形コッホ曲線(右列)

この図形はスケール依存した構造をもっているので、drに依存します。dを求めるため、変形コッホ曲線のスケーリングを粗視化して考えます。n=0での図形の横の長さをRとして、rr=RR/3nと変換すると
L^CG(R,d,r=R)L^CG(R,d,r=R/3n)=45(n+3)L^CG(R,d,r=R)
になることがわかります。よって"くりこみ群方程式"
L(R,d,r=R)=L(R,d,r=R/3n)
を要求すると
RdL^CG(R,d,r=R)=45(n+3)(3n)dRdL^CG(R,d,r=R)d=log4+log5++log(n+3)nlog3
となります。つまり、測るスケールをr=R/3にしたらd=log4/log3r=R/9にしたらd=(log4+log5)/(2log3)という"くりこまれた"もしくは"有効的な"次元を使うと、コッホ曲線の長さLは不変になり、粗視化に対して適切な計算を行うことができます。

無限大に煩わされない

ところで、コッホ曲線のLは本来発散しているのでした。しかしそんなこととは関係なく上の議論ができました。これは、n無限大のコッホ曲線に存在する無限に細かい構造を考えなくても、有限なnn+1の間のスケール変換に対するスケーリングさえ考えれば上記の計算が可能だからです。

このようなくりこみ群の側面は、物理学、とくに場の量子論のような無限大の生じる場合でも同様です。

物理学におけるくりこみ群

以下、ここまでの話と物理学に出てくるくりこみ群との対応を考えます。ここでは特に素粒子物理学に出てくる場の量子論に対するくりこみ群方程式を紹介します。が、それをまじめにやると長くなるので、ここでは簡単に記述するだけにして、別の機会にもうすこしちゃんと書こうかと思います。

場の量子論

場の量子論とは、粒子を「場を量子化したもの」として扱い、それらの伝播・生成・消滅により現象を記述する理論です。量子力学では、例えば静止した電子が1つあればそれはずっと変わらず存在し、何も起きはしません。しかし、場の量子論では、電子からは光子が生成され、それがまた電子と反電子をうみ、...という過程が無数に起きていて、電子はこれを衣のようにまとっています。電子と電磁場を考える場合、量子電磁気学(Quantum ElectroDynamics, 以下QEDと呼びます)がこのような粒子生成("真空の粒子生成"とよぶことにします)を記述する理論です。実際真空中の粒子生成の効果は観測できます。例えば電子の異常磁気モーメントと呼ばれる量(真空中の粒子生成による電子の"磁石性"の変化)は実験で非常に精密に測ることができるのですが、驚くことに、これは量子電磁気学による計算と8桁精度で一致しています。水素原子のエネルギー準位に対する真空中の粒子生成の効果も観測可能で、それには例えばLamb shiftと呼ばれるものがあります。Lamb shiftでは水素原子という複合体の計算が必要なので難しい要素がいくつかあるのですが、それでも水素原子のある2つのエネルギー準位の準位差はLamb shiftなしには説明できないことがわかっています。

ちなみに、量子場の理論は粒子しか扱えないからとても特殊な理論だと思うかもしれませんが、そうではありません。物質は究極的には全て粒子でできているので量子場の理論で記述できます。さらに、粒子間の力もゲージ粒子という粒子(QEDでは光子)により媒介されるので、これもまた量子場の理論で記述できます。よって、すべての物質粒子・ゲージ粒子を扱える量子場の理論があれば、それはすべてを説明できる究極の理論になります。

ただ、この量子場の理論、なにか物理量(電子の質量など)を計算しようとするとすぐに無限大が生じます。なぜかというと、たとえば電子の質量を計算する場合、電子から生まれる光子が無限に高いエネルギー・運動量を持てるからです。その効果を積分すると無限大になってしまいます。非常に大きなエネルギー・運動量をもつ粒子は、距離でいうと非常に小さいスケールに寄与します。場の量子論における電子のイメージは次のような感じです:「電子を顕微鏡で覗くと、粒子の生成・消滅が電子の周りに見える。それらのエネルギー・運動量は顕微鏡の拡大率を大きくすればするほど高くなり、それが無限に続く」。コッホ曲線も、ある一部を拡大すると、どんな部分にもさらに細かい構造が拡大前と同じように続いているのにある意味似ています。QEDの場合は拡大すればするほど複雑な構造を持ちます。

QEDなどの場の量子論では、くりこみ群の手法が非常に広く使われています。もともとくりこみ群は(たぶん)Gell-MannとLowが場の量子論に対して適用したのが最初ではないかと思います。いまではこの手法は様々な分野に応用されています。量子力学だけでなく、物性物理学・統計力学・古典力学・流体力学にも応用できます。おそらくは化学・生物学・情報科学・社会科学など、ほとんどすべての分野で応用があるのではないかと思います。数学では手法そのものが研究対象です。

場の量子論の具体的な計算は、基本的に複雑で面倒くさいです。どのようなダイアグラムを計算するかを選び、正則化の方法を決めてそれぞれのダイアグラムに対応する積分を計算し、くりこみ条件をおいて発散部分を除去し、有限部分を評価するという過程を経ます。初学者が計算すると、1つのダイアグラムの積分の評価だけで何時間もかかかったりします。計算の大変さ以前に、そもそも思想的に理解しがたい・納得いかないかもしれません。次元を複素化して4次元からちょっとだけずらすとか、無限大をパラメータにくりこむとか、なかなか馴染めないと思います。

以下場の量子論におけるくりこみ群を、このような面倒なこと・思想的に受け入れ難いことのない形で、コッホ曲線の場合と対応させて紹介します。

QCDにおける格子正則化によるくりこみ群

以下QEDではなくQCD(Quantum Chromedynamics、量子色力学)を考えます。

QCDは強い相互作用を記述する理論です。強い相互作用は原子核に働く、電磁気力より強い力です。QCDはQEDの拡張バージョンみたいなものです。電磁気学では電荷は1種類しかありませんが、QCDでは3種類あります。この3種類の電荷を色に例えて赤青緑と呼びます。これらをまとめて色電荷、または色荷と呼びます。QEDでは力を伝達する場として光子場(U(1)ゲージ場)が存在しますが、QCDではこれがグルーオンというものに置き換わります。またこの色電荷と結合する粒子としてクォークが存在します。電子のQCDバージョンだと思ってください。

なぜQEDでなくQCDを考えるかと言うと、クォークがなくても結合定数にくりこみが起こる系だからです。QEDでは電子の存在がくりこみに重要です。電子がなければ何も非自明なことは起こりません。それは光子が電荷をもたず、自己相互作用しないことによります。これに対してQCDでは、QEDの光子にあたるグルーオン自身が色電荷をもつため、クォークがなくても非自明なくりこみが起こります。クォークのないQCDはpure Yang-Millsと呼ばれます。

ここで重要なのは、pure Yang-Millsには次元をもつ量が存在しないことです。この理論にはグルーオンしか存在しないのですが、これは質量ゼロであるため、なにひとつ基準となる量が存在していません。このとき、スケーリングの議論が単純になります。

結局、ここでQCDを考える理由は、次元をもつパラメータがなく、かつ非自明なくりこみが起きる系だからです。

格子正則化

ここでは格子正則化におけるQCDを考えます。格子正則化では、くりこみ群方程式の構成が驚くほどシンプルでわかりやすくなります(ただし具体的な計算は逆に大変になることもありますが...)。以下、格子正則化におけるQCDのくりこみ・くりこみ群の考え方のエッセンスを紹介します。そしてこれは、上記したコッホ曲線と対応しています。

まず、必要な知識を提示します。

  • : 時間と空間を格子にくぎり、最小の長さ単位(格子の間隔)を設定し、それより小さなスケールを無視する操作です。ここでは格子の間隔をaとします。
  • : QCDには粒子間の相互作用の強さを与える次元なしのパラメータg0がひとつだけ存在します。これに対し、次元を持った固有の量は存在しないとします。

格子正則化におけるaは、コッホ曲線のrに対応しています。g0はそれがのちにくりこまれるという意味でコッホ曲線のdに対応します(物理的な意味は違います)。場の量子論では無限大が出てくると言いましたが、格子正則化ではa0のときに無限大が生じます。逆に言えば有限のaでは無限大は生じません。

さて、いまゴチャゴチャ計算することで、なんらかの物理量H(R,g0,a)が計算できたとします。これは実際に実験で観測できる量だとします。それが何であるか・計算の詳細は一切関係なく、とにかく計算できたとします。ここでRとは、その物理量を特徴づける距離です。これは理論がもっているパラメータではなく、計算時に勝手に設定するものです。コッホ曲線で導入したRに対応するものだと思ってください。Hとして2つの静的な電荷の間に働くポテンシャルを考えることがあるのですが、この場合2つの電荷の距離がRに対応します。

ここで質問です:aはいくつでしょうか?

aは時空を格子に区切ったときの格子間隔でした。しかし、実際にはそんな格子など存在しません。世の中は連続的で、どんなに小さいところをみても、そんな格子など存在しません。計算上勝手に用意したものです。だからaがいくつかと聞かれても知らんがな!としか答えようがありません。ただ、Rよりは十分短くないといけないでしょう。上に書いたようにaより小さいスケールの物理は無視されてしまうので、Rよりaが大きければ、Rくらいの距離の現象はすべて無視されてしまいます。一方で、aRより十分小さければ、それを変化させても実際に観測される物理量Hは変化しないでしょう。aというのは人工的に導入した量なのに、Hがこれによりコロコロかわってしまったら困ります。
ということで、H(R,g0,a)aに依存しないことを要求しましょう:

    aaに対しH(R,g0,a)=H(R,g0,a)

ところで、このHa独立性はどのように実現されるのでしょうか。これはコッホ曲線の場合と同様、g0aに依存することで達成されます。すなわち、aより小さな寄与を無視した「しわ寄せ」をg0におしつけようという考えです。このようにして、上の方程式の解g0aに依存します。これをg0(a)と書くことにします。g0(a)aより小さなスケールの寄与がくりこまれた結合定数です。格子間隔aの格子上では、このg0(a)を用いて計算を行えば、aに依存しない物理量H(R,g0(a),a)が得られます。このようにして、人工的な量aに依存しない観測可能量が得られます。

QCDのくりこみ群方程式は、上記の「Ha非依存性」を微分方程式
ddaH(R,g0,a)=0
で表します。そしてHg0aの関数と見て偏微分にして
aH(R,g0,a)+βag0H(R,g0,a)=0,   βag0a
と書き直します。H(R,g0,a)を具体的に計算し(粗視化して計算する)、上の方程式に入れてβについて解けば、β(R,g0,a)=f(R,g0,a)が求まります。さらにβの定義より、微分方程式
ag0a=f(R,g0,a)
を解けばスケールaに依存したg0が求まります。

以上のように、スケールaより小さな現象を無視して物理量を計算するとき、元のg0ではなくg0(a)を用いると物理量はaに依存しなくなり、正しい結果を得られます。つまりはg0(a)aより小さい効果を含んだ「くりこまれた」または「有効的な」結合定数だとみなせます。これらは前章までのコッホ曲線の議論と対応しています。また、これもコッホ曲線のときと同様ですが、a0で生じる無限大に煩わされずにくりこみ群方程式を構成し解くことができます。

上の議論におけるββ関数と呼ばれ、これを計算することは場の量子論において大変重要です。

ここで述べたQCDにおける格子正則化でのくりこみに関しては、Refs[1,2]に詳しく書いてあります。興味のある方はご参照ください。

まとめ

とりあえずここまでにしておきます。今回は、コッホ曲線を通したくりこみ群の説明、およびコッホ曲線のくりこみと素粒子物理のくりこみとの対応、すなわち


コッホ曲線に対する``くりこみ群方程式":L(R,d,r)=L(R,d,r/3)
↑↓
QCDにおける物理量Hに対する格子正則化でのくりこみ群方程式:
H(R,g0,a)=H(R,g0,a)

を説明しました。具体的なβ関数の計算、スケール不変性の量子力学的な破れ(次元転移、dimensional transmutation)などの話をそのうちしようかなと思います。

おしまい。



★本記事には続き: くりこみ群の応用:クォーク間ポテンシャルから「走る結合定数」を導く がありますので、宜しければ御覧ください。

  • (注1) 本記事は、以下の記事 https://www.gakushuin.ac.jp/~881791/pdf/ParityRG.pdf
    の「1.はじめに」で批判(?)されているようなことをやってますね...。このpdfには、簡単だけどくりこみ群が大変強力な手法であることがわかる例が載ってますので、興味ある方はぜひご覧ください。pdfで言及されている、パーコレーションと呼ばれる現象へのくりこみ群の応用は、おそらく物理の知識があまりなくても理解できるので面白いかもしれません。
  • (注2) ここでの変形コッホ曲線は私が勝手に作って名付けたものです。検索すると変形コッホ曲線(modified Koch curve)なるものはいくつか存在するようですが、ちょっと調べた限り、それらとここでのモデルは関係なさそうです。また、ここで紹介したモデルはたぶんすでに考察されているでしょうし、もしされてないとしたら数学的に不備があるのだと思います。もしなんらかの不備があった場合「なんとなくざっくりこんな感じにするとdr依存する」という雰囲気だけ味わってください。

参考文献

[1]
M. Creutz, Quarks, Gluons and Lattices, Cambridge Monographs on Mathematical Physics, Cambridge University Press, 1983
[2]
H.J.Rothe, Lattice Gauge Theories: An Introduction (Fourth Edition), World Scientific Lecture Notes in Physics, WSCP, 2012
投稿日:2021624
OptHub AI Competition

この記事を高評価した人

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

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

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

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

投稿者

bisaitama
bisaitama
143
68020

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. くりこみ群の説明として使うコッホ曲線
  2. コッホ曲線の次元: "ふつうの"求め方
  3. コッホ曲線の次元:くりこみ群的導出
  4. スケール依存するコッホ曲線
  5. 無限大に煩わされない
  6. 物理学におけるくりこみ群
  7. 場の量子論
  8. QCDにおける格子正則化によるくりこみ群
  9. 格子正則化
  10. まとめ
  11. 参考文献