[論文レビュー] Permutation complexity of images of Sturmian words by marked morphisms

Narad Rampersad, Adam Borchert|arXiv (Cornell University)|Jun 4, 2018

semigroups and automata theory参考文献 7被引用数 2

ひとこと要約

この論文は、二進マーク付き自己準同型によるストゥルム語の像の置換複雑度が、十分に大きな n に対して漸近的に線形であることを確立している。具体的には、ある定数 k に対して n + k である。この結果は、記号的力学系におけるモーフィズム像と置換エントロピーの組合せ的解析によって得られ、マーク付き自己準同型がストゥルム語列における低複雑度構造を保存することを示している。

ABSTRACT

We show that the permutation complexity of the image of a Sturmian word by a binary marked morphism is $n+k$ for some constant $k$ and all lengths $n$ sufficiently large. Comment: 9 pages

研究の動機と目的

• 二進マーク付き自己準同型によるストゥルム語のモーフィズム像の置換複雑度を調査すること。
• このような像が低複雑度を維持するかどうか、具体的にはその置換複雑度が長さに対して線形に増加するかどうかを特定すること。
• 十分に長い語に対して置換複雑度の明確な漸近的上限を確立すること。
• 非周期的系列における自己準同型が組合せ的複雑度に与える影響をより深く理解すること。

提案手法

• 自己準同型の組合せ的性質を用いて、ストゥルム語およびその二進マーク付き自己準同型による像の構造を分析すること。
• 置換複雑度（与えられた長さの部分列の異なる置換の数）という概念を適用すること。
• マーク付き自己準同型が無限語における特定のバランス性および要因構造を保存することを活用すること。
• 像における長さ n の異なる置換の数が、すべての十分に大きな n に対して正確に n + k であることを確立すること。
• 既知のストゥルム語列およびそのモーフィズム像に関する結果を活用して、置換複雑度を束ねること。

実験結果

リサーチクエスチョン

• RQ1 二進マーク付き自己準同型によるストゥルム語の像の置換複雑度は、長さに対して線形に増加するか？
• RQ2 ある定数 k に対して、すべての十分に大きな n に対して置換複雑度が n + k で抑えられるか？
• RQ3 マーク付き自己準同型の構造的性質は、その像の置換複雑度にどのように影響するか？
• RQ4 自己準同型は、置換パターンの観点から、ストゥルム語列の低複雑度性をどの程度まで保存するか？

主な発見

• 二進マーク付き自己準同型によるストゥルム語の像の置換複雑度は、すべての十分に大きな n に対して正確に n + k である。
• この結果は、このようなモーフィズム像が線形の置換複雑度を維持しており、自己準同型下での構造的安定性を示している。
• 定数 k は特定のマーク付き自己準同型に依存するが、十分に大きな n に対しては n とは無関係である。
• 解析により、ストゥルム語の低複雑度性がマーク付き自己準同型の適用後、置換パターンの観点からも保存されていることが確認された。