[論文レビュー] The rational-transcendental dichotomy of Mahler functions

Jason P. Bell, Michael James Coons+1 more|arXiv (Cornell University)|Oct 7, 2012

semigroups and automata theory参考文献 10被引用数 13

ひとこと要約

本稿では、Mahler関数における有理関数・超越関数の二分法を、D-有限なMahler関数が必ず有理関数であることを示す新しい証明を提供する。単位円上の関数方程式および特異点解析を用いた代数的・解析的技法により、著者たちはPólya–Carlson型の定理を再証明する。すなわち、単位円板内でメロモルフィックなMahler関数は、有理関数であるか、単位円を自然境界として持つ。

ABSTRACT

In this paper, we give a new proof of a result due to Bezivin that a D-finite Mahler function is necessarily rational. This also gives a new proof of the rational-transcendental dichotomy of Mahler functions due to Nishioka. Using our method of proof, we also provide a new proof of a Polya-Carlson type result for Mahler functions due to Rande; that is, a Mahler function which is meromorphic in the unit disk is either rational or has the unit circle as a natural boundary.

研究の動機と目的

• D-有限なMahler関数が必然的に有理関数である、Bézivinの結果の新しい証明を提供すること。
• Nishiokaのものとは異なる新しい手法を用いて、Mahler関数における有理関数・超越関数の二分法を再証明すること。
• Mahler関数におけるPólya–Carlson型の結果を確立すること：単位円板内でメロモルフィックなMahler関数は、有理関数であるか、単位円を自然境界として持つ。
• 関数方程式および特異点の構造的解析を通じて、Mahler法における既存の結果を統合・一般化すること。

提案手法

• 最小関数方程式 $\sum_{i=0}^d p_i(z)F(z^{k^i}) = 0$ を用いて $k$-Mahler関数クラスを定義する。
• 次元 $d$ の $\mathbb{C}(z)$-ベクトル空間 $V = \sum_{i \geq 0} \mathbb{C}(z) F(z^{k^i})$ を構成し、解の代数的構造を分析する。
• 単位根変換 ($z \mapsto \omega^j z$) を適用して特異点を検出し、線形従属性を用いて矛盾を導出する。
• 単位円上の非極的特異点の解析において、閉包性の性質と矛盾論法を用いる。
• 構造定理を用いて、関数がメロモルフィックである場合、極的特異点のみが許容可能であることを示し、有理関数性に帰着する。
• $k^L$-次の単位根 $\omega = e^{2\pi i / k^L}$ を用いて対称的な特異点パターンを生成し、特異点が孤立していると仮定した場合に矛盾を強制する。

実験結果

リサーチクエスチョン

• RQ1 D-有限なMahler関数が必ず有理関数である条件は何か？
• RQ2 Nishiokaのものとは異なる手法を用いて、Mahler関数における有理関数・超越関数の二分法を再証明できるか？
• RQ3 開単位円板内でメロモルフィックなMahler関数は、有理関数でない限り、単位円を自然境界として持つか？
• RQ4 関数方程式の構造およびその解が、特異点集合が単位円上で稠密であることを強制する構造的性質は何か？
• RQ5 単位根による変換が、孤立した非極的特異点の仮定に矛盾をどのように露わにするか？

主な発見

• D-有限なMahler関数が必ず有理関数であるという新しい証明が確立され、Bézivinの結果が新たな解析的・代数的手法により裏付けられた。
• 関数方程式の構造および特異点の伝播を用いて、Mahler関数における有理関数・超越関数の二分法が再証明された。
• Mahler関数が単位円板内でメロモルフィックである場合、有理関数であるか、あるいはその特異点が単位円上で稠密であることが示され、単位円が自然境界であることが示唆された。
• $k^L$-次の単位根を用いた矛盾論法により、非極的特異点の閉包が、関数が有理関数でない限り、単位円全体に一致することが示された。
• 関数方程式が最小である場合、ベクトル空間 $V = \sum_{i \geq 0} \mathbb{C}(z) F(z^{k^i})$ の次元は $d$ に等しくなる。これは矛盾論法において不可欠な性質である。
• 単位根 $\omega = e^{2\pi i / k^L}$ を用いて $z \mapsto \omega^j z$ を適用することで、非極的特異点が稠密でない場合に矛盾を強制し、特異点が単位円上で稠密でなければならないことを証明した。