[論文レビュー] Numerical Analogues of Aronson's Sequence

Benoit Cloitre, N. J. A. Sloane+1 more|arXiv (Cornell University)|May 21, 2003

Mathematics and Applications参考文献 5被引用数 6

ひとこと要約

この論文は、Aronsonの数列の新しい数値的類似物を導入し、n が数列に含まれる iff a(n) が奇数であるような数列を、厳密に増加するように貪欲に構成する。主な結果は、この数列の平方 a(a(n)) がすべての n ≥ 1 に対して 2n + 3 に等しいことであり、深い構造的性質を明らかにし、Aronson変換を用いた新たな一般化を可能にする。

ABSTRACT

Aronson's sequence 1, 4, 11, 16, ... is defined by the English sentence ``t is the first, fourth, eleventh, sixteenth, ... letter of this sentence.'' This paper introduces some numerical analogues, such as: a(n) is taken to be the smallest positive integer greater than a(n-1) which is consistent with the condition ``n is a member of the sequence if and only if a(n) is odd.'' This sequence can also be characterized by its ``square'', the sequence a^(2)(n) = a(a(n)), which equals 2n+3 for n >= 1. There are many generalizations of this sequence, some of which are new, while others throw new light on previously known sequences.

研究の動機と目的

• Aronsonの自己言及的数列に類似する新しい数値的数列を定義・分析し、言語的自己言及を偶奇条件に置き換える。
• 数列に対して逆Aronson変換が存在し一意であることを確立し、変換から元の数列を再構成可能にする。
• 条件を連続する複数項に依存させるように一般化し、セルフオートマトンとの関係を探索する。
• この数列の平方 a(a(n)) がすべての n ≥ 1 に対して 2n + 3 に等しいことを示し、正確で洗練された構造的恒等式を明らかにする。
• Aronson変換およびその逆を用いた自己言及的数列の生成・分析の体系的枠組みを提供する。

提案手法

• 数列 a(n) を、n が数列に含まれる iff a(n) が奇数であるような、a(n−1) よりも大きい最小の整数として定義する。
• 増分 ε ∈ {1,2} を、a(n−1) の偶奇および n が数列に含まれるかどうかに基づき決定する貪欲なアルゴリズムを用いて項を計算する。
• 数列の「平方」を a(a(n)) として定義し、主な数列に対してすべての n ≥ 1 で a(a(n)) = 2n + 3 を証明する。
• 数列 α のAronson変換を、α が数列 β のAronson変換であるような数列 β として定義し、逆変換が存在し一意であることを証明する。
• 数列の属する有効性と累積最大値に基づき、「ホット」（含む）および「コールド」（除外）の行を埋める表形式のアルゴリズムにより逆Aronson変換を構築する。
• 条件を複数項に依存させるように一般化し、たとえば a(n) と a(n+1) がともに奇数であることを要件とするなど、得られる数列を研究する。

実験結果

リサーチクエスチョン

• RQ1 「n が数列に含まれる iff a(n) が奇数」であるという条件によって定義される数列の構造は何か？
• RQ2 この数列の平方 a(a(n)) の振る舞いは何か？閉形式で表せるか？
• RQ3 任意の与えられた数列に対して、逆Aronson変換を一意に定義でき、アルゴリズム的に計算可能か？
• RQ4 複数項に依存する条件や異なるモジュラスへの一般化は、新たな自己言及的数列をどのように導くか？
• RQ5 元の数列とその逆Aronson変換との関係は何か？また、平方数列とはどのように異なるか？

主な発見

• 「n が数列に含まれる iff a(n) が奇数」で定義される数列は、すべての n ≥ 1 に対して a(a(n)) = 2n + 3 である。これは正確で洗練された恒等式である。
• 逆Aronson変換は存在し一意であり、数列の属する有効性と累積最大値に基づき「ホット」と「コールド」の行を埋める構成的アルゴリズムにより計算可能である。
• 平方数の数列の逆Aronson変換は、{1}、{3}、{5–8}、{16–24}、{26–35} などのセグメントから成り、k が平方数であるかどうかに応じた特定の分解を持つ。
• 素数の逆Aronson変換は、類似したセグメント構造を持つ数列であり、下位Wythoff数列の逆変換は黄金比 φ を用いた明示的式で与えられる。
• 元の数列 {a(n)} の逆Aronson変換は奇数の数列であり、a(a(n)) = 2n + 3 である。これは逆変換が数列の平方に等しくないことを示している。
• 「n が数列に含まれる iff a(n) が奇数かつ a(n−1) が偶数」のような一般化は、2または3の一定間隔を持つ数列を生じさせ、予測可能な構造的挙動を示している。