[论文解读] Periodic paths on the pentagon, double pentagon and golden L

Diana Davis, Samuel Lelièvre|arXiv (Cornell University)|Oct 26, 2018

semigroups and automata theory参考文献 7被引用 6

一句话总结

本文提出了一种四元树结构，用于分类黄金L平移曲面上的所有周期方向，该结构在正五边形和双五边形台球桌中对应地诱导出相应的树结构。利用此框架，作者推导出周期轨迹的精确组合周期，表明每个周期方向产生两条轨迹——短轨迹与长轨迹，其周期分别显式计算为 $2(a+b+c+d)$ 和 $2(a+2b+c+2d)$，基于 $ackslash mathbbackslash{Q}[ackslash sqrtackslash{5}]$ 中的鞍点连接向量。结果将经典的正方形台球模型推广至具有显著几何图案的非平凡Veech曲面。

ABSTRACT

We give a tree structure on the set of all periodic directions on the golden L, which gives an associated tree structure on the set of periodic directions for the pentagon billiard table and double pentagon surface. We use this to give the periods of periodic directions on the pentagon and double pentagon. We also show examples of many periodic billiard trajectories on the pentagon, which are strikingly beautiful, and we describe some of their properties. Finally, we give conjectures and future directions based on experimental computer evidence.

研究动机与目标

• 理解正五边形、双五边形及黄金L台球桌中周期方向的结构。
• 为非密铺有理多边形（特别是具有 $ackslash mathbbackslash{Q}[ackslash sqrtackslash{5}]$ 斜率方向的）中的周期轨迹建立系统化的枚举与分类方法。
• 将已知的正方形台球桌结果推广至具有最优动力学性质的更复杂的Veech曲面。
• 为分析这些系统中轨迹的聚集性、等分布性及组合复杂性，提供计算与几何框架。

提出的方法

• 作者构建了一个四元线性映射树 $\sigma_0, \sigma_1, \sigma_2, \sigma_3$，作用于第一象限，生成黄金L曲面上所有短柱面向量。
• 树中的每个节点对应字母表 $\{\sigma_0, \sigma_1, \sigma_2, \sigma_3\}$ 中的一个词，该词作用于 $[1, 0]^T$ 的像即为周期方向中长鞍点连接向量。
• 长鞍点连接向量表示为 $[a + b\phi, c + d\phi]$，其中 $a,b,c,d \in \mathbb{N}$，该向量决定了相关轨迹的全纯性与周期。
• 在双五边形模型中，轨迹的组合周期计算为：短路径为 $2(a+b+c+d)$，长路径为 $2(a+2b+c+2d)$。
• 该方法利用了Veech群作用，并基于双五边形与黄金L是Veech曲面的事实，确保每条轨迹要么是周期的，要么是等分布的。
• 作者通过计算机实验分析轨迹聚集性、等分布性及弹跳序列结构，进而提出关于复杂性与分布性的猜想。

实验结果

研究问题

• RQ1 如何系统地枚举与组织黄金L及其相关曲面上的周期方向集合？
• RQ2 在已知其全纯向量的前提下，正五边形与双五边形中周期台球轨迹的精确组合周期是什么？
• RQ3 双五边形上的周期轨迹是否表现出在某些区域的聚集性或等分布性？其行为由什么决定？
• RQ4 正五边形上周期轨迹的弹跳语言的渐近复杂性如何？
• RQ5 是否存在对黄金L或双五边形曲面上Veech群元素作用的简单代数或动力学刻画？

主要发现

• 黄金L上所有周期方向的集合与四字母字母表上线性映射的有限词之间存在双射关系，形成一个四元树，该树生成所有长鞍点连接向量。
• 每个周期方向对应一个唯一的扇区序列，且长鞍点连接向量在 $\mathbb{Q}[\sqrt{5}]$ 中被归一化为长度1。
• 对于长鞍点连接向量为 $[a + b\phi, c + d\phi]$ 的轨迹，双五边形中的短轨迹具有组合周期 $2(a + b + c + d)$。
• 同一方向中的长轨迹具有组合周期 $2(a + 2b + c + 2d)$，直接推广了正方形台球的结果。
• 对于形式为 $A0^n$ 的树词，推测其在水平柱面中的聚集比构成一个康托集，且当 $n \to \infty$ 时趋于等分布。
• 本文提供了显式示例，表明某些周期轨迹会完全避开五边形台球桌的某些区域，展示了尽管具有周期性，仍存在非等分布性。