論文要約：Stern 多項式と代数的独立性

1. 研究の背景と問題設定

この論文は、数論における超越数論、特にMahler 法（Mahler's method）の応用に関する研究です。

• 対象とする関数:
  著者らは、Dilcher と Eriksen によって導入された「スターン多項式（Stern polynomials）」$a_t(n; z)$ の特定の部分列の極限として定義される関数 $H_k(z)$ に焦点を当てています。

  • $t \ge 2, k \ge 1$ を整数とし、$|z| < 1$ の範囲で定義されます。
  • $H_k(z)$ は、係数がすべて 0 または 1 であるべき級数として定義され、以下の関数方程式を満たします：
    $$H_k(z) = a_t(2k-1; z)H_k(z^{t^k}) + a_t(2k; z^{t^k})H_k(z^{t^{2k}})$$
  • この関数は、特定の連分数の極限としても表現されます。

• 研究課題:
  代数的数 $\alpha$（$0 < |\alpha| < 1$）に対して、関数値 $H_k(\alpha)$ と $H_k(\alpha^{t^k})$ が代数的に独立（algebraically independent）であることを証明することです。
  代数的に独立であるとは、これら 2 つの数の間に、有理数係数の非自明な多項式関係が存在しないことを意味します。

2. 手法：Mahler 法と連分数

この証明の核心は、Mahler 法（Mahler's method）の応用にあります。これは、関数方程式を満たす関数の値の超越性や代数的独立性を調べるための強力な手法です。

• 関数方程式の体系化:
  関数 $f_1(z) = H_k(z)$ と $f_2(z) = H_k(z^{t^k})$ を導入し、これらが行列 $A(z)$ を用いた線形変換 $f(z^{t^k}) = A(z)f(z)$ を満たすことを示します。
• 連分数との関連:
  $H_k(z)$ は無限連分数として展開可能であり、その構造が Mahler 法の仮定を満たすように設計されています。
• 既存研究との対比:
  本論文は、Ku, Nishioka, Adamczewski などが発展させた Mahler 法を連分数の文脈に適用する流れを継承しつつ、より具体的なスターン多項式の構造に特化した証明を行っています。

3. 主要な結果と定理

主定理 (Theorem 1.1)

任意の代数的数 $\alpha$ に対して、$0 < |\alpha| < 1$ ならば、2 つの数 $H_k(\alpha)$ と $H_k(\alpha^{t^k})$ は代数的に独立である。

帰結 (Corollary 1.1)

上記の定理より、以下の無限連分数の値は超越数であることが導かれます：
$$\frac{H_k(\alpha)}{H_k(\alpha^{t^k})} = a_t(2k-1; \alpha) + \frac{a_t(2k; \alpha^{t^k})}{a_t(2k-1; \alpha^{t^k}) + \cdots}$$
これは、特定の代数的数 $\alpha$ に対して、その連分数展開が超越数であることを保証するものです。

具体例 (Example 1.1)

$k=1, 2, 3$ などの具体的なケースにおいて、得られる連分数が超越数であることを示しています。例えば $k=1$ の場合、以下の連分数が超越数となります：
$$\frac{H_1(\alpha)}{H_1(\alpha^t)} = 1 + \frac{\alpha^t}{1 + \frac{\alpha^{t^2}}{1 + \cdots}}$$

4. 証明の概要 (セクション 2)

証明は、4 つの補題（Lemma 2.1 - 2.4）を構築し、それらを組み合わせて行われます。

1. 極の解析 (Lemma 2.1):
   関数方程式を支配する行列 $A(z)$ の極は $z=0$ のみであることを示します。これにより、代数的数 $\alpha$ における特異性の問題を回避します。
2. 無理数の証明 (Lemma 2.2):
   具体的な点 $z=1/2$ における値の比 $H_k(1/2)/H_k(1/2^{t^k})$ が無理数であることを示します。これは、連分数の項の次数と係数の性質（2 のべき乗と整数性）を利用した議論です。
3. 超越性の証明 (Lemma 2.3):
   Fatou の定理（係数が有限個の値しか取らないべき級数は、有理式か超越式である）を用いて、$H_k(z)$ が $C(z)$ 上超越であることを示します。もし有理式であれば、Lemma 2.2 と矛盾するためです。
4. 代数的独立性の証明 (Lemma 2.4):
   これが証明の核心部分です。$f_1(z)$ と $f_2(z)$ が $C(z)$ 上で代数的に依存すると仮定し、矛盾を導きます。
   • Nishioka の定理（[7, Th. 5.2]）の条件を用います。
   • 行列 $B(z)$ の積からなる行列 $G^{(n)}(z)$ を定義し、特定の条件（(i)〜(iii)）が満たされるかどうかを検討します。
   • 多項式 $a(z), b(z)$ が互いに素であるという仮定と、$z=0$ や $z=1$ における漸近挙動（固有値 $\gamma, \delta$ の性質）を分析することで、これらの条件のいずれも満たされないことを示し、背理法によって独立性を証明します。

5. 意義と貢献

• 新しい超越数の発見:
  スターン多項式から導かれる新しいクラスの超越数を特定しました。これらは、従来の連分数や特殊関数とは異なる構造を持っています。
• Mahler 法の適用範囲の拡大:
  Mahler 法を、Dilcher と Eriksen によって定義された比較的新しい多項式系列（スターン多項式）の極限関数に適用し、その値の独立性を証明することに成功しました。
• 連分数理論への寄与:
  特定の構造を持つ無限連分数が、代数的数への代入に対して超越数となることを示す具体的な例を提供しました。これは、連分数の値の算術的性質を理解する上で重要な一歩です。

結論

本論文は、Mahler 法の強力な枠組みを用いて、スターン多項式の極限関数 $H_k(z)$ の値が代数的に独立であることを厳密に証明しました。その結果として、関連する無限連分数の値が超越数であることが示され、数論における超越数論と連分数理論の接点を深める重要な成果となっています。