[论文解读] Complexity of piecewise convex transformations in two dimensions, with applications to polygonal billiards

Eugène Gutkin, Serge Tabachnikov|arXiv (Cornell University)|Dec 16, 2004

Mathematical Dynamics and Fractals参考文献 14被引用 8

一句话总结

本文引入二维常曲率测地面上的分段凸变换，以研究多边形台球（包括内台球与外台球）的复杂性。通过分析轨道的符号编码（基于凸划分），研究发现：欧氏外台球的复杂性呈多项式增长，球面台球呈次指数增长，双曲内台球呈指数增长，而大尺寸双曲外台球的复杂性呈线性增长。

ABSTRACT

We introduce the class of piecewise convex transformations, and study their complexity. We apply the results to the complexity of polygonal billiards on surfaces of constant curvature.

研究动机与目标

• 开发一种统一框架，用于研究常曲率曲面（曲率为0、1、-1）上多边形台球的复杂性，方法为使用分段凸变换。
• 通过相空间的凸划分引入精细化编码，将符号动力系统扩展至非凸与非单连通多边形。
• 表征不同曲率区域下轨道复杂性的渐近增长速率，尤其关注内台球与外台球的情形。
• 在双曲平面上为外台球建立复杂性的精确界限，证明大尺寸多边形的复杂性呈线性增长。

提出的方法

• 将分段凸变换定义为保持测地曲面上凸划分的微分同胚，且每个部分将测地线映射为测地线。
• 通过将相空间划分为对应于多边形边或顶点的凸区域，构建符号编码系统。
• 利用无穷远处边界（如双曲空间中的无穷远圆）上的诱导动力系统，分析轨道的长期行为。
• 运用几何与组合技术追踪迭代过程中划分细化的演化，从而获得复杂性估计。
• 利用内台球与外台球之间的对偶性，通过无穷远边界上的映射τ分析其关系。
• 利用双曲几何中的畸变估计（如公式(38)）证明边界映射τ的非周期性，从而排除划分的稳定化。

实验结果

研究问题

• RQ1 在不同常曲率曲面上，多边形台球的符号编码复杂性如何渐近演化？
• RQ2 内台球与外台球轨道编码中，长度为n的不同词串数量的增长速率如何？
• RQ3 在双曲平面上，外台球的复杂性在何种条件下呈线性增长？
• RQ4 是否可以使用分段凸变换有意义地分析非凸或非单连通多边形台球的复杂性？
• RQ5 通过映射τ在无穷远处的动力系统如何与外台球轨道的全局复杂性相关联？

主要发现

• 对于有理欧氏多边形，内台球轨道的边复杂性关于n至多呈三次多项式增长。
• 对于球面多边形，内台球轨道的边复杂性呈次指数增长。
• 对于双曲多边形，内台球轨道的边复杂性呈指数增长，其指数等于台球映射的拓扑熵。
• 对于欧氏多边形上的外台球，复杂性呈多项式增长；对于有理多边形，其增长为二次多项式。
• 对于球面多边形上的外台球，复杂性呈次指数增长。
• 对于凸双曲多边形上的外台球，复杂性至少呈线性增长；对于大尺寸多边形，其复杂性恰好呈线性增长，即 f(n) ∼ n。