[論文レビュー] Greedy and quasi-greedy expansions in non-integer bases

Claudio Baiocchi, Vilmos Komornik|ArXiv.org|Oct 16, 2007

semigroups and automata theory参考文献 5被引用数 42

ひとこと要約

この論文は、Rényi、Parry、Daróczy、Kátaiの研究を一般化し、有限および無限の桁集合に対する非整数基数におけるグリーディおよび準グリーディ展開を特徴づけている。再帰的アルゴリズムを導入してこれらの展開を構成し、それが辞書式に最大であることを証明し、[0, M/(q−1)] 内の実数と特定の辞書式不等式を満たす列の間の一対一対応を確立している。主な貢献は、辞書式最大性と桁列に関する代数的条件を用いた展開の統一的特徴づけである。

ABSTRACT

We generalize several theorems of Rényi, Parry, Daróczy and Kátai by characterizing the greedy and quasi-greedy expansions in non-integer bases.

研究の動機と目的

• 非整数基数におけるグリーディおよび準グリーディ展開の古典的結果を、任意の有限および無限の桁集合へ一般化すること。
• 再帰的アルゴリズムを用いて、[0, M/(q−1)] 内の実数に対する辞書式に最大の展開を特徴づけること。
• 特定の辞書式不等式を満たす桁列と実数の間の一対一対応を確立すること。
• グリーディ展開と準グリーディ展開の関係を明確にすること、特にグリーディ展開が有限である場合に注目すること。
• M = ∞ の極限ケースに理論を拡張し、beta展開を特別な場合として回復すること。

提案手法

• 各桁位置で、部分和が x 以下に保たれるように、可能な最大の桁を選ぶ再帰的最大化によりグリーディおよび準グリーディ展開を定義する。
• M ≥ q−1 の条件下で、x ∈ (0, M/(q−1)] に対して、準グリーディ展開が辞書式に最大の無限展開であることを証明する。
• suffixes に関する辞書式不等式を用いて、q ∈ (1, M+1] と 1 の準グリーディ展開との間の一対一対応を確立する。
• 再帰的比較補題を用いて、任意の列がすべての n に対して a_n < M のとき、a_{n+1}a_{n+2}… ≤ α_1α_2… を満たすならば、その列はその値の準グリーディ展開であることを示す。
• グリーディ展開を、部分和不等式を満たす辞書式に最大の列として特徴づけ、それが x に収束することを証明する。
• グリーディ展開と準グリーディ展開の関係を分析する：グリーディ展開が有限であれば、準グリーディ展開は、最後の非ゼロ桁を減算し、1 の準グリーディ展開を末尾に接続することで得られる。

実験結果

リサーチクエスチョン

• RQ1 非整数基数における任意の桁集合に対して、グリーディおよび準グリーディ展開を体系的に構成する方法は何か？
• RQ2 実数 x の非整数基数 q における準グリーディ展開を特徴づける代数的および辞書式条件は何か？
• RQ3 グリーディ展開が有限か無限かに応じて、グリーディ展開と準グリーディ展開の関係はどのように異なるか？
• RQ4 1 の準グリーディ展開が、すべての x の準グリーディ展開を特徴づける上で果たす役割は何か？
• RQ5 すべての非負整数が桁として許容される M = ∞ の場合に、結果はどのように拡張されるか？

主な発見

• M ≥ q−1 のもとで、x ∈ (0, M/(q−1)] の準グリーディ展開は、辞書式に最大の無限展開である。
• q ∈ (1, M+1] と 1 の準グリーディ展開との間には、厳密に増加する一対一対応が存在し、それは α_n < M のとき常に α_{n+1}α_{n+2}… ≤ α_1α_2… を満たす suffix 不等式によって特徴づけられる。
• M = ∞ のとき、x ≥ 0 に対してグリーディ展開は、部分和不等式を満たす辞書式に最大の列として特徴づけられ、x に収束する。
• グリーディ展開が、最後の非ゼロ桁が b_m である有限である場合、準グリーディ展開は b_1…b_{m−1}(b_m−1)α_1α_2… で与えられ、ここで (α_i) は 1 の準グリーディ展開である。
• 1 のグリーディ展開が、最後の非ゼロ桁が β_m である有限である場合、1 の準グリーディ展開は、最小周期 β_1…β_{m−1}(β_m−1) の周期的列であり、すなわち (α_i) = (β_1…β_{m−1}(β_m−1))^∞ である。
• 極限 M = ∞ において、グリーディ展開は Rényi が導入した beta 展開に正確に一致し、辞書式条件はすべての n に対して成り立つ不等式に単純化される。