[論文レビュー] Feynman Diagrams in Algebraic Combinatorics

Abdelmalek Abdesselam|arXiv (Cornell University)|Dec 9, 2002

Advanced Combinatorial Mathematics参考文献 23被引用数 48

ひとこと要約

本稿は、フェルミオン的図式を用いたきめ細やかな組合せ的枠組みを確立し、代数的組合せ論における多変数母関数の恒等式を導出する。摂動的量子場理論の技法—特にウィックの定理と図式的展開—を応用することで、カテゴライズ化されたファウ・ディ・ブルーノの公式、明示的な逆転公式、多変数形式のラグランジュ＝グッドの反転の証明を統一的かつ自己完結的に得る。

ABSTRACT

We show, in great detail, how the perturbative tools of quantum field theory allow one to rigorously obtain: a ``categorified'' Faa di Bruno type formula for multiple composition, an explicit formula for reversion and a proof of Lagrange-Good inversion, all in the setting of multivariable power series. We took great pains to offer a self-contained presentation that, we hope, will provide any mathematician who wishes, an easy access to the wonderland of quantum field theory.

研究の動機と目的

• 量子場理論の摂動的道具と代数的組合せ論、特に多変数形式の形式的べき級数との橋渡しを図ること。
• 物理学に不慣れな数学者に向けて、フェインマン図式の方法論を自己完結的かつアクセス可能な形で紹介すること。
• 図式的手法を用いて、カテゴライズ化されたファウ・ディ・ブルーノの公式、逆転、ラグランジュ＝グッドの反転といった重要な組合せ的恒等式をきめ細かく導出すること。
• QFTの「文法」、特に記号的積分と組合せ的構造が、微積分の自然な一般化であり、純粋数学において深い関連性を持つことの証明。
• フェインマン図式の手法が、構成的場理論における成功を踏まえ、組合せ論と解析学の基盤的ツールとして採用されることを提唱すること。

提案手法

• 複素ボソン系におけるウィックの定理を適用し、ガウス積分をフェインマン図式の和として表現する。
• 三つの規則を有する記号的計算を用いる：(1) 共分散行列を用いてグラフに振幅を割り当てる、(2) デルタ関数を頂点寄与として解釈する、(3) 図式的恒等式を用いて変数変換の公式を適用する。
• 各図式が形式的べき級数展開の項に対応する図式的言語を導入し、組合せ的規則によって振幅を計算する。
• 組合せ的体系の理論を用いて図式の構造とその合成を形式化し、合成と逆転のカテゴライズ化解釈を可能にする。
• 形式的体系を用いて、多変数の逆転公式とラグランジュ＝グッドの反転定理を図式的和の取り扱いによって導出する。
• 実およびフェルミオン場への拡張を試み、パフリアンと反交換関係が図式的計算において注意深く取り扱われる必要があることを指摘する。

実験結果

リサーチクエスチョン

• RQ1 フェインマン図式的技法は、多変数のファウ・ディ・ブルーノの公式をきめ細かく組合せ的導出可能か？
• RQ2 多変数形式のべき級数の逆転は、図式的展開を用いてどのように表現され、証明されるか？
• RQ3 ガウス積分における変数変換の図式的解釈から、ラグランジュ＝グッドの反転公式をどの程度まで導出可能か？
• RQ4 組合せ的体系は、この文脈におけるフェインマン図式の構造を形式化するために果たす役割は何か？
• RQ5 QFTの記号的計算は、超対称的またはフェルミオン的理論に由来するような非自明なヤコビアン因子を含めるように拡張可能か？

主な発見

• フェインマン図式とQFTの記号的計算を用いて、多変数合成のためのカテゴライズ化されたファウ・ディ・ブルーノの公式がきめ細かく導出された。
• 多変数べき級数の逆転に対する明示的で、図式的導出された公式が得られ、古典的なラグランジュ反転を高次元に一般化した。
• ラグランジュ＝グッドの反転定理は、ガウス経路積分における変数変換の図式的解釈を用いて、ベレジン積分形式を用いて証明された。
• 本稿は、QFTの「文法」—特に記号的積分と図式的表現—が、多変数組合せ的恒等式の強力で自然な枠組みを提供することを示した。
• この枠組みは実およびフェルミオン場へと拡張され、パフリアンと反交換変数が適切な修正を加えることで図式的計算に組み込まれることを示した。
• 著者らは、構成的場理論における組合せ的複雑性、例えばマルチスケールクラスタ展開において、『プログラミング的』計算の一種として最もよく理解されると主張し、図式的表現と計算論の間に深い関係があることを示唆した。