[論文レビュー] Mahler series with multiplicative coefficient sequences

Jason P. Bell, Daniel Smertnig|arXiv (Cornell University)|Mar 24, 2026

semigroups and automata theory被引用数 0

ひとこと要約

要約: 本論文は特性0の体上の係数が乗法的なk-マーレ seriesはすべてk-正則であることを証明し、係数列の明示的な分解を与える。

ABSTRACT

We prove that every Mahler series, over a field of characteristic $0$, with multiplicative coefficients is regular in the sense of Allouche and Shallit. We also obtain an explicit characterization of such series. This yields a joint extension of the characterization of rational series with multiplicative coefficients (by Bézivin and Bell--Bruin--Coons) and of multiplicative automatic sequences (by Konieczny--Lemańczyk--Müllner). Both of these results are used in our characterization, so we do not obtain new proofs of these special cases.

研究の動機と目的

• 有理な場合を超えた乗法的係数を持つマーレ級数を動機づけ、研究する。
• このようなk-マーレ級数がいつk-正則になるかを特徴づけ、明示的な構造形を提供する。
• 有理および乗法的自動系列に関する既知の結果をk-マーレ級数へと拡張する。
• 分解が素数冪とLRS/有理ケースとどのように相互作用するかを示す。

提案手法

• 問題を構成するためにk-マーレ、k-正則、k-自動のクラスを定義・活用する。
• 乗法的自動系列のKonieczny–Lemańczyk–Müllnerの特徴付けを適用する。
• kが素数冪のとき、乗法的係数を分解し、線形再帰因子と乗法的で最終的に周期的な因子の積を得る。
• 代数操作（Lemmas/Theorems 4.5, 4.6, 4.7）によるマーレ分母とその挙動に関する補助的結果を証明する。
• 最大イデアルに対するリフティング引数を用いて、k-正則からより広いk-Mahler設定へ移動させる。
• kが素数冪かどうかのケース分けで分析を行い、完全には乗法的でない素数については処理する。

実験結果

リサーチクエスチョン

• RQ1 乗法的係数を持つk-マーレ級数はいつk-正則となるのか。
• RQ2 そのような級数の係数列の明示的な形と、乗法的因子への分解はどうなるのか。
• RQ3 kが素数冪でない場合と素数冪である場合で結果はどう特化するのか。
• RQ4 乗法的係数に関連する代数操作と変換の下でマーレ分母はどう制御されるのか。

主な発見

• kが少なくとも2つの異なる素因数を持つ場合、乗法的係数を持つk-正則列は有理的である。
• 素数冪k = p^e に対して、乗法的k-正則列Fは分解形 f(p^i m) = g(i) · m^r χ(m) を允許し、gはLRS、r ≥ 0、χは乗法的かつ最終的に周期的である。
• kが素数冪の場合には統一表現 f(p i m) = g(i) · m^r χ(m) が成り立つ（gはLRS、χは乗法的かつ最終的に周期的）; それ以外の場合は級数は有理的。
• kが素数冪でない場合、主結果は有理性へと崩壊する；k = p^e のときはg, r, χによる分解が完全な構造を提供する。
• 結果は有理的乗法係数と乗法的自動系列の既知の特徴付けを拡張するが、それらの特別ケースに対する新たな証明は提供しない。
• いくつかの補助的な結果は、マーレ分母が和・積・代入に対してどのように振る舞うかを示し、主分解が従うことを可能にする。