[論文レビュー] 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}$ の逆関係を活用し、差列から軌道数列を再構成する。
• 符号的動的系（例：soficシフト）、置換タイリング（フィボナッチ、ペイントン）、S-整数系の具体例を用いて基準を図示する。

実験結果

リサーチクエスチョン

• RQ1 整数列が動的系とその位相的因子の固定点数の差として実現可能であるためには、どのような条件を満たす必要があるか？
• RQ2 差列の軌道数列は、元の系とその因子の軌道数とどのように関係するか？
• RQ3 正確な列の実現可能性基準を、動的系の文脈における相対的差の文脈に一般化できるか？
• RQ4 相対的に実現可能な列の集合が示す構造的性質（特に算術的・代数的制約）は何か？
• RQ5 具体的な例（例えばフィボナッチ鎖やトーラスパラメータ化付きペイントンタイリング）は、実現可能性基準を実際の文脈でどのように示すか？

主な発見

• 整数列 $h$ が相対的に実現可能であるための必要十分条件は、$\mathrm{orb}(h)$ が整数列であることである。これは古典的実現可能性基準の一般化である。
• 動的系とその因子の固定点数の差 $h = f - g$ は、$\mathrm{orb}(h)$ が整数値をとるときかつそのときに限り実現可能である。
• フィボナッチ鎖の例では、相対的固定点数列は $h_n = (-1)^n$ であり、対応する軌道数列は $\mathrm{orb}(h) = (-1, 1, 0, 0, \ldots)$ である。
• ペイントンタイリングの例では、相対的固定点数列は $(-1, 9, -16, 29, -51, 84, -141, \ldots)$ であり、非可逆的因子写像の影響が反映されている。
• すべての素数を $P$ とし $Q = \emptyset$ とする $S$-整数系では、相対的固定点列は定数 $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}$ が得られる。
• この基準により、特に因子写像が単射でない場合に顕著な符号的・代数的動的系における相対的固定点列の体系的分類が可能になる。