[論文レビュー] A Combinatorial Interpretation for Certain Relatives of the Conolly Sequence

Balasingham Balamohan, Zhiqiang Li+1 more|ArXiv.org|Jan 7, 2008

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

ひとこと要約

この論文は、$ s \geq 0 $ でパラメータ化された、メタフィボナッチ列 $ h_s(n) $ の族についての組合せ的解釈を提供する。再帰的定義により、無限木構造におけるリーフの数を数えている。主な結果は、$ h_s(n) $ がゆっくりと増加すること—非減少で連続する項の差が 0 または 1 であること—であり、すべての正の整数が正確に2回ずつ現れるが、2の累乗は $ s+2 $ 回現れる。

ABSTRACT

For any integer s >= 0, we derive a combinatorial interpretation for the family of sequences generated by the recursion (parameterized by s) h_s(n) = h_s(n - s - h_s(n - 1)) + h_s(n - 2 - s - h_s(n - 3)), n > s + 3, with the initial conditions h_s(1) = h_s(2) = ... = h_s(s+2) = 1 and h_s(s+3) = 2. We show how these sequences count the number of leaves of a certain infinite tree structure. Using this interpretation we prove that h_s sequences are "slowly growing", that is, h_s sequences are monotone nondecreasing, with successive terms increasing by 0 or 1, so each sequence hits every positive integer. Further, for fixed s the sequence h_s(n) hits every positive integer twice except for powers of 2, all of which are hit s+2 times. Our combinatorial interpretation provides a simple approach for deriving the ordinary generating functions for these sequences.

研究の動機と目的

• パラメータ $ s \geq 0 $ で定義されるメタフィボナッチ列 $ h_s(n) $ の組合せ的解釈を、無限木構造を用いて提供すること。
• $ h_s(n) $ がゆっくりと増加すること—連続する項の差が 0 または 1 で、非減少であること—を証明し、すべての正の整数が最終的に到達されることを示すこと。
• $ h_s(n) $ における各正の整数の出現頻度を特徴づけ、2の累乗が $ s+2 $ 回、それ以外が正確に2回現れることを示すこと。
• 木構造に基づく解釈を用いて、$ h_s(n) $ の通常型母関数を導出すること。
• 一般化されたコノリー列に関する先行研究で用いられた組合せ的枠組みを、2項再帰列の新しいクラスに拡張すること。

提案手法

• 再帰式 $ h_s(n) = h_s(n - s - h_s(n-1)) + h_s(n - 2 - s - h_s(n-3)) $ を用いて $ h_s(n) $ を定義する。$ n > s+3 $ に対して成り立ち、初期値は $ h_s(1) = \cdots = h_s(s+2) = 1 $、$ h_s(s+3) = 2 $ である。
• ノードが特定の順序でラベル付けされた無限根付き木 $ \mathcal{T}_s $ を構築し、$ h_s(n) $ が木の最初の $ n $ 個のノードに含まれるリーフの数を数えること。
• 構造を単純化しながらリーフ数の性質を保持するように、孤立ノードを削除することで修正された木 $ \mathcal{T}'_s $ を導入すること。
• 木の再帰的カット処理を用いて、列の値と部分木の構造的性質およびノードラベル付けの関係を確立すること。
• ノード $ n $ がリーフかどうかを示す2進列 $ d_s(n) $ を定義し、自己相似パターンの入れ子和を用いてその母関数 $ \mathcal{D}_s(z) $ を表現すること。
• 通常型母関数 $ \mathcal{A}_s(z) = \frac{\mathcal{D}_s(z)}{1 - z} $ を導出し、幾何級数および $ 2 $ と $ s $ の累乗を含む閉形式表現にたどり着くこと。

実験結果

リサーチクエスチョン

• RQ1 2項自己参照的再帰で定義される列 $ h_s(n) $ を、木構造の観点からどのように組合せ的に解釈できるか。
• RQ2 $ h_s(n) $ がすべての $ s \geq 0 $ に対して「ゆっくりと増加」する—非減少で連続する項の差が 0 または 1 である—のはなぜか。
• RQ3 $ h_s(n) $ における値の出現頻度パターン、特に2の累乗が $ s+2 $ 回、それ以外の正の整数が正確に2回現れる理由は何か。
• RQ4 組合せ的モデルから $ h_s(n) $ の通常型母関数を導出できるか。その閉形式表現は何か。
• RQ5 パrameter $ s $ が $ h_s(n) $ における値の出現回数の多重度をどのように制御するか。この多重度に対応する木の構造的特徴は何か。

主な発見

• $ h_s(n) $ は非減少で、各ステップで 0 または 1 のみ増加するため、ゆっくりと増加することが確認された。
• すべての $ s \geq 0 $ に対して、各正の整数は $ h_s(n) $ に現れ、2の累乗は正確に $ s+2 $ 回、それ以外の整数は正確に2回現れる。
• $ h_s(n) $ の母関数は、$ \mathcal{A}_s(z) = \frac{z}{1-z} + \frac{z^2}{(1-z^2)(1-z)} \sum_{i=1}^\infty z^{s i + 2^i - 1}(1 - z^{2^i}) $ であり、木に基づく解釈から導出された。
• $ h_s(n) $ は、ノードラベル付けと部分木構造が適切に順序付けられた再帰的に定義された無限木 $ \mathcal{T}_s $ の最初の $ n $ 個のノードに含まれるリーフの数を数えている。
• $ \mathcal{T}_s $ の木構造は、各 $ i $ に対して $ 2^i $ 個の基本パターンのコピーを含む部分木 $ \mathcal{S}_i $ から構成され、リーフインジケータ列において各部分木の前には $ s $ 長のゼロブロックが配置される。
• 母関数の導出は、リーフインジケータ列 $ d_s(n) $ を、自己相似的な01ブロック $ C_i $ と $ s $ 長のゼロブロックに分けて連結することで行い、閉形式の和が可能になる。