[論文レビュー] Renormalization automated by Hopf algebra

D. J. Broadhurst, Dirk Kreimer|ArXiv.org|Oct 13, 1998

Algebraic structures and combinatorial models参考文献 3被引用数 8

ひとこと要約

本稿では、装飾付き根付き木のホップ代数を用いて、量子場の理論の正則化を自動化する記号的アルゴリズムを提示する。この手法により、反対作用素を用いた発散の体系的減算が可能となり、複雑な図式における有限な正則化振幅の計算が実現される。12ループまで10のモデルで7,813の図式を処理し、コンネス＝モスコビチの可換部分代数と最小正則化スキームにおける有理的補正項の間の関係が明らかになった。

ABSTRACT

It was recently shown that the renormalization of quantum field theory is organized by the Hopf algebra of decorated rooted trees, whose coproduct identifies the divergences requiring subtraction and whose antipode achieves this. We automate this process in a few lines of recursive symbolic code, which deliver a finite renormalized expression for any Feynman diagram. We thus verify a representation of the operator product expansion, which generalizes Chen's lemma for iterated integrals. The subset of diagrams whose forest structure entails a unique primitive subdivergence provides a representation of the Hopf algebra ${\cal H}_R$ of undecorated rooted trees. Our undecorated Hopf algebra program is designed to process the 24,213,878 BPHZ contributions to the renormalization of 7,813 diagrams, with up to 12 loops. We consider 10 models, each in 9 renormalization schemes. The two simplest models reveal a notable feature of the subalgebra of Connes and Moscovici, corresponding to the commutative part of the Hopf algebra ${\cal H}_T$ of the diffeomorphism group: it assigns to Feynman diagrams those weights which remove zeta values from the counterterms of the minimal subtraction scheme. We devise a fast algorithm for these weights, whose squares are summed with a permutation factor, to give rational counterterms.

研究の動機と目的

• 組合せ論からの代数的構造を用いて、量子場の理論における正則化手順を自動化すること。
• 繰り返し積分のチエンの補題を一般化するホップ代数的再帰の観点から、演算子積展開を形式化すること。
• 12ループまで複雑なフェニマン図式のすべてのBPHZ寄与を処理できる計算フレームワークを実装すること。
• 最小正則化におけるゼータ値を補正項から除去するコンネスとモスコビチの可換部分代数の役割を調査すること。
• 平方および置換を施した際に有理的補正項を生じる重みを計算する高速アルゴリズムを開発すること。

提案手法

• フェニマン図式の森林構造とその部分発散をエンコードするため、装飾付き根付き木のホップ代数を用いる。
• ホップ代数の反対作用素を用いて、発散の再帰的減算により体系的に補正項を計算する。
• 再帰的記号的アルゴリズムを適用し、図式の森林構造から直接有限な正則化振幅を生成する。
• コンネスとモスコビチの可換部分代数に関連する重みを効率的に計算する高速アルゴリズムを導入し、補正項からゼータ値を除去する。
• これらの重みを二乗し、置換係数と組み合わせることで、最小正則化スキームにおける有理的補正項を生成する。
• 9つの正則化スキームで10の量子場の理論にわたって検証され、24,213,878件のBPHZ寄与が処理された。

実験結果

リサーチクエスチョン

• RQ1 装飾付き根付き木のホップ代数を用いて、量子場の理論の正則化を完全に自動化できるか？
• RQ2 ホップ代数の反対作用素は、フェニマン図式における発散の減算に対応するか？
• RQ3 最小正則化とゼータ値の除去という文脈において、コンネスとモスコビチの可換部分代数の役割は何か？
• RQ4 最小正則化スキームで有理的補正項を生じる重みを計算する高速アルゴリズムを考案できるか？
• RQ5 装飾なしの根付き木のホップ代数 ${\cal H}_R$ は、一意な原始的部分発散を持つ図式の構造をどの程度正確に捉えられるか？

主な発見

• 記号的アルゴリズムは、12ループまでで7,813のフェニマン図式すべてについて有限な正則化振幅を正確に計算し、24,213,878件のBPHZ寄与を処理した。
• この手法により、再帰的ホップ代数的構造による演算子積展開の表現が確認され、チエンの補題が一般化された。
• コンネスとモスコビチの可換部分代数は、最小正則化スキームにおける補正項からゼータ値を除去する重みを割り当てる。
• これらの重みは効率的に計算可能であり、その二乗と置換係数を組み合わせることで、有理的補正項が得られる。
• 装飾なしのホップ代数 ${\cal H}_R$ は、一意な原始的部分発散を持つ図式を正しくモデル化しており、正則化の簡略化に有効であることが検証された。
• このフレームワークは10の異なる量子場の理論および9つの正則化スキームにおいても堅牢であり、広範な適用可能性が示された。