[論文レビュー] Hopf algebraic Renormalization of Kreimer's toy model

Erik Panzer|arXiv (Cornell University)|Feb 16, 2012

Advanced Topics in Algebra参考文献 16被引用数 26

ひとこと要約

本稿は、根付き木と代数的バーキホフ分解を用いて、発散を体系的かつ再帰的に取り扱うために、クライマーの量子場理論の玩具的モデルのハイフォープ代数的フレームワークを提示する。主な貢献は、物理的極限における摂動的正則化されたフェ Feynman ルールが多項式へのホプフ代数準同型写像を定めることを示したことである。これにより、運動量スキームにおける正則化群とダイソン＝シュヴィンガー方程式を用いた相関関数の再帰的計算が可能になる。

ABSTRACT

This masters thesis reviews the algebraic formulation of renormalization using Hopf algebras as pioneered by Dirk Kreimer and applies it to a toy model of quantum field theory given through iterated insertions of a single primitive divergence into itself. Using this example in a subtraction scheme, we exhibit the renormalized Feynman rules to yield Hopf algebra morphisms into the Hopf algebra of polynomials and as a consequence study the emergence of the renormalization group in connection with combinatorial Dyson-Schwinger equations. In particular we relate the perturbative expansion of the anomalous dimension to the coefficients of the Mellin transform of the integral kernel specifying the primitve divergence. A theorem on the Hopf algebra of rooted trees relates different Mellin transforms by automorphisms of this Hopf algebra.

研究の動機と目的

• 摂動的正則化の厳密な代数的定式化をホプフ代数を用いて行う。
• 運動量スキームが物理的極限においてホプフ代数準同型写像の構造を保つ理由を示し、最小減算とは対照的に説明する。
• 正則化された相関関数、ダイソン＝シュヴィンガー方程式、および正則化群の間の関係をホプフ代数的構造によって確立する。
• フェ Feynman ルールの物理的極限が根付き木のホプフ代数から多項式代数への準同型写像を誘導することを示し、相関関数の計算を簡略化する。
• ホッフシュライブ・コhomology とコサイクルが一貫したフェ Feynman ルールおよび補正項を定義する役割を果たすことを分析する。

提案手法

• フェ Feynman 図におけるネストされたおよび非交差する部分発散のモデルとして、根付き木のホプフ代数 $ H_R $ を用いる。
• 代数的バーキホフ分解を適用し、ホプフ代数における畳み込み積を用いて発散部と有限部を分離する。
• 解析的正則化を用いて正則化されたフェ Feynman ルールの族を定義し、その後に減算スキームを適用して正則化を達成する。
• ホプフ代数上のキャラクターを用いてフェ Feynman ルールを構成し、正則化点 $ \mu $ における運動量スキームを用いて正則化を実装する。
• ホッフシュライブ・コhomology を用いて補正項の構造とホプフ代数上のコバウンダリー作用を分析する。
• ダイソン＝シュヴィンガー方程式を導出し、その解が玩具的モデルにおけるすべてのグラフの和に単位係数を対応させることを示す。

実験結果

リサーチクエスチョン

• RQ1 量子場理論における正則化プロセスを、ホプフ代数的構造を用いて体系的に記述する方法は何か？
• RQ2 なぜ運動量スキームは物理的極限においてホプフ代数準同型写像の性質を保つのか？最小減算とは何が異なるのか？
• RQ3 正則化されたフェ Feynman ルールの物理的極限と多項式代数との間の正確な代数的構造は何か？
• RQ4 ダイソン＝シュヴィンガー方程式と正則化群は、玩具的モデルにおけるホプフ代数的フレームワークからどのように導かれるか？
• RQ5 コサイクルとホッフシュライブ・コhomology は、一貫したフェ Feynman ルールおよび補正項を定義する上で果たす役割は何か？

主な発見

• 正則化されたフェ Feynman ルールの物理的極限は、ホプフ代数準同型写像 $ {}_0\phi: H_R \to \mathbb{K}[x] $ を与え、相関関数の計算を簡略化する。
• この準同型写像はコプロダクトと整合的であり、物理的極限を線形項 $ \gamma $ に還元可能であり、外部パラメータに依存しない。
• 運動量スキームにより、物理的極限がホプフ代数構造を保つことが保証されるが、最小減算ではそうはならない。これは、準同型写像が得られないことから明らかである。
• ダイソン＝シュヴィンガー方程式の解は、すべてのグラフの和に係数1を対応させ、順序付き根付き木が置換によって対応する。
• ダイソン＝シュヴィンガー解における係数 $ \sigma(t) $ は、対称性係数 $ \frac{1}{|\pi_0(\gamma)|} $ と相殺され、すべてのグラフの和における係数が1になる。
• ホプフ代数 $ H_R $ は普遍的性質（式 9）を満たし、コバウンダリー作用の下で自己同型が予測可能に振る舞うことが示され、命題 4.8 で形式化されている。