[論文レビュー] Bounds on the frequency of 1 in the Kolakoski word

Elizabeth J. Kupin, Eric Rowland|ArXiv.org|Sep 16, 2008

Linguistics and language evolution参考文献 3被引用数 3

ひとこと要約

この論文は、極限が存在すると仮定して、コラコスキー語の1の頻度の極限を評価するために、Goulden–Jacksonクラスターメソッドを適用する。厳密な境界 |freq₁(K) − 1/2| ≤ 17/762 ≈ 0.0223 と、半厳密な境界 ≤ 1/46 ≈ 0.0217 を得ており、長年にわたり提唱されてきた1/2であるという予想を支持する。

ABSTRACT

We use a method of Goulden and Jackson to bound freq_1(K), the limiting frequency of 1 in the Kolakoski word K. We prove that |freq_1(K) - 1/2| <= 17/762, assuming the limit exists, and establish the semi-rigorous bound |freq_1(K) - 1/2| <= 1/46.

研究の動機と目的

• コラコスキー語における1の極限頻度を、極限が存在すると仮定して厳密に評価すること。
• Goulden–Jacksonクラスターメソッドを、文字頻度の追跡を組み合わせて、コラコスキー列における禁止部分語の分析に応用すること。
• 対称的な木構造に基づく構成を繰り返し用いて、禁止部分語の集合を拡張することで、次第にきつい境界を得ること。
• 追加された禁止部分語が増えるにつれて、観察された境界が、予想される値1/2に収束するかどうかを調査すること。

提案手法

• Goulden–Jacksonクラスターメソッドを拡張し、x₁^{|w|₁}x₂^{|w|₂}t^{|w|} で重み付けされた母関数を用いて、1と2の個数を追跡する。ここで、x₁とx₂はそれぞれ1と2の個数を表す。
• 禁止部分語は、自己相似的なランレングス性質を活用して体系的に生成される：ある語のランレングス列に禁止部分語が含まれるならば、その語自身も禁止される。
• 再帰的な木構造により、既知の禁止部分語に1または2を追加することで、ランレングス列に禁止パターンを含む語を生成する。
• 生成関数の重み weight(W) は有理関数として計算され、分母における x₁ の次数と総次数の最小比が、freq₁(K) の境界を与える。
• 大規模な集合 S_d に対しては、母関数を N 項まで級数展開で近似し、x₁ の次数と長さの最小比を用いて境界を導出する。
• 最小次数列の漸近的解析により、線形準多項式構造が明らかとなり、最小比の極限が推定可能となり、これにより freq₁(K) の境界が得られる。

実験結果

リサーチクエスチョン

• RQ1 極限が存在すると仮定した場合、コラコスキー語における1の極限頻度の最もきつい境界は何か？
• RQ2 文字頻度追跡を組み合わせたGoulden–Jacksonクラスターメソッドは、禁止部分語を増やすことで、次第にきつい境界を生成できるか？
• RQ3 x₁ の次数と語長の最小比の列が、1/2に近い境界を示す極限に収束するか？
• RQ4 禁止部分語集合における対称性は保たれているか？ また、これにより境界が1/2を中心に対称的になるか？
• RQ5 級数係数の実験的解析により、分母からの厳密境界を上回る半厳密な境界を導出できるか？

主な発見

• 論文は、d=5 個の禁止部分語に対する母関数の級数展開から、|freq₁(K) − 1/2| ≤ 17/762 ≈ 0.0223097 という厳密な境界を確立した。
• d=5 の最小比列の漸近的挙動を外挿することで、|freq₁(K) − 1/2| ≤ 1/46 ≈ 0.0217391 という半厳密な境界を取得した。
• d=5 の場合、n=762 で最もよい境界が得られ、x₁ の次数と長さの最小比が 33/69 となり、ε = 1/2 − 33/69 = 17/762 となる。
• d=5 の場合、pₙ(x₁,x₂) における x₁ の最小次数は、モジュラス69の線形準多項式構造に従い、連続する最大値は m≥3 のとき n=69m+3 で現れる。
• d=5 の最小比列の極限は 33/69 = 11/23 であり、真の境界が 1/46 である可能性が示唆され、これは厳密な 17/762 よりもきつい。
• d=6 の場合、最初の600項において、d=5 と同じ最小比パターンが観察され、同様の準多項式構造が成立していると考えられ、半厳密な境界 1/46 が支持される。