[論文レビュー] Divide-and-conquer generating functions. Part I. Elementary sequences

Ralf Stephan|ArXiv.org|Jul 2, 2003

semigroups and automata theory参考文献 5被引用数 4

ひとこと要約

本稿は、2進数の桁の性質に基づいて生成される系列を扱う分割統治型母関数（DCGF）を体系的に分析するフレームワークを提示する。基本的なDCGFを閉形式の有理関数および積形式で分類し、それに対応する線形再帰関係を導出し、通常母関数を通じて既知の整数列と関係づけることで、Thue-Morse列、2進重量列、Sternの二項係数列といった系列の統一的解析を可能にする。

ABSTRACT

Divide-and-conquer functions satisfy equations in F(z),F(z^2),F(z^4)... Their generated sequences are mainly used in computer science, and they were analyzed pragmatically, that is, now and then a sequence was picked out for scrutiny. By giving several classes of ordinary generating functions together with recurrences, we hope to help with the analysis of many such sequences, and try to classify a part of the divide-and-conquer sequence zoo.

研究の動機と目的

• 分割統治型再帰によって生成される広範な整数列クラスを、通常母関数（OGF）を用いて分類すること。
• 整数係数をもつ $ z^{2^k} $ の有理関数の和または積として表現可能な、基本的なDCGFの族を特定・形式化すること。
• 2進展開に基づく自己相似構造を示す線形再帰関係と、このようなDCGFとの直接的対応関係を確立すること。
• 既知の系列（例：A000120, A001316, A002487）をこのフレームワーク内に体系的に整理し、解析的・計算的利用を可能にすること。

提案手法

• 係数が $ n $ の2進数の桁に依存する $ z^{2^k} $ を含む無限和または無限積として、基本的な分割統治型母関数を定義する。
• 関数 $ F(z), F(z^2), \dots $ の関数方程式を用いて、$ n $ が偶数か奇数かに応じた $ a_n $ の再帰関係を導出する。
• 記号計算と実験的検証（インデックス100まで）を用いて、予想される関数方程式および再帰関係を支持する。
• OEISリファレンスを用いて生成関数と既知の系列を関連させ、$ 2^{e_1(n)} $, $ e_1(n) $, $ 3^{e_1(n)} $ のような系列が特定のパrameter選択によって生じることを示す。
• 再帰構造がインデックス $ n $ の2進木走査に一致することを示し、オートマトン的解釈を可能にする。
• 線形結合やパrameter化された族（例：$ a_{2n} = \alpha a_n + c $ の $ \alpha $-重み付き再帰）を含むようにフレームワークを一般化する。

実験結果

リサーチクエスチョン

• RQ1 分割統治型母関数は、$ z^{2^k} $ における閉形式表現を用いて、どのように体系的に分類可能か？
• RQ2 基本的なDCGFによって生成される系列の正確な再帰構造は何か？また、それは $ n $ の2進表現にどのように反映されるか？
• RQ3 Thue-Morse列、Sternの二項係数列、Gouldの列といった既知の系列を、同一の生成関数フレームワークで統一できるか？
• RQ4 $ e_0(n) $ が $ n $ の2進展開における0の個数を数えるものであるとき、$ \sum 2^{e_0(i)} z^i $ の生成関数は何か？
• RQ5 このフレームワークに含まれるすべての系列は、線形代数的表現を用いて2-有理関数形式で表現可能か？

主な発見

• $ \sum_{k=0}^\infty \frac{c^k z^{2^k}}{1 - z^{2^k}} $ は、$ |c| > 0 $ のもとで $ a_{2n} = c a_n + 1 $, $ a_{2n+1} = 1 $ を満たす系列を生成する。
• $ \prod_{k=0}^\infty (1 + c z^{2^k}) $ は $ a_n = c^{e_1(n)} $ を生成し、再帰関係 $ a_{2n} = a_n $, $ a_{2n+1} = c a_n $ を満たす。
• $ \frac{1}{1-z} \sum_{k=0}^\infty \frac{\alpha^k (d z^{2^k} + c z^{2^{k+1}})}{1 + z^{2^k}} $ は、$ a_{2n} = \alpha a_n + c $, $ a_{2n+1} = \alpha a_n + d $ を満たす系列を生成する。
• $ e_1(n) $（$ n $ の2進展開における1の個数）は、$ \sum_{k=0}^\infty \frac{z^{2^k}}{1 + z^{2^k}} $ によって生成され、OEIS A000120に対応する。
• 集合 $ \{1, -1\} $ 上のThue-Morse列は、Mahler型でもあり、基本的DCGFでもある。生成関数は $ \prod_{k=0}^\infty (1 - z^{2^k}) $ である。
• 本稿は、$ \sum 2^{e_0(i)} z^i $ を非基本的DCGFとして同定したが、$ F(z^2) = (1 + F(z))/(z + 2) $ を満たすことが判明し、関数方程式の存在を示唆している。