[论文解读] Asymptotic Determinant of Discrete Laplace-Beltrami Operators

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

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

一句话总结

本文推导了在具有黎曼度量结构的正方形格子的矩形子图上，离散拉普拉斯-贝尔特拉米算子的渐近行列式，表明对数行列式展开为一阶逆平方面积项、一阶逆长度边界项以及与晶格间距相关的普适对数项。该结果推广了已知的平坦晶格结果，并在标度极限下验证了共形不变性。

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.

研究动机与目标

• 将离散拉普拉斯算子在平坦欧几里得晶格上的渐近行列式结果推广至图上的黎曼度量结构。
• 建立离散图上组合高斯场论的标度极限，作为黎曼流形上连续标量场论的近似。
• 根据度量和边界几何不变量，推导离散拉普拉斯算子对数行列式的渐近展开式。
• 识别渐近展开中的普适对数项，其与共形场论预测一致。
• 为定义连续高斯自由场作为离散场论的正则化极限奠定基础。

提出的方法

• 通过余上链空间上的内积定义图上的黎曼结构，从而实现de Rham复形的组合类比。
• 通过关系式 ⟨df, df⟩ = ⟨Δf, f⟩ 在0-上链上构造组合拉普拉斯算子。
• 使用矩形单元域 M ⊂ ℝ² 的正方形子划分，以 ε → 0 的网格逼近黎曼度量 g = gxx dx² + gyy dy²。
• 通过在标度极限下估计 (Δ^i)^{-1} 和格林函数，计算 log det Δ^i 的渐近展开。
• 利用离散调和分析和角点项抵消，推导边界与体积极项。
• 通过积分变分 δlog det Δ 得到完整的渐近展开，常数项通过已知的平坦晶格结果确定。

实验结果

研究问题

• RQ1 当在平面区域上逼近黎曼度量时，离散拉普拉斯-贝尔特拉米算子的渐近行列式如何随晶格间距 ε 变化？
• RQ2 在行列式渐近展开中的精确对数项形式为何？其与共形场论电荷有何关联？
• RQ3 渐近展开中的边界项能否用度量和边界几何数据表示？
• RQ4 展开中的常数项是否与自然离散化下解析拉普拉斯算子的 zeta 正则化行列式一致？
• 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 边界贡献之和构成，每项依赖于 log(λ) 和 log(1 + √(1 + ω²))，其中 λ = √(gxx gyy)。
• 对数项 ½ log ε 是普适的，与共形场论中的有限尺寸标度预测一致。
• 在标度极限下，角点对渐近展开的贡献消失。
• 常数项 O(1) 未被计算，但本文推测，若采用自然离散化条件，该常数项可能等于解析拉普拉斯算子的 zeta 正则化行列式。