[論文レビュー] More Kolakoski Sequences

Bernd Sing|arXiv (Cornell University)|Sep 21, 2010

Fractal and DNA sequence analysis参考文献 1被引用数 5

ひとこと要約

本稿は、1つが奇数で他方が偶数であるような二文字アルファベット {r,s} に対する古典的 Kolakoski 数列の一般化に焦点を当て、既知の置換系に還元できないケースを扱う。文字頻度、回文、平方、部分語の複雑さを一般化された置換規則を用いて分析し、C∞-語の数に対する境界を導出し、複雑さが指数 δ = ln(r+s)/ln((r+s)/2) の多項式的に増加することを示す。{1,4} および {2,3} についての数値的データは、この予想を強く支持する。

ABSTRACT

Our goal in this article is to review the known properties of the mysterious Kolakoski sequence and at the same time look at generalizations of it over arbitrary two letter alphabets. Our primary focus will here be the case where one of the letters is odd while the other is even, since in the other cases the sequences in question can be rewritten as (well-known) primitive substitution sequences. We will look at word and letter frequencies, squares, palindromes and complexity.

研究の動機と目的

• 任意の二文字アルファベット {r,s}（r ≠ s）における古典的 Kolakoski 数列の拡張を図ること、特に奇偶性が異なるケースに焦点を当てる。
• 一般化 Kolakoski 数列の構造的性質（文字頻度、回文、平方、部分語の複雑さ）の分析。
• {1,4} や {2,3} を含む、さまざまなアルファベットにおける C∞-語（無限 Kolakoski 数列の部分語）の数に対する境界の確立。
• Kolakoski 数列の部分語の集合が C∞-語の集合と一致するかどうか、これは分野における重要な予想である。

提案手法

• 一般化 Kolakoski 数列は、偶数番目の位置で作用する σ₀ と奇数番目の位置で作用する σ₁ という交互な置換規則により構成される。ここで σ₀(r) = r^r、σ₀(s) = r^s、σ₁(r) = s^r、σ₁(s) = s^s である。
• 奇偶性が異なるアルファベット {r,s} に対しては、数列が原始的置換系に還元できないため、ランク長および部分語構造の直接的分析が不可欠である。
• 回文的部分語は、基本的な回文語とその対称的性質を用いて研究され、奇数長の回文で奇数文字が中心にあるものに特に注意が向けられる。
• 複雑さ γ(n)（長さ n の C∞-語の数）は、置換ダイナミクスと行列固有値の性質から導かれる対数的増加指数を用いて境界づけられる。
• {1,4} および {2,3} についての数値的データは、二重対数スケールでプロットされ、増加指数 δ = ln(r+s)/ln((r+s)/2) の推定に用いられる。
• Dekking の結果を一般化し、任意の {r,s} に対して理論的境界を導出し、指数 α および β を持つ上界および下界の多項式境界が得られる。

実験結果

リサーチクエスチョン

• RQ1 一般化 Kolakoski 数列 {r,s} における長さ n の部分語（C∞-語）の数の増加率はいかほどか？
• RQ2 1つが奇数で他方が偶数である場合、一般化 Kolakoski 数列における文字頻度はどのように振る舞うか？
• RQ3 一般化 Kolakoski 数列における回文的部分語を体系的に生成・分類することは可能か？
• RQ4 一般化 Kolakoski 数列はどの程度まで置換規則で表現可能であり、いつそれらが既知の原始的系に還元されるか？
• RQ5 {1,4} や {2,3} のようなアルファベットについて、γ(n) ≈ n^δ（δ = ln(r+s)/ln((r+s)/2)）という予想が、数値的および理論的証拠によって支持されるか？

主な発見

• 古典的アルファベット {1,2} に対しては、複雑さ γ(n) が正の定数 C₁, C₂ を用いて C₁·n².⁷⁰⁸⁷ < γ(n) < C₂·n².⁷¹⁰² を満たし、きわめてタイトな多項式的増加を示す。
• 予想される複雑さの指数 δ = ln(r+s)/ln((r+s)/2) は、数値的データによって強く支持されており、{1,2} に対して δ ≈ 2.7095 であり、実測の境界と一致する。
• {1,4} および {2,3} に対しては、lnγ(n) 対 ln n の数値的プロットが、予想される δ と整合的であり、図1における薄いグレーと濃いグレーの曲線が予測されたべき乗則的トレンドと一致する。
• 1つが奇数で他方が偶数であるような {r,s} における一般化 Kolakoski 数列の文字頻度は等しくなく、導出された置換規則を用いて計算可能であるが、一様分布ではない。
• 回文的部分語は、奇数長の基本的回文語（中心が奇数文字）から生じる。各長さに対して、それらの基本的語の数の2倍以内に制限される。
• 両方の文字が奇数である {r,s} の置換規則は、2(r+s) ≥ (r−s)² のとき立方の Pisot-Vijaraghavan 数を示し、深い代数的構造を示唆するが、本稿の焦点とはならない。