[論文レビュー] Asymptotic Determinant of Discrete Laplace-Beltrami Operators

Ananth Sridhar|arXiv (Cornell University)|Jan 9, 2015

Differential Equations and Boundary Problems参考文献 7被引用数 5

ひとこと要約

本稿では、平方格子の長方形部分グラフにRiemann計量構造を備えた離散Laplace-Beltrami作用素の漸近的行列式を導出し、対数行列式が主項として逆二乗面積項、一次項として逆長さ境界項、および普遍的な対数項（格子スケールに依存）に展開されることを示している。この結果は、既知の平坦格子結果を一般化し、スケーリング極限における共形不変性を確認する。

ABSTRACT

We study combinatorial Laplacians on rectangular subgraphs of $ ε\mathbb{Z}^2 $ that approximate Laplace-Beltrami operators of Riemannian metrics as $ ε ightarrow 0 $. These laplacians arise as follows: we define the notion of a Riemmanian metric structure on a graph. We then define combinatorial free field theories and describe how these can be regarded as finite dimensional approximations of scalar field theory. We focus on the Gaussian field theory on rectangular subgraphs of $ \mathbb{Z}^2 $ and study its partition function by computing the asymptotic determinant of the discrete laplacian.

研究の動機と目的

• 平坦Euclid格子からの離散ラプラシアンの漸近的行列式を、グラフ上のRiemann計量構造へ一般化すること。
• 離散グラフ上の組み合わせ的Gaussian場理論のスケーリング極限を、Riemann多様体上の連続的スカラー場理論の近似として確立すること。
• 計量および境界の幾何的不変量を用いて、離散ラプラシアンの対数行列式の漸近的展開を導出すること。
• 漸近的展開における普遍的対数項を同定し、共形場理論の予測と整合すること。
• 正則化された極限として連続Gaussian自由場を定義する基盤を築くこと。

提案手法

• コチェーン空間上の内積を用いて、グラフ上にRiemann構造を定義し、de Rham複体の組み合わせ的アナログを可能にする。
• 0-コチェーン上で ⟨df, df⟩ = ⟨Δf, f⟩ の関係を用いて、組み合わせ的ラプラシアンを構成する。
• 平面領域 M ⊂ ℝ² の正方形分割を用い、メッシュ ε → 0 の極限で計量 g = gxx dx² + gyy dy² を近似する。
• スケーリング極限において、(Δ^i)^{-1} およびグリーン関数の推定を通じて、log det Δ^i の漸近的展開を計算する。
• 離散調和解析とコーナー項のキャンセルを用いて、境界およびボリューム寄与を導出する。
• δlog det Δ の積分により、完全な漸近的展開を導出し、既知の平坦格子結果を用いて定数を固定する。

実験結果

リサーチクエスチョン

• RQ1 平面領域にRiemann計量を近似する際、離散Laplace-Beltrami作用素の漸近的行列式は格子スケール ε に対してどのようにスケーリングされるか？
• RQ2 漸近的展開における対数項の正確な形は何か？ そして、共形場理論の電荷とどのように関係しているか？
• RQ3 漸近的展開における境界項は、計量および境界の幾何的データの観点から表現可能か？
• RQ4 展開の定数項は、自然な離散化条件下で、解析的ラプラシアンのゼータ正則化行列式と一致するか？
• RQ5 非対角計量、質量項付き作用素、非長方形領域へは、漸近的性質はどのように一般化されるか？

主な発見

• log det Δ^i の漸近的展開は、1/ε² ∫_M F(g) dx dy + 1/ε ∫_∂M B(g) · ds + ½ log ε + O(1) で与えられる。ここで F および B は計量成分の明示的関数である。
• ボリューム項 F(g) = log(√(gxx gyy)) + (2/π) Im[Li₂(iω) + Li₂(iω⁻¹)] であり、ω = √(gyy/gxx) である。
• 境界項 B_perp は x-および y-境界からの寄与の和であり、それぞれ λ = √(gxx gyy) を用いて log(λ) および log(1 + √(1 + ω²)) に依存する。
• 対数項 ½ log ε は普遍的であり、共形場理論における有限サイズスケーリング予測と整合する。
• コーナー寄与はスケーリング極限において消える。
• 定数項 O(1) は計算されていないが、本稿では自然な離散化条件が、解析的ラプラシアンのゼータ正則化行列式に一致する可能性を仮説として提示している。