[論文レビュー] Gaussian Free Fields and KPZ Relation in R^4

Li-Nan Chen, Dmitry Jakobson|arXiv (Cornell University)|Oct 30, 2012

Black Holes and Theoretical Physics参考文献 17被引用数 8

ひとこと要約

本稿は、DuplantierとSheffieldの2次元Liouville量子重力枠組みを、ℝ⁴におけるSobolev型内積を備えたガウス自由場（GFF）を用いて4次元に拡張する。4次元におけるKPZ関係を確立し、Lebesgue測度下での集合のハウスドルフ次元とランダム測度下でのハウスドルフ次元との間の2次スケーリング関係を、カップリング定数γに明示的な依存関係を含めて示す。

ABSTRACT

This work aims to extend part of the two dimensional results of Duplantier and Sheffield on Liouville quantum gravity to four dimensions, and indicate possible extensions to other even-dimensional spaces R^(2n) as well as Riemannian manifolds. Let "Θ" be the Gaussian free field on R^4 with the underlying Hilbert space being the Sobolev space H^2 witb the inner product determined by the operator (I-Δ)^2. Assume "θ" is a generic element from Θ. We consider a sequence of random Borel measures on R^4, each of which is absolutely continuous with respect to the Lebesgue measure dx and the density function is given by the exponential of a centered Gaussian family parametrized by x in R^4. We show that with probability 1, this sequence of measures weakly converges to a limit random measure which can be "formally" written as "exp(2γθ(x)dx". In this setting, we also prove a KPZ relation, which is the quadratic relation between the scaling exponent of a bounded Borel set on R^4 under the Lebesgue measure and its counterpart under the random measure obtained above. Our approach is similar to the one used by Duplantier and Sheffield in 2D but with adaptations to R^4.

研究の動機と目的

• 2次元ユークリッド空間からのLiouville量子重力測度構成を4次元ユークリッド空間へ一般化すること。
• H²(ℝ⁴)のヒルベルト空間と内積((I−Δ)²·,·)L²を用いて、ℝ⁴上にガウス自由場（GFF）を定義すること。
• 近似測度の弱収束を用いて、形式的密度e^{2γθ(x)}dxを有するランダム測度の存在を確立すること。
• Lebesgue測度およびランダム測度下での集合のスケーリング指数を関連付ける4次元におけるKPZ型関係を導出し、証明すること。
• KPZフレームワークをより高い偶数次元空間およびリーマン多様体へ拡張すること。

提案手法

• Paneitz作用素(I−Δ)²の逆を共分散構造に用いて、ℝ⁴上に中心を持つガウス場としてGFFを定義する。
• 球面および表面でのGFFの重み付き平均を用いて、Bessel関数でパrameter化された近似測度μ_ε^xを構築する。
• 抽象ウィーン空間理論を用いて、ℝ⁴全体上でGFFを厳密に定義し、標本路のほとんど確実な連続性を保証する。
• ε↓0における測度m_ε^n^θ(dx)の列の弱収束を確立し、極限となるランダム測度の存在を証明する。
• Bessel関数の恒等式および行列逆行列技術を用いて、GFF平均の同時分布を導出する。
• 近似測度の共分散構造を用いてスケーリング挙動を計算し、KPZ関係を導出する。

実験結果

リサーチクエスチョン

• RQ1 ガウス自由場（GFF）を用いて、4次元において形式的密度e^{2γθ(x)}dxを有するLiouville量子重力測度を厳密に構成できるか？
• RQ2 2次元の場合と同様のKPZ型関係が、4次元ユークリッド空間において成立するか？
• RQ3 ℝ⁴において、Borel集合のスケーリング指数は、Lebesgue測度下とランダム測度下でどのように変化するか？
• RQ4 非退化なランダム測度を支持するGFFをℝ⁴上で定義するための適切なヒルベルト空間および内積は何か？
• RQ5 4次元におけるKPZ関係は、スケーリング指数の2次方程式として表現可能であり、その正確な関数的形は何か？

主な発見

• ε-正則化されたGFFの指数を用いて構築されたランダム測度m_ε^n^θ(dx)は、ε↓0においてほとんど確実に弱収束し、極限測度に収束する。
• 極限測度は、m^θ(dx) = e^{2γθ(x)}dxとして形式的に書くことができ、0 < γ² < 2π²の下でほとんど確実な収束が保証される。
• ℝ⁴におけるKPZ関係は、次の2次方程式で与えられる：κ = K(1 − γ²/(16π²)) + (γ²/(16π²))K²、ここでκおよびKはそれぞれLebesgue測度およびランダム測度下でのスケーリング指数である。
• この構成は、球面および表面平均に依存しており、共分散構造は変形Bessel関数IνおよびKνから導出される。
• 2次元のDuplantierとSheffieldの手法を適応するが、4次元における自己同型不変性の欠如を、(I−Δ)²作用素および明示的なBessel関数恒等式を用いて克服する。
• 主な技術的ステップは、行列逆行列およびBessel関数恒等式を用いてGFF平均の積の期待値を計算し、KPZ公式に至ることである。