[論文レビュー] Homotopical Computations in Quantum Fields Theory

Jae-Suk Park|arXiv (Cornell University)|Oct 22, 2018

Advanced Topics in Algebra参考文献 11被引用数 6

ひとこと要約

この論文は、ゲージ固定やフェ Feynman 図を回避するホモトピー論的枠組みを導入し、量子場の理論における量子相関関数を代数的に特徴づける。これは、W D V V 方程式に密接に関連した普遍的な代数的構造—特定の制御された不確実性を除いて—をすべての量子相関関数が従うことを明らかにし、任意の所定の対称性を持つ量子場の理論における明示的計算のための具体的なアルゴリズムを提供する。

ABSTRACT

This paper is a mathematical study of quantum correlation functions in quantum field theory within a homotopy algebraic framework motivated from the BV quantization scheme. We characterize quantum correlation functions by algebraic homotopy theoretical methods which circumvent gauge fixing and perturbative Feynman diagrams. We show that there is a universal algebraic structure, closely related with that of the WDVV equation, governing quantum correlation functions of every quantum field theory in our framework up to a certain ambiguity. The algebraic structure is independent of the details of the quantum expectation, other than its existence with the prescribed symmetry, and comes with a concrete algorithm for explicit computations. We will also make proposals for the precise natures of quantum expectation and physical equivalence of quantum field theories.

研究の動機と目的

• 量子場の理論における量子相関関数のホモトピー論的特徴づけを展開し、摂動的フェ Feynman 図技法を回避すること。
• 特定の量子期待値に依存しない普遍的な代数的構造を同定し、所定の対称性下で量子相関関数を支配すること。
• 代数的ホモトピー法を用いて量子相関関数を計算する具体的なアルゴリズムを提供すること。
• ホモトピー論的量子場の理論の文脈における量子期待値および物理的同等性の数学的性質を明確にすること。
• プランク定数 ℏ を形式的パラメータとして取り扱い、普遍的な代数的構造に関する正確な結果を得る枠組みを確立すること。

提案手法

• フレームワークは BV 量立体化を出発点とし、特性がゼロの体上の量子場の理論を BV-QFT 代数としてモデル化する。
• 形式的べき級数代数 ℏ におけるトポロジカルに自由な単位的 sDGLA（シフトされた微分付き階層 Lie 代数）構造を導入する。
• 量子相関関数は、量子マスター方程式 Δe^{-S/ℏ} = 0 から導かれるレベル 0 およびレベル 1 の量子相関関数のマスター方程式を通じて特徴づけられる。
• ホモトピー Lie 代数（L∞-代数）およびバー構成を用いて、理論の古典的および量子的対称性を符号化する。
• 可観測量の代数上に微分 K = -ℏΔ + (S, ⋅)BV を定義し、K² = 0 および積に関する導分性を満たす。
• 構成はホモトピー同値に関して不変であるため、物理的同等性が代数的に捉えられる。

実験結果

リサーチクエスチョン

• RQ1 すべての量子場の理論において、特定の量子期待値に依存しない、量子相関関数を支配する普遍的な代数的構造は何か？
• RQ2 ゲージ固定や摂動的フェ Feynman 図に依存せずに、量子相関関数をどのように計算できるか？
• RQ3 ホモトピー論的量子場の理論の文脈において、量子期待値の正確な数学的性質は何か？
• RQ4 量子場の理論の物理的同等性は、その可観測量の代数的構造にどのように符号化されるか？
• RQ5 W D V V 方程式は、量子相関関数を支配する普遍的構造とどのように関係しているか？

主な発見

• すべての量子場の理論において、W D V V 方程式に密接に関連した普遍的な代数的構造が、制御された不確実性を除いて、量子相関関数を支配する。
• このフレームワークは、経路積分やフェ Feynman 図を一切用いずに、代数的ホモトピー論的手法のみを用いて量子相関関数を計算する具体的なアルゴリズムを提供する。
• 量子マスター方程式 Δe^{-S/ℏ} = 0 は、K = -ℏΔ + (S, ⋅)BV によって代数的に再定式化され、K² = 0 および導分性を満たす。
• この構造は特定の量子期待値に依存せず、対称性と、対称性を満たす対称な量子マスター作用の存在にのみ依存する。
• このフレームワークでは ℏ を形式的パラメータとして取り扱い、普遍的代数に関する主な結果は摂動的ではなく正確なものである。
• 量子場の理論の物理的同等性は、基礎となる BV-QFT 代数のホモトピー同値性によって捉えられ、ゲージフェルミオンの変更や量子補正の変化に対して不変である。