[论文解读] Constructing a uniform plane-filling path in the ternary heptagrid of the hyperbolic plane

Maurice Margenstern|ArXiv.org|Oct 1, 2007

Cellular Automata and Applications参考文献 6被引用 3

一句话总结

本文使用基于递归、分层的铺砌方法，通过递减的梯形区域和路径引导的薰衣草色三角形，在双曲平面的三元七边形网格（{7,3} 双曲铺砌）中构造出一条统一的平面填充路径。该构造证明了在双曲平面中，简单平面填充性质成立，所有解均生成一条无限路径，仅存在一个例外情况，即两条不相交的无限路径，可在无穷远处连接。

ABSTRACT

In this paper, we distinguish two levels for the plane-filling property. We consider a simple and a strong one. In this paper, we give the construction which proves that the simple plane-filling property also holds for the hyperbolic plane. The plane-filling property was established for the Euclidean plane by J. Kari, in 1994, in the strong version.

研究动机与目标

• 在双曲平面中，特别是在三元七边形网格 {7,3} 中，建立统一平面填充路径的存在性。
• 研究在双曲铺砌中，简单或强平面填充性质是否成立，已知其在欧几里得平面中成立。
• 提供一种构造方法，生成一条访问双曲铺砌中每个瓷砖恰好一次的单一无限路径。
• 证明在 {7,3} 铺砌上存在一种细胞自动机，可在无限时间内构造出此类路径。
• 为双曲细胞自动机中佩亚诺曲线的算法构造和不可判定性结果奠定基础。

提出的方法

• 基于将每个七边形瓷砖递归地划分为更高阶（k）的梯形区域，从边界向中心递归深入的构造方法。
• 通过半径和边的中点定义路径元素，形成连接各梯形区域的线段，构成连续路径。
• 引入‘薰衣草色三角形’作为引导瓷砖，以控制路径方向，并确保在每个递归层级上相邻梯形之间的连通性。
• 在每一步应用二维二分过程，将梯形区域划分为四个更小的梯形区域，通过定义的进出点保持路径的连续性。
• 依赖于双曲平面中无穷小邻域的局部欧几里得行为，以确保路径构造收敛到极限曲线。
• 构建一种细胞自动机，逐步模拟路径生成过程，跨铺砌运行，在无限时间内生成完整路径。

实验结果

研究问题

• RQ1 在双曲平面中，特别是在三元七边形网格 {7,3} 中，简单平面填充性质是否成立？
• RQ2 是否可以在双曲平面中构造一条统一的平面填充路径，使得所有具有给定瓷砖集合的铺砌均生成一条单一的无限路径？
• RQ3 路径分裂为两条不相交的无限路径的例外解的本质是什么？
• RQ4 在 {7,3} 铺砌上，细胞自动机能否模拟统一平面填充路径的构造？
• RQ5 双曲平面中递归向内行进的路径构造如何收敛到一条连续的、充满空间的曲线？

主要发现

• 在双曲平面的三元七边形网格中存在一条统一的平面填充路径，证明了在此设定下简单平面填充性质成立。
• 所有铺砌问题的解均生成一条单一的无限路径，仅存在一个例外情况，即两条不相交的无限路径，可在无穷远处拓扑连接。
• 该例外解被解释为极限情况，其中两条路径 π₁ 和 π₂ 可在无穷远处连接，形成单一连续轨迹。
• 路径构造收敛到一条极限曲线 P∞，该曲线恰好访问双曲平面的每个点一次，类似于佩亚诺曲线。
• 在 {7,3} 铺砌上的细胞自动机可在无限时间内构造出统一的平面填充路径，证明了其有效的算法可实现性。
• 该构造依赖于梯形区域的递归细分和路径引导瓷砖（薰衣草色三角形），通过在每一层级定义的进出点确保路径的连续性。