[論文レビュー] On GCD-morphic sequences

Maciej Dziemiańczuk, W. Bajguz|arXiv (Cornell University)|Feb 10, 2008

Computability, Logic, AI Algorithms参考文献 3被引用数 9

ひとこと要約

本稿では、GCD-モルフィック列が、条件 (C1) を満たす自然数値列によって一意に定義されることを示し、特定の列要素の対ごとの互いに素性を保証する。主な貢献は、すべてのGCD-モルフィック列を原始的GCD-モルフィック列の無限積として双方向に符号化することであり、それらを構成的に生成するためのアルゴリズムが得られる。

ABSTRACT

This note is a response to one of the problems posed by Kwaśniewski in [1,2], see also [3] i.e. GCD-morphic Problem III. We show that any GCD-morphic sequence $F$ is at the point product of primary GCD-morphic sequences and any GCD-morphic sequence is encoded by natural number valued sequence satisfying condition (C1). The problem of general importance - for example in number theory was formulated in [1,2] while investigating a new class of DAG's and their correspondent p.o. sets encoded uniquely by sequences with combinatorially interpretable properties.

研究の動機と目的

• Kwaśniewski が提起した問題 III、すなわちGCD-モルフィック列の効果的特徴づけを解くこと。
• 原始的構成要素を用いた、すべてのGCD-モルフィック列を構成的に生成する枠組みを確立すること。
• 原始的GCD-モルフィック列の積がGCD-モルフィックのままであるための必要十分条件—(C1)—を特定すること。
• すべてのGCD-モルフィック列が、原始的GCD-モルフィック列の積として一意に得られることを示すこと。
• 条件 (C1) を満たす自然数列 $\{c_n\}$ とGCD-モルフィック列との間の双方向対応を提供すること。

提案手法

• 原始的GCD-モルフィック列 $ G_{c,N} $ を、$ N \mid n $ ならば $ g_n = c $、それ以外は $ g_n = 1 $ であると定義する。
• 再帰的分解を用いる：任意のGCD-モルフィック列 $ F_n $ は、$ G_{F_n^n, n} \cdot F_{n+1} $ と因数分解可能であり、ここで $ F_{n+1} $ は再帰的に定義される。
• 整除性およびGCDの振る舞いに関する場合分けを用いて、再帰的因数分解がGCD-モルフィック性を保つことを証明する。
• 条件 (C1) の確立：$ k < n $ に対して、$ \gcd(n,k) \neq k $ ならば $ \gcd(c_n, c_k) = 1 $ であることが、原始的列の積がGCD-モルフィックのままであるための必要十分条件である。
• 積の構造 $ F_n = \prod_{d \mid n} c_d $ を用いて $ \gcd(F_n, F_k) $ を分析し、(C1) の下で $ F_{\gcd(n,k)} $ に等しいことを示す。
• 背理法を用いて (C1) の必要性を証明し、GCDおよび整除の性質を用いて直接計算により十分性を証明する。

実験結果

リサーチクエスチョン

• RQ1 GCD-モルフィック列の完全な代数的構造は何か？ そして、どのように体系的に生成できるか？
• RQ2 原始的GCD-モルフィック列の積が、いつGCD-モルフィックのままであるか？
• RQ3 すべてのGCD-モルフィック列は、原始的GCD-モルフィック列の積として一意に分解可能か？
• RQ4 $ \{c_n\} $ のどの条件下で、関連する積列がGCD-モルフィック性を満たすか？
• RQ5 自然数列 $ \{c_n\} $ からGCD-モルフィック性をどのように符号化・再構成できるか？

主な発見

• 任意のGCD-モルフィック列 $ F $ は、原始的GCD-モルフィック列 $ G_{c_n,n} $ の無限点ごとの積として一意に表現可能であり、ここで $ c_n = F_n^n / \prod_{k \mid n, k < n} c_k $ である。
• 原始的GCD-モルフィック列の積がGCD-モルフィックであるための必要十分条件は、条件 (C1) である：$ k < n $ に対して、$ \gcd(n,k) \neq k $ ならば $ \gcd(c_n, c_k) = 1 $ である。
• 条件 (C1) を満たす列 $ \{c_n\} $ とGCD-モルフィック列との間の対応は双方向的であり、$ \{c_n\} $ から完全に再構成可能である。
• 再帰的分解 $ F_n = G_{F_n^n, n} \cdot F_{n+1} $ は、GCD-モルフィック列を段階的に生成するためのアルゴリズム的手法を提供する。
• 例として、$ n $ が原始的（すなわち素数のべき）ならば $ c_n = n $、それ以外は 1 であるような列があり、これは有効なGCD-モルフィック列を生成する。
• フィボナッチ数列は $ c_n = 1,1,2,3,5,4,13,7,17,11,89,6,\dots $ として符号化され、非自明な列であっても (C1) を満たし、GCD-モルフィック列を生成することが示された。