[論文レビュー] Correlation functions of scalar field theories from homotopy algebras

Yuji Okawa|arXiv (Cornell University)|Mar 10, 2022

Advanced Topics in Algebra被引用数 4

ひとこと要約

この論文は、正準化や経路積分を回避する量子 $A_{\infty}$ 代数を用いた、スカラー場理論における相関関数を計算するための新規な代数的枠組みを提示する。この手法により、シュヴィンガー＝ダイソン方程式を自動的に満たす明示的かつ摂動的表現が得られ、ユークリッド空間およびミンコフスキー空間における $\varphi^3$ 理論で実証された。

ABSTRACT

We present expressions for correlation functions of scalar field theories in perturbation theory using quantum $A_\infty$ algebras. Our expressions are highly explicit and can be used for theories both in Euclidean space and in Minkowski space including quantum mechanics. Correlation functions at a given order of perturbation theory can be calculated algebraically without using canonical quantization or the path integral, and we demonstrate it explicitly for $φ^3$ theory. We show that the Schwinger-Dyson equations are satisfied as an immediate consequence of the form of the expressions based on quantum $A_\infty$ algebras.

研究の動機と目的

• 従来の量子化法や経路積分法を避けて、スカラー場理論における摂動的相関関数を明示的な代数的アプローチで扱うことを目的とする。
• 量子 $A_{\infty}$ 代数と相関関数の間の直接的な関係を確立し、ホモトピー代数とオンシェル振幅の既知の関係を拡張することを目的とする。
• シュヴィンガー＝ダイソン方程式が、提案された形式の代数的構造から自然に導かれるかどうかを検証することを目的とする。
• 特に、$\varphi^3$ 理論における相関関数の明示的かつ計算可能な表現を提供し、1ループの正則化を含むこと。
• $\mathcal{H}^{\otimes 0}$ セクターの重要性を強調し、相関関数生成に特に寄与する quasi-isomorphism 成分 $\bm{f}$、特に $\bm{f}\pi_0$ の役割を明らかにすること。

提案手法

• 場と源を表すグレーディング付きベクトル空間 $\mathcal{H} = \mathcal{H}_1 \oplus \mathcal{H}_2$ を用いてスカラー場理論を形式化し、$\mathcal{H}_1$ を場、$\mathcal{H}_2$ を源とし、シンプレクティック形式 $\omega$ を備える。
• テンソルコアルゲブラ $T\mathcal{H}$ 上の coderivation $\mathbf{Q} + \bm{m}$ を用いて $A_{\infty}$ 構造を表現し、作用の自由項と相互作用項を符号化する。
• 量子 $A_{\infty}$ 代数への $\mathbf{Q}$ のコホモロジーからの quasi-isomorphism $\bm{f}$ を導入し、$\bm{f}\pi_0$ が相関関数において中心的な役割を果たす。
• 相関関数の公式を、$\bm{f}$ とシンプレクティック形式を用いた代数的表現として、$A_{\infty}$ 構造の射影として導出する。
• $\varphi^3$ 理論にこの形式を適用し、明示的な代数的縮約を用いて摂動的に1点、2点、3点関数を計算する。
• 時間順序2点関数を $i\epsilon$ 仕様付きの遅延伝搬関数を用いて定義することで、ミンコフスキー空間への形式の拡張を実現する。

実験結果

リサーチクエスチョン

• RQ1 スカラー場理論における相関関数は、経路積分や正準量子化を用いずに、量子 $A_{\infty}$ 代数を完全に代数的に計算可能か？
• RQ2 特に $\bm{f}\pi_0$ の構造を含む quasi-isomorphism $\bm{f}$ の構造は、相関関数の計算とどのように関係しているか？
• RQ3 シュヴィンガー＝ダイソン方程式は、相関関数の公式の代数的構造から直接的に導かれるか？
• RQ4 この形式はミンコフスキー時空に一貫して拡張可能であり、標準的な時間順序相関関数を再現できるか？
• RQ5 $\mathcal{H}^{\otimes 0}$ セクターは、$A_{\infty}$ 代数フレームワークにおける相関関数の計算において、果たす役割は何か？

主な発見

• 量子 $A_{\infty}$ 代数を用いた相関関数の公式は、正しい自由理論の2点関数を再現し、ウィックの定理と一致することを確認した。
• $\varphi^3$ 理論において、代数的に計算された1点、2点、3点関数は、標準的な摂動的結果と一致し、1ループの正則化効果も再現した。
• シュヴィンガー＝ダイソン方程式は、$A_{\infty}$ 関係の代数的構造、特に $\bm{f}$ と coderivation $\mathbf{Q} + \bm{m}$ の形から、即座に導かれる。
• ミンコフスキー空間では、$t_1 > t_2$ のとき、2点関数が $\langle q(t_1)q(t_2)\rangle = \frac{\hbar}{2m\omega} e^{-i\omega|t_1 - t_2|}$ として回復され、真空期待値としての時間順序積と一致した。
• quasi-isomorphism の成分 $\bm{f}\pi_0$ は相関関数の生成に不可欠であり、$A_{\infty}$ 議論でしばしば無視される $\mathcal{H}^{\otimes 0}$ セクターが、本質的な役割を果たしていることを示唆した。
• この枠組みは、非摂動的状況への拡張が可能であり、オープンストリング場理論を介して Lefschetz のしがみや AdS/CFT と結びつける可能性を秘めた、普遍的な代数的基盤を提供する。