[論文レビュー] Categorical Semantics for Feynman Diagrams

Razin A. Shaikh, Stefano Gogioso|arXiv (Cornell University)|May 1, 2022

Data Visualization and Analytics被引用数 5

ひとこと要約

本稿では、非標準解析から構築されたダガー・コンパクト圏を用いて、フェニマン図のカテゴリカルな意味論を導入し、無限次元量子場理論における厳密な図式的推論を可能にする。図を振幅ではなく線形写像そのものを直接表す射として扱うことで、順次合成がスライディングおよび交換則を用いて、すべてのグラフ論的縮約を自動的に生成し、積分を明示的に行わずに、伝播関数および頂点相互作用を含む、従来のフェニマン図の全和を導出する。

ABSTRACT

We introduce a novel compositional description of Feynman diagrams, with well-defined categorical semantics as morphisms in a dagger-compact category. Our chosen setting is suitable for infinite-dimensional diagrammatic reasoning, generalising the ZX calculus and other algebraic gadgets familiar to the categorical quantum theory community. The Feynman diagrams we define look very similar to their traditional counterparts, but are more general: instead of depicting scattering amplitude, they embody the linear maps from which the amplitudes themselves are computed, for any given initial and final particle states. This shift in perspective reflects into a formal transition from the syntactic, graph-theoretic compositionality of traditional Feynman diagrams to a semantic, categorical-diagrammatic compositionality. Because we work in a concrete categorical setting -- powered by non-standard analysis -- we are able to take direct advantage of complex additive structure in our description. This makes it possible to derive a particularly compelling characterisation for the sequential composition of categorical Feynman diagrams, which automatically results in the superposition of all possible graph-theoretic combinations of the individual diagrams themselves.

研究の動機と目的

• 本稿の目的は、従来のアプローチが無限大のため失敗する無限次元量子場理論へ、カテゴリカルな図式的手法を拡張することにある。
• 本稿は、図式的計算体系が量子場を厳密に取り扱うという長年の制限を克服することを目的としている。
• 本稿の目的は、圏論および非標準解析に裏打ちされた形式的で合成的なフレームワークを、フェニマン図に提供することにある。
• 本稿は、従来のフェニマン図の構文的グラフ合成と、意味論的圏論的合成性を統合することを目的としている。
• 本稿の目的は、量子場理論、量子ハードウェア設計、およびアナログ量子計算における図式的推論を可能にすることにある。

提案手法

• 著者らは、非標準解析を用いて、超有限次元非標準ヒルベルト空間および★C線形写像からなるダガー・コンパクト圏★fHilbを定義する。
• 彼らは、★fHilbにおけるフォック空間およびフォック空間の生成・消滅演算子を用いて、量子場および粒子状態をモデル化する。
• 本手法では、転送定理を用いて、有限次元の圏的構造（例えば、†-SCFA、群代数）を非標準設定に持ち上げる。
• フェニマン図は、初期状態から最終状態への完全な線形過程を表す★fHilb内の射として解釈される。振幅そのものではなく、線形写像として解釈される。
• 生成・消滅演算子のスライディングおよび交換則を用いて、合成された図を線形化し、すべての可能な縮約を自動的に生成する。
• 標準部分関数は非標準的構成を物理的結果に写像し、近標準的要素への制限により、従来の振幅を回復する。

実験結果

リサーチクエスチョン

• RQ1 カテゴリカルな図式的手法を、従来の図式的計算体系が失敗する無限次元量子場理論へどのように拡張できるか？
• RQ2 フェニマン図を、完全な合成構造を保つダガー・コンパクト圏内の射として再解釈できるか？
• RQ3 非標準解析を用いた図式的枠組み内で、量子場理論における無限大をどのように厳密に取り扱えるか？
• RQ4 カテゴリカルなフェニマン図の順次合成が、従来の図のすべての可能なグラフ論的縮約をどの程度自動的に生成するか？
• RQ5 得られる形式的枠組みが、図式的簡略化を用いて、例えば核子-核子散乱の標準的散乱振幅を再現できるか？

主な発見

• カテゴリカルなフェニマン図の順次合成により、スライディングおよび交換則を用いて、中間線のすべての可能な縮約、すなわちすべての伝播関数および頂点の縮約が自動的に生成される。
• 簡略化後のスカラー図は、式 (110) に示すように、その過程における従来のフェニマン図の全和と関数的に同等である。
• カテゴリカルな図式的手法による計算で得られる振幅は、標準フェニマン規則の結果と一致する：iA = (−𝑖𝑔)² [ i/((p₁−p′₁)²−m²+iε) + i/((p₁−p′₂)²−m²+iε) ]、式 (114) と同一である。
• 本手法は、圏の代数的構造および非標準解析を活用することで、明示的な積分を伴わず、図の全和を正確に再現する。
• 非標準解析の使用により、無限大および無限小量の正確な算術が可能となり、極限や位相的収束の問題を回避できる。
• 標準部分関数は非標準的構成を物理的振幅に写像し、従来の量子場理論と整合性を保つ。