[論文レビュー] 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.

研究の動機と目的

• 力学系における軌道数え上げの関手的アプローチを構築し、写像を対象とし、軌道数え上げ関数を不変量として扱う。
• カルテシアン積、直和、反復といった基本的な力学的操作が、軌道数え上げ列にどのように作用するかを特徴づける。
• 固定点数え上げと軌道重複度の関係を、軌道モノイドを通じて、オイラー変換の力学的解釈を確立する。
• 特に線形再帰列と算術的半群に関連して、軌道モノイドの成長および構造的性質を調べる。
• 多様な組合せ的列（例：フィボナッチ数、分割数、ラウス数）が、特定の写像の軌道数え上げ関数として自然に生じることを示す。

提案手法

• 各順序の固定点が有限個である写像 $T: X \to X$ のなす圏 $\mathfrak{M}$ を定義し、各写像にその軌道数え上げ列 $\mathcal{O}_T(n)$ を関連付ける。
• 閉じた軌道によって生成される自由アーベルモノイドである軌道モノイド $\mathcal{G}_T$ を導入し、軌道 $\tau$ に重み $|\tau|$ を割り当てる重み関数 $\partial$ を定義する。
• モビウスの反転公式を用いて、固定点数え上げ $\mathcal{F}_T(n)$ と軌道数え上げ $\mathcal{O}_T(n)$ の関係を $\mathcal{O}_T(n) = \frac{1}{n}\sum_{d|n} \mu(n/d)\mathcal{F}_T(d)$ で表す。
• 母関数を定義する：動的ゼータ関数 $\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 軌道数え上げの成長率は、動的系の文脈において、ゼータ関数およびディリクレ級数とどのように関係するか？
• 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$ が次数 2 の線形再帰を満たすことを示している。
• 整数環 $\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 に一致する。これは次数 1 の線形再帰を満たす。
• 例 2.5 の2次写像の軌道モノイドは、2のべきに分けられる分割の数を数える2進分割関数 A018819 に一致する。