[論文レビュー] Solvable 4D noncommutative QFT: phase transitions and quest for reflection positivity

Harald Grosse, Raimar Wulkenhaar|arXiv (Cornell University)|Jun 30, 2014

Noncommutative and Quantum Gravity Theories参考文献 18被引用数 23

ひとこと要約

本稿は、解ける4次元非可換 $\lambda\phi^4$ 量子場理論モデルを調査し、$\lambda<0$ のとき特異積分方程式に一意な解が存在することを証明するとともに、$\lambda_c \approx -0.39$ における相転移の数値的証拠を提示する。2点関数の偏微分の積分公式を導出し、Widderの基準を用いて、$[\lambda_c, 0]$ の領域で反射正定性が成り立つことを示す。数値的精度を高めた離散近似により、その根拠が裏付けられている。

ABSTRACT

We provide further analytical and first numerical results on the solvable $λϕ^4_4$-NCQFT model. We prove that for $λ&lt;0$ the singular integral equation has a unique solution, whereas for $λ&gt;0$ there is considerable freedom. Furthermore we provide integral formulae for partial derivatives of the matrix 2-point function, which are the key to investigate reflection positivity. The numerical implementation of these equations gives evidence for phase transitions. The derivative of the finite wavefunction renormalisation with respect to $λ$ is discontinuous at $λ_c \approx -0.39$. This leads to singularities in higher correlation functions for $λ0$ is not yet under control because of the freedom in the singular integral equation. Reflection positivity requires that the two-point function is Stieltjes. Implementing Widder's criteria for Stieltjes functions we exclude reflection positivity outside the phase $[λ_c,0]$. For the phase $λ_c

研究の動機と目的

• 非可換 $\\lambda\phi^4_4$ モデルの特異積分方程式における解の一意性という未解決問題を、$\lambda$ の符号に関わらず解明すること。
• 非自明な同次カルレマン方程式の解の役割と、それがモデルの整合性および反射正定性に与える影響を明確化すること。
• 2点関数の高次微分を計算するための数値的フレームワークを確立し、反射正定性の検証を可能にすること。
• 波動関数の正規化および相関関数の特異性を用いて、特に $\lambda_c \approx -0.39$ における相転移の存在と性質を調査すること。
• $\lambda \in [\lambda_c, 0]$ の領域で2点関数がWidderのStieltjes関数基準を満たすかどうかを検証すること。これは反射正定性の必要条件である。

提案手法

• $\lambda < 0$ のとき特異積分方程式に一意解が存在することを証明し、$\lambda > 0$ のときには解空間に大きな自由度が存在することを示す。
• 行列形式の2点関数の任意の偏微分に関する正確な積分公式を導出する。これはWidderの基準を検証する上で不可欠である。
• 境界2点関数 $G_{a0}$ の固定点方程式に対して、区分的線形関数を用いた再帰的離散近似スキームを実装する。
• Schauderの固定点定理を用いて、$\lambda \in [-1/6, 0]$ の区間で解の存在を確立する。
• Mathematicaを用いた数値シミュレーションにより、波動関数正規化およびその微分を計算し、$\lambda_c \approx -0.39$ で不連続性を検出する。
• 離散近似を高精度に refining して、Stieltjes関数のWidder基準が高次の近似で満たされているかどうかを検証し、$[\lambda_c, 0]$ の領域における反射正定性の根拠を提供する。

実験結果

リサーチクエスチョン

• RQ1 2点関数の特異積分方程式は $\lambda < 0$ のとき一意な解を持つのか？また、$\lambda > 0$ の場合とはどのように異なるか？
• RQ2 $\lambda_c \approx -0.39$ における相転移の性質は何か？波動関数正規化の微分がどのようにその兆候を示すか？
• RQ3 Stieltjes関数のWidder基準を高次まで数値的に検証できるか？その結果、$[\lambda_c, 0]$ の領域における反射正定性の証拠が得られるか？
• RQ4 固定点方程式 (2) は境界2点関数の真の整合性条件と整合しているのか？それとも誤った解（偽解）を含むのか？
• RQ5 反射正定性は本当に $[\lambda_c, 0]$ の領域でのみ成立するのか？$\lambda > 0$ の領域はこの文脈で果たす役割は何か？

主な発見

• $\lambda < 0$ のとき特異積分方程式に一意解が存在するが、$\lambda > 0$ のときは解空間に大きな自由度が存在する。
• 有限波動関数正規化の $\lambda$ に関する微分が $\lambda_c \approx -0.39$ で不連続であることが判明し、相転移を示している。
• $\lambda < \lambda_c$ の領域では高次相関関数に特異性が現れ、この領域ではモデルの解析的構造が崩壊していることを示唆している。
• 数値的シミュレーションにより、離散近似を refining するごとに2点関数がWidderのStieltjes関数基準を高次の精度で満たすことが示され、$[\lambda_c, 0]$ の領域における反射正定性の強い証拠が得られた。
• 解空間の自由度のため、$\lambda > 0$ の領域ではモデルが制御不能であり、この領域では反射正定性は成立しない。
• モデルのスウィンガー関数はOsterwalder-Schrader公理 (OS0)、(OS1)、(OS2)、(OS3) を満たし、反射正定性は2点関数がStieltjes関数であることと同値である。