[論文レビュー] Continuous and Analytic Dependence is an Unnecessary Requirement in Renormalization of Locally Covariant QFT

Igor Khavkine, Valter Moretti|arXiv (Cornell University)|Nov 5, 2014

Advanced Operator Algebra Research被引用数 2

ひとこと要約

本稿は、局所共変量子場理論（LCQFT）の正則化において、従来、正則化の自由度を制約するために仮定されてきた時空計量への連続的・解析的依存性が、実際には不要であることを示している。連続的・解析的依存性の代わりに局所性、共変性、スケーリング、および強化された微小局所スペクトル条件を用いることで、同じきつい制約が得られることを示しており、非線形かつ局所的な微分作用素の特徴づけにペトレ＝スロヴァクの定理を用いている。

ABSTRACT

Finite renormalization freedom in locally covariant quantum field theories on curved spacetime is known to be tightly constrained, under certain standard hypotheses, to the same terms as in flat spacetime up to finitely many curvature dependent terms. These hypotheses include, in particular, locality, covariance, scaling, microlocal regularity and continuous and analytic dependence on the metric and coupling parameters. The analytic dependence hypothesis is somewhat unnatural, because it requires that locally covariant observables (which are simultaneously defined on all spacetimes) depend continuously on an arbitrary metric, with the dependence strengthened to analytic on analytic metrics. Moreover the fact that analytic metrics are globally rigid makes the implementation of this requirement at the level of local $*$-algebras of observables rather technically cumbersome. We show that the conditions of locality, covariance, scaling and a naturally strengthened microlocal spectral condition, are actually sufficient to constrain the allowed finite renormalizations equally strongly, thus eliminating both the continuity and the somewhat unnatural analyticity hypotheses. The key step in the proof uses the Peetre-Slovak theorem on the characterization of (in general non-linear) differential operators by their locality and regularity properties.

研究の動機と目的

• 局所共変量子場理論における有限正則化における計量への連続的・解析的依存性の必要性に疑問を呈すること。
• 標準的仮定よりも弱く、より自然な数学的条件を同定し、それらが依然として有限正則化自由度を同程度に制約できることを示すこと。
• 任意の計量または解析的計量に対する解析的依存性を要請することに起因する技術的・概念的負担を回避すること。
• 局所性、共変性、スケーリング、および強化された微小局所スペクトル条件が、解析的仮定と同等の程度に正則化自由度を制約できることを示すこと。
• 不自然な解析性仮定を排除することで、曲がった時空におけるQFTの正則化に、より強固で物理的に動機づけられた基礎を提供すること。

提案手法

• 標準的仮定である計量への連続的・解析的依存性を、強化された微小局所スペクトル条件に置き換えること。
• ペトレ＝スロヴァクの定理を用いて、局所性と正則性に基づき非線形微分作用素を特徴づけ、解析性仮定なしに解析可能にする。
• LCQFTの局所性および共変性の公理を用いて、許容される正則化項の形を制限すること。
• スケーリング対称性および微小局所正則性に加え、強化されたスペクトル条件を組み合わせることで、平坦時空におけるものと同一の項に、曲率依存補正を加えた形で有限正則化が制限されることを確立すること。
• 解析性仮定の欠如が、正則化自由度の有限性および構造を弱めるものではないことを示すこと。
• 任意の時空上で観測量が定義可能であり、計量への解析的依存性を要件としないフレームワークを構築することで、物理的整合性を保持すること。

実験結果

リサーチクエスチョン

• RQ1 局所共変量子場理論の公理から計量への解析的依存性の要請を排除しても、有限正則化の自由度に対する制約が弱まないか？
• RQ2 局所性、共変性、スケーリング、および強化された微小局所スペクトル条件は、解析的仮定を含む標準的仮定と同等に、有限正則化自由度をきつく制約できるか？
• RQ3 解析性仮定なしに、微分作用素を特徴づけるためにペトレ＝スロヴァクの定理が果たす役割は何か？
• RQ4 解析的依存性の排除が、曲がった時空におけるQFTの有限正則化自由度の構造に与える影響は何か？
• RQ5 解析的計量を要請することに起因する技術的複雑性を回避しつつ、LCQFTの物理的・数学的厳密性を維持できるか？

主な発見

• 局所共変QFTにおける有限正則化自由度を制約するにあたり、計量への解析的依存性の仮定は不要である。
• 解析的仮定を強化された微小局所スペクトル条件に置き換えた場合、平坦時空におけるものと同一のきつい制約が維持され、曲率依存項を含む形で成立する。
• ペトレ＝スロヴァクの定理により、解析性に依存しない微分作用素の特徴づけが可能となり、不自然な仮定の排除が可能になる。
• 局所性、共変性、スケーリング、および強化された微小局所スペクトル条件が、組み合わせて有限正則化自由度を完全に制約できることを示している。
• 任意または解析的計量に対する解析的依存性を要請する技術的負担は、物理的・数学的制御の喪失なしに排除可能である。
• このフレームワークは、平坦時空における正則化の既知の構造と整合しており、より自然で一般化された公理から導出可能である。