[論文レビュー] There are no iterated morphisms that define the Arshon sequence and the $σ$-sequence

Sergey Kitaev|ArXiv.org|May 20, 2002

semigroups and automata theory参考文献 14被引用数 6

ひとこと要約

この論文は、再帰的な構成にもかかわらず、アーシュォン列およびσ列が単一の自己写像によって生成可能でないことを証明している。文字の位置とブロック構造に対する直接的な組合せ的議論を通じて、自己写像に基づく生成が、特に奇数番目の位置における1と3の分布および二重化操作における振る舞いに関して、列の定義的性質と矛盾することを示している。

ABSTRACT

Berstel proved that the Arshon sequence cannot be obtained by iteration of a morphism. An alternative proof of this fact is given here. The $σ$-sequence was constructed by Evdokimov in order to construct chains of maximal length in the n-dimensional unit cube. It turns out that the $σ$-sequence has a close connection to the Dragon curve. We prove that the $σ$-sequence can not be defined by iteration of a morphism.

研究の動機と目的

• アーシュォン列が {1,2,3} 上で位置依存の置換規則によって定義される場合、それが単一の自己写像の反復によって生成可能かどうかを明らかにすること。
• 2進付値に基づき自然数にリンクされるドラゴン曲線に関連するσ列が、自己写像の反復によって定義可能かどうかを調査すること。
• コブハムの定理のような高度な道具を用いずに、このような自己写像による生成が両列に関して不可能であることを示す直接的かつ初等的な証明を提供すること。
• 特に偶奇の入れ違いルールや2進付値に基づく複雑な位置依存性を示す列を捉えるために、自己写像列の構造的制限を明確にすること。

提案手法

• アーシュォン列 w に対して f(w) = w を満たす自己写像 f が存在すると仮定し、初期記号 1 の像に及ぼす影響を分析する。
• 3ブロックに分解されたアーシュォン列の構造を用いて、|f(1)| = 4, 5 および他の小さな値に対して、自己写像による生成を仮定した場合の矛盾を導出する。
• 長さに mod 3 を適用して、文字の配置を分析し、アーシュォン法の置換規則と整合しない不一致を特定する。
• σ列に関しては、その列を生成する任意の自己写像は 1 を長さが 4 の倍数である語 X に写す必要があることを証明する。これは、1 と 3 が奇数番目の位置に交互に現れるパターンによる。
• f²(1) の像を分析し、f²(1) の中で2番目の X の位置に、二重化および 2 進付値に基づく位置によって決定される場所で、1 と 3 の両方の文字値が同時に存在するという矛盾を示す。
• 補題 13 を用いて、形 2^t(4s+1) または 2^t(4s+3) の2つの数の積が mod 4 でσ値を保存することを示し、f²(1) の 6t 番目の位置にこれを適用することで矛盾を導く。

実験結果

リサーチクエスチョン

• RQ1 位置依存の置換規則によって {1,2,3} 上に構成されるアーシュォン列が、単一の自己写像の不動点として生成可能か？
• RQ2 自然数の 2 進付値によって定義されドラゴン曲線に関連するσ列が、自己写像の反復によって生成可能か？
• RQ3 コブハムの定理のような高度な定理に依存せずに、これらの列が自己写像による生成を排除する直接的かつ初等的な証明を構成可能か？
• RQ4 奇数番目の位置に 1 と 3 が交互に現れる列を生成する自己写像にどのような構造的制約が生じるか？
• RQ5 例えば n → 2n のようなインデックスの二重化操作の振る舞いは、2 進付値に基づく性質を持つ列における自己写像生成の整合性にどのように影響するか？

主な発見

• |f(1)| = 4 および |f(1)| = 5 の両方に対して、矛盾を示すことにより、アーシュォン列に対して f(w) = w を満たす自己写像 f は存在しないことが判明した。
• アーシュォン列が自己写像の不動点であると仮定した場合、|f(1)| = 4 および 5 の場合に、4 番目および 5 番目のブロックを分析することで、文字の配置に矛盾が生じる。
• σ列は自己写像の反復によって生成可能でない。これは、その自己写像による 1 の像の長さが 4 の倍数でなければならないことから、f²(1) の 6t 番目の位置に 1 と 3 の両方の文字値が同時に存在するという矛盾を生じるためである。
• σ列の奇数番目の項の部分列は 1 と 3 が厳密に交互に現れるが、これは自己写像による生成が成立する場合に破壊される。
• 矛盾は、6t 番目の位置が 2 進付値構造および自己写像の像の一貫性から、1 と 3 の両方の文字値を含む必要があるという事実に起因し、奇数番目の交互パターンを破る。
• コブハムの定理のような高度な道具を避けており、位置分析およびモジュラー算術に基づく自己完結的で初等的な議論を提供している。