[论文解读] Periodicity and Circle Packing in the Hyperbolic Plane

Lewis Bowen|ArXiv.org|Apr 22, 2003

Quasicrystal Structures and Properties参考文献 13被引用 3

一句话总结

本文证明了在双曲平面上，具有余有限对称群的周期性圆堆积——即具有共有限对称群的周期性圆堆积——在半径为 $ r $ 的圆堆积的等距不变概率测度空间中是稠密的。关键结果是，此类堆积的上确界密度等于任何等距不变测度所能实现的最大密度，且该最大密度函数随半径连续变化。

ABSTRACT

We prove that given a fixed radius $r$, the set of isometry-invariant probability measures supported on ``periodic'' radius $r$-circle packings of the hyperbolic plane is dense in the space of all isometry-invariant probability measures on the space of radius $r$-circle packings. By a periodic packing, we mean one with cofinite symmetry group. As a corollary, we prove the maximum density achieved by isometry-invariant probability measures on a space of radius $r$-packings of the hyperbolic plane is the supremum of densities of periodic packings. We also show that the maximum density function varies continuously with radius.

研究动机与目标

• 通过解决双曲圆堆积中的基础性问题，特别是密度定义不明确以及最优堆积是否存在等问题。
• 证明双曲平面上半径为 $ r $ 的圆堆积的等距不变概率测度，其支持在周期性堆积上是稠密的。
• 确立所有等距不变测度下的最大密度，等于周期性堆积密度的上确界。
• 证明最大密度函数关于半径 $ r $ 连续，从而将欧氏几何中的结果推广至双曲几何。

提出的方法

• 采用遍历理论框架，分析双曲平面上半径为 $ r $ 的圆堆积空间中的等距不变概率测度。
• 应用 Nevo 和 Stein 的遍历理论结果，证明对 $ \mu $-几乎处处的堆积，密度存在且与原点无关。
• 将测度 $ \mu $ 的密度定义为覆盖原点的堆积的 $ \mu $-测度，以确保空间内的一致性。
• 利用等距不变测度空间在弱*拓扑下的紧致性，保证最优稠密测度的存在性。
• 利用紧致子集上一致收敛的拓扑结构，分析堆积序列的收敛性与密度行为。
• 应用双曲几何中的结果，包括完备有限体积双曲流形及分支覆盖的存在性，以扩展连续性与密度论证。

实验结果

研究问题

• RQ1 在双曲平面上，半径为 $ r $ 的周期性圆堆积集合是否在等距不变概率测度空间中稠密？
• RQ2 在所有等距不变测度下，半径为 $ r $ 的圆堆积的最大密度是否等于周期性堆积密度的上确界？
• RQ3 最大密度函数 $ D(r) $ 是否关于双曲平面上的半径 $ r $ 连续？
• RQ4 即使没有单个周期性堆积能实现最大密度，最优密度是否仍可作为周期性堆积序列的极限实现？
• RQ5 双曲平面上的密度行为与欧氏空间相比如何，特别是在位似变换与不变性方面？

主要发现

• 在双曲平面上，支持在周期性半径 $ r $-圆堆积上的等距不变概率测度集合，在所有此类测度空间中是稠密的。
• 任何等距不变测度在半径 $ r $-圆堆积上所能实现的最大密度，等于周期性堆积密度的上确界。
• 最大密度函数 $ D(r) $ 关于半径 $ r $ 连续变化，确保了在半径变化时最优堆积密度的稳定性。
• 对每个 $ r $，均存在一个周期性堆积序列，其密度收敛于最优密度，即使没有单个周期性堆积能达到该最优值。
• 当 $ \mu $ 为等距不变概率测度时，对 $ \mu $-几乎处处的堆积，其密度有良好定义且与原点无关。
• 该框架可推广至广义球堆积（horoball packings），并通过收敛至欧氏球堆积密度，确立了 $ D(r) $ 在无穷远处（即 $ r \to \infty $）的连续性。