[论文解读] Functorial orbit counting

Apisit Pakapongpun, Thomas Ward|ArXiv.org|Jan 17, 2009

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

一句话总结

本文提出了一种用于计数动力系统中闭轨道的函子框架，将轨道结构与轨道幺半群和生成函数等代数对象联系起来。研究证明，映射上的操作——如乘积、不相交并集和迭代——会在轨道计数序列上诱导自然变换，揭示了动力系统、算术幺半群与斐波那契数、分拆数和卢卡斯数等组合序列之间的深刻联系。

ABSTRACT

We study the functorial and growth properties of closed orbits for maps. By viewing an arbitrary sequence as the orbit-counting function for a map, iterates and Cartesian products of maps define new transformations between integer sequences. An orbit monoid is associated to any integer sequence, giving a dynamical interpretation of the Euler transform.

研究动机与目标

• 开发动力系统中轨道计数的函子方法，将映射视为对象，轨道计数函数视为不变量。
• 刻画基本动力学操作（笛卡尔积、不相交并集和迭代）如何变换轨道计数序列。
• 通过轨道幺半群建立欧拉变换的动力学解释，将不动点计数与轨道重数联系起来。
• 探讨轨道幺半群的增长与结构性质，特别是其与线性递推序列和算术幺半群的关系。
• 证明多种组合序列（例如斐波那契数、分拆数、卢卡斯数）可自然地作为特定映射的轨道计数函数出现。

提出的方法

• 定义映射范畴 $\mathfrak{M}$，其中映射 $T: X \to X$ 每阶的不动点有限，为每个映射关联其轨道计数序列 $\mathcal{O}_T(n)$。
• 引入轨道幺半群 $\mathcal{G}_T$，即由闭轨道生成的自由阿贝尔幺半群，配备权重函数 $\partial$，为轨道 $\tau$ 分配权重 $|\tau|$。
• 使用莫比乌斯反演公式，通过 $\mathcal{O}_T(n) = \frac{1}{n}\sum_{d|n} \mu(n/d)\mathcal{F}_T(d)$ 将不动点计数 $\mathcal{F}_T(n)$ 与轨道计数 $\mathcal{O}_T(n)$ 关联。
• 定义生成函数：动力 zeta 函数 $\zeta_T(s) = \exp\sum_{n\geq1} \frac{s^n}{n}\mathcal{F}_T(n)$ 和轨道狄利克雷级数 $\mathsf{d}_T(s) = \sum_{n\geq1} \frac{\mathcal{O}_T(n)}{n^s}$，并给出恒等式 $\zeta_T(s) = \prod_\tau (1 - s^{\vert\tau\vert})^{-1}$ 和 $\mathsf{d}_T(s)\zeta(s+1) = \sum_{n\geq1} \frac{\mathcal{F}_T(n)}{n^{s+1}}$。
• 通过 $\pi_T(N) = |\{\tau : |\tau| \leq N\}|$ 和 $\mathcal{M}_T(N) = \sum_{|\tau|\leq N} e^{-h|\tau|}$ 分析增长性，将渐近行为与素数定理及默滕斯型定理联系起来。
• 建立函子性：$\mathcal{F}_{T_1 \times T_2} = \mathcal{F}_{T_1} \mathcal{F}_{T_2}$，$\mathsf{d}_{T_1 \sqcup T_2} = \mathsf{d}_{T_1} + \mathsf{d}_{T_2}$，$\zeta_{T_1 \sqcup T_2} = \zeta_{T_1} \zeta_{T_2}$，以及 $\mathcal{F}_{T^k}(n) = \mathcal{F}_T(kn)$。

实验结果

研究问题

• RQ1 标准动力学操作（乘积、不相交并集、迭代）如何作用于映射的轨道计数序列？
• RQ2 轨道计数函数背后的代数结构是什么？它与算术幺半群有何关系？
• RQ3 传统的组合欧拉变换能否通过轨道幺半群实现动力学解释？
• RQ4 轨道计数的增长率如何与动力系统中的 zeta 函数和狄利克雷级数相关联？
• RQ5 已知的组合序列（如斐波那契数、分拆数、卢卡斯数）在多大程度上可作为显式映射的轨道计数函数实现？

主要发现

• 与映射 $T$ 关联的轨道幺半群 $\mathcal{G}_T$ 同构于其闭轨道生成的自由阿贝尔幺半群，权重函数为轨道长度之和。
• 对于黄金比例移位，$\mathcal{G}_T(n)$ 等于第 $(n+1)$ 个斐波那契数，因此 $\mathcal{G}_T$ 为序列 A000045。
• 当 $\mathsf{d}_T(s) = \zeta(s)$ 时，$\mathcal{G}_T(n)$ 为分拆函数 A000041，即整数分拆的计数。
• 对于 $a$ 个符号的全移位，$\mathcal{F}_T(n) = a^n - a^{n-1}$，且 $\mathcal{G}_T(n) = a^n - a^{n-1}$，表明即使 $\mathcal{F}_T$ 的递推阶数为 1，$\mathcal{G}_T$ 仍满足二阶线性递推。
• 对于 $\mathbb{Z}[1/6]$ 上映射 $r \mapsto \frac{2}{3}r$ 的对偶映射，$\mathcal{F}_T(n) = 3^n - 2^n$ 且 $\mathcal{G}_T(n) = 3^{n-1}$，因此 $\mathcal{G}_T$ 为 A000245，满足一阶线性递推。
• 例 2.5 中二次映射的轨道幺半群为二进制分拆函数 A018819，即计数为 2 的幂之和的分拆数。