[论文解读] Arithmetic and growth of periodic orbits

Yash R. Puri, Thomas Ward|Durham Research Online (Durham University)|Jul 1, 1999

Cellular Automata and Applications参考文献 10被引用 40

一句话总结

本文研究了整数序列在何种条件下可精确或渐近地表示动力系统中的周期点数量。通过使用莫比乌斯反演，论文引入了两个性质——精确实现性与实现率——以刻画在某种映射下作为周期点计数所出现的序列，建立了此类序列的必要且充分的算术条件。

ABSTRACT

We give necessary and sufficient conditions for a sequence to be exactly realizable as the sequence of numbers of periodic points in a dynamical system. Using these conditions, we show that no non-constant polynomial is realizable, and give some conditions on realizable binary recurrence sequences. Realization in rate is always possible for sufficiently rapidly-growing sequences, and is never possible for slowly-growing sequences. Finally, we discuss the relationship between the growth rate of periodic points and the growth rate of points with specified least period.

研究动机与目标

• 确定哪些整数序列可精确匹配某个动力映射下的周期点数量。
• 分析序列对周期点计数的渐近逼近，定义“实现率”。
• 识别序列必须满足的算术约束——特别是经过莫比乌斯反演后的可除性与非负性——以实现为周期点计数。
• 将动力系统与数论序列（特别是 OEIS 中的序列）联系起来。
• 提供一份系统性的表格，列出已知或猜想可精确实现的 OEIS 序列。

提出的方法

• 使用莫比乌斯反演将周期点序列 $ f_n(T) $ 与最小周期点序列 $ f_n^*(T) $ 关联起来，公式为 $ f_n^*(T) = \sum_{d|n} \mu(n/d) f_d(T) $。
• 应用必要且充分的条件：对于序列 $ \phi \in \mathcal{ER} $，对所有 $ n \geq 1 $，求和 $ \sum_{d|n} \mu(n/d) \phi_d $ 必须非负且能被 $ n $ 整除。
• 利用动力系统中的例子——如环面自同态、有限型子移位和 $ S $-整数系统——生成 $ \mathcal{ER} $ 中的序列。
• 利用 OEIS 中已知的序列测试实现性，包括斐波那契数列、卢卡斯数列、二项式系数以及不可约多项式计数。
• 利用 $ f_n(T) \equiv f_1(T) \mod n $ 在 $ n $ 为素数时的结构，作为实现性的必要条件。
• 构建一份包含已知或猜想可精确实现的 OEIS 序列的表格，并附上动力系统来源的注释。

实验结果

研究问题

• RQ1 哪些整数序列可精确实现为某个动力系统中的周期点数量？
• RQ2 序列必须满足何种算术条件才能实现为周期点计数？
• RQ3 周期点序列的增长率如何与轨道计数相关联？
• RQ4 哪些 OEIS 序列被已知或猜想可精确实现？
• RQ5 如环面自同态或有限型子移位等动力系统能否生成满足实现条件的序列？

主要发现

• 当且仅当对所有 $ n \geq 1 $，有 $ \sum_{d|n} \mu(n/d) \phi_d \geq 0 $ 且能被 $ n $ 整除时，序列 $ \phi $ 才可精确实现，从而提供了完整的刻画。
• 斐波那契数列（A000045）不在 $ \mathcal{ER} $ 中，因为 $ f_3 - f_1 = 2 - 1 = 1 $，不能被 3 整除。
• 卢卡斯数列（A000204）属于 $ \mathcal{ER} $，其来源于黄金比例移位，通过动力系统构造确认了其实现性。
• 对任意矩阵 $ A \in GL_k(\mathbb{Z}) $，序列 $ \det(A^n - I) $ 满足对所有素数 $ n $，有 $ \det(A^n - I) \equiv \det(A - I) \mod n $，这是实现性的必要条件。
• 在 $ \mathbb{F}_2 $ 上次数为 $ n $ 的不可约多项式计数序列 $ f_n = 2^n $ 属于 $ \mathcal{ER} $，对应于两个符号上的全移位。
• 整理了一份包含 20 多个 OEIS 序列的表格，其中 12 个已确认为可精确实现，包括 A001037（不可约多项式）、A007727（珠串）、A004146（环面自同态），并附有动力系统来源的注释。