[论文解读] The Euler adic dynamical system and path counts in the Euler graph

Karl Petersen, Alexander Varchenko|ArXiv.org|Nov 11, 2008

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

一句话总结

本文推导出广义欧拉数 $ A_{p,q}(i,j) $ 的闭式表达式，证明了关键比值的单调性，并利用这些结果为欧拉图上的布雷特利-弗施系统提供了对称测度是唯一完全正则的不变遍历博雷尔概率测度的新证明。该证明依赖于二维归纳法以及从不同起点到同一终点的路径之间的一一对应关系。

ABSTRACT

We give a formula for generalized Eulerian numbers, prove monotonicity of sequences of certain ratios of the Eulerian numbers, and apply these results to obtain a new proof that the natural symmetric measure for the Bratteli-Vershik dynamical system based on the Euler graph is the unique fully supported invariant ergodic Borel probability measure. Key ingredients of the proof are a two-dimensional induction argument and a one-to-one correspondence between most paths from two vertices at the same level to another vertex.

研究动机与目标

• 推导广义欧拉数 $ A_{p,q}(i,j) $ 的闭式表达式，该表达式用于计算从 $ (p,q) $ 到 $ (p+i,q+j) $ 的欧拉图中路径的数量。
• 证明欧拉数比值的单调性性质，这些性质对于分析不变测度至关重要。
• 确立欧拉自同构系统上自然对称测度是唯一完全正则的遍历不变测度。
• 开发一种适用于更高维欧拉自同构系统的方法，其中排列编码不再适用。

提出的方法

• 使用容斥原理和二项式系数恒等式推导出 $ A_{p,q}(i,j) $ 的闭式表达式。
• 采用二维归纳法证明该公式以及欧拉数比值的单调性。
• 在从 $ (p,q) $ 和 $ (p',q') $ 到同一终点 $ (i,j) $ 的路径之间建立一一对应关系，同时保持编码序列不变。
• 利用边的编码方式（标记边、水平未标记边、垂直未标记边）在不同起点出发的路径集合之间建立双射。
• 通过路径计数结果，借助极限公式 $ \lim_{i,j\to\infty} \frac{A_{p,q}(i,j)}{A_{0,0}(p+i,q+j)} = \frac{1}{(p+q+1)!} $，将结果应用于布雷特利-弗施系统的遍历理论。
• 利用该极限公式证明：对称测度的典型点恰好是那些两个坐标均趋于无穷的路径。

实验结果

研究问题

• RQ1 在欧拉图中，从 $ (p,q) $ 到 $ (p+i,q+j) $ 的路径数量 $ A_{p,q}(i,j) $ 的闭式表达式是什么？
• RQ2 比值 $ \frac{A_{p,q}(i,j+1)}{A_{p,q-1}(i,j+1)} $ 和 $ \frac{A_{p,q}(i,j)}{A_{p,q-1}(i,j)} $ 作为 $ j $ 的函数如何变化，这对测度唯一性有何含义？
• RQ3 能否通过路径计数技术唯一刻画欧拉自同构系统上的对称测度，使其成为唯一的完全正则的遍历不变测度？
• RQ4 路径对应关系与单调性论证是否可推广至更高维的欧拉自同构系统？

主要发现

• 广义欧拉数 $ A_{p,q}(i,j) $ 的表达式为 $ \sum_{t=0}^{i} (-1)^{i-t} \binom{p+q+t+1}{t} \binom{p+q+i+j+2}{i-t} (p+1+t)^{i+j} $。
• 比值 $ \frac{A_{p,q}(i,j)}{A_{p,q-1}(i,j)} $ 关于 $ j $ 是非增的，并满足不等式 $ \frac{A_{p,q}(i,j+1)}{A_{p,q-1}(i,j+1)} \leq \frac{A_{p,q}(i,j)}{A_{p,q-1}(i,j)} \leq \frac{q+j}{q+1+j} \cdot \frac{A_{p,q}(i+1,j)}{A_{p,q-1}(i+1,j)} $。
• 极限 $ \lim_{i,j\to\infty} \frac{A_{p,q}(i,j)}{A_{0,0}(p+i,q+j)} = \frac{1}{(p+q+1)!} $ 成立，这是遍历性证明的核心。
• 欧拉图中任意无限路径，只要其 $ i_n $ 和 $ j_n $ 均无界，则为对称测度的典型点，这意味着方向上的唯一遍历性。
• 对称测度是布雷特利-弗施系统在欧拉图上唯一的完全正则的不变遍历博雷尔概率测度。
• 路径对应关系与单调性技术足够稳健，可推广至更高维的欧拉自同构系统，其中基于排列的编码方法不再适用。