[论文解读] Dynamical properties of simplicial systems and continued fraction algorithms

Charles Fougeron|arXiv (Cornell University)|Jan 6, 2020

Mathematical Dynamics and Fractals参考文献 12被引用 9

一句话总结

本文提出了一套新颖的框架——单纯形系统（simplicial systems），将多维连分数算法建模为带标签边的有向图上的随机游走，统一了对经典算法（如Brun、Selmer和Arnoux–Rauzy–Poincaré）的动力系统研究。该研究建立了一般性的遍历性准则，并证明了所有维度下的Rauzy gasket的Hausdorff维数严格小于其所在空间的维数，给出了显式的上界，并证明了其悬垂流的极大熵测度的唯一性。

ABSTRACT

We propose a new point of view on multidimensional continued fraction algorithms inspired by Rauzy induction. The generic behaviour of such an algorithm is described here as a random walk on a graph that we call simplicial system. These systems provide a family of examples for random walks with memory recorded by a finite dimensional vector. We introduce a general criterion on these graphs that induces ergodicity together with a bundle of many other dynamical properties. In particular, after computing the representation of Brun, Selmer and Arnoux-Rauzy-Poincare algorithm in this formalism, it provides a unified proof of ergodicity for these classical examples as well as new results such as uniqueness of the measure of maximal entropy on a canonical suspension. These objects also bring a new perspective to some fractal sets such as Rauzy gaskets. We show general explicit upper bound on Hausdorff dimensions of fractals described in this formalism as well as a construction of their measure of maximal entropy. This implies in particular that the Rauzy gasket in all dimensions has Hausdorff dimension strictly smaller than its ambient space, as well as sharper bounds on the dimension and an asymptotic result.

研究动机与目标

• 将经典多维连分数算法（如Brun、Selmer、Arnoux–Rauzy–Poincaré）的动力系统分析统一于同一形式体系之下。
• 为有限图上带记忆的随机游走建立一般性的遍历性及其他动力学性质的准则。
• 利用热力学形式化方法分析分形集（如Rauzy gasket），并提供其Hausdorff维数的显式上界。
• 证明在所有维度下，Rauzy gasket的悬垂流存在唯一极大熵测度。
• 将转移算子的谱性质与Baragar常数联系起来，并推导出改进的维数估计。

提出的方法

• 将多维连分数算法建模为基于单纯形图的加速随机游走，其中顶点代表组合类型，边对应坐标减法操作。
• 引入“快速逃离”性质及图论准则，以确保系统的遍历性与强混合性。
• 对单纯形系统的悬垂半流应用热力学形式化，通过屋顶函数与雅可比行列式估计构造Gibbs测度。
• 利用Ruelle–Perron–Frobenius定理将转移算子的谱半径与压强联系起来，进而关联至Baragar常数。
• 构建子图参数空间以分析特定算法的动力学，并将其与已知系统（如Brun算法）关联。
• 证明d维Rauzy gasket是子图F的像，并通过动力系统等价性，将维数上界与熵测度等性质转移至该系统。

实验结果

研究问题

• RQ1 能否基于图论随机游走，为经典多维连分数算法建立统一的动力系统框架？
• RQ2 何种图论条件可确保此类系统中不变测度的遍历性与唯一性？
• RQ3 Rauzy gasket在任意维度下的Hausdorff维数的精确上界为何？
• RQ4 Rauzy gasket的悬垂流是否允许唯一的极大熵测度？
• RQ5 Baragar常数如何与关联转移算子的压强及谱性质相关联？

主要发现

• 在二维时，Rauzy gasket的Hausdorff维数严格小于1.825。
• 在三维时，Rauzy gasket的Hausdorff维数严格小于2.7。
• 在四维时，Rauzy gasket的Hausdorff维数严格小于3.612。
• 当维度d增大时，Rauzy gasket的Hausdorff维数满足 dim_H(G^d) < d−1 + (log d)/(log 2·(d+1)) + o(d^−1.58)。
• 在任意维度d≥3下，Rauzy gasket的悬垂流存在唯一的极大熵测度。
• 本文通过单纯形系统的一般准则，统一证明了Brun、Selmer与Arnoux–Rauzy–Poincaré算法的遍历性。