[论文解读] A problem around Mahler functions

Boris Adamczewski, Jason P. Bell|arXiv (Cornell University)|Mar 8, 2013

Mathematical Dynamics and Fractals参考文献 18被引用 7

一句话总结

该论文证明了洛克斯通与范德波尔滕长期悬而未决的猜想：在特征零的域上，若一个形式幂级数同时满足 $k$-Mahler 和 $\ell$-Mahler 函数方程，且 $k$ 与 $\ell$ 为乘法独立的整数，则该级数必为有理函数。证明结合了代数几何、赋值理论以及无限乘积的渐近分析，以消除单位根处的奇点，并将问题约化至数域情形，最终依赖于丢番图逼近中的深刻结果及 Mahler 函数的结构性质。

ABSTRACT

Let $K$ be a field of characteristic zero and $k$ and $l$ be two multiplicatively independent positive integers. We prove the following result that was conjectured by Loxton and van der Poorten during the Eighties: a power series $F(z)\in K[[z]]$ satisfies both a $k$- and a $l$-Mahler type functional equation if and only if it is a rational function.

研究动机与目标

• 解决洛克斯通与范德波尔滕在1980年代提出的关于满足多重 Mahler 型函数方程的幂级数结构的猜想。
• 建立一个精确的二分法：若一个幂级数同时满足 $k$-Mahler 与 $\ell$-Mahler 方程，且 $k, \ell$ 乘法独立，则其必为有理函数。
• 通过分析迭代函数复合的线性相关性结构，将 Mahler 的超越性理论与自动机理论及代数几何相联系。
• 利用无限乘积的渐近估计与 Becker 函数，消除 Mahler 函数在单位根处的奇点。
• 通过代数约化技术与数域中素理想存在性定理，将特征零任意域上的一般情形约化至数域情形。

提出的方法

• 将问题约化为分析集合 $\{F(z^{k^i})\}_{i \geq 0}$ 在 $K(z)$ 上的线性相关性，该性质刻画了 $k$-Mahler 函数。
• 应用约化技术，假设基域 $K$ 为数域，利用代数独立性与特殊化论证。
• 对涉及单位根的无限乘积应用渐近估计，以控制 Mahler 函数的增长与奇点。
• 利用 Becker 关于 $k$-正则函数及其生成函数的理论，分析 Mahler 函数在单位根附近的性质。
• 应用 Chebotarev 密度定理与数域中素理想的存在性定理，构造可检测有理性的辅助理想。
• 综合上述工具，证明若一个幂级数同时满足两个此类方程（$k, \ell$ 乘法独立），则其系数必满足常系数线性递推关系，从而推出其为有理函数。

实验结果

研究问题

• RQ1 在何种条件下，同时满足 $k$-Mahler 与 $\ell$-Mahler 函数方程的幂级数会成为有理函数？
• RQ2 两个不同 Mahler 方程（$k, \ell$ 乘法独立）的解集交集能否被代数地刻画？
• RQ3 单位根处的奇点在阻碍 Mahler 函数有理性方面起何种作用？
• RQ4 如何利用无限乘积与 Becker 函数的渐近估计来控制 Mahler 级数的解析行为？
• RQ5 在 Mahler 函数理论中，特征零任意域上的一般情形在多大程度上可约化至数域情形？

主要发现

• 若一个幂级数 $F(z) \in K[[z]]$ 同时满足 $k$-Mahler 与 $\ell$-Mahler 函数方程，且 $k, \ell$ 为乘法独立的整数，则其必为有理函数。
• 证明表明，$\{F(z^{k^i})\}$ 与 $\{F(z^{\ell^j})\}$ 在 $K(z)$ 上的线性相关性，强制 $F(z)$ 的系数满足常系数线性递推关系。
• 作者在数域整环中构造了一列素理想，通过赋值理论论证检测出幂级数的有理性。
• 对形如 $\prod_{n \geq 1} (1 - \zeta_n^{m})$ 的无限乘积的渐近估计被用于控制 Mahler 函数在单位根附近的增长。
• 通过证明联合函数方程下生成函数的奇点部分必须消失，实现了单位根处奇点的消除。
• 通过特殊化论证与数域中具有指定分裂行为的素理想的存在性，实现了向数域情形的约化。