[論文レビュー] The Toothpick Sequence and Other Sequences from Cellular Automata

David Applegate, Omar E. Pol+1 more|arXiv (Cornell University)|Apr 18, 2010

Cellular Automata and Applications参考文献 6被引用数 7

ひとこと要約

本稿は、歯科用スティック列および関連するセルオートマトンを導入し、解析することで、歯科用スティックおよびアクティブな細胞の数に対する再帰的公式と母関数を導出する。本稿は、フラクタルに類似した成長パターンを明らかにし、形式 $\prod_{k\geq 0}(1+x^{2^{k}-1}+2x^{2^{k}})$ の新しい母関数を確立し、それらをシエルピンスキーの三角形構造と関連付ける。さらに、OEISに登録された数列に対する明示的公式を提供する。

ABSTRACT

A two-dimensional arrangement of toothpicks is constructed by the following iterative procedure. At stage 1, place a single toothpick of length 1 on a square grid, aligned with the y-axis. At each subsequent stage, for every exposed toothpick end, place an orthogonal toothpick centered at that end. The resulting structure has a fractal-like appearance. We will analyze the toothpick sequence, which gives the total number of toothpicks after n steps. We also study several related sequences that arise from enumerating active cells in cellular automata. Some unusual recurrences appear: a typical example is that instead of the Fibonacci recurrence, which we may write as a(2+i) = a(i) + a(i+1), we set n = 2^k+i (0 <= i < 2^k), and then a(n)=a(2^k+i)=2a(i)+a(i+1). The corresponding generating functions look like Prod{k >= 0} (1+x^{2^k-1}+2x^{2^k}) and variations thereof.

研究の動機と目的

• 2次元セルオートマトン規則から生じる歯科用スティック列の再帰的構造を特徴づけること。
• 歯科用スティックおよび関連数列の母関数と明示的公式を導出すること。
• 歯科用スティック構造とフラクタルパターン（特にシエルピンスキーの三角形）との関係を調査すること。
• 8近傍およびウラム＝ワーバーソンの変種を含む他のセルオートマトンへの一般化を試みること。
• 再帰的および母関数的手法を用いて、このようなオートマトンにおけるアクティブな細胞の計算と列挙を体系的に行う方法を提供すること。

提案手法

• 歯科用スティックの構築規則を定義：各段階で、既存の歯科用スティックの露出した端に垂直に歯科用スティックを配置する。
• 主な歯科用スティック列の再帰的関係を導出するための「コーナー列」変種を導入する。
• 再帰的関係 $a(2^k + i) = 2a(i) + a(i+1)$ を用いて、歯科用スティック列の成長をモデル化する（$0 \leq i < 2^k$）。
• 数列の母関数を形式 $x(\alpha + \beta x)\prod_{k \geq \varepsilon}(1 + \gamma x^{2^k - 1} + \delta x^{2^k})$ として導出する。
• 2進数の桁のパターンを通じて、母関数とシエルピンスキーの三角形との関係を確立する。
• 8近傍およびウラム＝ワーバーソンのモデルを含む他のセルオートマトンにこの手法を適用し、新たな再帰的関係と数列を導出する。

実験結果

リサーチクエスチョン

• RQ1 2次元歯科用スティックオートマトンにおける各段階で追加される歯科用スティックの数を支配する再帰的関係は何か？
• RQ2 歯科用スティック列の母関数を閉形式でどのように表現できるか。また、その構造的意味は何か？
• RQ3 歯科用スティック列とシエルピンスキーの三角形、またはその他のフラクタルパターンとの関係は何か？
• RQ4 関連するセルオートマトン（例：8近傍、ウラム＝ワーバーソン）の成長パターンはどのように比較できるか。それらの数列は同様に特徴づけられるか？
• RQ5 再帰的および母関数の枠組みを用いて、これらのオートマトンにおけるアクティブな細胞の数の明示的公式を導出できるか？

主な発見

• 歯科用スティック列 $t(n)$（段階 $n$ で追加される歯科用スティックの数）は、初期値 $t(0)=0$、$t(1)=1$、$t(2)=2$ を満たし、再帰的関係 $t(2^k + i) = 2t(i) + t(i+1)$（$0 \leq i < 2^k$）を満たす。
• 段階 $n$ 経過後の歯科用スティック総数 $T(n)$ は $T(n) = \sum_{i=0}^n t(i)$ で与えられ、$T(64) = 2731$、$T(53) = 1379$ である。
• 歯科用スティック列の母関数は $\sum_{n \geq 1} t(n) x^n = x(1 + 2x) \prod_{k \geq 1} (1 + x^{2^k - 1} + 2x^{2^k})$ である。
• この数列はフラクタルに類似した構造を示し、$n \to \infty$ のとき、$T(n) \sim \frac{3}{2} n \log_2 n$ に漸近的に近づく。
• 8近傍セルオートマトンでは、ON状態の細胞数 $v(n)$ は $v(2^k + i) = 4v_2(i)$（$1 \leq i < 2^k$）を満たし、$v(1) = 1$、$v(2) = 8$、$v(8) = 121$ である。
• 本稿は、2のべき乗の累乗を含む積を用いた、OEISにこの前には記録されていなかった新しい種類の母関数のクラスを確立した。