[論文レビュー] Powers in a class of A-strict standard episturmian words

Amy Glen|arXiv (Cornell University)|Aug 31, 2007

semigroups and automata theory被引用数 3

ひとこと要約

本稿は、標準的エピスターミアン語の特定のクラスにおける整数乗（平方、立方など）を、標準的分解と一般化された特異語を用いて特徴づける。この語は4乗自由であることを証明し、その構成要素における異なる平方および立方の数について明示的な公式を提示する。これは、スターミアン語やフィボナッチ語に関する先行研究を、k-ボナッチ語のような高次元一般化へと拡張するものである。

ABSTRACT

This paper concerns a specific class of strict standard episturmian words whose directive words resemble those of characteristic Sturmian words. In particular, we explicitly determine all integer powers occurring in such infinite words, extending recent results of Damanik and Lenz (2003), who studied powers in Sturmian words. The key tools in our analysis are canonical decompositions and a generalization of singular words, which were originally defined for the ubiquitous Fibonacci word. Our main results are demonstrated via some examples, including the $k$-bonacci word: a generalization of the Fibonacci word to a $k$-letter alphabet ($k\geq2$).

研究の動機と目的

• スターミアン語における整数乗の特徴づけを、より大きなアルファベットにおけるエピスターミアン語の広いクラスへと拡張すること。
• A-strict standard episturmian語に現れるすべての非自明な整数乗（平方、立方など）を特定すること。
• 特異語の概念をスターミアン語に拡張し、繰り返し因子の解析における主要な道具として用いること。
• このような語の構成要素における異なる平方および立方の数について明示的な公式を提示すること。
• k-ボナッチ語、つまりフィボナッチ語のk文字への自然な一般化における結果を示すこと。

提案手法

• 無限語をその基本的構成要素 s_n に標準的分解する分析に依拠し、これらは再帰的に定義される。
• 因子の構造とその繰り返しを分析するための道具として、一般化された特異語が導入される。
• 各構成要素 s_n の指数（最大の分数乗）は、その共役類と関連語 D_i の性質を用いて計算される。
• 定理6.11、6.12、および6.17が導出され、語内における与えられた長さの異なる平方および立方の数が特定される。
• この手法は、すべての d_i = 1 であるk-ボナッチ語に適用され、再帰的構成 s_n = s_{n-1}s_{n-2}...s_{n-k} を得る。
• 長さ m の異なる乗法の数は、特定の語の共役を数えることで決定され、|D_i| を含む明示的な公式で表される。

実験結果

リサーチクエスチョン

• RQ1 A-strict standard episturmian語に現れる整数乗は何か、そしてそれらを体系的に特徴づける方法は何か？
• RQ2 構成要素 s_n における異なる平方および立方の数は、その構造と共役類にどのように依存するか？
• RQ3 特異語の概念は、フィボナッチ語やスターミアン語のケースを超えて、エピスターミアン語に対して意味的に一般化可能か？
• RQ4 このような語の最大の乗法（例：4乗）自由性の状態は何か、そしてその状態は指揮語にどのように依存するか？
• RQ5 k-ボナッチ語（フィボナッチ語のk文字への一般化）における結果は、古典的なスターミアン語のケースとどのように比較できるか？

主な発見

• A-strict standard episturmian語 s におけるすべての整数乗は、集合 S = { |s_3|, 2|s_3|, |s_4|, |s_5|, 2|s_5|, |s_3 s_2|, |s_3^2 s_2|, |s_3 s_2^2 s_1|, |s_4 s_3|, |s_5 s_4|, |s_5^2 s_4|, |s_5 s_4 s_3| } における長さの分析によって特定される。
• 長さ |s_3| = 11 の場合、11個の異なる平方が存在する。長さ 2|s_3| = 22 の場合、s_3^2 のみが1つの異なる平方である。
• 長さ |s_4| = 32 の場合、32個の異なる平方が存在する。長さ |s_5| = 58 の場合、58個の異なる平方が存在する。
• 立方に関しては、長さ |s_3| = 11 の場合、11個の異なる立方が存在する。長さ |s_5| = 58 の場合、58個の異なる立方が存在する。長さ |s_4| = 32 の場合、2個の異なる立方が存在し、これらは s_4 の最初の2つの共役に対応する。
• k-ボナッチ語は4乗自由であり、すべての乗法が完全に特徴づけられる：P(|s_n|;2) = C(s_n)，P(|s_n|;3) = {C_j(s_n) : 0 ≤ j ≤ |D_{n-k}|}，およびすべての他の m と l ≥ 2 に対して P(m;l) = ∅。
• 長さ |s_n s_{n-1}...s_{n+1-i}| の異なる平方の数は、各 i ∈ [2,k-1] に対して |D_{n+1-i}| + 1 に等しく、これらが唯一の空でない乗法集合である。