[论文解读] Visibility to infinity in the hyperbolic plane, despite obstacles

Itaï Benjamini, Johan Jonasson+2 more|ArXiv.org|Jul 21, 2008

Mathematics and Applications参考文献 10被引用 14

一句话总结

本文证明，在双曲平面上，若一个具有等距不变律的随机闭集包含固定单位圆盘的概率超过某个通用阈值 $ p_0 < 1 $，则该集合以正概率包含双曲直线。此外，本文刻画了泊松布尔模型中的相变现象，表明在覆盖区域或空置区域中，直线的存在与否取决于强度和半径，临界阈值由积分方程定义。

ABSTRACT

Suppose that $Z$ is a random closed subset of the hyperbolic plane $\H^2$, whose law is invariant under isometries of $\H^2$. We prove that if the probability that $Z$ contains a fixed ball of radius 1 is larger than some universal constant $p&lt;1$, then there is positive probability that $Z$ contains (bi-infinite) lines. We then consider a family of random sets in $\H^2$ that satisfy some additional natural assumptions. An example of such a set is the covered region in the Poisson Boolean model. Let $f(r)$ be the probability that a line segment of length $r$ is contained in such a set $Z$. We show that if $f(r)$ decays fast enough, then there are almost surely no lines in $Z$. We also show that if the decay of $f(r)$ is not too fast, then there are almost surely lines in $Z$. In the case of the Poisson Boolean model with balls of fixed radius $R$ we characterize the critical intensity for the almost sure existence of lines in the covered region by an integral equation. We also determine when there are lines in the complement of a Poisson process on the Grassmannian of lines in $\H^2$.

研究动机与目标

• 确定双曲平面中具有等距不变律的随机闭集包含无限测地线（直线）的条件。
• 将规则树上的结果推广至双曲平面，表明即使存在随机障碍物，仍可能实现无限可见性。
• 刻画泊松布尔模型在 $\mathbb{H}^2$ 中覆盖集与空置集中直线几乎必然存在的临界强度。
• 研究 $\mathbb{H}^2$ 中连续渗滤模型的无界连通分支是否包含双向无限测地线。
• 探索随机集中直线的几何与概率性质，包括直线集合的唯一性与连通性。

提出的方法

• 通过几何与概率论证，将双曲平面问题约化为类似树的结构，利用 $\mathbb{H}^2$ 的负曲率特性。
• 使用等距不变随机集及通过边界弧实现的直线分离概念，以估计直线包含的概率。
• 应用长度为 $ r $ 的直线段被随机集 $ \mathcal{Z} $ 包含的概率的指数衰减估计（记为 $ f(r) $），以确定相变。
• 推导出刻画泊松布尔模型空置集中直线存在的临界强度 $ \lambda_c $ 的积分方程。
• 将非阿贝尔图上的渗滤理论技术适配至双曲设置，包括远距离独立性与阻塞论证。
• 利用格拉斯曼流形上直线的泊松过程，研究随机集补集中直线的存在性。

实验结果

研究问题

• RQ1 在何种条件下，双曲平面 $\mathbb{H}^2$ 中的随机等距不变闭子集以正概率包含双曲直线？
• RQ2 泊松布尔模型在 $\mathbb{H}^2$ 中空置集中直线几乎必然存在的临界强度 $ \lambda_c $ 是什么？
• RQ3 是否存在唯一无限连通分支是否意味着该分支中存在直线？
• RQ4 泊松布尔模型中直线存在的临界阈值是否可由积分方程刻画？
• RQ5 是否存在某种构型，使得单条渗滤射线包含所有其他具有相同无穷远端点的渗滤射线？

主要发现

• 存在一个通用常数 $ p_0 < 1 $，使得若固定单位圆盘被随机等距不变闭集 $ \mathcal{Z} \subset \mathbb{H}^2 $ 包含的概率超过 $ p_0 $，则 $ \mathcal{Z} $ 以正概率包含双曲直线。
• 在 $\mathbb{H}^2$ 中固定半径 $ R $ 的泊松布尔模型中，覆盖集中无直线的临界强度 $ \lambda_{\mathrm{gc}}(R) $ 满足一个涉及双曲几何的积分方程。
• 长度为 $ r $ 的直线段被 $ \mathcal{Z} $ 包含的概率以 $ e^{-r + O(1)} $ 的速率指数衰减，该衰减速率决定了直线存在的相变。
• 当 $ f(r) $ 的衰减不过快时，直线在 $ \mathcal{Z} $ 中几乎必然存在；当衰减过快时，直线几乎必然不存在。
• 空置集包含直线的临界强度由 $ \lambda_{\mathrm{gv}}(R) $ 刻画，且证明了 $ \lambda_{\mathrm{gv}} = \bar{\lambda}_{\mathrm{gv}} $，表明存在一个尖锐阈值。
• 对于 $ \mathbb{H}^2 $ 中直线格拉斯曼流形上的泊松过程的补集，本文确定了补集中包含直线的条件。