Linear recurrences and rational Lambert series

イゴール・リヴィンの論文「有理数べき級数および有理数ランベルト級数のゼロ係数」の詳細な技術的要旨を以下に示す。

1. 問題提起と文脈

本論文は、数列とその母関数に対する構造的制約を調査し、特に線形漸化数列、有理数べき級数、およびランベルト級数の間の相互作用に焦点を当てている。

• 主要対象:
  • 有理数べき級数: 級数 $F(z) = \sum a_n z^n$ が有理数であるための必要十分条件は、その係数 $(a_n)$ が（最終的に）定数係数の線形漸化式を満たすことである。
  • ランベルト級数: 数列 $\gamma = (\gamma_n)_{n \ge 1}$ が与えられたとき、ランベルト級数は $L_\gamma(z) = \sum_{n \ge 1} \frac{\gamma_n z^n}{1-z^n}$ と定義される。$L_\gamma(z)$ の係数は $\gamma$ の約数和であり、$b_m = \sum_{d|m} \gamma_d$ となる。
• 中心的問い: 数列 $\gamma$ が「よく振る舞う」（具体的には、最終的に線形漸化数列である）場合、かつその対応するランベルト級数 $L_\gamma(z)$ も「よく振る舞う」（有理数である）場合、これは $\gamma$ の構造について何を意味するか？
• 動機: この研究は、自由群における剛性問題および作用素 $T_\gamma G(z) = \sum \gamma_n G(z^n)$ の振る舞いに由来する。

2. 手法

本論文は、古典的な解析的数論、代数幾何学、および $p$ 進解析の融合を用いている。手法は主に 2 つの段階に分けられる。

A. 有理数べき級数の解析（スキョーレム＝マッスラー＝レックの枠組み）

著者は、線形漸化数列のゼロ点集合が、有限個の等差数列の有限集合への和であるというスキョーレム＝マッスラー＝レック（SML）定理を利用する。

• 素数添字での消滅: 本論文は、素数添字における係数が消滅する（十分大きな $p$ に対して $a_p = 0$）場合を解析する。ディリクレの素数定理を用いることで、数列の支（サポート）が、周期と互いに素でない剰余類に制限されなければならないと推論する。これにより、有理関数が、真のべき ($z^d$) の関数の和に分解される。
• 単位根の関係: 有理数べき級数が無限に多くのゼロ係数を持つ場合、最小の絶対値を持つ極は、単位根の関係（すなわち、2 つの支配的な極の比が単位根である）を満たさなければならないことが確立される。

B. 有限点への還元（ランベルト剛性の証明）

ランベルト級数に関する主要定理の証明は、完全な SML 定理で用いられる $p$ 進補間という重厚な道具立てを回避する。代わりに、有限体への還元戦略が用いられる。

1. 代数的設定: 漸化式の係数および数列の値は、$\mathbb{Z}$ 上の有限生成環 $A$ に含まれる。
2. 有限特殊化: 有限生成環に関する補題を用いて、著者はこの環から有限体 $\mathbb{F}_q$ への準同型写像 $\phi$ を構成する。これは、非ゼロ要素（特に重要な約数和 $S$）を保存しつつ、漸化式を有限体に写像する。
3. 有限体における周期性: 有限体上では、任意の線形漸化数列は最終的に周期的である。
4. 矛盾: 証明は、約数和数列 $b_n$ の値を添字 $mq$と$mq^2$（ここで$q$ は大きな素数）において比較する。
   • 周期性により、$b_{mq^2} \equiv b_{mq} \pmod{\mathbb{F}_q}$ となる。
   • しかし、約数和の定義の代数的操作により、$b_{mq^2} - b_{mq} = \sum_{e|m} \gamma_{eq^2}$ となることが示される。
   • $\gamma$ は $\mathbb{F}_q$ 上で周期的であるため、$\gamma_{eq^2} \equiv \gamma_e$ となる。
   • これにより、その差は元の約数和 $S = \sum_{e|m} \gamma_e$ に等しくなる。
   • $S$ は有限体において非ゼロかつ可逆となるように選ばれていたため、これは矛盾 ($S \equiv 0$ かつ $S \neq 0$) を生じさせる。

