[论文解读] Realizability of integer sequences as differences of fixed point count sequences

Natascha Neumaerker|ArXiv.org|May 8, 2009

Mathematical Dynamics and Fractals参考文献 10被引用 5

一句话总结

本文建立了整数序列作为动力系统及其拓扑因子的不动点计数序列之差的可实现性准则。通过在轨道计数上使用莫比乌斯反演，证明了整数序列是相对可实现的，当且仅当其轨道变换产生整数序列，从而将经典的可实现性条件推广至相对动力系统。

ABSTRACT

A sequence of non-negative integers is exactly realizable as the fixed point counts sequence of a dynamical system if and only if it gives rise to a sequence of non-negative orbit counts. This provides a simple realizability criterion based on the transformation between fixed point and orbit counts. Here, we extend the concept of exact realizability to realizability of integer sequences as differences of the two fixed point counts sequences originating from a dynamical system and a topological factor. A criterion analogous to the one for exact realizability is given and the structure of the resulting set of integer sequences is outlined.

研究动机与目标

• 将整数序列的精确可实现性概念扩展至作为系统与其因子之间不动点计数之差的相对可实现性。
• 确定整数序列可实现为动力系统与其拓扑因子之间不动点计数之差的必要且充分条件。
• 利用莫比乌斯反演刻画相对可实现序列集合的代数与算术结构。
• 通过符号动力系统、替换镶嵌和 S-整数动力系统中的具体例子展示该准则。

提出的方法

• 将相对可实现性定义为系统与其拓扑因子的不动点计数序列之差。
• 使用莫比乌斯反演公式将不动点计数与轨道计数关联：$ c_n = \frac{1}{n} \sum_{d|n} \mu(\frac{n}{d}) a_d $。
• 对差序列 $h = f - g$ 应用线性算子 $\mathrm{orb}$，得到 $\mathrm{orb}(h) = \mathrm{orb}(f) - \mathrm{orb}(g)$。
• 证明 $h$ 是相对可实现的，当且仅当 $\mathrm{orb}(h)$ 是整数序列。
• 利用 $\mathrm{fix}$ 与 $\mathrm{orb}$ 之间的逆关系，从差序列重构轨道计数序列。
• 通过符号动力系统（如混合移位）、替换镶嵌（斐波那契、彭罗斯）以及 S-整数系统中的例子说明该准则。

实验结果

研究问题

• RQ1 整数序列需满足何种条件，才能作为动力系统与其拓扑因子之间不动点计数之差被实现？
• RQ2 差序列的轨道计数序列与原系统及其因子的轨道计数之间有何关系？
• RQ3 能否将精确序列的可实现性准则推广至动力系统背景下相对差的情形？
• RQ4 相对可实现序列集合表现出何种结构性质，特别是算术与代数约束方面？
• RQ5 具体例子（如斐波那契链或带环面参数化的彭罗斯镶嵌）如何在实践中体现该可实现性准则？

主要发现

• 整数序列 $h$ 是相对可实现的，当且仅当 $\mathrm{orb}(h)$ 是整数序列，从而推广了经典可实现性准则。
• 系统与其因子的不动点计数之差序列 $h = f - g$ 可实现，当且仅当 $h$ 的轨道变换结果为整数值。
• 在斐波那契链中，相对不动点计数序列为 $h_n = (-1)^n$，对应的轨道计数为 $\mathrm{orb}(h) = (-1, 1, 0, 0, \ldots)$。
• 在彭罗斯镶嵌的例子中，相对不动点计数序列为 $(-1, 9, -16, 29, -51, 84, -141, \ldots)$，反映了非可逆因子映射的特性。
• 对于 $S$-整数系统，当 $P$ 为所有素数且 $Q = \emptyset$ 时，相对不动点序列恒为 $1$；当 $Q = P \setminus \{3\}$ 时，序列为 $ (0, -2, 0, -2, 0, -8, \ldots) $，并给出显式公式 $\beta(n) = \frac{1}{2n} \sum_{d|n,\, d\text{ odd}} \mu(d) \cdot 2^{n/d} - \delta_{n,1}$。
• 该准则使得符号动力系统与代数动力系统中相对不动点序列的系统分类成为可能，尤其适用于因子映射非单射的情形。