[論文レビュー] Three analogues of Stern's diatomic sequence

Sam Northshield|arXiv (Cornell University)|Mar 11, 2015

Advanced Mathematical Theories and Applications参考文献 8被引用数 3

ひとこと要約

本稿では、黄金比に関連する補完的ベアシー列を用いた再インデックス化、標準的でない二項演算 $ x \oplus y = x + y + \sqrt{4xy + 1} $ による置換、および二進数の桁数の代わりにゼッケンドルフ表現の桁数を用いるという、ステーンの二項的数列の三つの新しい類似物を導入し、それらを分析する。主な貢献は、$ n $ のゼッケンドルフ表現における項の数を用いて定義される新しい整数列 $ c_n $ の発見であり、この列はパドヴァン型の再帰的関係を満たし、スティーンの数列と深い構造的類似性を示す。

ABSTRACT

We generalize Stern's diatomic sequence in three ways.

研究の動機と目的

• スティーンの二項的数列の三つの新しい類似物を導入・分析すること。各類似物は、基本的な構成要素（二進演算、インデックス構造、桁数数え上げ関数）を別々に変更することで定義される。
• 整数列 $ c_n $ が、$ n $ のゼッケンドルフ表現における項の数を用いて定義され、整数的であり、パドヴァン数列に類似した再帰的関係を満たすことを確立すること。
• これらの類似物の構造的および再帰的性質を調査し、特にその組合せ的挙動とフィボナッチ数列やラマヌジャンの $ R_n $ などの既知の数列との関係に焦点を当てる。
• これらの数列の挙動に関する未解決問題を提示する。具体的には、最小値、不等式、および高次再帰への一般化の可能性について考察する。

提案手法

• 非標準的二項演算 $ x \oplus y = x + y + \sqrt{4xy + 1} $ を用いて定義される新しい数列 $ b_n $ を導入。再帰的関係 $ b_{2n} = b_n $、$ b_{2n+1} = b_n \oplus b_{n+1} $ を満たし、$ \mathbb{Z}[\sigma] $ 内の代数的整数を用いてその整数性を示す。ここで $ \sigma = \frac{1 + \sqrt{5}}{2} $ である。
• 補完的ベアシー列 $ \alpha(n) = \lfloor n\phi - 1/\phi^2 \rfloor $、$ \beta(n) = \lfloor n\phi^2 + \phi \rfloor $ を用いてインデックス付けされる数列 $ R_n $ を導入。$ R_n $ は $ n $ を相異なるフィボナッチ数の和として表す方法の数を数える。
• 数列 $ c_n $ を、$ n $ のゼッケンドルフ表現における項の数 $ s_F(n) $ を用いて定義。$ c_n $ を、差分文字列 $ \Delta_{[0,n)} = s_{[0,n)} - \overline{s}_{[0,n)} $ を用いた $ \sigma $ の累乗の和として表現する。
• $ k \leq F_{n-2} $ に対して、恒等式 $ c_{F_{n+2}+k} = c_k + c_{F_n + k} + c_{F_{n-1} + k} $ が成り立つことを証明し、パドヴァン型の再帰的関係を確立する。
• 文字列操作（連結、反転、点ごとのシフト）と $ \sigma $ の性質（$ \sigma^{-1} + \sigma = 1 $）を用いて、ゼッケンドルフに基づく表現を操作し、再帰的関係を導出する。
• 「圧縮配列」の可視化を提示し、パターンを明らかにする。各列が定数係数の線形再帰的関係を満たしているように見えることから、より深い構造的規則性が存在すると示唆される。

実験結果

リサーチクエスチョン

• RQ1 ゼッケンドルフ表現における項の数を用いて定義される数列 $ c_n $ は、パドヴァンまたはフィボナッチ再帰的関係に類似した再帰的関係を満たすか？
• RQ2 すべての $ n $ に対して不等式 $ c_{\sigma_2(n)+1} \geq c_{\lfloor n\phi^2 \rfloor} \geq \cdots \geq c_n \geq 0 $ が成り立つのか。また、圧縮配列の各行における最小値は左端の要素に現れるのか？
• RQ3 列の再帰的パターン（$ j=1,2,3 $ の場合、$ x_{n+1} = x_n + x_{n-1} - x_{n-j} $）を $ j=4 $ に一般化できるか。この進行の背後には統一的な原理が存在するのか？
• RQ4 数列 $ c_n $ が、$ c_n \geq 0 $ かつすべての項が整数であるという事実を踏まえると、$ c_n $ が何を数えていると解釈できるか？（組合せ的・数論的対象として）
• RQ5 新しい数列 $ c_n $ に関連する関数方程式やフラクタル的構造（コンウェイのボックス関数やミンコフスキーの質問符関数に類似）が存在するか？

主な発見

• ゼッケンドルフ表現における項の数を用いて定義される数列 $ c_n $ は、常に整数である。これは、$ \mathbb{Z}[\sigma] $ 内の代数的整数の対称的和として得られ、複素共役変換に関して不変であるためである。
• $ k \leq F_{n-2} $ に対して、恒等式 $ c_{F_{n+2}+k} = c_k + c_{F_n + k} + c_{F_{n-1} + k} $ が成り立つ。これにより、数列がパドヴァン型の再帰的関係を満たすことが証明された。
• 数列 $ c_n $ の圧縮配列の最初の列（$ x_n = c_{F_n} $ で定義）は、パドヴァン再帰的関係 $ x_{n+2} = x_n + x_{n-1} $ を満たす。これにより、既知の整数列との深い構造的関連性が確認された。
• 数列 $ c_n $ の圧縮配列の各列は、形式 $ x_{n+1} = x_n + x_{n-1} - x_{n-3} $ の線形再帰的関係を満たしているように見える。これは、異なる桁数数え上げ関数に基づく数列に共通する一般的パターンを示唆している。
• 数列 $ c_n $ は不等式 $ c_n \geq 0 $ を満たし、圧縮配列の各行における最小値は左端の要素に現れるように見えるが、これはまだ予想のままである。
• 本稿では、再帰的パターンの一般化を同定した。$ s_F(n) $、$ s_2(n) $、$ R_n $ を用いて定義される数列は、それぞれ $ j=3,1,2 $ の再帰的関係を満たす。これは、$ j $ を増加させるような、このような数列の階層が存在する可能性を示唆している。