3. 主要な貢献と結果

主要定理（定理 1.1）

主張: $\gamma = (\gamma_n)$ を複素数の数列とする。$\gamma$ およびその約数和数列 $b_n = \sum_{d|n} \gamma_d$ の両方が最終的に線形漸化数列であるならば、$\gamma$ は有限支（すなわち、十分大きなすべての $n$ に対して $\gamma_n = 0$）である。

系 1.2（母関数の形）:
通常の母関数 $\Gamma_\gamma(z)$ が有理数であり、かつランベルト級数 $L_\gamma(z)$ も有理数であるならば、$\Gamma_\gamma(z)$ は多項式でなければならない。

• 意義: これはランベルト級数に対する「剛性」を確立する。有理数母関数を持つ数列の中で、有理数ランベルト級数を生成するのは、自明な（有限支の）ものだけである。

有理関数に対する構造的帰結

• 命題 3.1: 有理関数 $F(z)$ が、十分大きなすべての素数添字においてゼロ係数を持つならば、$F(z)$ は多項式と、真のべき $z^d$（ここで $d > 1$）に関する有限個の有理関数の和に分解され得る。
• 命題 3.3: 有理数べき級数が無限に多くのゼロ係数を持つ場合、最小の絶対値を持つ極には、その比が単位根であるものが少なくとも 2 つ含まれなければならない。

具体的な例と応用

• フィボナッチ数列: フィボナッチ数のランベルト級数は有理数ではない（系 6.5）。
• 周期的係数: $\gamma$ が周期的であり、かつ $L_\gamma(z)$ が有理数であるならば、$\gamma$ は恒等的にゼロでなければならない（系 6.4）。
• 素数と素数平方: 命題 6.1 は、そのような数列に対して、十分大きなすべての素数 $p$ について $\gamma_p = 0$ かつ $b_p = \gamma_1$ であることを示している。

4. 意義と新規性

1. ランベルト級数の剛性: 本論文は、作用素 $T_\gamma$ に関する根本的な問いを解決する。「ランベルト変換」は、入力数列が自明でない限り、有理数性を破壊することを証明する。これは、多くの操作の下で有理数性が保存される通常の母関数とは対照的である。
2. SML 手法の簡素化: スキョーレム＝マッスラー＝レック定理は通常、部分列が恒等的に消滅することを証明するために $p$ 進解析的補間（ストラスマンの定理）を必要とするが、本論文は、ランベルト級数の特定の構造に対しては、有限体への還元だけで矛盾を導出するのに十分であることを示している。「約数和の恒等式」$b_{mq^2} - b_{mq} = S$ が、即座に必要な非消滅量を提供し、$p$ 進解析の必要性を回避する。
3. 数論と代数の相互作用: この研究は、素数の分布（ディリクレの定理）、漸化式の構造、および約数和の算術をエレガントに結びつけている。それは、整数の乗法的構造（約数和を通じて）が、加法的構造（線形漸化式）に厳しい制約を課すことを浮き彫りにしている。

結論

イゴール・リヴィンの論文は、強力な剛性定理を確立する。線形漸化数列であり、かつ有理数ランベルト級数を持つ数列は、有限支を持つものに限られる。この証明は、スキョーレム＝マッスラー＝レック定理の有限点還元技術を適応させることで革新を成し遂げつつ、約数和の特定の代数的性質を活用して、深遠な $p$ 進的な道具立てなしに矛盾を導き出している。この結果は、組合せ論および数論における母関数の研究に即座の影響を及ぼし、フィボナッチ数列や周期的数列など、多くの古典的な数列に対するランベルト級数の有理数性を否定するものである。