[论文解读] Minkowski measurability of infinite conformal graph directed systems and application to Apollonian packings

Marc Keßeböhmer, Sabrina Kombrink|arXiv (Cornell University)|Feb 9, 2017

Point processes and geometric inequalities参考文献 7被引用 7

一句话总结

该论文建立了无限共形图自协系统（cGDS）中闵可夫斯基测度存在的条件，证明了阿波罗尼安镶嵌的闵可夫斯基可测性，并推导出其闵可夫斯基测度的显式公式。论文将分形欧拉特征数与曲率测度联系到康托罗维奇和欧研究的圆计数函数，从而为阿波罗尼安常数提供了新的几何解释，并首次给出了 0.055 的下界。

ABSTRACT

We give conditions for the existence of the Minkowski content of limit sets stemming from infinite conformal graph directed systems. As an application we obtain Minkowski measurability of Apollonian gaskets, provide explicit formulae of the Minkowski content, and prove the analytic dependence on the initial circles. Further, we are able to link the fractal Euler characteristic, as well as the Minkowski content, of Apollonian gaskets with the asymptotic behaviour of the circle counting function studied by Kontorovich and Oh. These results lead to a new interpretation and an alternative formula for the Apollonian constant. We estimate a first lower bound for the Apollonian constant, namely $0{.}055$, partially answering an open problem by Oh of 2013. In the higher dimensional setting of collections of disjoint balls, generated e.\,g.\ by Kleinian groups of Schottky type, we prove that all fractal curvature measures exist and are constant multiples of each other. Further number theoretical applications connected to the Gauss map and to the Riemann $ζ$-function illustrate our results.

研究动机与目标

• 刻画无限共形图自协系统极限集的几何结构，超越分形维数的范畴。
• 建立并计算阿波罗尼安镶嵌的闵可夫斯基测度，此前这些对象在已知的分形体积框架下尚未被分类。
• 将分形欧拉特征数与曲率测度联系到康托罗维奇和欧研究的渐近圆计数函数。
• 为阿波罗尼安常数提供新的几何解释与替代公式，从而实现首次下界估计。
• 将结果推广至更高维的不相交球体集合（如施托基类型克莱因群），证明分形曲率测度存在且彼此成比例。

提出的方法

• 以作者在 [KK17] 中提出的关于无限字母表上的有限型子移位的最新再生定理作为核心分析工具。
• 通过莫比乌斯变换应用有界膨胀估计，以控制 cGDS 构造中导数的膨胀。
• 利用关联矩阵与转移规则，在无限 cGDS 框架下定义可接受的映射序列。
• 通过关联转移算子的谱性质与非晶格条件推导闵可夫斯基测度。
• 通过豪斯多夫测度与维数 $ D $，将圆计数函数 $ R(\varepsilon) $ 的渐近行为与分形曲率测度联系起来。
• 通过李雅普诺夫指数与有界膨胀常数 $ \rho_0 $ 估计阿波罗尼安常数 $ c_A $，从而得出下界 $ c_A \geq 0.055 $。

实验结果

研究问题

• RQ1 在何种条件下，无限共形图自协系统的极限集的闵可夫斯基测度存在？
• RQ2 在阿波罗尼安镶嵌中，分形欧拉特征数、闵可夫斯基测度与分形曲率测度之间有何关系？
• RQ3 圆计数函数 $ R(\theta) $ 的渐近行为能否通过分形曲率测度实现几何重释义？
• RQ4 阿波罗尼安常数 $ c_A $ 与包装的几何不变量（如闵可夫斯基测度与豪斯多夫测度）之间有何关系？
• RQ5 在由施托基型克莱因群生成的更高维不相交球体集合中，分形曲率测度是否存在？它们是否彼此成比例？

主要发现

• 对于非晶格无限共形图自协系统，极限集的闵可夫斯基测度存在，并给出了显式公式。
• 对于阿波罗尼安镶嵌，闵可夫斯基测度可显式计算，且其值关于初始圆解析依赖。
• 分形欧拉特征数、闵可夫斯基测度与分形曲率测度彼此为常数倍，且该常数与特定包装无关。
• 在高维（$ d \geq 4 $）中，不相交球体集合（如施托基型克莱因群生成者）的分形曲率测度存在，且彼此成比例。
• 阿波罗尼安常数 $ c_A $ 首次获得下界 $ 0.055 $，该下界由有界膨胀常数 $ \rho_0 $ 与李雅普诺夫指数导出。
• 圆计数函数 $ R(\varepsilon) $ 的主导渐近项被几何重释，从而为 $ c_A $ 提供了基于闵可夫斯基测度与豪斯多夫测度的新公式。