[论文解读] The scaling limit of Fomin's identity for two paths in the plane

Michael J. Kozdron|arXiv (Cornell University)|Mar 20, 2007

Stochastic processes and statistical mechanics参考文献 16被引用 4

一句话总结

本文建立了平面中两条路径的Fomin恒等式在缩放极限下的结果，表明 chordal SLE₂ 与布朗运动桥的非相交概率收敛于布朗运动桥泊松核矩阵的行列式。该结果证实了Fomin的猜想：离散的自避随机游走与简单随机游走的恒等式可直接收敛至连续的 SLE₂ 与布朗运动的对应形式，而无需引入自避布朗运动。

ABSTRACT

We review some recently completed research that establishes the scaling limit of Fomin's identity for loop-erased random walk on Z^2 in terms of the chordal Schramm-Loewner evolution (SLE) with parameter 2. In the case of two paths, we provide a simplified proof of the identity for loop-erased random walk and simple random walk, and prove directly that the corresponding identity holds for chordal SLE(2) and Brownian motion. We also include a brief introduction to SLE and discussion of the relationship between SLE(2) and loop-erased random walk.

研究动机与目标

• 建立平面中两条路径的Fomin恒等式的缩放极限，将离散的自避随机游走与简单随机游走联系至其连续对应形式。
• 证明上半平面中 chordal SLE₂ 与布朗运动桥的非相交概率等于布朗运动桥泊松核矩阵的行列式。
• 为 ℤ² 上两条路径的离散Fomin恒等式提供简化证明。
• 证明Fomin恒等式的连续类比可直接适用于 SLE₂ 与布朗运动，而无需对自避布朗运动作出形式定义。
• 通过共形不变性与缩放极限阐明 SLE₂ 与自避随机游走之间的关系。

提出的方法

• 利用共形不变性与共形映射将上半平面 ℍ 映射至单位圆盘 𝔻，保持非相交概率不变。
• 在单位圆盘中利用已知的调和测度公式，显式计算布朗运动桥泊松核矩阵的行列式。
• 在 ℍ 和 𝔻 中应用布朗运动桥泊松核，以计算布朗运动与 SLE₂ 的命中概率。
• 通过布朗运动桥命中矩阵的行列式推导非相交概率，利用命中矩阵缩放极限的已知结果。
• 利用对称性与随机游走的已知性质，简化 ℤ² 上两条路径的离散Fomin恒等式。
• 将 chordal SLE₂ 过程用作自避随机游走的缩放极限，从而避免对自避布朗运动的定义需求。

实验结果

研究问题

• RQ1 上半平面中 chordal SLE₂ 与布朗运动桥的非相交概率在缩放极限下是否收敛于布朗运动桥泊松核矩阵的行列式？
• RQ2 能否利用 SLE₂ 与布朗运动，将 ℤ² 上两条路径的 Fomin 恒等式简化并推广至连续情形？
• RQ3 简单随机游走命中矩阵行列式的缩放极限是否等于连续情形下布朗运动命中矩阵行列式？
• RQ4 Fomin 恒等式的连续类比是否可直接适用于 SLE₂ 与布朗运动桥，而无需对自避布朗运动作出形式定义？
• RQ5 SLE₂ 与布朗运动桥之间的非相交概率的显式表达式为何？其是否可用共形不变量表示？

主要发现

• 在 ℍ 中，从 0 到 ∞ 的 chordal SLE₂ 与从 x 到 y 的布朗运动桥的非相交概率为 x(2 − x)，当 y = 1 且 0 < x < 1 时成立。
• 该结果证实了 Fomin 恒等式在两条路径情形下的缩放极限即为布朗运动桥泊松核矩阵的行列式。
• 该概率仅依赖于比值 x/y，且具有共形不变性，通过映射至单位圆盘得以证明。
• 在单位圆盘中，非相交概率可表示为 (2cosθ + sinθ − 1)/(1 + sinθ)，当 θ = −arctan((1 − x²)/(2x)) 时，该式简化为 x(2 − x)。
• 对于具有四个按逆时针顺序排列的边界点的单连通区域 D，非相交概率为 Φ(x²)(2 − Φ(x²))，其中 Φ 将 D 映射至 ℍ 并保持指定边界点。
• 该结果可推广至无界区域及包含 ∞ 的情形，且在共形变换下公式保持不变。