[論文レビュー] Stern polynomials and algebraic independence

Daniel Duverney, Iekata Shiokawa|arXiv (Cornell University)|Mar 26, 2026

Advanced Combinatorial Mathematics被引用数 0

ひとこと要約

著者らは、t≥2、k≥1、および|α|<1かつ0でない任意の代数的数αに対して、値H_k(α)とH_k(α^{t^k})が代数的に独立であることを示し、関連する連分数へ適用したマラー法を用いた。

ABSTRACT

Let $t\geq2$ and $k\geq1$ be integers. Let $H_{k}(z)$ with $\left\vert z ight\vert &lt;1$ be the limit of a certain subsequence of the Stern polynomials introduced by Dilcher and Eriksen. We use Mahler's method to prove the algebraic independence of the values at nonzero algebraic points of the functions $H_{k}(z)$ and $H_{k}(z^{t^{k}})$.

研究の動機と目的

• 数論・超越性の文脈内でStern多項式とその極限関数H_k(z)を研究する動機づけ。
• 0<|α|<1かつ非零の代数的数αに対して成す対 (H_k(α), H_k(α^{t^k})) の代数的独立性を確立することを目指す。
• 連分数表現とマラー法を活用して独立性結果と超越性の含意を導く。

提案手法

• H_k(z) を Dilcher–Eriksen Stern多項式の部分列の極限として定義。
• H_k(z^{t^k}), H_k(z^{t^{2k}}) などの関数系を導出し、2×2 の行列再帰A(z)に到達。
• 可換な特異点を持つ線形汎用方程式を満たす関数の代数的独立性について、マラー法を適用。
• 中間補題を証明: A(z) の極は0のみ; H_k(1/2)/H_k(1/2^{t^k}) は無理数; H_k(z) は超越的; H_k(z) と H_k(z^{t^k}) は C(z) 上で代数的に独立。
• [Ku. Nishioka, Mahler functions and transcendence] の枠組みを適用して、|α|<1かつ代数的なα における対の代数的独立性を結論付け。
• H_k(α)/H_k(α^{t^k}) を含む特定の連分数表現の超越性についての系を導出。

実験結果

リサーチクエスチョン

• RQ1 すべての0でない代数的αで0<|α|<1に対して、H_k(α) と H_k(α^{t^k}) は代数的に独立な対を成すか。
• RQ2 Stern多項式から生じる連分数表現に対してマラー法を効果的に適用して超越性を導けるか。
• RQ3 代数点での特異化を含む関連連分数の超越性にどんな含意があるか。
• RQ4 A(z)と関連する行列再帰の性質が独立性結論をどう促進するか。

主な発見

• H_k(α) と H_k(α^{t^k}) は、0<|α|<1 かつ代数的であるすべてのαに対して代数的に独立である。
• H_k(α)/H_k(α^{t^k}) の連分数表現は収束し、0<|α|<1 のとき代数的でない値を与える。
• H_k(z) は C(z) 上で超越的であり、その係数構造は {0,1} に限定される。
• Az(z) に基づく関数系により、マラー法を適用して代数的独立性を導くことが可能。
• 系の系即ち連分数表現を含む特定の代数点での超越性を含む系の系が得られる。